2/55). Is w < 2?
True
Let z(b) = b**3 - 4*b**2 - 2*b - 2. Let l be z(6). Suppose -l*t + 53 = -59*t. Is t bigger than -54?
True
Let c = 54 - 14. Let f = c - 39.97. Are 1 and f equal?
False
Let i = 43 - 43. Let t be ((-3)/(-2))/(0 + (-65)/2). Which is smaller: t or i?
t
Let t be (-28)/4*18/7. Let i = -15 - t. Suppose 5*g - 2 = i*v, 2*g - 2 = -g + v. Which is smaller: -3/16 or g?
-3/16
Suppose 0 = 5*y - 3*n - 9, -3*y = 2*n + 1 + 5. Is 2/553 >= y?
True
Suppose 36 - 20 = 2*x. Let o be 25*2/(-24) + x/(-32). Which is greater: o or 1/4?
1/4
Let v(z) = -2*z**2 - 3*z + 4*z + 3*z**2. Let o be v(-2). Let b be (0/2)/((-4)/o). Which is smaller: 1/3 or b?
b
Suppose 0 = 3*m + 3. Let k be (-9)/(-6)*(m + -1). Suppose 5 = 40*s + 45. Is k equal to s?
False
Let q(g) = g - 6. Suppose f + 23 = 3*n - f, -4*f = 4*n - 24. Let b be q(n). Let m = 195/4 - 49. Which is bigger: m or b?
b
Let i(w) = w**2 + 4*w - 3. Let t be i(-5). Let l = -2 + t. Let z = 745/1976 + -1/494. Which is smaller: l or z?
l
Let f(x) = -x**3 - 5*x**2 + 9*x + 9. Let k be f(-6). Let t = -267 - -260. Does k = t?
False
Let k(b) = b**2 - 4*b - 1. Let p be k(3). Suppose 7*y + 4 = 8*y. Suppose -18 - 2 = y*z. Which is smaller: z or p?
z
Let w(r) = -r**2 - 6*r + 1. Let j be w(-4). Let g be 1*(j/(-3) + 2). Let b be 41/(-14) + (2 - g). Which is greater: 0 or b?
b
Suppose -19 = -4*k + 1. Suppose -3 - 2 = k*z. Let v be 3*1 - (-2)/z. Which is smaller: v or 4/11?
4/11
Let y be (2/(-6) + 0)*-39. Suppose 3*v + 5 + 86 = 10*v. Is v smaller than y?
False
Let q(p) = 2*p**2 + 11*p - 2. Let t be q(-2). Is t smaller than -2?
True
Let c be ((-10)/9)/(16/(-1152)). Is 82 bigger than c?
True
Let t = -10483 - -4161753/397. Are t and 1 unequal?
True
Let i be (1812/(-30))/(4/(-10)) - 3. Is 149 at least as big as i?
True
Let o = -186.9 - -187. Is -539 less than or equal to o?
True
Let w = -26 - -41. Let i be 364/(-20) - (-3)/w. Let a = -27 + 10. Is a < i?
False
Let t(r) = 14*r - 151. Let k be t(0). Is k at least as big as -151?
True
Suppose -20 = -5*z, 5*z - 16 = -0*r - r. Let q be (-8)/(-28) - r/(-14). Let u = -1 - -2. Which is bigger: u or q?
u
Suppose b - 3*b = -2. Let u be (2 + -29)*14/(-8). Let i = 47 - u. Which is smaller: i or b?
i
Let i(t) = t**3 - 56*t**2 + 79*t + 115. Let u be i(54). Which is smaller: -1450 or u?
u
Let l(z) = -5*z + 10. Let f be l(6). Let h be (-8)/6*90/f. Suppose -14 = -4*x - h. Which is greater: x or 3?
3
Let l = 22 - 12. Suppose 4*w = -3*f - 20, -f - l = 3*f + 2*w. Is 1 < f?
False
Let u = 78 + 20. Which is smaller: 195/2 or u?
195/2
Suppose -w - 25*w = -78. Which is smaller: 17/5 or w?
w
Let m = 19687 - 19681. Let r = -1 - 5. Is r <= m?
True
Let j = 23 + -20. Suppose 3*t + x = -j, 5*t + 3*x + 5 = 4*x. Which is bigger: t or 2?
2
Let l be (1 + -1)/1 + 3. Let c(z) = 2*z**2 - z + 3*z**2 + 4*z**3 - 2*z**3 - 3*z**3 - 9. Let r be c(l). Is 8 greater than r?
True
Suppose p = 4*p + 9. Let m(n) = -2*n**3 - 15*n**2 + 8*n - 2. Let a be m(-8). Which is smaller: a or p?
p
Suppose -3*k + 2381 - 6188 = 0. Is 1 at most as big as k?
False
Suppose 5*y = 156 - 136, -3*l + 5*y - 56 = 0. Are -23 and l equal?
False
Suppose 0*q + t = -q - 1, 5*q + 4*t + 6 = 0. Let a be (-1 - -1) + 4*26/96. Let j = a - 41/60. Which is greater: j or q?
j
Suppose -9*o - 4 = 32. Which is bigger: -57/13 or o?
o
Let u(t) = 4*t**3 - 5*t - 44. Let s be u(-4). Is -280 != s?
False
Suppose 0 = -12*s + 993 - 81. Let w = 64 - s. Is -40/3 less than w?
True
Suppose 4*q = 199 + 73. Suppose q = i + 22. Which is smaller: 45 or i?
45
Let a be ((1 - 7)/(-6))/(1 + -2). Is a greater than -16/17?
False
Let r be (32 - 31)*(1 - 829/827). Which is bigger: -1 or r?
r
Let q = 454 + -438. Is 11 > q?
False
Let t = -31 + 30. Let m be (2/(12*2/3))/(-11). Which is smaller: t or m?
t
Let c be (2/3)/(22/6). Let m = 192 - 112. Let v be 4/(m/(-35)) - 3/12. Which is smaller: v or c?
v
Let t be (-1003)/(-7293) - 18/297. Is 12 not equal to t?
True
Let g = -5 - -3. Let k = 74 - 68. Suppose 45 = -k*m + 21. Are g and m non-equal?
True
Let z(j) = j**2 + 7*j + 7. Let v(h) = h**2 - 8*h + 2. Let k be v(8). Suppose -k*l + 5*w = 3*l + 10, -20 = 5*w. Let q be z(l). Which is smaller: 8/13 or q?
8/13
Let p be 206/(-8) + 2/(1*-2). Let l = 27 + p. Are l and 0 equal?
False
Let a be (163 - 4 - 2)/(-1) - -2. Which is smaller: a or -156?
-156
Let v = -15233.11 - -15233. Let m = -0.2 + 3.2. Which is greater: v or m?
m
Suppose -14 - 31 = r. Let w be (1 - r/(-70))*-2. Is 0 less than w?
False
Let h(v) = v**2 - 4*v + 6. Let u be h(5). Suppose 0 = -2*q + 5*m - u, 5 = -m - 0*m. Let i(b) = -b**2 - 21*b - 38. Let z be i(-2). Which is smaller: z or q?
q
Let m(q) = -31*q**3 - q - 2. Let x be m(-1). Let v = x - 29. Let f = 33/4 + -69/8. Do f and v have the same value?
False
Suppose 0 = -4*o - 27 - 29. Suppose 0 = 5*i + t + 57, 4*t - 9*t - 10 = 0. Let f = o - i. Is -2 bigger than f?
True
Suppose 41*d + 34 = -7. Suppose 2*j - 1 + 11 = 0. Which is bigger: d or j?
d
Let g be ((-15)/(48 - 3))/(1/(-6)). Is g smaller than 2?
False
Suppose 3*m + 50 = 13*m. Suppose m*o = -t - 62, -3*o + 0*o - t = 36. Is o <= -13?
True
Let x = -907234/343 + 2645. Is x greater than or equal to -1?
True
Let m = 42 + -12. Let h be ((-50)/(-3))/(20/m). Suppose 0 = 5*t - 2*d + h + 23, 0 = -2*d + 8. Which is bigger: t or -7?
-7
Let c(g) = g**2 - 2*g - 11. Let o be c(5). Let y be 2/(((-16)/o)/(-4)). Suppose -y*z + 18 = 5*f, 0*f = -3*f + 6. Is 4 < z?
False
Suppose -m = 5*v - 22, -3 - 1 = -v. Let d be 5 - 1 - m - 362/180. Do d and -1 have the same value?
False
Suppose 3*m - 9*m - 96 = 0. Let o(s) = -s**3 + 4*s**2 - 4*s - 2. Let i be o(4). Is m at least as big as i?
True
Let z be (-2 + -3)/((-4)/11). Is z bigger than 13?
True
Let k be (6/40)/((-14)/(-8)). Let j = 2116249/105 + -20155. Let a = k - j. Does a = -5?
False
Let m = -179 - -328. Let p = m - 149. Which is greater: -3/34 or p?
p
Let n(z) = z**2 - z - 3. Let f be n(3). Let g(x) = -x**3 + 3*x**2 + x - 3. Let l be g(f). Let d be (-15)/4*4/(-70). Is d less than l?
False
Let t = -2 + 1. Let m be (-2)/56*((-16)/(-33))/(-2). Which is greater: t or m?
m
Let c(a) = -a - 4. Let b = -8 + 11. Suppose 4*q - 2 = b*q, -4*g - 18 = -q. Let o be c(g). Which is smaller: 1 or o?
o
Let l = -0.7 - -0.1. Let g = 19 - 19.9. Let q = g - -0.8. Which is bigger: l or q?
q
Suppose 4*u + 4*r + 76 = 0, 4*u = -r - r - 66. Which is bigger: -20 or u?
u
Let u = -2.5 - 36.5. Let o = 15 + u. Is o equal to 0.2?
False
Suppose -89 = -4*y + 4*n - 7*n, -116 = -5*y + n. Suppose y = 3*v - 106. Let s = v + -30. Is 0 equal to s?
False
Let l = -3.3 + -0.7. Let w = -4 - l. Let y be (2 - (-32)/(-18))/((-96)/(-216)). Is y at least w?
True
Let p = 6.712 + -6.612. Let o = -363.7 - -347. Let z = -16 - o. Which is smaller: z or p?
p
Let g(k) = 29*k - 1. Let f(j) = -j + 8. Let n be f(7). Let o be g(n). Suppose h + 5*v + 14 = 0, 7*v + o = -5*h + 3*v. Which is smaller: h or 0?
h
Let m = 38 + -31. Let u be m*((-34)/8 + 4). Which is smaller: u or -1?
u
Let z = -6 + -7.6. Let s = z + 10.6. Which is smaller: s or 8?
s
Let h = -187 + 186.96. Which is greater: 73 or h?
73
Let i be 3/18 + 115/30. Which is smaller: -3/5 or i?
-3/5
Let f = 134 - 177. Which is smaller: -41 or f?
f
Let m = 17/143 - 4929/47476. Let d = -1249/38844 + m. Which is bigger: 0 or d?
0
Suppose 8 + 10 = p. Let f be (-1 - (0 + 2)) + -5. Let k = p + f. Which is smaller: 9 or k?
9
Let c be (13/(334 + 4))/((-1)/(-12)). Let f be (-5)/(-12) - (-5)/20. Do f and c have the same value?
False
Let o = -22/181 - -60515/1991. Let r = o + -39649/1309. Is 0 smaller than r?
False
Suppose 4*q = i + 18 + 46, -56 = -4*q - i. Let k = 40 - q. Is k at most 25?
True
Let u(k) = -239*k - 45. Let j be u(-17). Let q be j/(-4182) + 4/18*3. Which is bigger: q or 1?
1
Let w = -5263.479 + 5266. Let k = w + 0.079. Which is smaller: k or 0.1?
0.1
Let c = 88 - 32. Let p be 1/(-4) + 26/c. Let z be (-2)/(-9) - (-12)/(-54). Which is greater: z or p?
p
Let c be (0/2)/(2/(-2)). Let s be (((-12)/(-9))/4)/(-1)*-3. Let z = 4/3 - s. Is c greater than z?
False
Let v = -216 + 323. Let h be ((-152)/(-5))/(4/(-14)). Let o = h + v. Which is bigger: o or 2/3?
2/3
Let x = 42 - 10. Let l = x - 32.1. Is l less than 2/7?
True
Let x(n) = n**3 - 11*n**2 + 10*n + 4. Let z be x(10). Suppose -2*p + 14 = -3*r, z*r = -3*p + r + 21. Sup