 Let z be b(7). Is m >= z?
False
Let p be 2/((-4)/(-240)*-3). Is p >= -40?
True
Let n(g) = g**3 - 25*g**2 + 14*g - 27. Let j be n(25). Which is bigger: 324 or j?
324
Suppose 4*w - 5*w - 4*j = 7, w + 7 = 4*j. Is -6 less than or equal to w?
False
Let y(f) = 5*f + 5. Let n be y(-2). Let k be 4 - n/(3 + 2). Suppose 0 = -5*x + 4*a + 46, 5*a = k*x - 50 + 5. Which is smaller: x or 8?
8
Let s = -65 - -101. Let z = 26 - s. Let c = 4 + z. Is -5 greater than or equal to c?
True
Let g(i) = 2*i**2 - 16*i + 14. Let m(r) = -r**2 + r - 1. Let z(n) = g(n) + m(n). Let b be z(19). Which is smaller: 88 or b?
88
Let l = 0.6 - 0.66. Suppose 120 = -w + 2*w. Let q be -1 + 15/12 - (-18)/w. Is q not equal to l?
True
Let l be -21 + -3*(-3)/(-3). Suppose -8 + 260 = -3*k. Let d = k + 59. Is d at most l?
True
Suppose 135 = 6*h - 33*h. Let b(p) = p**3 + p**2. Let s be b(0). Suppose c - 3*c - 10 = s. Is c less than or equal to h?
True
Let c(y) be the second derivative of 0*y**2 - 2*y - 1/20*y**5 + 1/6*y**4 + 0 + 1/6*y**3. Let k be c(-2). Which is smaller: 13 or k?
13
Let j = 7 - 39. Let o = 47 + j. Suppose -3*i = -q - 23, 5*q + i + o = -4*i. Is q <= -8?
True
Let i = -18 + 14. Suppose -11*r = -14*r - 3. Is r greater than i?
True
Suppose -5*b - 14 = 2*i + 1, -12 = 4*b - 3*i. Let h be ((-48)/20)/((-1)/(-5)). Let m = 8 + h. Which is bigger: m or b?
b
Let f(l) = -l**3 - 4*l**2 + 6*l + 6. Let r be f(-5). Let b be 539/(-2244) - (-12)/48. Which is smaller: r or b?
b
Let q = -2/41 - 16/1353. Let b = 1687 - 1686. Which is smaller: q or b?
q
Let q(a) = a**3 - 3*a**2 + 2*a - 2 - 3 + 0*a. Let v = -87 - -90. Let b be q(v). Which is bigger: b or -2?
b
Let h = 30.1 - 2.6. Let o = -28 + h. Let t = 0.7 + o. Is -1 equal to t?
False
Let x = 395 + -394. Let n(p) be the first derivative of -4*p**3/3 - p**2/2 + 2*p - 1. Let i be n(x). Which is smaller: -4 or i?
-4
Suppose -d = 331*y - 332*y - 3, -4*d + y = -6. Let h(f) = -2*f**3 + f**2 - f. Let a be h(-2). Let s = -196/9 + a. Which is smaller: s or d?
s
Suppose 4*r - 4*s - 8 = 0, -3 = -2*r + 3*s + 2. Let g be 2 + r/(-3)*(4 + 2). Are g and -6/19 equal?
False
Let l = 353/60 + -23/4. Let x = -109 - -71. Let h = 38 + x. Which is bigger: h or l?
l
Let h be 4 - 2 - (-1 + -1). Suppose 2*j = 3*j + h*z, -j = -5*z. Let n = 1199/80 - 74/5. Is n less than or equal to j?
False
Let c(p) = -2*p + 1. Let n be c(1). Let y(g) = g**3 - 5*g**2 - 12*g + 12. Let a be y(5). Let b = 51 + a. Is b at most as big as n?
False
Suppose v - 2*z + 3 = 0, 3*z - 4 = 11. Which is bigger: v or 13/2?
v
Let s(v) = -v**2 - 58. Let l be s(0). Let d = -14 - l. Are 43 and d non-equal?
True
Let k(p) = -13*p**3 - 2*p**2 + p. Suppose 5*m - 3 = 2. Let y be k(m). Which is smaller: -15 or y?
-15
Let o be -7 + (7 - 0)*-1. Which is greater: 0 or o?
0
Let n(h) = -14*h - 2. Let d be n(-3). Suppose -5*p + 7 + 13 = 0. Suppose 2*o = 3*s - d, 0*o = 3*o + p*s + 26. Is o >= -14?
True
Let g = 78 + -89.5. Let l = -12.5 - g. Which is bigger: l or 11?
11
Let o = 1701/248 - 55/8. Let g(q) = -5*q - 36. Let j be g(-7). Which is smaller: o or j?
j
Let c be 6*(-91)/(-147) - 4. Which is smaller: c or 97?
c
Let r = -0.857 + 0.957. Are 176 and r non-equal?
True
Let k(g) = 3*g + 86. Let x be k(-27). Suppose -x*i + 64 = 49. Are 2 and i equal?
False
Suppose 1033 = -14*k - 5897. Which is smaller: k or -496?
-496
Let z be ((-8)/350)/(-4*(-13)/(-52)). Which is smaller: -1 or z?
-1
Let g = -587 - -608. Does 19 = g?
False
Suppose 3*o = 3*k + 154 + 2, -4*o - 5*k = -244. Let d be 24/o - (-85)/(-133). Which is greater: 1 or d?
1
Suppose 0 = -12*w + w + 308. Suppose -5*y - 4*t - 3 = w, -y = -3*t - 9. Which is smaller: y or -1?
y
Suppose -5*a + 2*a = -4*i - 1, 2*a - i + 1 = 0. Let s be (17/9 + a)*66/88. Is 2.3 at most s?
False
Suppose -71 = -5*c + l - 3*l, 4*l + 68 = 4*c. Let y(g) = g**2 - 16*g + 19. Let t be y(c). Let z be t/(-10)*(-4)/(-28). Which is greater: z or 0?
0
Let v be ((-1)/(-7))/(1/2). Let z(t) = -3*t - 10. Let y be z(-5). Suppose y*u + 1 = 4*u. Which is smaller: u or v?
u
Let g = 473 + -484. Is 1 greater than or equal to g?
True
Suppose -6 = -2*s + 4*o, 5*s + 10*o - 8*o = -9. Which is greater: s or 2/1127?
2/1127
Let f(r) = r + 7. Let v be f(-4). Suppose 3*g = p + 72, 0*p - 72 = -3*g - v*p. Is 24 smaller than g?
False
Suppose 3*t - 37 = -211. Let y be 3/(-2)*(-2478)/(-63). Is t > y?
True
Let w = -75 + 71. Is 15 less than or equal to w?
False
Let p(j) = -j + 5. Let l be p(3). Suppose -c - 45 = 2*f, l*f + 3*c + 40 = c. Let g = 176 - 705/4. Which is bigger: g or f?
g
Let i(q) = -2*q - 7. Let f be i(-9). Let a = f - 15. Let p be (-2)/a - 9/(-2). Is 4 equal to p?
False
Suppose 2*k - 5*z - 26 - 9 = 0, 0 = 4*k - 3*z - 105. Suppose -16 = -32*w + k*w. Is w != -2/9?
True
Let y(b) = b + 4. Let l be y(-2). Suppose 5*r - 90 = -3*a, 0 = -3*r - 2*a - 8 + 61. Let t be r/10 - l - 0. Are t and -1 unequal?
True
Let l = 168 - 98. Let v be -2*7/l*230/(-4). Is v less than 11?
False
Suppose -4*c = s + 11, 0 = -5*s + 2*c + 1 + 10. Is s at least as big as 2/227?
True
Let l = 1815 - 8473/5. Which is greater: 119 or l?
l
Let q = -655.05 - -627. Let f = -218 + 246. Let d = f + q. Is -0.1 greater than or equal to d?
False
Let a = 317757/35 - 9078. Which is smaller: 2 or a?
a
Let v be 1*(-2)/((-4)/(-14)). Suppose 5*u - 31 = -1. Let k be u/(-21) - (-5)/v. Is -2/9 smaller than k?
False
Suppose -2*u - 3*y - 21 = 8, 4*y = 4*u + 8. Let o = -15 - u. Is -9 at least as big as o?
False
Suppose -22 = 5*p + 18. Let a be (-549)/(-6)*p/27. Let s = -27 - a. Is 1 equal to s?
False
Suppose 0 = -6*x + 7*x - 10. Let w be (x + -8)*(-10)/(-4). Suppose 0 = -5*b - f + 4*f + 1, -w*f - 5 = -5*b. Are b and 2/147 nonequal?
True
Let k be (-4)/(-6) - (-66604011)/(-15930954). Let g = 12/5237 + k. Let x = 2/169 + g. Is 1 less than or equal to x?
False
Let k(j) = j**2 - 5*j + 7. Let o be k(5). Let n(l) = -2*l + 2. Let t be n(-2). Suppose o*x - t*x + 10 = 0. Is x at most as big as -12?
False
Let y(l) = l**2 - 7*l - 7. Let o be y(5). Let m = 17 + o. Which is bigger: m or -8?
m
Let z = 1007/63 - 129/7. Let d be (-2)/(-4 - -2)*-2. Which is smaller: z or d?
z
Let l(q) = q**3 + 11*q**2 + 8*q + 10. Let t be l(-11). Let m = t - -59. Is m at most -20?
False
Let z = 3584 + -3595. Let w be (0 + 2)/((-2)/4). Let q be w/16 + 39/(-4). Is z at most q?
True
Let c be (-2 + 10/5)/(-2). Let x be c/(0 + (-4 - -2)). Is x >= -1/35?
True
Let n be (12 - 448/35) + (-13)/(-10). Is n greater than -1/38?
True
Let q(r) = -r**3 - 7*r**2 + 8*r + 1. Let c be q(-8). Let l be ((-10)/(-3) - 0)*45/12. Let d = l + -177/14. Which is smaller: c or d?
d
Let s(n) = n**3 + 3*n**2 - 10*n + 14. Let u be s(4). Are u and 954/11 nonequal?
True
Let l(u) = -6*u**3 - 2*u**2 + 3*u + 3. Let y be l(-1). Suppose 3 = 3*x + 5*z, 2*x = 4*x - 2*z - 2. Let b = 0 + x. Are b and y non-equal?
True
Let u(g) = g**2 - 24*g + 5. Let k be u(24). Let z(c) be the second derivative of c**5/20 - c**4/3 - 5*c**3/6 + 6*c**2 + c. Let f be z(k). Is f bigger than 13?
False
Let a = 53.4 + -52. Which is smaller: a or -0.2?
-0.2
Let z = -0.473 - 39.627. Let k = z - -40. Which is smaller: -0.9 or k?
-0.9
Let j = -76.1 + 76. Let v = 41 - 71. Which is smaller: j or v?
v
Let u be ((-4*2)/4)/(-2 + 0). Which is smaller: -1/602 or u?
-1/602
Let z be 6/18*75/(-1). Let v be (z/(-35) - 1) + 15/28. Let x = 80 - 959/12. Which is smaller: x or v?
x
Let j(l) = l**3 - 4*l**2 - 12*l - 1. Let t(r) = r**3 - 8*r**2 - 8*r - 3. Let q be t(9). Let m be j(q). Which is bigger: m or -2/149?
-2/149
Suppose f - 8 = 3*f. Let t be 2/(-12) + f/(-24). Let a = 672/5 + -135. Is t greater than or equal to a?
True
Let f = 4 - 3. Let i = -5 + 2. Which is greater: i or f?
f
Let y be (0 + 2)/(-3 - -2). Let w = 3 + y. Let s = 937 + -939. Which is smaller: s or w?
s
Suppose 5*o = r + 20, 2*r - 1 - 1 = -4*o. Let g(x) = -x**3 + 4*x**2 - 3*x - 3. Let t be g(o). Let d = t - -2. Is -8 less than or equal to d?
True
Let l = -0.941 - -1.041. Let t = 4813/44 + -439/4. Is l greater than or equal to t?
True
Suppose 4*k + s = 35, -3*s - 13 = -2*k + 8. Suppose -k*z - 2 = -7*z. Let f be z/(-2*(-2)/4). Is -4/11 bigger than f?
True
Let f(x) = -x**3 - 5*x**2 + 4*x + 5. Suppose 11 = -3*z - 4. Let g be f(z). Do -17 and g have different values?
True
Let h = 148 - 152. Let w = -82 + 86.1. Let c = h + w. Whi