k + 48. Suppose -y + 0*a + 2*a - 20 = 0, 5*a = 2*y + 42. Is y >= k?
True
Let n = 2.293 + -2.416. Is 0.07 > n?
True
Let i be (-156)/63 + (-1)/(-3). Suppose 0 = -2*p - 2*f + 2, -2*p - 7*f + 11 = -2*f. Which is bigger: i or p?
p
Let w(n) = -n**3 + 11*n**2 - 21*n - 11. Let f be w(8). Is 14 at most f?
False
Let x = 28 - 16. Let m(p) = -p + 9. Let l be m(-4). Which is bigger: l or x?
l
Suppose -2*i = k + 50, -3*k + 11*i = 8*i + 114. Is k < -43?
False
Let k = 435 + -436. Does k = 553?
False
Suppose 59*y + 4*r = 55*y + 8, -4*y + 5*r - 1 = 0. Which is greater: y or -2/933?
y
Let y be (-14)/(-60) + 2/(-6). Let r be (-14)/(-28) - (-12)/(-8). Is y < r?
False
Suppose -3*h = -4*h. Let a = -366 + 365. Is h bigger than a?
True
Let c = -4 - -3. Let f = -30731/8 - -3840. Which is greater: f or c?
c
Let l(d) = -2*d - 2*d**2 - 9 + 8 - 2*d**3 - 10*d**2. Let c be l(-6). Is 13 greater than c?
True
Suppose -8 = -x - 2*o, 5*x - 13 = -3*o + 6. Let j = x + -2. Is 1/15 at most j?
False
Let k(n) = -n**3 - 5*n**2 + 16*n - 12. Let b be k(-6). Suppose -8*t - 58 = 510. Is t less than b?
False
Let o be ((-2)/(-10))/(-7*(-5)/5425). Suppose -6*l + o + 11 = 0. Suppose 0 = -4*f + 9 - 1. Which is greater: l or f?
l
Let i = 4026 - 16099/4. Let c = 2.5 - 2. Is i greater than or equal to c?
True
Let d(g) = 2*g**2 + 3*g + 3. Let n(v) = -v - 4. Let y be n(-2). Let t be d(y). Suppose 0*x - x + 4*p = -t, -4*p - 19 = x. Which is greater: x or -6?
-6
Suppose -17 + 15 = -y. Suppose -y*z - 20 = -6. Let d(a) = a**2 - 8. Let o be d(0). Which is bigger: o or z?
z
Let q(x) = x**3 + 15*x**2 + 28*x + 28. Let c be q(-13). Suppose 4*l - 2 = c. Let y = 3137/10 - 313. Which is smaller: y or l?
y
Let a be 34/(-17)*(-2)/(-120). Is 0 < a?
False
Let h(t) = -6*t**2 + 4*t + 7. Let n be h(-3). Let a = -64 - n. Let b(i) = -2*i + 4. Let g be b(4). Is a bigger than g?
False
Let a = 1172 + -32821/28. Is 1 >= a?
True
Let g = 0.0391 + -36.9391. Let n = g - 6.1. Which is bigger: 2/7 or n?
2/7
Let b = 0.485 - 0.285. Do b and -0.69 have the same value?
False
Let o = 1084 + -1161. Which is smaller: -7 or o?
o
Let o = -729 - -778. Which is bigger: o or -3?
o
Suppose 4*i - 6*w + 3*w = 5, 0 = 2*i - 5*w + 1. Let r = i + -2. Which is smaller: r or -7?
-7
Suppose 3*h + 5 = 149. Let y be 1/((-3)/h) - 3 - -2. Is y smaller than -15?
True
Suppose 2*h = 5*p - 38, -7*p + 5*h = -9*p - 8. Is p at most as big as -2/3?
False
Let o be (11 + -3)*3/6. Let d(g) = g**3 - 3*g**2 - g + 2. Let h be d(o). Suppose -w = w - h. Which is smaller: w or 8?
w
Let t(u) = -u**3 - 3*u**2 - 3*u. Let s(v) = -v**3 + 9*v**2 + 9*v + 7. Let g be s(10). Let w be t(g). Let z be 16/(-48) - (-11)/w. Which is greater: 2/7 or z?
z
Let y = -55 - -123. Let u = 68 - y. Let b = -7.89 + 8. Which is smaller: u or b?
u
Let l = 1479 - 2879/2. Is 41 greater than or equal to l?
True
Let i = 9 - 181. Is i less than -167?
True
Suppose -4*a + 17 = o, -2*o + 4*a - 5 = -a. Let f = -144 + 151. Which is bigger: f or o?
f
Let l be (-3 - 7)*(-8 - 2). Suppose -b + 4 + 81 = 3*h, -4*h - 4*b + l = 0. Let p be 2/(-4)*1/((-6)/348). Is h < p?
False
Let c = 26437/4 - 6608. Let v be 2*(2 + (-3)/2). Does v = c?
False
Let u = 3227126113/665 - 4852820. Let l = -3/133 + u. Is 2 greater than or equal to l?
True
Let v(q) = -3*q + 6. Let c be v(-15). Is c equal to 51?
True
Let p = 9048/25 - 4608/25. Let f = -176 + p. Is 3 > f?
True
Let z = 68 - 66. Suppose z*o - 3*o + 27 = 5*g, -2*o = 4*g - 36. Is o < 11?
False
Let y = -18 + 23. Suppose -g = 4*g - y. Let a = -0.4 + 2.4. Is a > g?
True
Let g = -220/943 - -6/41. Let f = 830 - 831. Which is greater: f or g?
g
Let v be (8/10)/(-8*(-7)/840). Which is bigger: 14 or v?
14
Suppose 0 = -21*g - 594 - 183. Suppose 76 = -3*j + j. Which is smaller: j or g?
j
Let o be (0 + (-3 + 3)*-1)/4. Suppose 3*n - n - 5*n = o. Which is greater: -2/171 or n?
n
Let g = 0.6 - 0.3. Suppose 2*r + h + 12 = -2*h, 2*r + 22 = 2*h. Let p be (6/4)/(r/(-15)) - 2. Is g at least p?
False
Let b(i) = i**2 - i + 22. Let s be b(0). Let w(o) = 12*o + 122. Let q be w(-12). Let h = s + q. Which is smaller: 1/4 or h?
h
Let o(l) = 3*l**3 + 3*l - 3. Let j be o(2). Do 29 and j have the same value?
False
Let n be 3/9 + 13/(-3). Let t = 13 + -10. Let b = t + n. Do 0 and b have the same value?
False
Let d = -51934/344765 + -2/6505. Which is smaller: 0 or d?
d
Suppose 5*k + 5 = 20. Suppose 0 = k*d + 2*d. Suppose 0*y - 3*y = y. Does y = d?
True
Let p = 22.44 - 21. Let t = p + 0.56. Is 3/2 greater than or equal to t?
False
Let f = 983 - 935. Is 45 bigger than f?
False
Suppose 24 = g + 3*f, -3*f = -3*g - 2*g + 138. Let i = g - -1. Let d be ((-3)/(-15))/(i/(-35)). Do 2/7 and d have the same value?
False
Let b = 2 + -20. Is -18 != b?
False
Let r be 9/(-9) - (-2 - 2). Suppose -r*m = m - 56. Suppose -b - 5 = -6*b. Are m and b unequal?
True
Suppose 109 = -4*q + 9*q - u, 0 = -4*q + 5*u + 104. Let g = -1 + 3. Suppose r + g*r + q = 0. Is 0.1 greater than r?
True
Let d = 931/3 + -310. Is d less than 3.2?
True
Let f = 9249614351257/624 - 14823093560. Let q = f - 82896/13. Let p = 44/3 + q. Are p and -1 equal?
False
Let t = 33 - -39. Let y = t + -72.1. Do 2/41 and y have the same value?
False
Let m = -1519 + 1569. Is m greater than 51?
False
Let s = 119 + -114. Suppose z + s*z = 6. Do 3/76 and z have the same value?
False
Let b(y) = y**3 + 5*y**2 - 7*y - 7. Suppose -6 = 2*w - w. Let k be b(w). Which is smaller: k or 1/7?
k
Suppose -21 = -2*n - 5*n. Suppose n*j + j = -4*k - 16, -j + 2*k + 5 = 0. Let i(o) = -3*o**2 + o + 2. Let m be i(j). Is -2 != m?
False
Suppose 7*j = -6*j + 52. Are 4 and j nonequal?
False
Let k(g) be the first derivative of -g**3/3 - 6*g**2 - 6*g - 12. Let w be k(-11). Let c = 5 + -2. Do c and w have different values?
True
Suppose -5*x = 1 + 4. Suppose -2*t + 127 = c + 124, 4*t - 3*c - 41 = 0. Is t bigger than x?
True
Let f = 0 - -3. Suppose -2*k = -0*k. Which is greater: k or f?
f
Let w = -1161 - -4643/4. Which is greater: 1117 or w?
1117
Suppose -w = -5*d + 9, -12*d = -14*d - 4*w - 14. Is -2/351 at least as big as d?
False
Let x = -0.03 + 0. Let y = 0.04 + x. Let t = y + 0.09. Is 0 at most as big as t?
True
Let d = 34 - 35. Let o be ((-8)/(-5))/(3/(-15)). Let a = o - -6. Which is smaller: a or d?
a
Let i be (15/(-6))/1 - 2/(-14). Let v = i + 277/70. Is 2 at least as big as v?
True
Suppose 6*k - 2*k + 3*s + 80 = 0, 2*k + 3*s + 40 = 0. Is k less than or equal to -20?
True
Let n(y) = -y**2 - 16*y + 70. Let v be n(0). Which is smaller: 65 or v?
65
Let f be 3/(-6)*4/(-26). Let d(r) = -r**2 - 7*r - 1. Let k(x) = -3*x + 17. Let i be k(8). Let z be d(i). Is f less than or equal to z?
False
Suppose 3*u - 17 = -5*h + h, 5 = -5*h + 5*u. Suppose -c + 4*x = 3*x - 7, 0 = h*c + 2*x - 30. Let t = -7 + c. Which is smaller: 3 or t?
3
Suppose 2*j = 2*v - 8, 0 = -4*j - 5*v + 32 - 12. Suppose 3*o = j, -2*z + 5*o - 153 = -5*z. Which is bigger: 50 or z?
z
Let b = -229.2 - -229. Is 488 less than b?
False
Let o = -447 + 447. Do -9/8 and o have different values?
True
Let m = 920/7 + -140. Let k = 9 + m. Is 5 <= k?
False
Suppose -8 = -2*x, -y + 5*x = 3*y. Suppose 5*w - 8 = -4*g + 34, y*g - 61 = -2*w. Is 12 smaller than g?
True
Let o(y) = -y**3 - 21*y**2 - 18*y + 22. Let c be o(-20). Let u = c - -17. Is -12/11 bigger than u?
False
Let t = 0.031 - 9.031. Let q = 7 + t. Which is smaller: q or 21?
q
Let f = 0.6 - 0.8. Which is bigger: f or 35?
35
Let w(i) = 225*i**2 - 7*i + 10. Let d be w(1). Which is bigger: 226 or d?
d
Let j = 4/571 + 15385/4568. Which is greater: 4 or j?
4
Let v(p) = p + 11. Let s be v(-11). Let t = -448 + 23261/52. Let o = 12/13 + t. Do o and s have different values?
True
Let m = 82 - 32. Suppose 0 = -5*n - q + 35, -5*n - q = 3*q - m. Let f = -232 + 239. Is n bigger than f?
False
Let m be (-15)/273*(-24)/(-80). Do m and 0 have the same value?
False
Let h = -162 + 157.7. Do h and 2 have the same value?
False
Suppose 6*y = 184 - 2296. Is -352 greater than or equal to y?
True
Let m(y) = -y**3 + 13*y**2 + 13*y + 12. Let w be m(14). Let i be w/3 + (-6)/(-9). Let f(h) = h**2 - 4*h - 5. Let o be f(5). Does i = o?
True
Let n = -293 - -412. Is n less than 235/2?
False
Suppose 2*l + 2*l + 3*n = -11, -5 = n. Which is smaller: l or 4/185?
4/185
Suppose -10 = -2*n, -3*q - 2 = -7*q + 2*n. Let s be 21/9 + (-1)/q. Sup