/7 or m?
16/7
Let p = 27 + -41. Let o = -11 - p. Let r be 6/(-10) + 1*(-65)/(-25). Which is greater: r or o?
o
Suppose 2*k - k = 1. Let c be k*(-2 - 2)/8. Which is greater: -17 or c?
c
Let r = 13 + -13.06. Let s = r - -16.06. Let i = s + -14.9. Is -1/2 >= i?
False
Suppose 3*o - u = 1, -5*o + 2*u + 2 = -0*u. Suppose -13*b + 8*b + 15 = o. Suppose 3*l + 0 = -b. Is 1/17 < l?
False
Let j = 24 + -16. Let f be (-1)/j + (-7)/72. Which is smaller: f or -6/7?
-6/7
Let s be 2 + (-1 - 0) - -2. Let b(t) = t. Let i(o) = -10*o - 4. Let m(v) = 12*b(v) + i(v). Let u be m(3). Is s smaller than u?
False
Let r be 5*(4/(-585) - 20/(-90)). Which is smaller: 1 or r?
1
Let i(g) = 9*g - 56. Let h be i(6). Are h and -2 unequal?
False
Let q(i) = -i**2 + 7*i + 10. Let v(p) = 3*p + 1. Let l be v(2). Let x be q(l). Suppose 0 = -4*g - 3*a + 21, 2*g + 2*a = 3*a + 23. Which is bigger: g or x?
x
Let o be 18/(-15)*20/(-18). Let u = o - 22/21. Let m = -27 - -27. Which is bigger: m or u?
u
Let x be (-42)/(-216)*104/(-39). Which is smaller: -1 or x?
-1
Let b be (4 + -9 - 5)*(-2)/536. Which is bigger: 0 or b?
b
Suppose 179 = a + c - 6*c, -194 = -a + 2*c. Is 204 smaller than a?
False
Suppose 5*k + 8*d - 36 = 5*d, -18 = -k + 3*d. Let y(q) = -2*q + 13. Let n be y(k). Which is smaller: n or -6?
-6
Let f = 45/83 - -12111/166. Let y = f - 74. Which is smaller: y or -10?
-10
Let z = 7130 + -249582/35. Let r = z - -6/5. Which is smaller: r or 1?
r
Let v = -81477/59 + 1381. Suppose l - 17*l + 16 = 0. Is l at least as big as v?
True
Let u = 57 - 45. Suppose -21 - u = -11*j. Is 13/5 greater than j?
False
Suppose 0 = -2*n + 3*q + 18 + 2, 5*n + 3*q = 29. Suppose -5*x + 3*b + 12 = 0, 2*x + b = 6*b + 20. Which is smaller: n or x?
x
Let m be -4 + 2 + 6 - -4. Let x(t) = -2*t + 18. Let r be x(m). Suppose 5*l = 5*y - 20, -1 + 11 = r*y. Is 3/2 bigger than l?
True
Let b(p) = -3*p - 9. Let s be b(-3). Let r be (60/(-36) + (s - -1))*6. Is r at most as big as -9?
False
Let q = -9 - -2. Let r = 11.9 - -3.1. Let n = q + r. Is n less than or equal to 2/9?
False
Let v be ((-6)/18)/(2/(-6)). Suppose -5*h - 3*l = 13 - v, -16 = -3*h + 4*l. Suppose h*a + 4*a = -5*u - 10, -2*a + u = -2. Which is smaller: a or 1/2?
a
Let v = 21789/11 - 1983. Let p be 2/(-3)*(-3)/(-2). Which is smaller: p or v?
v
Let z = 86 - 84. Suppose 3*r = -3*y + 54, y + 0*r - 33 = z*r. Is 23 at least as big as y?
True
Let x = 987 + -1005. Let h be 3/(-6)*-2*-18. Is h at most x?
True
Let b = 14 + -12. Let t = 2 + b. Suppose -t*v - 3*f = -15, 0*f = 3*f - 3. Which is smaller: v or 4?
v
Let l(m) be the third derivative of m**5/12 + 5*m**4/24 + m**3 - 5*m**2. Let p be l(-4). Let x be 1*62/p - 1. Do -1 and x have the same value?
False
Suppose 16 = -4*m - 2*w, 5*w + 7 = 2*m - m. Is -120/31 at most m?
True
Let t = -21 - -17. Let s = 20.9 - 22. Which is smaller: s or t?
t
Suppose -303 = -8*r - 15. Let p be 1/(-4) + 81/r + -1. Which is greater: 8 or p?
8
Let p be 3 + (10 + 2 - 4). Let d = p + -10. Suppose -5*u = d - 6. Is 1 less than or equal to u?
True
Let f = 2846.6 - 2848. Let u = -4/33 + 26/33. Which is bigger: u or f?
u
Let l be 169/(-268) + -1 + -1. Let g = 8/29 - 304/1943. Let v = l - g. Which is smaller: v or -4?
-4
Let f be -86*(36/8)/9. Let c = 46 + f. Is 0.07 greater than c?
False
Let t be (-11)/(-4) + 3/12. Suppose 0*j + t*j - 357 = -5*z, 3*j - 357 = 2*z. Let a be j/(-153) - (-2)/(-9). Which is smaller: -2/19 or a?
a
Let w be ((-28)/(-8) + -3)*-4. Let f be (-4 - (0 + -2))/w. Are 1 and f nonequal?
False
Let j be (28/(-196))/((-4)/(-14))*0. Is j at least as big as 9/44?
False
Let m(l) be the third derivative of -l**5/60 - 5*l**4/24 + 108*l**2. Suppose -4*r - 2*j - 24 = -j, 2*j + 8 = 0. Let t be m(r). Is t >= -2/51?
True
Let h(u) = -2*u + 10. Let f = 28 - 23. Let m be h(f). Is m >= 0?
True
Let p = 0.03 - -1.61. Let x = p + 11.56. Let b = x - 13. Which is greater: 0.02 or b?
b
Let n = -28 + 9. Let d = n - -19. Let l = 153 - 2293/15. Which is smaller: l or d?
d
Let n(g) = -g**3 - 2*g**2 + 3*g - 1. Let a be n(-3). Which is smaller: -1/13 or a?
a
Let w be (-2 - -3)/(2/(-10)). Let c be (-28)/8*(-7 - -9). Which is bigger: c or w?
w
Suppose 3*g = l + 13 + 11, 5*l - g + 176 = 0. Which is greater: -35 or l?
-35
Let k(p) = -72*p**2 + 3*p + 2. Let m be k(-1). Let g = 75 + m. Which is smaller: 5 or g?
g
Suppose v - 1 = 5. Suppose 13 = 3*f - y, -2*y = -4*f + 35 - 21. Is f equal to v?
True
Let j be 0 + 2483/(-497) - (-192 - -187). Is j at least as big as 0?
True
Let p = 10 + -9.85. Let a = -6.9 + 7. Are a and p equal?
False
Let k = 29 - 28.892. Let j = 9.092 + k. Let u = -9 + j. Which is smaller: -3 or u?
-3
Suppose 3*n - 3*t - 9 = 0, 4*n - 7*n - 4*t + 44 = 0. Suppose 2*r = 4*g - 2, -r = -4*g + 3*r + n. Which is greater: g or -2/159?
-2/159
Suppose 2*j - 2 = j. Let w(x) = x. Let b be w(j). Which is greater: b or 1/2?
b
Suppose 9*a - 207 = -198. Is 5/226 greater than a?
False
Let j = -96 - -92. Let h be 4/5 - (1544/(-520) - j). Which is greater: h or 0?
0
Let t = 34 + -30. Suppose 2 = -q - 2*i, -q - 5 + 9 = t*i. Which is greater: -20/3 or q?
-20/3
Let a = 2/995 - 135326/2985. Which is greater: a or -1/3?
-1/3
Let y(d) = -5*d + d + 2*d - 1 - d. Let q be y(-2). Suppose 0*o - 5*o = -20. Are q and o equal?
False
Let b = -0.02 + -0.06. Let p = 1.82 - b. Let j = p + 0.1. Which is smaller: j or -0.1?
-0.1
Let a(i) = -6*i + 41. Let k be a(7). Let f = -9 + 307/34. Is k bigger than f?
False
Let p = -49 + 49. Suppose 5*t - 3*t - 10 = p, -20 = 4*c - 4*t. Which is smaller: 4/13 or c?
c
Let l = 11.1 - 1.1. Let r = l - 10.19. Let p = -1/28 - -15/28. Is p at most r?
False
Suppose u + 9 = 5*j - 2, 3*u + 1 = -j. Suppose 4*x - 11 = z + 55, -j*x - 4*z + 24 = 0. Suppose -3*r + 5*b = r - 69, 4*r = b + 65. Is x < r?
False
Suppose -6*x = -2*x - 12. Let f be (-4264)/(-20)*-1 + x. Let i = f + 211. Is i at most 0?
False
Let h be 3 - 4 - 17/(-11). Let v = 39 + -37. Which is bigger: v or h?
v
Let v = 533 - 543. Is 11 smaller than v?
False
Let d(v) = v**3 + 6*v**2 + 6*v + 7. Let m be d(-5). Suppose -m*x + 5*x = -15. Suppose 5*n = -4*i - 6, -n + 0*n = -4*i - 18. Is x greater than i?
False
Let w = 1085 + -1085.055. Let r = -8 - -8.1. Is r less than or equal to w?
False
Let z be 8 - 5 - (710/496 + 1). Let x = -6/31 + z. Which is bigger: x or -0.03?
x
Let i be ((-40)/12)/(2/6). Let w be (-2)/i - 22/10. Which is bigger: 0 or w?
0
Let j = 25 + -23. Suppose 7*c - 5 = j*c. Which is greater: -10 or c?
c
Let j be ((-24)/9 - -2)*-90. Let m = j - 44. Do m and 16 have the same value?
True
Suppose -5*b = -2*n - 1629, 4*b - 3*n - 1299 = -0*n. Are 327 and b non-equal?
False
Let w be (110/33)/((-1)/(-27)). Suppose -w - 30 = 4*g. Let v be (-5)/(g/21) + -3. Is -2 at most as big as v?
True
Let w = 531 - 483. Is 48 at least w?
True
Suppose -i = -4*i + 2*g + 175, -g = -i + 57. Let m = 64 - i. Is m less than or equal to 6?
True
Let y be (-1 - 0)*20/18. Suppose -2*j = 3*r - 2, 3 = r - j - 1. Suppose -r*w - 39 = -35. Is y greater than w?
True
Let j be (-75)/(-18) - (-2)/(-12). Suppose -2*c + 6 = -2*a, -2*c + 1 = -7*c + a. Let r be (-1 - -4) + (-1 - c). Which is greater: r or j?
j
Suppose -23 = 2*i - 17. Which is greater: -7/3 or i?
-7/3
Let t(z) = z**3 - 3*z**2 + z + 3. Suppose -2*w - x - 1 = -4*w, -5*x = -3*w - 9. Let a be t(w). Is a greater than or equal to -1/41?
True
Let b = 112 - 112. Are 10/27 and b non-equal?
True
Let d = 1425/236 + -53183/9912. Let k = 5/7 - d. Is k at least 0?
True
Let i = -205 - -1837/9. Is i <= 0?
True
Let h(k) = -k + 7. Let w be h(6). Let u be (-4 + 0)/((16 + -9 + 12)/(-2)). Do u and w have the same value?
False
Let u = -236 + -169. Let q be (-6)/2 + (-1188)/u. Suppose 2*r + 5*v = 22, -v + 5 + 1 = 2*r. Which is greater: r or q?
r
Let c = 5329 - 1801205/338. Which is greater: c or 1?
1
Let a = 84.8 + -99.67. Let d = a + 15. Let w = -19 + 18.9. Which is greater: w or d?
d
Let i = 25 + -22. Let g(y) = 12*y - 13. Let u be g(i). Let r = -28 + u. Is r less than -4?
True
Let s be (-1)/3 - (-1)/9. Let g = 0.057 - 0.157. Does s = g?
False
Let r = 21 - 7. Suppose -2*q - r = -5*m + m, -3*q = -2*m + 17. Is m equal to -1?
False
Let w(r) = -5*r - 120. Let q be w(-24). Is 5/133 < q?
False
Let i = -111 - -122.9. Let m = 12 - i. Let h = 258 - 244. Is m greater than h?
False
Suppose 16*m - y = 20*m