g as o?
False
Let b(m) be the third derivative of -m**6/120 + 2*m**5/15 + m**4/24 - 11*m**3/6 - m**2. Let s be b(8). Suppose -3 = 2*z + 1. Is z at least as big as s?
True
Suppose 2*m - 6 = -5*i, 0 = -2*m + 3*m - 3. Let a be (-2 + 2 - i) + 4. Let f be a/10 - (-2)/(-5). Is f not equal to -2/11?
True
Let j be (3 - 148/48)*3. Is 3/5 smaller than j?
False
Let i = -35 + 48. Is i < 15?
True
Let m = -2 - -5. Suppose 0 = 2*i + m*i. Suppose -3*o + 16 = -5*v - i*o, 2*o = 4*v + 12. Is v at most -2?
True
Let t = 2 - 3. Let i = -9 - -14. Let m = -4 + i. Are t and m unequal?
True
Let z = -1.7 + -6.3. Let p = z + 5. Let g = -1 + p. Do g and 0.1 have different values?
True
Suppose 45 = 2*y + 3*y. Is y at most 9?
True
Let o(n) = n**2 - 9*n + 9. Let j(s) = s**2 - 8*s + 10. Let q(a) = 3*j(a) - 2*o(a). Let g be q(5). Which is smaller: g or 8?
g
Let h = 2597 + -96113/37. Let a = -2/111 + h. Let z(o) = -o - 3. Let m be z(-4). Is m equal to a?
False
Let v = -25 - -27. Which is bigger: v or 0.3?
v
Let r = -6 + 3. Let a be 0/((-2)/(1 + r)). Let c = 1064/13 + -82. Which is bigger: a or c?
a
Let o = 15.15 + -15. Which is greater: -1 or o?
o
Let w(s) = s + 4. Let i be w(-4). Suppose i = -q - q + 4. Let m = 3 - q. Is 2/13 less than or equal to m?
True
Suppose -g + 2 = -4*s, 4*g - s + 0*s = -7. Let t be -2 + -2*g/4. Let v = 83/33 + -24/11. Is v != t?
True
Let a = -103/2 + 46. Let q = 21/4 + a. Is q at least as big as 2?
False
Suppose 24 = 3*d - 0*d. Which is bigger: d or 6?
d
Let z = -5.64 + 5.7. Is 2/5 < z?
False
Let d = 7 - 2. Suppose d = 4*u - 7. Let s be -1 + (-2 + u - -4). Is s < 4?
False
Let t = 1985 - 29761/15. Which is bigger: 1 or t?
1
Let k(u) = u. Let a(y) = 12*y. Let w(i) = a(i) - 3*k(i). Let r be w(3). Let n be (-4)/14 + r/(-126). Are n and 0 nonequal?
True
Suppose 2*s + 9 = -s. Let f = 3 + s. Let a be (-8)/12 - (f + -1). Which is greater: a or 1?
1
Let k = 101 + -67. Is k less than 34?
False
Let f(u) be the first derivative of u**4/4 - u**3/3 + u**2 - 2*u + 5. Suppose 2*s - 6 + 2 = 0. Let o be f(s). Is o less than 5?
False
Let p be (21/6)/(-7)*4. Which is smaller: -3 or p?
-3
Let s be (-90 + -4)*1/2. Which is smaller: s or -46?
s
Let b = -25 + 25. Let l = 4 - 6. Is l at least b?
False
Let j be ((-2)/(-3))/((-266)/(-570)). Suppose 4*h - 3*p + 2 = 3*h, 2*h = 3*p - 1. Which is greater: h or j?
j
Let z be (4/21)/(4/6). Is -14 less than z?
True
Let j = 0.37 + -0.47. Is 1.9 smaller than j?
False
Let d(q) = q - 1. Let m(t) = t + 2. Let s(o) = 2*d(o) + m(o). Let h be s(1). Let f be h/(-2)*(-6)/63. Which is smaller: f or 0?
0
Let o = -6.7 + 3.7. Which is greater: 3 or o?
3
Let v be 80/(-200) + (-1)/(-5)*2. Is 3/20 greater than or equal to v?
True
Let k = -5.89 - -5.6. Which is greater: 1 or k?
1
Let t = 1 + 19. Let f be (5 - 6)*(0 + t). Which is bigger: -19 or f?
-19
Let d(f) = f**2 + f - 8. Let a be d(-4). Suppose 4*r - 2 = 10. Suppose u - r = -1. Which is smaller: a or u?
u
Let o(c) = -11*c + 54. Let x be o(5). Which is smaller: x or 3/49?
x
Suppose -4 = -5*s + 6. Let p be s*((-2)/(-3) - 1). Is 0 at most p?
False
Suppose -179 = -3*m + 5*a, 4*m - a + 5*a = 260. Let g be 12/m*(-7)/(-6). Is -1 greater than g?
False
Suppose -3*x + 3*k - 6 = -0*x, 5 = -3*x + 4*k. Let h be (-1)/(-2) - 1/x. Suppose 4*z - z + 4*t + 8 = 0, z + 4*t + 8 = 0. Which is bigger: z or h?
h
Let h = 1673053 + -1366884131/817. Let c = h + -18/43. Let p = c - -35/76. Is -2 at most p?
True
Let v be (264/(-154))/((-1)/35). Let c be 4*5*3/v. Let m = 427 - 4691/11. Which is smaller: m or c?
m
Let m be -2 - (1 + -2)*-1. Let o = 25 + -21. Suppose 24 = -3*c + 5*d, -o*d = -c + d - 18. Is m > c?
False
Let s(g) = 7*g - 6. Let j be s(1). Let x be -2 + (-995)/(-249) + -2. Let p = x - 157/2241. Is j > p?
True
Let y be (-45)/(-20) - (-1)/(-4). Suppose -x - 2 = -y*x. Let t(m) = m + 2. Let u be t(x). Is 5 > u?
True
Let k be (-2)/(-4) + 52/(-24). Let z = 3 - 6. Is k >= z?
True
Let q(i) = -i**2 - 8*i - 6. Let b be q(-7). Suppose 2*o - b = 3. Suppose o*k + 2 = 6. Which is greater: k or 2/3?
k
Let m = -1 - -1. Let y = -11 + 4. Let v = -7 - y. Is v >= m?
True
Let f(h) = h**3 - 4*h**2 - 4*h + 5. Let m be f(5). Suppose 5*x + 5 = m. Let c = 55 + -163/3. Which is smaller: c or x?
c
Let x = -5 + 7. Let v be 2 - -2 - (7 + -5). Is x equal to v?
True
Let a = -5 + 4. Let s(j) = j**2 - 6*j - 8. Let p be s(6). Let o(r) = r**2 + 7*r - 7. Let w be o(p). Is a >= w?
False
Let v = 0.34 + -0.44. Let t(c) = c**2 - 5*c - 6. Let g be t(6). Which is greater: v or g?
g
Suppose 0 = 3*u + 4*d + 7, 3 + 2 = -3*u - 5*d. Which is greater: 1 or u?
1
Let m be (-1)/(-1)*((-282)/(-42) - 7). Suppose -v - 14 = 3*y, 18 = 3*v - 2*y - y. Is v bigger than m?
True
Let o = -13/33 - -331/924. Does o = -1?
False
Let o = -3 + 8. Let l be 3*-1*1/(-1). Suppose 3*x + l = t, -o*t = x - 0*t - 15. Is x >= 2/5?
False
Let j be ((-7)/21)/(1/(-3)). Is -6/13 != j?
True
Suppose -8 = -3*g + 4. Let b be 5/((-5)/(-3)) - g. Let z(n) = n**3 + 4*n**2 + 2*n - 3. Let q be z(-3). Is b < q?
True
Suppose 4*j + a = 1, -11 = j + 3*j + 5*a. Let k be 4 + j*(-1 + -1). Suppose -2*h + 5*h - 9 = 0. Is k != h?
True
Let i be (-3 + (-180)/(-78))/(6/4). Suppose -3*j = 5*u + 15, -2*j - 2*j = 3*u + 9. Which is greater: i or j?
j
Let u = 2 + -4. Let b = 18.2 + -20. Let c = b - u. Is 1/4 >= c?
True
Let w be (6/(-8))/((-99)/(-24)). Let q = 22 + -16. Suppose -r = -q*r + 5. Is r equal to w?
False
Suppose 4*w - o + 88 = 0, 2*o + 123 = -4*w - w. Let y = w + 33. Let k be (4/y)/(17/(-5)). Which is bigger: -1 or k?
k
Let v be (-48)/(-27) + 2/9. Let y be ((-6)/(-4))/3*6. Is y less than v?
False
Let v(f) = -f**2 + f + 1. Suppose 0 = 2*g - 8*g. Let z be v(g). Let m be -2 + (-2)/(-6)*4. Which is greater: m or z?
z
Suppose 6 - 28 = 2*r + 5*v, 38 = -2*r + 3*v. Let q be r/(-50)*-5*1. Is -2 > q?
False
Let y = -7 + 7. Let s be -1 + 4 + (-7)/((-280)/(-75)). Is y >= s?
False
Let z(r) = r**3 - 4*r**2 + 2*r + 4. Let s be z(3). Let x be -17*1/35 + (-10)/(-35). Which is bigger: s or x?
s
Suppose -h + 6 = p - 1, -12 = -2*p - 3*h. Let a = p + -18. Let j be a/(-6)*4/(-6). Which is smaller: 1/3 or j?
j
Let t = 3.5 - 2. Let i = t - 1.3. Which is bigger: 0.07 or i?
i
Let u be (-3*1)/(9/2). Suppose -7*l - 10 = -3. Which is greater: l or u?
u
Suppose -9*v + 3 = -6*v. Which is greater: v or 3?
3
Let i = -0.19 + 1.19. Which is greater: i or 5?
5
Let f = -16/3 - -71/15. Let o = -3.7 - 0.3. Let q = o - -3. Is f equal to q?
False
Let a = 1.5 - 0.5. Let m = -12 - -8. Is a at least as big as m?
True
Let q(h) = -h**3 - 3*h**2 + 3*h + 1. Let w be 5/15 + (-26)/6. Let n be q(w). Let p = 4 - n. Is p <= 2/5?
True
Let z = 30 + -49. Let y = 20.8 + z. Let l = -2 + y. Is -3 at most l?
True
Let f = 20 - 19.7. Let o = 0.1 - f. Suppose 0 = 5*l - 10, 0 = 5*t + 4*l - 9*l. Is t at most as big as o?
False
Let b = -9 + 26. Suppose -3*a - 34 = 3*s - 4, -b = 2*a + s. Let g = 9 + a. Is 2 < g?
False
Let h = 90 + -91. Which is bigger: h or -2/27?
-2/27
Let x = -5 - -4. Let y = -2 - -1. Let m be (y/3)/(1/(-2)). Is m <= x?
False
Let l = 1 + -2. Let h be (0/(-2))/(l + 0). Suppose j = -h*j. Is -1 < j?
True
Let x = 19 - 26. Let v = -7.5 - x. Is v not equal to -1?
True
Let x = 39 + -39. Does 6/19 = x?
False
Suppose 0 = -2*m - u + 2*u + 1, 2*m - 5*u + 3 = 0. Which is greater: m or 3/44?
m
Let u = -86 - -2669/31. Which is smaller: u or 1?
u
Let i be 3 + (0 - 28/12). Suppose -2*v = 2*r - 5*v + 11, 2*r + 16 = 4*v. Let x = 0 + r. Is i >= x?
False
Let u be (-3*2/4)/((-30)/36). Is 2 at most u?
False
Let t = -0.4 + 0.4. Let c = 2 - t. Let w = -0.06 - -2.06. Is c > w?
False
Suppose -3*y + 36 - 12 = 0. Which is bigger: 9 or y?
9
Let s = -5 + -9. Let y = -9 - s. Let q = -3 - -3. Which is smaller: q or y?
q
Let h = 6383/28 - 345/4. Let a = 142 - h. Is a less than -0.1?
False
Let t = 10766/9 - 1194. Is t < 1?
False
Let g(h) = h**3 - 3*h**2 + h + 5. Let r be g(4). Suppose d + r = -4*d. Which is greater: -4 or d?
-4
Let l = 66 - 64. Which is greater: l or 8?
8
Suppose -5*x + 4*x = 16. Is -2/7 <= x?
False
Suppose g + 3*g + 4*n = 16, 2*n = -4*g + 16. Let t(m) = -1 + 1 + g - m. Let k be t(3). Which is greater: k or 4/7?
k
Let x = -578/5 + 116. Is 0.042 <= x?
True
Suppose p = -3*p + 20, -4*s - p = -9. Suppose 0 = -0*d + d - s. Is 2 at most d?
False
Let g = 279/10 - 28. Are g and 1/3 