Let f be w/14 + 1/(-1). Is 21 less than f?
True
Suppose 0 = -23*l - 156 + 386. Are 18 and l unequal?
True
Let w(f) = 53*f - 160. Let z be w(3). Which is smaller: 61 or z?
z
Suppose -3*c + 600 - 1122 = 0. Which is bigger: c or 3?
3
Let q be (-16)/(-9) - (-8)/36. Suppose 0 = -6*o + 5*o + 3. Suppose j + 15 + q = -o*b, -2*b - 4 = -3*j. Is j equal to -2?
True
Suppose 6*j - 12 = 4*r + 2*j, 15 = -2*r + 5*j. Suppose -z = -r - 7. Let w = z + -8. Which is greater: -3/2 or w?
w
Let h(u) = -13*u**2 + u + 2. Let p be h(-1). Let v be 0/(-5 + 2) - p/(-105). Which is smaller: v or 0?
v
Suppose 16*c = 21*c + 5. Let a(u) = -69*u**3 - u**2 - u. Let k be a(c). Which is smaller: 68 or k?
68
Let m(v) = v**2 + v + 84. Let s be m(0). Let o be -49 - 5 - (-2 - -5). Let r be o/s - (-1)/4. Is r greater than 0?
False
Let w = 146 - 145.994. Which is greater: 0.1 or w?
0.1
Let z = 1.285 - 0.485. Which is bigger: 4/19 or z?
z
Let p(k) = -2*k + 15. Let r be p(9). Let d = -24.3 - -24. Is r at least d?
False
Let q be (-3369)/45 + -2 - -4. Let j = q + 73. Suppose 28*c - 21*c = -7. Is c greater than or equal to j?
False
Let f = 91 + -31. Let q = -61 + f. Which is bigger: 0 or q?
0
Let j be (-37)/5 + 3 + 8/20. Let d be (1/j)/((98/48)/(-7)). Which is greater: d or 2?
2
Let n be (-13311)/(-135) - 5/1. Let a = n + -94. Which is smaller: 4 or a?
a
Suppose -5*j + 56*g + 99 = 59*g, 87 = 4*j + 5*g. Is j at most 278/15?
True
Let b(k) = 12*k**3 - 5*k**2 - 6*k + 6. Let o be b(3). Is 535/2 at least as big as o?
True
Suppose 4*h = 20, 2*b + 3*h - 15 = 3*b. Let a = 489 + -37651/77. Do a and b have different values?
True
Let i(r) = -2. Let d(o) = -o - 3. Let z(p) = 5*d(p) - 6*i(p). Let y be z(-3). Let m be (15/18)/(8/y). Is m at most as big as 1?
False
Let h be 1 + -2 + (-2 - -5). Suppose -2*y + 5*y + 2*f = -1, 0 = 4*y + f - h. Which is smaller: -28 or y?
-28
Let s be (-47)/44 - (57/12 + -5). Which is smaller: -1 or s?
-1
Suppose c + 5*r = 4*c - 40, -3*r = 4*c - 34. Which is smaller: c or 78/7?
c
Let j = 1095 - 1252. Which is smaller: -161 or j?
-161
Let s(z) = -z + 4. Let j be s(2). Suppose 2*g = -74 + 100. Let h = j - g. Is h at most -11?
True
Let b be 72/33 - 2 - 6/6. Is -1 <= b?
True
Suppose 0 = 2*d - 11*d + 27. Are d and -8 unequal?
True
Let z = 173/2 - 81. Let g(y) = 2*y - 3. Let k be g(12). Suppose 0 = -4*a + a + k. Is a at least as big as z?
True
Let a = -0.05 - -3.8. Let b = a - -0.95. Which is smaller: b or -2/7?
-2/7
Suppose 5*o = 136*h - 134*h + 2244, 3*o - 3*h = 1350. Is 448 at most as big as o?
True
Let n(a) = -a**2 + 59*a - 541. Let i be n(33). Which is smaller: 315 or i?
315
Let i(h) = 286*h**3 - h**2 - 2*h. Let o be i(1). Which is smaller: o or 282?
282
Let w = -147/184 - 21695/1288. Let d = -103/6 - w. Let r = -302/105 + d. Are -2 and r nonequal?
True
Suppose -2*z + n = 3*n, -5*z + n = 6. Is -26 != z?
True
Let y = 40.291 + 9.599. Let g = -53 + y. Let l = g - -0.11. Which is bigger: 0.2 or l?
0.2
Let s = 59743/39 + -1532. Which is smaller: -1 or s?
-1
Let l be (-1 - 51/(-63)) + 2/9. Let v = 3/14 + 5/42. Which is smaller: v or l?
l
Let q = -0.03 - -9.03. Let k = 6 + 2. Let u = k - q. Is -0.1 at least u?
True
Let v = 2252 - 2251. Is -7/160 at least as big as v?
False
Let d = 4 - 0. Let s = 10074 - 10083. Which is bigger: s or d?
d
Let i be (0 - 1 - -1)*4/(-8). Do i and 1/168 have different values?
True
Let h be 4/(-51)*(-908)/(-180). Let n = 11/27 + h. Is n >= 0?
True
Let k(p) = p**3 - 22*p**2 - p + 30. Let t be k(22). Suppose t + 0 = -2*d. Is -2/7 bigger than d?
True
Let c = -8 + -4. Let a be ((-4)/(-3))/(2/120). Let z be c/(-5) + 48/a. Which is bigger: 2 or z?
z
Let j be (-1042)/(-777) + 8/(-6). Let o = j - 265/777. Which is smaller: 4 or o?
o
Let w(v) = 4*v - 5. Let b(o) = -5*o + 6. Let t(l) = 5*b(l) + 6*w(l). Let h be t(3). Let g be ((-5)/1 - h)/(-6). Is 4 greater than g?
True
Let s be -23*((-4280)/3774 - -1). Let q = s + -117/37. Which is greater: 1 or q?
1
Let u = -7 - -4. Let r be (u - 10/(-6)) + 2. Which is bigger: r or 1/3?
r
Let q = 1.69 - 2.69. Which is bigger: -1/5 or q?
-1/5
Let k = 17 - -9. Let p = 18 - k. Are p and 1/4 equal?
False
Let j = 0.85 + 16.15. Let x = j + -59. Are x and -2 equal?
False
Let t = 4049/18 + -225. Let g(z) be the first derivative of z**3/3 + 11*z**2/2 + 17*z - 44. Let j be g(-2). Which is bigger: j or t?
t
Let a(o) = o + 56. Let m be a(-10). Let k = 77 - m. Is k smaller than 32?
True
Let v = 1.28 - -57.72. Let m = -64.2 + 64.1. Which is smaller: m or v?
m
Let h be 3*(1 - (-11)/(-3)). Suppose -a + 0*a = 6. Let b = h - a. Is b < -1?
True
Let a = 730/11 - 3353/55. Is a equal to -3/5?
False
Let p = 1303/3 - 434. Which is bigger: 22 or p?
22
Let l = -10849/16965 + 11/585. Is -1 less than or equal to l?
True
Let c be -1*(5/15 - 0). Let y = 1.1 + 1.9. Let h = y - 3.03. Does c = h?
False
Let i = 65 - 91. Let b = 25 + i. Suppose -5*p = -3*t - 12 - 2, -3*t = 2*p + 7. Is p less than b?
False
Let o be (3 - 1955/645)/(-2). Which is smaller: 1 or o?
o
Suppose 20*v - 35 = 13*v. Suppose 0*x - x - 4 = -n, v*n - 17 = 2*x. Suppose 4*o + 20 = 4*c, 0 = -c - 5*o - 0 - 1. Which is smaller: n or c?
n
Suppose 5*n = -33 + 38. Let b be (12/40)/(5/(-2)). Which is greater: n or b?
n
Suppose 0 = 4*n + 5*c - 59, 0 = 3*n - 4*c - 10 - 11. Let i = n + -9. Suppose -2*q = i*q - 5*j - 31, -4*j - 12 = 0. Is 3 bigger than q?
False
Let h be 245/(-10)*4/(-10). Which is smaller: h or 9?
9
Suppose -5*w + q - 20 = 109, -5*w - 4*q = 109. Let i be -1*47/2 + -2. Let n = i - w. Which is greater: 0 or n?
0
Let k = -492 - -371. Which is bigger: -0.1 or k?
-0.1
Let a(v) = -v**3 - 5*v**2 + 5*v + 11. Let b be a(-6). Is b >= 12?
True
Let c = 612 - 610.6. Which is bigger: -3.7 or c?
c
Let o(q) = -q**2 + 9*q + 9. Suppose 6*m - m = 35. Let s be o(m). Suppose -2*z + 3 = s. Are -11 and z nonequal?
True
Let o = -2283.9 - -2284. Which is greater: o or 650?
650
Suppose -4*l = 2 + 26. Suppose -5*j + 0*j - 33 = -b, 0 = 5*j - 3*b + 29. Do l and j have the same value?
True
Let o be (-41)/70 - 4/(-14). Suppose 0 = -2*s - 58 - 118. Let y = 87 + s. Which is greater: y or o?
o
Let c(i) = -i**3 - 15*i**2 + 6. Let r be c(-15). Let f be (-15)/(-4) + r/24. Suppose -2*g = -b - 5*g + 17, f*b = -5*g + 33. Is 3/5 greater than b?
False
Suppose u - 4*j - 13 = -5, -5*u + j = -21. Suppose u*w - n = -3*n - 116, -5*n + 175 = -5*w. Is w smaller than -32?
False
Suppose 2*l - l - 25 = -5*y, 0 = 2*y - 10. Let r = -9/212 - 1011/6148. Are l and r non-equal?
True
Let d = -1972 + 1199. Are -774 and d nonequal?
True
Let r = 432 + -434. Is r at least -64/25?
True
Let o = 14 - -5. Suppose 42 - 78 = -2*v. Does o = v?
False
Suppose 0 = 778*i - 766*i + 384. Which is smaller: i or -26?
i
Let i = 93/2 - 307/6. Let k(y) = y**2 - 38*y + 99. Let x be k(35). Is x at least i?
False
Let u be (-2 - -5)*(-1 - -2). Suppose 2*h + 13 = -2*w - w, h + u*w = -14. Suppose -2*v + h = 5*y, 4*v - 2*y = -y - 9. Which is smaller: -3/5 or v?
v
Suppose 26*q - 19*q - 7 = 0. Which is greater: 2/917 or q?
q
Let o = -270 + 268. Which is smaller: o or -7?
-7
Let b be 138/195 - 4/10. Let o = 573 + -573. Is o at most b?
True
Let a = 2 + 10. Let u = 16 - a. Is u greater than or equal to 19/4?
False
Let y(i) = -i**3 + 14*i**2 - 13*i - 2. Let k be y(13). Let d be ((-1)/k)/(-3*(-4)/192). Let s = 2 - 1. Which is smaller: d or s?
s
Suppose x - f = 2, 39*x = 35*x + 5*f + 10. Which is greater: -2/435 or x?
x
Suppose 2 = -6*i + 7*i. Let f(w) = 22 + w**2 - 18 + 0*w**i. Let h be f(-3). Is 13 <= h?
True
Let s = -663 - -648. Are -15 and s equal?
True
Let r = -1751 - -1719. Which is greater: -24 or r?
-24
Suppose 10*w = 15*w + 605. Which is smaller: -122 or w?
-122
Let l = 29 + -17. Let h be (-12)/l*(-1 + 0). Is -1/3 equal to h?
False
Let t(z) = 11*z + 22. Let w be t(-4). Is -16 > w?
True
Suppose -5*s + 4*w + 1256 = -3*s, 3*s = -3*w + 1929. Let j = s + -28708/45. Which is smaller: j or 0?
0
Let n = -1295.6 - -1297. Which is smaller: n or -10?
-10
Let q = 0.059 - 1.059. Are q and 17 equal?
False
Let a(p) = p**3 - 7*p**2 - 3*p + 15. Let r be a(7). Let i be 89/(-43)*-1 + (-8 - r). Which is greater: i or -1?
i
Let f = 17.099 - 0.099. Does 1 = f?
False
Let n be 12*(13/2 + -2). Let i be (n + 0)*12/24. Suppose 0*p + p - i = 5*a, -3*p + 31 = -5*a. Which is smaller: 12 or p?
p
Let v be (