 + t. Let b be 18/5 - 16/m. Suppose 0*k + b*k - 4 = 0. Is 2 greater than or equal to k?
True
Let t(g) = g**2 - 14*g - 55. Let r be t(-5). Is 41 greater than or equal to r?
True
Let t be (-5 - -1)/(-3 + 4). Let q be ((-2)/t)/((-1)/(-10)). Suppose 75 = -q*n + 6*a - a, -a - 5 = n. Is n less than -10?
False
Let y be 13/(-3) - 44/66. Let u be 11/y + 5*(-3)/(-15). Let m be 0/((-6)/(-9)*-3). Which is smaller: m or u?
u
Let c = 8 + -8.08. Let v = -0.18 - c. Let b = -15 + 20. Which is smaller: b or v?
v
Suppose 0 = 37*k - 27*k - 6860. Which is bigger: k or 688?
688
Let n be 10/136*36/30. Which is greater: n or -2/5?
n
Let b = 41 - 71. Let m be (-20)/b*(-18)/7. Let n = -190 - -188. Do n and m have the same value?
False
Let j be (-71)/(-510) + 63/(-630). Which is greater: j or 0?
j
Let u = 0 - 0.1. Let p = 12.1 + u. Let s = 12.1 - p. Is s at least as big as -5?
True
Let c(n) = -n**2 + 7*n. Let h be c(6). Let s be ((-27)/15)/(h/(-4)) - 0. Which is greater: 2 or s?
2
Let w = -76 - -126. Let b = w + -49.8. Which is smaller: 7 or b?
b
Let l = 101853/19 + -5362. Is -2 greater than l?
False
Let v be 1/(4 + 2 + 0). Let x = 119.8 + -117.8. Which is smaller: x or v?
v
Let q = 21 - 20. Let m be (30 - 14) + (2 - q). Suppose -2*g - m = -3*g. Which is smaller: g or 18?
g
Let z(x) = x**2 + 31*x - 28. Let n be z(-32). Let f be (3/(-27))/(2/(-69)). Is f greater than n?
False
Let g be (-4)/5 + (-2176)/(-9920). Which is greater: g or 2/9?
2/9
Let f(u) be the first derivative of -u**4/4 - 3*u**3 + 5*u**2 - 5*u + 1. Let w be f(-10). Let m = 101 - 105. Which is greater: w or m?
m
Let t = 1 - -3. Suppose 0 = a + 3*w - 15, -4*a = -2*w - t. Suppose 8 = 5*k - a*i - 1, -5*k + 15 = -5*i. Which is smaller: 1 or k?
k
Let p(i) = -6*i. Let w(k) = 3*k - 14. Let m be w(6). Let j be p(m). Let g be j/(-32)*16/162. Do g and 0 have different values?
True
Suppose -5*f = -3*f - 16. Suppose -4*h + o = -o + 8, -2*h - f = -2*o. Suppose 2*j + j - 27 = h. Which is smaller: j or 8?
8
Let d = -424 - -495.84. Let p = d - 72. Is p >= 0?
False
Let y = -10 - -3. Let g = 11/2 + y. Let q = -549/2 - -275. Which is smaller: g or q?
g
Suppose -10 = r + 11. Let h be (-2)/5 + r/35 + 1. Which is bigger: h or -39?
h
Suppose -h + 4*y - 6*y = 8, -h + 2*y + 8 = 0. Let n = 12 + -10. Let u be ((-1)/n)/(9/18). Is h greater than or equal to u?
True
Let s be (-1)/(-7 + 18/60). Is s greater than 0?
True
Suppose -35 = -0*t - 35*t. Which is bigger: -2/253 or t?
t
Let i = -0.25 - -0.353. Let v = i - 10.203. Let o = -10 - v. Is o at most 5?
True
Suppose -57*l + 31*l - 1456 = 0. Is l less than or equal to -57?
False
Suppose 0 = 2*q + 6. Let y be ((-52)/(-39))/(2/q). Which is greater: -0.2 or y?
-0.2
Let x = -75 + 18. Let d = 33 + x. Which is smaller: -25 or d?
-25
Let y = 65 - 104. Let r = 17 + y. Let g = r + 20. Which is smaller: -6 or g?
-6
Let k = 1.206 + -1.206. Which is greater: k or 0.58?
0.58
Suppose 3*s - 5 - 22 = 0. Suppose -5*o - 28 = -j, 2*j + 2*o = -o - s. Suppose 0 = -5*c - 0*u - u + 6, c + 3*u = -10. Are c and j equal?
False
Suppose 5*d = 4*v - 2*v + 35, 3*v = -2*d + 33. Let o(j) = j - 15. Let a be o(12). Let g be 10*(-4)/12*a. Which is smaller: g or d?
d
Let f be (-1)/(-4) + 15/4. Suppose -f*w - n - 16 = 0, w + n = 4*w + 19. Let q(z) = z**3 - 15*z**2 + 23*z - 129. Let b be q(14). Is w greater than or equal to b?
False
Let w be (-177)/11 + 77/11. Is w not equal to -8?
True
Let y = 0.6 - 6.6. Suppose -80*v = -77*v. Which is smaller: y or v?
y
Let n = 25/14 - 3/2. Which is bigger: 76 or n?
76
Let w = 16 + -14. Suppose 4*n + 3*o + 2*o - 27 = 0, -w*n = 5*o - 21. Suppose -x = -4*z - z + 7, 4*z - 3*x - 10 = 0. Is z at most n?
True
Suppose -19*z - 4 = -15*z. Is 12/95 at most as big as z?
False
Suppose -z = -5 + 4. Suppose -5*f = 675 - 15. Let l be (-8)/(-6)*((-378)/f)/7. Is z at most as big as l?
False
Let u = -166 - -85. Which is smaller: -82 or u?
-82
Let m = -8 + 10. Let c(z) = -z**m - 5 - 5*z**2 + 5*z - z**3 - 4*z. Let j be c(-6). Is j at least -11?
True
Suppose -4*m = -2*j + 900 + 492, -4*j + 2754 = 2*m. Is j greater than or equal to 690?
True
Suppose -m + 11 = -3*h, 4*h + 4 = -4*m - 0*h. Suppose 14 = 9*d - m*d. Is d less than -6/5?
False
Suppose 4*m + 5*t = 96, 83 = 7*m - 2*m - 3*t. Which is greater: m or 6?
m
Let k = -0.04 + -2.96. Let v = -4.6 + 33.5. Let l = -29 + v. Is l bigger than k?
True
Let q = 411455/257 - 1601. Is q <= -8?
False
Suppose -3*h + 2*h = -2. Let y = 1 - -1. Suppose 0 = y*p - 4 - h. Is 3 less than p?
False
Let m(b) = b**2 - 4*b + 3. Suppose -z + 26 = 1. Suppose 5*o = z - 0. Let r be m(o). Which is smaller: 7 or r?
7
Let c = 32.027 + -0.027. Let g = c + -26. Which is greater: g or -2/7?
g
Suppose 0 = 3*x - 4*x - 4, -4*a + 268 = 4*x. Suppose 77*y - a*y = -126. Is -3 at most y?
False
Let v(k) = k**2 + 17*k + 21. Let o be v(-14). Let l = 16 + o. Are l and -4 nonequal?
True
Let u = 4.02 + -4. Let q = 0.38 + u. Let k be 14/(-12)*(-8)/42. Is k bigger than q?
False
Let m(w) = 13*w**2 + 19*w + 37. Let c(n) = -3*n**2 - 5*n - 9. Let t(x) = -9*c(x) - 2*m(x). Let z be t(-7). Does z = 8?
False
Let j = 173 - 172. Which is smaller: -208 or j?
-208
Let g = -4326/2759 - -50/31. Let k = 1931770 + -1203493038/623. Let b = g - k. Which is bigger: b or 0?
b
Let s be 6894/(-7620)*(-10)/12. Let i = 3642 - 925069/254. Let h = i + s. Are 0 and h unequal?
True
Let q be ((-8)/(-6))/(44/(-24) - -2). Let x(l) = -7*l + 71. Let b be x(q). Suppose -2*f - 15 = -45. Is f smaller than b?
False
Suppose -3 = 5*t + 87. Let y be (-38)/(-48) + (-6)/t. Let j = 18 - 16. Which is smaller: j or y?
y
Let b = -12 + -25. Which is bigger: -34 or b?
-34
Let m(p) = p**2 + 7*p - 12. Let x be m(-9). Suppose d + 40 = x*d. Let u be (d/84)/((-9)/(-42)). Which is smaller: u or 0?
0
Let c = -134.2 - -135.2. Which is bigger: -563 or c?
c
Suppose 0 = -5*l + p + 4 - 7, -2*l + 5*p = -8. Is l smaller than -10/41?
True
Let k = 854 - 456. Is k < 400?
True
Let a = -51 + 50. Are a and -0.053 nonequal?
True
Let i(l) = l + 3. Let f = 15 - 6. Suppose -9*n = -6*n + f. Let c be i(n). Which is smaller: c or 1/35?
c
Let d = -14.724 + 18.724. Let f = 2 + -1. Which is smaller: f or d?
f
Suppose -738*s + 736*s = -58. Is s < 32?
True
Let b = 921 - 920. Do b and -2/761 have different values?
True
Suppose 0 = 3*p - 0*c + 3*c, 0 = -5*p + c. Is p > -19/60?
True
Let t = -185 - -1865. Let c = -216719/129 + t. Is c less than -1?
False
Let v = -67 + 78. Let y be 3/(-1) + v + -8. Which is smaller: y or 3/8?
y
Suppose -78 = -4*x + 10. Let k = x + -37. Let t be 15/(-175) + 3/k. Is -8 != t?
True
Let o = 0 + 0.04. Let j = -0.9 - -2.9. Let d = -1 + j. Is o bigger than d?
False
Let u = -0.84 + -0.97. Which is bigger: u or 2?
2
Let n be (-170)/(-75) - 6/4. Let f be 0/2 - (-4)/(-15). Let w = n + f. Are 0.4 and w nonequal?
True
Suppose -1034 = -3*p + 2*n, -3*n + 365 + 649 = 3*p. Do 341 and p have the same value?
False
Let p = 2.43 - -0.37. Let d = p - -3.2. Which is greater: d or -1?
d
Let a = -1.544 + 1.813. Which is smaller: a or 0.3?
a
Suppose -3*q + 16 = -2. Suppose 0 = -q*f - 3 - 15. Is f greater than or equal to -3?
True
Suppose 26 = 4*z - 18. Let p be (-2 - -1)/(z/(-11)). Which is greater: 1/9 or p?
p
Let x be (138/207)/((-2)/72*-2). Let o = 25 - 11. Which is greater: o or x?
o
Let u = -137/25 + 5747/150. Which is smaller: 33 or u?
u
Let n = 228 + -169. Is n < 61?
True
Let h = -4.97 - 13.03. Which is smaller: -3/5 or h?
h
Let j = -0.205 + -1.97. Is -1 at most as big as j?
False
Suppose 3 = -2*u - 15. Let k be (6/u)/((-2)/15). Let l(g) = -g**2 - 15*g - 47. Let h be l(-10). Which is greater: k or h?
k
Suppose 27 - 34 = -7*b. Are b and -89 unequal?
True
Suppose 12*g - 9*g = 24. Let l(f) = f**2 - 7*f - 4. Let a be l(g). Which is smaller: 0.06 or a?
0.06
Let l be 1*2*(2 - -1). Let s be l/2 + 1 + -5. Let c = -5 - s. Is -1 equal to c?
False
Let k be ((-6)/8 + (-1425)/(-1980))*2. Suppose -4*s = 20, 0 = x + 4*x + 5*s + 20. Is x > k?
True
Let p = -7 + 67/10. Suppose -t + 0 = 2*c - 5, -2*c = -2*t + 40. Let h = t - 16. Which is bigger: p or h?
p
Let q = 5578609/71043 - 1649/21. Which is greater: q or -1?
q
Let q = -1.116 - -73.116. Is q >= -2?
True
Let z = 37 - 36. Let f = -17.01 + 0.01. Which is smaller: z or f?
f
Let u = -59 - -59.07. Are -5 and u unequal?
True
Let z = 52 + -48. Let m