. Is 0 != c?
True
Let q = -654 - -498. Is 0 less than or equal to q?
False
Let s(v) be the first derivative of v**3/3 - 9*v**2/2 + 9*v + 2. Let l be s(8). Let a be -4*(-1)/(1 + l). Is 9/7 equal to a?
False
Suppose -m - 15 = r + 164, 5*r + 2*m = -892. Which is bigger: r or -0.1?
-0.1
Let f(b) = 4*b**2 + 6*b - 65. Let l be f(6). Are 115 and l equal?
True
Let x = -1027416053/7834027278 + 9/1994914. Let c = -12/119 - x. Which is smaller: -1 or c?
-1
Let n = 25 - 25. Suppose 2*f = -3*f + 5. Let i be ((0 - f)/2)/1. Which is smaller: i or n?
i
Let y = 102 - 64. Suppose -2*i - 3*c = -y, -70 = -5*i + 3*i + 5*c. Are 25 and i equal?
True
Let d = -775 + 775. Is d less than -251?
False
Let d = 55.02 + -55. Which is greater: 4 or d?
4
Let j be (-3*2/4)/(351/52). Which is smaller: j or -8?
-8
Let b(t) = -5*t + 29. Let n(p) = -8*p + 58. Let r(w) = 11*b(w) - 6*n(w). Let d be r(-4). Is -3/32 at most d?
False
Let h(j) = -j**2 - 4*j. Let l be h(-3). Suppose b + l*b = 0. Let p be (4*3/(-78))/(-1). Which is bigger: p or b?
p
Let i = -0.102 + -0.098. Which is smaller: i or 20?
i
Let h = -19 + 2. Let n(u) = -u**2 - 10*u + 44. Let w be n(-13). Suppose -106 = w*f + 4*a, 7 = 3*f + a + 65. Is h < f?
False
Suppose -v - g = 2*g + 8, 0 = -5*g + 10. Are -2 and v non-equal?
True
Suppose 0 = -2*u + 4*w - 28, 2*u - 5*w + 21 + 12 = 0. Suppose 8*f - 11*f + 366 = 0. Suppose 22 = -25*b + f. Is u not equal to b?
True
Suppose 0 = 2*i + h + 3, -12 = -i + 4*h - 0*h. Let n = 107/4 + -209/8. Is i smaller than n?
True
Suppose -3*q + 30 = 3*a - a, a = 5*q - 63. Suppose -3*j + 6 = -4*h, 0 = -j - 0*j - h + 2. Let i be j + 1 - 2 - -12. Is q equal to i?
False
Suppose 52*i - 146 = 686. Let a(y) = -16*y**3 + y**2. Let o be a(-1). Is i less than o?
True
Let g be (0 + -2)/((-4)/2). Let o be (-2)/(-44)*(g - 2). Let z be 0*(1 + -1 + 1). Is o < z?
True
Let f(p) = -3*p**2 + 7*p + 6. Let i be f(6). Let n be (-98)/i + 2/12. Which is bigger: n or 1?
n
Let j(p) = p**2 + 2*p - 6. Let x be j(0). Let c be 3*x/(-9) - 18. Let b be c/10*(-100)/90. Is 3 smaller than b?
False
Suppose -2*k + 17 = -16*j + 21*j, -3*k + 5*j = 12. Which is smaller: k or 3/104?
3/104
Suppose -t = 2*t - 3*c - 90, 2*c - 30 = -t. Let y be 1/1 - t/14. Are -1 and y non-equal?
True
Let j(l) = -l**3 - 60*l**2 - 71*l - 598. Let x be j(-59). Let o(k) = k**3 + 9*k**2 - k + 6. Let c be o(-5). Which is smaller: x or c?
x
Let h(w) = -26*w**2 + 1. Let p be h(-1). Suppose 99 = 2*f + 147. Which is bigger: f or p?
f
Suppose -2*u + 11 = -m - 0*m, -20 = -5*u + m. Suppose -u*w = 6 + 3. Let h be 2 + (23/w - 0). Which is bigger: -7 or h?
h
Let a = 7.3 - 7. Suppose 7*v - 5*v - 35 = -5*t, -4*t = 5*v - 45. Which is smaller: a or t?
a
Let m = -53 + 53.137. Is 2 greater than m?
True
Let g(u) = 5*u**2 - 31*u + 3. Let l be g(6). Let j be (2 + 21/l)*-1. Which is smaller: 1 or j?
1
Let r be (-2)/3*(-6)/(-4). Let u be 2/17*(2 + r). Suppose 10 = -14*o - 4. Is u less than or equal to o?
False
Let f = -206 + 201. Are -14/9 and f equal?
False
Suppose 35*g = 32*g + 3. Let n(x) = -30*x**3 - 3*x**2 + x + 1. Let f be n(g). Which is smaller: f or 0?
f
Let t(c) = -44*c + 659. Let m be t(11). Is 2/5 less than or equal to m?
True
Let p be ((-110)/6105)/((-3)/162). Does p = 2/5?
False
Let v(i) = i. Let z be v(-3). Suppose 0 = 95*p + 248 + 417. Is p bigger than z?
False
Suppose -604 = 11*l - 516. Suppose -2*b - 25 + 7 = 0. Is l less than b?
False
Let h = 16.6 - 84.6. Let y = h - -71. Let k = -40 - -119/3. Which is smaller: y or k?
k
Let i = 1429.98 + -1414. Let y = -16 + i. Let n = -0.1 + 0.3. Which is greater: y or n?
n
Suppose -p = 4*p - 30. Let b be (-20)/p*24/(-20). Suppose 2*g - b = 4*g. Do g and -3 have different values?
True
Let h(l) = -4*l**2 - 4*l + 6. Let f be h(1). Let z(a) = -a**2 - 8*a - 9. Let u be z(-7). Is f bigger than u?
False
Let h = 41 - 119/3. Suppose -5*c + 3*c = 0. Which is smaller: c or h?
c
Let d = 6 + 2. Let m = d - 1. Let r = m + -6.9. Is -3/8 equal to r?
False
Suppose 32 + 28 = 5*h. Suppose -2*t = q + 3*t + 38, -h = 3*t. Which is bigger: q or -15?
-15
Let d(t) = 2*t - 10. Let p be d(-6). Let r be -3 + 1/((-8)/p). Is -0.04 greater than r?
True
Suppose -3*r - 70 + 40 = 0. Which is bigger: -3 or r?
-3
Suppose 225 = -3*q - 3*h, -h - 173 = 2*q - 28. Let i be (-28)/q - 54/10. Is -0.4 smaller than i?
False
Let s be 51699/41340 - (0 - (-40)/32). Which is smaller: s or 0?
0
Let z = -2942/5 - -588. Suppose 3*o = -o - 24. Let r be 2/4 - 3/o. Is r > z?
True
Let v = -40584/5 + 8147. Let k = v - 2033/65. Which is smaller: -1 or k?
k
Let c = -271.8 - -248. Let t = c - -24. Which is smaller: t or -3?
-3
Suppose t + 126 = 5*f, 3*t + 129 = 4*f + 26. Is f greater than or equal to 6?
True
Let w = -11 + 10. Let g(x) = 4*x + 22. Let h be g(-6). Is h bigger than w?
False
Let i = -2/4527 - -1295/1792692. Let l = -7199/253044 + i. Does 0 = l?
False
Let l = -81 + 44. Let q = -42.6 - l. Which is smaller: q or 2/5?
q
Suppose 3*h + 3 = 0, 2*k = -5*h - 14 - 87. Let a = k - -38. Which is smaller: -12 or a?
-12
Let z = 0.587 + -0.587. Let v = 0 + -0.1. Let g = z - v. Which is smaller: -2 or g?
-2
Let z be (4 - 0) + (-75)/15. Which is smaller: -2/1097 or z?
z
Suppose -2*a - 16 = 2*f, 0 = -10*f + 5*f + 5*a. Let y(w) = w**3 + 4*w**2 + 2*w + 7. Let d be y(f). Let x be d/(-16 + 4 - -3). Is x at least as big as -1?
True
Let j(p) = 727*p - 41. Let h be j(1). Does h = 687?
False
Let t = -514 + 1083. Is 569 at least t?
True
Suppose v + 5 = 0, 5*r + v + 17 = 6*r. Which is greater: r or 0.06?
r
Let f = -16 - -15.98. Let k = 0.25 + f. Which is greater: 1 or k?
1
Suppose 2*d + t = 0, 4*d + 4*t + 2 + 6 = 0. Suppose 0 = -d*w - 2, -2*w = 4*s - 5*w - 3. Let m(f) = -3*f**2 + 20*f + 7. Let y be m(7). Is s less than y?
False
Let k = 316 + -329. Which is smaller: -4 or k?
k
Let j = 4640/23959 + -18/97. Are j and 12 equal?
False
Suppose 3*x - 388 - 245 = 3*v, 0 = 2*v + 4*x + 434. Is v less than -213?
False
Let n = -23 + 16. Let k = n + 5. Let p = -7 - -4. Which is smaller: k or p?
p
Let v = 19 + -35. Let o = -1.15 + 1.25. Which is smaller: o or v?
v
Let s be (-723)/180 - (-2)/(-15). Let p = s - -19/4. Let y = -0.1 - -0.2. Is p at most as big as y?
False
Suppose -33514 = -60*m - 9034. Is 407 less than or equal to m?
True
Let o = -33 - -27. Let m be 19 + ((-14)/o - 6/(-9)). Which is smaller: 23 or m?
m
Let f be (2/(-2))/(-4 - -3). Do 18/41 and f have the same value?
False
Let c = 1976 + -1984. Is 3.4 <= c?
False
Let f be ((-28)/3)/(350/(-105)). Which is smaller: f or 7?
f
Let j be 7 + -4 + 0/(-1). Suppose r = j*k + 21, 7*k + 4*r = 2*k - 18. Are -5 and k nonequal?
True
Let w = 3.05 + -0.05. Let j = -30 + 29. Let c = w + j. Are c and -4 equal?
False
Let n(a) = a**2 - 8*a + 6. Let w(x) = x**2 - 8*x + 6. Let f(z) = -3*n(z) + 4*w(z). Suppose -6 = -h + 1. Let j be f(h). Are -0.1 and j unequal?
True
Suppose -209*c + 214*c - 5 = 0. Which is bigger: c or 0?
c
Suppose -122*a + 10 = -127*a. Is -1 bigger than a?
True
Let w = 5 + -8. Suppose -3*n + 28 = -17. Let a = w + n. Is 13 >= a?
True
Let z be 17 + -11 + (-189)/32. Are 1 and z nonequal?
True
Let w = -149 + 89. Let q be 1/(-3) + (-5)/w. Which is smaller: -1 or q?
-1
Suppose 0 = -4*h + 5*r + 15, -2*h - 3*r - 9 = -0*h. Suppose h = -6*u + u + 60. Suppose -u = -4*g + 7*g. Which is bigger: -5 or g?
g
Let y(t) = 2*t. Let p be y(1). Suppose -2*a = -5*i - 23, 2*a + 6 = -p*i - 6. Let x = 1 + i. Which is smaller: x or -5/2?
x
Let d be ((0 - 9/(-2)) + -5)*2. Which is smaller: 96.5 or d?
d
Let c(z) be the third derivative of z**4/12 - z**3/2 + 2*z**2. Let u be c(3). Suppose f = 2*j, u*j - j = -5*f. Which is greater: j or 2/11?
2/11
Suppose 3*s - 9 = -5*l + 16, 0 = 5*s - 5*l - 15. Let o = s - 11. Let z be (o + 4 + 0)/(-5). Is z > 0?
True
Let n = -2101/4 + 551. Which is greater: 25 or n?
n
Suppose 3*k - 5 = 2*q, k + 1 = -16*q + 14*q. Is k < 3/182?
False
Suppose 297 = 3*g - 93. Let x = g + -131. Is x != -21?
True
Suppose q - 6*q - 70 = 0. Let s = 1790 - 1801. Which is greater: q or s?
s
Suppose 0 = 3*g - 3*m - 18, -m = -5*g + 10 + 16. Let j be 4/(-10) + (-68)/g. Let b be ((-2)/j)/(12/(-14)). Which is smaller: 0.2 or b?
b
Suppose 4*w + 152 = -5*y, 5*w + 0*y + 207 = -2*y. Suppose -308 = 16*h - 9*h. Which is greater: w or h?
w
Let o = 0.3 + -0.2. Let x = -90 + 93. Which is bigger