2
Let n = -182 - -177. Let i(h) = h**3 + h**2 - h - 4. Let t be i(-2). Which is bigger: n or t?
n
Let q be 3*(8/(-3) + 3). Let n(h) = -6*h**2 + h + 2. Let l be n(-1). Let f be 14/(-77) + l/(-88). Which is smaller: q or f?
f
Let t be (0 - -2)/((-11)/(-9) - 1). Let m(l) = -2*l**2 + 17*l + 1. Let c be m(t). Which is bigger: c or -5?
-5
Let j(z) = 69*z**3 - 11*z**2 - 3*z + 15. Let k be j(3). Is 1771 > k?
True
Suppose -2*u - 16 = -3*z, -3*z - 12 = -4*z + 2*u. Suppose 0 = -4*n - 18 - z. Let i(y) = 9*y + 15. Let h be i(n). Which is bigger: -29 or h?
-29
Let a = -308 + 308. Is a <= 5/91?
True
Let g = -0.1005 - -6.1005. Is g greater than or equal to -2/91?
True
Let t = -34.2 - 9.8. Let z = t + 44.06. Which is bigger: 4 or z?
4
Suppose -25 = -13*u + 8*u - 5*z, 17 = u - 5*z. Let o be -3 + u + (-6)/(-2). Which is smaller: 9 or o?
o
Let c be (5 + 5)/((-4)/(-2)). Let v be c/(-5) + 0 + 1. Suppose 0*h = 2*o - 4*h - 6, v = o - 5*h + 3. Which is bigger: o or 6?
o
Let k be (-46)/12 + 0 + 4. Let h = 1.5 - 3.5. Which is greater: k or h?
k
Let p = 0.9 + 0.1. Suppose 66*s - 95*s = 58. Do s and p have different values?
True
Let a = -62 + 74. Let n = 12.01 - a. Is -2/3 less than or equal to n?
True
Suppose 0 = -r + 5*r - 44. Suppose r = -2*d - 7. Let n = -7 - d. Is 1 greater than n?
False
Suppose -4*k - 18 = -2*k. Let c be (-5)/20 + k/12. Let t be (1 - (-4 + 5)) + c. Is 1 equal to t?
False
Suppose -5*s - 8 = -5*d + 7, -4*s + 2*d = 4. Let v be (-9)/s*(-13)/273. Do -2 and v have the same value?
False
Let a = 590 + -590.3. Which is smaller: -34 or a?
-34
Suppose -17*v + 182 = 165. Is v equal to -20/153?
False
Let b(x) = -5*x - 2. Let f be b(-2). Let k be (4 - f)/(1 + -3). Suppose -5*h + 2*h + 14 = -4*z, 0 = -2*h - z + k. Which is bigger: 3 or h?
3
Let a = 117 - 66. Let k = -184.1 + 184. Which is greater: a or k?
a
Let t = 71.4 + -70.4. Let v be ((-9)/(-42))/((-3)/(-4)). Is t at least as big as v?
True
Let m(z) = -z - 2. Let p be m(-4). Suppose -1 - 3 = -2*t + 5*v, p*v = 3*t - 17. Is 6 less than or equal to t?
True
Suppose -9 = -5*z + 36. Suppose 95 = 5*p - 3*u, 0*p = p + 5*u + z. Let o be 16 - (0/1)/(-2). Is o less than p?
False
Let w = -107 + 156. Let o = w - 50. Which is bigger: o or 3/28?
3/28
Suppose 6*q = -1148 - 1108. Is q > -376?
False
Let t(s) = 17*s + 67 - 34 - 2*s**2 - 41. Let v be t(8). Let k = -77/4 + 19. Is v at most k?
False
Let p = -268.65 - -262. Let y = p - -6.9. Do y and 2/7 have the same value?
False
Let i = 0.2 - 0.4. Let d(j) = j + 6. Let s be d(1). Let v be 3*s/(-3)*100/(-490). Does v = i?
False
Let b be 3 - (-2192)/(-100) - (-114)/(-1425). Let h(a) = -3*a - 3. Let y be h(-4). Let k be (-112)/6 + (-3)/y. Is k greater than b?
False
Let c be 0 + ((-4)/4 - 2). Let i be 40/15 + (-1)/c. Let g be (-5)/(-15) - i/9. Is 2/13 < g?
False
Let k = 4.2 - -0.8. Let g = 8 - 6. Let j = -1 + g. Do k and j have different values?
True
Let m(z) = 2*z**3 - 2*z**2 + 5*z - 6. Let c(r) = r**3 - r**2 - 1. Let d(x) = -c(x) + m(x). Let t be d(3). Which is greater: t or -1/2?
t
Let i = -17 - -33. Let r be (i/908)/(-1 - -3). Is 0 less than r?
True
Suppose 4*a + 24 = -4*x, -a + 2*x + 5 = 4*a. Let t = 2526 - 295540/117. Which is bigger: t or a?
t
Let r be (-11 + 231/22)*-2. Which is greater: -1/508 or r?
r
Let r be (-4)/6*(-51)/2. Let k be (-2)/(-10) - r/(-15). Suppose -23 + 13 = -5*l. Is k bigger than l?
False
Suppose 0*f = -5*f + 50. Let z be -13 + (-1 + 2 - 3). Let g = z - -24. Which is smaller: f or g?
g
Let y = -15.5 - 1.5. Let f = -380 - -381. Which is greater: y or f?
f
Suppose 25*z - 19*z + 36 = 0. Is -6 greater than or equal to z?
True
Suppose n - 82 = -5*v + 165, -3*v + 988 = 4*n. Which is smaller: n or 245?
245
Suppose m - 2*m = 5. Let x(w) = -w**2 + 12*w + 131. Let u be x(-7). Do u and m have the same value?
False
Let y = -68/15 - -26/5. Let m = 16 - -20. Let x = 35 - m. Is y less than or equal to x?
False
Let z = 0.4 + 0.6. Let r = -196/2921 + 3/127. Is r at least as big as z?
False
Let s(b) = b**2 + 3*b - 6. Let i be s(-6). Suppose 2*k - i = -k - 3*g, k + 4*g + 5 = 0. Let f = k - 8. Is f != 6/13?
True
Let q be (-1 - (-4)/2)*12/3. Let f be 222/39 - 1 - q. Is 1 at most f?
False
Let j(w) = w - 7. Let u be j(13). Let p = -1 + u. Which is smaller: 3 or p?
3
Let j(a) = -3*a**3 + 4*a**2 - 3*a + 3. Let h be j(1). Which is smaller: 0 or h?
0
Suppose 3*z - 4*v + 2 + 0 = 0, -3*v - 12 = 0. Let j = -62 + 64. Is j < z?
False
Let p = 2282 - 2283. Which is smaller: p or -2/4163?
p
Let h be (0 + (-3)/(-15))*0. Which is smaller: 0.043 or h?
h
Suppose -4*z - 1986 = 31*j - 36*j, -4*z - 5*j = 2006. Which is smaller: -498 or z?
z
Let c be (4859/1132 - (-6)/(-24)) + -4. Which is smaller: -1 or c?
-1
Let j = 337 + -336.7. Let g = -40 - -24. Which is bigger: g or j?
j
Let g = -99 + 59. Let n be (-8)/(g/15) + -4. Let b be 2/(-8) - 3/20. Is b at most as big as n?
False
Let t = -473.2 + 473. Which is smaller: -8.4 or t?
-8.4
Let x be -37 + (5 - 1) + 5. Is -26 at most as big as x?
False
Let d = 0.49 - 0.49. Which is greater: d or -211?
d
Let x = -26 - -5. Let r = x + 22. Are r and -2/11 non-equal?
True
Let s = 63 + -96. Let k = -26 - s. Is k greater than 48/7?
True
Let g = 1260/11 + -12044/99. Are -8 and g equal?
False
Let a = -65 - -58. Are a and -2/9 nonequal?
True
Let q be -49 + 52 - ((-328)/107)/(-1). Is q bigger than 0.1?
False
Let m be ((-138)/8)/(3/(-20)). Let x = -1494/13 + m. Which is greater: -1 or x?
x
Let x be (-4)/(-10) - 4/(-10). Let t be 4/(9/(1044/8)). Let s = t + -57. Which is greater: s or x?
s
Suppose -f = 3*f - 4. Let r(i) = -24*i + 48. Let u be r(2). Which is greater: u or f?
f
Let n = -10 + 9. Let d(l) = l**3 - 8*l**2 + 4*l + 11. Let o be d(7). Which is smaller: o or n?
o
Let w be 2 + (-7)/3 + 513/1521. Is w greater than or equal to 0?
True
Let p = -1443 - -1481. Which is greater: p or 31?
p
Let s = 7 + -2. Suppose -3*k - s*y + 10 = -10, -3*k - 4*y + 16 = 0. Suppose 8 = -p - k. Is -7 at most as big as p?
False
Let l = 0.04 + -0.02. Let i = 7 - 6.92. Let v = i + l. Which is smaller: v or 2?
v
Suppose -3*f - 5*l = -19, 2*l + 0*l - 6 = -f. Suppose -f = -2*t, -4*s + 28 = -0*t + 4*t. Let k = -77/2 + 40. Which is smaller: s or k?
k
Let c = -845 + 913. Which is smaller: c or 57?
57
Let x(r) = -r**2 - 35*r - 501. Let c be x(-22). Is c <= -215?
True
Let o = 418 + -417.5. Are o and -9 nonequal?
True
Let z be ((-30)/2)/5*13. Let p(i) = -2*i**2 + 4*i - 8. Let q be p(5). Which is greater: z or q?
q
Let f(l) = -2*l**2 - 9*l - 11. Let x be f(-6). Is x less than or equal to -29?
True
Suppose -5*p + 3 = -k, 4*p = -18*k + 13*k + 14. Which is smaller: p or 15/16?
15/16
Let h be (-17)/85 - 24/(-20). Which is bigger: 60/41 or h?
60/41
Let a(s) = -9*s + 2. Let f be a(1). Let z = -7 - f. Is z > -1/5?
True
Let c = -222.99 - -222. Let m = c - 0.01. Which is smaller: 1 or m?
m
Let t(u) = -3*u**2 + u**3 + 2*u + u - 9*u**2 + 13 - 4*u. Let q = -21 + 33. Let r be t(q). Which is smaller: r or -2/35?
-2/35
Let u be (-17)/(-51) - 1/(-3). Is 1/3 <= u?
True
Suppose 0 = 2*o - 3*h + 13, o + 7 + 1 = h. Let f = o - -18. Which is bigger: 4 or f?
f
Suppose -29*j + 9781 = -5212. Which is smaller: j or 518?
j
Let z = -1029 + 1029. Let d = -17 - -17.7. Do d and z have the same value?
False
Let q be 4*(4 - (-38838)/(-9708)). Are 0 and q equal?
False
Let x = -88 - -262/3. Which is greater: x or 345?
345
Let q = 212 + -211. Is q smaller than -295?
False
Let l = 2.8 + -3. Let h = 7.74 + 0.26. Which is smaller: h or l?
l
Let p be ((-105)/(-9) - 2) + 2/(-3). Suppose 5*f - p*f - 16 = 0. Which is bigger: f or -40/9?
f
Let n = -11 + 13. Suppose 3 = -n*u + 9. Suppose 0 = 3*t + 2*l + 13, -u*l + l = -2*t + 8. Is -1/4 greater than or equal to t?
True
Let i be 15/(-9) - 139/3. Which is greater: -45 or i?
-45
Suppose 2*j + w = -j + 126, 3*j - 126 = 3*w. Let a = -47 + j. Are -5 and a non-equal?
False
Let i = -6327/55687 - -21/239. Let w = -15079129 + 52701555299/3495. Let j = w - i. Which is smaller: -0.1 or j?
j
Let b be ((-30)/(-27402))/(5/2). Is 1 at most b?
False
Let q be (-34)/9 + 184/(-828). Is -19/4 at least as big as q?
False
Let t be (40/12)/(2836/12). Let h = t - 14290/7799. Which is bigger: -1 or h?
-1
Let o(f) = -13*f + 67. Let n(w) = w**2 - 15*w + 34. Let p be n(13). Let j be o(p). Does j = -35?
False
Suppose -15*b