 Which is smaller: r or 0?
r
Let x be (-39)/(-12) + (-4)/16. Suppose m = -x*m. Which is smaller: -1/3 or m?
-1/3
Let u = -30 - -25. Let m(k) = -k**3 - 6*k**2 + 7*k - 2. Let t be m(-7). Let c be -3 - 2 - 0/t. Is c at least u?
True
Let l be (-2)/((350/12)/(-7)). Let w = l - -77/100. Which is smaller: 1 or w?
1
Let n = -1504/3 - -496. Is -5 <= n?
False
Let x = -36 + 1. Let o = 21 + x. Let a = 8 + o. Is -5 at most a?
False
Suppose -2*r = 4*q - 52, -2*q - 2*r + 7 = -q. Which is bigger: 68/5 or q?
q
Let w = 0.19 + -9.19. Let f = 19 + w. Is 0 at most f?
True
Let h be ((-14)/(-32))/(4/8). Let d = -1/8 + h. Which is smaller: d or 0?
0
Let o = 0.3 - 0.3. Let m be ((-3)/(-12))/(-2 + (-92)/(-32)). Are m and o equal?
False
Let j(d) = 3*d**2 - 7*d - 2. Let x(f) = 4*f**2 - 8*f - 3. Let k(h) = -7*j(h) + 6*x(h). Let c be k(-3). Which is smaller: 19 or c?
19
Let z = 8 - 3. Suppose i - z = 0, v = 2*i - 3 - 5. Is 1 bigger than v?
False
Let i(k) = -k - 18. Let f be i(-5). Suppose 2*s + 12 = s. Does s = f?
False
Suppose -m + 7 = 2. Is m <= 5?
True
Suppose 3*u + 2*k - 9 + 2 = 0, u + 3*k = 0. Suppose 4*y - 2*m = 2, -y = -5*y + m - 1. Which is greater: y or u?
u
Let r = 10.63 - -0.37. Let z = 6 + -7. Which is smaller: r or z?
z
Let j be 448/(-7)*3/30. Is -5 at most as big as j?
False
Let z(r) = -r**2 - 4*r - 3. Let o be z(-2). Is 1 at most o?
True
Let q = -5 + 3. Let s = -3.2 - 2. Let h = 5 + s. Which is greater: q or h?
h
Suppose -3*l = -7 + 1. Let o be (2/l)/(1/1). Let q = 0.06 - -0.04. Are q and o nonequal?
True
Let b = 7 - 7.6. Let o = b - -0.3. Which is smaller: o or -0.1?
o
Let j(y) = -y - 5. Let q be j(9). Let h = -15 - q. Are -12/11 and h equal?
False
Let a = 29 + -28.86. Let n = a + 0.46. Is 2/3 greater than or equal to n?
True
Suppose -5*t - 22 = 8. Let v = -48 - -68. Suppose -30 = 4*g + 3*r, 2*g - 7*g = -5*r + v. Are g and t equal?
True
Let a = -0.43 - -0.33. Which is greater: 0.02 or a?
0.02
Suppose 24*h = 33*h - 9. Is h smaller than -1/7?
False
Let r be (-637)/(-4) - (-1)/(-4). Let f = 1115/7 - r. Is -1 equal to f?
False
Let s = 0.07 - 0.02. Let z = s - 1.05. Which is smaller: z or -2?
-2
Suppose 18 = 4*y - y. Let o = y - 12. Let q be 1*2/o*-3. Which is bigger: 8/7 or q?
8/7
Let f = 10 + -7. Let j = -125.9 + 121. Let k = -5 - j. Which is smaller: f or k?
k
Suppose 2*n + 0*n - 4 = 0. Suppose n*t = -0*t + 4*w - 12, 3*t - 2*w = -6. Suppose 4*k = -t*k - 28. Is k not equal to -7?
False
Suppose 3*u + 13 - 58 = 0. Let h be (-1)/(1 - 18/u). Which is bigger: h or 3?
h
Suppose 4*f + f - 4*y = 12, -3*f - 5*y - 15 = 0. Which is smaller: -2 or f?
-2
Suppose -6*k + a = -k + 11, 3*k = -2*a - 17. Which is bigger: k or -12?
k
Let g = 6/13 + -9/104. Which is smaller: -1/4 or g?
-1/4
Let n = 148/3 + -12. Let z = n + -104/3. Is 2 >= z?
False
Let w = -69 - -275/4. Is 5/12 at most w?
False
Let z = -66 - -66.1. Is -21 smaller than z?
True
Suppose -17*h + 40 = -21*h. Let v = -12 - h. Do v and -10/3 have the same value?
False
Let u = -17 - -16.93. Let w = -1.07 - u. Do 0 and w have the same value?
False
Suppose k + 2*t - 25 = 0, 4*k - 56 = -0*k + 3*t. Is 17 >= k?
True
Let t = -10 - -9.8. Which is smaller: -4 or t?
-4
Let s(u) = -u - 4. Let h be s(-6). Suppose -8 = h*d - m, 3*d + 14 = 4*m + 2. Suppose 0 = 3*i + 5*a, 2*i - a + 23 = -2*i. Is i at most d?
True
Let l be 2/(-3) + 6/9. Suppose l*q = 3*q + 3. Which is smaller: 0 or q?
q
Suppose 2*j = x - 8, -3*x - 10 = 5*j + 21. Suppose 2*h = -2*h - 20. Are j and h non-equal?
False
Let v(u) = u + 18. Let t be v(-12). Is t > 6?
False
Let u(z) = 10*z**2 - z + 1. Let t be u(1). Let k be 4/t - (-76)/10. Let q be 1/k - (-1)/4. Are -1 and q nonequal?
True
Let y = -9095/133 - -482/7. Which is bigger: y or 1?
1
Let c = 1.6 - 1.28. Let v = c + 0.08. Let k = 0.5 - v. Which is smaller: 1 or k?
k
Let g be 0/(-3) - (4 - -2). Let j = 8 - 15. Let s = j - g. Which is greater: s or 1/8?
1/8
Let a = -1214/7 + 174. Let x = 1 + -5. Let u(l) = -l**2 - 5*l - 4. Let j be u(x). Which is smaller: a or j?
j
Let q be (-123)/(-9) + -2 + 1. Let j = 13 - q. Is -1 less than or equal to j?
True
Let z = 68 + -68.1. Is z <= -1/12?
True
Let y = -101/42 + -2/21. Which is smaller: y or -3?
-3
Let u = 37/17 + -115/51. Let q = -130/357 - u. Are 0 and q equal?
False
Let t = -0.65 - -3.35. Let o = t + -3. Which is bigger: o or 2/9?
2/9
Let n = -163 + 186. Which is smaller: 21 or n?
21
Let l = 0.027 + -1.067. Let w = l - -0.04. Is w bigger than 1?
False
Let u(q) = q**3 - 3*q**2 + q - 3. Let k be u(3). Suppose -2*i - 12 = 4*l, k = -2*i + 3*l + 6 + 3. Suppose 1 - 2 = -j - 2*w, i = 5*j + 5*w + 5. Is j < -3?
False
Suppose 49 = 3*f + 13. Which is smaller: f or 14?
f
Let f(p) = 2*p + 0 + 3*p**2 - p**2 - 1. Let v be f(-2). Suppose -4*m - 11 = -v. Is 0 < m?
False
Let y be (3 - (3 + 2))*(-2)/(-4). Let h = 8/7 + -26/35. Is y at least h?
False
Let h be (-4)/(-34)*(2 + -3). Let n = -124 + 123. Does h = n?
False
Let d = -0.7 - 0.3. Let a = -310 + 4648/15. Which is bigger: a or d?
a
Let p = 5.3 + -3.34. Let f = 0.04 + p. Is f < -1/3?
False
Let s be 1/6 - 105/90. Does s = 0?
False
Let y be (-58)/(-7) + (-14)/49. Suppose 2*u = -2*i, 2*i = -2*i + y. Is 0.5 > u?
True
Suppose 0 = 5*o + 2*m - 3*m - 24, -4*o + 25 = 5*m. Suppose x + 3*k = -8 - 5, -13 = o*x + 2*k. Which is greater: 1/7 or x?
1/7
Let v be (-9)/(-6) + 2/4. Let d be (-2)/14*(v - 4). Which is greater: d or -1?
d
Let x be ((-6)/(-10))/((-182)/(-780)). Which is bigger: 3 or x?
3
Let b(j) = j - 14. Let s be b(0). Is -13 smaller than s?
False
Let y = 863 - 869.09. Let c = -0.09 - y. Which is smaller: 1/4 or c?
1/4
Suppose o - 5*q = -3, 3*q + 13 = 5*o - 16. Which is smaller: -2 or o?
-2
Let v(r) = 8*r**2 - 3*r + 1. Let l be v(1). Is 9 bigger than l?
True
Let i(v) = v**3 - 4*v + 3. Let c be i(3). Let f be (-5)/c - 2/9. Let l = 6 + -4. Which is greater: f or l?
l
Let h be ((-9)/33)/((-10)/(-14)). Let t = h - -15/22. Is 0 > t?
False
Let r(x) = x + x**2 + 2*x - 1 - 2*x. Let s be r(-2). Are -3/8 and s non-equal?
True
Let c = 17 + -18. Is c smaller than -4/7?
True
Let t = 1.2 + 3.8. Let d be ((-1)/6)/(9/(-27)). Is d bigger than t?
False
Let v(q) be the first derivative of -q**2 + 6*q + 2. Let f be v(5). Which is smaller: f or 0?
f
Let t be -1 + (-8)/(-18) + 1. Let v be (-2)/6*(-1 + 0 - -4). Is v at most as big as t?
True
Let u(a) = a**2 + 6. Let d(h) = -h**3 - 3*h**2 - h - 3. Let p be d(-3). Let j be u(p). Which is bigger: j or 7?
7
Let o = 391 + -6649/17. Which is smaller: -1 or o?
-1
Let g = -0.55 + 0.65. Is -1/51 at most g?
True
Let g = -413/20 - -81/4. Let f be 0*(1 + -4 + 2). Which is smaller: f or g?
g
Let w(k) = k**2. Let i be w(-2). Suppose -4*j = 3*y - 3 + 4, 16 = i*y + j. Let q = -3 - -7. Which is smaller: y or q?
q
Let q = -45.79 - -46. Let z = 2.85 + q. Let l = -0.06 + z. Is -2/7 smaller than l?
True
Let i(u) = -3*u - 7. Let p be i(6). Is 1 bigger than p?
True
Let q be (-2)/3*(4 + -1). Let c be 27/6 + (-1)/q. Suppose 4 = -c*k - 2*h + 14, -2*k - 10 = -2*h. Is k != -1?
True
Let t be 12/33*(-1)/(-8). Are 0 and t nonequal?
True
Let j be (6/14)/((-6)/4). Suppose 0 = -5*g + 3*g + 10. Let d = 5 - g. Do d and j have different values?
True
Suppose 2*u - 1 = 9. Suppose 0*k = 4*k + 3*v, 0 = 3*k + u*v. Suppose k = m - 0 - 2. Is m at least as big as 1?
True
Let h be (-6)/10*7/(-112)*-10. Do h and 1 have different values?
True
Let i = 18 + -19. Let x = -0.4 + 0.3. Is i less than or equal to x?
True
Suppose -3*q - 2 - 10 = 2*y, 12 = -3*q. Let w be 1/((-2)/(-6)) - 1. Let l be 2/w - 10/8. Is y smaller than l?
False
Let k = -27 + 22. Is -3 < k?
False
Let v be 1/(-4)*2*0. Let a be ((-36)/(-40))/(6/(-5)). Is a < v?
True
Suppose 4*w - 18 = -2*x, x - 2*w = 3 - 10. Is 2/15 greater than or equal to x?
False
Suppose 2*i - 2*b = -2*i + 98, 0 = 5*i - 3*b - 122. Suppose -4*n - n = -i. Suppose 3*c + 7 = n*x, 2*x + 2 - 10 = -4*c. Which is smaller: c or 2?
c
Let v be 2/8 - (-6)/(-24). Suppose -m = 3 - 8, v = -d - m - 2. Which is greater: -5 or d?
-5
Let v = -270 - -4861/18. Let n = v + -14/9. Which is smaller: -2 or n?
-2
Let s(b) = -b**3 - 3*b**2 - 3*b + 3. Let u be s(-3). Let y be (-4)/u + 7/3. Which is smaller: y or -1/2?
-1/2
Suppose -3*l + 6*x + 10 = 4*x, 4*x = 3*l - 14. Suppose o - l*a = -1, a - 18 = 5*o - 49. Let w = 6 - o. Is 1 at most as big as w?
False
