 r = 38.61 - -0.39. Let w = r + -44. Is 4 at most w?
False
Suppose 4*g - 8 = 208. Let p be 28/126 - 16/g. Suppose 10*n + 5 = 15*n. Which is bigger: n or p?
n
Let x = 6 + 18. Let q(t) = 4*t + 1. Let m be q(6). Which is smaller: m or x?
x
Let q = -1705 + 1704. Which is smaller: q or -11/80?
q
Let w = 3 - 9. Suppose -3*q = 10*q + 104. Does q = w?
False
Let b = -1188 + 1209. Suppose -2*t + 33 = -11. Are t and b nonequal?
True
Let c = 8 + -7.4. Let s(x) = -14*x**2 - 25*x - 3. Let r be s(-2). Which is smaller: c or r?
r
Let d(l) = -l**2 + 8*l - 4. Let y be d(7). Suppose 0*q - 3*i - 198 = -5*q, -222 = -5*q - y*i. Suppose -3*o + 5*a = -q, 3*a = -2*o + 8 + 1. Is 8 not equal to o?
True
Let n be ((-1)/(-4))/(49/42). Let c = -1/126 - n. Which is smaller: c or -0.04?
c
Let b(v) = -3*v + 6. Let w be b(4). Let z be (-2)/w*(-36)/62. Which is smaller: 1 or z?
z
Let d(x) = 0*x**2 + 162 + x**2 - 184 + 3*x. Let a be d(-5). Is a >= -1?
False
Suppose -3*y - 3 = -3*g + 9, -4*y - 4*g + 8 = 0. Let o be 2/(-11) - 180/99. Let c be (-1 + o)/(7/21). Which is smaller: c or y?
c
Let g be (0/1 - 0)/(-45 - -49). Let t(a) = -19*a - 4. Let v be t(-4). Let p = 358/5 - v. Is g at most p?
False
Suppose 14 = -7*z - 105. Suppose v + 81 = -4*h, -3*h = -0*v + 5*v + 82. Is z != h?
True
Suppose 5*y - 4*x - 130 = 0, 2*y + 2*x = -y + 56. Let w be (-99)/6*(-12)/(-9). Let d = w + y. Is 1/4 less than or equal to d?
False
Suppose 0*f - 3 = -3*f - 3*r, -4*f - 5*r - 1 = 0. Is f not equal to 37/7?
True
Suppose -5*z + 2*z - 42 = 0. Suppose -21*k - 224*k - 2695 = 0. Is k at least as big as z?
True
Suppose -a - 10 = -3*a. Suppose -a*j - 10 = 5*v, -5*j - 1 = 14. Let p(l) = 7*l**2 - 16*l + 5. Let r be p(2). Is v > r?
False
Let l = 3.806 + 0.194. Which is bigger: 37 or l?
37
Let z = -27.4 - 8.6. Which is smaller: 0.1 or z?
z
Let f be ((-2)/5)/(1/5). Let t = -36.36 - 2.44. Let q = t - -39. Which is smaller: f or q?
f
Suppose -p + 113 + 105 = 5*y, -2*y + 77 = -3*p. Is 37 >= y?
False
Let q be (5/(-90))/(5/(-10460)). Let s = q + -116. Which is smaller: 4 or s?
s
Let y = -0.06 + 0.03. Let t = -5.5 + 5.93. Let u = -0.13 + t. Which is smaller: y or u?
y
Let c(j) = -16*j - 1. Let t be c(-1). Suppose 0*s + 249 = 5*s - 3*v, 0 = 5*v + t. Which is bigger: 47 or s?
s
Let q(f) = -f**2 - 12*f + 13. Let o be (2/(-1) - 24)/2. Let m be q(o). Let p be m/(-1) - (-42)/7. Is p not equal to -1?
True
Let x = 15 + -25. Suppose 2*i + 7*i + 36 = 0. Is i <= x?
False
Let o = -51 - -201. Is 152 greater than o?
True
Let o(b) = 13 + b**2 - 7 + 7 + 14*b + 16. Let r be o(-12). Suppose 0 = 5*d - 0*k + 3*k - 8, -3*k = -3*d. Which is smaller: d or r?
d
Let u = 1/149 - 13267/894. Let w = u + 967/66. Suppose 0*f - 3*f + 2*o = 5, 0 = 3*f - 5*o + 17. Which is smaller: f or w?
w
Let j = 0.136 + -0.009. Let o = j - 2.527. Which is smaller: 1/2 or o?
o
Let a(n) = -15*n + 74. Let h be a(5). Which is bigger: h or -4/27?
-4/27
Let q = -271/12 - -85/4. Let a = -86 - -85. Is q less than a?
True
Let z = -451 + 847/2. Let q = 28 + z. Are q and 33 equal?
False
Let s = 11 - 10.76. Let x = s + 14.76. Let o = x + -14.9. Which is smaller: 9 or o?
o
Let w = 7.692 + -7.6. Are w and -1/3 equal?
False
Suppose 2*z + 2*y = 14, -27*y + 10 = -5*z - 23*y. Let o = 1 - 1. Suppose -5*l = -2*r - 25, o*r - 2*r - 10 = -z*l. Are -1/28 and r equal?
False
Suppose 87 + 39 = -2*y - 4*k, 2*y - k + 116 = 0. Which is bigger: -645/11 or y?
-645/11
Let o(g) = g - 19. Let z be o(15). Let u(w) = w**3 + 4*w**2 + 2*w + 3. Let j be u(z). Which is bigger: j or -7?
j
Let a be 0/(-3 + 2 + -2). Let y be a + (-4)/(-4) + 3. Suppose 2*c = 3*f + 8, y = -c + 2. Which is smaller: f or -10/3?
f
Let h be 2/9 + 8/(504/(-1337)). Is h less than -21?
False
Suppose -4*q = 3*q - 14. Suppose q = 3*o - 1. Is -2/23 smaller than o?
True
Let a be 2/9 + 432/243. Let b = -1/11 + 38/55. Which is greater: a or b?
a
Let m = -6.3 - -6. Let d = -69 - -12. Let b = -56 - d. Which is smaller: b or m?
m
Suppose -2*f - 10 = 2*c, f - 3*c + 3 = -2. Let z be 4/f - 48/90. Which is greater: z or 1?
1
Suppose 0 = -16*m + 17*m - 13. Suppose 5 = -d + 2*g - 3*g, d = -3*g - m. Let k = 5/123 + -650/861. Which is greater: k or d?
k
Let m = -655.95 + 656. Let i = 3 + -3.03. Which is greater: i or m?
m
Let l = -0.073 - -0.039. Let c = -12.966 + l. Which is smaller: 1/2 or c?
c
Let a = 45 - 43. Suppose -a*s + 88 = 3*v, v + 5*s - 85 = -2*v. Is 31 at most as big as v?
False
Suppose -2 = f - 4. Suppose -j + 8 = -2*j + f*l, -l = -j - 5. Let i be j/(-4) - (-9)/(-6). Is -1/5 at most as big as i?
False
Let z be 1/(-7) - (-4 + 6014/1610). Is z less than 0?
False
Let z = -807 + 818. Which is greater: z or -1?
z
Let j be 8/(-3) + (-430)/(-258). Is j greater than 2/6175?
False
Let p be ((-3)/6)/((-6)/396). Let o = p - 34. Do 1 and o have different values?
True
Suppose -1119 = 10*t + 581. Which is smaller: -171 or t?
-171
Let a be (0 - (0 - -4))/(1 + 8/(-6)). Let s = -9 + 3. Which is smaller: a or s?
s
Suppose -7*t = -2*t + 25. Let c(m) = 5*m - 6. Let g be c(-8). Let l = g - -41. Is l <= t?
True
Let n(r) = -r**3 - 15*r**2 + r + 11. Let g be n(-15). Let i be (10706/13 - 3) + g. Let c = 817 - i. Are -1 and c non-equal?
True
Suppose -4*v = -4, 0 = -5*g - 2*v + 53 - 21. Let x = 4 - g. Let d be 9 + 4 + 341/(-22). Is x greater than d?
True
Let p = 891 + -897.69. Is 1 not equal to p?
True
Let n = -512000/441 + 1161. Which is smaller: 0 or n?
0
Suppose -3*c + 2*h = -0*c - 5, -h = -c + 2. Is 3 < c?
False
Let p = -39 + 28. Let l = p + 6. Let r = 0.82 - 1.82. Is l at least r?
False
Suppose 0*q = 2*q + 3*g - 11, 0 = -q - 2*g + 8. Let t be (-20)/8 + q/((-6)/9). Which is bigger: 0.4 or t?
t
Let h(z) = z**3 - z**2 + 2*z - 4. Let l be h(2). Suppose l = 14*d - 10*d. Which is smaller: d or 2/69?
2/69
Let v be 6 - (-6 - (0 + -6)). Is v smaller than -8?
False
Suppose 0 = -5*j - 5*u - 2960, -j - 1159 = j - 3*u. Is j smaller than -586?
True
Let p be (-8)/(5/10*-4). Let r be (p/(-20))/((-28)/35). Suppose 12 = 3*c + 57. Which is bigger: c or r?
r
Suppose -3*x = 4*j + 9 + 2, 0 = 2*j + 5*x + 23. Suppose j - 4 = -3*k. Suppose -c + 0 = k. Is c at least as big as 1?
False
Let h be ((-2)/4)/(1/2). Let o be -1 + 3/(-11) - h. Let x = 32/77 + o. Is -1 at most as big as x?
True
Let c = -8/209 - -2384/18601. Let r = 474/3293 - c. Which is smaller: -1 or r?
-1
Suppose -27 = 5*b - 2*s - 7, 0 = -s + 5. Let k(c) = -5*c**2 - c. Let j be k(b). Let a be (-2)/(-4)*j/(-3). Is 2 not equal to a?
True
Suppose v + 0 = -3*a - 5, 0 = 4*a - 4*v + 28. Let h be a/(-28) + -1*(-4)/(-16). Which is bigger: h or 0?
0
Let u = 929/455714 - 1/602. Is 1 greater than or equal to u?
True
Suppose 0 = -5*q + 4*q - 90. Let k be (-3)/(-15) + 78/q. Let o = -2 - -1. Are k and o unequal?
True
Let b be 11 + -5 + (-56)/7. Let s(n) = 14*n**3 + 2*n**2 + n. Let i be s(-1). Let u = i - b. Is -9 >= u?
True
Let k = -738 + 789. Is 205/4 smaller than k?
False
Let c = 16/151 - 8761/84107. Is 1 greater than c?
True
Let s = -38065/3 + 12863. Which is greater: 175 or s?
175
Let h be (36/15)/((-4)/(-40)). Suppose -l - l + h = -4*u, 0 = 3*l - u - 11. Suppose -w + 22 = -0*w - 5*s, l*w = 3*s + 16. Is w less than or equal to 7?
True
Suppose 3*w = j + 278, 4*j + 3*w = 7*w - 1080. Which is greater: -265 or j?
-265
Let h(f) = -5*f**2 - 16*f - 1. Let b be h(-3). Is -104 equal to b?
False
Let y be -3 + (403/(-62))/((-10)/4). Which is smaller: y or 1?
y
Let l(j) = -19*j - 495. Let d be l(-26). Let y = -295390/181 - -1632. Is d > y?
False
Let c = 7.49 - 3.49. Let f = -8 - -6. Which is bigger: f or c?
c
Let k be (17/4590)/((-40)/14754). Let w = k + 11/8. Let i = w + 136/1575. Which is bigger: 0 or i?
i
Suppose r = 5*r - 8. Suppose 0 = -n, -6*n = -5*w - r*n - 25. Let k be (w - -5) + (-1)/3. Is 1 at least k?
True
Suppose -3*c = 3, -c - 4 = 3*f + 3*c. Is 1/15 bigger than f?
True
Let k = -9.1 - -9. Is -59/3 < k?
True
Let j be 1 + 3*1 + -1. Suppose -7*a = -j*a. Let s = 7177 + -7174. Which is greater: a or s?
s
Let d be (10/4 + -3)*0. Suppose -32 = -2*m + 3*x - d*x, 0 = m + 2*x - 30. Is m less than or equal to 21?
False
Let w = -2017/1148 + 2/287. Suppose -2*y = 2*s + 2*y - 12, 30 = 5*s + 4*y. Suppose -2*k - 4 = -s*k - 4*r, -5*k - 19 = -3*r. Which is smaller: k or w?
k
Let r = -13/4 + 7/2. Let b = -271.87 - -272. Is r at least as big as b?
Tru