Let j = f - -5.951. Is 1 less than j?
True
Let f be (-130)/(-18) + -5*(-54)/(-90). Let c = 2 - -1. Is c != f?
True
Suppose 5 = -4*o - p - 3, 17 = -5*o - 3*p. Is o smaller than -1/490?
True
Let s be 456/(-684) - ((-76)/105)/1. Are s and -9 equal?
False
Let d(z) = z**3 - z**2 - z + 4. Suppose 0*i = 2*i. Let a be d(i). Suppose a*p - 6*p = 3*t - 14, p = 3*t - 11. Which is smaller: p or 2?
p
Suppose 36 = p - 0*p. Let v be 2/4*p/(-18). Which is smaller: 4/27 or v?
v
Let z = -154 - -150. Let x(u) = u**3 + 6*u**2 + 10*u + 3. Let i be x(z). Let d be 1/4 + (-67)/12. Is i at least d?
True
Let k be 4/(-10) - (-16)/140. Let p(z) = 2*z**2 - z - 1. Let t be p(2). Suppose 3*s - t*s = 2. Which is bigger: k or s?
k
Let d = -6 - 11. Let g = -14 - d. Let y = g + -2.8. Which is smaller: y or -3?
-3
Let r be 1 - 28/48 - 0. Let w = 521/6 - 87. Let v = w + r. Is v greater than or equal to 1?
False
Suppose 28 = 5*t + 3*j, 5*t - 24 = -0*t + j. Suppose -5*p + p + 291 = -t*v, -p - 119 = 2*v. Is -59 < v?
False
Let p = -52.044 + 52. Let a = 0.186 - p. Which is bigger: 2/5 or a?
2/5
Let u = 1278.2 - 1278. Is 489 <= u?
False
Let c = 33 + 31. Let f = -129/2 + c. Is f <= 1?
True
Let d be 952/(-1326)*3*-3. Which is smaller: d or 7?
d
Suppose 290 = -59*z - 359. Which is greater: z or 16?
16
Let r = 0 + 2. Let a(z) = z**3 + 3*z + 2. Let k be a(-2). Let d be k/40*5/r. Which is smaller: d or 1/2?
d
Let z = 37/15 - -2191/30. Is 1 greater than z?
False
Let k = -265 - -263.7. Does k = -6.9?
False
Let a be 0*((0 - -3) + -4). Is a at least 4/3?
False
Suppose 0 = -3*j + 5*f + 57, -3*j - j + 2*f = -62. Let d be (0 - -1)/(1/4). Suppose -d*a = -2*a - j. Is a at most 7?
True
Let j(g) = 2*g**2 - 9*g. Let k be j(6). Let m be (-2 - (-21)/14)*-38. Which is smaller: m or k?
k
Suppose 23 = a - 2*l - 16, 0 = -4*a + 4*l + 164. Suppose 4*m = 2*v - 4*v - 62, 3*m + a = 2*v. Which is greater: m or -2?
-2
Suppose 6*j + 162 = 3*j - w, -218 = 4*j + 2*w. Which is smaller: j or -49?
j
Suppose 0 = -2*z + 3*i - 95, -3*z = 2*z + i + 280. Let k = 55 + z. Suppose -4*x + c - 3 = -10, -3*x - 3*c = 6. Is k equal to x?
False
Let w(p) = -p**3 + 10*p**2 + 11*p + 3. Let f be w(11). Suppose -t - f*i - 1 + 14 = 0, -5 = -t - i. Let b(o) = -3*o**2. Let c be b(t). Is c at most -1?
True
Let u(n) = -n**3 - 10*n**2 + 4*n + 7. Let b be u(-7). Let x be 1/b*(-28)/21. Let h = 247/630 + x. Which is smaller: 2 or h?
h
Suppose -4*z - 5*j + j + 8 = 0, 2*z = -4*j + 10. Let c be z + (-1 - 24/(-11)). Let w = 8301/2 + -4155. Which is smaller: w or c?
w
Let z be (-334)/(-22) - 18/99. Suppose -2*u = -5*u + z. Suppose 5*m = -u*x, 3*x = -0*x + m - 16. Is -4 smaller than x?
False
Let j(a) = -11*a - 8. Let x be j(-14). Let n = -1897/13 + x. Let b = n - 16/39. Are -11 and b nonequal?
True
Let t be (3 - 0) + (-32)/10. Suppose 10*x - 2*x - 8 = 0. Which is smaller: x or t?
t
Let k be -1*1/4*-12. Suppose 0*d + d = k. Suppose -4*y + d = 5*c + 1, -c = 3*y - 7. Do y and 3 have the same value?
True
Suppose 3 = 2*n - 1. Let q be (-2)/54*(n + -5). Which is smaller: q or 0?
0
Let v(i) = -i + 8. Let g be v(8). Let m = -0.025 + -0.155. Is m greater than g?
False
Suppose 2*b - 45 = 7*b. Let h be 6/(-1)*(-3 + b/(-4)). Which is bigger: h or -1?
h
Suppose w = -5*w. Let z be w - ((-244)/460 + 4/10). Which is greater: -1 or z?
z
Let r be 1 + 4/(-12)*-4. Suppose -s = -3, 3*m - 5*m - 3*s = -15. Suppose -2*l - m = -4*v - 27, 2*l + 4*v + 16 = 0. Which is greater: r or l?
r
Let o be (0 - (-2)/(-17)) + (-2970)/(-102). Is 29 less than o?
False
Suppose 0*s + 11*s + 22 = 0. Is s at least 0.58?
False
Suppose 26*o = 22*o + 1176. Does 294 = o?
True
Let f be (-4)/6 + (-230)/15. Let d = f + 8. Let a = -10 - -1. Is a at most as big as d?
True
Let c = 0.09 + -3.09. Let d(n) = n**2 + 6*n + 3. Suppose 25 = -2*h - 0*h + 5*g, -3*h - 3*g - 6 = 0. Let u be d(h). Which is greater: c or u?
u
Let k = 3.9 + 0.1. Let a be 132/(-462)*(-14)/(-6). Which is bigger: a or k?
k
Suppose 0 = 14*s - 15*s + 13. Suppose 3*y = -s + 28. Is y less than or equal to 5?
True
Let y be ((-6)/(-4))/(33/88). Suppose -5*h - 5 = 5*n, -n + 0*h + y*h = 6. Let f be -10 + n - (-5 - -4). Is f greater than or equal to -10?
False
Suppose -4*k + 131 = -c, 8*c - 3*c + 670 = 5*k. Let u be (-42)/c*510/984. Let p = u + 5/82. Which is greater: p or 0?
p
Suppose -4*j - 8 + 12 = 0. Which is greater: j or 8/31?
j
Suppose 10*b = 2*o + 13*b + 11, -5*o + 7 = -4*b. Let x be 35/(-4)*246/20. Let f = x - -76645/712. Which is smaller: o or f?
o
Suppose 2 = -9*z + 11*z, 4*z - 1 = 3*j. Which is greater: 5.3 or j?
5.3
Let x be (-2)/6*11/(462/(-36)). Let l be (-1)/5 - (-276)/5. Let i = -167/3 + l. Is x != i?
True
Suppose 3*l - 12 = -l. Let o = l + 4. Suppose o*p - 4*p = 9. Do p and 3 have the same value?
True
Let j = 20.4 - 20.23. Is j at least as big as 10?
False
Let b = 5824/3 + -1889. Let t = 53 - b. Let s = 1 + -0.9. Is s at most t?
True
Let n be (6 - 5/1)/((-80)/3). Which is greater: -1 or n?
n
Let r = 398/5 - 367/5. Which is greater: r or -1?
r
Let n be (4 - (-6 - -3))/1. Let h = 5 + n. Is h less than 13?
True
Let z = 228 - 233. Is z at least as big as -12?
True
Let a(q) = -10*q**2 + 11*q - 169. Let l be a(9). Is l > -881?
True
Let p = -422 - -415.7. Which is smaller: p or 2/7?
p
Let t = 56 + -6.9. Let h = t - 49. Which is bigger: -1 or h?
h
Suppose 9*w - 360 = -21*w. Which is bigger: 11 or w?
w
Let v(z) = -23*z - 113. Let b be v(-17). Which is greater: b or 277?
b
Let f(g) = -g**3 - g**2 - g + 43. Let x be f(0). Suppose 3*n - x = 50. Let d = n - 30. Which is bigger: -1/10 or d?
d
Let o = 42.4 + -42.55. Which is smaller: o or 28?
o
Suppose 3*j = 3*x - 99, 3*j = j - x - 72. Suppose 60*p + 218 = -1822. Is p < j?
False
Let k be (-764)/(-64) - (3 - (-20)/10). Which is greater: k or 7?
7
Let q = 27/319 + -13/29. Let c(a) = -4*a - 44. Let d be c(-11). Is q at most d?
True
Let r be 13 + -6 - 22062/3150. Which is bigger: r or 2?
2
Let i = 0.2051 - 0.1051. Is i bigger than -9?
True
Let g = -15 - -15.02. Let u = 3.349 + -0.329. Let x = u - g. Which is greater: x or 1?
x
Let c = 13.976 - -0.024. Let y = -13 + c. Is y <= -2/11?
False
Let l = 6073/13 + -461. Does l = 5?
False
Let m(h) be the first derivative of 2*h**3/3 + 3*h**2/2 + 2*h - 12. Let v be m(-2). Which is bigger: v or 19/5?
v
Let m(c) = -3*c + 23. Let g be m(12). Suppose 11*j - 12*j + 8 = 0. Let q be -1 - (-4)/j*-22. Is q <= g?
False
Let r = -139/87 + -2/29. Suppose -2*s = 3*s + 2*j - 27, -5*s + j + 24 = 0. Suppose -3*w + 7*w = -2*t - 2, s*t = -3*w + 9. Is r > w?
True
Let u = -21 - -13. Let f = -6 - u. Let r be (4/10)/((-2)/(-10)). Is f at least r?
True
Let s = -495 + 495. Let g be 2 + 0 - 440/218. Is s at most as big as g?
False
Let i(c) = -c**2 + 4*c + 3. Let o be i(5). Let j(b) = b**3 + 26*b**2 + 47*b - 27. Let a be j(-24). Is o equal to a?
False
Let k(v) = 8*v - 52. Let q be k(7). Suppose -2*h - q*h = 54. Is -6 < h?
False
Suppose -t + 0 = 1, t = -4*m - 17. Let a(b) = -b**3 - 3*b**2 - 2*b + 6. Let l be a(m). Is 28 < l?
True
Suppose 152*z + 6 = 149*z. Let o(d) = -2*d + 3*d - 3 + 1. Let b be o(2). Is z greater than b?
False
Let l(k) = k**2 - 2*k - 5. Let w be l(4). Let f be -40*1*(4 - (-189)/(-36)). Suppose 0*b = w*t + 2*b + 35, 0 = -4*t - b - f. Is -14 > t?
False
Let r = 10/503 + 956/2515. Is 1/832 less than r?
True
Let x = -154 - -147. Which is greater: x or -9?
x
Suppose 6 = -6*t + 8*t. Suppose -t*b + 18 = -b - 5*z, 0 = -5*b + 4*z + 79. Is 19 greater than b?
False
Let o be 10/(-25) - 2136/160. Is 0.2 less than or equal to o?
False
Let r = 40 - 40. Let v = -49/3 + 15. Is r greater than or equal to v?
True
Suppose 6*k = 2*k + 8, -4*p - k + 630 = 0. Do 157 and p have different values?
False
Let l = 2077 + -2076. Are 15/73 and l nonequal?
True
Suppose 5*l - 10 = -m - 28, 0 = 2*m - 3*l - 16. Let y be (-1)/((-1 + (-129)/(-126))*m). Are y and -21 equal?
True
Let i be (98/(-3))/(-7)*-9. Let q be 334/424 - i/(-56). Which is greater: -1 or q?
q
Suppose 3*n + 7 = 1. Suppose -5*a + 25 = 3*q, -4*a + 17 = 3*q - 3*a. Suppose -8 = -5*o - 4*y, 2*o = -q*y + 7 + 3. Do o and n have the same value?
False
Let j = -3 - -32. Suppose -j*o + 120 = -33*o. Are -29 and o equal?
False
Let n = 2/927 - 1265/156663. Which is smaller: n or -1?
-1
Let m(z) be the third derivative of z**5/30 - 3*z**4/8 + 13*z**3/6