m + 6. Does m = i?
False
Let z be 9/(-18) + ((-954)/(-12) - -2). Is z greater than or equal to 11?
True
Suppose 5*f + 28 = 248. Is f < 46?
True
Suppose -3*a = -u + 65, -4*u + 2*a + 164 + 136 = 0. Suppose 5*x - p + u = -0*x, -5*p = -4*x - 49. Is -16 at most x?
True
Suppose -2*v = 6, 0 = 4*u + 3*v - 4 + 5. Which is greater: 13.8 or u?
13.8
Suppose 3*r + 2*x = 11, -r - x = -5*r. Is r greater than or equal to -140?
True
Let i = -1 - -1. Let f = -183/4 + 25445/556. Which is smaller: f or i?
i
Suppose 5*c = 2*c - 4*p + 75, 4*p = 12. Let l be (-6)/c + (-69)/(-21). Let k be ((-2)/8)/(l/10). Which is greater: -2 or k?
k
Let k = -98 + 221. Let l be (86/110 + -1)/(k/410). Does -1 = l?
False
Let j = 623 + -3116/5. Which is smaller: j or -52?
-52
Suppose -8*n + 971 + 349 = 0. Let u be (-3)/2 + 3/(306/n). Suppose 5*g = -0*g. Which is smaller: g or u?
g
Let q be 4/(-8) + 63/(-220). Let w = q - -13/20. Let t = 66 - 66. Is w smaller than t?
True
Let f = 248 - 1481/6. Suppose -4*p - 17 = -5*r + 15, -p + 5 = 2*r. Suppose c = -r*c. Are f and c non-equal?
True
Let b(k) = -k**3 - 18*k**2 - 7*k - 43. Let v be b(-18). Let n = 58 - v. Which is bigger: n or -24?
-24
Let s = -710 + 709. Is -529 at least as big as s?
False
Let z = -24 - -25. Suppose 0*j = -j + z. Is j equal to 5?
False
Let o(d) = 10*d**3 + 3*d**2 - 9*d - 15. Let i be o(-3). Is i at least as big as -234?
True
Let z = -25 + 29. Let v(i) = i - 3. Let q be v(5). Suppose -q*f = -z*f. Is -2/43 at least f?
False
Let b = 234 - 676/3. Let u = b + -9. Suppose 0 = 4*d + 4. Does u = d?
False
Suppose -3*m - 2 = -4*m. Let k be m/42*40 + -2. Is 0 at most as big as k?
False
Let c = 94 - 134. Let i be (-1 + (-1 - 1))*c/3. Which is smaller: 42 or i?
i
Let y = -23 - -85. Let o = -61.9 + y. Which is smaller: o or -0.1?
-0.1
Let h be 16/(-40) + 104381/(-335). Let d = h - -312. Is 0 at least as big as d?
False
Let a = 1628.13 + -1661. Let r = 33 + a. Let z = -0.07 - r. Is 4/7 < z?
False
Let g be (-3)/6 + (-22)/(-4). Suppose 0 = -2*h + g + 1, -3*k - h + 12 = 0. Suppose -4*w = -k*y + 24, -y - 3*w - 5 + 0 = 0. Which is smaller: 1 or y?
1
Let x be 4/(-3)*(-4 + -2). Suppose 7 = -u - 2*u - y, 3*u - x = -4*y. Which is bigger: u or 8?
8
Suppose 1 = k - 1. Let c(n) = -n + 1. Let q be c(k). Let y be 6 - 140/63*854/315. Is q at least as big as y?
False
Let r = 16 + -25. Let x = 51 - 47. Suppose -43 = 4*p - 3*f, 0*f - x*f = -4*p - 44. Is p <= r?
True
Suppose 2502 = -2*n - 4*c, -2*c = 3*n + 1753 + 2008. Which is smaller: -1254 or n?
n
Let s(x) be the first derivative of 21*x**4/4 - x**3/3 + x + 12. Let n be s(1). Which is smaller: 22 or n?
n
Let h = -27 + -37. Let w = -64 - h. Which is greater: w or -16?
w
Let v(l) = l**3 - 9*l**2 - 10*l - 5. Let d be v(10). Let z(s) = -s**3 - 6*s**2 - 6*s - 7. Let m be z(d). Is m less than -11/4?
False
Suppose -2*f + 3 = z + 2, -6 = -2*z. Let g be (1/14)/f*(-14)/4. Which is smaller: g or 34?
g
Suppose 4*v = 4*m - 1100, -3*m + m = -4*v - 1090. Is v less than -269?
True
Let k be -7 + 0 + 0 + 4. Let z be 1 + -25*k/(-81). Suppose 4*v = 5*g + 16, -v - 2*v - g - 7 = 0. Which is smaller: z or v?
v
Let r = -4/9 - -11/18. Which is smaller: -5 or r?
-5
Let z = -0.243 + 0.143. Let y = -113.96 + 105. Let i = 0.04 - y. Is z <= i?
True
Suppose 35 = 2*z + 3*z. Suppose -l = -4 - 3. Suppose -b = -w + l - 1, -2*b = 2*w - 12. Is z smaller than w?
False
Let v be 593/99 - 48/8. Is 1 less than v?
False
Let o be ((2 - 0) + -3)*1*-5. Suppose -4 + 24 = 4*q. Suppose -q*h - 2*n = -40, 4*h - 22 = -n + 7. Is h equal to o?
False
Let h(u) = -13*u - 145. Let o be h(-12). Which is greater: 57/5 or o?
57/5
Let l(d) = -d**2 + 7*d - 6. Let r be l(6). Suppose -2*z - 2*b - 8 = r, 2 = -2*z - 3*b - 10. Suppose 5*h = -z*h - 45. Is -8 smaller than h?
False
Let m = -13/7 - -129/77. Suppose 3*t = 1 + 2, -3*t + 6 = -3*b. Let v be (3 - b) + (16 - 19). Is m equal to v?
False
Let q(m) = -12*m + 203. Let s be q(6). Which is greater: s or 134?
134
Suppose y + 4*i + 11 = 0, 3*y = -0*y - 2*i - 3. Let m be ((-12)/7 - -1) + y. Is 5/8 at least as big as m?
True
Let z = -4/15 + 2/3. Are 18/31 and z unequal?
True
Let w = -26.6 - -24. Let i = -6.4 + w. Let t = i + 12. Are -2 and t nonequal?
True
Suppose 4 - 5 = -k. Suppose d + 3 - k = -3*i, -3*d - 2*i = 13. Let h(y) = -y**2 - 4*y + 5. Let z be h(d). Is -2/17 != z?
True
Let c = -4 - 47. Is -50 at most as big as c?
False
Let b = 0.12 + 7.88. Are -3/5 and b unequal?
True
Suppose 337 = 8*m - 423. Let k = m - 95. Is k <= 2/11?
True
Let u(t) = -32*t + 7. Let y be u(2). Let k = 62 + -118. Is k equal to y?
False
Let p be 3/2*(-15 + 1). Let n = p + 26. Suppose 8*i = n*i. Is i != 1/13?
True
Let l be 3/12 - (-57)/(-4). Let i be (l/(-3) - (-34)/(-51)) + -6. Is -10 less than or equal to i?
True
Let l = -79 + 114. Let k be ((-2)/3)/(10/l). Let c(u) = -u - 7. Let y be c(-6). Is k bigger than y?
False
Let x be (-2)/(-2) - 44/(-11). Which is smaller: x or 33/8?
33/8
Let w be 2736/528 - (-6)/(-22). Which is smaller: w or 5?
w
Suppose -602 = p - 106. Let i = p + 963/2. Let u = i - -18. Is 3 >= u?
False
Let p be (-4)/(-12) + (-5)/(-3). Suppose -5*g + 379 = 2*f, 0 = p*g + g - 3*f - 240. Let m be (330/g)/(3/14). Which is greater: 21 or m?
21
Suppose 13 - 7 = -3*c. Is -6/5 greater than c?
True
Suppose 0 = -6*h - 9 + 153. Suppose -5*w + 2*g + 40 = 0, 0*w - h = -3*w + 2*g. Which is smaller: w or 1?
1
Let i = 117.07 - 17.17. Let p = -100 + i. Which is smaller: p or 2/3?
p
Let u = -56 - -113/2. Let d = -0.25 - -0.25. Which is greater: u or d?
u
Let w(v) = v**3 - 5*v**2 + 3*v - 34. Let b be w(5). Are -81/4 and b unequal?
True
Let a(m) = 18*m + 8. Let b(z) = 6*z + 3. Let q(w) = 2*a(w) - 7*b(w). Let f be 2*(4/10)/((-6)/15). Let g be q(f). Does 4 = g?
False
Let a be (-10 - -8) + (104 - 2). Suppose 0 = 3*h + 2*h + a. Does h = -22?
False
Suppose -j - 1 = 0, 17*s = 22*s - 5*j - 310. Is s at least 46?
True
Let k = 7 + -24. Which is smaller: k or -19?
-19
Suppose -2*n - 2 = -5*y, 3*n + 2 - 25 = y. Let o be 4 - n - (2 - 7). Which is bigger: o or 2/11?
2/11
Let t = 88 - 547. Is -459 equal to t?
True
Let d = -210 - -203. Is 7 at most d?
False
Let o = -39 - -69. Suppose 3*x - 84 = 3*i, 2*x - 35*i - 55 = -32*i. Which is greater: o or x?
o
Suppose 5*m + 79*v - 78*v - 6027 = 0, 4*m + 3*v = 4815. Is m < 1205?
False
Let f(t) = 7*t**2 - 21*t - 41. Let v(y) = -13*y**2 + 41*y + 81. Let c(r) = 11*f(r) + 6*v(r). Let n be c(17). Is n less than 12/5?
True
Let n(r) = 5*r - 34. Let u be n(6). Which is smaller: 27 or u?
u
Let h be (-75)/(-279) - (-46)/713. Let o be (-3)/2*8/(-6). Suppose -u = -o*u. Which is smaller: u or h?
u
Let n be 7/(-77)*(-143)/78. Which is smaller: 270 or n?
n
Let y = -26576/15 + 1771. Which is bigger: -1 or y?
y
Suppose 4*f - 2*s + 7*s = 223, -4*s - 196 = -4*f. Which is smaller: 319/6 or f?
f
Suppose 3*g + 2*g = -5*w + 10, -2*w + 16 = 4*g. Let a = g + 8. Let m = a - 18. Is -4 less than or equal to m?
True
Let h(d) = d**3 + 8*d**2 - 13*d - 14. Let b be h(-8). Let p be (6 + -8)*3/b*3. Suppose y + 3*g = 5*y - 13, -15 = 5*g. Do y and p have different values?
True
Let h be ((-182)/(-6))/((-19)/114). Do -182 and h have different values?
False
Let v = -6 + 0. Let k be v/(-5) + 36/45. Suppose 4*p = k*p. Which is smaller: -2 or p?
-2
Let w be (-3)/(-6) + (1950/12)/13. Which is bigger: w or 59/5?
w
Let y = -47.5 - -9.5. Which is greater: y or -0.2?
-0.2
Let z = 0.3 - -0.7. Suppose 5*u - d - 30 = 0, -d - 6 + 1 = 0. Suppose u*r - 9*r = 0. Is z greater than r?
True
Suppose 3*q - 2*q + 6 = -5*r, -4*q + 3*r = 1. Let h be (q/15)/(42/4122). Let b = h + 32/5. Which is bigger: 0 or b?
0
Let s be 30/(-70) - (-2958)/(-56). Is -52 at most s?
False
Suppose -3*r = -4*r - 81. Let d be (-50)/(-63) - (-18)/r. Let s = -41/84 + d. Is 0 < s?
True
Let x(l) = -31*l - 12. Let u be x(-4). Suppose -2*g + u = -4*a, 2*g = 5*a - 0*g + 141. Which is smaller: -28 or a?
a
Suppose 0 = -3*h - 9 + 3. Let c be 80/14 - ((-16)/7 - h). Which is greater: c or 3?
c
Let s = 0 - -9. Let l = -2.1 - 9.9. Let m = -11.9 - l. Is s bigger than m?
True
Let h = 19.3 - 17. Let n = h + 8.7. Let z = n - 12. Does z = 2/7?
False
Let q(z) = -z + 1. Let w be q(3). Let s be (1 - w)*(-3)/(-126). Suppose 3*n = 3*i - 8*i + 20, -4*i = 3*n - 16. Is s != n?
True
Let n = 31.87 + -32. Let h = -25.87 + n. Let r 