less than a?
False
Suppose -2*s - 3*s + 247 = -4*j, -j - 2*s = 52. Let b = -3942 + 11654/3. Let x = j - b. Which is greater: x or 0?
0
Suppose 80*n + 1665 = 43*n. Which is smaller: n or -2?
n
Suppose -3*b = -2*c + 15 - 8, b + 2*c - 11 = 0. Suppose 0 = 5*i + 15, 0 = -5*w - 4*i - 96 - 66. Let q be 26/w + -1 + 2. Is b smaller than q?
False
Let c(v) be the third derivative of v**6/120 - v**5/60 - v**4/6 - 43*v**3/6 + 28*v**2. Let r be c(0). Which is smaller: -44 or r?
-44
Let w(h) be the first derivative of 2*h**3 - h**2 - 2*h + 4. Let j be w(-1). Which is bigger: j or 3?
j
Let q be 3/((-3)/(-6) - -1). Suppose 0*v - q*v = 0. Let n = 112 + -667/6. Which is smaller: v or n?
v
Suppose -5*d + 0*d - 35 = -4*b, -b + 2*d = -11. Suppose r = b*r. Let c be 8 - 13/(364/216). Is c smaller than r?
False
Let j = 60 + -86. Let h = j + 32. Is 5 smaller than h?
True
Let g(j) = j + 12. Let n be g(0). Suppose -f + z - 4*z - n = 0, 3*f + 26 = -4*z. Let x = f + 6. Is -10 greater than x?
False
Suppose 0 = -0*i + 2*i. Let f(q) = -q**2 + 5*q + 8. Let u be f(6). Let r = i - u. Which is bigger: r or 2/3?
2/3
Let i = -3 - -22. Suppose -i - 8 = 3*b. Which is greater: -11 or b?
b
Suppose -10*h + 9*h = -1. Let r = 2 - h. Are 2/25 and r non-equal?
True
Let s(c) = c**3 - 6*c**2 - 7*c + 4. Let w be s(7). Suppose -b - 6 = -w*b. Do 4/5 and b have different values?
True
Let c = -159 + 170. Is -10 equal to c?
False
Let k be (((-756)/8)/7)/(3/(-4)). Which is greater: k or 23?
23
Let f(p) = -p. Let x be f(4). Let s be 18/x*(-10)/15. Suppose 0 = 3*y - r - 9, -s*y = -5*r + 2*r - 15. Which is smaller: y or 0.1?
0.1
Let z be (-32)/24*(-9)/(-3). Let n be (z/(-9))/((-114)/9). Which is smaller: -1 or n?
-1
Let t = 2 - 2. Let d = 133229/9 - 14823. Let f = -3400/171 - d. Which is smaller: f or t?
f
Let w be (-14 - (-11 + -2))*(0 + 13). Are -13 and w equal?
True
Let a = -9 + 22. Suppose a = -u - 5*w - 5, -3*u + 2 = w. Do 0 and u have different values?
True
Suppose -13 = 5*r - 23. Suppose r*k - 8 = -2*k. Which is bigger: -6 or k?
k
Let h = -2339/11 - -213. Is -2 less than h?
True
Suppose 4*k - 682 = 6*h - h, -h = k - 166. Suppose 213 = 5*y + 4*v, 0*v - 2*v + k = 4*y. Which is greater: 42 or y?
42
Let m = -0.8 + 35.8. Let i = 36.7 - m. Are 0.1 and i non-equal?
True
Let b = -1461 + 1549. Are b and 0.3 non-equal?
True
Let h = 136 + -136.0317. Which is greater: h or -0.2?
h
Let o = 39 + -67. Which is greater: o or 5?
5
Let d = 1489 - 1488.7. Is d > 109?
False
Suppose 33*f = 39*f - 42. Let v be 4*f/((-14)/12). Which is smaller: -22 or v?
v
Suppose 0 = -h - 3*t - 55, -127 = h + 4*t - 69. Which is bigger: h or -31?
-31
Suppose -b + 2*d - 105 = 0, 30*b + 3*d = 28*b - 182. Is b != -94?
True
Let m be (-20)/6*42/(-28). Suppose -3*p + 2 = -m*p. Let z = 1353/221 - 75/13. Is p at most as big as z?
True
Suppose -2*i + 3*h - 69 = 0, 4*i + 171 = -2*h - 3*h. Which is bigger: 2 or i?
2
Let v = -11/27 + 1730/27. Let l = -63 + v. Which is smaller: l or -10?
-10
Let u(x) be the second derivative of -x**4/12 + 4*x**3/3 + 9*x**2/2 - x. Let r be u(9). Let q be 10/25*(-4)/((-32)/(-5)). Which is greater: r or q?
r
Let w be (-3)/(3/(-48*1)). Let t = -68 + w. Let m be ((-5)/4)/((-5)/t). Which is bigger: 2/3 or m?
2/3
Let a = -5285 - -5286. Let t be (2/15)/(15/(-25)). Is a bigger than t?
True
Let b(p) = -2*p + 31. Let n be b(20). Suppose -5*m + 5*f - 40 = 0, -4*m - 9 - 25 = -5*f. Which is bigger: n or m?
m
Let p be (-1 + 1)/(-23 + 26). Is -1/1070 != p?
True
Let f be 2/4*(-9 - -7). Let c(y) be the second derivative of y**3/3 + y**2/2 + 3*y. Let g be c(f). Which is greater: g or -8/5?
g
Let k = 17 + -50. Let a = k + 27. Which is bigger: -1 or a?
-1
Suppose 4*f - 4 = 3*f. Suppose 0 = i - 74 - 37. Let l = i + -215/2. Which is smaller: l or f?
l
Let z = -11 + 10. Suppose x - 3*v + 180 = 4*x, -5*x + 3*v = -292. Which is smaller: z or x?
z
Let c = -726 - -723. Which is greater: -82 or c?
c
Suppose l + 472 = 9*l. Which is bigger: -1 or l?
l
Let c be (-1)/(((-55)/470)/(-11)). Let r be -9 + c/(-8) - 1*3. Let t = -0.2 - 0.1. Which is greater: t or r?
r
Let d be 16/((-288)/(-27))*52/(-6). Suppose 0 = 3*q - 35 + 8. Let t = q + -23. Does d = t?
False
Let j be (-4)/10*(-5 + 8). Suppose -x - r - 16 = 0, 0 = r + 4. Let a = x - -10. Which is smaller: j or a?
a
Let n = -0.3 + -1.7. Let y = 1.88 + n. Is 1 at least y?
True
Let n = 56.9 - 58.3. Which is smaller: 32 or n?
n
Suppose 8*n - 3*n - 3*l = -28, 0 = 4*l - 4. Let j(f) = -f**3 - 5*f**2 - 3*f - 9. Let h be j(n). Which is smaller: h or 8?
h
Let p(r) = -3*r**2 + 2*r + 1. Let s be p(-1). Let w(i) = -i**3 - 3*i**2 + 2*i - 3. Let g be w(s). Suppose 2 = u - g. Is u <= 7?
True
Suppose -z + 2*z = 3. Let l = 18 - 20. Let x be -5*(l + 10/6). Is z < x?
False
Let s = 306 + -304.29. Let t = -1.6 + s. Which is bigger: -0.1 or t?
t
Let d = 41.898 + -41.7. Is 1 > d?
True
Let x(u) = -u**2 - 8*u + 5. Let g be x(-8). Suppose -5*i + 15 = 5*l, -g*l + 2*i = 5*i - 23. Let y be 0 + 4 + (-6)/(-3). Are y and l unequal?
True
Let o = -27.89 - -28. Let a = -0.89 - o. Which is smaller: 0.3 or a?
a
Suppose -2*v - 7 = i, -3*v - 16*i = -15*i + 13. Is v bigger than 98?
False
Suppose -4*l + 9*l - 100 = 0. Suppose 4 = 24*s - l*s. Suppose 0 = 4*q - 3 - s. Which is bigger: q or 2/9?
q
Suppose -17 = 6*m + 37. Let h be m/((-54)/24) - 59. Which is smaller: h or -56?
-56
Let i be (20/(-2))/((-4)/8). Let x = 9 + -4. Suppose x*q - q = i. Is q equal to 5?
True
Let z be 1/(-4) + (-6)/(-8). Let p = -21.5 + 20. Let o = p - 0.5. Is o at most as big as z?
True
Suppose -11*l + 136440 = -131*l. Which is greater: 2/5 or l?
2/5
Let w = 38/11 + -310/77. Suppose 0*y = 5*y. Suppose 1 = -i - y. Is i at least as big as w?
False
Let g = -0.0498 - -1.0498. Let b(u) = u**3 - 4*u**2 - 4*u + 1. Let f be b(5). Let j be (-4)/(-12)*f/(-8). Which is greater: g or j?
g
Suppose -3*o - m - 28 = o, -3*m = 5*o + 42. Let g = -6 - o. Suppose 5*f - 13 = -5*r + 2, -3*f + 4*r - 26 = g. Which is greater: f or 2?
2
Let t be 2/3*(3 - 0). Suppose -t*l = -4*l + 24. Suppose 0 = -4*c - c + 4*n - l, -c - 2*n + 6 = 0. Are c and -4 nonequal?
True
Let n(t) = 5*t**2 - 5 - 78*t + 69*t + t**2 - 5*t**2. Let v be n(10). Let g be (-22)/(v/5) + 4. Which is smaller: -19 or g?
-19
Let m = 18 + -10. Suppose 0 = -4*w + m + 8. Suppose -w*l - 7 = 1. Which is smaller: l or 0?
l
Let l = -81.7 - -81.6. Let v = -207 - -2279/11. Is v at least as big as l?
True
Let g be 37/2*(-2 + 0). Suppose j = r - 35, 2*j - 4*r - 64 = 4*j. Let i = j - g. Which is smaller: 9/4 or i?
9/4
Let o be (-1106)/35 + (-6)/15. Let a be (2/8)/(348/o). Is a greater than 0?
False
Let c(z) = -23*z**2 - 30*z**2 - 11*z - 1 - 20*z**2 + 70*z**2. Let t be c(-4). Is t at least as big as -7/2?
False
Let t = -114 + 166. Is t > 52?
False
Suppose 8*j - 499 + 3 = 0. Let l be 2 + j/(-29) + 0 + 0. Which is bigger: 0 or l?
0
Let o = -63 + 65. Is o at most as big as -644?
False
Let u = -22 - -28. Let h = u - 8. Let c = -3 - -3.4. Are h and c non-equal?
True
Suppose -4*g - 4*k = 136, -k - 7 = 2*g + 58. Which is bigger: -36 or g?
g
Let a = -605 - -643. Let u(p) = p**3 + p**2 - 4*p - 1. Let r be u(4). Let s = r - a. Which is smaller: 24 or s?
24
Let f be (6/4)/((-18)/24). Is -4/5 greater than f?
True
Let y be 9/((-81)/2) + 22/18. Does 3/302 = y?
False
Let m(y) = -4*y**3 - 12*y**2 - 16*y - 14. Let b be m(-2). Let s be ((-1)/(-3))/((-38)/(-6)). Is b >= s?
True
Let c be 1/2 - 1/(-6). Let o = 10 + -11. Let n = 11 - o. Is c < n?
True
Let v be 1 - (-8 - (-956)/108). Which is smaller: v or -3?
-3
Suppose -2*s + 20 = -5*h + 71, -48 = -4*h + 4*s. Which is greater: -5 or h?
h
Let g = 247.3346 + 0.0654. Is 0.1 less than g?
True
Suppose -10 = m + l + 4*l, 86 = -3*m - l. Let c be ((-66)/m)/(1/5). Suppose -4 - c = -5*a. Is a less than 3?
False
Suppose -4*c = -s + 5 - 4, 2*s - 2 = 0. Suppose -3*g - 5 = -c*g + n, 6 = -2*g - 2*n. Which is greater: g or 2/7?
2/7
Let b = -1.259 - 0.041. Let d = b - -3.3. Which is smaller: d or 5?
d
Let l(p) = p**3 + 19*p**2 - 4*p + 109. Let d be l(-20). Is d != -213?
True
Let g = 9 - 4. Suppose 3*k + 3*w = -9, -k - g*w - 15 = -3*k. Suppose c + k = -4*p - 3, -5*p + 3*c = -9. Which is smaller: -5 or p?
-5
Let k be 1/(-2 + 14/6). Suppose i = -3*n + 12, k*i - 5*n = i - 9. Let v be (-272)/(-168) - 1/i. Is 0 greater than or equal 