*k + 3 = 18. Which is bigger: -31.9 or f?
f
Let z = 299 - 296. Suppose z*c = 10*c + 161. Which is smaller: c or 3?
c
Let v(u) = -2*u**3 + u**2 + u - 1. Let d(h) = 9*h**3 - 8*h**2 - h + 3. Let q(l) = -d(l) - 4*v(l). Let w be q(3). Is -0.39 bigger than w?
False
Let t be 2208/(-414) - (2/(-15) + (-4)/20). Which is bigger: t or 879?
879
Let o(u) = u**3 - 11*u**2 + 27*u - 22. Let j be o(9). Suppose -130 = -2*m - 4*g, 4*m = 3*m + 4*g + j. Do 63 and m have different values?
False
Let t be (1*(-4)/(-50) + 1269/(-1175))*-9. Let z be 3*(-4)/(-66) - 12824/(-1463). Which is smaller: z or t?
z
Let c(r) = -2*r - 2. Let p be c(2). Let w be (-2)/(-8) + p/24. Let g be -1 - w/(-2) - -27. Is 26 at least as big as g?
True
Let a be 19346/47804 - 2/4. Let q = a + 9/74. Which is greater: -1 or q?
q
Let k(i) = -i**3 - 6*i**2 + 7*i - 9. Let o(x) be the first derivative of -5*x**2/2 + 8*x - 22. Let d be o(3). Let r be k(d). Is -7 at least as big as r?
True
Let v be (-4806)/(-306) - 1 - 16. Are v and -0.03 equal?
False
Let n = -0.03 - -0.01. Let w = -0.98 + n. Suppose 33 + 19 = 26*r. Which is smaller: r or w?
w
Let z be (-22*16/(-220))/(72334/(-24110) + 3). Which is smaller: -9645 or z?
-9645
Let b = 1182 - 1183. Let q(y) = 3*y - 3. Let a be q(-9). Which is greater: b or a?
b
Let k = 10161 + -111751/11. Is 0 <= k?
True
Let h(y) = 19*y - 163. Let i be h(-6). Let v = 277 + i. Is -1/394 at least v?
False
Suppose -4*o = 3*n + 5, 3*o - 4*n + 0 + 10 = 0. Let h = o + 48/25. Which is greater: h or 1?
1
Suppose -38*w = -3702 - 2986. Which is smaller: 181 or w?
w
Let c(q) = 4*q**2 - 2*q. Let r be c(1). Let t(v) = -v**2 + 764 - 772 + 3*v**r + 4*v. Let b be t(-4). Does b = 8?
True
Let z be 5/((-50)/(-2)) + 2/(-10). Let g be -3*20/9*6. Let b be ((-24)/g)/((-6)/(-4)). Which is smaller: b or z?
z
Let u = -10.98 + 32.85. Let w = u - 22. Let r = 570 + -570. Which is smaller: r or w?
w
Let j(q) = q**2 + 90*q + 564. Let a be j(0). Is 565 at most a?
False
Let x = -3629 + 3628.675. Which is greater: x or 7/6?
7/6
Suppose 2*s - 22 = 3*j, 2*j - 2*s + 38 = -3*j. Let x be (399/(-10))/(-7) - (-12)/j. Let f = 18 - 13. Which is smaller: x or f?
x
Suppose 5*x + 18 = 4*x. Suppose 0 = -3*m + 9. Suppose 6*h + 68 = -4*j + 2*h, m*j + 46 = 2*h. Which is bigger: x or j?
j
Suppose -4*c + 242 = 3*a, -4*a - 285 = -5*c + a. Let n = 296/5 - c. Let f(d) = 2*d + 14. Let z be f(-7). Which is bigger: z or n?
n
Let a = -1 + 0.94. Suppose g + 34 = 4*f - g, 38 = 4*f + 2*g. Let h be 6/9*f - 4. Which is greater: a or h?
h
Let s = -31.512 + 32. Let a = 20.512 + s. Which is greater: -6 or a?
a
Let m be 5/2 - 4255/910. Let l = m + 32/13. Which is bigger: 1 or l?
1
Let m = -2155.7 + 2198. Is m less than 1?
False
Let x = 0.81 - 0.5. Let b = -3.21 - -1.21. Are x and b equal?
False
Let d = -6399 + 6551.6. Which is greater: 2/3 or d?
d
Let b = 0.95 - -0.05. Let m = -23199 + 69863/3. Is m less than b?
False
Let j(g) = -170*g - 191. Let y be j(1). Is y not equal to -360?
True
Suppose 3*l = -176 + 176. Suppose l = -24*f + 243 - 99. Let u(w) = -2*w - 12. Let o be u(-8). Which is smaller: o or f?
o
Let l be 14353/(-62) - (-2 + (-3)/(-2)). Which is smaller: l or 8?
l
Let i = 149 + -279. Let h = 137 + i. Suppose -h = t + a - 10, 12 = -4*t + 2*a. Is t at most 3/20?
True
Let x(k) = 79*k - 3. Let c = 25 - 26. Let z be x(c). Let g = 67 + z. Which is greater: g or -17?
g
Let g = 5.9 - 3.2. Let j = 15.7 - g. Let v = j - 13.4. Is -0.2 smaller than v?
False
Let y = -6.503 + 0.103. Let x = y + 7.6. Is x at least 0?
True
Let a = -0.0801 + -0.0099. Are a and -15/2 equal?
False
Suppose 0 = -3*d + 4*g + 166, -5*d + 3*d + 3*g + 110 = 0. Let j = d - 55. Suppose z + j + 16 = 4*p, 3*p - 37 = 4*z. Which is greater: z or -6?
-6
Let r = -2.175 + 1.94. Let z = 0.355 + r. Let p = 0.3 - 0.2. Is z smaller than p?
False
Suppose s = 4*f + 111, 173*f = 172*f + 4*s - 54. Let h = -82 - -55. Which is greater: f or h?
f
Let f = -481 - -210. Let m = -182 - f. Let o = m - 90. Which is bigger: o or -26?
o
Suppose 5*w - 10*w + 3*b + 588 = 0, 2*w + 4*b = 256. Suppose -s = d - 125, -242 = -4*s + d + 233. Is w at most as big as s?
True
Let g = -2793 + 3071. Which is smaller: g or 269?
269
Let m be (-78)/(-6955)*2*(-5)/(-3176). Let k = m + 94303359/594706. Let y = 154 - k. Which is smaller: -6 or y?
-6
Let g = -83083359/37604 + 15466/7. Which is bigger: g or 1?
1
Suppose 33*t + 3*g - 2023 = 29*t, -3*g - 2549 = -5*t. Let n be (t + -54)/(2 - 0). Do n and 228 have the same value?
False
Suppose -4*o + 11 = 1140*h - 1137*h, -o = -3*h + 1. Is h <= -0.805?
False
Let h = -6692521 + 6692623.94658. Let t = h + -0.02658. Let a = -103 + t. Does -0.2 = a?
False
Suppose 0 = -a - s - 5, -165*a + s = -162*a - 1. Which is greater: a or -0.493?
-0.493
Let k = -9 - 1. Let a = k + 2.8. Let v = a + 7.1. Which is smaller: v or -22?
-22
Let c = 1081 - 700. Let f = c + -205. Is 0 less than f?
True
Let m(j) = -2*j**3 - 12*j**2 + j + 53. Let l be m(-6). Let b = 331/7 - l. Does b = 0.8?
False
Let f = -7332 + 7584. Is 248 smaller than f?
True
Suppose -4*z - 16 = 44. Let v(q) = q**3 + 15*q**2 - 3*q + 10. Let p be v(z). Which is greater: p or 56?
56
Let q be (55/(-30))/11*-6. Let g be q - (-1 + 42/13). Which is bigger: g or 0?
0
Suppose 0 = 39*b - 37*b + 3*s - 18, b - 30 = -5*s. Let q = 12111/238 - 1/34. Let n = q + -51. Which is bigger: n or b?
b
Suppose -5*p + 778 = -2*d, -3*d - 274 = 5*p - 1057. Suppose g - 173 = 2*k, 5*k - 155*g = -p*g - 422. Is -85 smaller than k?
False
Let v be (3/2)/(15/(-30)). Let r be (-8)/(-3)*v/(-2). Is 2 equal to r?
False
Let c be 9 + 4 + (-97417)/2867. Which is greater: -20 or c?
-20
Suppose y - 5*r + 16 = 0, -2*y - 2*r = r + 6. Let u be (8/(-12))/(1/y). Let f be (6/2)/(-7 + u). Is -2/5 greater than f?
True
Let f(c) = c**3 + 2*c**2 - 12*c - 18. Let l be f(-6). Let y be 20/l*(48/135)/(-8). Is y <= 0?
False
Let y(f) = -3*f + 72. Let g be (-2)/(-6) + 930/45. Let s be y(g). Is 7 less than s?
True
Let x = -397 + 399.57. Let t = x + 0.47. Are 0.1 and t equal?
False
Suppose 9 + 133 = 2*c. Let a be (-286)/c - (-12)/3. Let b = -3/2627 - a. Are b and -1 equal?
False
Let q = 47306/207 + -2059/9. Let n = q + 9/161. Which is smaller: n or 1?
n
Suppose -2370 = -4*o + 4694. Let r = 185428/105 - o. Is r less than 1?
True
Let v = -2.24 + 2.472. Let j = v + -0.207. Which is bigger: -2/5 or j?
j
Let b = 69038199 + -16776865552/243. Let k = b + 2400. Let j = -394/16281 - k. Do j and 1 have different values?
True
Let p = -452.9 - -563. Do p and -2/3 have the same value?
False
Let t be 3*(-5)/5*(1 - 0). Let h be ((-15)/40)/t*2. Let u = -86 - -260/3. Which is smaller: h or u?
h
Suppose -61*z + 6573 + 9559 = 48*z. Suppose -715 = -5*s + 4*l, 0 = s - l - 46 - 96. Which is greater: s or z?
z
Suppose -15*d + 20*d - 1198 = 4*f, -d + 227 = -5*f. Is d not equal to 242?
False
Suppose -4*k + 55 = -f, -2*k + 2*f - 6*f + 50 = 0. Suppose -12*j = -k*j - 3*m - 102, -m = 0. Which is greater: j or -177/5?
j
Suppose -2*u = -4*a + 4618, 6851 + 4730 = -5*u + a. Is -2319 at most as big as u?
True
Let m = 11128 + -11126. Is 201.9 at least m?
True
Let r = 2 + -24. Let s = 1 - 4/5. Which is greater: r or s?
s
Suppose 3*j + 10 = c, 23*j - c = 25*j. Let i be (25/(-40))/5*138/j. Which is bigger: 8 or i?
i
Let g be 10/(4/12 - 30/(-18)). Suppose g*b - 5*n + 10 = 0, 5*b - 4*b = 3*n - 12. Which is greater: b or 34?
34
Let n = 11574.3 - 11457. Which is smaller: n or 1?
1
Let m = 1369/4767 + -1/681. Let z = -2.04 + 1.7. Let t = -2.04 - z. Is m not equal to t?
True
Let j(k) = -k - 16. Let z be j(-12). Let y be (-30)/12 - (-2)/z. Let q be (1/6)/(0 - y/4). Is q < 9?
True
Let s = -2283/4 - -276245/484. Which is bigger: 1 or s?
1
Let z(d) = 9*d**2 - 2*d + 1. Let t be z(1). Suppose -t*f = -0*f + 88. Suppose -2*o - 14 = 7*p - 6*p, 3*p + 3*o + 27 = 0. Is p <= f?
False
Let w = 69 - -86. Let v = 89 - w. Let f = v - -65. Which is smaller: f or 16?
f
Let q = -1517.9499 + -2.0501. Which is smaller: -1/5 or q?
q
Let i = -48 + 52. Suppose a = -3, -447 = i*l + 2*a - a. Does l = -112?
False
Suppose -m = -3*d + d + 485, -2*d - 4*m = -470. Suppose -15*p = 1229 + d. Is -101 smaller than p?
True
Let x be (-6)/(-8) - (-331)/(-4). Let a be x/34 - (-12 + 9). Let i = 446 - 446. Which is bigger: i or a?
a
Let d = -160977 + 160648. Let l(s) = 40*s 