et j be z(-2). Is i less than j?
False
Suppose 5*o = 2*s - 34, -2 = -3*o + 2*o - 4*s. Let y be (1 - 28)*2/o. Let w = y - 6. Which is smaller: w or 4?
w
Let m = 552 - 1005. Which is smaller: m or 2/7?
m
Let a = 1855/8 + 1907/24. Let i = 73792/237 - a. Is -1 less than i?
True
Suppose -v - 4*v + 30 = 0. Suppose v*t - 7*t = 3. Is t >= 1?
False
Let f be (-8)/(-3) + 19/((-570)/20). Are 22/13 and f nonequal?
True
Let m be (-4)/16 - 2/24. Let w = 153.67 - 153. Let l = 1.07 - w. Which is bigger: l or m?
l
Let i = 2/347 + 632/10757. Is 0 > i?
False
Let r be -2*((-6)/(-4) - -4). Is r equal to -13?
False
Let w(a) = a**2 - 3*a - 13. Let v be w(0). Let i = 14 + v. Is i bigger than -1/4?
True
Let v(x) = -x**2 + 2*x + 10. Let i be v(0). Suppose -5*d + 5 = i. Is d less than 2/17?
True
Let p = 19/2 - 73/6. Which is bigger: p or -2?
-2
Let c be 1*(-3 + 1 - -1). Let x = 21 - 17. Is c > x?
False
Let x = -0.08 - -0.18. Let g = x + -11.1. Is -1 at most as big as g?
False
Let m be (-12)/(-2)*(-3)/(-9). Suppose -12*w - 2 = -10*w. Let q be 3 + (22/(-5) - w). Which is smaller: q or m?
q
Let n = 9.85 + -9.7. Let d = 0.28 - 1.13. Let l = n - d. Is -5 smaller than l?
True
Suppose 33*r - 35*r - 8 = 0. Let c = -262/15 - -182/15. Which is smaller: c or r?
c
Suppose 48 = -2*f + 54. Suppose 5*j = 5*j - f*j. Which is bigger: j or 2/13?
2/13
Let f(s) = -8*s + 86. Let m be f(12). Which is bigger: -9 or m?
-9
Suppose -22 = -7*m + 5*m. Suppose 0*o = 5*x + 3*o + m, 5*x - 5*o = 5. Let u = -148 + 737/5. Which is bigger: x or u?
u
Let p(u) = 6*u**2 - 18*u + 2. Let i be p(6). Let j be i/8 - (-7)/28. Are j and 14 non-equal?
False
Let a = -9/43 - -29/344. Which is smaller: a or -5?
-5
Suppose -5*a = 5 - 0. Let x = 353 + -3891/11. Is a bigger than x?
False
Suppose 0 = -4*p + 9*p + 45. Let y be ((-4)/40*p)/(-1). Which is greater: y or -2?
y
Let u = -458 - -451. Which is smaller: -6 or u?
u
Let b = 2 - 1. Let a = -25.6 - -25.559. Which is greater: b or a?
b
Let n(q) = 64*q + 193. Let o be n(-3). Let a be (-2)/(-4)*2/107. Which is bigger: a or o?
o
Suppose 5 = 5*z - 4*z. Suppose z*t = 8*t + 9. Which is bigger: t or -21/5?
t
Let q = 99.97 - 100. Let u = q - -0.23. Let n = -0.2 - 0.1. Is u less than or equal to n?
False
Let v = -2177 + 2178. Which is bigger: -2/9369 or v?
v
Let g = 6379/4 + -924907/580. Is g >= 1?
False
Let x = -1.731 + 0.191. Are x and 2/5 equal?
False
Let v = 131/105 - -146/21. Let n = -364/45 + v. Which is smaller: 0 or n?
0
Let z = 12 + -18. Suppose 4*o + 15 + 9 = -2*n, -2*n - 17 = -3*o. Let s be n/6 - 2/(-3). Which is bigger: z or s?
s
Let q = -0.52 + 0.56. Which is bigger: -4 or q?
q
Let u = 2/145 - -409/1885. Suppose 0 = -3*y - 1 + 10. Suppose 0 = -y*t + 10*t. Is u at most t?
False
Suppose -11*r + 10*r = -6. Let z be 3/(-3)*(r/(-8) + 1). Which is greater: 39 or z?
39
Let s = 61 - 91. Let x = -6 - -25. Let z = x + s. Is -11 less than z?
False
Let n = 2.86 - 2.76. Which is bigger: -93 or n?
n
Let x be -4*(-2)/(-12)*-3. Suppose 2*z - 5*n = -x*z - 21, -23 = 2*z - 5*n. Let s be -2 + 5 - (0 + 2). Are s and z equal?
True
Suppose -135*q + 152 - 32 = -127*q. Suppose -51 = -4*x - 2*z - 3*z, 3*x + z - 41 = 0. Is q smaller than x?
False
Let q be (0/(-2) - -1)*(-36)/15. Let g = -26/15 - q. Is 1 less than g?
False
Let n(p) = 14*p**2 + 4*p - 35. Let b be n(7). Are b and -2/9 unequal?
True
Let x = 17/2 + -8. Let u be 28/(-3)*5/((-40)/12). Let p be (-42)/147 - (-1 - 4/u). Is x > p?
False
Let j be (-1)/(4/(-2))*0. Let n = 43/58 + -13889/232. Let k = n - -59. Do j and k have different values?
True
Suppose 2*f + 8 = v, -2*v + 5*f = -4*v - 2. Suppose 1 = v*w + a - 22, -a = -5*w + 22. Is w greater than or equal to -3?
True
Let w(l) = -26*l - 15. Let c be w(-3). Suppose -4*d = z - 36, c = z + 2*d - 7*d. Which is greater: z or 50?
50
Let b(a) = -a**2 + a + 12. Let j be b(-3). Which is greater: -2/613 or j?
j
Let b be 17/30 + (-10)/25. Let z(k) = -6 + 11 - 24*k**2 + k**3 - 5. Let f be z(24). Which is bigger: f or b?
b
Let v = 115 + -115.1. Which is bigger: -0.02 or v?
-0.02
Suppose -17*x - 59 = 1879. Is -574/5 at least x?
False
Let l be (-2)/(-5) + 14/(-10). Suppose -8*s + 11*s + 15 = 0. Which is bigger: l or s?
l
Suppose 0 = 10*g + 12*g + 660. Let z = -19 - 13. Is g > z?
True
Let c be -1 + 1 + (-1 - -3). Let p be (-4)/c + (-1 - 12). Suppose 2*y + 30 = 4*g, -4 = -5*y - 5*g - 79. Is p smaller than y?
False
Let g = 29/4 + -15/2. Let k = 30 + -30. Suppose -f - 4 + 8 = k. Which is greater: g or f?
f
Suppose 0*x - 4*x + 12 = 0. Suppose 5*q - x = -5*t + 12, 2*q - 5*t = -15. Let r = 1149 - 10331/9. Do q and r have the same value?
False
Let n = 1/6 - -7/12. Let p(w) = -w**3 - 7*w**2 - 2*w - 12. Let i be p(-7). Let x(d) = -d + 2. Let z be x(i). Do z and n have the same value?
False
Let w = -73 - -39. Let s = -37 - w. Which is bigger: s or -2?
-2
Suppose -4*l = l - 4*s - 90, 3*s = 3*l - 57. Suppose l - 15 = -t. Is -16 greater than or equal to t?
False
Suppose -12*w + 8*w = 4*g + 988, -2*w + 5*g - 466 = 0. Is -242 <= w?
False
Let y = 0.04 + 1.36. Let o = -0.2 + 2.4. Let q = y - o. Which is bigger: q or -0.1?
-0.1
Let k be 5/(-10)*(-128)/1. Let a be ((-6)/(-4))/((-6)/k). Which is greater: 0 or a?
0
Let k(i) = 2*i + 1. Let h be k(-1). Let m be (10650/(-36))/5*3/15. Let q = m + 139/12. Is h at least as big as q?
False
Let c(s) = s - 4*s**2 + 3 - s + s + 2*s - s**3. Let q be c(-3). Let f be 3/q + (-37)/(-35). Is f less than or equal to 2?
True
Suppose -3*b + 3*x = 72, -x - 39 = 4*b + 32. Let v be (-57)/b*(-28)/6. Let w be (12/v)/((-5)/(-35)). Is 3/4 != w?
True
Let b(c) = -c**3 + 5*c**2 + 4*c - 9. Let g be b(5). Suppose 7*p = g*p - 92. Suppose -a + v + 5 = -7, 0 = -4*a - v + p. Is 6 equal to a?
False
Suppose 9*p + 5994 = 2295. Which is smaller: p or -408?
p
Let v = -116 + 1274/11. Suppose y + 2*d + 16 = 7*d, -3*y = -4*d + 37. Let m = 11 + y. Which is greater: m or v?
m
Suppose -136 - 375 = -7*l. Are l and 75 unequal?
True
Let z(f) = 2*f + 114. Let a be z(-4). Which is bigger: 108 or a?
108
Let o = 96 + -95. Let q be o/4 + ((-2728)/32)/(-11). Which is bigger: q or 5?
q
Let j(z) = -z + 4. Let h be j(8). Let t be h/6 + (-2)/(-3). Let o be (2 - 2)/(5 + -3). Do t and o have the same value?
True
Let n = -243778/495 - -2462/5. Let z = -71/99 - n. Do z and 0 have the same value?
False
Let n(o) = o**2 - 12*o - 9. Let r be n(13). Let l = r - -1. Suppose p - 9 = -2*q - 2*q, l*p + 3*q - 11 = 0. Is 14/9 at most p?
False
Let s(j) = -9*j**2 - 11*j + 13. Let q(w) = 5*w**2 + 6*w - 7. Let u(m) = -5*q(m) - 3*s(m). Let r be u(-3). Suppose -r*a - 5 = 30. Which is smaller: -8 or a?
-8
Let d be (-368)/(-88) + 2/(-11). Suppose t + 2*t = -5*h + 4, -h - 3*t = d. Suppose -h*l + 10 = -14. Are l and 13 non-equal?
True
Suppose -1 + 57 = 4*r. Let c be (-9)/(-3) + r/(-2). Which is bigger: c or -7?
c
Let k(m) = m - 9. Let u be k(16). Let a be u/42*34/(-1). Which is smaller: a or -5?
a
Let t = -798 - -821. Is t > -1?
True
Let k be -3*(-4)/(-14)*(-7 + 0). Let t be (1 + (-10)/k)*(5 - 2). Do -2 and t have the same value?
True
Let w be 4986/6225 + 8*(-12)/120. Is -1 less than w?
True
Let z = 0 + -1. Let l(d) be the second derivative of 2*d**3/3 + d**2/2 - 23*d. Let g be l(z). Is g less than -2/5?
True
Let a(s) = s**3 - 6*s**2 - 9*s + 10. Let w be a(7). Let u be -9*(w - 9/(-3)). Suppose u*i = 8*i. Is i bigger than -2?
True
Let l be (6/(-2) + 5)*(-45)/18. Do l and -16 have different values?
True
Suppose 0 = -16*n + 7*n + 27. Suppose i - 16 = -3*i + 4*y, -16 = n*i + 4*y. Let g(b) = -b + 2. Let f be g(3). Do i and f have the same value?
False
Let o = -32 - -129/4. Which is smaller: -0.021 or o?
-0.021
Let c = -20 - -32. Let g = c - 12.1. Which is bigger: 2/5 or g?
2/5
Let t(r) = -7*r - 2. Let h be t(-1). Suppose g - h*x + 9 = -1, x = -2*g + 13. Suppose 3*q = -3, y + g + 12 = 3*q. Which is greater: -19 or y?
-19
Suppose 5*c + 2*f = 13, 4*c + 12*f - 7*f = 24. Which is smaller: 5/34 or c?
5/34
Let c be (-16 - -12) + (1192/(-6))/(-2). Which is smaller: 95 or c?
95
Suppose 41 + 7 = 3*r. Let q = r - 35. Let u = 283/15 + q. Which is bigger: -1 or u?
u
Let n be (6/(-9))/(6/(-9)). Let b = 14/114981 - -37789988/3564411. Let r = b - 32/3. Which is smaller: n or r?
r
Let g = 3.76 + -1.56. Is g less than or equal to -2/9?
False
Let t(g) = g**3 + 7*g**2 + 5*g - 