2 + 3 - (-1)/1. Let w(v) = -v**3 + 2*v**2 + v - 1. Let t be w(c). Which is bigger: x or t?
t
Let b be ((-24)/1)/(-4)*(-3)/9. Let y be (9/(b + 5))/(1/(-5)). Is y > -16?
True
Suppose 3*s - 5*i = 173, 56 = -2*s + 3*s - 2*i. Which is greater: s or 326/5?
s
Let h = -10.24 + 0.24. Suppose 4*f + 14 + 22 = 0. Let i = 10 + f. Is h equal to i?
False
Let k(f) = f**2 + f - 3. Let d be k(-3). Suppose n = 2*h - n + 28, -22 = d*h + 2*n. Let g = h - -7. Is g less than or equal to -3?
True
Let h be 50/(-10) - 104/(-2). Which is bigger: h or 48?
48
Let d be (-7)/((-42)/(-9))*256/(-3). Which is greater: 122 or d?
d
Let f = 196 + -168. Are f and 28 unequal?
False
Let u be (-1*4)/((-3)/3). Suppose -5*r + 19 = 3*i, -u*r - 2*i + 0*i + 14 = 0. Let d = r - -3. Is d less than 1?
False
Let g(s) = -s - 14. Let d be g(-11). Let h be (-1)/d - 2/15. Which is greater: -2/17 or h?
h
Suppose -2*v - 2 = -4*v, 3*s - v = -70. Let u be ((-690)/92)/(3/10). Which is bigger: u or s?
s
Let j = 381 + -376. Is -12 equal to j?
False
Let l = 179365/1062 + -171/118. Let v = -167 + l. Which is greater: v or 0?
v
Let t(o) = -o**3 + 3*o**2 - 2*o. Let d be t(2). Suppose q = -5 + 7. Let n be q + (-6)/81*33. Is d less than or equal to n?
False
Let o be -5 - 27/(-81)*(-18)/(-1). Which is greater: -0.084 or o?
o
Let r(c) = 3*c**2 + 3*c. Let d be r(-5). Which is smaller: 59 or d?
59
Let a be 90/4 - (-11)/22. Suppose -10*n = 117 + a. Does -16 = n?
False
Let n = 4/13 + -29/52. Suppose -9*g = -2*g - 14. Suppose 2*z - 2*h + 2 - 8 = 0, -g = 4*z + 3*h. Is n greater than or equal to z?
False
Let a be 140/(-360)*(-1)/(-14)*8. Which is smaller: a or -205?
-205
Let q = -42 - -28. Let w = -15 - q. Which is smaller: 26 or w?
w
Suppose -5*j + b - 4 = 0, 5*j + 0*b + 8 = 2*b. Let v be -7 - -7 - (-315)/(-78) - -4. Do j and v have different values?
True
Let x = 1180/7 + -169. Let t = 4 + -5. Let v = t - 0. Which is smaller: v or x?
v
Suppose -12 = -4*h - u + 21, 4*u = 2*h - 30. Let x be (h/(-306))/(1/(-2)). Is x equal to 2/9?
False
Let v = -8.76 + 9. Let y = 0.44 - v. Which is smaller: 0.22 or y?
y
Suppose -i + 91 = 6*i. Suppose 0 = -15*t + 28 - i. Is t less than or equal to -4/43?
False
Let w(t) be the third derivative of -t**6/120 + t**5/15 - t**4/6 + t**3/6 - 3*t**2. Let m be 12/54 + -10*(-15)/54. Let x be w(m). Which is bigger: 0 or x?
0
Let c be ((-3)/(-2))/((-12)/80). Suppose 0 = 7*i - 13*i - 18. Is c < i?
True
Let x = -3.5 + 33.5. Let q = 30.1 - x. Are q and 0.1 unequal?
False
Suppose 136 = 3*b + b + 4*i, -2*i + 104 = 3*b. Suppose c - 43 - b = 5*l, -2*l = 4*c + 36. Is l less than or equal to -13?
True
Let w = 5217 - 1184262/227. Is 1 at least as big as w?
True
Let x(w) = w**2 + 1. Let j(t) = -t**3 - 19*t**2 - 14*t + 7. Let n(f) = -j(f) - 4*x(f). Let h be n(-14). Is h at most as big as -10?
True
Let d be ((-5)/(-2) - 1)*(-6)/9. Let l be ((-2)/d)/((-182)/7). Which is smaller: l or 0.3?
l
Suppose 292 - 80 = -4*b. Let v = -106 - b. Is v <= -53?
True
Suppose 0*k = 5*k + 2*c - 9, -2*c = -k + 9. Suppose -l + 2*l + k*p + 31 = 0, -3*l = -p + 73. Which is smaller: -26 or l?
-26
Let n = -1516 + 1492. Which is smaller: 16 or n?
n
Let r = 576 - 415. Which is smaller: 162 or r?
r
Let m(f) = -f**2 + 17*f + 330. Let c be m(28). Let b be (-1)/((2 + -3)/21). Is c smaller than b?
False
Let d = -34029 - -34037. Let o = -1 + 2. Which is greater: o or d?
d
Suppose 4*p + i + 18 = 2, -2*p + 4*i + 10 = 0. Let r be 3/((-15)/40) - p. Let n = -49 + 311/7. Is n bigger than r?
True
Suppose 0 = 2*a + a + 189. Let s = a + 57. Are s and -5 nonequal?
True
Let u = -0.3 - -0.29. Let c = -795 - -798. Which is bigger: c or u?
c
Let u be (-2 - 11/(-3)) + (-5719)/1653. Is u > -1?
False
Let d = -222.1 - -221. Let i = 0.04 + 3.06. Let s = d + i. Which is greater: s or -9?
s
Let a = -412/1507 - 12/685. Which is smaller: -1 or a?
-1
Suppose -200 = 12*a - 140. Is a equal to 9?
False
Let t = -3 - -19. Let g be 5 + -2 - 42/t. Is 1 >= g?
True
Suppose 0 = l - 3*l - 16. Let c be -4*(-2 + (-22)/l). Suppose -2*i + 8 = 0, -5*g = -3*i - i + 36. Is c at least as big as g?
True
Let p = -0.103 + 7.303. Let l = p - 7.4. Which is smaller: l or 9?
l
Let x(z) = z**3 + 2*z**2. Let s be x(-1). Let a be ((-355)/(-50) - 7) + 0. Which is smaller: s or a?
a
Let p = -605 - -452. Are -152 and p nonequal?
True
Let x be 10/5*(-2)/4. Let w = 1 - -2. Let n be ((2 - 3) + w)*-1. Which is smaller: n or x?
n
Suppose 9*q - 64 = 13*q. Is q >= 18?
False
Let k = -61 - -73. Let j be (0/2)/(-10 + k). Is j not equal to -5/21?
True
Let d = -1 - -2. Let c be -31*(-2)/77 + 16/56. Which is bigger: d or c?
c
Let r(d) = -d**3 - 2*d**2 - 10*d - 11. Let p be r(-4). Let s = -67 + p. Suppose 16 = -2*h - 2*h. Is s > h?
False
Let f = 0.3148 - 0.0328. Which is greater: -0.1 or f?
f
Let f = -3603 + 3646. Suppose 0*u - 120 = -3*t + 3*u, -3*u = -6. Which is smaller: t or f?
t
Let c = 25 - 20. Suppose -c = -3*s + 4. Is s less than or equal to 2?
False
Suppose 5 - 2 = -3*f. Let c = -205/582 - -18/97. Which is bigger: c or f?
c
Let o(l) = -l**2 - l + 4. Let i be o(0). Let r be -4*i/12 - (0 - 2). Is r at most -1.3?
False
Suppose 7*p - 4*p = -3*u - 18, -2*p = -4*u + 24. Which is bigger: -5 or p?
-5
Let s(c) = -c - 7. Let z be s(-6). Let y be 741/(-24) - (z + 36/32). Is y > -31?
False
Let z be (0 + -3)*9/27. Let d(l) = -l**3 + 3*l**2 - 2*l - 2. Let c be d(2). Which is bigger: z or c?
z
Suppose -6 = 2*d + 2*v + 170, 5*v = -d - 88. Let w = -87 - d. Which is smaller: 2/409 or w?
2/409
Let y = -7 - -5. Suppose z - 10 = -2*w + 4*z, -2 = -3*w - 2*z. Suppose -w*n + 3*f - 3 = 0, 11 = -0*n - 2*n - 5*f. Which is bigger: n or y?
y
Let a = -1117/2 - -5647/10. Let k = 88/15 - a. Let u = -0.5 + 1.5. Which is smaller: u or k?
k
Let m = 1788 - 1787.8. Which is bigger: -0.4 or m?
m
Let r(w) = -12*w - 131. Let z be r(-11). Are 3/209 and z unequal?
True
Let j be (((-2835)/180)/63)/(2*(-1)/(-8)). Let p = 10/81 + -1472/10611. Is j greater than p?
False
Let x = -3.1 - -3. Let i be (8/12)/((-2)/(-6)). Let l be 1*-2 + i + -2. Is x greater than or equal to l?
True
Let p be (-53)/212 - 126/(-40). Which is bigger: -1 or p?
p
Suppose -280 = -8*k + 6*k - 3*r, -6*k = 4*r - 820. Do k and 138 have the same value?
False
Suppose -2*g + 5*g + 13 = 5*v, 4*g + 27 = -3*v. Let t(q) = 10*q**2 - 8 + q**3 - 14*q**2 + 8*q**2. Let f be t(-4). Is g < f?
False
Let z = 15672 + 3118. Let f = z + -2461478/131. Let b = f - -2536/917. Which is smaller: 3 or b?
b
Let q = 40 - 24. Let a = q - 18. Is a < -11?
False
Let g = -20 - -23. Let p = 0.4 + -6.4. Let h = g + p. Which is smaller: 2/7 or h?
h
Let r be ((-9)/(-15))/(3/5). Is r <= 3/40?
False
Let p be 24/9 - (-150)/(-60). Which is bigger: p or -113?
p
Suppose -4 = -4*i + 8. Suppose 2*h + 1 = -i*x + 2*x, -2*x - 5 = 5*h. Let j(a) = a**2 - 8*a + 5. Let k be j(8). Is k at most x?
True
Suppose -s - 2*m = -68, 0 = -2*s + s - 4*m + 76. Suppose 44*o - 41*o = 177. Which is greater: s or o?
s
Let g be -8 - 451/(-66) - 1/(-6). Which is smaller: -3/94 or g?
g
Let c be 5/(-5) - (-10)/7. Let s be (-345)/(-130) - (3 + (-148)/52). Which is greater: c or s?
s
Suppose 0 = -0*n - 4*n + 4*m, -3*m = -6. Is n equal to -23?
False
Let x = -0.2 - -0.02. Let p = 100 + -100.15. Let j = x - p. Which is bigger: -0.2 or j?
j
Suppose -1 = -c, -5*g - 2*c - 13 = -25. Let j be -2 + 1 - (-7 - -1). Suppose -7*f + j = -g. Is 3 less than f?
False
Let s(k) = -10*k**2 + 20*k - 20. Let y(c) = 7*c**2 - 13*c + 13. Let g(j) = 5*s(j) + 7*y(j). Let l be g(8). Which is greater: l or 21?
21
Suppose n = -4 + 11. Let w be -2*(6/n)/6. Which is bigger: 12 or w?
12
Suppose -3*n = 5*l - 14, 0*n - 2*l + 18 = -5*n. Let h = -7 + -7. Are h and n non-equal?
True
Suppose 4*x = -4*r + 7*r + 65, 47 = -3*r - 5*x. Which is bigger: -17 or r?
-17
Let l = -107/84 + 3209/1596. Suppose 0*t - 2 = 3*t + y, -3*t + y = -2. Which is smaller: t or l?
t
Suppose -78 = 6*d + 12. Let r be 85/34*(-7)/d. Which is greater: 0 or r?
r
Suppose 271 = -5*v + 276. Let z be ((-24)/96)/(1/(-4)). Is v less than z?
False
Let v = 19924/19 + -1048. Is v less than 0.02?
False
Let w be 18/24 + 5/(40/(-2318)). Which is smaller: -290 or w?
-290
Let d = -0.11 - -0.12. Let c = -0.03 - d. Let s = 128 - 128. Is s less than or equal to c?
False
Let v be 2 + 4/144*291. Let a = v + -34/3. Is a greater than -1?