(-2) - (-2)/4. Let s be 303/(-60) + 2 - 3/(-1). Is s less than k?
True
Let a be (1/10)/((-30)/(-325)). Let m = a - 4/3. Is m less than or equal to 0?
True
Let y = -16 - -48. Suppose 3*j + 13 + y = 0. Which is smaller: j or -14?
j
Let z = -65467848/481 + 136108. Let i = 2/37 - z. Is 1 > i?
True
Suppose -2*d = 1 - 5. Is d greater than or equal to 2?
True
Suppose 6 = 5*r + y, r + 0*r = -3*y + 4. Suppose 0 = 4*v + 2*o - 14, -5*o - r - 4 = 0. Suppose 2*s + 2 = -5*q + 5, -q - v = 5*s. Which is smaller: q or 3?
q
Let s = -18863875 + 19901390456/1055. Let g = s + -11/5. Let q = g + -219/844. Which is greater: -2/5 or q?
q
Let y be 17 - ((-1)/(-1) + -2). Suppose 2*n - y = 3*r, 0*n + 5*r = 4*n - 32. Which is greater: 0 or n?
n
Let h be (-6 + 8)/(4/(-6)). Suppose -2*q - 3*f - 13 - 23 = 0, -2*q - 40 = 4*f. Let d be q/(-10)*(-10)/h. Which is greater: 5 or d?
5
Let u = -7 - -5. Let i(k) = -k + 9. Let t be i(6). Let w = t - 6. Which is smaller: w or u?
w
Let f be 0/(0 - -2) - -1. Let i = 1.02 + -8.02. Is f smaller than i?
False
Let h(o) be the second derivative of -o**4/12 - o**3/2 + 3*o**2/2 + o. Let b be h(-3). Let q = 12 + -8. Which is smaller: q or b?
b
Suppose 0 = -17*m - 52 + 1. Is m >= -21/5?
True
Suppose 2*g = -2*o - 6, g - 7 = -0*g + 4*o. Let x = -147/52 - -11/4. Is x greater than g?
True
Suppose -b - 6 = -3*b. Let t be 2/(-3)*b - -2. Suppose t = 3*s + 3, 3*s = -3*h + s - 11. Is h at least as big as -1?
False
Let m(b) = -b**3 - 3*b**2 - 2*b - 4. Let c be m(-3). Let k = 145/2 + -71. Which is bigger: k or c?
c
Suppose 3*c = 6*c - 18. Let i be ((-2)/c)/(2/(-10)). Let y = 679 - 678. Is i < y?
False
Suppose 0 = 3*d - 6. Suppose -d*y + 5 = -7*y. Let o be (2/y)/((-2)/(-3)). Which is smaller: o or -4?
-4
Let p be (-539)/(-55) + (-4)/5. Suppose 0*w + p = -3*w. Are w and -6 equal?
False
Let d be ((-6)/9)/(1*4). Suppose -g - 4*g - 3*x + 27 = 0, -3*g - 2*x + 17 = 0. Suppose 0 = 5*y - 2*y + g. Is d <= y?
False
Let r = -12.09 + 0.09. Let a = r - -12. Is a at least as big as 2?
False
Let u = 11 - 1. Let f = u + -10. Is f less than -1/4?
False
Let h be (1 - 2)*17*18. Let w = 4588/15 + h. Which is bigger: 0 or w?
0
Let t be 3/6*4*(-2)/4. Which is greater: t or -0.1?
-0.1
Let z(l) = l + 1. Suppose -2*x + 7 = 2*q - 3*q, -19 = 3*q - 5*x. Let j be z(q). Which is bigger: -3/2 or j?
-3/2
Suppose 0 = -5*n + 148 - 158. Suppose -3*j - 5*k - 4 = -23, 2*j - 5*k = -29. Are j and n non-equal?
False
Suppose 0 = -3*o + 2*i - 10, -3*o + i = -0*o + 11. Is -6 < o?
True
Let b(l) = -l**2 + 8. Let h be b(0). Let z = 3 - h. Let v = z - -4. Is -3/7 equal to v?
False
Let q = 0.15 + 1.85. Is q > 5?
False
Let i(f) = -f - 15. Let a be i(-16). Let y(w) = 47*w**2 + w + 1. Let z be y(-1). Let p = 142/3 - z. Which is smaller: a or p?
p
Let y be (-7)/(21/6)*2. Which is greater: y or -13/3?
y
Let s = -0.8 + 1. Let z = -1 - -4. Let n = 3.1 - z. Do s and n have the same value?
False
Let w(c) = -3 + 0*c - 2*c + c. Let p be w(-8). Let t = -12 + 17. Is t not equal to p?
False
Suppose -2*i + 4 = 2. Is 8/25 greater than i?
False
Suppose 0 = v - 0*v + 3*i + 17, -4*v - 33 = 5*i. Let w = -5 - v. Let y = w - -5. Which is greater: y or 3?
3
Let o be 12/18 + (-68)/(-6). Is 12 greater than or equal to o?
True
Suppose -22*c = -25*c + 18. Are 3 and c nonequal?
True
Let j be ((-1)/3)/((-2)/48). Suppose 3*c = j*c + 70. Are c and -15 unequal?
True
Suppose -6*u + 2*u = -44. Is u at least as big as 11?
True
Let u = -8/5 - -2/5. Is u equal to 0?
False
Let x(z) be the third derivative of z**4/24 - 4*z**3/3 + 3*z**2. Let a be x(8). Which is greater: a or -2?
a
Let f = 0.01 - 0.1. Let k = f - 0.91. Which is greater: 5/2 or k?
5/2
Let p = 1004469/3731 - -3910/287. Let t = -283 + p. Which is greater: 0 or t?
0
Let y = 26.4 - 25. Is y > -0.1?
True
Let b = -104 + 104. Suppose -d - 25 = -6*d + 3*r, 3*d - 3*r - 21 = 0. Suppose -u - 1 = b, -d*x + 3*u + 1 + 4 = 0. Which is smaller: -2/15 or x?
-2/15
Let d = 141 + -2963/21. Let i = 8 + -3. Suppose -5*t = 2*s - i*s - 13, 4*s = -4*t + 4. Which is smaller: s or d?
s
Let g = -0.04 + 0.05. Which is greater: -1 or g?
g
Suppose 0 = -8*f + 4*f - 4. Which is bigger: f or -1/2?
-1/2
Let c = 4 + -10. Is c less than -7?
False
Let f = -4.87 - 0.13. Let x = 6 + f. Are -2 and x equal?
False
Let k be 8*((-28)/(-16))/7. Suppose 3*g + 3 = -3. Let n = k + g. Which is smaller: -1 or n?
-1
Let t = -4 + 14. Which is smaller: t or 14?
t
Let g(b) = -b**3 - 8*b**2 - 6*b + 7. Let z be g(-7). Let u be (-28)/(-13) - (z + 2). Are 1 and u unequal?
True
Let s = -26 + 26. Are -3/5 and s equal?
False
Let l = 18 - 16.1. Let w = -0.6 - 1.4. Let p = l + w. Which is greater: p or 0?
0
Let a = -0.22 + -0.02. Which is smaller: 1/3 or a?
a
Let k = 27/2 - 13. Suppose 0 = 3*d - 4*j + 14, 0*j - 2*j + 10 = 0. Which is smaller: k or d?
k
Suppose -4*d - 3*j = -49, -5*d - 2*j + 63 + 0 = 0. Do d and 13 have the same value?
True
Let a(c) = c**3 + c**2 - 1. Let k be a(1). Which is smaller: k or 9/4?
k
Let r = -2 + 2. Let b be (-10)/30*0/1. Suppose b*w + 2*w - 12 = r. Is w greater than or equal to 7?
False
Let t(z) = z**2 - z + 1. Let h be t(1). Let i = -56985/49 + 1163. Which is smaller: h or i?
i
Suppose -d + z = -z - 3, -2*d + 5*z + 7 = 0. Let g = 1586/11 - 144. Are g and d equal?
False
Let h be 3/(2*1/14). Let g = h - 18. Which is bigger: g or 11/3?
11/3
Let n = -52 + 52. Which is bigger: -18 or n?
n
Let f = 1.2 - 1.1. Let z = 7.96 - -0.04. Let x = 7.9 - z. Which is smaller: f or x?
x
Suppose 0 = -2*t - t - 6. Let f(y) = 2*y + 1. Let w be f(t). Is -3/2 at most w?
False
Let y = 5 - 9. Suppose 0*p = 2*p. Suppose -2*u = -p*u + 8. Are y and u non-equal?
False
Let i be (-1 - 1)/(7*1). Let g be -4*((-30)/(-8) + -4). Which is bigger: i or g?
g
Let x be (2/(-32))/(4/(-72)). Let r(f) = f - 6. Let t be r(7). Is x at most as big as t?
False
Let i(u) = u**3 - u - 3. Suppose 6*f = 3*f. Let j be i(f). Let y be -3*(1*-3)/j. Does -4 = y?
False
Let a = -9 - -11. Let v be (-2)/(-4)*(0 + a). Which is smaller: 2/33 or v?
2/33
Let u be ((-13)/(-39))/((-206)/(-12)). Which is smaller: 1 or u?
u
Suppose -4*p = 5*b - 44, 2*b + 4 = 71*p - 69*p. Suppose 4*d = 0, 0 = -3*r + 2*d + d - 3. Is p at most as big as r?
False
Let w = -23 + 23. Is -6 equal to w?
False
Let j be (-7)/(70/(-4))*-5. Which is greater: 1 or j?
1
Let g = 0.32 + 0.08. Let a = g - 0.8. Let u = a + -0.6. Which is greater: 1 or u?
1
Let n = 11053/36 - 307. Let t = -19/36 + n. Let q(k) = k**3 + 5*k**2 - 1. Let f be q(-5). Does f = t?
False
Let g = 17/2 - 81/10. Which is bigger: g or 0.3?
g
Let i = 15 + -10. Suppose 4*s - i*d = -4 - 4, -d = 0. Let q = -11/28 + 3/28. Which is smaller: q or s?
s
Let s = 16.9 - 17. Is -21 at least as big as s?
False
Let c be ((-29)/261)/((-1)/((-9)/(-1))). Is 18/41 > c?
False
Let u(v) = v**3 - 6*v**2 + v - 5. Let f be u(6). Let b be (-62)/8 + f/(-4). Let l be (b/36)/(8/30). Does -2 = l?
False
Let y = -28691 + 304641039/10618. Let d = -79663/297304 + y. Let i = 1/56 + d. Are i and 0 non-equal?
True
Let q = -0.038 + 2.038. Which is smaller: -5 or q?
-5
Let u = -3 - -4. Let f be (0 - u/1)*-3. Suppose r + 2*w = -7, 9*r - 10 = 4*r - w. Is f bigger than r?
False
Suppose d + 0*d + u = 4, u + 6 = d. Let o = 0 + 5. Is d smaller than o?
False
Let o = -13 - 6. Is -19 bigger than o?
False
Let u(g) = 6*g**3 - 10*g**2 - 12*g + 17. Let s(v) = 7*v**3 - 9*v**2 - 11*v + 16. Let m(h) = 5*s(h) - 6*u(h). Let y be m(16). Are -6 and y non-equal?
False
Let z = 14 + -15. Is -14 not equal to z?
True
Suppose 0*d + 4 = 2*d. Which is greater: 4 or d?
4
Let v be (-1 - (-15)/10) + 18/(-22). Which is bigger: v or 0?
0
Let r = 4.91 + 0.09. Let q = 4 - r. Which is smaller: q or -0.05?
q
Let l = -2/123 - 716/1353. Suppose 16 = 4*m - 4*d, -5*m - 5*d - 8 = 12. Is m greater than l?
True
Let a be (-6)/3 - (-7)/((-28)/60). Is a at most -17?
True
Let a be 1*(2/(-1) - -6). Let u be (a/(-36))/((-14)/12). Which is smaller: 0 or u?
0
Let n(g) = g**3 - 3*g**2 - 4*g + 1. Let k(t) = t**3 - t**2 + 4. Let w be k(0). Let c be n(w). Which is greater: -14 or c?
c
Let y = -2/1645091 - 16761832167/26321456. Let p = y + 637. Which is smaller: 0 or p?
0
Let s be (-18)/20*8/6. Suppose -f - 4*f + f = 0. Is f greater than or equal to s?
True
Let t = -15 - -31. Which is greater: 17 or t?
17
Let u = 0.3 + 0.7. Let m = 