t = x - -196. Which is smaller: 57 or t?
t
Suppose 2*l = 5*l + w - 137, 5*w = -3*l + 133. Let v = l - 62. Which is greater: v or -15?
-15
Let g be (-10)/(-55) + 62/22. Suppose g*x - 18 = -3*a, -4*a = x - 0*x - 18. Let h(d) = d - 1. Let b be h(x). Is b at most as big as 0?
False
Let l = 5 - -68. Let n = 5/6 - -209/3. Let q = l - n. Are q and 0 nonequal?
True
Let w(o) = -2*o. Suppose 1 = 4*j - t - 0, -j + 3 = -3*t. Let p be w(j). Is p equal to 3/4?
False
Let z be ((-207)/18)/((-1)/(-18)*-1). Let h be z/(-54)*(-6)/26 - 1. Which is smaller: 1 or h?
h
Suppose 0 = -4*d - 4, 5*d = 2*x + 27 - 6. Is -19 less than x?
True
Let j = 0.34 + 0.06. Let h = j - 0.2. Suppose -5*w + 2*w + x + 4 = 0, -w + 2*x = 2. Which is greater: h or w?
w
Let x be 1 - 22/(-232)*-11. Let l = x - 6/29. Let u = 1.21 + -1.61. Which is smaller: l or u?
u
Suppose -1720 = -10*j + 5*j. Let n = j + -1467. Let b = -10127/9 - n. Which is smaller: b or -1?
b
Suppose 3*h = -4*u - 139, 30 = -u - 3*h + 2. Which is bigger: 2 or u?
2
Let i = 114 + -109. Suppose 2 = -f - 0*f - 4*z, 4*f = i*z + 34. Which is bigger: f or 5?
f
Let s(f) = f**2 - 11*f + 4. Let b be 44/10*(55/2)/11. Let a be s(b). Let o = 0.01 - -2.99. Which is bigger: o or a?
a
Let l(j) = -j**3 + j**2 - 1. Let s be l(-1). Let f = 32 - 97/3. Which is smaller: s or f?
f
Let b = 174/55 - 6168/385. Which is greater: -13 or b?
b
Let u be (-24)/(-14) - (1 + 1). Let k = 2345 + -2351. Is u at most as big as k?
False
Let a be 1*(6/2 + (22 - 17)). Is 8 greater than or equal to a?
True
Let w = -0.014 - -21.014. Let q = -3/20 + -11/60. Which is bigger: q or w?
w
Let m(t) = 3*t + 4. Let k(p) = p + 1. Let s(v) = 14*k(v) - 4*m(v). Let q be s(2). Let h be (-24)/q*(-1)/2. Is 4 not equal to h?
True
Let h = 238 - 240.17. Let u = -0.165 + 0.335. Let l = h + u. Is 0.2 greater than l?
True
Let a(o) = -24*o + 14. Let p be a(6). Let m = 1166/9 + p. Is 0 at least as big as m?
True
Let x be (-74)/(-3)*(1 + 140/(-152)). Is x greater than 2/7?
True
Let s(u) = -10*u + 2*u + 30 + 11*u. Let g be s(-10). Is -4/7 equal to g?
False
Let y(v) = 29*v - 5 - 5 + 2 - 8*v. Let d be y(1). Which is smaller: d or -3?
-3
Suppose -2*r - 104 = -2*b, -9*b + 7*b = 5*r + 281. Are r and -53 unequal?
True
Let z be ((-8)/(-3))/((-3)/(-18)). Suppose 0 = 3*o, -4*x + 4*o - 96 = o. Let w = -7 - x. Which is smaller: w or z?
z
Suppose -94 = -5*a + 106. Suppose -4*v = 3*f - 143, 200 = 5*f - 30*v + 29*v. Is a <= f?
True
Let q be ((-264)/18)/(((-4)/(-3))/(-4)). Is -7 less than or equal to q?
True
Suppose 5*t + 4*n - 384 = 0, -4*t - 6*n + 310 = -0*t. Is t greater than 73?
True
Suppose 5*f + 25 = 4*t - t, t - f = 5. Suppose y = 6*y - 20. Suppose t*u + 16 = y*u. Do 4 and u have different values?
False
Let p(b) = 4*b**3 - 2*b**2 - b + 1. Let z be p(1). Suppose 2*q = -z*t + 12, 0*q - 2*t = -2*q - 8. Do 2/15 and q have the same value?
False
Let h(l) = -2*l**2 - 107*l - 106. Let a be h(-51). Is a < 149?
False
Let k be (2/2)/(1/(-7)). Let x be (4 - (-115)/(-25)) + (-51)/15. Is k at most x?
True
Let b(f) = f**3 + 6*f**2 + f + 3. Let z be b(-6). Let u = -162 + 106. Let g = 49 + u. Which is smaller: g or z?
g
Suppose -5*i + 23 = 4*h, -1 - 12 = -3*i - 2*h. Suppose 5*k + 4 = i*k. Let a = k - 4. Do a and -5 have the same value?
False
Let t = -12 - -90. Suppose 74 = 4*c + t. Let w = 393/11 - 36. Which is bigger: w or c?
w
Let q be (-102)/(-66) - (-6)/(-11). Do q and 7/94 have the same value?
False
Let b = -353 - -353. Does b = 3/202?
False
Let q = -29 - -28.81. Let t = q - 8.81. Let x(k) = -k**2 + 7*k - 13. Let n be x(3). Is n at most t?
False
Let w be (-1)/1*(11 + (-161)/14). Is 0.274 bigger than w?
False
Suppose 2*n = -13*n + 120. Suppose n*m - 5*m = 33. Is m not equal to 11?
False
Let t = 813 + -835. Which is greater: -162/7 or t?
t
Let g(c) = -c**2 + 26*c + 111. Let d be g(30). Which is bigger: d or -242/25?
d
Let k be 2/3 + (-530)/3. Let q = 159861/1525 - -4344/61. Let b = k + q. Are b and 0 nonequal?
True
Let h be 0 - 0 - (-7 + 5). Let u be (-28)/h*396/42. Let o = -1982/15 - u. Is o at most as big as 1?
True
Suppose -4*w + 13 = 5*d - 2*d, 23 = -3*d + 5*w. Let u be (-4)/(-10) + 18/5. Let m be 27/3 - d - u. Is 5 greater than m?
False
Let j = -163/153 + 20/17. Let y = -0.2 + 0.2. Is j greater than y?
True
Let p(j) = 58 - 58 + 6*j. Let n be p(2). Do 11 and n have the same value?
False
Let u be 27/2 + (-1)/(-2). Let g be 141*(-4)/40 - (-16)/160. Let w = u + g. Is w equal to 3/8?
False
Suppose -2*k - 3*i - 71 = 0, -3*i + i = -5*k - 168. Let f = 40 + k. Is 9/2 greater than or equal to f?
False
Let t = 0.172 + -0.272. Which is bigger: t or 34?
34
Let v(l) = 9*l - 1 - 16*l + 3*l. Let q = -4 - -3. Let m be v(q). Which is smaller: m or 2?
2
Let b be 3/91*463*8/12. Let j = b + 192/91. Which is smaller: 13 or j?
j
Let n = 222 - 125. Let q = n - 78. Is 9 less than or equal to q?
True
Suppose 0 = q + 2*j - 973, q = -2*q + 3*j + 2928. Do 976 and q have different values?
True
Suppose q + 3*q = 0. Let k be 3 - q*(-3)/(-12). Let a(d) = -d**2 + 1. Let m be a(k). Is -7 at least as big as m?
True
Let n = 0.5 - 10.5. Let k = -9.9 - n. Which is greater: k or 0.29?
0.29
Suppose -3*v + 5*m = -0*m - 68, -v + 24 = -m. Let n = -27 + v. Which is smaller: n or 3/8?
n
Suppose -4*q = -q - 39. Suppose 3*v + 5*u + 52 = 0, -5*u + 33 + q = -4*v. Suppose 0*t - 3*t = 5*r + 14, -t - 2*r = 3. Which is bigger: t or v?
t
Suppose -3*j - 2*j = -40. Suppose -w + 5*o = -0 + 1, 0 = w + 4*o - j. Suppose w*v + 0 = 4. Is v at least as big as 3/2?
False
Suppose 0 = 21*w - 19*w + 554. Do w and -277 have different values?
False
Suppose -12 = -4*f, 5*f = 2*c + f + 32. Let u be 3/30*(-24)/c. Is u at least as big as 1?
False
Let l(r) = 5*r - 9*r**2 - 15 + 7*r - r**3 - 3*r**2. Let g be l(-13). Let w = 2 - 6. Which is smaller: g or w?
w
Suppose 8*n = -6*n - 1036. Is -75 greater than n?
False
Let s = 0.02 + 5.98. Let x = -2 - s. Which is bigger: 0 or x?
0
Let w(j) = -7*j - 16. Let m(s) = 3*s + 8. Let h(k) = -9*m(k) - 4*w(k). Let o be h(9). Let y = 5/336 - 319/6384. Is o greater than y?
True
Let q be 28/13 - 12/78. Let k = -1 - q. Let u(n) = -n - 4. Let i be u(k). Which is smaller: i or -12/13?
i
Let x be -12 - (1719315/(-11020))/13. Is x at most 0?
False
Let c = 4.37 - 4.3. Let z = c + -0.11. Which is bigger: z or 6?
6
Suppose 0 = -3*c - 22 - 143. Let o be -4 - (420/c)/2. Let q = -3 + 5. Which is smaller: q or o?
o
Let o = -256 - -230. Let y = -53 - -27. Is o > y?
False
Let c = 5 + -26. Let m = 45/46 - 11/23. Which is smaller: c or m?
c
Suppose m - w - 4 = 0, -2*m + 3*w = -w - 12. Let u be (138/24)/(m/(-4)). Which is bigger: u or -12?
u
Let r be 5 - (192/(-18)*-3)/1. Which is greater: r or -31?
r
Let w(c) = -14*c + 34. Let m be w(-6). Let o be m/(-408) + (-4)/(-16). Is o >= -1?
True
Let s = -673 + 464. Are s and -209 nonequal?
False
Let x be (97/(-30846))/((-4)/6). Is x equal to 12?
False
Let z be 0 + -3 + (299211/(-100656) - -6). Let t = z - 8/233. Is 1 >= t?
True
Suppose 1728 = -3*z + 1665. Is -21 at most z?
True
Let i = -3.38 + 3.18. Let z = 7.894 + -0.874. Let n = z + -0.02. Is n at least as big as i?
True
Let v = 1.83 - 2.03. Which is smaller: v or 60?
v
Let d = -47759/80 - -597. Let j = d + 119/80. Suppose 5*r - 9 = 2*r. Is r bigger than j?
True
Suppose -42 = -2*a + a. Let v be (11/(-33))/((-2)/a). Is v bigger than 6?
True
Suppose 18*l + 44 = 7*l. Let s be 2/(-4) + (0 - 4/l). Let c be ((-2)/(-3))/((-4)/(-42)). Is c bigger than s?
True
Let y = -1327/2220 - 1/444. Which is bigger: y or -15/4?
y
Let z = 18 + -17.1. Let r = z - -2.1. Which is smaller: 0.04 or r?
0.04
Suppose 0 = -2*i + 3*c + 100, 3*i + 3*c = c + 163. Which is smaller: 52 or i?
52
Let a = -19 + 31. Let y be a/(-9)*(-9)/(-30). Let u(x) = -x**3 + 5*x**2 + 1. Let f be u(5). Is f not equal to y?
True
Let n = 250 - 250. Let f = 8527/511 + -117/7. Is n greater than or equal to f?
True
Let b = -0.152 + 0.052. Let a = b + -0.4. Which is smaller: a or -4?
-4
Suppose -3*x - 9 = -0*x. Suppose 7*n = 4*q + 2*n + 41, 0 = -5*q - 4*n - 41. Let g be 2*(-3)/(-9)*q/2. Is g less than or equal to x?
True
Suppose 0 = 2*v + 2 - 0. Let z = 8 + -10. Let t be (z/35)/((-1)/(-5)). Is t >= v?
True
Suppose c = 2*c. Let m be 1/1*-2 - 84/(-46). Let x = m + -110/161. Which is smaller: x or c?
x
Let t = 1345 + -1342. Whic