0 and a unequal?
True
Let f = 136 + -38. Suppose -q = -3*q + 3*n - 143, 2*q + 3*n + 173 = 0. Let k = f + q. Which is smaller: k or 22?
k
Suppose 2*n + 2*z = -2, -5*n - 6 - 20 = -2*z. Let h be (0 - -2) + n + 180/55. Which is greater: h or -0.3?
h
Let j = -1082 + 1083. Which is bigger: j or -2/1021?
j
Let i be 924/(-264)*9034/(-7). Are i and 4519 unequal?
True
Let m(u) = -5*u**2 - 6*u + 29. Let k be m(-4). Which is smaller: -12 or k?
k
Let c(o) = -2*o**2 - 93*o + 1064. Let m be c(-56). Which is smaller: 2/11487 or m?
m
Suppose 17*f - 10 = 41. Suppose 0 = 2*u + 5*n - 285, 2*u = -f*u + 5*n + 800. Do u and 155 have different values?
False
Let f be (-912)/2128*140/(-78). Which is greater: 24.8 or f?
24.8
Suppose 0*i = -b - 2*i - 46, -4*i = -16. Let z = -1109 + 1053. Are b and z equal?
False
Let c be (-601 - 1) + -2 + -13. Is c at least -618?
True
Let l(b) = 6*b**2 - 126*b + 54. Let x be l(23). Is 16 at most as big as x?
True
Let s be (-3666)/52*(22/(-6) - -1). Which is smaller: 186 or s?
186
Let t = 2.52 + 0.38. Let i = t + 52.1. Let s = i - 69. Which is smaller: 0 or s?
s
Let l = -577 - -583. Let s be 1/((l + -2)/(-4)). Which is smaller: s or -440?
-440
Let u be (-3 + (5 - 4))*(-48998)/4. Let s = -220057/9 + u. Which is smaller: s or 47?
47
Let u(n) = -127*n - 271. Let c be u(-5). Is 370 not equal to c?
True
Let r(k) = 50*k**2 + 31*k + 8. Let x be r(-4). Are x and 680 unequal?
True
Suppose 17*o + 33 = 101. Let m be o - 2 - (13 - 7 - 4). Which is bigger: m or 2/45?
2/45
Let h be (-2)/15 + 2961/945. Let u = 0.31 + 8.69. Which is smaller: h or u?
h
Let p(y) = -y**3 + 7*y**2 + 7*y - 11. Let b be p(8). Let t = -35 - b. Let z(i) = i**3 + 6*i**2 + 8*i + 31. Let q be z(-6). Which is bigger: q or t?
t
Let w = -297 - -590. Suppose w = -10*c - 327. Let a be c/4 + 2 + (-1)/(-2). Which is smaller: -12 or a?
a
Let s = -1412 - -1408. Let b = 435 - 433. Which is smaller: s or b?
s
Suppose w + 2*w = -4*l - 9, -4*l + 4*w + 12 = 0. Suppose -2*a + 24 - 16 = l. Let o be 0 - ((-4)/(a/3) - -41). Is o at least as big as -37?
False
Suppose f = -5*z - 1 - 2, 3 = -f + 5*z. Suppose 2*y - 12 = -2*n, 2*n - 10 = y - 1. Suppose -x - 10 = -i + 3*i, 10 = -5*i + n*x. Which is bigger: f or i?
f
Let z = -332 - -111. Let t(m) = m**2 - 72*m - 1009. Let w be t(-12). Which is smaller: w or z?
z
Let f be (-4)/(24/(-9))*(-64)/(-48). Suppose 4*d - 5*d = f*r + 8, -4*r - 14 = d. Which is smaller: -4 or r?
-4
Suppose -5*w - 5*n + 100 = 0, 2*w - 2*n + 6*n = 42. Let f = 30 - w. Suppose 5*i + 10 - 60 = 0. Are i and f nonequal?
True
Let u = -3.75692 - 0.24308. Let p(g) = -g**2 + 5*g - 4. Let x be p(3). Let q be 2/x*5/10. Is q at most as big as u?
False
Let r = -0.1127 + 0.0185. Let d = 135.0942 + r. Is -2 > d?
False
Let v = -137.896 - -145. Let o = -0.004 + v. Let l = -35.1 + o. Which is smaller: -2 or l?
l
Let i = -90285 + 48122136/533. Let k = i - 5/13. Which is smaller: k or 0?
0
Suppose 26*y + 69*y - 13943 = -96*y. Is y <= 20?
False
Let n = -58 + 63. Suppose n*m = 5*q - 125, -2*q - m + 34 + 4 = 0. Which is smaller: 15 or q?
15
Let l = -24559 + 39443. Is l less than 14885?
True
Suppose 0 = 2*b - 5*o + 21, o - 2 = -o. Let i be 3/12 - (-306)/b. Let y be (-6)/i*(-2)/3. Are 1 and y unequal?
True
Let v be (76/114)/((-1)/(-3)). Suppose -85 = -v*a + 89. Which is smaller: a or 85?
85
Let x(c) = c**2 - 5*c + 7. Let n be x(2). Suppose -2*z = -2*k, 2*k - 2 = 3*z - n. Let r(p) = -2*p. Let w be r(k). Is w > 4/5?
True
Let n = 22777/5 + -4555. Which is smaller: n or -12.74?
-12.74
Let s = -0.10187 + 112.20387. Let t = -112 + s. Is -2 smaller than t?
True
Let q be 58 - ((-3)/3 - 3). Let x = q - 63. Let g = 5.3 + -6. Which is greater: x or g?
g
Let u = -18061 + 18065. Is -1742 >= u?
False
Let n = -216 + 254.9. Let h = 37.9 - n. Let i = -5.19 - -0.89. Which is smaller: h or i?
i
Let f = -1 - 1. Let h be ((-9)/(-18))/((-52)/(-8))*56/(-8). Is h <= f?
False
Let d be -6 - (-3630)/(-305) - -16. Is -2 bigger than d?
False
Let k = -189 + 9. Let t = -181 - k. Is 1/44 greater than or equal to t?
True
Let w be (8/16)/((-2)/68). Let h = 9 + w. Let x be (-2)/h - (-117)/12. Which is smaller: 13 or x?
x
Suppose 207*g + 16596 + 1054 = 3988. Let j be -3 - -3 - 150/2. Let x = j + 10. Is x at most as big as g?
False
Let t = 18267 - 17271. Is 996 != t?
False
Let x = -60 + 73.6. Let i = 12.6 - x. Let z = 1/21 - 29/21. Which is greater: z or i?
i
Suppose 45 = -4*n - 3*y + 12, 13 = n + 5*y. Suppose 0 = -2*m + 3*t - 21, -3*m + m = 5*t + 45. Which is smaller: m or n?
m
Let b = 0.4981 - 0.5171. Do -42 and b have different values?
True
Let l(g) = 9*g**2 - 4. Let z be l(1). Suppose -z*d - 17*b + 100 = -22*b, 4*d = -2*b + 74. Which is greater: 0.08 or d?
d
Let p(k) = 19*k - 87. Let t be p(6). Suppose -t = -r + 3*n, -5*r + 65 = -2*n + n. Suppose -f - 2 + 16 = 0. Which is bigger: f or r?
f
Suppose 0 = -2*a + 3 + 11. Let t = -8522 + 8528. Is t at least as big as a?
False
Let q = -4664 - -18363/4. Which is bigger: q or -8?
-8
Let t(b) = -6*b**2 + 13*b + 204. Let y be t(7). Is -6/215 greater than y?
False
Let m be ((-70941)/(-68))/((-4)/(-16)). Which is smaller: 4172 or m?
4172
Let r = 2039 - 2022. Suppose -5*l = 3*s + r, -4*s - 17 = -3*l + s. Let j(n) = n**3 + 5*n**2 - 6*n + 4. Let o be j(-6). Which is bigger: l or o?
o
Suppose -3*q + 43*b - 39*b - 17 = 0, -4 = -2*b. Let g = 136 - 71. Let j be (-24)/g*(7 - 2). Which is smaller: q or j?
q
Let i be -2 + 108/51 + (-864)/(-459). Is i equal to -212?
False
Let c be ((-56)/(-16))/((-2)/(-8)). Suppose 0 = 2*v + 35 + 13. Let i = v - c. Which is smaller: -39 or i?
-39
Let w = -0.0457 - 9.8343. Let l = w - -9.1. Let h = -0.48 - l. Which is bigger: h or 4?
4
Let k be (-13)/78 - (-1253)/(-6). Is k smaller than 0.3?
True
Suppose -c - c + 42 = 3*m, -66 = -2*c + 3*m. Let k be (-7)/(-35) - (-206)/(-5). Let o = k + c. Which is smaller: -13 or o?
o
Let q = 47 + -47. Suppose -2*h + 5*h - 1257 = q. Let c = h + -21365/51. Is c greater than or equal to -1?
True
Let j = -15 - -17. Let f = -0.44 + -41.56. Let c = -43 - f. Which is greater: c or j?
j
Let a be (-711)/(-48)*-2*-4. Let i = 119 - a. Which is greater: i or 1?
1
Suppose -6*x - 16 = 3*g - x, -8 = 2*g + 4*x. Let t(a) be the first derivative of a**3/3 - 3*a**2 - 13*a + 40. Let w be t(6). Is w > g?
False
Let r = -27 + 27.003. Let u = r + -0.903. Let y = -2.6 - u. Which is bigger: y or 1/4?
1/4
Let i = -1876 + 1809. Do -56 and i have different values?
True
Let i = 22.7 - -5.3. Let d = i + -29. Let b = -0.15 - -0.23. Is d at most as big as b?
True
Suppose -7 + 133 = 4*z - 3*j, 4*z - 114 = -3*j. Let h be ((-200)/z)/(-1) - 2/3. Are h and -22 equal?
False
Let y = 4 + -4. Let z = 1339.4 - 1224. Let o = 115 - z. Which is smaller: o or y?
o
Let f be ((-2)/(-10) + 1)/((-8)/(-60)). Suppose t + 9 + f = 3*j, -4*j + 24 = -3*t. Which is smaller: j or 7?
j
Let k be (-1)/(-2) + (-99541985)/6130. Let y = -16238 - k. Which is smaller: -1 or y?
-1
Suppose -165*l + 36879 = -83*l + 157583. Which is bigger: -1477 or l?
l
Let d = 105241 + -169598. Let b = 578528/9 + d. Let m = 76 + b. Which is bigger: -1 or m?
m
Let g = 0.0053 + 91.0947. Let r = g + -9.1. Which is bigger: 1 or r?
r
Let z be (1 - 2) + -10 + 8. Let q(k) = -k**3 - 3*k**2 + 10*k + 30. Let l be q(z). Is -12.4 at most l?
True
Suppose 0 = 123*q + 1887 - 3486. Let k be -10*(36/(-15) + 2). Let t be 4/((-2)/k*-2). Is q greater than t?
True
Let g = 625 + -644.028. Let q = -19 - g. Let w = q - 39.028. Which is smaller: w or -1?
w
Suppose 2*f = 364 + 62. Suppose -6*i - f + 21 = 0. Which is greater: -33 or i?
i
Let o = 11846 - 11907. Which is smaller: o or -48?
o
Suppose 54*f + 51*f + 180103 = 28*f. Is -0.1 > f?
True
Let o = -14432 - -14389. Let x(h) = -h**2 + 11*h + 3. Let z be x(11). Suppose z*t + 112 + 20 = 0. Which is smaller: t or o?
t
Let j = 43.6 - 43.7. Suppose 4*n = 297 - 1197. Let x = n - -2027/9. Which is bigger: j or x?
x
Let f = 620 - 425. Let r = -195 + f. Which is smaller: 2/19 or r?
r
Suppose 0 = 4*p + 5*z - 16, 8*z - 7*z - 5 = p. Is 1/2149 < p?
False
Let y be (12/3)/12*(7 - 7). Which is bigger: -11/1524 or y?
y
Suppose 4*k + 5*h = 121, 0 = k + 5*h - 27 - 22. Suppose 8 = -11*u + 41. Suppose v = 3*o - 73, u*v = -0*o + 2*o - 58. Are o and k unequal?
True
Suppose -51*t = -43*t + 3672. Let j = -2755/6 - t. Is j equa