
Suppose -2*r + 4*i = i + 102, 3*i + 153 = -3*r. Is -31 at least as big as r?
True
Let l = 0.0341 - 0.0341. Which is bigger: 22 or l?
22
Let a = -32.37 - 3.63. Is a at most -2/13?
True
Let b be 1 - -5 - 0/2. Suppose -74 = -2*u - 3*m, 2*u - 3*m + 7*m - 70 = 0. Suppose 38 = 9*d - u. Is b less than d?
True
Let v be 24 - 4*((-35)/7)/(-10). Are v and 22 non-equal?
False
Let m = -0.757 - 49.243. Do m and -2/5 have the same value?
False
Let x(p) = -4*p**3 - 1. Let y(l) = -3*l**3 - l**2 - l - 2. Let f(u) = 4*x(u) - 5*y(u). Let n be f(6). Suppose -v + 2*v = n. Which is smaller: v or 2/19?
v
Let y = -16 + 17. Let j be y*-2*3/(-18). Which is greater: j or 1.6?
1.6
Let n = 1.56 + 4.44. Which is greater: n or 85?
85
Let q = -5655/17842 - 1/811. Let u(s) = s**3 - 3*s**2 + 9*s + 1. Let w be u(0). Is w greater than q?
True
Let l(w) = w + 9. Let k be l(-6). Let o(a) = 2*a - 9. Let b be o(7). Let u be (6/k)/((-10)/b). Which is smaller: -7 or u?
-7
Let j = 3 + 0. Let h be (-177)/57 - j/(-1). Let y = 0.03 + -2.03. Are y and h equal?
False
Let w = -59 + 59. Suppose w = -7*p + 12*p - 295. Which is bigger: p or 58?
p
Let b = -0.07 - 4.93. Let m = 3.252 - 3.352. Which is smaller: b or m?
b
Let g = -28 + 75. Suppose -q = -j + 15, -7*q + 2*j = -4*q + g. Is q greater than or equal to -18?
True
Let m = -27 - -137/5. Let v = 51 - 28. Which is smaller: m or v?
m
Let y be ((-44)/(-8))/(-11)*(4 + 0). Suppose -5*v - 1 = -4*d + 23, -3*v + d = 20. Let n be (4 - v/y)/2. Which is smaller: n or 4/3?
n
Let s be 4/(-12)*3*1*1. Is s not equal to -7/22?
True
Let u(y) = y**3 - 16*y**2 - 2*y + 22. Let t be u(16). Which is smaller: -11 or t?
-11
Let y = 30.5 + -30. Let d = -1.5 - y. Is d greater than or equal to -4?
True
Let g(l) = -l**2 + 10*l - 15. Let w be g(8). Which is bigger: w or 634?
634
Let c = -21 + 36. Let j = -2 + c. Suppose -1 = -12*l + j*l. Is l >= -3/14?
False
Suppose 2*i + 18 = 4*i + t, 24 = 4*i - 4*t. Let c = i - 10. Let g = -4/175 + -96/175. Is g at most as big as c?
False
Let h = -246 - -165. Let r = -84 - h. Which is bigger: r or 1/5?
1/5
Suppose -9*q - 199 = -1477. Which is greater: q or 135?
q
Let n = 14 + 0. Suppose 0*z + z + v + n = 0, 4*z = v - 61. Let j be -4*(z/12 + 1). Which is bigger: 1/4 or j?
j
Suppose -12 = -3*g - 0. Let m(s) = s**3 - 3*s**2 - s - 4. Let d be m(g). Suppose -5 = -5*u + 5*h, d = 5*u - u - 5*h. Do -3 and u have the same value?
True
Let q = -148.2 - -145. Let p = -2 - -2.2. Let w = q + p. Does 0.1 = w?
False
Let m = 12 + -8. Suppose 5*a - m*v + 7*v = -15, 5 = 2*a - v. Suppose -5*k = -3*k + 2, 3*k + 13 = -5*w. Which is smaller: w or a?
w
Let c(k) = -5*k**2 + 9 - 2 + 3*k - 2*k**3 + 3*k**3 - 2. Let i be c(4). Let u be 3*i + (-59)/19. Which is smaller: 0 or u?
u
Let f be ((-2)/(-6))/((-206)/72 - -3). Which is greater: 1 or f?
f
Suppose -2*u = 5*s - 2248, s + 2*u - 667 = -211. Is 448 at least as big as s?
True
Let r(a) = a**3 - 29*a**2 + 1. Let t be r(29). Which is smaller: 14/41 or t?
14/41
Suppose -2*u - 2*u = -j + 18, -5*j + 3*u + 5 = 0. Let p be (-1)/(-12) - ((-2 - -6) + -3). Which is bigger: j or p?
p
Let u(f) = -33*f. Let z be u(1). Let i be z/(-7) - 14/(-49). Suppose -4*d + 5 = -i*r, -3*d - 3 + 2 = r. Is 1/4 less than r?
False
Let w = -603823/20 - -45529167/1508. Let r = -2/377 + w. Suppose -2*k + 2*f = k - 7, f = -5*k + 3. Is r at least k?
False
Let i = 1 - 4. Let x be -3 - (i - (-4)/(-1)). Suppose -1 = x*o - 3*o. Which is smaller: -6/7 or o?
o
Let k(x) = x + 13. Let o = -21 - -41. Let c be k(o). Suppose 3*l + b = 91, 2*b + b = -3*l + 81. Is c less than l?
False
Suppose r + 13 = 4*p, 0 = 3*r - 0 + 3. Suppose 8*g = 6*g + 3*u + 10, 46 = 5*g + p*u. Are g and -0.01 equal?
False
Suppose 2*x + 8*m - 26 = 4*m, 2*x + 9 = 3*m. Suppose 4*g - 5 = 5*s, -7*g + x*g + 4*s = -4. Is g at least 1?
False
Suppose 0 = -6*f - 17 - 13. Let g(a) = -a**2 - 6*a. Let h be g(f). Let i = -2 - -3. Which is smaller: h or i?
i
Let x(v) = 2*v + 33. Let c be x(-16). Let k be 1 + c - (1 - 2). Is k smaller than 4?
True
Suppose -16 = i - 3*i - 5*w, -5*i + 13 = -w. Let z be -2 - (-596)/120 - i. Let r be 1/1*(-2 + 3). Which is smaller: z or r?
z
Let y = -702 - -12647/18. Is 2 not equal to y?
True
Let l = -342 + 665. Which is smaller: 324 or l?
l
Let n = 2 + 0. Suppose n*g - g + 1 = 0. Let c be (-9)/456 + (-7)/(-56). Which is smaller: c or g?
g
Let g be -1 + 1 + 15/((-585)/57). Which is smaller: g or -2?
-2
Suppose -3*c + 5*v + 2 = -5, 5*c - 5*v - 5 = 0. Let g be (-2)/(10/(-3) + 4). Let d be (c/g)/(2/(-4)). Which is bigger: d or -16?
d
Let t(k) = 15*k - 7. Let n be t(6). Let j = n - 35. Which is greater: j or 47?
j
Let y be 4284/711 - (-18)/(-3). Is y less than or equal to 0?
False
Let m(d) = d**2 + 6*d - 5. Let l be m(-6). Suppose -5*z = -4*a - 2, 3*a - 2*z - 11 + 16 = 0. Let w be a*l/(-10) + 2. Which is bigger: w or 5/3?
5/3
Let g = -78.95 - -79. Let q = g + -0.68. Which is smaller: 1 or q?
q
Suppose 10 = k - 5*a, -7*k + a + 2 = -2*k. Suppose k = -2*r + 3*n + 5, -5*r + 2*r - n + 2 = 0. Let t be (-5)/(-60)*-2*r. Which is bigger: 0 or t?
0
Let z be ((-14)/(-77))/(-4 + -1). Which is smaller: z or 0?
z
Suppose 22 = l + 25. Suppose -12 = -4*k + 8. Let f = k + -5. Which is smaller: f or l?
l
Let z(j) = j**3 - j**2 + 2*j - 2. Let r = -12 + 13. Let d be z(r). Suppose -5*p + d = 5. Are p and 3/8 non-equal?
True
Suppose -3*j = -0*j. Suppose 0 = -4*p - h + 1, j + 2 = 5*p + h. Are p and 2 nonequal?
True
Let l be ((-12)/(-264))/((-4)/(-32)). Which is bigger: l or -0.2?
l
Let t be 12*(-2 - (-46)/(-4)). Let v be (3/(-42))/((-3)/t). Which is smaller: -3 or v?
v
Suppose 0 = 3*q + 12, k - 4*k + 4*q + 19 = 0. Let d be 2 - (2 + 0 + k). Are 4/31 and d equal?
False
Let r = -14500 - -420540/29. Which is bigger: 2 or r?
2
Let j be (1994/(-3565))/((-6)/(-30)). Let v = -84/31 - j. Let f = 2 - 2. Is v bigger than f?
True
Let l be 48/144*12/2. Which is bigger: 24 or l?
24
Let x be 446/6 - 2/(-3). Suppose 10 = -3*j - r + x, -5*r = -10. Suppose -14*u + 28*u = 280. Which is smaller: j or u?
u
Let w be (2/5)/(1/5). Suppose 0 = -w*a - 3*a - 10. Let l be 19/a + (-2)/(-12). Is l at least as big as -10?
True
Let l = -0.049 + 0.052. Let k = l - 1.003. Let h = 9 - 8.3. Is k greater than h?
False
Let f = 322/95 - -1218/95. Which is smaller: f or 15?
15
Suppose -2*o + 1 - 33 = 0. Let j be (-4)/10 - (-780)/(-50). Is o at most as big as j?
True
Let k(h) = h**2 + 6*h - 6. Let i be k(-7). Suppose -283 + 47 = -142*t + 48. Are i and t equal?
False
Let q(h) = -h**3 + 4*h**2 - 2*h + 2. Let u be q(3). Let y be (1/(-24))/(u/(-10)). Suppose -4*f + 3 + 1 = 0. Which is smaller: f or y?
y
Suppose 2*u + 0 - 4 = 0. Let a be (-1)/(6/(-12) + 4/24). Which is greater: a or u?
a
Suppose -38 + 528 = -14*v. Which is bigger: -29 or v?
-29
Suppose 0 = -w + 5*w + 8*w. Suppose 17*m - 4*m + 13 = w. Which is smaller: 2/7 or m?
m
Suppose x = 5*x - 84. Suppose x = 3*z - 3*q, -3*z - q = -2*q - 23. Suppose 3*c = 5*l - c - 43, -4*l + 38 = -5*c. Is z at most l?
False
Suppose 4 = -2*u + 3*b, 3*b + 14 = -u + 21. Which is smaller: -2/121 or u?
-2/121
Suppose -4*t - t - 284 = -4*w, 227 = -4*t + 3*w. Let i be 2/t - (-5)/(-20). Suppose -3 = -2*n - 5. Is n not equal to i?
True
Let q = -0.55 - 0.75. Let b = -3.3 - q. Which is bigger: 1/2 or b?
1/2
Let b = 6 - 28. Let a = b + 21.9. Which is smaller: 3 or a?
a
Let m = 160 - 803/5. Suppose -3*a - 14 = z, z + 5 + 13 = -4*a. Is m not equal to z?
True
Let x = 0 + -5. Let a = 3 - 1. Let s be -2*(6 - 2)/a. Which is greater: s or x?
s
Let i = 5.6 - 6. Let k = -2.4 - i. Let b = -1.13 - -0.13. Is b != k?
True
Let r = 0.25 - 0.242. Let z = 0.492 + r. Is z at most 1/4?
False
Let o = 592 + -591.8. Let f = -0.4 + 1.6. Is o less than or equal to f?
True
Let k be -12*(-5)/(8 + 2). Suppose -b + 2*b - 5*p = 4, p = -5*b - k. Which is smaller: b or 6/23?
b
Suppose -360*g + 328*g + 1024 = 0. Is g equal to 41?
False
Let r be (-1900)/(-156) - (-2)/13. Let h = 4 - -7. Which is greater: r or h?
r
Let n = 32.6 - 6.6. Let i = 10 - n. Let y = i + 23. Which is smaller: y or 0?
0
Let p = -2 + 1. Suppose 6 = 3*q, -n - 7*q + 8 = -3*q. Suppose n = 3*y - 7 + 1. Is p at least y?
False
Let y = 43 + -24. Suppose y = 4*h - 29. Let j be 7/(-6)*h/(-21). Is -7 equal to j?
False
Let a = 8 + -5. Are a and 28/11 equal?
False
Let u be ((-2)/(-4))/(-