True
Let d(l) = 2*l**3 - 33*l**2 + 17*l. Let u be d(16). Which is smaller: u or 19?
u
Let j(l) = -l + 8. Let m be j(7). Let q be 3 - -2*(-12)/16. Which is bigger: q or m?
q
Let s(o) be the second derivative of -o**4/12 + o**3/3 + 4*o**2 - 5*o. Let w be s(6). Let i = 14 + w. Is -0.2 greater than or equal to i?
True
Let b(w) = -2*w**3 + 2*w**2 + 4*w + 3. Let d be b(-1). Let s = -92/5 - -159/10. Which is bigger: d or s?
d
Let i = -37.4 + 39. Let f = 13.4 + i. Which is smaller: 0 or f?
0
Let v be ((-32)/(-96))/((2/3)/(-2)). Are -22/19 and v nonequal?
True
Let t = 0 - -2. Suppose -5*b + 4*j = -3*b - 34, -3*b - 5*j = -95. Is t > b?
False
Let u = 2819 + -166327/59. Which is smaller: 1 or u?
u
Suppose -v + 6*v - l = 103, -5*v - 2*l = -109. Suppose -6*z + 5*z + 4*i + 4 = 0, 3*i + v = 3*z. Does z = 8?
True
Suppose 5*p - 5 = 5. Let j be (-4)/(-6)*15/p. Suppose 2 = -3*z + j. Which is greater: z or 1/10?
z
Let n(p) = 48*p**3 - p**2. Let t be n(-1). Let x be t/(-105) - (-2)/(-3). Is 1/2 at most x?
False
Suppose 5*z - 3 - 6 = -v, -4*v - 4*z + 36 = 0. Suppose -4*y + v - 45 = 0. Is y smaller than 1/3?
True
Let j(f) = -3*f + 4. Let c be j(6). Let w be 1178/c - (-5)/35. Let s = w - -592/7. Which is greater: s or -2/7?
s
Let q(v) = -v**3 - 10*v**2 + 2*v + 22. Let c be q(-10). Suppose -2*n + 7*x - 2 = 5*x, -c*n = -5*x + 2. Is n bigger than -1/21?
False
Let i = -662.6 - -663. Is -1.96 > i?
False
Let c(m) = -m**2 + 3*m - 3. Let s be c(3). Suppose -138 = -2*p - q, -2*q = -3*p + p + 144. Let v = p - 352/5. Is v less than s?
False
Let j = 1/80 - 221/4880. Let d be (3/(-15))/((-352)/(-440))*(5 - 1). Do d and j have different values?
True
Let v = 8 - 9. Is v less than or equal to 1/41?
True
Let x = 5395/6 - 903. Is -4 > x?
False
Let a(w) = w**2 - 10*w + 13. Let n be a(12). Let v = n - 54. Let d = v + 17. Which is bigger: -3/5 or d?
d
Suppose -34*x - 128 = 8. Is x < 75?
True
Suppose 0 = -28*q + 33*q + 5. Which is smaller: -1/1648 or q?
q
Suppose 4 = -2*s + 2. Let q be -99 - (2 + 3 + -2). Let k be (-114)/q + -1 + 0. Which is smaller: s or k?
s
Let g be 8/(-3)*9/(-6). Let o be g/(-16) - 1/(-4). Let p = 529/4 - 133. Do o and p have different values?
True
Let g = -0.8 - 0.4. Let k = 13 - 14.3. Let f = g - k. Which is bigger: f or -0.2?
f
Let w = -11 - -11.7. Let j = -0.9 + w. Let q be 2/(-4) + (7 - 7). Which is greater: j or q?
j
Let l be (141/21 + 1)/((-7)/(-49)). Let n = 46 - l. Which is bigger: n or -10?
n
Let o = 40 - 21. Let d = 16 - o. Let w be 0 - (-3 + (-8)/d). Are w and -24 nonequal?
True
Let y be 1/12 + (-47762)/312. Is y > -152?
False
Suppose 3*q = -2*q + 5*i + 20, 0 = 3*q + i - 8. Suppose -4*x + 7 = -b + 2*b, -q*x + 8 = -2*b. Are b and 2/25 non-equal?
True
Let r = -15 + -7. Let u = 24 + r. Is u smaller than -2/9?
False
Let p(v) = -41*v**3 - 3*v**2 + v + 3. Let k be p(-3). Suppose -2*a - k = 3*a. Let b be (-75)/a - 4/18. Which is smaller: b or -2/3?
-2/3
Let r = -2/11109 - 277649/422142. Do -2 and r have the same value?
False
Let n = -0.679 + 0.479. Which is greater: 3/74 or n?
3/74
Let s = -2 + 0.3. Let g = -3.5 - s. Let b = g + 1.8. Is 0.4 smaller than b?
False
Let i = -75 + 367/5. Let z(j) = -2*j + 2. Let s(l) = -l - 9. Let d be s(-11). Let p be z(d). Is p < i?
True
Let d(s) be the third derivative of -s**4/6 - 4*s**3 - 21*s**2. Let j be d(-6). Is 0 greater than or equal to j?
True
Suppose 0 = -z + 1143 - 833. Are z and -0.2 nonequal?
True
Let i = -7 + 9. Suppose 70 = 7*z - i*z. Is z > 15?
False
Let g be 4/(-2)*-2*1/1298. Is g not equal to 0?
True
Suppose -1 = -4*u + 3. Let f = u - 1. Is f at least as big as -7/5?
True
Suppose -59 = -5*k + 21. Let j be 40/(-2) + 0/k. Are -19 and j unequal?
True
Let q be 3/(-9) + (-8)/(-6). Suppose 0 = 3*d - 7*d + 88. Let h = -43/2 + d. Which is smaller: h or q?
h
Let o be (-1)/(-2)*12/6. Let k = 232 + -122. Let l be (-1)/(-6) + 11/k. Is o less than or equal to l?
False
Let b = 20585699/177 - 116304. Let s be 3/(-6) - 53/(-118). Let g = s + b. Is 0 >= g?
True
Let r = -44.8 - -44. Let m = -0.9 - r. Is m <= 3/10?
True
Suppose 0*w - 4*w + 2 = 2*v, 0 = -5*w + 2*v + 25. Suppose 0 = 3*g + 3*b + w + 48, -g = -3*b - 3. Let l be 38/g + 5/(-15). Are l and -4 non-equal?
True
Let v = 32.95 - -8.05. Is 3/8 != v?
True
Suppose 5*z + 387 = s, -5*s - 1530 = -9*s + 2*z. Does 381 = s?
False
Let c = 3929.97 + -3951. Let w = -0.03 - c. Let f = w + -21.2. Which is greater: f or 2/7?
2/7
Let w = 8 - -6. Suppose -7*f = 4*f + 330. Let o be (-21)/w*(-8)/f. Which is bigger: -3 or o?
o
Let i = -15.3 - -15.4. Which is smaller: -34.9 or i?
-34.9
Suppose 5*z = 3*q - 18, -6*q + 3*q - 9 = 4*z. Suppose 3*t + 40 = -2*t. Let b be 11/t - -2 - 1. Are b and q unequal?
True
Let x be ((-28)/10)/(3/15). Suppose -10*w - 10 = -9*w. Let j be w - (0 + 4) - 0. Is x at most as big as j?
True
Let c be (-970)/(-110) - 2/(-11). Suppose 2*a = -a - c. Let h be (-14)/(-6) - (-1)/a. Is 1 != h?
True
Suppose -22 = 4*c - 3*c + 5*y, 0 = -c - y - 34. Suppose 3*o + o + 152 = 0. Which is greater: o or c?
c
Suppose -20 = -4*k - y - 52, 5*k + 61 = 4*y. Let r(i) = 2*i**3 + 2*i**2 + i + 1. Let x be r(-2). Do x and k have different values?
False
Let r(t) = t**3 + 10*t**2 - 12*t - 8. Let a be r(-11). Suppose -2*s - 3*s + 4*o + 23 = 0, -a*s + 5*o = -6. Suppose s*q = 3*q. Which is smaller: -2/5 or q?
-2/5
Let u be 4*(-2 + 4 - -1). Suppose -5*n + 54 = 4*j, 40*n + 4 = 42*n. Which is smaller: j or u?
j
Let f(b) = -11*b**2 + 89*b - 9. Let v be f(8). Is v bigger than 5/129?
False
Suppose 2*p - 4*k = -2*k + 66, 4*p + 4*k - 156 = 0. Let g be 7/3 - 2 - 39/p. Is 1/6 < g?
False
Suppose -4*h + 6*h - 4*k = 70, -5*k = -h + 38. Let p be h/12*44/(-3). Let w = p - -41. Which is greater: 2 or w?
2
Suppose 6*m = 4*m - m. Let p = 1349/3 - 441. Let d = p - 191/21. Does d = m?
False
Let c be 12/30 + (-154)/35. Let f be 0 + (0 - -7) - -1. Let o be c/14 - f/(-28). Which is smaller: 4/7 or o?
o
Suppose 84*g - 3026 = 101*g. Is g at most as big as -2?
True
Let t = -90.3 + 61.3. Is 3/2 less than t?
False
Let r = -2/221 - 647/1768. Let a = 0.015 - -2.885. Let n = a + -2.8. Which is smaller: r or n?
r
Let u = -76 - -82.7. Let j = u - 7. Let f = 0.7 - j. Which is smaller: 1/5 or f?
1/5
Suppose -2*a - 2*f = -12, a - 2*f = -4*f + 10. Let s be (a/(-80))/((-8)/(-8)). Is 0 != s?
True
Suppose y - 6*y = -p + 23, -5 = p + 2*y. Which is smaller: p or -117/2?
-117/2
Let j be (-2)/(-4) + (-2)/8*2. Suppose -4*t + 2*t + t = j. Is t smaller than -3?
False
Suppose -b - 4*b = 0. Suppose -c + b*c - 5*i = -32, 2*i - 24 = -2*c. Suppose -c*j = -3*j - 4. Is j > -1/5?
True
Suppose -2*w - 12 = -8*w. Suppose v = -w*o - 4*v + 21, 3*o = -3*v + 27. Let h be o - 10 - (1 - -1). Does 0 = h?
False
Suppose -12 = 3*r, -3 = 2*h + 5*r + 33. Let y(a) = -a**3 + 2*a**3 - 7*a - 11 + 7*a**2 + 13. Let t be y(h). Which is bigger: -9 or t?
t
Let q = -435430/9 + 48438. Let o = q - 57. Which is greater: o or -1?
o
Suppose -2004 = -n + 5*i, 2*n - 4000 = -4*i + 6*i. Let y = n - 57986/29. Let k = y - -237/290. Which is smaller: k or 0?
0
Suppose 2*q = 4*r + 5*q - 9, -4*r - 4*q + 4 = 0. Let o be (240/(-585))/(4/r). Which is smaller: -2 or o?
-2
Let g = 7 + -3. Let o be g*1 - (-20)/(-10). Suppose -o = -4*p + 2. Which is bigger: 2/11 or p?
p
Let t be 3/14 + 4/14. Let d be (-172)/(-25) - 1 - (-498)/(-83). Which is smaller: t or d?
d
Let b be ((-20)/(-8))/(-5)*0. Suppose b = -3*h + 7*h. Suppose -3*g + m = -3*m - 7, h = -4*g - 3*m + 1. Is g at least as big as 1?
True
Let o = -21196 - -31603234/1491. Is o greater than 0?
False
Let y = -12 - -190. Suppose -43*i - y = -45*i. Is i > 89?
False
Let u be (-59)/(-4)*(-228)/51. Let b = -66 - u. Are 0 and b equal?
False
Let a(c) = -c**3 - 4*c**2 - 5*c - 3. Let v be a(-3). Let u = 105.9 - -12.1. Let t = -119 + u. Which is greater: v or t?
v
Let z = 501 + -453.4. Let r = z - 48. Is -1/8 greater than r?
True
Let b be -3*2/87 - 0. Let g = 0.1259 + -0.0259. Which is greater: b or g?
g
Let c(w) = -w**3 + 21*w**2 - 33*w - 12. Let u be c(19). Do u and 253/3 have different values?
True
Let d(g) = 3*g - 6. Let m be d(2). Suppose m = -3*y + 2*t - 4 + 1, -y + 3*t = 1. Which is greater: y or -7/9?
-7/9
Let n = -948599/255 + 3720. Let p = -61/51 - n. Are p and -1 non-equal?
True
Let m be 20*5/(-306) + 11/33. Is 0 < m?
True
Let t = -1588450/183 - -86