c(u) = -2*u**3 - 12*u**2 - 2*u - 10. Let r be c(-6). Suppose -5*n - 4 = o - n, -28 = 2*o - r*n. Let j = -0.5 + -0.5. Are j and o unequal?
True
Let k(u) = -u**3 + 5*u**2 - 7*u + 10. Let z be k(4). Let v = -23.005 + 0.005. Let m = -24 - v. Which is smaller: m or z?
z
Let i be 2 + 1 - (3 - 0). Suppose i = -s - s - 380. Let u = -3043/16 - s. Which is smaller: -1 or u?
-1
Suppose 9*a + 0*a = -5238. Are a and -582 unequal?
False
Let m = 2 - 3. Let v be (-18)/(-8) - m/(-4). Let b(z) = -45*z + 3422. Let u be b(76). Is v at most u?
True
Let o be 67/(-35) + 12/(-42). Let d = o - -14/5. Is d not equal to 4?
True
Suppose -3*a + 14 = 4*r - 0*a, 0 = 5*a - 10. Suppose 4*h = r*b - 14, -b = h - 4*b + 1. Are h and -3 non-equal?
True
Let r = -513 + 510. Is 14 less than r?
False
Let r be (0/4)/(3/1 + -1). Suppose 3*i + 2*x - 5 = r, -2*i - 2*x = -3*i - 1. Is i > 2/27?
True
Let z = 47 + -47. Suppose -d - x - 2 = -z*x, -3*d + 26 = -5*x. Is d bigger than 0.05?
True
Let z(y) = -y**2 - 20*y + 115. Let s be z(-21). Is s < 96?
True
Let l = -1.5 + 1. Let m = -0.5 + l. Let k = -9482/7 + 1355. Which is smaller: k or m?
m
Let t(s) = -s**3 + 12*s**2 + 29*s - 13. Let f be t(14). Which is smaller: f or -2/543?
-2/543
Suppose 4*g - 2*g - 2 = 0. Let k = 0.5025 - 12.4935. Let c = k - 0.009. Which is smaller: c or g?
c
Let z = 3/5866 + -683401/23464. Suppose 145 + 9 = 5*l - 3*r, 2*r = -6. Let i = z + l. Which is smaller: i or 1?
i
Let l be -4 - (55 - (-3 - -1)). Let g = l + 42. Which is smaller: -20 or g?
-20
Let y = 0 - -4. Let r(w) = -3 + 0 - y*w - w + 2*w**3 + 2*w**2 - w**3. Let k be r(-4). Do -15 and k have the same value?
True
Suppose 0 = 40*v - 56*v + 736. Which is smaller: v or 48?
v
Suppose 3*x - 2 = -2*h - 1, -4*h - 1 = 3*x. Let n(t) = t**3 - 11*t**2 + 11*t - 9. Let w be n(10). Suppose 2*f + 1 = -w. Is h < f?
False
Let l = 435 - 438.59. Let o = l - -0.09. Let s = -2.5 - o. Which is smaller: s or -3?
-3
Let i be (-2)/(-27) - (174/18 + -9). Do -1 and i have the same value?
False
Let n = 275/8 + -35. Let d(y) = -y**3 + 15*y**2 + 18*y + 23. Let r be d(16). Suppose -r = -3*q - 61. Which is greater: q or n?
n
Suppose 9 = 2*q + q. Let a be (-166)/(-18) - (-2)/(-9). Which is bigger: q or a?
a
Let r = -12 + 21. Let w(q) be the third derivative of -q**6/120 + 7*q**5/60 + 19*q**4/24 + q**3/6 + 78*q**2. Let d be w(9). Is d bigger than r?
True
Suppose -16 = -4*o, -5*o - 50 = -5*k - 15. Let v = -7 + 18. Does v = k?
True
Let s be (969/(-68))/(2/24). Which is smaller: s or -851/5?
s
Let t(g) = -g**3 + 9*g**2 - 7*g - 2. Let j be t(8). Let w be j/(-40) + 6/8. Let p = 0.2 + -0.3. Which is bigger: w or p?
w
Let p be 1*(1 + -8 + 0) + 3. Suppose 0 = -4*l - l + 30. Let i(t) = -t**2 + 4*t + 10. Let h be i(l). Which is smaller: p or h?
p
Let r = -9 - -13. Suppose -r*i + 12 = -6*i. Is -7 bigger than i?
False
Let d(k) be the first derivative of k**3/3 - 2*k**2 + 2*k + 3. Let g be d(1). Let a(r) = 3*r**3 + 1. Let s be a(-1). Which is bigger: g or s?
g
Let u = -102 - 19. Let t = 121.4 + u. Are -24 and t unequal?
True
Let h = -10.8 - -12. Let w = h - 2.3. Let v = -1.2 - w. Which is smaller: v or 16?
v
Let u be ((-63)/(-6))/7*-6. Let c = u + 9. Let x be 1*2*1/(-2) + 3. Which is greater: x or c?
x
Let x(i) = i**2 + 7*i + 2. Let y be x(-7). Suppose -y*s = -5*f + 19, 2*f - 13 = -3. Suppose k - s*k - 2 = 0. Is k >= -1?
True
Let s be (1 + -12)*(2 + -1). Suppose 4*c = -5*l - 55, -17*c + 20*c = l - 27. Which is smaller: s or c?
s
Suppose -3*h = -6*h + 6. Suppose x = -h*z - 2, -3*x - 11 = z - 0. Which is greater: z or -1/90?
z
Let x be ((0 - -1) + 247)*(-43)/86. Which is greater: -123 or x?
-123
Let j(i) = i**3 - 26*i**2 - 60*i - 48. Let p be j(28). Is -160 at least as big as p?
True
Let k = -0.1963 - 158.8037. Which is smaller: k or -2?
k
Suppose 0 = -t - 2*a - 3 - 7, -t - 22 = 5*a. Let m = -345/2 - -512/3. Does t = m?
False
Let a(u) = -32*u - 28. Let t be a(-4). Let c = -117 + t. Let g be -2 - -2 - -1 - 17. Which is bigger: c or g?
g
Let m = -16 - -26. Let t be 4/m + (-292)/(-20). Suppose 0 = 3*a - 0*a - t. Are -1 and a equal?
False
Let d be -3 + 1*4/12*-3. Let i be 1309/49 + d/(-14). Which is greater: i or 28?
28
Let m = 1.2 + -0.96. Let z(q) = 4*q**2 + q + 12. Let y be z(5). Let d = y + -587/5. Is m less than d?
False
Let j = 25 - 31. Let o be (-84)/10 + (-10)/(-25). Do o and j have the same value?
False
Let g = 559 - 558. Which is greater: 341 or g?
341
Let a(d) = -4*d**2 + 111*d + 28. Let q be a(28). Is 16 at most as big as q?
False
Let b = 7223/14442 - 1/7221. Let n = -46147/8934 + -2/1489. Let l = n + 167/30. Which is smaller: b or l?
l
Suppose 5*k - 4 = 4*c + 6, 0 = -4*k + 2*c + 14. Suppose k*l - 4*l = 0. Which is bigger: l or -12?
l
Let t be (-10)/(-5) + (-13)/(52/48). Which is bigger: -134/15 or t?
-134/15
Suppose 0 = f - 5*h + 28, 14 = -2*f - h - 3*h. Are -9 and f equal?
False
Let v(w) = 13*w - 26. Let u be v(11). Let a be ((-13)/(-4))/((u/(-36))/(-13)). Which is smaller: 18 or a?
a
Let t = -0.136 - 1.864. Which is bigger: t or 10?
10
Let o be (1/(-6)*0)/2. Is o != 3?
True
Let r be (45/(-72))/(75/(-10)). Is 2/3 <= r?
False
Let t = -407 - -405. Is t smaller than 4/11?
True
Suppose 24*p = 22*p + 4. Let d be (-5)/15*(-2 + -1) - p. Is 1/10 not equal to d?
True
Suppose 59 = 5*m - 26. Let l = -27 + m. Let g(s) = -7*s + 66. Let x be g(11). Is l <= x?
False
Let r = -47/52 + 3/4. Suppose 5*w + 4*d = 2*d + 15, 3*w + 22 = 5*d. Do r and w have the same value?
False
Suppose -542 + 152 = -3*q. Suppose -q = -13*v + 18*v. Is v < -23?
True
Let g = -189 - -144. Is -45 at most as big as g?
True
Suppose 0 = 4*i - i - 2*h - 61, 5*i - 99 = 4*h. Suppose 0 = -5*k - q + 58, 3*k - 4*q = 4*k - i. Which is greater: 12 or k?
12
Suppose 135*q = 157*q - 264. Let f = 23 + -13. Is f smaller than q?
True
Let l(d) = 30*d - 2. Let r be l(0). Let p be ((-2)/(-4))/(12/(-8)). Are r and p equal?
False
Suppose 2 = -12*p + 13*p. Does 2/7 = p?
False
Let h = -1/35 - 32/105. Which is smaller: 6/49 or h?
h
Let q = 49.1769 - 0.0769. Let o = q - 49. Which is smaller: -2/5 or o?
-2/5
Let z be (-820)/(-36) - (-4)/18. Suppose z*j - 18*j = 40. Which is bigger: j or 9?
9
Suppose -2 - 13 = -3*a. Suppose p = a*h - 3 - 1, 3*h + 46 = 5*p. Is p >= 13?
False
Suppose -x = -2*a - 229, 4 - 9 = -5*x. Which is bigger: -1 or a?
-1
Let x = 2109 + -2389. Which is smaller: x or 0?
x
Suppose 0 = -2*j - u + 3, 5*j + 20 = 2*u + u. Let b be j/(-4) - 17318/(-72). Let v = -241 + b. Which is greater: v or -0.1?
-0.1
Let w(n) = 8*n - 5. Let l be w(9). Let i = 269/4 - l. Let h = -37/9 + 11/3. Is i less than or equal to h?
False
Let o = 30 - 26. Suppose 0 = -9*y + o + 32. Suppose -5*l + y*d + 11 = -9, -3*l + 12 = -d. Is 9/2 at most l?
False
Let q = -2 - -4. Let a = -81 - -81. Suppose q*i + i = a. Which is greater: -1 or i?
i
Let u be (-5)/((3/8)/(-3)). Suppose u = i + 3*i. Let x be 2/(3 - 26/i). Which is bigger: 4 or x?
x
Suppose -9*w = -12*w + 141. Suppose w = -2*g + 11. Which is smaller: g or -53/3?
g
Let k be (-6)/(-3)*14/2. Let w be ((-2)/(-6))/(k/168). Suppose v + w*l = 11 + 6, 3*v + 4*l - 19 = 0. Which is greater: v or 7/3?
7/3
Let w be 2*(1/(-6))/(17/(-153)). Are w and 14/3 nonequal?
True
Let c = 2597/5 - 537. Which is greater: c or -19?
c
Suppose 0 = a + 3*a + 3*r - 17, 4*a - 4*r = 24. Suppose a*l = o - 0 + 7, -3 = -5*l - o. Is -2/99 less than or equal to l?
True
Let f be -3*(2/(-7))/(18/14). Is 32 smaller than f?
False
Let y = -1/23 - 21/46. Let n be (37/2)/(2*4/(-16)). Let f = n - -36. Is f less than y?
True
Suppose 5*f = 469 - 514. Is f greater than or equal to -80/9?
False
Let d = -47 - -48. Which is smaller: d or 7?
d
Suppose -5*y - w = -235, -3*y - 5*w + 255 = 2*y. Let o be (-2)/(84/y) + (-3)/9. Which is smaller: o or -2?
-2
Let a be (-2)/(-141)*1/(-2). Which is bigger: 0 or a?
0
Suppose -x - 61*x = -620. Which is smaller: -10 or x?
-10
Suppose 14*s = 415 - 107. Which is smaller: 21 or s?
21
Let r(g) = g - g**3 + 6*g**2 - 2*g**2 - 5*g + 2*g**2. Let a be r(3). Suppose -4*l + v + 3 = 0, 0 = l - 0*l + 5*v + a. Is l equal to -2/27?
False
Suppose 0 = -2*h - 2*h - 20. Let t(b) = b**3 + 4*b**2 - 2*b - 5. Let l be t(h). Which is bigger: l or -21?
l
Let y = -1860 + 1860.1. Let d = -16.2 + 15. Is d at least as big as y?
False
Let k = 1970 - 1970. Let i = 62/477 + -1/