 491 - 1474/3. Is l bigger than b?
True
Let b be (-1 - -3)*(0 + 31). Let s = b + -61. Is -2/47 equal to s?
False
Let k(a) = -4*a - 4. Let q(d) = 5*d + 3. Let b(v) = 4*k(v) + 3*q(v). Let t(o) = 2*o + 8. Let l(w) = 3*b(w) + 2*t(w). Let z be l(4). Is z < -3?
False
Let l(u) = -u**3 + 17*u**2 - 19*u - 18. Let q be l(12). Is q smaller than 473?
False
Let g = -185 - 37. Let b = g - -1114/5. Let a(p) = -420*p + 2102. Let r be a(5). Is r greater than b?
True
Let d = 1345 + -1346. Is d < -2/1167?
True
Let b = 206 + -396. Which is bigger: -191 or b?
b
Suppose 5*m - k + 2*k - 19 = 0, 0 = 5*k - 20. Suppose -m*h + h = 0. Suppose -2*j + h + 2 = 0. Which is greater: -1/28 or j?
j
Let s = 373/2 + -10067/54. Is s at most 4?
True
Suppose -u = -f - 2*u - 2, -2 = 2*f + 4*u. Suppose -2*v = -7*v - 5*l - 45, -14 = 2*v + l. Is f bigger than v?
True
Let l = 54 - 55. Which is smaller: 132 or l?
l
Suppose -5*p - t + 12 = 0, -2*p - 2*t = -6*t + 4. Suppose -o - 2*o - 4 = p*c, 2*c = -o - 8. Which is smaller: o or 5?
o
Suppose 6 = 2*x + 2*b - 0*b, -b = -5*x - 3. Let y be (8 - 7)*(x + 0). Which is greater: y or 4/15?
4/15
Let f be (28/69)/(18/(-27)). Is -1 > f?
False
Suppose 4*m + 0*m + 5*w = 377, 0 = 2*m - 4*w - 156. Suppose 4*z + 11 = -c - m, -125 = 5*z + c. Which is smaller: -25 or z?
z
Let r be 42/5 - (56/(-10) + 5). Let a = 40 + -29. Which is smaller: a or r?
r
Let x be (6/(-4) - -1)/1. Let u = 158.93 - 158. Let g = 0.07 + u. Is x greater than g?
False
Let g = -17 - -29. Let u = g - 11.95. Let n = u + 0.95. Which is greater: -0.2 or n?
n
Suppose -12*f - 213 = 231. Is -36 <= f?
False
Let l = 1043/2 + -530. Are -0.1 and l unequal?
True
Let s(r) = -r**2 - 16*r - 17. Let b be s(-15). Let f be ((2 - 3)/(-1))/(5/b). Is 6 != f?
True
Suppose 0 = -3*k - 2*k. Suppose a = c + 5, 5*c + k = -2*a + 3. Which is greater: c or -1/2?
-1/2
Let f(o) = -37*o + 36*o - 2 - 3. Let w be f(-4). Let t = -5 + 2. Which is smaller: t or w?
t
Let z = -102 + 106. Let t be (-2)/2*(0 + -3 + z). Let i(l) = -l**3 - 8*l**2 - 6*l + 6. Let y be i(-7). Is t bigger than y?
False
Let m = 1.972 - 0.142. Let l = m - -0.17. Which is smaller: 1/4 or l?
1/4
Suppose -5*r + 70 = 40. Suppose 12 = 7*i - 3*i. Suppose -4*l = 2*c + 4, c = i*l + r*c + 17. Which is bigger: l or -1/19?
l
Suppose -3*d = -0*d + 4*b - 8, 5*d - 5*b - 25 = 0. Let q(j) = j**3 - 3*j**2 - 5*j - 3. Let z be q(d). Which is smaller: -4 or z?
z
Let f be 1/(-2)*2*1. Let q be (f/1)/(4 + -3). Let n be ((-416)/(-24) + -16)*(-6)/4. Is n at least q?
False
Suppose -k - l - 2*l = 0, -l = 0. Suppose k = -f - f - 8. Suppose 3*g - 2*s = -6*s - 16, -g = -5*s - 1. Is g greater than or equal to f?
True
Suppose 0 = 6*v - 2*v + 128. Let g be ((-1*14)/(-1))/(-28 - v). Is g at most as big as -0.1?
False
Suppose 0 = 14*s + 164 - 150. Suppose -2*k - 4*x - 12 = -5*k, 3*x = -4*k + 41. Suppose -3*r + 20 = -k*r. Which is greater: r or s?
s
Let o = -2.66 + -142.34. Let d = -145.1 - o. Is 1.7 < d?
False
Let f = -621 - -646. Is -0.5 <= f?
True
Let g = 316796848 - 89784749. Let n = -5876208183388/25885 + g. Let l = -2/835 + n. Are -1 and l non-equal?
True
Suppose 2*h = -h. Suppose h = -2*t + 4*z - 1 - 11, -8 = -2*t - z. Let y = 0 - -2. Are t and y unequal?
False
Let i be 3/(-4)*4/12. Let f = 0.71 + -0.37. Let h = 0.06 + f. Which is smaller: i or h?
i
Let v = -0.09 - -0.26. Let s = -14997 - -14997.1. Is s < v?
True
Let n = -11.1 + 8. Let j = n - -3. Let y = 0.202 + -0.252. Which is smaller: y or j?
j
Let b(c) = c**3 - 4*c**2 - 3*c - 6. Let o be b(5). Which is greater: o or -53?
o
Suppose 32 - 3 = q. Let b = q - 17. Suppose 9*s - 6*s - b = 0. Is 1/2 greater than or equal to s?
False
Let k = -17 - -21. Suppose 5*h = 3*m + 2*m - 30, 0 = -k*m + 5*h + 24. Let a = -7 + m. Is 3/11 >= a?
True
Let c = 2987/1188 + 23/108. Let l = -248/99 + c. Let j(t) = t**2 - 5*t - 6. Let x be j(6). Is x >= l?
False
Suppose 363*u = 381*u. Which is bigger: -2.44 or u?
u
Let k = -1391/4047 - -22/57. Are 0 and k nonequal?
True
Let s = -69 + 81. Suppose s = -3*l + 2*n, -3*l - 12 = 5*n - 0. Is -19/4 > l?
False
Let f be (3 - 3087/1041)*102/(-68). Which is smaller: 1 or f?
f
Let v = 515.8 - 516. Which is smaller: -11/7 or v?
-11/7
Let o(j) = -j**2 + j + 2. Let d be o(0). Let s(k) = k**2 - 10*k - 14. Let c be s(12). Suppose 0 = f - d*f - c. Is f bigger than -11?
True
Let w = 4.964 + 25.206. Let q = w - 30. Is q > -2?
True
Let w = -0.6 + 0.3. Let b = w - -11.3. Is b less than 2?
False
Let x = 963/8 + -1015981/8440. Which is smaller: 0 or x?
x
Let h = 0 - 0.1. Let g = -66.8 + 158.7. Let x = -92 + g. Is h equal to x?
True
Let d be -4*(75/(-20) + 3). Suppose -s = -d*s. Let g = -98404/63 - -1562. Which is bigger: s or g?
g
Let s = -124692/5 - -25024. Let j = 85 - s. Which is bigger: -1 or j?
j
Suppose -5*s - 3*y + 27 = 0, 3*y - 6*y = -s - 9. Suppose -4*h = -s*h - 9. Let d be (-27)/(-12)*(-24)/h. Which is greater: d or -5?
-5
Let b be (126/(-35))/((-3)/40). Let r be 0 - b/(-28) - 2. Are -1 and r equal?
False
Suppose 7*y + y - 24 = 0. Suppose 4*p - 1 = y*p. Let o = 2.97 + -3. Which is smaller: o or p?
o
Suppose -173 = -31*d + 850. Suppose 5*x - 169 = -2*y, -2*y + 5*y + 27 = x. Is d smaller than x?
False
Let c = -0.95 - -1. Let l = 194.85 + -195. Let j = c + l. Which is greater: 0.1 or j?
0.1
Let h = 4.8 - 115.8. Is h not equal to 1?
True
Let p = -2 - 0. Let x(a) = -a**3 - 21*a**2 + 23*a + 31. Let t be x(-22). Let c be 80/(-36) - p/t. Is c != -1/2?
True
Suppose -4*w - 4*g - 24 = 88, 108 = -4*w - 2*g. Let m be 2/6 + (-164)/6. Is m at least as big as w?
False
Let w = 0.7 + 0.3. Suppose 143 = -6*j - 13. Let p = j + 31. Which is bigger: w or p?
p
Let p(y) = y + 19. Let d be p(-16). Suppose -4*k + 3*k - 5*n - 19 = 0, 13 = -d*k - 4*n. Which is bigger: k or -3/14?
k
Let k = -26/5 - -149/20. Let v = k + -87/28. Are 0.1 and v nonequal?
True
Let u = 4 - 2. Let r be 0/(-3) + 2 + 1. Suppose -r*t - 3 = -u*t. Does t = -2?
False
Let w(k) = 12*k + 34. Let a = -133 - -128. Let y be w(a). Which is greater: -24 or y?
-24
Suppose 12 = -4*n + 3*n - 5*v, -15 = 5*v. Let t be (-1 + 0)/(2/(-4)). Let q = 6 - t. Is n greater than or equal to q?
False
Let v be 8/210*2585/(-1013). Let l = -2/1013 - v. Is l > 1?
False
Let n = 165 + -293. Let c = -112 - n. Is 1/4 <= c?
True
Let l(w) = -20*w + 160. Let s be l(8). Is s != -18/13?
True
Suppose 0 = -2*s - 2. Let i be s/(-4) - (-126)/8. Suppose -4*t = -4*k - 2*t - i, 2*t - 8 = 0. Which is smaller: -1 or k?
k
Let q = 2.3 - 2.291. Let t = q + -0.009. Is 4/5 at least t?
True
Suppose 28*u - 27*u = -10. Is -2 at least u?
True
Let n be 5 + (2 + 4)/3. Suppose 5*b - 8 = n. Let j be -1 + b + -1 - 7. Is -6 > j?
False
Let u(a) be the second derivative of a**3/3 + 23*a**2 - 40*a. Let t be u(-15). Is -2 less than t?
True
Let l(c) = 12*c - 1. Let j(w) = -w**2 + 1. Let b be j(0). Let g be l(b). Suppose -3*s = 5*t - 9, -5*t - 5*s + 4 = -g. Is -3/8 smaller than t?
True
Let f = -1.47 + -0.03. Let o = 1.6 + f. Is -0.3 < o?
True
Let t = -7.28 + 151.28. Is t bigger than -2?
True
Let j be ((-351)/(-12))/(-9) - (-3)/12. Which is bigger: j or -45/13?
j
Suppose -4*o = -q - 2*q - 3, -2*q - 2 = -3*o. Let t = -4 + 6. Let a be 2*(o + t)/50. Is 0 less than a?
True
Let m = -6926/7 + 989. Suppose 3 + 3 = 2*t. Let i = -3 + t. Is m not equal to i?
True
Let k(p) = 3*p - 33. Let f(g) = -2*g + 17. Let c(z) = -5*f(z) - 3*k(z). Let l be c(-13). Let m = -8 + 54/7. Is m < l?
True
Let x be (-15)/(-3) + (-55)/(-33)*-3. Which is smaller: -21/46 or x?
-21/46
Let a = -52.953 + 53. Let n = 1.047 - a. Is -1/39 at least as big as n?
False
Let a = -13 - -14. Which is smaller: 2/567 or a?
2/567
Let t be (-673)/(-9) + (-4)/(-18). Suppose t = -c + 6*c. Which is smaller: c or 14?
14
Let f = -241/2 + 120. Which is smaller: f or 202?
f
Let m = 5 + -1. Suppose -5*p - 11 = -m*k + 4, -5*k + 3*p + 22 = 0. Let d be 1/k + (-16)/(-20). Is -1 less than or equal to d?
True
Let h = 32 + -81. Let n = -49 - h. Is n at least 32?
False
Let f = 146 + -73. Let z = f + -73.5. Let v be 2/8 + (-18)/8. Is v equal to z?
False
Suppose 4 = 3*y - y. Suppose 3 = -3*o - 5*q, -y*o - q + 6*q = -23. Let n be 0 + o/28*1. Which is bigger: n or 3/4?
3/4
Let y = -3305 + 214829/65. Are y and 2/3 non-equal?
True
Let z be 1/3*(-18)/(-38). Let m = -63224 - -5879912/93. Let f = m + -6/31. Is f at 