 = -0*s - 2*k + 14, 5*k = 25. Let g be ((-99)/21 - 0) + s. Is g less than or equal to -1?
False
Suppose 0 = 4*u - 5 + 1. Suppose 0 = 4*b + 7 + u. Is -1/2 < b?
False
Let o(n) be the first derivative of -n**4/4 - 2*n**3 - 3*n**2 - 2*n + 8. Let b be o(-5). Suppose j - b*j = -2. Are -2/57 and j non-equal?
True
Let c(l) = -l**2 + 8*l - 8. Let b be c(7). Let a = 2/1581 - 3208/36363. Which is bigger: a or b?
a
Let f = 1226069/8 - 153465. Let c = f + 206. Which is bigger: 0 or c?
0
Suppose 2847 = 3819*x - 3806*x. Do x and 218 have different values?
True
Let l(s) = s**3 + 2*s**2 - 7*s - 30. Let m be l(-4). Which is smaller: -1 or m?
m
Suppose 0 = 31*d - 36*d - 15. Which is greater: -40/23 or d?
-40/23
Let d be ((-20)/30)/(1/(3/(-2))). Let o be (d + 0)/((5 - 3) + -3). Let p = 1 + -0.8. Which is smaller: p or o?
o
Suppose -47*o + 23 = -24*o. Is o > 6/43?
True
Suppose 0 = 2*y + y - 6. Let a = 2 - y. Let d be (-2)/2 + 22/10. Is a at least d?
False
Suppose 3*i + 2*t = -60, 3*t - 48 = 5*i + 33. Let x be (1*i/21)/(6/(-4)). Are x and 0 non-equal?
True
Let y = -310 - 104. Is y at least -415?
True
Let x(f) = f**2 - 4*f + 1. Let l be x(3). Let u(g) = g**3 - 6*g**2 - 9*g + 12. Let n be ((-2)/((-2)/7))/1. Let y be u(n). Is l at most as big as y?
True
Let q be 1560/(-1984) - ((-108)/32)/(-9). Is q at least 0?
False
Let b = -13 - -9. Let i = b - -8. Let c be -3*2/i*2. Which is greater: c or -1?
-1
Let r = 2873/15 - 396/5. Let z = r + -109. Is 4 less than z?
False
Let s = 1 + 2. Let g be 1/3 + (-1)/s. Is g less than -2?
False
Suppose 3*d - 2*k + 122 = 0, 5*k = d + 8*k + 59. Are d and -46 equal?
False
Let p be (-1)/((-36)/111) + 15 + -19. Let i be (-6)/(-4)*(-4)/6. Is p greater than or equal to i?
True
Let t = 871/10 - 87. Suppose 2 + 28 = -3*j. Let u be j/8 - (-5)/20. Is t > u?
True
Let h be (-88)/9 - (-23 - -29). Is h equal to -16?
False
Let g = 295 - 173. Let v be g/18 + 14/63. Suppose -4*n + v = 59. Which is smaller: n or -12?
n
Let m = -2 + 25. Suppose -4*s = -m + 3. Suppose 2*d - 16 = -2*d. Is s < d?
False
Let j = -1753 + 1421. Which is greater: j or -0.3?
-0.3
Let j(i) = -4*i**2 - 24*i**3 - 7 + 9*i**3 - 7*i + 16*i**3. Let h be j(6). Which is smaller: 24 or h?
h
Let v = -21 + 45. Suppose -m = -4*y + 17, -6*m + 2*m - v = -5*y. Suppose 0 = -x + 2*l + 2, -x - 3*x = l + 1. Is m not equal to x?
True
Let o(k) = k - 6. Let j be o(9). Let w be (60/315)/((-2)/j). Let p = 1.96 + 0.04. Is p at most w?
False
Let d = -4.749 - -0.049. Let v = -0.9 + d. Let k = 0.6 + v. Which is greater: k or -1?
-1
Let w = 1 - 1. Let g = -266 + 265.9. Let p = w + g. Which is smaller: p or -0.2?
-0.2
Let z = 2 - -2. Suppose 3*d - 4*v = 20, -d - z*d = -5*v - 25. Let t = 521 + -2087/4. Are d and t equal?
False
Let t be 13/3 + 100/(-75). Suppose t*c + 4*d = 31, 24 = 3*c + d - 22. Is 20 at most as big as c?
False
Let m = -25 + -8. Let s = m + 48. Suppose -2*u - 75 = -7*u. Is s greater than or equal to u?
True
Let x(y) = y**3 - 14*y**2 + 12*y + 12. Let s be x(13). Let m be 8/(-7)*s/4. Is m at least as big as 1/11?
True
Let j = -884 + 806. Which is greater: j or 2/7?
2/7
Let y = -34.3 - 7.7. Let m = 1613 + -1612. Which is bigger: y or m?
m
Let u be 13/4 - (-16)/(-128)*-6. Which is smaller: 12 or u?
u
Let y(m) = -3*m - 9. Suppose 4*c + 4*u = 3*u - 16, 2*c = -3*u - 18. Let j be y(c). Which is bigger: 1/43 or j?
1/43
Let k(s) = -2*s**3 + 5*s**2 - 4*s + 4. Let r(j) = j**3 - 14*j**2 + 11*j + 28. Let w be r(13). Let x be (6 - 0) + (-1 - w). Let o be k(x). Is o less than -17?
False
Let k = -77 + 57. Which is greater: k or -15?
-15
Let r be 190/62 + (-6 - -3)*1. Are -1 and r unequal?
True
Let s = 7645 + -7654. Suppose 2*i = 5*y + 12, y + 24 = 4*i - y. Let x be 1*i*8/(-6). Which is bigger: x or s?
x
Let j = -4 - 23. Let d = j + 15. Let m = d - -13. Is m > -0.2?
True
Let d be 13/((-1261)/(-2))*(3 + -6). Which is smaller: 0 or d?
d
Let q = 9/13 + 7/65. Which is bigger: 37 or q?
37
Let d = 7 - 7. Let t = d + -0.05. Let n = 4.95 - t. Which is greater: -0.1 or n?
n
Let o be (-1)/((-50)/(-30)) + (-1754)/10. Which is smaller: o or -177?
-177
Let s = 816 + -2037. Is -1220 less than s?
False
Let l be 2/65*131 + (-116)/145. Which is greater: l or 3?
l
Let p(u) = -2*u - 7. Let l be p(-8). Let w be l/45 + 13/(-15). Let c = -26 - -24. Is c < w?
True
Let o = 1.32 + -0.42. Let w = o - 6.9. Which is smaller: w or -1?
w
Let w = 1513/625252 + 15/1732. Are w and 1 unequal?
True
Suppose 5*l = -5 + 20. Suppose -17 = -4*v + k - 4*k, -2*v + 7 = l*k. Suppose x + 20 = 5*t - x, 5*t - 20 = v*x. Is t at least 19/5?
True
Let c be -2 + 164*(-3)/(-54). Let p = c - 283/36. Suppose -2*r - 19 = 5*b, -4*b - 17 = -r - 7. Which is bigger: p or r?
p
Suppose -v + 32 = 2*o, -46 = -6*v + 5*v + 5*o. Are v and 40 equal?
False
Let v = -7 + 7. Let a be (180 - v)/(8/20). Let i be a/55 + (-2)/11. Does i = 8?
True
Let o = -13 - -13. Suppose 4*m - 8 = -o*m. Suppose m*p - 5*p = -36. Is p less than or equal to 11?
False
Let h be 155/310*2/(-1)*1/1. Let t be (-1 - 187)/(14/2). Let a = t - -1706/63. Is a greater than h?
True
Suppose 0 = -7*x - 5*x + 36. Let f(p) = -p + 3. Let u be f(0). Suppose -x*r + 6 = u. Is 1 less than r?
False
Let l(x) = -19*x - 399. Let m be l(-21). Are m and -2/707 equal?
False
Let h = -0.58 - -0.536. Let d = -0.144 - h. Which is smaller: d or 12?
d
Let l = -8761 - -79057/9. Let a = 13538/585 - l. Is -1 <= a?
True
Suppose 0 = 2*f + 5*r - 28, -3*f + r + 5 = -3. Suppose -3*v = 4*x, 3*x - f*v - 25 = -0*v. Suppose -5*k - 2 = -22. Which is greater: k or x?
k
Let r = 4041/2 + -1458809/722. Are -1 and r unequal?
True
Let y = 2181 + -2178.92. Are y and -2/11 nonequal?
True
Let f(y) = y**2 - 3 - 7*y**2 - 3*y**2 + 8*y**2. Let p be f(3). Is 0 > p?
True
Let d(l) = -2*l**2 - 47*l + 70. Let v be d(-25). Which is greater: v or -10?
v
Let k be 4 + (0 - 2)*1. Suppose -6*i + k*i = 0, -3*g - 5*i = 51. Is -15 less than or equal to g?
False
Suppose -20 = -5*g - b, -8 = -3*g + g - b. Suppose -3*u = 1 - g. Let t be ((-2)/24)/(u/(-4)). Which is bigger: t or 0.1?
t
Let m = -1 + 1. Let n(z) = z**2 + 10*z - 14. Let y be n(-10). Let c be 3 - (405/y)/(-9). Which is smaller: m or c?
c
Let n(b) = 56*b - 896. Let y be n(16). Is y not equal to -9/164?
True
Let k(p) = -8*p + 2. Let z(v) be the first derivative of 9*v**2/2 - 2*v - 1. Let n(x) = -7*k(x) - 6*z(x). Let u be n(4). Which is bigger: u or 7?
7
Suppose 8*p - 155 = 3*p. Let g = p + -22. Let s = 8.7 + -8.6. Which is greater: g or s?
g
Let l = 23 - 23. Suppose q + 495 + 218 = l. Let x = q + 12127/17. Which is smaller: 0 or x?
0
Let n be (-51)/918*24/15. Which is smaller: n or -1?
-1
Let m(l) = 2*l - 15. Let k = -27 + 28. Suppose 2*w + 3 = k, 2*q - 1 = w. Let x be m(q). Is -14 at least x?
True
Let n = 78.8 - 82.8. Which is bigger: -32/7 or n?
n
Let i be 4*((-49)/(-35))/7. Do i and 2 have different values?
True
Let a = -12 - -17. Let g be (-78)/a - (-28)/(-70). Suppose 4*f + 29 = -35. Is f bigger than g?
False
Let x be (((-3952)/(-10))/(-4))/((-19)/(-95)). Do -493 and x have the same value?
False
Let g = 111379/11 - 10133. Let y = g + 839/110. Which is bigger: 1 or y?
1
Let i = -155.7 + 106.8. Let r = 53 + i. Let h = r - 0.1. Is h greater than 4?
False
Let d(h) = 5 - 57*h - 3*h**2 + 2*h**2 + 55*h. Let q be d(-3). Which is bigger: 0.08 or q?
q
Let z = 7.2 - 6.4. Let v = z + 2.2. Are v and 2/15 nonequal?
True
Let c(d) = d**3 + 3*d**2 - 19*d + 2. Let p be c(3). Is 10/63 at most as big as p?
False
Let t = 1419 - 1420. Which is smaller: -753 or t?
-753
Let g = 44 - 38. Let r = 7 - g. Which is smaller: r or 2/189?
2/189
Let p be 2/(-3)*(0 - (-36)/(-8)). Suppose -p*m + 4*z + 39 = 6*z, 4*z = -2*m + 26. Is -1 at most m?
True
Suppose 3*i = y + 2, 4*y - 4*i - 2 = -2*i. Which is bigger: -81 or y?
y
Suppose -4*z + 12 = 0, -5*i = 5*z - 0*z - 35. Suppose -i*u + 2*u = -2. Which is bigger: u or -3?
u
Let n(h) = h. Let v be n(2). Suppose -v*r = 2 - 20. Let f = -17 + 26. Is r >= f?
True
Let i = -161/472 - 2/59. Is -45 > i?
False
Suppose -4*z + 1 - 69 = 0. Which is smaller: -82/5 or z?
z
Suppose 3*o - 13*o + 670 = 0. Is o at least 72?
False
Let p(h) = -89*h + 34. Let f be p(6). Which is greater: f or -499?
-499
Let u = -37.973 + -0.027. Let z = u - -37.88. Is z > 0.2?
False
Let l = -48 + 47.95. Is 0.15 <= l?
False
Suppose 7*w = 3*w 