-35 = 5*x - q. Which is greater: -5 or x?
-5
Let p be (-21)/(-18) + (-9)/54. Let t = 2 - -2. Suppose -t*w = w. Which is bigger: w or p?
p
Let i be 10*(77/70)/((-2)/8). Is i > -45?
True
Let r = 178265/28 + -34054/7. Let u = -1510 + r. Is u less than or equal to -9?
False
Let n = 1.41 - 9.71. Let k = n + -3.9. Let y = k - -2.2. Which is greater: 1 or y?
1
Let a = -9 - -9.1. Suppose b - 5 = -13. Let x be (3/54)/((-2)/b). Which is bigger: a or x?
x
Let y(b) = -b**2 - 22*b - 21. Let l be y(-21). Let q = -483499/9 - -53827. Let n = q - 105. Is l less than n?
False
Let z = -612 + 739. Does z = 131?
False
Let z be (2 - 5)*1*1. Let r be (-5 - -3)*(164/(-55) - z). Is 0 less than r?
False
Let i = 0 + 5. Suppose -2*h = -i*h. Suppose 5*p = -3*u + 28, -3*u + p - 1 = u. Do h and u have the same value?
False
Let q(j) = j**2 + 25*j - 13. Let u be q(-24). Is -39 < u?
True
Suppose 0 = 4*q + 20 - 8. Let b(d) = 5*d**2 + 43*d - 13. Let p be b(-9). Suppose 10 = -0*s - p*s. Which is greater: s or q?
s
Let n(j) = 7*j**2 + 6*j + 1. Let y be n(-3). Suppose -50 = -4*k - y. Which is greater: k or 1/9?
k
Let p(d) = -4*d**2 + 3*d + 11. Let u be p(-4). Let f be 0 + 638/(-10) - 2/10. Is f greater than u?
True
Let a be 72/(-2) + -4*1 - -2. Is a greater than -112/3?
False
Let x be -10*(-7)/(-18) - -3. Which is smaller: 2/9 or x?
x
Let v(k) = 8*k - 30. Let t be v(5). Let m be (-30)/(-4)*(3 - 5). Let x = m - -26. Is x > t?
True
Let w = 208 - 208. Is 1/64 less than w?
False
Let n = 1 - 7. Let r = 3475/3 + -1164. Is n less than or equal to r?
True
Let p be 0 + 1 - (-40)/10. Suppose 5*d = p*b + 15 + 10, -3*b = -5*d + 25. Which is smaller: b or -1/7?
-1/7
Let b = 0 + -0.01. Let f = 456 - 455.99. Let p = f + b. Is 1/2 greater than p?
True
Let f = 0.298 - 0.238. Which is greater: 0.31 or f?
0.31
Let j = -0.1304 - -0.0304. Let v = -2.01 + 0.01. Let a = -1.5 - v. Which is greater: j or a?
a
Let j be 15/(450/12)*70. Is 28 != j?
False
Let m = -2.8 - 10.2. Let y = m - -12.9. Let a = y + -0.9. Which is bigger: -0.3 or a?
-0.3
Let c be (-540)/24*2/6*-5. Which is bigger: 38 or c?
38
Let n be (-4 + 5 - 7)*(-22)/4. Suppose 7*c = n - 152. Which is smaller: -18 or c?
-18
Let z = -0.75 + 0.41. Let w = -44.36 - -44. Let f = w - z. Is -3/5 less than f?
True
Let d be 4/6 - (-11)/(-3). Suppose -i = -0*i + 6. Let r be (i/75)/(d/15). Which is smaller: 1 or r?
r
Suppose 6328 - 1084 = -38*x. Does 7 = x?
False
Let m = -654 + 661.29. Let h = 7.2 - m. Let w = 5/2 + -3. Which is smaller: w or h?
w
Let w be ((-6)/(-36))/(10/3 + -1). Let n be ((-6)/8)/((-2)/8). Suppose -n - 1 = 4*u. Are w and u non-equal?
True
Suppose 0 = 14*s + 85 - 1037. Is 69 greater than s?
True
Suppose -6*g + 24 = -3*g - 3*n, 12 = -g - 4*n. Suppose -4*a + 5*a = -6*a. Suppose 2*l - g*l + 4 = a. Which is smaller: l or 6/7?
6/7
Let k(p) = p**2 - 18*p - 80. Let h be k(23). Is 37 smaller than h?
False
Let h = 1.64 - 1.4. Let r = -4.84 + h. Let i = 5 + r. Is i >= 2/5?
True
Let m = -14 - -20. Suppose -4*x - m = -q, 2*q = -3*q + 5*x - 30. Is q >= -10?
True
Let k = 2 - -12. Let q = -745 + 747. Let b be (-24*q/k)/(-2). Which is bigger: b or 3?
3
Suppose -5 = -2*k - 1. Suppose -j = -s - 3, -2*s + 22 = -k*j + 7*j. Suppose 0 = -v + 5*g - g - 4, -3*g = -j*v - 3. Which is bigger: v or 2/29?
2/29
Let o(x) = -x**3 + x**2 + x + 129. Let i be o(0). Is i != 129?
False
Let l(h) = -h + 45 - 7 - 79. Let j be l(0). Which is greater: j or -42?
j
Let p be (-124)/(-6)*(-9)/(-6). Suppose 2*c - 85 = -3*t, -t = -4*c + 104 + p. Suppose -3*g = -f + c, g + 7 = -4*f - 22. Is g >= -13?
True
Let p(k) = k**2 - 2*k + 7. Let x be p(-3). Suppose -4*s + 0 = -5*q + 6, 3*s + x = -5*q. Let v be -6*2/9*1. Is v bigger than q?
True
Suppose 3*d = 6 - 0. Let p = -160 - -163. Suppose -d*o = -p*o. Is o at most 1?
True
Let l be 2/(-7) - 2/(-7). Suppose 0 = 2*k - l - 4. Let j be (30/7)/(-3) + 1 + 1. Which is bigger: k or j?
k
Let x = -2 - -4. Let c be 41416/(-1672) - (1 + x). Let t = c - -302/11. Which is greater: t or -1?
t
Let v(a) be the second derivative of -a**3/6 - 3*a**2/2 - 3*a. Suppose 2*y = 7*y + 15. Let i be v(y). Is 3/5 <= i?
False
Let i = -15 + 15. Suppose i = 4*d - 0*d + 20. Let r be 21/(-18)*d/(-35). Is 1 greater than or equal to r?
True
Suppose 0*u - 5 = 3*u + 2*o, -2 = -u + 3*o. Let z(p) = -2*p**2 - 3*p - 2. Let h be z(u). Let y be 1 - 3 - 133/(-63). Do h and y have the same value?
False
Suppose 188 = -3*w - w + 2*x, 0 = 4*x. Let n = -43 - w. Are n and 7 unequal?
True
Let o(z) = z**3 - 6*z**2 + 3*z. Let g be o(5). Let r be (1/22*-8)/g. Which is smaller: r or -1?
-1
Suppose 442 - 1188 = -2*w. Suppose 377 = -3*q - v - 767, -q - w = 2*v. Let l = 2690/7 + q. Which is smaller: l or -1/4?
-1/4
Let u(p) = -p**3 + 46*p**2 - 55*p + 52. Let i be u(45). Is i at least -398?
True
Let l = 926 - 928. Is -52 at least as big as l?
False
Suppose 0 = -8*n + 276 + 20. Let b(c) = 3*c + 10. Let u be b(-4). Let r be u + 1 + n/35. Which is smaller: r or 1?
r
Let n be (-6)/10 + (-8)/(-5). Let r = 20 + -10. Let i be r/(-182) - (-8)/28. Is n at least i?
True
Let y = 19 + -16. Suppose -28 = -y*t - 4*i, -2*t - 12 = 4*i - 28. Suppose -2*a + 5*a + t = 3*c, -4*a - 4*c + 24 = 0. Is -1/27 bigger than a?
False
Let b(j) = j**2 - 85*j - 40. Let c be b(85). Which is bigger: -27 or c?
-27
Let u = 39.719 - -10.322. Let j = 50 - u. Is j less than or equal to 0.1?
True
Let z = 550 + -549.942. Which is bigger: z or 1?
1
Let u be 13/(52/20) + (-22)/(-2). Suppose s = 4*s - 6. Let k be (4 + u/(-2))/s. Which is smaller: -7/8 or k?
k
Let d be -3*(15/130)/3. Is 1 > d?
True
Let p = -0.11 - -0.27. Let d be 5/6*54/(-135). Which is smaller: d or p?
d
Let h be (3/2)/((-3)/(-2)). Suppose 4*s = 4, 4*x + 3*s + 519 + 598 = 0. Let m = x + 4202/15. Is h smaller than m?
False
Suppose 25 + 23 = 4*t. Suppose -z - t = 17. Let y be (-85)/z + -1 + -2. Are y and 0 nonequal?
True
Suppose 1 - 21 = 5*m. Let r(b) = 6*b - 20. Let h be r(m). Are -44 and h non-equal?
False
Let f = 0.0168 - 11.0168. Let x = -905/7 + 129. Which is smaller: x or f?
f
Let b = 4.5 + 20.5. Let a = -971 - -948. Let f = a + b. Which is greater: f or -0.1?
f
Suppose -22 = -3*w + 5*r, 21 = -w - 9*r + 5*r. Which is smaller: 4/29 or w?
w
Suppose 0 = m - 5*m + 84. Let g be 99/m - 2/(-7). Suppose -2*s - g = 3*s. Is 1/3 > s?
True
Let t(v) = -v**2 - 29*v - 58. Let h be t(-27). Let d be (h - -1) + -18 + 2. Which is smaller: -20 or d?
-20
Suppose -2*c + 488 = -2*m, -2*m - 729 = m - 4*c. Is -248 not equal to m?
True
Let r = 317 + -318.8. Let k = 9 + -12.2. Let n = r + k. Is n equal to -1?
False
Let f = 2 - 4. Let m = 2 - f. Let b = 6 + -4. Is b at most as big as m?
True
Let o(z) = 6*z - 9. Let x(c) = 4*c - 6. Let a(p) = -5*o(p) + 7*x(p). Let v be a(0). Let q be (-88)/(-16) - (1 + 1). Is q > v?
True
Suppose 6*c = -8942 - 2464. Let g = -275646/145 - c. Which is smaller: 1 or g?
g
Let n = 1497 - 1498. Is -14 smaller than n?
True
Let v(k) = 3 - 34*k - 4 - 1. Let u be v(-3). Let d = -701/7 + u. Which is smaller: d or 0.1?
d
Suppose 9*i - 329 = -365. Is -5 less than or equal to i?
True
Let s = -162771342/17 + 9577684. Let p = 2900 - s. Is 2 greater than or equal to p?
True
Let o(j) = -j**2 - 14*j + 11. Let m be o(-14). Suppose 3*c + m = 8. Is c greater than -2?
True
Let h = -65 + -18. Let r = 81 + h. Which is greater: r or 11?
11
Suppose 211*x - 193*x - 324 = 0. Is x at most 0?
False
Suppose y + 81 = 3*i, 0*i + 289 = -4*y + 5*i. Is y bigger than -62?
False
Let v = 0.3 - 0.02. Let y = -11.72 - v. Let t = y + 11. Which is bigger: 0 or t?
0
Let u = 224 - 3364/15. Let i be 4/4*(-7 + 1). Let h be 0/((0 + i)/(-3)). Is h not equal to u?
True
Let o = -2.4 + 0.4. Let i = -2 - o. Let v = i + -0.3. Which is smaller: v or -3?
-3
Let d = 50 - 59.1. Let b = 9 + d. Let m = b + 0.1. Is -7 greater than or equal to m?
False
Let k = -1045 + 1044. Which is bigger: k or -29?
k
Let n = 1550 - 1730. Is n greater than or equal to -180?
True
Suppose 1 = 7*w - 8*w. Let b be -1 + -1 + (w - -6). Suppose 0 = 2*o - b*o. Are -4/9 and o nonequal?
True
Let z = -11 - -6. Let j be (z - 13)*1/2. Do -10 and j have the same value?
False
Let q = 0.2 + 0.7. Let p = q - 14.9. Which is smaller: 1/3 or p?
p
Suppose 0 = 5*v - 12*v - 7. Let z be 2*(-69)/144 - v. Which is bigger: 1 or z?
1
Let q = -28.48 - -28.174. Is 2 equal to 