s z > y?
False
Let b(r) = -r - 11. Let g(v) = v**3 + 4*v**2 + v - 11. Let j be g(-4). Let h be b(j). Suppose -c - 3 = -h*c. Which is smaller: c or -2/13?
-2/13
Let y be (-15)/(-5) - (-27 + -12). Is y at most as big as 97?
True
Suppose 0 = -9*t - 3*t - 9348. Let l = 8653/11 + t. Is 7 greater than l?
False
Let y = -179884955/198 + 908508. Let p = y + 20/11. Let n be (3/(-15))/(5/(-25)). Which is bigger: p or n?
n
Suppose -34 = 6*i + 26. Let n be (-421)/2 + (-35)/i + -3. Let b be -2*(-119)/n - 2/(-15). Is b at least as big as -15/13?
True
Let n = -8.77 + 8.87. Let g = 256 - 444. Which is bigger: g or n?
n
Suppose 13612 = 90*t - 12014 + 786. Which is greater: 293 or t?
293
Let u(j) = j**2 + 20*j + 7. Let g be u(-5). Which is smaller: 20 or g?
g
Let r(z) = z**3 - 10*z**2 - 2*z + 25. Let n be r(10). Suppose 0 = 3*p - n*t - 415, 5*p = -2*t - 3*t + 745. Is 143 less than or equal to p?
True
Suppose -4 = -6*a - 22. Let d be (a + 11)/((-8)/(-32)). Suppose -7*q = -2*q - 160. Is d at least q?
True
Let r = -6 - 2. Let d(m) = -m**3 - 13*m**2 - 8*m + 50. Let h(t) = -12*t - 48. Let b be h(-3). Let f be d(b). Is r >= f?
False
Let m = 0.348 + -7.848. Let p = m + 7.625. Is p at most -0.1?
False
Let u = -11/4197 - 54451/41970. Let o be -1*(-1 - 0)*-1. Is u bigger than o?
False
Let m = 27 - 19. Let c = m - 43. Let t = c - -44. Is t at least as big as -1/2?
True
Let b = -36.936584 - 0.090416. Let o = b + 37. Let x = o + 5.027. Are -2 and x equal?
False
Let h be 4/72*-2 + (-154)/18. Let f = h + -55/12. Is f <= -13?
True
Let m = 2.5142 + 0.1858. Is 0.047 equal to m?
False
Suppose 101*w + 30471 = -22049. Which is smaller: w or -519?
w
Suppose 15 = 2*o + 2*v + 23, -4*o - 2*v - 8 = 0. Suppose -2*y + 5*y = 4374. Let x = -59782/41 + y. Is o less than or equal to x?
False
Let l be (-15)/(-40) - (-15895)/(-40). Let d(g) = -12*g**2 - 10*g - 25. Let f be d(-6). Is f at most as big as l?
True
Suppose 37*g - 4*g + 66 = 0. Suppose 2*t + 4 = -2*t. Let o be t*(3/(-1) - -4). Which is smaller: o or g?
g
Suppose -6*m = -2*m - 112. Suppose -2*z = -4 - m. Let q be ((-36)/(-24))/((-6)/z). Is q <= 3?
True
Let i be (-1)/(((42/4)/(-7))/3). Let n(q) = -i*q + q - q + 38*q**2 - 2 - 1. Let f be n(-1). Is f >= 38?
False
Let z = -5695/4 + 1411. Let o(s) = 1468*s - 35245. Let u be o(24). Is u >= z?
False
Suppose -104 = 3*h - 74. Let a be h/(-110) - 892/10296. Is a less than or equal to -1?
False
Let t = 41.10728 + -0.10728. Which is greater: t or -2.2?
t
Let b be (-2)/14 - 55/105. Which is bigger: -6 or b?
b
Let j(o) = -2*o**2 - 534*o + 6098. Let f be j(11). Let b = -38125/6 + 6337. Does f = b?
False
Let t = 809/7335 - -2/2445. Let v(x) = x**3 - 2*x**2 - 3*x + 4. Let z be v(3). Suppose -3*r + 3*g = -g - 16, -4*r = -z*g - 16. Which is smaller: r or t?
r
Suppose -4*t - 5*t - 19781 = -4085. Is t != -1744?
False
Suppose 289 - 1090 = -2*a + x, 5*x - 1637 = -4*a. Which is greater: a or 399?
a
Suppose -39*y + 134 = -100. Let b(x) = -x - 6. Let p be b(-6). Suppose -2*a + 4*r = p, 4*a + 2*r = -1 + 21. Which is smaller: y or a?
a
Let s = 68.69 - 68.89. Is -0.7 smaller than s?
True
Suppose 0 = -4*o - 3*r + 2240, -82*o + 81*o = 3*r - 569. Is o != 2?
True
Let v = -0.15 - -0.1. Suppose -179 = 34*l - 26 + 17. Do v and l have the same value?
False
Let v = -21.4 + 5. Let d = -16.554 - v. Which is greater: d or 0?
0
Suppose 3 = -134*c + 137. Is c != -2/57?
True
Let r = 33 - 25. Suppose -r*m = -44 + 12. Let w be ((-9 - -3) + m)/(-1 - 9). Which is smaller: 0 or w?
0
Let k = -708 - -583. Suppose 3*n - 4*z + 358 = 0, 0 = -2*n + z + 2*z - 237. Which is greater: n or k?
k
Suppose -22 = -y - 2*q, 2*q = 2*y + 5*q - 44. Suppose 14*k = -60 - 10. Let m = k + y. Which is bigger: m or 18?
18
Let w(o) = o**2 + 8*o - 4. Let q be w(-6). Let j be -6 - (q - (-4 + 0)). Let b be -4*6/8*-2. Is b > j?
False
Let v = 199.5 - 297.5. Is v at least as big as -1?
False
Let c = -11196.3 - -11192. Which is bigger: c or -1.8?
-1.8
Let j = -0.581 + 10.581. Suppose 47*o = 51*o - 28. Do o and j have the same value?
False
Let f = 15.79 - 16. Let t(q) = -q**3 - 5*q**2 - 10*q - 277. Let l be t(-8). Which is smaller: f or l?
l
Let j be 18 + -15 - (-1 + 0). Suppose -j*x + 26*x + 1232 = 0. Which is smaller: x or -55?
x
Let v = -67 - -438. Let a = v + -35. Let q be 3/9 + a/(-198). Is -2 less than or equal to q?
True
Let i(g) = 16*g**2 - 21*g + 30. Let a(y) = 5*y**2 - 7*y + 10. Let l(v) = -7*a(v) + 2*i(v). Let c be l(2). Which is smaller: c or -27/4?
c
Let q = -12261 + 12237. Suppose -5*g - 3*s + 8 = 2, -3*g + s + 12 = 0. Let u be (2 - 0) + (g - 27). Which is smaller: u or q?
q
Let o = -411.9693 - -412. Let x = -17.9693 - o. Is -7 > x?
True
Suppose f + 4*l = 3*l - 2, -5*l - 20 = -5*f. Let v be 2/(-9) - 32/18. Let d be (1/(-4) - v)/4. Is f smaller than d?
False
Suppose 0 = -673*x + 481*x. Is x greater than or equal to 1/14400?
False
Suppose 4*w + c = -3, 0 = 5*w + c - 18 + 21. Which is smaller: w or -9/4007?
-9/4007
Suppose 4*y = 3*y - 4*p - 428, 2*p = -2*y - 862. Let t = 12321 + -49285/4. Which is smaller: y or t?
y
Let v be (-209355)/1467270 + 2/21. Is v less than 0?
True
Let v be (14 - -10)/((-6)/(-4)). Suppose -4*a - 4 = 2*q - v, 0 = -3*q + a + 18. Let n be (0 + q/8)*2. Which is bigger: n or 2?
2
Let k be 33 + 9*14/(-21). Suppose 29*r - 208 = k*r. Is r != 103?
True
Let r be (-515)/195 - 54/(-81). Which is smaller: -2 or r?
-2
Let n be (12 - 18)*(-4)/(8/3). Suppose 27*z = n*z - 576. Is z less than or equal to -32?
True
Let n(k) = -k**3 - 23*k**2 + 25*k + 23. Let d be n(-24). Let q be (-8)/(-28)*(d - -2). Which is greater: q or 19/3?
19/3
Let q = -11782/1311431 + -12/7013. Let p(z) = -2*z + 3*z**2 + z**3 - 3*z + 0*z**2 + z**2. Let w be p(-5). Which is smaller: q or w?
q
Let f = -148861/8 + 75117/4. Which is smaller: f or 172?
f
Let m = -2.2917 - -0.2917. Is m at least -238/19?
True
Let l = -2347 + 1829. Is l <= -507?
True
Suppose -3*i = -5*i + 2. Let f be 2 + -5 - 5 - i. Let p be -1 + 158/(-22) - 54/(-297). Which is greater: f or p?
p
Let f(c) = 2*c**2 + 6*c - 104. Let u be f(40). Let i = 904054/271 - u. Is 0 at least i?
True
Suppose 9*h = 3*h + 42. Suppose 0 = -5*i + 17 - h. Suppose -i*g = 2*g. Is g equal to 3/7?
False
Let k = 113.61 + 2.39. Let l = 127 - k. Let i = -11.3 + l. Which is bigger: i or 5?
5
Suppose -16 = 4*f, -f - 48 = 16*q - 12*q. Which is greater: q or 48?
48
Let u = 2726 + -854. Which is smaller: 0.1 or u?
0.1
Let o = 15930 - 15928. Suppose -15 = -5*l - 0*l. Suppose 3*x + 0 + l = 0. Do o and x have the same value?
False
Suppose -71*w - 5*r + 10 = -76*w, -3*r = -5*w - 8. Which is smaller: 3/2227 or w?
w
Suppose -q + 232 - 237 = 0. Let h(n) = n**3 + 5*n**2 + n - 13. Let l be h(q). Is -18 bigger than l?
False
Let h be (-38)/(-95) + 1 + (-24)/(-15). Suppose -47 = -h*p + 19. Is p at least 116/5?
False
Let i = -5899/7 - -843. Let c be 12*((-21)/6 - -2). Let a be (15/c)/((-2)/(-6)). Is i not equal to a?
True
Let z = 182 + -180. Let o be -3*276/16 + z/(-8). Which is bigger: o or -53?
o
Let y = -4043 - -2339. Do y and -1705 have the same value?
False
Let c = 2/2375 - -107823/2375. Let y = -1748 + 1792. Which is smaller: y or c?
y
Suppose -6*d - 10 = -22. Which is bigger: -368 or d?
d
Suppose 11*m + 11*m + 29524 = 0. Let y = m + 6631/5. Are -16 and y equal?
False
Let v = 428 - 438. Let y be (8/v)/(2620/50). Which is smaller: y or 1?
y
Let p be (-1425)/(-20) - 1/4. Suppose -4*t + 2*x = 0, t - 4*x + 3*x = 0. Suppose t = p*m - 68*m + 78. Is -27 smaller than m?
True
Suppose 4106*f - 4104*f = -2. Which is greater: f or 1/81?
1/81
Let m be (-27)/216*(2/(-7))/(-1). Let q(u) = -2*u**3 - u**2 - 2*u - 2. Let t be 0/(-3) + 1*-1. Let p be q(t). Which is bigger: p or m?
p
Let d = -222.67 - -222.47. Let a(o) be the first derivative of -3*o**2/2 + o - 3. Let q be a(9). Which is smaller: q or d?
q
Let d = -30.09702 - -0.15502. Let t = 0.058 - d. Let n = -29 + t. Which is smaller: -0.2 or n?
-0.2
Suppose -3*a - 1 = -2*l, -5*l - 4*a = -0*l + 55. Which is smaller: l or -92/15?
l
Suppose 8*g - 35 - 173 = 0. Let f = -51 - -62. Suppose f*z = 14*z - 81. Which is smaller: g or z?
g
Let z = -6371 + 790. Is -5580 > z?
True
Suppose -4*n + 3*x - 40 = -x, -n - 20 = x. Let d = -42 - -41. Let q be -1*17 + (2 - d). Which is smaller: n or q?
n
Suppose -v + 16 = -12. Let l(o) 