 -26 - 1600. Is o greater than -1625?
False
Let y = -58 - -86. Let v = 27 - y. Let q be -1 + 2 - (-3)/v. Are -5/4 and q nonequal?
True
Let j be -2 - (-26*(-7)/(-70) + 0 + 1). Let d(o) = -o + 1. Let y(r) = r**3 + 6*r**2 - 10*r + 12. Let t(s) = -4*d(s) + y(s). Let u be t(-7). Is j < u?
True
Suppose -s = -6*s + 125. Let c be (-118)/(-6) + (-4)/(-12). Let q be (-10)/s + (-162)/c. Which is smaller: -10 or q?
-10
Suppose 0*f - f + 20 = 4*o, -2*o = -3*f + 4. Is -6 less than f?
True
Let a = -0.0234 + 12.0234. Which is bigger: 6 or a?
a
Let k = 826 + -807. Which is smaller: 24 or k?
k
Suppose 9*f - 7160 = 148. Which is greater: f or 813?
813
Suppose 5*f - 2*o = 33, f = 5*f + 2*o - 30. Suppose -2*p + 70 = -f*p. Is p at most -11?
True
Let m = -1793/3 - -585. Suppose -3*x - 19 = 20. Let n = m - x. Which is greater: 9 or n?
9
Let c be 10*(-2)/(-25) + -1. Is c bigger than 13/2?
False
Let z(t) = 20*t - 6. Let x be z(6). Let q be (-15894)/(-126) + -12 - (-1 + 8/7). Do x and q have different values?
False
Let t be 6/(-9) + (-736)/48. Is t smaller than -31?
False
Let v = 234.8 - 235. Are v and -1.02 non-equal?
True
Let q = 22.87 - 23. Let w = -7.03 - -7. Let r = w - q. Which is bigger: 1 or r?
1
Let v be ((4 + 0)/44)/((-1)/3). Let i = -2 + 2. Is i less than v?
False
Let w = 1 + 0. Let c = -10 + 8. Let o be ((-16)/(-128))/(c/(-8)). Which is bigger: w or o?
w
Let v = 13 - 12. Suppose -5*r + 20 = -5*q, 5*r = -2*q + 29 - 9. Which is smaller: v or q?
q
Let a(j) be the second derivative of -j**5/5 + 2*j**3/3 - j**2 + 4*j + 8. Let v be a(2). Is -26 greater than v?
False
Let d be (1*2)/((-10)/(20/(-4))). Suppose b + 4*f + d = 11, 0 = -4*b + 3*f + 21. Is 8 at most b?
False
Let w = 70987 + -353731/5. Which is bigger: w or 240?
w
Let g(r) = 5*r - 2*r**2 + 9*r - 2*r + 5. Let o be g(6). Is o != 5?
False
Let u = 33 + -51. Is u <= -16?
True
Let f = 1.16 + -8.26. Let w = 7 + f. Let j = 22 - 22. Is j greater than w?
True
Let k(r) = 25*r**2 + 19*r - 60. Let z be k(3). Which is smaller: 223 or z?
z
Let h = -953 + 953.2. Let n be (-104)/10 + 4/(-10). Let g = n - -11. Are g and h equal?
True
Let c be -2 + (5 - -3 - 5 - 1). Which is smaller: -2/97 or c?
-2/97
Let y = -1149 - -637. Let t = -362 - y. Do 0 and t have different values?
True
Let q = -141 + 4651/33. Let d(s) = 14*s - 769. Let k be d(55). Is k greater than q?
True
Let k = 126 - 184. Let m = k - -58.2. Which is smaller: 3/2 or m?
m
Let q = 113 + -115. Are q and -15 non-equal?
True
Suppose 9*a + 937 = 4*a + 3*j, a - j + 189 = 0. Is -183 equal to a?
False
Let n = -119 + 207. Let s be 16/n + 200/(-11). Is -18 equal to s?
True
Suppose -6*a + 2*a - 550 = n, 4*a + 544 = -4*n. Let o = -231 - a. Is -94 > o?
False
Let c = 187 - 192. Let u = -7 + 1. Is c bigger than u?
True
Suppose -4 = 47*t - 4. Is t bigger than -19/24?
True
Let r(o) = -o + 6. Let j be (-3)/2*(6 - 8). Let y be r(j). Suppose 25 = 2*v + y*v. Which is smaller: v or 6?
v
Let r = 5.01 - 5. Let l = -0.1 + r. Let n = -1.16 + 0.16. Are n and l equal?
False
Let v be 1542/10 + 0/8. Let u be (-31 - 0)*(-3 + 8). Let z = u + v. Is z at most -0.2?
True
Let v be 45/12 + ((-45)/(-20))/9. Suppose v*m + 3 = -41. Is m equal to -5?
False
Suppose 28*d + 367 = -3329. Is -131 equal to d?
False
Let b = 165/41 - 291/164. Suppose -2*y = 3*y - 15. Are b and y equal?
False
Let p(q) = q**3 - 7*q**2 + 8*q + 4. Let h be p(6). Suppose 2*l = 10*l + h. Let v be -4*(-4)/(32/(-6)). Which is smaller: v or l?
v
Let i = 2737/57420 + -16/261. Which is smaller: 1 or i?
i
Let o = -122 + 131. Which is bigger: 3 or o?
o
Suppose 0 = 5*p - 5*s - 70, 2*s + s = 5*p - 60. Let l be ((-4)/12)/((-6)/p). Which is bigger: l or 0.4?
l
Suppose -d = d + 2*p + 28, 5*d - 5*p + 30 = 0. Suppose 0 = k - 5*n + 12, k = -0*k + n - 8. Let y = k - d. Which is smaller: y or 8/5?
8/5
Suppose 0 = s - 3*i + 3, -4 = 3*s - 3*i + 11. Let x be (-3)/(15/10) - (-3)/2. Is s at least as big as x?
False
Suppose 2*f - 9 = -j, -2*f = -j + 2*f - 21. Let u be (-32)/j*(2 - (-10)/(-4)). Is u >= -18?
True
Let a be -556*8/(-896) + -5. Are a and 0.4 equal?
False
Suppose 3*i = -i. Let t be (3 + (-88)/33)/(406/(-6) + -2). Which is bigger: i or t?
i
Let m(j) = j**3 + 3*j**2 - 4*j + 5. Let s(z) = z - 19. Let b be s(15). Let c be m(b). Suppose -28 = 3*v + 5*u, -5*u + 20 = c*v - 10*u. Does v = -4/5?
False
Let p = -2 + 7. Let q be 2813/(-1566) - (-6)/4. Let l = 97/54 + q. Which is greater: l or p?
p
Let v be (-1 + (-9)/(-6))*43. Let c(h) = h**3 - 8*h**2 - 2*h - 6. Let r be c(8). Let o = r + v. Which is bigger: -1 or o?
o
Let o = 301 - 1207/4. Is 0 less than o?
False
Let l(y) = -3*y**2 + 3*y + 4. Let x(o) = -10*o**2 + 8*o + 12. Let s(z) = 7*l(z) - 2*x(z). Let r be s(6). Which is smaller: -1 or r?
r
Let x = 19 + -12. Let q(b) = -3*b + 51. Let c be q(15). Suppose -n = x - c. Are n and 0.9 unequal?
True
Suppose 120 + 20 = -5*p. Suppose -3*z + 5*s - 9 = 0, 152*s = 2*z + 150*s + 2. Which is smaller: z or p?
p
Let r = 130 - 62. Let x be r/(-24) + 28/21. Is 2 at least as big as x?
True
Suppose -2*y + 16 = -5*u, -8*u - 4*y = -9*u - 14. Let n = 12/11 - 35/22. Is u less than or equal to n?
True
Suppose -2*k = 4*p - 152, 5*k + 103 = -p + 519. Let l be (k/(-8))/7*-8. Which is greater: 5 or l?
l
Let l(t) = -2*t**3 - 3*t**2 - t - 2. Let z be l(3). Let o = -119 - z. Is -33 bigger than o?
False
Let s = -30 - -26. Let a be s - 0/(-1 - 1). Which is smaller: a or -2?
a
Let r(h) = -2*h + 19. Suppose 0*g - 120 = -6*g. Let l be r(g). Is -21 bigger than l?
False
Suppose -3*g + 6 = -4*m - 2*g, 8 = 4*g. Let p be (4/(-2)*(-9)/12)/(-21). Is m at most p?
True
Suppose 2*w + 8 = 0, 4*v + 2 = 5*v - w. Suppose -3*k + 4*j = -6*k + 111, k - 5*j - 18 = 0. Let m = k - 63/2. Is v >= m?
False
Let y = 265 - 251. Do y and -2 have different values?
True
Let j = 3.12 - 1.12. Which is bigger: j or -4?
j
Let a = 49.1 + -53.1. Which is bigger: a or -6?
a
Let r = 7/76 - 205/988. Suppose 2*d = 4*p + 8, -3 = -3*p - 4*d + 13. Is p less than r?
False
Let a(x) = -x**2 - 34*x + 38. Let y be a(-34). Which is bigger: y or 35?
y
Suppose 0 = f + 2*f - 9. Suppose -f = -3*p + 4*p. Let n = -10 - p. Are n and -7 equal?
True
Let b(n) = n + 3. Let u be b(0). Suppose 0 = 65*m - 68*m + 45. Suppose m = -0*d - 2*d + 3*w, 3*d + 3*w = 15. Are u and d unequal?
True
Let h be 1/((32/(-256))/(23/2)). Is h at most as big as -1/11?
True
Let i be (0 - -1)/((-2665)/(-4346697)). Let r be (-1629 - 1) + 2/(-2). Let s = i + r. Which is smaller: s or 1?
s
Let m be ((-12)/8)/(1/(-4)). Let v be (3/228*6)/(m/(-40)). Is v != -2?
True
Suppose 4*j = -5*g - 30, 2*j + 22 = -8*g + 9*g. Which is bigger: j or -48?
j
Let t = -9.18 + 9.2. Is -5 bigger than t?
False
Suppose -3*r + 14 = 2*u, 3*r - 10 = 2*r + 2*u. Suppose -3*h + r*h = 5*t - 24, -t + 12 = 3*h. Is 6 greater than t?
False
Let c = -22 + 20. Let h be -5 - (c - 3 - 8). Which is greater: h or 7?
h
Suppose 0 = 132*v - 136*v + 32. Let k be v + -3 + (-36)/6. Is k != -0.046?
True
Let r = -0.06 - -0.16. Let q be (-156)/(-24)*2/(-3). Let h = -4 - q. Which is smaller: r or h?
r
Let n = 598 + -597.15. Which is smaller: n or -1?
-1
Let m = 2 + -1. Let t = 114 + -65. Let w be t/(-60) + -2 + (-32)/(-12). Which is bigger: w or m?
m
Suppose -9*v - v + 610 = 0. Is v >= 62?
False
Let s be 1*4056/10365 - (-14)/(-35). Which is bigger: 0 or s?
0
Suppose 4*l + l = 10. Suppose -l*n + 16 = g + 4*g, 0 = 2*n + 2*g - 22. Is n >= 14?
False
Suppose 6*q - 30 = q. Let n = 4 + -19. Let x = -9 - n. Is q bigger than x?
False
Suppose 4 + 7 = -5*n - 3*g, 3*n = -5*g - 13. Let o = -479 + 6703/14. Which is smaller: o or n?
n
Let v = -25 + 25. Suppose -6*z - 3 = -15. Suppose -5*r + z = -3*d - 31, -4*r + 2*d + 28 = 0. Which is smaller: v or r?
v
Suppose 0*z + 10*z - 300 = 0. Suppose -z = c - 31. Which is bigger: c or -2/117?
c
Suppose 0 = -5*l + 55 - 20. Suppose -9*n - 20 = -14*n. Suppose n*m - 2*o = 28, -m + 5*m = -o + 28. Do m and l have different values?
False
Let d be (-10)/(-274)*(-1482)/(-285). Is 0 >= d?
False
Suppose 2*x = 11*x - 18. Is x greater than -293?
True
Let b = -10 + 6. Let r(u) = -4*u - 3. Let d be r(-1). Let x be (-11 + d)*3/12. Which is smaller: b or x?
b
Let s be (-135)/(-18) + 2/4. Suppose -101 + 293 = s*w. Is w less than or equal to 24?
True
Suppose 217*z - 213*z = 12. Is -24 greater than z?
False
Let m(f)