). Is -2/15 at most as big as f?
True
Let o = 16.17 - 0.17. Let a = o - 8. Let r = -3 + a. Is r at most 0.1?
False
Let j(r) be the third derivative of r**4/24 + 3*r**3 - 27*r**2. Let b be j(-18). Is b less than or equal to -2/247?
False
Let k(p) = -5*p + 4*p**3 - 3*p**3 + 5 - 7*p**2 - 2*p**3 + 0*p**2. Let w be k(-6). Let d be (w - -2) + 10/(-6). Is 1.3 greater than d?
True
Let t(f) = f**2 - 8*f + 7. Let w be t(7). Suppose 0 = 2*j - 4*o - 52, 5*j + 4*o - 2*o - 70 = w. Suppose -p + 14 = -4*x, 2*p + 0*x + j = -3*x. Is p less than -4?
False
Suppose -5*u = 25 + 5. Let y = u - -8. Which is smaller: 8/3 or y?
y
Let j = 1579 + -1523. Does j = 9?
False
Let z be 1 + 4/(-1 + 2). Suppose 2*m - 13 - 16 = z*w, 5*m = 4*w + 64. Let q be 4/m + (-1)/(-15). Which is smaller: q or 0?
0
Let z = 1155 - 1156. Is 0.892 >= z?
True
Let a = -31 - -34. Suppose 0 = -4*m + 8, -20 = -2*g - a*m. Which is greater: g or 9?
9
Let h be (15/(-12) + -1)*8. Let y be (2/h*3)/(2/(-18)). Which is bigger: y or 28/9?
28/9
Let q = -10712/9 + 1186. Do q and 0.6 have different values?
True
Let z = -423 - -4649/11. Let m be (-10)/15 - (-88)/(-3). Let r = m + 31. Which is bigger: r or z?
r
Let k = -0.438 + -0.032. Which is greater: k or -2?
k
Let n = -59 - -86. Let i = n - 30. Is i bigger than -7?
True
Suppose -b = -4*b + 6. Let t(s) = -2*s**3 + 2*s**2 + 3*s + 1. Let o be t(-1). Suppose -u + 0 = -o. Is u equal to b?
True
Let t = -133 - -132.555. Let d = t - -0.035. Let y = d + 0.21. Which is bigger: y or 2/9?
2/9
Let l = 83 - 80. Suppose -35 = -l*h - 5*x, -3*x + 2 = 2*h - 5*x. Which is bigger: h or 11?
11
Let o(h) = h**3 + 15*h**2 + 11*h - 24. Let p be o(-14). Suppose 0 = 3*u - p*u + 15. Let g be (-9)/6*(-2)/6. Which is bigger: u or g?
u
Suppose g + 4*g - 5 = 0. Suppose 4*w + 8 = -0, -4*j + 72 = -4*w. Suppose 4 = -3*b + j. Is b greater than or equal to g?
True
Let s(k) = k**2 - 2*k - 6. Let m be s(-2). Which is bigger: -5 or m?
m
Let o = 23983/7820 - 1/4692. Which is smaller: o or 3?
3
Suppose 6*g + 124 + 80 = 0. Let u = 18 - 51. Which is smaller: g or u?
g
Suppose -5*b + 14 = -5*p - 151, 4*p - 183 = -5*b. Let y be (-42)/b*60/(-9). Is 9 at least as big as y?
True
Let d(a) = -a**2 - a + 15. Let w be d(-4). Suppose 10*t = w*t + 7. Let z = -7/30 + -1/10. Which is smaller: t or z?
z
Suppose 7*d = -d + 1472. Which is smaller: 185 or d?
d
Let g = -6 + -3. Let b(r) = -r**2 - 36*r + 116. Let a be b(-39). Do g and a have different values?
True
Let j = 862 + -2747/3. Is -54 equal to j?
False
Let c = -1.44 - -0.39. Let o = c - -0.45. Let k = -0.3 - 0.7. Which is smaller: k or o?
k
Let v = 1.52 - 74.52. Let d = v + 73.37. Let r = d + -0.17. Which is bigger: r or 1/2?
1/2
Let v be (2*2)/(10/45). Let f be (-40)/v*(-42)/35. Which is smaller: 2 or f?
2
Let w be (-25)/30*(-12)/45. Let k(t) = -54*t + 5. Let q be k(4). Let n = q - -1897/9. Which is greater: w or n?
w
Let n(l) = -l**3 + 3*l**2 - 2*l. Let r be n(3). Let g = 0.3652 - 0.0652. Which is smaller: g or r?
r
Let n = -299430/43 - -6963. Let k = -355/903 - n. Is k > 1?
False
Suppose 68 = -94*d + 95*d. Is 69 less than or equal to d?
False
Let o be 60/19 + (-8 - (-5 - 0)). Let p be 1/2*(-1 - -1). Which is smaller: p or o?
p
Let p be (0 - 1) + 2/1. Suppose -20 = 3*s + 31. Let c be -4 + s/(-10) + 2. Which is smaller: c or p?
c
Let c be 2/(-14)*-30*(-21)/(-6). Which is smaller: -1 or c?
-1
Let j = 38 + -37. Let n be (-32)/(-18) + (-1 - j). Let b(z) = -z + 4. Let v be b(4). Is n < v?
True
Let x(o) = -o**3 + 5*o**2 + 13*o + 7. Let j be x(7). Suppose 4*b + 10 - 30 = 0, 0 = -k + 2*b - 8. Suppose k*t = -j*t. Is t <= -1?
False
Suppose f + 1 - 5 = 0. Suppose -x + 5*x = f*z, 4*x = -3*z - 7. Let d = 3 - 3. Is x > d?
False
Let t = 1/470 - 949/4230. Is 40/17 < t?
False
Suppose -5*i + 6*i - 2*d = 5, 0 = -2*i - 3*d + 31. Let c be (-3)/(-5) - (-15)/(-25). Suppose 25 = 4*p + 5*m, c*m = 4*m + 12. Is p less than or equal to i?
True
Let d(t) = -t + 9. Let w be d(7). Suppose a = -1, -w*a = -5*x - a - 494. Let y be 2/9 + 58/x. Is -1 at least y?
False
Suppose -131 = 67*f + 137. Are f and -59/11 equal?
False
Let w = -10 + 18. Let k = 3 - w. Let j be 2 - (1 - 8/(-6)). Which is bigger: k or j?
j
Suppose -994 = -5*i + y, -y = i - 3 - 197. Which is smaller: 200 or i?
i
Let a = 199.2 - 199.1. Is -88/9 greater than or equal to a?
False
Let a be 4/(-8)*0*(-28)/(-56). Is a less than 6/737?
True
Suppose 0 = -84*t + 71*t - 468. Which is bigger: t or -9?
-9
Let y be ((-650)/(-15))/(-26) + (2/3 - 1). Let k be 5/(-3 + 4/2). Are y and k non-equal?
True
Let b = 63.08 - 63. Let r = b + -0.07. Is r > -5?
True
Suppose -4*b + 3*i = 5*i + 8, 4 = -i. Suppose 5*m - 82 = 198. Let y be -9 + 11 + m/(-18). Is y < b?
True
Let t(l) = 727*l - 51. Let h be t(1). Is h at most 676?
True
Let x(u) = -u**2 + 6*u + 8. Let w be x(7). Let l be w - -1*(-34)/(-1). Let y be (-7)/l - (-58)/(-10). Is y at least as big as -7?
True
Suppose -2 = 2*w - 3*v, -4*v + 3*v = -w. Suppose -3*j + 5*p = -14, p = j - 2 - w. Which is smaller: 2 or j?
2
Suppose -12*v = 16 + 32. Let z be (-1)/v + 3*1/(-12). Is z greater than or equal to -6/67?
True
Let g = -39 - -38.8. Let v = -0.8 + g. Which is greater: -4 or v?
v
Let c = -1324 - -1314.09. Let x = c + 10. Let j = 0.19 - x. Which is greater: j or 1/4?
1/4
Let x = 683 + -143. Let t be (-138)/x - (-1 + (-14)/(-18)). Is 0 < t?
False
Let d(o) = o**3 - 3*o + 2. Let w be d(2). Suppose -3*y + 6 = -w*y. Let z be (-10)/(-150)*(0 - y). Is -1 equal to z?
False
Let t be (-656)/(-252) - 2*3/(-21). Do t and 3 have different values?
True
Suppose 27 = 3*x + 2*f, x + 6*f = 10*f + 9. Do x and 17 have the same value?
False
Let c(s) = -2*s + 26. Let g be c(11). Suppose -2*t = 2*t + 216. Let z be (g/(-6))/(3/t). Which is bigger: 14 or z?
14
Let t = 1422577/10070 - 2684/19. Is t less than 0?
False
Let b = 307 - 300. Are b and -4/7 nonequal?
True
Suppose 4*n + 82 = 290. Suppose 6*c + n = 8*c. Which is greater: c or -2/5?
c
Let b(g) = -2*g + 4. Suppose -11 = w - 5*w - 3*z, 5*w - 5 = 5*z. Let h be 3 + (w - (5 - 2)). Let v be b(h). Which is smaller: v or -3/8?
-3/8
Let x = 159.16 + -159.41. Let m = -1 - -0.9. Which is bigger: x or m?
m
Let f = -12581/7 - -1797. Does f = -127?
False
Let q(j) = -j**3 + 10*j**2 + 11*j + 3. Let s be q(11). Let k(v) = v**2 - 3*v - 1. Let p be k(s). Is p <= 1/19?
True
Let l = 23902/41 + -583. Which is greater: l or 2/7?
2/7
Let x = 0 + 0.03. Let v = x - 7.03. Let u = -8.4 - v. Which is greater: u or 2/3?
2/3
Let k(j) = -10*j - 181. Let w be k(-18). Is w at most 5/73?
True
Let q = 28/25 + -8/25. Let r = 82/15 - 29/5. Which is smaller: r or q?
r
Let z = 8.6 - -2.4. Let t = z - 11.09. Which is greater: t or -2?
t
Suppose 62 = -5*o - v + 184, 0 = -5*o - 4*v + 128. Let y = o + -97/4. Is y < 2/9?
True
Let h(x) = 2*x**3 + 9*x**2 - x + 3. Let q be h(3). Is 135 at least q?
True
Suppose 3*i + 29 = 5*v - 117, i + 4*v + 26 = 0. Let t be (4 - i/(-9))/(16/(-2)). Which is smaller: t or 1?
t
Let i = 27 + -18. Suppose m = 3*u, -m + i + 3 = 3*u. Are 6 and m non-equal?
False
Suppose -t = -4*c - 0*c - 5, 2*t - 10 = c. Suppose -4*h + 2*h - 8 = -2*v, c = -3*v - h + 12. Let k be ((-2 - -3)*-1 + 1)*-1. Is k > v?
False
Let y be ((-5)/(-3))/(4/(-12)). Let t be y + 1 - 120/(-3). Does t = 35?
False
Let b(t) = -6*t**2 + 3*t - 59. Let w be b(6). Is -256 less than or equal to w?
False
Suppose -5*x + 315 = 4*x. Let q = x - 33. Which is smaller: q or -4/5?
-4/5
Let x(z) = z**3 + 4*z**2 + 33*z + 132. Let i be x(-4). Does 2/2183 = i?
False
Let d = -295 - -155. Let o be 3 - d/(-273) - (-2)/(-13). Is 3 at least as big as o?
True
Let w = 62.17 - 62. Let y = 0.37 - w. Suppose f = -3 + 11. Which is greater: y or f?
f
Suppose -6*o + 27*o = -315. Which is smaller: -89/6 or o?
o
Let m = 3/526 + -709/32086. Let z = -6 - -7. Is z smaller than m?
False
Let t = -476 - -602. Which is smaller: 1 or t?
1
Suppose -434 = 16*m - 146. Is -25 > m?
False
Suppose -4*y - 6 = -14. Let k be 9 + y/(-1) + -3. Let o be 9/(-6)*k/3. Which is smaller: o or -5?
-5
Let a(j) = -j**3 - 32*j**2 + 37*j + 139. Let n be a(-33). Let g be (1*-11)/(-1) - 1. Is g at most as big as n?
False
Let y = 11.6 - -30. Let z = y - 38. Let g = z + -3.5. Which is smaller: g or 17?
g
Let o(q) = 3*q + 22. Let v be o(28). Which is smaller: -0.1 or v?
-0.1
Let m be 666/28 + 