et d be (-3)/5 - 5*(-24)/200. Is d bigger than 2/7?
False
Let h = 2142 + -2141.7. Let f be (-4)/2 + 4/5. Is h < f?
False
Suppose 3*h + 87 = 6*h. Suppose 6*x + h = -163. Is x smaller than -31?
True
Let n = -0.15 + -1.05. Let z = -1 - n. Is 11 at least as big as z?
True
Let g = -86 - -96. Is 102/11 at most as big as g?
True
Let d be 25/20 + -5 - (-16)/4. Let a(x) = -x**2 - 13*x - 6. Let o be a(-14). Is d bigger than o?
True
Let i be 4/10 - 2816/40. Let h be ((-8)/i)/((-2)/(-7)). Is h less than or equal to 1?
True
Let b be (2/(-30) + 0)*(200 - 194). Let s(i) = -2*i + 3*i - 6 + i. Let p be s(-5). Which is smaller: p or b?
p
Let h be (-4)/6 - (-1148)/3. Let o = -1903/5 + h. Suppose -5*q + 9 = 2*d, 4*q + 1 + 3 = 4*d. Is o at least as big as d?
False
Let a be 2/8 - (-23)/(-44). Let o = 68/159 - 5/53. Which is greater: a or o?
o
Suppose -t - 28 = -5*t. Let n = -28 - -43. Suppose -2*s = -o + 12, -o = -2*o + 3*s + n. Which is greater: t or o?
t
Let y = 35 - 33. Suppose 0 = -5*t + 10, -2*k + 2*t = y*k. Let i be (-28)/(-203)*(-2)/8. Is i > k?
False
Suppose -k - 56 = -5*c, -2*k - 24 = -4*c + 22. Let i = 13 - c. Let f be (i/(-8))/((-19)/152). Do 4 and f have different values?
True
Let x = -4 + 27/7. Suppose -23*a = -19*a - 36. Suppose a = -5*k - j + 6, 2*j + 6 = 0. Which is bigger: k or x?
k
Let y(k) = k**3 - 7*k**2 + 4*k + 8. Let i be y(6). Let j = -595 + 2951/5. Which is smaller: i or j?
j
Let s = 3 + -15. Let v = s + 13. Which is greater: v or 28?
28
Let k be (-15)/5 + 5 + -22. Let v be (3/6)/(k/248). Which is smaller: v or -6?
v
Suppose -63*r = -5*r - 7308. Is r at most 2?
False
Suppose 4*t - 44 = 2*s, -3*s = -3*t - 11 + 47. Suppose 0 = 5*a + j + 6 - 3, 2*j = -6. Suppose a*g - 11 = -g. Which is bigger: t or g?
g
Suppose -12*l - 1 = -13*l, 4*l = 5*o - 136. Which is greater: 57/2 or o?
57/2
Let d be (8/100)/((-4)/33904). Let g = d - -678. Are 0 and g unequal?
True
Suppose -61*l = -76*l + 165. Suppose -2*y + 0*y - 4 = 0. Let k be (-1)/(y/(-4))*-6. Which is smaller: l or k?
l
Let n(y) = y**3 - 9*y**2 - y + 12. Suppose 18 = -7*g + 9*g. Let b be n(g). Suppose f + 8 = -b*f. Is f at most as big as 0.3?
True
Let j = 15640 + -15652. Let t(q) = q**3 + 6*q**2 - q - 6. Let n be t(-6). Which is smaller: j or n?
j
Suppose p - 5*p + 2*i - 164 = 0, 86 = -2*p + 2*i. Is -39 at least as big as p?
True
Suppose -3*u + 14 = i + 3*i, 4*i = 3*u + 2. Suppose 1 = u*p - 23. Let y be 2*3/p*0. Is -0.1 smaller than y?
True
Let j(s) = 4*s**2 - 2*s - 2. Let h be j(2). Let r = -162 + 228. Let z be r/30*1*5. Which is greater: h or z?
z
Let a = -0.88 - -14.28. Let j = 13 - a. Let b = -0.4 - j. Which is bigger: b or -5?
b
Let t be 126/(-14) + 89 + 4 + -1. Are 83 and t equal?
True
Let t = 17851/2 - 8558. Is t != 367?
True
Suppose 10*v - 4*v = -150. Let p be 10/v*(-79 - 2/2). Does 34 = p?
False
Let c = -125/22 + 3133/110. Let r = 1819/80 - c. Let w(i) = i**3 - 3*i**2 + 2*i. Let m be w(2). Is r > m?
False
Let o = -17 - 20. Let i = o + 55. Suppose -i*w = -14*w. Is -1 less than w?
True
Let w(b) = -b**3 - 7*b**2 - 5*b + 6. Let m be w(-6). Suppose -5*l + 5 = -m*l. Let d = -609 + 612. Is d less than or equal to l?
False
Let v(h) = h - 9*h + 7*h + 2 + 2*h. Suppose -o + 4 = -2*o. Let c be v(o). Are c and -2/3 nonequal?
True
Let v(y) = -5*y**3 + 13*y**2 + 8*y + 3. Let z be v(3). Let j = -1.2 - -0.2. Which is smaller: j or z?
j
Suppose -5*j - 17 = 4*m, 0 = -m - 3*m + 5*j - 7. Let t(b) = b**2 + 3. Let o be t(-4). Let q = 15 - o. Do q and m have the same value?
False
Let d = -57 + 52. Which is greater: d or -13?
d
Suppose 12 = 2*t - 2*m - 12, -4*m = 0. Let k = -20 + t. Suppose 0 = 2*y - 4*d + 8, -27*y - 3*d = -31*y - 26. Is y less than k?
False
Suppose -90*o = -77*o + 2470. Do o and -188 have the same value?
False
Let j(i) = -i + 1 + 5*i**2 - 2*i**3 - 4*i**2 - 7*i**3. Let f be j(1). Let l(b) = b**3 + 4*b**2 - 3*b + 1. Let q be l(-5). Is q less than or equal to f?
True
Let r = -283.5 - -288. Which is smaller: 3/2 or r?
3/2
Let y = 12/23 + -97/230. Let c = -5 + 7. Suppose -17 = 5*i - 4*x, -2*i - i - 9 = -c*x. Which is smaller: y or i?
i
Let l(s) = 2*s**2 - 5*s - 2. Let a = -8 - -11. Let j be l(a). Which is bigger: 0 or j?
j
Let r be 1*(8 + -1) + 0. Let m = -99 - -101. Suppose -m*n + r = -h, 3*n - 2*n = 2*h + 11. Which is smaller: 0 or n?
0
Let f = -0.2365 - -1031.2365. Which is smaller: 1 or f?
1
Suppose -m - 32 - 21 = 0. Is -54 < m?
True
Let h = 29963/290 + -516/5. Is h != 0?
True
Suppose 75*p = 73*p + 18. Let c = -10 + p. Which is smaller: c or -4/9?
c
Suppose -8*p + 16*p - 35 = -5*z, 20 = 4*p. Let b = 51288/41 - 1251. Which is greater: z or b?
b
Let q = 61 - 57. Suppose -4*f - 6 = -i, q*f = 5*i + 2*f - 48. Do 32/3 and i have the same value?
False
Let o(t) = -t**3 - 11*t**2 - t. Let x be 1*(3 + (1 - 2 - 13)). Let y be o(x). Is 8 > y?
False
Let m = 19.61 + 0.39. Let k = m - 4. Which is smaller: k or 0.1?
0.1
Let n be ((-228)/3)/(-1) - 2. Suppose -4 = -2*q, -3*q - 189 + 45 = -2*z. Is z != n?
True
Let p(d) be the first derivative of -2*d**2 + 15*d - 3. Let h be p(7). Is -4 bigger than h?
True
Let w be (-12)/22 - -1 - 1. Suppose 8 = -4*g + 24. Suppose 0 = -3*a + g*x + 16, 4*a - 4*x - 14 - 2 = 0. Is w bigger than a?
False
Let z(q) = -3*q**2 + 56*q - 19. Let d be z(18). Which is smaller: 1/49 or d?
1/49
Let w be (-3)/(-18) - (-87)/18. Suppose 4*t - 26 = s, 3*t - w*t - s = -10. Let d = t + -10. Are -9/2 and d non-equal?
True
Let r be ((-1)/4)/((-41)/(-1230)). Let p = 31 + -43. Let i = p + 3. Is i bigger than r?
False
Let f(h) be the first derivative of h**3/3 - 15*h**2/2 + 15*h + 23. Let p be f(14). Is p at least 9/10?
True
Suppose -117*l = -119*l + 192. Suppose -c - 7*c = -l. Let u(p) = -p**3 + 3*p**2 + 4*p. Let d be u(3). Is c at most as big as d?
True
Let u be 13/806*514/108. Let h = u + -1/372. Which is smaller: 0 or h?
0
Let d = 0.2697 + 28.3903. Let m = -0.66 + d. Is m bigger than 0.1?
True
Let m be (-1 + (-6)/10)*1. Suppose 23*r + 35697 = 35674. Is r != m?
True
Let d be ((-8 - -7) + -83)*(2 - 1). Are -88 and d nonequal?
True
Let d(b) = 7*b + 179. Let r be d(-34). Which is bigger: r or -57?
-57
Let j = 199 - 1425/7. Let w be 2/10 + 26/(-5). Which is bigger: j or w?
j
Let c be (78 - 1) + -1 + 0. Let v = -44 + c. Let p be v/24*(-2)/4. Which is greater: 2/3 or p?
2/3
Let r = 12.712 - -0.288. Let k = 14/17 + -120/187. Is r greater than or equal to k?
True
Let o(q) = -2 + 3*q**2 - 2 - 2*q**2 - 2*q. Let r be o(5). Let j = -1935 + 1944. Which is smaller: r or j?
j
Let i(k) be the first derivative of -k**3/3 + 9*k - 27. Suppose t + 2*b = -0 - 1, -4*t - 3*b = -6. Let r be i(t). Is 0 bigger than r?
False
Suppose -r = -2*b - 0*r + 13, -b = 2*r - 4. Let y(s) = 3*s - 39. Let a be y(19). Suppose b*h = 4*h + a. Which is bigger: h or 8?
h
Suppose 0 = -u - 2*u. Suppose -y - 1 = -u*y. Let i be 6/(-14) - (-12)/(-21). Is i bigger than y?
False
Let u be -1 + (-10)/(-2) + -2. Let o be 2 - (-4)/22 - u. Which is smaller: o or -1?
-1
Suppose 0 = 7*k - 59 + 1291. Which is smaller: k or -174?
k
Suppose -5*u - 2*b + 19 = -5*b, -26 = -4*u - 3*b. Suppose u*p + 72 = -p. Which is greater: p or 0?
0
Suppose 3*v - 7*v = -i - 167, 209 = 5*v - i. Which is bigger: v or 43?
43
Let o(l) = -5*l**3 - l**2 - 5*l - 6. Let z be o(-3). Let h = 1349/10 - z. Which is smaller: h or 0?
h
Let w be (((-30)/2)/5)/(1 + 0). Is w less than or equal to -0.04?
True
Let y be (-1 - (-3888)/(-1))/1. Let t = y + 34955/9. Let z = t + 34/9. Which is bigger: z or -1/2?
-1/2
Let a = -1/6 - 1/3. Suppose 4*s - g + 39 + 123 = 0, -5*s + 4*g - 208 = 0. Let k be (6/8)/((-135)/s). Which is smaller: k or a?
a
Suppose -3*t + 2*t - 78 = -f, 3*t + 2*f = -219. Let w = t - -114. Is w <= 41?
True
Let j(a) = a**3 + 20*a**2 - 2*a - 24. Let w be j(-20). Let g be 18/(-12)*w/6. Is -11/4 bigger than g?
True
Let o be (-3)/10 - (4/2)/10. Is -3.6 >= o?
False
Let v(n) = -n. Let q be v(-3). Let c be 6/14 - 72/(-28). Suppose 5*h - h = -q*t + 3, c*t - 3 = 0. Is 0 less than or equal to h?
True
Suppose -3*l = 2*f - 73, 4*f + 5*l = 30 + 117. Which is greater: f or 2?
f
Suppose 2 = 3*p + 4*h - 33, -h - 72 = -4*p. Which is bigger: p or 2?
p
Let a(u) = -24*u**3 + 3*u**2 - 2*u. Let n be a(3). Let j be 3 + -2 - n/(-510). Let k = j + 1/34. Is k > 1/5?
False
Let c be 2/3*(-11 - -14) + 2. Let r = 20 