 -394. Are k and 5 equal?
False
Let n(k) = k**2 + 8*k + 7. Let l be n(-6). Let j = 6 + l. Let c be 1 + (-14)/6 - -1. Which is smaller: c or j?
c
Let j be 2/(-2) + 5 - (-8)/(-4). Is 4.3 smaller than j?
False
Suppose -4*q + 3*s + 55 = 0, 3*q - s - 28 = 12. Suppose -16*r = -q*r - 12. Let c be 3 + -1 - (-24)/r. Is 9 <= c?
False
Let g = 0.01088 + 5.98912. Let f = 1.9 + -2. Is g greater than or equal to f?
True
Let l = -28.3 - -2.3. Let q = -6 + 6. Is l greater than q?
False
Let g = -339 - -341. Which is smaller: g or -3.2?
-3.2
Let c be (-6)/2 + 121/11. Suppose 8*g - 4*g + c = 0. Let d be 2/(0 - 2) + -2. Which is bigger: g or d?
g
Let p = 3 - -9. Is -3 at most as big as p?
True
Let i(r) be the first derivative of r**4/4 - 2*r**3 - 8*r - 7. Let u be i(6). Which is bigger: -7 or u?
-7
Suppose 0 = -c + 26 - 30. Let g(t) = t**3 + 4*t**2 - 4*t - 6. Let r be g(c). Let l = -20 + 30. Do l and r have the same value?
True
Let g(y) = y**3 - 5*y**2 + y + 4. Let h be g(4). Let p be 2/h*-4 + -2. Let c = 2.02 + -2. Which is smaller: c or p?
p
Suppose 0 = 224*i - 231*i - 868. Is -129 greater than i?
False
Let g(r) = -r**3 - 5*r**2 + 13*r + 34. Let l be g(-6). Let z be ((-58)/6 - -7)*(-2)/l. Do -1 and z have the same value?
False
Let g be (-162)/180 + 0 + (-3)/(-4). Let u = 9 + -6. Suppose -d + 12 = 2*d + u*i, 3*i = 12. Is g at least d?
False
Suppose -10 = -4*c - 2*n, 5*c - 14 = -n - n. Suppose c*z + g = 3 - 6, 5*g - 9 = 4*z. Which is smaller: z or -2/55?
z
Let v(a) = -4 + 2*a + 5 + 14. Let u be v(-9). Is u > -2?
False
Let t = 30/14129 + -75887519/310838. Let r = t + 244. Is 0 >= r?
True
Let l = -209 - -368. Is 155 smaller than l?
True
Let a = 9/68 - -2/17. Let c = -29.2 + 21. Let f = c - -1.2. Which is greater: f or a?
a
Let b = 8 + -72. Let d = b - -63. Is d > -3/11?
False
Let h = 40 + 8. Is 49 greater than h?
True
Suppose 0 = l + 1. Let b be (1*-2 + 45/27)*0. Suppose o - 4*k - 7 - 4 = b, -12 = 4*k. Is l at least as big as o?
True
Suppose -1217 = -3*z - 1097. Is z not equal to 38?
True
Suppose -1 = 3*i - 2*i. Suppose 2 = 2*s - 4. Let d be (s - 2)*(-8)/(-28). Which is smaller: i or d?
i
Let f be 2/1*(-1)/149. Let a be -14 - -5 - 140/(-14). Is f greater than or equal to a?
False
Suppose 2*w = 4*p + 13 - 1, 0 = -5*w + 5*p + 30. Suppose -10*s - w = -7*s. Let r = -3 + 2. Which is smaller: s or r?
s
Let q be ((-1)/(-9))/(4/8). Let o = -248 - -251. Which is smaller: o or q?
q
Let i be (-79)/(77/45 - 2). Suppose 0 = -2*c + 368 + 178. Let x = c - i. Is 0 greater than or equal to x?
True
Suppose -l + 2 = 4*c, 5*c + 7 = -4*l - 29. Let m(p) = p**3 + 15*p**2 + 16*p + 11. Let r be m(l). Does r = -35/2?
False
Let n be (-30)/(-8)*(-15)/((-180)/916). Is n equal to 285?
False
Suppose -4*q + 1300 = 17*b - 13*b, 5*q = -4*b + 1623. Which is smaller: 325 or q?
q
Let w(x) = x - 1. Let v be w(1). Let o be (v + (3 - 3))*-1. Is o greater than 0?
False
Suppose -1595 = -5*g - 5*h, -g - 27*h = -31*h - 329. Which is smaller: g or 320?
320
Suppose 0 = -o, -o = 5*q - 2*q - 15. Suppose q*l - 176 = 29. Is 40 <= l?
True
Suppose -4*b = -16, -11 = y - 3*b - 1. Let l = y - -7. Suppose l*n + 4 = 7*n. Do -4/3 and n have different values?
True
Let s = -53.24 + -4.46. Let o = -58 - s. Which is bigger: o or 4?
4
Suppose -22 = 39*o - 40*o. Are 20 and o equal?
False
Let c(j) = -5*j**3 - 8*j**2 + 5*j + 18. Let n(b) = -9*b**3 - 17*b**2 + 9*b + 35. Let k(a) = -11*c(a) + 6*n(a). Let f be k(14). Which is greater: 4 or f?
4
Let s(r) = 14*r - 9*r - 6*r + 19. Let h be s(13). Suppose -50 = -5*t + 5*n, -6*t - 5*n - 5 = -2*t. Is t less than or equal to h?
True
Suppose 6 = -7*b - 1. Is 4/33 at least as big as b?
True
Suppose 3*p = 5*n + 747, -4 = 4*n + 8. Let q be 6/21 - p/364. Is q <= -1?
False
Suppose l - 71 = 4*j, -l + 2*j + 79 = 10. Let f = l - -169. Let u = 1655/7 - f. Which is smaller: u or 0?
0
Let q(c) = -c**2 - 26*c - 22. Let s be q(-25). Suppose s + 2 = -2*v - k, 2*v - 4*k - 20 = 0. Which is greater: v or 4/97?
4/97
Let g be 5/((-5)/(-26)) - 1. Let y = g - 20. Which is smaller: 9 or y?
y
Suppose -10*t + 6*t + 4*f = 3092, -5*t = 2*f + 3879. Is -775 at least t?
True
Let n = -374 - -365. Are n and -8 equal?
False
Let u = 16473/7 - 2353. Which is smaller: u or 339?
u
Suppose -3*y - 2*b = -17 + 4, 3 = y + b. Which is smaller: y or 6?
6
Let f = -2564/1025 + 96/41. Which is smaller: -1 or f?
-1
Let p be (1/5)/(-1 - -1 - 1). Which is smaller: p or 116?
p
Let p = 2570 - 2486. Is 2/3 at least as big as p?
False
Let j be ((-2)/(-3)*-3)/1. Let g(h) = -2*h + 2 + 4*h + 1 + 0*h. Let o be g(j). Which is smaller: -5/7 or o?
o
Let y(q) be the second derivative of q**4/12 + q**3/6 + q. Let m be y(0). Let w be (-35)/(-20)*2/196*12. Which is smaller: w or m?
m
Let n be (-320)/22 + 14 - (-152)/198. Which is greater: n or 17?
17
Let w = 166 + -91. Let y = 74 - w. Does y = 3/23?
False
Suppose 23*d = 33*d - 50. Is d != 16/3?
True
Let j(v) = v**2 + 4*v - 7. Let c be j(-6). Suppose 220*h - 225*h = -35. Let m = h - c. Are 1 and m nonequal?
True
Let t(h) = -6 + 17 + 4*h + 2*h**2 + 13*h. Let y be t(-8). Suppose y*g = -6, 0 = 8*z - 3*z + g + 2. Do -9 and z have different values?
True
Let p = -8496 + -4460. Let a = p - -89665/7. Let u = a - -147. Is 1/9 greater than u?
False
Let y = -1.55 - -0.05. Let s = 2.3 - 1. Let j = y + s. Are j and -2 non-equal?
True
Let s = 150 + -157. Let a(u) = 7*u + 48. Let v be a(s). Suppose -4*z = -z. Is z at most as big as v?
False
Let n(x) = -12*x - 70. Let i be n(-7). Let h be 46*(5/2 + -2). Let l = h - i. Is l not equal to -2/5?
True
Let y(u) = 6*u + 2. Let t be y(0). Let m be -80 + t + 4 + -11. Which is smaller: -84 or m?
m
Let y = 0.2925 - 116.2925. Which is smaller: -2 or y?
y
Let i be 6 + 92/15 + -11 + 5. Are i and 5 nonequal?
True
Suppose -5*b - 3469 + 74 = 0. Are b and -678 equal?
False
Let p = 1881/4 + -833291/1772. Is 1 >= p?
True
Let y be 4/2 + 5/((-5)/4). Let f be (-7)/y*4/(-28). Is f >= 10/9?
False
Let g be ((-35)/(-21))/((-4)/((-48)/5)). Which is smaller: g or -2?
-2
Let w be (-5)/((-1000)/16) - 396/(-50). Which is bigger: 188/25 or w?
w
Suppose 7*m - 4*m - y = 8, -2*m - 5*y = -28. Suppose -5*f = -a + 10 + m, 5*f - 6 = -4*a. Suppose -n = a, 0*d - 2*d + 2 = -4*n. Which is greater: -3 or d?
-3
Let v = 44291/42 - 1055. Which is greater: -1 or v?
v
Let w be (6/9)/((-2)/69). Are w and -111/5 nonequal?
True
Suppose 2*p + 5 = 3*a + 1, 2*a + 3*p - 20 = 0. Suppose 3 = -a*b + b. Which is smaller: b or -2/23?
b
Let h(m) = -2*m**2 - 60*m + 354. Let g be h(-35). Let j = -78/7 - 299/14. Let d = 33 + j. Is d greater than g?
False
Let b = 0.01 + 37.99. Let r = b + -37. Are r and -8 non-equal?
True
Let b(f) = f**2 + 9*f + 10. Let k be b(-7). Let n = -38 - -44. Suppose -z - z + 3 = -c, c = -z - n. Which is smaller: k or c?
c
Let t = 797 + -797. Is -0.1135 >= t?
False
Let x = -23 - -60. Suppose p - 1 = 1, -3*y = 5*p - x. Let v = y + -8. Is 3/8 >= v?
False
Suppose -9*p + 729 = -0*p. Suppose -5*r - p = -3*k - 9, 5*r + 79 = -4*k. Are r and -47/3 non-equal?
True
Let z be 12 + 0 + -16 + 33*17. Is 557 at most z?
True
Let x = 57 - 22. Let u = -35 + x. Which is smaller: u or -1/14?
-1/14
Suppose -4*s = -s - 12. Suppose s*b = 4*o + 24, -7*o + 3*o - 4*b - 40 = 0. Which is smaller: o or -7?
o
Let g = -237 + 261. Let l = 0 - -3. Suppose 2*u + u + l*q = 84, -u + 4*q = -13. Is u bigger than g?
True
Let a = -335 - -323. Which is bigger: a or 0.03?
0.03
Suppose 0 = 9*x + 2566 + 3950. Which is smaller: -723 or x?
x
Let d be (48/36)/((-4)/18). Let b(h) = h**3 + 6*h**2 - 4*h - 16. Let l be b(d). Which is bigger: 7 or l?
l
Let a(w) = w**2 - 24*w - 212. Let n be a(31). Is 12 at most as big as n?
False
Suppose -112 = 5*g - 322. Let b be (g/28)/(2/(-24)). Which is smaller: -17 or b?
b
Let f = -397621/2480 + 5028/31. Let i = 1/80 + f. Is i smaller than -1?
False
Let c(w) = -11*w**2 + 35*w + 15. Let y(i) = 5*i**2 - 17*i - 8. Let l(q) = -4*c(q) - 9*y(q). Let m be l(14). Let a = -12.9 + 0.9. Is m not equal to a?
True
Suppose -5*b - 4*q = -18, -2*b + q - 4 = -3*b. Suppose r - b*r = -13. Let s = 13 - r. Is -2/7 greater than s?
False
Let v = 460 + -475. Which is bigger: 2/5 or v?
2/5
Suppose 3*j - 864 = -j. Suppose -j*u + 42 = -214*u. Which is greater: 24 or u?
24
Let p = -39.2 + 38. Let s = p - -1.3. Is -17 greater than s?
False
Let r = 