Let u = -18 - -22. Suppose f + u*m - 24 = 0, -5*m = -2*f + 3*f - 29. Suppose 3*s - q + f = 0, 0*s = 2*s - 4*q + 16. Which is greater: s or 3?
3
Let f be 17/((-51)/(-18)) - 2/2. Suppose 0 = -f*z - z + 12. Are z and 5 equal?
False
Let j = -4.1 + -9. Let u = j + 13. Is u < -0.03?
True
Let y(p) = 2*p - 9. Let g be y(6). Suppose g*d + 24 = -0*d. Let a be 4/d + -1 + 0. Is a > -2?
True
Let s(x) = -x**3 + 7*x**2 + 8*x + 1. Let r be s(8). Let o be 2/(-11) + (-48)/(-176). Are o and r non-equal?
True
Let j = 853/4720 - -2/295. Which is greater: 0 or j?
j
Let y = -66 - -126. Let q = y + -52. Are 0.5 and q unequal?
True
Let z = 37 + -21. Suppose 0 = z*i - 17*i + 6. Is 5 greater than i?
False
Let s(y) = y - 18. Let u be s(4). Let j be (1 + u/6)/((-4)/(-24)). Which is greater: -6 or j?
-6
Let u be (-27)/(-3) - 3960/456. Let v = 0 - -1. Is u at least v?
False
Let m(z) be the first derivative of z**3/3 - 15*z**2/2 + 6*z + 8. Let w be m(12). Let u be ((-6)/8)/(w/40). Are u and -2 unequal?
True
Let f = -70 - -70. Suppose 5*p - 119 - 61 = f. Is 36 > p?
False
Let j(s) = s**2 + 11*s + 24. Let l be j(-10). Suppose -l*o + 420 = -168. Is o less than 42?
False
Let v be (-2010)/55 - (-18)/33. Let j be 3 + -42 + (9 - 5). Which is greater: v or j?
j
Suppose -2*l = 20 - 12. Let f(a) = a - 4. Let x be f(8). Which is smaller: x or l?
l
Suppose 5*j - 71 = 19. Let a be j/(-4)*(-60)/(-9). Let b be ((-2)/(-16))/((-5)/a). Which is smaller: -1 or b?
-1
Suppose 10*v = -80 + 90. Which is bigger: 8/71 or v?
v
Let x(u) = u**2 - u**2 + u**2 + 9*u**3 - 7*u**3. Let s be x(-1). Let a be ((-10)/(-4))/(s/2). Which is greater: a or -1/4?
-1/4
Suppose 0*a + a - 14 = 0. Let p be (-7)/a + (-9)/(-6). Let o be (16/(-14))/4 + 0. Which is smaller: o or p?
o
Let r be 21/15 - 1/(100/(-1660)). Let a = 38 + -229/6. Is r greater than a?
True
Let f = -3.17 - -3. Let w = 1.17 + f. Let n be (-16)/7 - (-4)/14. Which is bigger: n or w?
w
Suppose 5*s + 95 = 5*n, 3*n + 43 = -72*s + 70*s. Let b be (1/1)/(1/60). Suppose 0 = -3*f - 4*a + 3*a - b, 4*f - 3*a = -67. Which is smaller: f or s?
s
Let u = -1.677 - 0.003. Let a = u + -0.62. Is -2/3 bigger than a?
True
Let h = 2 + 6. Let d = h + -17. Let k = d - -9.2. Which is smaller: -2/5 or k?
-2/5
Suppose 15*w = -43 - 17. Which is greater: w or -39/10?
-39/10
Let n be ((-81)/(-6) - 1)*(-28)/(-35). Suppose -12*i = -86 - n. Which is bigger: i or -3?
i
Let s = 218/495 - 4/99. Is -0.02 less than s?
True
Let k = 23 + -20. Suppose -k*a + 12 + 12 = 0. Which is smaller: 3/2 or a?
3/2
Suppose 0 = 5*x + 2*y + 63, 3*x + 3*y + 35 = -y. Let k = -10 - x. Are 4 and k nonequal?
True
Suppose 4*p + 0 = 44. Let b(o) = o - 11. Let t be b(p). Suppose -h + 9 = -t*h. Do h and 8 have the same value?
False
Let t = -34 + 37. Suppose -t*i = -i - 5*i. Is i at least as big as 3?
False
Let b = -1873 + 1872. Are b and 2/3085 non-equal?
True
Let j be (33/2)/((-140)/24 + 6). Suppose j = 7*c - 10*c. Which is smaller: c or -32?
c
Let z = -15 - -8. Let r(k) = -4*k**2 - 17*k - 1. Let c(v) = 9*v**2 + 35*v + 1. Let x(p) = 2*c(p) + 5*r(p). Let s be x(z). Is s < 4?
False
Let p be (-924)/(-15) + 4/10. Suppose -3*g - p - 13 = 0. Let b be 15/g*8/12. Which is bigger: 0 or b?
0
Let h be 70/14 - (-135)/(-25). Which is smaller: 32 or h?
h
Suppose -84*i + 76*i - 62 = -z, -20 = -2*z + 3*i. Suppose 0 = -b + 2*t - 5, -2*b - t - 7 = -2. Let k be b + (0 + 1 - 0). Is k >= z?
True
Let u = 13/42 - 2/21. Let y be (-9)/((0 - -1) + 0). Let s = y - -8. Which is bigger: s or u?
u
Suppose -2*k - 176 = 2*k. Let b be 2/3 + k/(-15). Let d = b - 14/15. Which is bigger: -2/7 or d?
d
Let r = -22 - -36. Let b = r + -2. Let a = -12 + b. Is a equal to -0.2?
False
Let q = 0.6 - 3.5. Let k = 3.5 - 0.5. Let t = q + k. Which is bigger: t or 6?
6
Suppose 0*y + 50 = 5*y. Suppose -t = 4*c + t - 4, -4*c = 5*t - y. Suppose 10*m = -16 + 6. Is c not equal to m?
True
Let q = 15 - 12. Suppose 67 - 25 = q*h. Let t = -16 + h. Which is greater: -6/11 or t?
-6/11
Let z(y) = y**3 - 13*y**2 - y + 18. Let b be z(13). Suppose -b*t + 21 = 31. Let r = -3112/99 + 278/9. Which is smaller: r or t?
t
Let l = 153 - 83. Let z = 70.32 - l. Which is smaller: 0.1 or z?
0.1
Suppose u + 5*z + 427 = -389, z - 828 = u. Which is smaller: u or -827?
-827
Let x(w) = 24*w - 139. Let o be x(6). Let p(s) = 2*s**2 + 2*s + 1. Let t be p(-2). Suppose 2 = t*h - 18. Which is smaller: h or o?
h
Suppose -y + 30 = 5*i, 0 = 3*i - 2*y - 0 - 5. Let v = i + -5. Is 1 not equal to v?
True
Let v(p) = -3*p - 58. Let u be v(-21). Suppose 2*t + u*d - 8 = 0, d = -4*t - 0*t + 16. Is t smaller than 16?
True
Let l(u) = -5*u - 4. Let x be l(2). Which is greater: -23 or x?
x
Let d be 144/27 + -6 - 1678/30. Which is greater: d or -56?
-56
Let u(w) = -w**2 - 11*w - 25. Let i be u(-8). Which is bigger: i or -3/62?
-3/62
Let w = -323 + 477. Which is greater: 155 or w?
155
Let j be (-7)/(-21) - 16/12. Does j = -0.1?
False
Let g be (-11)/((-484)/1752) + (-4)/(-22). Let y be 226/(-42) - (g/(-15))/(-8). Is y not equal to -1?
True
Let j = 31.73 - 32. Let a = 33.17 - 33. Let x = a + j. Which is smaller: 1/6 or x?
x
Let s(b) = 3*b**2 - 63*b - 186. Let t be s(-3). Let u = 76 - 46. Are t and u nonequal?
False
Let u = -21.4 + 19. Let k = 3.4 + u. Is k at most -2/5?
False
Let d(c) = -673*c - 4. Let z be d(1). Do z and -678 have the same value?
False
Let g = -48.9 + -7.1. Let l = -56.1 - g. Is -0.17 at most as big as l?
True
Let g be (0 + 1*-2)/((-7098)/(-91)). Is -0.05 greater than g?
False
Suppose -12*d + 25 = 1. Let w be -1*((6 - 4) + d). Is -5 bigger than w?
False
Let b be (-28)/(-784) - ((-9)/(-7) + -1). Which is greater: -1.74 or b?
b
Let c = -145 - -375. Suppose 63*a = 58*a - c. Which is greater: -44 or a?
-44
Let j = 95 - 38. Let z be (-2)/(-6) + j/(-9). Is -4 < z?
False
Let b = -13.6 - -12.6. Which is bigger: 11/9 or b?
11/9
Let i = -43.74 - -44. Let s(p) = -p**3 - 6*p**2 - 6*p - 4. Let y be s(-5). Which is greater: i or y?
y
Let g = 1306.285 + -1309. Let d = -0.015 - g. Let a = d + -2.3. Is a smaller than -3?
False
Let y be (-592)/1530 - 5/((-50)/4). Let d = y + -163/765. Which is smaller: 0 or d?
d
Let q = 8.3 + -8. Suppose -204*s - 348 = 60. Which is bigger: s or q?
q
Let w(h) = -h**2 + 18*h + 8. Let j be w(18). Which is greater: j or 17/2?
17/2
Let u = -248098/11109 + -1/3703. Is u < 2/11?
True
Let d be (1/(-2))/(1/2). Let t = -1265 + 1265. Which is greater: d or t?
t
Let t be (-28)/98*(-14)/6. Is t less than -9/25?
False
Let u be 759/(-333) + 1 + 8/6. Which is smaller: u or 0?
0
Let k = -210 - 310. Does k = -519?
False
Let g = -0.052 - -0.152. Is g less than or equal to -86?
False
Suppose 60 = -72*m + 76*m. Let w = -2 + 1.8. Which is bigger: w or m?
m
Suppose 0 = -2*q + 6*a - 4*a, -q = 2*a + 12. Which is greater: q or -0.07?
-0.07
Let f = 0.389 - 0.489. Let z = -19 - -2. Let w = z + 33. Is f equal to w?
False
Let w = 0.015 + -29.015. Let l = w + 29. Does l = 2.7?
False
Let p = -20 - 3. Suppose 0 = 161*l - 159*l. Is l smaller than p?
False
Suppose -2*r + 6 = 0, -5*o + 2*r + 0*r = 1381. Let g be 130/(-75)*o/(-9). Let a = g - -476/9. Which is smaller: a or -1?
-1
Let w(p) be the third derivative of -p**4/24 - p**3 - 9*p**2. Let x be w(-10). Let d be (x/(-6))/((-51)/9). Which is bigger: 1/4 or d?
1/4
Let g = -4.92 + 4.91. Which is bigger: g or 0.11?
0.11
Let i = -0.52 + 0.39. Is 11 equal to i?
False
Let g = 4.4 - 4.2. Which is bigger: g or -2.5?
g
Let u = -0.29 - -0.03. Let n = -15.26 - u. Let r = n - -14. Is 7 <= r?
False
Suppose 29*t = 22*t. Let y be 1*1/74*-2. Which is greater: y or t?
t
Let c be 0/(3/(2 - -1)). Suppose u = -0*u. Suppose u = 2*v + 5*v. Is v less than c?
False
Suppose -59 = 67*g - 8*g. Which is bigger: -3/7 or g?
-3/7
Let j = 270 - 269.72. Which is smaller: j or 2/11?
2/11
Let v = -6.0036 + 0.0036. Which is smaller: -0.06 or v?
v
Let w = -20 + 23. Suppose 1 = w*j - 44. Let o be ((-4)/(-20))/((-12)/j). Is o at most -2?
False
Let o = -7455/13 + 573. Which is greater: o or 5?
5
Let b(m) = 3*m**2 - 43*m + 23. Let h(s) = -2*s**2 + 29*s - 15. Let n(y) = 5*b(y) + 8*h(y). Let i be n(17). Suppose 6*f = -9 - 3. Which is smaller: i or f?
i
Let u be (6/9)/(-2)*(-252)/(-38). Is -2 != u?
True
Let k = 296 - 2068/7. Which is smaller: 1 or k?
k
Let s = -1510017/7 - -213635. Let h = s + 2086. Are 4 and 