False
Let h(b) = b**3 + 11*b**2 - 20*b + 1. Let q be h(5). Which is bigger: 300 or q?
q
Let n(q) = -q**2 - 6*q - 5. Let a be n(-5). Suppose a = 2*b - 5*b + 84. Let d be ((-2)/(-16))/(3/b). Which is smaller: 1 or d?
1
Let r = 972588 + -13608899/14. Let s = r + -524. Let z(f) = f + 11. Let n be z(-10). Is s at least n?
False
Let g = -9 - -15. Let v = 29 - g. Which is bigger: 0.1 or v?
v
Let f be 2/420*(2 - 11/11). Which is smaller: f or -1?
-1
Let t(o) = -2 + 0 + 1 + 4*o - 2 - o**2. Let j be t(2). Let p = -9/385 + 4/35. Is p > j?
False
Let l = -9.2 + 6. Let c = 2.3 + l. Which is bigger: c or 0.1?
0.1
Let c(k) = 2*k**2 + 113*k + 181. Let s be c(-56). Which is greater: s or 128?
128
Suppose 2*m = -z + 3, -m + 7 = 4*z - 12. Is m less than or equal to 1/919?
True
Let v(y) = 4*y + 7*y**2 - 3*y**2 - 4*y. Let g be v(1). Let h(t) = 2*t - 2. Let r be h(g). Do r and 6 have different values?
False
Let t = -35 + 29. Let o(l) = 2*l**2 + 4*l - 5. Let a be o(t). Are a and 44 nonequal?
True
Let l(t) = -t**3 + 13*t**2 - 33*t + 18. Let m be l(9). Let x be 10*(1 - 57/m) + 0. Which is smaller: x or -2?
x
Let v = 78.004 + -78. Let f = v + -0.004. Are f and -5.6 equal?
False
Let c = 50 - 248/5. Let w = 1993 - 2039. Which is greater: c or w?
c
Let k be 2/(-3)*(4 - -809). Let f be k/(-2)*(-52)/91. Let p = 154 + f. Is -1 <= p?
True
Let b = -187 + 933/5. Is b at least 25?
False
Let q = 155 + -164. Let v be q*(5 + 1)*17/(-34). Which is greater: v or 55/2?
55/2
Let b = -17 - 31. Let x be 5/6 + (-8)/b. Let v be 3 - (-9)/(-3) - x. Is v <= 2/27?
True
Let f be ((160/(-24))/(-5))/(1/15). Which is bigger: 41/2 or f?
41/2
Let x = -171 + 134. Which is bigger: -42 or x?
x
Let k(m) = 2*m. Let y(g) = -g. Let l(w) = -k(w) - 3*y(w). Let a be 12/21 - 11/7. Let i be l(a). Which is greater: -6/7 or i?
-6/7
Suppose 10*q = -2*q. Which is smaller: -2/295 or q?
-2/295
Suppose -6*u + 24 = 2*u. Let n be (-153)/(-45) - ((-12)/(-10))/u. Let q be (-8)/6*(-14)/8. Which is smaller: n or q?
q
Suppose 10*s = -2*w + 13*s - 64, -5*w - 118 = 3*s. Is w greater than 1/2?
False
Let l = -177 - -176.96. Is 8 >= l?
True
Let r(d) = -d**2 - 4*d + 4. Let q be r(-6). Let b be q/4 + -1 - -2. Let k(g) = g**3 + g**2 + g + 1. Let a be k(b). Which is greater: 9/7 or a?
9/7
Let u = -35.5 - -29. Let s = 2.5 - u. Let y = s - 21. Is y smaller than 2?
True
Let w be ((-1)/(-5))/((-16)/(-40)). Let k = w - 11/24. Which is smaller: k or 1?
k
Suppose 5*n = 3*t - t - 326, -3*n = 2*t - 326. Is 163 equal to t?
True
Let f = -37.28 - 4.72. Is 6 at least f?
True
Let m(i) = -i**2 + 6*i + 60. Let u be m(-10). Which is bigger: -102 or u?
u
Let i = -202.6 - -195.9. Which is smaller: 3 or i?
i
Let q(a) = -30*a - 1. Let l be q(0). Is l at least as big as 1.8?
False
Let m be -4 - -2 - 7/(-4). Let z = -0.3372 - -0.4372. Is m <= z?
True
Let l be 40/(-32) - (-12)/(-6)*-2. Which is smaller: l or -3?
-3
Suppose 7*q + 4215 + 3387 = 0. Is -1085 at most q?
False
Suppose u + 3 = -1. Suppose -2*a = 4*h - 68, 0 = -3*h - 0*a + a + 41. Let n = -14 + h. Which is greater: u or n?
n
Let n = 412723/7 - 58696. Suppose 8*z - 4*z + 1056 = 0. Let a = n + z. Which is smaller: -3 or a?
-3
Let t = -13 + 11. Is t less than 0.67?
True
Let c = -251 - -251. Which is smaller: -48 or c?
-48
Let u be 1/3 - (-91)/78. Let m = -19 + 11. Let h = -9 - m. Is u > h?
True
Let r = -4 + -9. Let y = r - -12. Which is greater: y or -12?
y
Let w be -7 + (19728/(-705))/(-4). Are w and -1 unequal?
True
Suppose -s + 6*m + 17 = m, 11 = 4*s - m. Let c be s/10 - 3/15. Suppose 2*x - 4*f = x + 13, c = -4*x + f + 7. Is x > 1/7?
True
Let z(r) = -r**3 + 8*r**2 + 4*r + 13. Let g(s) = -s**2. Let x(l) = 3*g(l) + z(l). Let f be x(6). Is f greater than or equal to -1?
True
Let c = 410 - 383. Is 36 at least as big as c?
True
Let c = -394 - -457. Which is smaller: c or 57?
57
Let u be (34 - 38) + (-3)/(21/(-32)). Which is bigger: 0 or u?
u
Let q(u) be the second derivative of -u**3 + 11*u**2/2 - 16*u. Let n be q(10). Which is greater: -48 or n?
-48
Let q(m) = -12*m + 12. Suppose 0 = x - 1 - 0. Let v be q(x). Is v at least as big as 26?
False
Let u = -230 - -229. Which is greater: 244 or u?
244
Let v = 28 + -29. Let c = 3 + v. Is 0 greater than c?
False
Let r = -484 + 421. Which is greater: r or -191/3?
r
Let f = 64 + -42. Let g be ((-4)/2 - 0)*f. Is g not equal to -44?
False
Let l = -225.9 + 225.8. Let q = -23 + 21.1. Is l <= q?
False
Let m = 24.13 - 24. Let y = 0.16 - m. Is y greater than -0.4?
True
Let h(b) = b + 14. Let s be h(-14). Suppose -3*w + m + 20 = s, 0*w - 3*w = -3*m - 18. Suppose d + 3*k + w = -9, -3*d + k - 18 = 0. Is -9 greater than d?
False
Let a be (-28)/6*(-3)/(-7)*-2. Let f be ((-45)/20)/(3 - 13/a). Which is greater: 8 or f?
f
Let g be (-7 + -3)/(-1 + -1). Suppose -5*z = 2*v - 4*v - 46, -z = -5*v - 23. Which is smaller: g or z?
g
Let c(k) = k - 1. Let n(u) = u**2 - 3*u. Let g(j) = 3*c(j) - n(j). Let q be g(6). Let i be q/12 - (-34)/8. Which is greater: 5 or i?
5
Let v be (-30)/68 - (6/(-4) + 1). Do v and 1 have the same value?
False
Suppose -5*w + 100 + 39 = 3*b, 0 = -4*w + 5*b + 89. Suppose 0 = 31*o - w*o - 5. Which is smaller: -2/45 or o?
-2/45
Let z(x) = -10*x - 56. Let m(d) = 2*d + 11. Let b(y) = 11*m(y) + 2*z(y). Let a be b(-6). Suppose -8 = -0*f + 4*f. Which is smaller: f or a?
a
Let o = 19.968 + -20. Let y = o - -2.032. Are y and 19 unequal?
True
Suppose 0 = -5*q + 5, q + 1 = 4*n + 2*q. Suppose 0 = 2*d + m + 14, n = -d - 2*m - 0*m - 4. Let g be ((-30)/d)/(9/24). Is 11 != g?
True
Let t = -14.068 - 0.032. Let w = t - 0.7. Let d = w - -15. Which is bigger: 5 or d?
5
Let m be 434/(-70) + (3 - -3). Suppose 0 = -0*s - 2*s + 8. Suppose 0*f = -s*f. Is m at most f?
True
Suppose -3*r + 205 - 208 = 0. Does -9/4 = r?
False
Let a = -970342/203 + 4780. Let r = a + -388/1827. Let s = -0.0125 - -0.0125. Is r greater than s?
False
Let h = 1547/4 + -387. Is -0.054 at most h?
False
Let o = -1186 + 1277. Is 91 at least as big as o?
True
Let z(f) = -2*f - 21. Let n be z(0). Let g = -1160 - -2363/2. Let x = n + g. Which is smaller: -2 or x?
-2
Let b = -0.09 - -0.39. Let s = -0.5 - 0.3. Let f = s + b. Which is smaller: f or -0.2?
f
Let g be 3*-2*(-8)/3. Suppose -5*q + 22 = -3*l, -2 = -5*l + q - 46. Let p = g + l. Which is smaller: 6 or p?
6
Let q be 634/(-4)*272/85. Suppose -r - 2545 = -6*r. Let n = q + r. Is 2 at least n?
True
Let k(v) = -v - 3. Let h(g) = 2*g + 9. Let t be h(-6). Let r be k(t). Which is smaller: r or 1/16?
r
Let y = -0.12 - 21.88. Let b = 22.4 + y. Which is greater: 3 or b?
3
Let y = 8 - -31. Suppose -4*t - 11 - y = -5*k, t - 5*k = -20. Let p be 25/t*3/10. Which is bigger: 0 or p?
0
Let i(f) = f**2 + 2*f - 1. Suppose 3*x - b = -5, -b - 3*b = 4*x + 12. Let u be i(x). Is -2/63 less than u?
False
Suppose 2*c + 154 = 4*d, 5*c + 0*d + 374 = -d. Which is smaller: 2/9 or c?
c
Let a = 77851 - 697496/9. Let w = a - 351. Suppose 0 = -7*i + 3*i. Does i = w?
False
Let j(d) = -9*d + 2 + 9*d + 0 - d. Let y be j(3). Is y equal to -3/11?
False
Let t = -4/201 + -125/3819. Is t smaller than 1?
True
Suppose 30*l - 1328 = 652. Suppose 0 = -4*w + 1 - 5. Which is greater: l or w?
l
Let q be (4 + -93 + -4)/5. Which is smaller: q or -20?
-20
Let v = -143.2 - -143.3. Is v greater than 725?
False
Let p = 437 - 292. Which is smaller: 146 or p?
p
Let t(a) = 55*a - 70. Let j be t(5). Is j != 207?
True
Let o = 96.1 + -91. Let d = -5.2 + o. Which is greater: d or -16?
d
Let x(b) = 13*b**3 - 2*b**2 - b - 1. Let h be x(2). Let j = -72 + 164. Which is greater: j or h?
h
Suppose 4*l - 5*k = -4, 4*l - 3*l + 3*k - 16 = 0. Is l > 32/7?
False
Suppose 3*v + 0*v + 3 = 0. Let x = -917/2 - -1967/4. Let p = -2801/84 + x. Are v and p equal?
False
Suppose 286 = 17*k + 1374. Is -314/5 greater than k?
True
Suppose 2*u - 4*t = 22, -3*t = -0*t - 6. Let y be (-4)/24*u*(-2)/(-5). Which is smaller: -5 or y?
-5
Suppose 3*n - 2*z - 323 = 0, -5*n + 19*z = 20*z - 521. Which is bigger: n or 106?
106
Let y(w) = 21 - 4 + 4*w - 5 + 19. Let s be y(-9). Suppose -24 = 4*q + 2*u, -3*u - 1 = -2*q - 21. Is q at least s?
False
Let k = 0.1651 - 37.5651. Which is smaller: -2/5 or k?
k
Suppose 25*r - 15 = 22*r. Suppose 6*w - 68 = -r*i + 2*w, -w = -4*i + 46. Is 12 greater than or equal to i?
True
Let a be (-31)/(-2) + -4 + 21/6. Let t be ((-10)/5