 + 3*o = 8. Which is bigger: m or j?
m
Let v(x) = x - 27. Let a be v(12). Let f(l) = -5 - 3*l**2 - 3*l + 5 + 3. Let o be f(2). Is o bigger than a?
False
Let n(g) = g**3 - 10*g**2 - g - 3. Let d be n(10). Let c(z) = z**2 + 15*z + 6. Let b be c(d). Is b bigger than -21?
True
Let g = 1760 + -1761. Is -3/337 <= g?
False
Suppose -m + 0 = 21. Let u be 14/4*(-12)/m. Let y = u - -2. Which is greater: y or -1?
y
Let v(m) = m**3 - m**2 - 9*m + 15. Let n be v(2). Is 7/6 < n?
False
Let l(y) = y**2 - 3*y - 5. Let t = -5 - -9. Let z be l(t). Let n = -402 + 2011/5. Is n >= z?
True
Let z = 333 + -333.8. Is z at most as big as 5?
True
Let d = -189 - -189. Which is bigger: d or -1?
d
Suppose 319 = 6*m + 49. Which is greater: m or 44?
m
Let o(m) = m**3 + 3*m**2 - 3*m - 4. Let f be o(-3). Suppose -f*u + 14 = -11. Is u < 5?
False
Let f = 272.9 + -273. Which is greater: f or -132?
f
Let y = -165/596 + 4/149. Suppose -x + 0*x = 0. Suppose 5*b - 3*g - 21 = -4*g, 2*b + 3*g + 2 = x. Which is greater: y or b?
b
Let t = -3 - -3.7. Let g = 0.4 - t. Suppose -4*l = -0 + 4. Which is smaller: l or g?
l
Let f(l) = l**3 + 2*l**2 - 3*l - 2. Suppose 5*c + 0 + 7 = -3*d, -c + 4 = 0. Let g be ((-3)/3)/((-3)/d). Let o be f(g). Is -1/2 equal to o?
False
Suppose -v - 4*n = -n - 28, 5*v - n = 172. Suppose -v + 6 = -4*p. Is p less than or equal to 2?
False
Suppose 5*t - 7 = 2*f + 2*f, 5*t + 11 = -2*f. Let y be (14/21)/((-1)/f). Let g = -1 - -2. Which is bigger: g or y?
y
Suppose -79 = 4*k + 13. Which is smaller: k or -21?
k
Let c = 0.009 + 32.991. Let k be 5 - (31 + -31 - 3/(-1)). Which is smaller: c or k?
k
Let z = -21 - -17. Let a be 1 + z/4*15. Which is smaller: a or -12?
a
Let u be 1 - (-38)/(-42) - (-1004)/42. Which is smaller: 18 or u?
18
Let j = 17 - 12. Let q be 3/j - 910/(-400). Let m = q - 521/184. Which is greater: 1 or m?
1
Let r be ((-322)/184)/(-1 + (-123)/(-120)). Which is bigger: 2 or r?
2
Let i be 6/(-3 + (-22)/(-6)). Let p = 29 - i. Let z = 176 + -157. Which is smaller: p or z?
z
Let f be 27/(-2)*(-80)/12. Suppose -f = -b - 74. Is 19 less than or equal to b?
False
Let o = -7.8 - -6.7. Is o at least as big as 9?
False
Let l(f) = 34*f + 747. Let x be l(-22). Which is bigger: 159/7 or x?
159/7
Let y be 6/14 + (-1491)/49. Let l = y - -30. Is 1/21 < l?
False
Let f(u) = u**2 + 14*u - 8. Let d be f(-14). Let p be d/5 + 2 + 21/(-90). Which is bigger: 0 or p?
p
Let u(x) = x - 7. Let p be u(-5). Let h be 4/p*18/8. Is -4 bigger than h?
False
Let q = -234592/71 + 3304. Is -1 less than q?
True
Let h(g) = -g - 12. Let q be h(-9). Let v = q - -6. Let s be v - (70/(-24))/(-1). Is -1 equal to s?
False
Suppose -5*p - w + 5*w = -2723, -553 = -p + 5*w. Is p bigger than 543?
False
Let d = 15 + -13. Let w be (-56)/(-4)*d/(-4). Let a = w + 9. Which is smaller: a or -2?
-2
Suppose 2*s - 100 = -2*s. Suppose -2*x + 68 = 3*g, 6*x + 51 = g + x. Is s less than g?
True
Let c = 22.29 - 22.1336. Is -0.1 less than c?
True
Let x = -118 - -120. Suppose 0 = -6*s + s - 40. Let z be s*(-1)/((-18)/(-3)). Which is smaller: x or z?
z
Let u be 2/((-8)/6*(-73)/(-292)). Let i = 2 - 7. Is i at most as big as u?
False
Let g = 213.9 - 211. Is g smaller than -7?
False
Let y(k) = -4*k**3 - k**2 + k + 1. Suppose 0 = -9*n + 4*n - 5. Let z be y(n). Suppose 6 = -0*c - z*c. Which is bigger: -4/3 or c?
-4/3
Suppose -4*y - 15 = y + 5*p, 4*y + 10 = -3*p. Which is smaller: y or -8/27?
y
Suppose -6 = -4*h + h. Let a be h/((-4)/(-36)*6). Let t = -12 - a. Is t bigger than -16?
True
Suppose 5*o - 2301 = h, 2*o - 448 - 467 = -5*h. Are 462 and o non-equal?
True
Let s = -3.8 + 3.93. Let z = s - 0.09. Which is smaller: -1 or z?
-1
Suppose 0 = -4*v - 9 + 1. Let i be 2 + 15/3 + v. Suppose 0*h + i = -5*h. Which is bigger: h or 0?
0
Let a be (-8 - 2)/((-96)/(-2064)). Which is greater: -213 or a?
-213
Let a = -8 - -26. Let v(u) = u**2 + 3*u + 1. Let f be v(-6). Which is bigger: f or a?
f
Let x(y) = -y**3 - y + 145. Let l be x(0). Which is greater: l or 146?
146
Let y = 1.3 - 3.3. Let h = 9.6 + -2.6. Are y and h equal?
False
Suppose -3*w = -6 - 6. Let z be ((-4)/1)/w*-1. Which is greater: z or 1/19?
z
Let i be (-11)/(-45) - 4/(-20). Let m = -5.8 + 8.8. Is i at least m?
False
Let z be (-20)/(-50) + 4/10. Suppose -12 = -4*m - 2*i, -13 = -m - 4*m - 3*i. Suppose -j - l = -5, 2*j - 2*l + m - 3 = 0. Are z and j nonequal?
True
Let f be 6 - -121*3/(-57). Is 0 greater than f?
True
Let u = -55.2 + 55.47. Is 0.8 > u?
True
Suppose -2*f + 5*i = -132 - 86, 5*f = -5*i + 475. Is f smaller than 98?
False
Let g(l) = -l**2 - 6*l + 3. Let v be g(-6). Suppose 0 = -4*u - v*a - 11, -u - a + 1 = 5. Let n = u + 0. Which is smaller: 2 or n?
n
Suppose 0*m + 2*m = 4*l - 38, -3*m - 65 = 2*l. Let o be ((-3)/(-2))/(9/m). Suppose -z = -2*p + 1, z + 3*p + 5 = p. Is o >= z?
False
Let h = -7 - -23. Suppose 2*y = -2*o - h, 0 = 3*y + 2*y + o + 24. Let n be -7 + ((-8)/4 - y). Which is smaller: n or -6?
-6
Suppose -53*i = -49*i - 20. Let m(t) = -5*t**2 + 13. Let j be m(i). Let z = j - -558/5. Which is smaller: 1 or z?
z
Let a be (-552)/(-35) + 1 + (-5)/25. Which is bigger: a or 17?
17
Suppose -34*y + 33 = 33. Is -2/1481 bigger than y?
False
Suppose 25 = 5*g + 5*w, 8*w = 5*g + 3*w + 25. Let h = -810 + 50219/62. Is g equal to h?
False
Let j = -0.0655 + -0.9345. Is 123 != j?
True
Let s = -3 - -6. Let u = -10915/7 - -1562. Is u less than s?
True
Let r = 414 + -1240/3. Which is smaller: -104/9 or r?
-104/9
Suppose 0 = 5*u - 6*u + 66. Let s = u + -203/3. Suppose -6 = 3*t, -b + 3 = -2*b - t. Do b and s have the same value?
False
Let d = 0 - 0. Suppose 17 - 3 = 2*j. Let l be j/44 + (-1)/4. Which is greater: d or l?
d
Let r(d) = 21*d**2 - 1. Let c be r(1). Let g = 19 - c. Let o be (4/5)/(10/25). Is g < o?
True
Let v = 2 + -3. Let d(b) = b**2 - 7*b + 10. Let u be d(4). Let l be (u*(-2)/(-24))/1. Which is smaller: v or l?
v
Let u = -0.027 + 0.127. Which is smaller: -25/6 or u?
-25/6
Let z(a) = -10*a + 78. Let s be z(10). Which is smaller: s or -23?
-23
Let n be (-264)/176 + (-338)/4. Which is greater: -90 or n?
n
Let w(r) = -r**3 - 7*r**2 - 6*r + 2. Let v be w(-6). Suppose -1 = -34*g + 101. Which is smaller: v or g?
v
Let s = 477 + -592. Is s >= -4?
False
Suppose -3*x = -8 + 5. Let q be x*24/(-20)*(-10)/(-4). Are 0.03 and q unequal?
True
Let j = 165 - 129. Suppose 7*x = 3*x - 5*n + 151, -n = 4*x - 139. Which is smaller: x or j?
x
Let j(v) = -v + 7. Let n be j(9). Suppose 0 = -5*s + 5 - 20. Let o = n + s. Is o at least as big as -4?
False
Let v(z) = z**3 - z**2 - 2*z - 1. Let j be v(2). Let m be (1/3)/((-8)/(-144)). Suppose -3*k - m = -0*k. Which is smaller: k or j?
k
Let q(d) = -d + 30. Let p be q(-36). Is p at least 65?
True
Let f be 77/21 - 11837/57. Is f >= -210?
True
Suppose -81*g - 946 = -103*g. Which is bigger: 37 or g?
g
Let y(o) = o**2 + 5*o - 4. Let j be y(-6). Suppose 11 = -l + 3*m, -4*l - m = -l + 73. Let h(r) = -r**2 - 23*r + 4. Let a be h(l). Which is bigger: j or a?
a
Let t = 15.328 - 0.128. Let i = t - 15. Let w = 17 - 21. Which is greater: i or w?
i
Suppose f = 5*p - 801, 0 = 4*p - f + 67 - 707. Is 1 less than p?
True
Suppose -44*u + 42*u = 2. Which is smaller: -9/32 or u?
u
Let r = -324 + 274.96. Let z = 49 + r. Is -0.01 equal to z?
False
Let v = -12/11 + 145/22. Which is greater: v or -3?
v
Let o be (-80311)/(-32142) + 10/(-4). Is o greater than or equal to -1?
True
Suppose -16*b + 96 = -24*b. Is b less than -13?
False
Let u(x) = x - 1. Let j(w) = 10*w - 14. Let k(a) = -j(a) + 12*u(a). Let n be k(-6). Suppose t + y = -10, 5*t = y - 15 - 35. Is n greater than t?
False
Let q(h) = -h**3 - 7*h**2 + 2*h + 9. Let k be q(-7). Let n(d) = d**2 + 6*d + 7. Let a be n(k). Suppose 0 = -s + 4 + a. Are 6 and s unequal?
False
Let q = -116 - -104. Is -12 bigger than q?
False
Let r = -5 - 5. Let v be (-84)/(-15) - r/25. Let h(n) = n**3 - 6*n**2. Let z be h(v). Which is smaller: z or -1/6?
-1/6
Let a = -45 - -10. Suppose 5*s - 20 = -2*i, 6 = -3*i + 5*s + 36. Let m be i/a - (-44)/7. Which is greater: 4 or m?
m
Let t be 7/3 - 68/(-3). Let h(d) = -d**2 - 5*d + 5. Let k be h(-5). Suppose 4*b - 4*z - 20 = 3*b, -4*b + k*z + t = 0. Which is greater: 1 or b?
1
Suppose 10 = -24*t + 19*t. Suppose -4*w - 7 = 1. Is w > t?
False
Let g = 711 - 708. Suppose -4*y + 3*y + 5 = 0. Do y and g have the sam