et z = 37 - 35. Let b be 3*(-1)/(-3) + 14. Suppose -z*a - 5*j = 26, -3*a + 5*j + 1 = b. Is -7 less than a?
False
Let l be (-136)/(-66) - (3 + -1). Suppose -4*f - 13 = 4*g - 77, f = -2*g + 12. Suppose -5*s = 2*w + f, 2*w - 5*s = -2*s + 12. Which is greater: l or w?
l
Suppose -3*q - 64 = -58. Which is smaller: q or -7?
-7
Let k(y) = -y**3 + 4*y**2 + 4*y - 8. Let d be k(4). Suppose -6*g = 2*g - d. Let h = 117 - 817/7. Which is smaller: h or g?
h
Let o be 9/(-6)*(-40)/6. Suppose 0*z = 5*z + o. Let i be 5/(-10)*z/(-23). Which is smaller: 0.1 or i?
i
Let c = 9 + -10. Let h = 52 + -883/17. Which is bigger: h or c?
h
Let q be (-130)/(-14716)*8/210. Which is bigger: 1 or q?
1
Let y = 1444 + -1346. Do -10 and y have the same value?
False
Let v be ((-589)/(-95))/((-2)/(-310)). Is 960 at least v?
False
Let t be ((-3)/5)/(7/84*18). Let v be 6*(3/15 + 0). Is v bigger than t?
True
Let a(s) = s + 6. Let b(f) = -3*f - 13. Let q be b(-3). Let g be a(q). Suppose -16 = 4*w, 0*v - 13 = -5*v + g*w. Which is smaller: v or -3/8?
-3/8
Let g = 7.8 - 9. Let d = -78 - -79.01. Let s = -0.01 + d. Are g and s equal?
False
Let p be (-20)/(-40) - 85/146. Which is smaller: p or 0?
p
Let r = -52 + -179. Let y = r - -231. Let q = 14/25 - 394/525. Is y < q?
False
Let y(a) = a**3 - 5*a**2 + 5*a - 1. Let x be y(4). Let w = 2653 - 5143/2. Let j = w + -79. Which is smaller: x or j?
j
Let p be (12/(-18))/((-4)/150). Suppose -50 = 27*v - p*v. Which is bigger: v or -24?
-24
Let q = -0.053 + 0.03. Let g = -0.777 + q. Do 0 and g have the same value?
False
Let g(l) = -11*l**2 + 20*l - 16. Let c be g(4). Which is smaller: c or -108?
c
Suppose -2*d + 10 = -4*t, 2*t - 6*t - 4*d = -20. Let l(m) = m**2 - 5*m + 3. Let y(q) = -4*q**3. Let j be y(-1). Let g be l(j). Which is bigger: g or t?
t
Let k be -28 + 0 + 25/(-5). Let z be (12/27)/(242/k). Which is bigger: -1 or z?
z
Let y = -2260/13 + 163. Which is greater: y or -10?
-10
Let g be (-5 + (6 - 31))/(1*-1). Suppose -8*a + 6*a = g. Is -15 at least as big as a?
True
Let h = -1114 - -1110. Is -85/28 greater than h?
True
Let s be (6 + -6 + -3 - -4)*-152. Is s >= -157?
True
Suppose -2 = 2*x - 6*x - 2*y, -x - y - 2 = 0. Suppose 2*g - x*c - 356 = g, -4*g = 3*c - 1364. Let l be (g/84 - 4)*3. Which is bigger: -0.5 or l?
l
Suppose s - 414 = -5*s. Let m = -481/7 + s. Are -3/4 and m equal?
False
Suppose 5*y - 37 = 3*a, 4*y - 70 = 3*a - 32. Is a smaller than -124/9?
True
Suppose -3*j = 3*b + 21, 3*b = 2*j + 2*j - 7. Suppose 0 = 4*v - 2*h - 36, -h + 2*h + 32 = 4*v. Let o = -8 + v. Which is smaller: o or j?
j
Let h(l) = 183*l**2 + 4*l + 3. Let b be h(-1). Is 182 less than or equal to b?
True
Let n = -19 + 12. Let a = 2 - n. Let p = 95 - 94.9. Which is greater: p or a?
a
Let t be (5/25)/((-3)/15). Suppose -4 = -4*h, j - 7 = -0*j - h. Let y be (-8)/(-84)*27/j. Is t not equal to y?
True
Let w(t) = t - 4. Let x be w(5). Let j be 4 + 0*(-1)/3 + -4. Let k = j + x. Which is bigger: k or 11/5?
11/5
Let x be (2/(-2))/(-2932*(-6)/(-48)). Is -1 at least x?
False
Let j be 3/(-5) - 518*(-8)/5840. Which is smaller: j or -1?
-1
Let p be ((-830)/(-249))/(10/24). Is p at most 82/11?
False
Suppose 8*s + 50 - 66 = 0. Suppose 5 + s = 7*x. Which is smaller: -30 or x?
-30
Let m(g) = g**2 + 22*g + 45. Let n be m(-20). Let s be 13 + -11 + (-12)/n. Which is greater: 3 or s?
3
Let u = -165 - -170. Which is greater: u or 39/7?
39/7
Suppose -2*r - d + 8 = -2, -5*r - 4*d = -19. Is 13 greater than r?
True
Let l(i) = -i**3 - 25*i**2 + 23*i - 11. Let z be l(-26). Which is bigger: 69 or z?
69
Let x(l) = 3*l - 2. Let g(n) = -16 + 2*n + 23 - 15*n. Let z(d) = 2*g(d) + 9*x(d). Let r be z(0). Which is smaller: -3 or r?
r
Let a be (4 + 7/(-2))*6. Suppose -c = 2*c - 6, -c = z - a. Suppose -2*y - z - 7 = 0. Which is smaller: y or -6?
-6
Let g be 1/2 + -34*(-1585)/(-180). Let b = -2662/9 - g. Is b at most as big as 4?
True
Let p = 4 - 3. Let q = 180.96 + -181. Is p less than q?
False
Let d(u) = -u**3 + 5*u**2 + 7*u - 2. Let m be d(5). Let p = m + -36. Which is bigger: p or -2?
-2
Let z(d) = d**3 + 19*d**2 + 20*d + 36. Let t be z(-18). Let v be ((-6)/(-8))/(41/4). Is v bigger than t?
True
Let l = 2 + 1. Suppose l = -q - 2*y, -q + 0*y + y + 12 = 0. Let g = q - 6. Is g bigger than 4/15?
True
Let a be -2 + ((-20)/8)/(-1). Suppose 0 = v - 3*l + 27, 3*v + 45 = v + 3*l. Let m be v/(-28) + (-1)/2. Is m greater than a?
False
Let l = -61 - -63. Let s be (-1)/((-10)/(-8)*l/(-5)). Let x(a) = -a**2 + 6*a - 5. Let p be x(4). Which is smaller: s or p?
s
Suppose -5*f + 25 = -5*q, -f - f + 5*q + 4 = 0. Suppose -19 = -2*o - 5*j - 2, -o + f = 2*j. Which is bigger: o or 2?
2
Let g = 741 - 745. Is 88 less than or equal to g?
False
Suppose -8 = -2*c + 2. Suppose -q - 5*o = 7, q = -2*q - c*o - 1. Suppose 8*a - 2*a = 12. Are q and a equal?
False
Let a be 4 - 1*(-21)/(-7). Is a smaller than 1/2?
False
Let j(p) = p - 5. Let c be j(4). Let x be 58*(-1 + 3/(-2)). Let d be x/(-420) + (-1)/4. Is d greater than c?
True
Suppose 0 = 3*r + 4*y - 11, 5*y = -3*r - r + 16. Let f(h) = -h**3 + 3*h**2 + 6*h - 2. Let z be -3*4/(-12) - -3. Let j be f(z). Is r at most j?
False
Let m = -5229288/397 - -13172. Which is bigger: m or 0?
0
Let u = 1426 - 1426.593. Is u equal to 0?
False
Let t(b) = 32*b - 185. Let d be t(8). Do 69 and d have the same value?
False
Let j = -595 + 594. Which is smaller: j or 5/113?
j
Let z = -743 + 824. Is z <= 2?
False
Suppose 3*l = 5*l. Suppose -5*g + l = -5. Let p = -1 + 3. Which is smaller: g or p?
g
Let p be 30/(-70) + (-2)/(-70). Let b = 24/35 + p. Which is smaller: -3 or b?
-3
Suppose 13*m = 14 + 181. Suppose -5*f = y - 55, 0 = 4*y - 7*y + m. Is 35/4 != f?
True
Suppose -2*w - 15 = z, 0*z - 2*z = -5*w + 21. Suppose -5*p = -g - 2, 2*p - 5 = 7*p. Let f be (0 + g)/((-2)/(-4)). Is f at most z?
True
Suppose 0 = 6*w - 5*w. Suppose -3*y - y - 404 = w. Let m = y - -1110/11. Which is greater: 0 or m?
0
Let t(k) = 5*k**2 + 40*k - 1. Let r be t(-8). Is 26/57 greater than r?
True
Suppose -u - 143 = -12*u. Let k be (-2)/u - 2112/(-16432). Which is greater: k or -1?
k
Let j be 5/((-135)/6) + (-245)/(-1224). Which is greater: -0.1 or j?
j
Let s(j) = 35*j**3 - 3*j**2 - 3*j - 1. Let f be s(-1). Let d = -12 - 24. Does f = d?
True
Let k be (-2)/(((-6)/16)/3). Let y = k - 14. Which is greater: -33 or y?
y
Let c(r) = -8*r - 61. Let g be c(-8). Suppose -4*b + 2*t - 88 = 0, -g*t = 3*b + 2*t + 66. Is 2 equal to b?
False
Suppose -531 = 13*y + 782. Let a be -5 - (576/6 + 1). Is a >= y?
False
Let p be (-1 - 0)*(0 + 1). Let u = -2 - p. Suppose 3*g + t + 12 = 0, 3*g + 4*t = 6 - 18. Is g > u?
False
Let u = 131 + -126. Which is greater: u or 13/3?
u
Suppose 5*x + 1 = 4*x. Let o be 2/4 + x/(-2). Suppose -3 + o = -2*n. Which is bigger: -1/4 or n?
n
Suppose -73 = 2*p - 87. Is -17 smaller than p?
True
Let i = -146 + 61. Let a be (1 - 0)/(i/25). Which is smaller: a or 0?
a
Let i = -4 + 0. Let m = -1.26 - -3.285. Let y = -0.025 + m. Which is bigger: y or i?
y
Let f = 1519 + -1284. Is f > 0.03?
True
Suppose 0 = -126*y + 132*y + 12. Let b be 0/((1/(-1))/1). Which is smaller: y or b?
y
Let f = -3312 + 3327.03. Let i = -15 + f. Let l = i - 0.13. Which is greater: l or -12/5?
l
Suppose 35 = 4*w + 2*g + 3*g, 16 = 2*w + 4*g. Suppose -b - 4*d = -2, -5*b + d = 3*d - w. Let k be b/(-16) + 4 + -4. Is -1 >= k?
False
Let z be (-4)/(-3)*18/(-12). Let d be 3/z*26/(-39). Let x = -2 + 7/2. Are d and x equal?
False
Let d = -220.6 + 221. Let a = -1 + 2. Let q = 5 - a. Which is greater: q or d?
q
Let q = 802 - 810. Which is smaller: q or -11?
-11
Let m(a) = a**3 - 37*a**2 + 69*a + 32. Let z be m(35). Is z != -0.33?
True
Suppose 4*c + 391 = -13*c. Suppose 0 = 5*m + 4*r + 100, 5*r - 4*r = -m - 19. Is c < m?
False
Let g = 0.025 - -0.159. Is 0 < g?
True
Suppose -6 = 3*t, 398 = -2*i - 2*t + 5*t. Is i != -203?
True
Let v(z) = -z - 5. Let s be v(-11). Suppose 3*x = 2*x - s*x. Let d be -1*(-2 - -1)/1. Is x at least d?
False
Let l = 63.0988 - -0.0012. Are l and 1/4 nonequal?
True
Let h = 34 - 7. Suppose 0 = -4*a + h + 5. Suppose 3*s = a - 5. Which is smaller: 1.3 or s?
s
Suppose -110 = -s + 26. Suppose 0 = 4*j + s + 252. Let o = -1065/11 - j. Is 0 != o?
True
Suppose 101 + 99 = 4*b + 4*r, -r = 3*b - 148. Which is smaller: b or 50?
b
Let o be (-2 + 3)*(4 - 4). Is -8/121 bigg