 w be q - 8/((-48)/27). Is w bigger than 1/4?
True
Let f(c) = c + 9. Let w be f(-10). Is -12/395 at least as big as w?
True
Let w(b) be the third derivative of -b**7/2520 + b**6/144 - b**5/30 + b**4/6 + 3*b**2. Let o(l) be the second derivative of w(l). Let f be o(5). Is f != -3?
True
Let s = -7 + 6.14. Let x = s - -0.91. Let g = 0.5 - 3.5. Which is bigger: g or x?
x
Let s = 207 - 207.06. Which is greater: s or -2?
s
Suppose 0 = 5*l + 232 + 98. Which is smaller: l or 1?
l
Let l = 4.4 - 7. Let m = l + 3.9. Is 0 less than or equal to m?
True
Let h = 483/10 + -8271/170. Let b = 2 + -3. Which is smaller: h or b?
b
Let n(i) = -i**3 + 35*i**2 + 1. Let j be n(35). Let p be 309/(-7) + -1*2. Let f = p - -46. Which is greater: j or f?
j
Let l = 1117/7 + -160. Let f = -1.476 + 6.476. Which is bigger: l or f?
f
Let r = 607 - 2445/4. Which is smaller: -2/7 or r?
r
Suppose -54*g + 47*g - 308 = 0. Is g at most -44?
True
Let b be (3 + (-12)/3)*(3 + -106). Let l = 99 - b. Is -1 less than l?
False
Suppose -4*v - 40 = -4*k, 5*v - 86 = -5*k - 6. Let r be (-45)/(-36) - 2/8. Which is smaller: r or k?
r
Let t(q) = -3*q**2 - 24*q - 62. Let l be t(-6). Which is greater: -25 or l?
-25
Let m = -5881/3 - -2003. Let l = 43 - m. Let r(k) = k**3 + k**2 + k + 1. Let b be r(-1). Is l greater than b?
True
Let i = 0.7 + -0.8. Let z = 0.1 - i. Let p = -43/4 + 223/20. Which is bigger: p or z?
p
Let t = -0.41 + 0.31. Let f = t + 2.1. Is 1 > f?
False
Let y = 195 + -120. Suppose -4*t = w - 303, 5*t + 5*w - 342 = 48. Is y < t?
False
Let d = -35/18 + 271/306. Which is bigger: d or -2?
d
Let s = 2422 + -17336/7. Let r be 1 - 1/(119/6627). Let k = s - r. Is k <= -1?
False
Suppose -5*g = -0*g - 360. Suppose 3*y + y = g. Let q be 10/(-24) + 12/y. Which is smaller: -6 or q?
-6
Let x(h) = -h**3 + 2*h**2 - h + 1. Let p be x(1). Let f(m) = -9*m - 3. Let q be f(p). Let c be (-6)/(((-8)/q)/1). Is -10 smaller than c?
True
Let n be 4 + 0 + 0 + -45. Which is smaller: n or -42?
-42
Suppose 8 = 4*a - 3*s, -3*a - s = -2*s - 6. Suppose a*p + p - 3 = 0. Suppose 0 = -3*g - 0*g + 3. Is g smaller than p?
False
Let n be 64/(-20) - -3 - 52/(-10). Let z(i) = -i**3 - 5*i**2 + 5*i - 7. Let w be z(-6). Let g be -6*(w - 0/2). Which is smaller: n or g?
n
Let v = -129 - -182. Let c = 52.82 - v. Which is greater: c or 0.2?
0.2
Suppose -5*a = w + 4, -2*a + 22 = 4*w - a. Let z be (9/72)/((-1)/w). Is z <= 1?
True
Let j be (-218)/9 - (56/(-36))/7. Let x be j/18 - 968/(-60). Which is smaller: 14 or x?
14
Let x = 43 + -626. Is x >= -583?
True
Let k = -80 - -79.2. Let g = k - -1. Is g != -23?
True
Let g be 4/6 + 35/(-48). Let a = 114 - 66. Let j be ((-2)/6)/(16/a). Which is greater: j or g?
g
Let n = 59 + -107. Let i = n - -47. Which is greater: i or -5/17?
-5/17
Let x = -244 - -245. Is x greater than or equal to -3/262?
True
Let v be 4 + -3 + 24/(-6). Let y be 8/6 + (-29)/v. Which is greater: 3 or y?
y
Let k be (0 - (15/6 + -2))*(-3)/66. Let m(u) = u**3 + 4*u**2 - 5*u - 1. Let p be m(-5). Is k at least p?
True
Suppose 5*x + 27 = -i, -4*i - 4*x - 88 - 20 = 0. Are -0.2 and i nonequal?
True
Let d(c) = c**3 + 4*c**2 - 4*c + 5. Let a be d(-5). Let w(n) = -n**2 - 2*n + 8. Let z be w(a). Which is greater: -1 or z?
z
Let u = 0 - -2. Suppose 5*j + 19 = -d - 1, 6 = -d + u*j. Let z be (-40)/d - (0 - 0). Is z smaller than 3?
False
Suppose -29*y = 394 - 365. Which is bigger: -1/384 or y?
-1/384
Let a = 15 + 21. Suppose 3*u - u - a = 0. Let b be (9/(-12))/(u/12). Which is greater: -1/4 or b?
-1/4
Let u be 9/5 + 4/(-10). Let z = -2554 - -2556. Do u and z have the same value?
False
Let k = 41 + -9. Let s = 19 + 14. Let m = k - s. Is 8 smaller than m?
False
Let l = -23 + 8. Let w = 14 + l. Let n = 7.8 - 7. Are w and n non-equal?
True
Let t = -27 - -21. Let r = -0.03 + 0.03. Which is bigger: t or r?
r
Let y = 4.4 + -4. Let t = -0.665 + -0.035. Let s = y + t. Is 5/3 less than or equal to s?
False
Let r = -19 - -31. Let l = r + -19. Let i = -0.2 + -0.8. Is l at most as big as i?
True
Let z be 41/17671*(-1 - -3). Which is greater: z or -1?
z
Let n = -5/2 + -9. Let k = n - -11. Let f be (31/(-14) + 2)/((-12)/(-64)). Which is smaller: f or k?
f
Let y = 1978 + -1706. Which is smaller: 275 or y?
y
Let g be (3*(-8)/24)/(1/(-341)). Do g and 340 have the same value?
False
Let w = 304 + -276. Which is bigger: w or 27?
w
Let r = 438 + -10948/25. Is r < -1?
False
Let z be 24/10 + 2/(-5). Let k = -3 + z. Suppose -46*t + 21 = 157 + 2. Which is smaller: k or t?
t
Let i(o) = o**3 + o**2 + o - 4. Let q be i(0). Let j(u) = u**3 + 5*u**2 + 6*u + 5. Let x be j(q). Let r be -4*(x/2 - -1). Are r and 4 equal?
False
Suppose 24 = -0*t + 3*t. Let x be 70/10 + 1*-2. Suppose -3*k + 16 = 4*u, 2*k = 4*k - x*u - 26. Are t and k non-equal?
False
Let b = -0.33 + 0.186. Let l = b - -0.044. Is l > 0.27?
False
Let n(j) = -j**3 + 29*j**2 - 51*j - 93. Let q be n(27). Which is smaller: q or -29?
-29
Let q = -2600506612/65 - -40009307. Let d = q + -1513. Which is smaller: -1 or d?
-1
Let t(v) = 21*v**3 - 2*v**2 + 2*v + 3. Let f be t(-1). Let y = f + 22. Is y greater than or equal to 4/39?
False
Let t = -6 + 6.08. Let f = -13.92 + 14. Let g = f - t. Do 0 and g have different values?
False
Let o be 2*13/6*3. Suppose -3*y = -4*m + 16, 0 = -2*y - 2*m - 5 + o. Let q(p) = -p - 8. Let j be q(-7). Which is smaller: y or j?
j
Let d be 2475/400 - (7 - 0). Is d bigger than 0?
False
Let f = -17 - -29. Suppose 4*m - f - 28 = -3*v, 5*v - 20 = 0. Let h = 148 + -140. Does m = h?
False
Let u = 8.7347 + -0.0147. Let x = u - -0.28. Let m = x + -7. Which is smaller: m or 0.1?
0.1
Let k = 25 + -7. Are 13 and k non-equal?
True
Suppose 0 = -76*q + 78*q - 16. Let u(w) = w**3 + 2*w**2 - w. Let g be u(-2). Suppose -3*n + g = q. Which is greater: -8/9 or n?
-8/9
Let a(d) = -4*d + 151. Let w be a(40). Is 4 less than or equal to w?
False
Let l be (-2)/(-7) - (-19)/7. Let a(n) = n**2 - 6*n + 3 + n + 2*n**2 - n**2. Let q be a(l). Is 5 at most q?
True
Let q = 0.21 + 54.79. Let k = q - 50. Do 15 and k have the same value?
False
Let i = 0.784 - 0.784. Is i at most -1.2?
False
Let n = 8/37 + -487/1739. Let d = -701 - -701. Is d != n?
True
Let g(s) = -s**3 + 13*s**2 - 33*s - 8. Let l be g(5). Which is smaller: l or 25?
25
Let l = 0.3 + -0.1. Let x = -0.28 + l. Let w = 86 + -87. Is x != w?
True
Let r = -33 + 35. Let t = r - 1.9. Which is bigger: -0.03 or t?
t
Suppose x - 111 = 3*a + 10, -4*a + 4*x - 172 = 0. Which is smaller: a or -1?
a
Let k = -304.3 + 311. Which is bigger: 2/13 or k?
k
Let c be (2/4)/(1/4). Let g be (-2)/c*-2*1. Suppose 4*w = -g*p - 38, 49 = -4*p + 4*w - 3. Which is bigger: p or -1?
-1
Let m = -23/9 - -20/9. Suppose 2*z - 6 = -o - 0*o, 0 = 2*z + 4*o. Let w be ((-9)/(-12))/((-14)/z). Is w smaller than m?
False
Suppose 5*g = r + 18 - 3, -3*r - 5*g + 35 = 0. Suppose d - 2*d + 5*t = -81, 345 = 5*d - r*t. Do d and 66 have the same value?
True
Let v(t) = -t**2 - 28*t + 13. Let p be v(-14). Which is smaller: 210 or p?
p
Let y = -42.7 + 49. Let a = y + -1.3. Let z = a - 3. Is -0.02 bigger than z?
False
Suppose -3*v + 7 = 19. Let o = -2 - v. Let d = o - 3. Which is smaller: d or -2/3?
d
Let n = 168/367 + -513371/1468. Is -350 less than or equal to n?
True
Let b be 0*(3/(-6))/(-5 + 4). Is -2/941 at least as big as b?
False
Let u = -22 - 14. Let p = -32 - u. Is p less than 7?
True
Let y(a) = 8*a + 64. Let t be y(-8). Is 7/6 equal to t?
False
Suppose 0*v = 4*z - v + 31, -12 = -4*v. Suppose i = 1 + 2. Suppose 6*f = i*f - 21. Is z > f?
False
Let a = -2/42087 + 9708070/42087. Which is greater: a or 231?
231
Let v be 2 + (-9513)/(-1902) + -1 + -6. Is 1 at least v?
True
Let d(q) = -4*q**2 + 42*q - 12. Let g be d(16). Which is bigger: -362 or g?
-362
Suppose 0 = 2*v + 6 + 2. Let q be (-78)/21 + v/14. Let k be 3*(29 + -31)/(-1 - -3). Which is smaller: k or q?
q
Let s be 1*(-12)/(-306)*(-4 + 1). Let z = -39/187 - s. Which is bigger: 0.1 or z?
0.1
Let q(i) = 2*i**2 - 17*i + 11. Let u be q(8). Let n be ((2 - 3)*u)/(-3 + 0). Is n bigger than 0.1?
True
Suppose 0 = 7*a - 146 + 139. Are 3/263 and a nonequal?
True
Let f = 8.17 - 0.17. Let z = -17 + f. Let v be 5 - 2 - (-50)/(-15). Which is bigger: z or v?
v
Let p be (-1034)/(-2286) - 216/486. Let f be -3*(-2)/(12/(-2)). Do f and p have the same value?
False
Let s(z) =