l = -8/61 - c. Is t less than l?
True
Let x be 6*(-6 - -5) + 2. Which is smaller: -5 or x?
-5
Let d(u) = -6*u + 41. Let b be d(-20). Is 162 greater than b?
True
Let w be (-16)/(-10) - (-12)/30. Suppose -4*q - x + 16 = -0*x, -2 = 2*q - w*x. Which is smaller: 12/7 or q?
12/7
Let r = 0.44 + -0.478. Let p = 0.268 + r. Let x = p - 1.13. Which is greater: -1 or x?
x
Let w be ((-27)/12)/(30/(-4)). Let j(y) = y**3 + 5*y**2 + y + 6. Let s be j(-5). Let m be s + 4/(-3) - (-16)/(-24). Which is greater: m or w?
w
Let b = 926 - 866. Which is smaller: 59 or b?
59
Suppose -2*n - 4*u - 22 = -4*n, 44 = 4*n - 5*u. Suppose -2*k = -4*c + 62, -3*k + 4*k - 14 = -c. Let d be n/c + (-6)/15. Is 1 greater than d?
True
Let r = 33 + -41. Let n be (-3)/(((-26)/(-2))/(r/(-6))). Which is bigger: 0.1 or n?
0.1
Let c = -79 - -103. Is 0.02 >= c?
False
Let z = -158 - -157. Is -282 smaller than z?
True
Let i = -388 - -440.6. Let g = i + -53. Is g less than 1/14?
True
Let z = -0.99 + -0.01. Which is smaller: -1/6 or z?
z
Let v(a) = -3*a**2 + 30*a + 34. Let y be v(11). Which is smaller: -3/310 or y?
-3/310
Let q(k) = k**2 + 6*k - 83. Let c be q(-12). Is c greater than -6?
False
Let o = 975 + -3669/4. Is 59 greater than or equal to o?
True
Suppose 2*g + 3 = -b + 4, 0 = -2*g - 5*b - 11. Suppose 0 = -w + g*c + 5 + 12, -40 = -5*w + c. Let n(x) = -x**3 + 8*x**2 - 6*x + 3. Let a be n(w). Is a != 10?
False
Let v = 0.096 + 0.204. Which is greater: v or -0.3?
v
Let y be (33/(-12))/(1/(-8)). Let u be y/33 - 1/(-3). Let p(o) = o**2 + 10*o + 1. Let v be p(-10). Is u less than v?
False
Let w(x) = -x - 9. Let m be w(-8). Let t be (m - 1)/((-3)/((-3)/5)). Let f = 0.9 + -1. Which is smaller: t or f?
t
Let k(p) be the first derivative of p**4/4 + 3*p**3 + p**2/2 + 10*p + 4. Let x be k(-9). Let u be (-45)/18 + -1*x. Is -4 less than u?
True
Let r(j) = 43*j**3 - 8*j**2 - 8*j - 1. Let s be r(-1). Is s smaller than -46?
False
Suppose -480 = -15*o - 33*o. Let i(t) = t**3 + t + 13. Let x be i(0). Which is smaller: o or x?
o
Let n(g) = 6*g - 2. Let d(o) = o**2 - 7*o - 13. Let b be d(8). Let r be n(b). Do r and -29 have different values?
True
Let y = -49 + 38. Suppose 12 = 3*i, 5*s + 2*i = 9*s + 40. Is s != y?
True
Let y(c) = -6*c - 34. Let j be y(-7). Let i(n) = n**3 - 8*n**2 + n - 5. Let a be i(j). Suppose -k + 4*h = -15, -2*h = -5*k - 4*h + 9. Is k not equal to a?
False
Let x be 274/440 + 2 + 39/(-15). Which is smaller: x or 1?
x
Suppose -40 = -5*f + 3*p + 9, f - 2*p - 14 = 0. Suppose 2*i - 2 = f. Suppose -i*q = -0*q. Is q smaller than -1/11?
False
Suppose 8 = -5*o - 6*i + 3*i, -1 = 5*o - 4*i. Let x = -8395/34314 - 2/133. Let q = x + 4/43. Which is smaller: o or q?
o
Let b = -101/3 + 1007/30. Which is smaller: 1 or b?
b
Suppose 4*x + 5*b = -252, 0 = 5*x + 2*b + 102 + 196. Let o = 10812 + -10869. Are x and o non-equal?
True
Let q(x) = 38*x - 4. Let r be q(3). Let c = 110 - r. Let y = 17/6 - 59/18. Which is bigger: c or y?
c
Let p(r) = 4*r - 1 - 8 - r. Let i be p(8). Suppose -2*a - 4 = g, -5*a + 0*g = 5*g + i. Are 3/7 and a unequal?
True
Let i = -241 - -4821/20. Let g(x) = x**3 - 2*x**2 - 9*x + 3. Let c be g(4). Is c at most i?
True
Suppose -7*t = -10*t + 6. Suppose -8 = 4*i, -2*f - t*f - 86 = -i. Is -23 <= f?
True
Let s = -1540/9 - -6169/36. Do 0.56 and s have the same value?
False
Let d(c) = -c**3 + 5*c**2 - 5*c + 16. Let u be d(5). Is -59/7 <= u?
False
Let q = 481/3 - 162. Let n = -0.0027 - -0.0027. Is n >= q?
True
Let f(d) = 5*d - 7. Let n be f(-21). Which is smaller: -113 or n?
-113
Suppose -c = -0*c + 7. Let f(l) = -10 - 9*l**2 + l**3 - 3 - 8*l + 0 - 8. Let m be f(10). Is c at most as big as m?
True
Suppose 0 = -461*h + 480*h. Is h not equal to -8?
True
Let b(c) be the third derivative of -c**4/12 + 14*c**3/3 - 8*c**2. Let p be b(12). Let g be 8/(-20) + 34/10. Which is smaller: p or g?
g
Let f = -2.073 - 0.027. Let d = -1.1 - f. Let k = 0.51 - -8.49. Which is smaller: k or d?
d
Let h(k) be the first derivative of -k**3/3 + 5*k**2 + 11*k + 4. Let d be h(11). Let g(y) = y**3 - 9*y**2 + 9*y - 8. Let c be g(8). Is d less than c?
False
Let y be 3 - 4 - 3/((-12)/(-476)). Is y > -241/2?
True
Let p = -2224 - -2318. Which is greater: p or 109?
109
Let a = -792 - -631. Is a at most -162?
False
Let i = 21 - 9. Let f be 1/i + 2/6. Is f less than or equal to -1?
False
Let g = -5 + 3. Let l = -2 - g. Is l at most 1/91?
True
Let s(a) = -4 - 3*a - 6*a**2 + a**3 + 4*a + 5*a**3 - 5*a**3. Let r be s(6). Let z be 3 - 7*r/6. Which is greater: -2/7 or z?
z
Let f(o) = -45*o - 7*o**2 - o**3 + 45*o - 6. Let k be f(-7). Let x be (3/(-138))/((-3)/k). Is -1 smaller than x?
True
Suppose -p + 8 - 2 = 0. Suppose 0 = 6*y - 38 - 4. Are p and y unequal?
True
Let p(o) = -19*o + 2. Let l(i) = -13*i + 1. Let n(w) = 7*l(w) - 5*p(w). Let h be n(1). Is 2/17 at most as big as h?
True
Let f be (-3)/(-11)*-1*2/(-81). Is f equal to 0?
False
Let w = 543 - 545. Which is greater: -40 or w?
w
Suppose 2*x + 0*t + 3*t + 2 = 0, 3 = -3*x + 3*t. Let o be 10 - 12 - ((-17)/15 - 1). Which is smaller: x or o?
x
Let k be -5 + 345/40 + (0 - 1). Let b = 40 - 37. Which is bigger: k or b?
b
Let w(d) be the second derivative of 7*d**4/12 - 4*d**3/3 + 3*d**2/2 - 6*d. Let v be w(3). Let y be (1/4)/((-28)/v). Is y greater than 0?
False
Let z be 22/33 - (-4)/(-18). Are 0.11 and z nonequal?
True
Suppose 4*i - c = -2, 2*c - 2 = -3*i + 2. Suppose 70 = g + 3*g + 2*n, -5*g - 3*n = -87. Let a = 596/33 - g. Which is smaller: i or a?
i
Let k be (((-27)/12)/(-3))/(9/708). Does k = 418/7?
False
Let a be 0 - (1 + -1) - 18. Let b = a - -20. Let h be (12/b)/(52/65). Is h < 8?
True
Let y be (-4)/25*135/(-54). Is y less than or equal to 0.9?
True
Suppose 3*y = -0*y + 18. Let k(w) = w + 8. Let s be k(-7). Let f be (-3)/y*(7 - s). Is -1/3 equal to f?
False
Let h be (-9 - -7)*-338*(-1)/(-4). Is 168 greater than or equal to h?
False
Suppose -m + 30 = -7*m. Let o be (68/(-10))/(15/(-125)*m). Which is smaller: -10 or o?
o
Let d = 337 - 167. Let n = d - 169.8. Do n and -14 have different values?
True
Suppose 0 = 3*k + 4*z - 6*z - 9, -4*k + 10 = -2*z. Is k bigger than -1/274?
True
Let s(w) = -w**3 - 5*w**2 + 2*w - 25. Suppose -24 = -9*p + 13*p. Let f be s(p). Is f at most 1/11?
True
Suppose -5*b = -4*k + 62, -3*b - 3*k = -0*b + 48. Is b greater than -9?
False
Let n = -8303/24 - -346. Suppose 6*j - 3*j + 42 = 3*d, 0 = j - 2*d + 19. Let s be 3/j*-3*-1. Is s less than or equal to n?
True
Let s be (-4)/5 - (-2)/(40/(-4)). Let l be (-2 - s - 35) + (8 - 9). Is -35 smaller than l?
False
Let l be 0 + ((-4)/(-4))/2. Which is greater: l or -5/11?
l
Let b be (-3)/7 + (-4)/7. Let n be ((-93)/(-3) + 2)/b. Let w = 27 + n. Is -13/2 at most w?
True
Suppose -10*f - 14*f - 48 = 0. Which is smaller: -50/19 or f?
-50/19
Let j be (-1*(-30)/4)/((-3)/44). Is j >= -108?
False
Let t = 200 + -207. Which is smaller: -21 or t?
-21
Let p be ((-324)/111)/(-4) - (13 + -10). Which is greater: p or -3?
p
Let w = 287 + -287. Which is smaller: -2/39 or w?
-2/39
Let c be 8 - -3*(-6)/9. Suppose 3*y + 30 = c*y. Let d = 9 - y. Is d less than -3?
False
Let b(w) = w**2 + 8*w. Let r be b(-6). Suppose -3*x + 17 = g, -2*g = -7*x + 9*x - 10. Is r bigger than g?
False
Let m(v) = v**3 - 6*v**2 + 6*v - 10. Let q be m(6). Let g = 36 - q. Let r be (-15)/25 - (-12)/g. Which is greater: r or 2?
2
Let a be 5/4 - (-5)/(-20). Suppose 9 = 8*j + a. Let u be (1/(-2))/(3/(-36)). Is u != j?
True
Let c be (-1 - -1)/(2 - 0). Let f be (-452)/5*(-2)/8. Let n = 4402/195 - f. Which is smaller: c or n?
n
Let f = 43.3 - 8.3. Let d = f + -25. Let a = -10 + d. Is a != -0.3?
True
Suppose 6 - 18 = u + 2*q, 0 = -4*u + 2*q + 2. Let l = -59/33 - 6/11. Which is greater: u or l?
u
Suppose 0 = -q + 5*o + 29, 35 = 3*q + 2*q - 3*o. Suppose 6 = 2*p, q*p - 69 + 17 = 5*a. Suppose 0 = 2*l - 233 + 245. Which is bigger: l or a?
l
Let y(p) = p**2 - p - 2. Let g be y(-1). Suppose -3*h - h = -l - 18, g = 5*h - 3*l - 19. Which is smaller: 4 or h?
4
Let y = 390 - 519. Does y = -129?
True
Suppose 7*o = 4*o - 12, -5*d + 4*o = 4. Let v(k) = k**2 + 7*k - 4. Let n be v(-8). Let l be 0 + -2 - 6/n. Is l equal to d?
False
Suppose 53 = -3*c - y, -3*y + 107 = -0*c - 5*c. Let k = 16 + c. Which is greater: k or -6?
k
Let h = -9/28 + 55/84. Is h >= -52?
True
Let k(o) = 6*o**2 - 6*o + 