-13.19. Let v = 0.29 + l. Which is smaller: v or -4?
-4
Let q be (-2 - -2)/(-2) + 3. Suppose -q*z + v = 2 + 3, -z = -5*v - 3. Do z and -4 have the same value?
False
Let s = 16 - 38. Let t be s/(-8) - (-1)/4. Let h = 1 - t. Is h != -1?
True
Suppose 0 = -6*z + 2*z - 24. Are z and -5 non-equal?
True
Let k = 2.6 - 1.4. Let h = k + -1.1. Does h = 0.1?
True
Let s(n) = n**2 + 3*n - 4. Let h be s(-4). Let u = -1146/5 - -230. Is h greater than or equal to u?
False
Let l be 2/(-5*2/(-8)). Which is smaller: l or 3?
l
Let n = -3.8 + 3.9. Do 0.11 and n have the same value?
False
Let t = -67882/9 - -1271452/171. Let g = t - -107. Which is greater: -1 or g?
g
Let s be ((-12)/8)/(12/(-16)). Suppose -s*c + 16 = -0*c. Is c > 9?
False
Suppose 3*h + 3*f = -15, -2*h = -2*f + 6*f + 4. Let o(j) = j**3 + 7*j**2 - 10*j - 10. Let k be o(h). Let v be ((-8)/30)/(4/k). Is 0 <= v?
False
Let y = -2 - 2. Let n = 2 + y. Does n = 1?
False
Let f be (-1)/4 + 118/(-8). Let z be (-10)/f - (-22)/(-6). Let j = z - 0. Is -2 smaller than j?
False
Suppose -261 = -4*a - 3*t + 31, -3*a - t = -219. Let u = a + -217/3. Are u and 2 equal?
False
Let q = 0.47 + -0.47. Which is smaller: -16 or q?
-16
Let m be (-2)/3*9/(-6). Let i = 1 + -3. Let c = i - -5. Which is smaller: m or c?
m
Let l = -12 - -9. Let h be (-1)/((-3)/6) - l. Which is bigger: 4 or h?
h
Let t = 3 - 2.97. Let m = t + 0. Does -2 = m?
False
Let d be 5110/(-80) + 3/(-24). Which is smaller: -63 or d?
d
Let s(g) = 3*g + 53. Let n be s(-19). Suppose f = 4*f + 5*h + 7, 5*f - 2*h + 22 = 0. Are n and f equal?
True
Let p = 8 - 4. Suppose -7 = -p*j - 3. Is j at least 2?
False
Suppose 3*w - 17 = o + 5*w, 5*w + 39 = -2*o. Which is greater: o or -8?
o
Let b = 0.05 + -0.15. Which is bigger: b or 0.2?
0.2
Let k be (-5)/((-2)/(12/15)). Which is smaller: k or -2/9?
-2/9
Let i be 5/(-4 - 35/(-10)). Which is bigger: i or -4?
-4
Let o = 52 + -63. Are o and -11 equal?
True
Suppose 0*k + 10 = 2*k. Is 5 less than k?
False
Let x be ((-96)/(-4))/4 - 16. Let l(u) = u**3 - 4*u**2 - u + 1. Let t be l(3). Is x < t?
False
Let a be (1 - 0)*3 + -21. Let r be 6*(a/(-4) + -3). Let u be (-1 + 2)/(3/r). Which is smaller: u or 2?
2
Let v(m) = -m**2 - 9*m - 10. Let s be v(-10). Let u = s + 29. Is 10 < u?
False
Let w = -1.29 + 2.29. Does w = 17?
False
Let h = 2 + -1. Let x = -0.1 - 0.9. Let w = x + h. Is 3 less than w?
False
Suppose y - 3*a - 9 = -0*y, 0 = -3*y + 4*a + 17. Suppose y*w - 6 = h, 0*h = 4*w - 3*h - 13. Are 1 and w unequal?
False
Let b(x) = -x**2 + 20*x - 15. Let i be b(19). Suppose 8 = 4*c - 2*c. Suppose -c*g + 28 = 2*j, j + 8 = 3*j. Which is bigger: g or i?
g
Let i be (2/4)/((-3)/(-6)). Let n be 1 - 0/((-2)/i). Which is smaller: n or 1/3?
1/3
Let a = -10 + -6. Let b = -255 + 240. Do a and b have the same value?
False
Suppose 2*q + 15 = 3*q. Suppose 7*h + q = 2*h. Is -3 at least h?
True
Let l = -78 + 56. Which is greater: l or -21?
-21
Suppose 5*q = 4*q + 2. Suppose 15 - 3 = -2*a - q*s, -5 = s. Which is bigger: 0 or a?
0
Suppose -3 = -h + 3*a, 0 = -6*a + a - 5. Let q = -33/28 - -10/7. Is q <= h?
False
Let v be 4/6 + 57/(-18). Which is smaller: -2 or v?
v
Let h(u) = -u**3 - 7*u**2 - 5*u + 5. Let g be (-6)/(-2) + (-9)/1. Let n be h(g). Is n at least as big as -4?
True
Let s = -3.128 - -0.168. Let g = 0.04 - s. Let x = 3 - g. Is x less than or equal to -2/5?
False
Let k = -24 + 34. Let t be (5/k)/(2/(-24)). Is -6 equal to t?
True
Let k = 1 + -2/5. Suppose -1 = 4*p - 21. Suppose 0 = p*w - t + 4 - 15, w - t - 3 = 0. Which is smaller: w or k?
k
Suppose -4*z + 0 - 4 = 0. Let m be 0 + 4*z/(-2). Suppose -m*x - x + 3 = 0. Is x > 0?
True
Let r(t) = 3*t + 27. Let a be r(-10). Is -1 at most a?
False
Suppose r - m - 4 = 0, 2*r + 3*m + 8 = r. Which is smaller: r or 2/13?
2/13
Suppose -5*m + 2*m = 0. Suppose -d + 6*d = m. Let h = -0.1 + -0.9. Which is bigger: d or h?
d
Suppose -4*o = -56 - 24. Suppose -b = b + o. Does -9 = b?
False
Let f = 1.2 - 1.1. Let d(j) = -j**3 + 5*j**2 + 7*j - 5. Let p be d(6). Let k = 1 - p. Is k <= f?
True
Suppose 0 = -3*k - 6, 26 = -4*j + 4*k - 3*k. Which is smaller: j or -5?
j
Let q = -260673/52 + 5010. Let h = q - -9/13. Is 0.2 < h?
False
Let w = -8 - -14. Let f(h) = -h**2 + 13*h - 34. Let z be f(8). Is w equal to z?
True
Let w = 0.1 - -0.2. Let i = 0.04 + -0.14. Which is smaller: w or i?
i
Suppose 2*l - 33 = 4*w + 7*l, -11 = -2*w + 3*l. Which is bigger: -4/3 or w?
-4/3
Suppose 2*g = -4*k + 4, 2*g - 6*g = 2*k + 4. Are -4 and g equal?
False
Let r = 10 + -5. Let k = 5.3 - r. Which is smaller: k or 0?
0
Suppose -g + 5*w + 5 = -6*g, 0 = 5*w + 10. Which is smaller: 0 or g?
0
Let w(r) = -r - 8. Let n be w(-6). Let v(g) = g**2 + g. Let b be v(n). Which is bigger: 3 or b?
3
Suppose -2*p = -4*n + 20, -2 = 6*p - 5*p. Suppose 0*v = 3*d - 4*v - 12, -d + 3*v = -n. Suppose -d = -2*u - 12. Which is smaller: -3 or u?
u
Let b be ((-1)/37)/(4*8/(-32)). Is 1 smaller than b?
False
Suppose 6*z = -3*z - 72. Is z not equal to -5?
True
Let d = 0.7 + 0.3. Let l be 41/(-3) + (-12)/(-18). Let i = l - -10. Is d greater than i?
True
Let z(l) = -l**2 + 1. Let j be z(0). Is j at most as big as 2?
True
Let b be 64/(-10) + (-2)/(-5). Let c be (-3)/b*4*1. Suppose 1 = 12*v - 11*v. Does c = v?
False
Let c = -0.169 - -0.225. Which is smaller: c or -1?
-1
Let s = 144 + -1294/9. Let a = 1/3 - s. Is a not equal to -1?
True
Let x be (-3)/2*-10 + 0/36. Is 110/7 greater than x?
True
Let p = -13 - -8. Let z = p + 5.1. Which is smaller: z or 5?
z
Let n be 6/10*(1 + 0). Let o = -8 - -11. Let h = o + -1. Which is greater: n or h?
h
Let d = 1/22 + -6/11. Let j = -3 + 3. Let u = 0 - j. Which is smaller: d or u?
d
Let p = 64.9 - 65. Which is smaller: p or 30?
p
Let r(z) = 8*z**2 + 3*z - 9. Let f(q) = 7*q**2 + 3*q - 8. Let p(x) = -7*f(x) + 6*r(x). Suppose -3 = -2*u - 11. Let l be p(u). Is -5/6 greater than l?
True
Let b(f) be the second derivative of -f**3/6 - 2*f. Let y be b(0). Which is greater: y or 6/11?
6/11
Let g(v) = 2*v**2 + v. Let o be g(-1). Suppose 2*d + 3*d + 25 = -k, -4*k + 5*d + 25 = 0. Suppose -w - o = -k*w. Is -0.1 at least as big as w?
True
Suppose y - 30 = -2*y. Suppose 2*h - y = -0*h. Suppose -h*x - 4*g = -8, -5*x = -5*g - 37 + 2. Which is smaller: 5 or x?
x
Let d(y) = 2*y + 5. Let l(w) = w**3 - 7*w**2 - 8*w - 5. Let i be l(8). Let f be d(i). Which is smaller: -7 or f?
-7
Let m be 68/(-7) + (-2)/7. Let f = m - -7. Which is smaller: f or -2?
f
Let h = -1.7 - -2. Let x = -0.4 + h. Suppose -p = 3*c - 2*p + 4, -2*c + p = 4. Which is greater: c or x?
c
Suppose 2*w + 6 = -0*w + 2*d, -d - 3 = 5*w. Let g = w + 1. Which is smaller: -1/4 or g?
-1/4
Let c = -3 + 4. Let g = c + 1. Which is smaller: -3 or g?
-3
Let p be 10/32*(-21)/105. Is p < 1?
True
Suppose -r - 8 = -3, 4*r = -5*q - 20. Is -3/7 at most as big as q?
True
Let h = -12 + 15. Suppose -3*u + 5*u = 6. Suppose -2*d = 5*n + 5, -3*d + 2*d - h*n - u = 0. Which is smaller: d or -1/4?
-1/4
Let g(x) = 5*x**3 - 4*x**2 + 3*x + 3. Let z be g(4). Let q = z - 3529/13. Is q greater than or equal to 0?
False
Let a be -1 + 5 + -3 - (1 + -2). Which is smaller: a or 20/9?
a
Let l(x) = -x**2 + 7*x + 6. Let d be l(7). Which is bigger: 7 or d?
7
Let x = -1/11 + -7/44. Suppose -4 = -y - 3*y. Is x at most y?
True
Let j(a) = a**2 - 7*a - 1. Let i be j(6). Let n be (-2)/i + 88/(-112). Which is greater: 0.2 or n?
0.2
Let q = -1 - -2.9. Let v = q + -6.9. Is v at least -2/7?
False
Let t = -25 + 49/2. Let r(y) = -y**2 - 7*y - 7. Let j be r(-6). Is j not equal to t?
True
Let r be (-1 - 0)/2*0. Let u be (r + -1)/((-1)/5). Suppose -3*c - u - 1 = 0. Is -2 less than c?
False
Let f = 57 + -49. Is 8 < f?
False
Suppose -3 = -3*t + 3. Suppose w + 8 = t*c + 2, -14 = -3*w - 2*c. Suppose 4*a + 2*h = 4, -a - 4*h - 20 = -7. Which is smaller: w or a?
w
Let r = -2/99 + 2390/693. Which is bigger: 0.1 or r?
r
Let a = -14.9 + -0.1. Let w = a + 14. Are 12 and w nonequal?
True
Let b be (-96)/(-2) + -2 - 2. Let y be (b/(-6))/(6/(-9)). Which is greater: y or 10?
y
Suppose 0 = 2*x + 4*b - 338, -2*x + 4*b + 346 = -0*x. Let j be (-1)/(-3) - 75/x. Which is greater: j or 1?
1
Let x be (0 + -2)*(30/(-12))/(-5). Which is greater: -29 or x?
x
Suppose 0 = -3*t + 23 - 26. Is t smaller than -3?
False
Let o be 15/(-175) - (2/7)/(-1). Is 0 > o?
False
Let y be 180/10*2/6. Is 0.3 > 