
w
Let m be ((-63)/(-4))/(45/(-6)). Let i = 5/2 + m. Which is greater: 0 or i?
i
Let s be 1 + 1 - (-770)/(-98) - 1. Let w = s + 50/7. Which is greater: -12 or w?
w
Let o = -16 - -16.63. Let v = -0.53 + o. Which is smaller: -3/2 or v?
-3/2
Let v(r) be the first derivative of r**2/2 - 2. Let y be v(2). Suppose y*t - 1 = -5. Is t < -12/11?
True
Let c = -109 - -64. Let w = 50.2 + c. Let u = -1.2 + w. Do u and 2/3 have the same value?
False
Let g be (-19)/((-133)/1890) + 35/5. Is 273 bigger than g?
False
Let v = 3482 + -477030/137. Does -1 = v?
False
Let i be ((-3)/2)/(9/(-24)). Suppose 0 = -3*h + i - 7. Are -3/8 and h nonequal?
True
Let a = 605 + -596. Is 24 smaller than a?
False
Let s = 127 + -166. Which is smaller: 0.1 or s?
s
Let k be (717/102)/((-3174)/16). Let g = 2479 + -1311389/529. Let j = k - g. Is 0 equal to j?
False
Suppose -11*c - 9 = 4*r - 10*c, -3*r - 18 = 3*c. Let b = 1838/273 - 90/13. Is r > b?
False
Let f(m) = -8*m + 44. Let p be f(5). Suppose -4*s + 12 = -4*z, -2*z + s - p = 3. Is z less than or equal to -0.2?
True
Let y(i) = 12*i + 74. Let a be y(-5). Is 2 less than a?
True
Suppose 2*a = 0, -103*a - 501 = 3*t - 109*a. Is 2 equal to t?
False
Let m be ((-31)/32 + 1)/1. Let j = -448 + 14313/32. Let z = m - j. Which is greater: 0 or z?
z
Let h = 20 + -17. Let o(p) = -p**2 - p. Let g be o(h). Let f be (-22)/g + 6 + -8. Is f less than 0.1?
True
Let r = -37 + 22. Let h(v) = 18 - 2*v - 39 + 20. Let g be h(7). Do g and r have different values?
False
Let w(m) = -m**2 - 19*m + 17. Let g be w(-5). Let s = -263/3 + g. Which is greater: 0 or s?
0
Let k = -146 - -141. Is k less than 4/9?
True
Suppose 0*x - 3*j + 30 = -x, 3*x + 110 = -j. Let q be 6/12*2*-35. Does q = x?
False
Let m = 24 + -12. Let d = m + -10. Suppose -d*b + 3 + 9 = 0. Is 5 at most b?
True
Let h be 13 + -1 + 5 + -4. Let o be 2/h - 120/(-65). Suppose -20 + o = -g. Which is bigger: 16 or g?
g
Let u(n) = -3*n + 5. Let j(h) = h + 9. Let r be j(-6). Let t be u(r). Let f be 2/t - (-51)/(-6). Is f < -9?
False
Let v(x) = 2*x**2 - 3*x - 2. Let a be v(-2). Let c be (2/4)/(14/a). Suppose 29*o - 78 = -38*o - 11. Is o less than or equal to c?
False
Let y = 565 - 388. Is y at least 175?
True
Suppose -121 = 4*h + 3*q, 0*h - 3*h - 99 = 5*q. Let j be 34/85 + h/(-5). Let w = 10 - 7. Which is smaller: w or j?
w
Let u be 34/30 + (9 - (-1370)/(-150)). Which is smaller: -15/151 or u?
-15/151
Suppose w = -m + 3, 2*w = -2*w + 3*m - 2. Let q = -447 + 5812/13. Is w at most q?
False
Suppose 3*z = h + 29, -7*z + 4*h = -10*z + 19. Suppose 25 = z*b - 8*b. Is 0 at least b?
False
Let c(m) = m**3 - 14*m**2 + 4*m - 4. Let p be c(14). Suppose -27*v + p = -31*v. Is v at most -13?
True
Let r(g) = -g**2 + 7*g - 6. Let v be r(5). Suppose 4*w - v*y + 16 = 0, -w + 5*w + 2*y - 14 = 0. Which is smaller: -2/43 or w?
-2/43
Suppose b + 0*b + 5*c = -28, 0 = -2*b - 5*c - 31. Let d be ((-2)/5)/(b*88/30). Which is greater: 0 or d?
d
Let x be 1 + -3 + (-2448)/(-1190). Which is smaller: x or 1?
x
Let n = -0.17 + 9.17. Let w = n + -10.4. Let r = 3.6 - w. Is 0 less than r?
True
Let k(b) = -5*b**2 + 5*b + 7. Let j be k(5). Let o(t) = t**3 + 9*t**2 + 15*t - 37. Let n be o(-8). Is n < j?
False
Let a = 0.029 - -0.03. Let y = a + 0.061. Let f(m) = -m**3 + 4*m**2 + 6*m - 5. Let c be f(5). Is c <= y?
True
Let n = 8261/3 + -2752. Let h be 25/9 - (-2)/9. Which is bigger: n or h?
h
Let s = -9/158 - -217/4503. Suppose -4*o - 5 = -1. Is s > o?
True
Let h = -5.946 + -0.964. Let f = 6.5 + h. Let c = 0.21 + f. Which is smaller: -4 or c?
-4
Let p be (0 - -2 - 1) + -14. Suppose 19*m = -496 + 287. Do p and m have the same value?
False
Let q = -0.086 + -2.214. Let u = 3.4 + q. Let v be 0 - -2 - (-5)/(-3). Do u and v have different values?
True
Let n be 34/(-10) - (-14)/35. Let v be (-46)/6 - 4/18*n. Which is greater: -8 or v?
v
Suppose -r = -10 - 0. Suppose 4*t + 35 = -3*v, v = -t - 0*v - r. Is -5 > t?
False
Let h = -15/283 + -1199/20093. Which is greater: h or 0?
0
Let z = 106 - 103. Which is smaller: 55 or z?
z
Suppose -5*y - 53 = -4*k, -8*k + 3*k + y = -40. Let x = 17 + 3. Let a = x - 12. Which is bigger: k or a?
a
Suppose 0 = -b + p + 4, 6*p - p = -25. Which is greater: -1/95 or b?
-1/95
Let g = -56.876 + 0.076. Let b = 57 + g. Which is smaller: b or 7?
b
Let u = 32477/71120 + 1/2032. Let q = u - 13/30. Is 1 < q?
False
Let w = 43454/7 + -977364/161. Let h = -137 + w. Which is smaller: 0 or h?
0
Let d be ((-2)/8)/((-2)/4). Let z = -15.99653 - 0.00347. Is d > z?
True
Let c be (-4 + (-3 - -9))*(-4)/7. Let d be -4 + 12 - (-1 + 0). Suppose 3*h + 3*x = -d, 5*h + x = -5 - 6. Is c greater than h?
True
Let j(p) = -p + 4. Let z be j(7). Let r be 9 + 1*(-9)/z. Let f be -1*(r/(-3) - -5). Which is bigger: -9/10 or f?
-9/10
Let z be ((-12)/10)/((-9)/30). Let h(n) = -n**3 - 8*n**2 + n + 3. Let v(j) = -j**3 - 7*j**2 + 2. Let q(o) = 2*h(o) - 3*v(o). Let p be q(-4). Is z > p?
False
Let o(z) = -z**3 + 12*z**2 + 48*z + 41. Let h be o(15). Is h not equal to 84?
True
Let x = 634 + -635. Which is greater: x or 1/144?
1/144
Let d = -0.1 + 0.2. Let u = 625/5964 + -23/284. Which is smaller: u or d?
u
Let d(a) = -41*a + 14. Let p be d(-23). Is p < 957?
False
Let z = -0.1 - 0. Let a be (3/9)/(1/3). Which is greater: z or a?
a
Let o = -210.2 + 210. Which is smaller: 510 or o?
o
Let l = -2.7 - -1.7. Are l and 4/215 nonequal?
True
Let x = -174 - -219.7. Let a = x + -39. Is 0.1 less than a?
True
Suppose -178*c - 10 = -173*c. Is -29 > c?
False
Suppose 14 = 65*g - 51. Is 5/53 > g?
False
Let z(j) = 3*j**2 - 4*j - 2. Let s be z(2). Let v be ((-18)/15)/(-6) - 11/(-5). Is s equal to v?
False
Let y = 11 - 11. Let o = 2737/6 - 455. Which is bigger: y or o?
o
Let h = -886/1573 - -3/121. Let u be ((-16)/(-24))/((-2)/3). Is h not equal to u?
True
Let g = 40 + -38. Suppose a = z + 2, -g - 4 = -3*a. Is -2 bigger than z?
False
Let o be ((-54)/(-72))/((6/(-8))/(-3)). Suppose 0 = o*k + 19 + 68. Which is smaller: -28 or k?
k
Let u(a) be the first derivative of -22*a**2 - 2*a - 10. Let y be u(-1). Is 42 at least y?
True
Let l = -100.1 + 17.1. Let q = l + 83.2. Is q < 10?
True
Suppose 7*l - 4*l + 6 = 0. Let a be ((-6)/36)/(l/6). Which is smaller: -31 or a?
-31
Suppose -5*d + 2*i = -28, 2*d = 4*i + 17 + 7. Let o be 5/d + 3/(-2). Let a = -652 - -670. Which is smaller: o or a?
o
Suppose 5*l + 48 = 3. Let u be ((-24)/16)/((-8)/(-48)). Is u != l?
False
Let g(r) = 32*r - 1471. Let f be g(45). Which is greater: -34 or f?
f
Suppose 3*w - w - 4*c = -44, -3*c + 117 = -5*w. Suppose -r = u - 3*r + 7, -5*u + r = 53. Let s = u + -12. Which is smaller: s or w?
w
Let p be (1 - -1) + (-1122)/456. Let d = p - -4/19. Which is smaller: d or 0?
d
Suppose -h = -4*p + 286, 2*p + 28 - 166 = -2*h. Which is greater: p or 492/7?
p
Let b = 0.3 - 0.1. Suppose 12*g - 368 = -15*g - 476. Are g and b non-equal?
True
Let l = 136 + -136.1. Let d be 4/26 - 0/2. Does l = d?
False
Suppose 0 = -7*u - 360 - 907. Is u not equal to -183?
True
Let k = 96 + -67. Let f = k + -48. Is f greater than -17?
False
Let z = 57.06 + -57. Which is greater: 5 or z?
5
Let x be 38/8 - 9/12. Suppose -w = w + x. Which is bigger: 10 or w?
10
Let k = 476 - 478.7. Are 0 and k nonequal?
True
Suppose 0 = 3*k + 2 - 14. Suppose k*p + 21 = p. Let n(l) = -l**2 + 14*l - 48. Let j be n(10). Is p < j?
False
Let y = -6761 + 6704. Let h = 19 - 77. Is y < h?
False
Suppose -q + 11 = -z - 2*z, 0 = 4*q + 2*z - 30. Let j = 0.0052 - -0.3948. Which is greater: q or j?
q
Let m = 633.9 - 674. Let x = 40 + m. Which is smaller: 4 or x?
x
Let f(t) = t**3 + 10*t**2 + 2*t - 19. Let l be f(-8). Let h = 94 - l. Is h <= -2/133?
False
Let p = 1 + -7. Let b = 6.08 + p. Let t = b - 0.03. Is -2 < t?
True
Let b = 71 + -25. Which is bigger: 47 or b?
47
Suppose -m = -5*k - 3, -m - 9*k = -7*k + 4. Which is greater: 1/18 or m?
1/18
Suppose -4*c = -2*o - 38, c + 2*o = -4 + 6. Let v be 30/(-12)*c/30. Which is greater: v or 1/4?
1/4
Let y = 40/119 + -6/119. Suppose -o + 7 = -2*d, 18 + 1 = -2*d + 5*o. Which is greater: y or d?
y
Let h = 803/7 + -115. Let b = 22.2 - 7. Let o = b + -15. Which is smaller: h or o?
h
Let i be (-42)/28*22/(-3). Let z = i + -20. Which is smaller: z or 1/2?
z
Suppose -81 - 61 = 2*k. Let s = k + 71. Are s and -1/6 equal?
False
Suppose 0 = 27*w - 20*w. Suppose -6*s + 6