 o be i/18*1/2. Let y be (-2)/7 + -1*(-4)/14. Is y equal to o?
False
Let d = -0.1 - 0.9. Let y = -100.1 + 91.79. Let o = y - 0.69. Do d and o have the same value?
False
Let b = -4 - -2. Let x(l) be the first derivative of -l**4/2 - 2*l**3/3 + 79. Let n be x(b). Is n smaller than 9?
True
Suppose 2*u = -2*u. Let i = 5627 + -838425/149. Is i < u?
True
Let r = -8 - -14. Suppose r*w - 7*w = 0. Suppose -4*b - 4*q = -w*q + 12, 0 = -b + 2*q - 12. Is -7 at most b?
True
Let y = 2547.2 - 2582. Is y greater than or equal to 2?
False
Suppose 10*h = -91 - 209. Let z be (2/10*-4)/(h/25). Which is smaller: 0 or z?
0
Let v = 538.6 + -616. Let k = 10.6 - v. Are -1 and k nonequal?
True
Let p = -56 - -79. Let i be -16*(2 + (-21)/6). Is i at least as big as p?
True
Let n be 64/(-10) - 8/(-20). Let k be (-8)/(-6)*n/4. Is k at least as big as 3?
False
Let j(k) be the second derivative of -k**4/12 + k**3/6 - k**2 - 5*k. Let x be j(3). Let o = 6 - 13. Which is greater: x or o?
o
Let f(i) = -i**2 + 12*i - 10. Let g be f(8). Let t = 34 - g. Is t < 1/3?
False
Let l be (8/(-10))/(4 - 5). Let x = 13/10 - l. Suppose 4*q - 3 = 5*f, 0*q + 2*q = -2*f + 6. Which is bigger: f or x?
f
Let g = 1.78 - 9.08. Let a = g - -7. Which is smaller: a or 2/3?
a
Let j be 13 + 214*6/(-100). Is -21 > j?
False
Suppose 0 = -4*u + 2*p - 73 + 31, 4*u = -p - 33. Is u smaller than -7?
True
Suppose -u = 3*l + 73, -u - 64 = 5*l + 55. Is -19 at least as big as l?
True
Let j(w) = 7*w + 50. Let l be j(-8). Let d = 7180 + -79040/11. Are l and d nonequal?
True
Suppose 0 = -5*f + 4*v - 9*v + 30, 0 = 2*f - 3*v - 12. Let z = -21 + 21. Suppose m + f*m = z. Is m at least as big as 0?
True
Let x(v) = v + 9. Let b be x(-7). Suppose g + b*n + 0*n + 3 = 0, g - 4*n - 3 = 0. Let d(t) = -t**2 + 7*t - 7. Let z be d(6). Is z at least as big as g?
True
Let f be (3/(-36))/(34/102). Is -0.03 less than f?
False
Let w(t) = 2*t**3 + 3*t**2 - t + 4. Let d be w(-3). Let r be (18/45)/((-2)/d). Suppose y + 9 = 2*y - 4*x, -12 = -4*y + r*x. Which is smaller: y or 1/11?
1/11
Let o(f) be the third derivative of -f**4/2 - 5*f**3/6 + 10*f**2. Let y be o(-2). Which is bigger: y or 17?
y
Let l(c) = c**3 + 2*c**2 + 3*c + 2. Let s be l(-1). Does 0.75 = s?
False
Let k be (5/(-105))/(2 + 28/(-15)). Is 1 at most k?
False
Let b = -2866 + 2789. Is -25 at most b?
False
Let a be (-39)/13 + -31 + 0. Which is greater: -1 or a?
-1
Let c(m) = -m**3 - 13*m**2 + 2*m + 13. Let b be c(-13). Let p = -40 - b. Does -1 = p?
False
Suppose 5*q - 2*n - 90 = -3*n, n - 56 = -3*q. Let p = 18 - q. Is -1/16 smaller than p?
True
Let k = 5.14 - -46.06. Let c = k + -51. Is c less than or equal to 5/2?
True
Let g(v) = 8*v**3 + 5*v**2 + 5*v + 1. Let f be g(-2). Let w be f/285 - 6/(-45). Which is bigger: 0 or w?
0
Let w = -806 - -749. Is w equal to -172/3?
False
Let n(p) = -16*p - 557. Let k be n(-33). Which is smaller: -35 or k?
-35
Let r = 12.588 - 12.66. Which is greater: -3/5 or r?
r
Let t(j) = 9*j - 13. Let y(z) = -4*z - z + 7 + z - z. Let l(d) = 6*t(d) + 11*y(d). Let x be l(-3). Which is smaller: 1 or x?
1
Suppose -59 = 2*v + 2*v - 5*z, 4*z = v + 12. Let t = 7 + v. Let y = -69 + 60. Is t >= y?
True
Let v(q) = q - 17. Let m be v(15). Let s be (m/4)/((-1)/2). Is 1/2 at most as big as s?
True
Suppose 3*a + 2*o + 2347 = 0, -3*a + o - 2*o - 2348 = 0. Let t = a - -45417/58. Is t less than or equal to 1?
True
Let z = 1776 - 7103/4. Is 2/33 smaller than z?
True
Let q(g) = -20*g - 11. Let v be q(-5). Suppose 3*l + f - 3*f + v = 0, -101 = 3*l + 4*f. Let u = -154/5 - l. Is u less than 1?
True
Suppose v + 768 = 9*v. Let y = 180 - v. Which is bigger: 83 or y?
y
Let j = 0.5 + -10.5. Let m = 10.1 + j. Let h = m - 0.11. Which is smaller: h or -1?
-1
Suppose 6 = -f - 1. Let j = 1589 + -1596. Is j smaller than f?
False
Let l = -2 - -2. Let c = 1 - l. Let m be (13/(-26))/(4 + (5 - 2)). Which is smaller: m or c?
m
Suppose 0 = -2*h + 7*h - 10. Suppose 0 = h*s - 5 + 1. Let b be s/(-4)*1*4. Is b bigger than -2?
False
Let i = 36 + -27. Let s = -8 + i. Let o = 0 - 3. Is s smaller than o?
False
Let g = 610 + -629. Is -17 less than or equal to g?
False
Let w(i) = -i**2 - 15*i - 7. Let o be w(-14). Let q be ((-32)/(-4) + 4)/(26/o). Is q smaller than 4?
True
Let i be 3*1*8/(-24). Which is smaller: -5/731 or i?
i
Suppose -3*t - 5*r = -5*t + 7, 2*r - 2 = 0. Let n be (2/6 - (-4)/t) + -3. Which is bigger: n or -1?
-1
Let x = -13.55 + 19.2. Let l = -6 + x. Let r = 0.15 + l. Do -4 and r have different values?
True
Suppose 27*p - 40*p - 1144 = 0. Is -88 less than p?
False
Let q(j) = 25*j**3 + 2. Let m be q(-2). Let k be (-2)/7 + m/42. Let t = k - -7. Is t > 0.1?
True
Let k = 0.1 + -0.2. Let j = -1 + 0.93. Let s = j + 0.08. Which is smaller: s or k?
k
Suppose 0*d + 46 = -m + d, 0 = m - 2*d + 48. Let k(a) = -10*a**2 - 4. Let c be k(2). Are c and m nonequal?
False
Let z(g) = g**2 + 6*g - 6. Let h be z(-9). Let p be (h/6 - 3)*2*-1. Do p and -1/3 have different values?
True
Let p = 529/3 + -174. Which is smaller: 2 or p?
2
Let y be 2 - 4*(-6)/(-8). Let c = 28/3055 - 6730417/27495. Let k = 245 + c. Which is smaller: k or y?
y
Let i = -251 + 271. Let x = 1 + 18.6. Let p = x - i. Which is bigger: -2 or p?
p
Let d = 238 - 238. Which is bigger: -4/75 or d?
d
Let m(p) = p**3 - 10*p**2 - 8*p - 15. Let a be m(11). Let b be a/(-4)*(-8)/12. Suppose 3*n = -d + 14, 0 = n - 4*d - 3 - 6. Which is smaller: n or b?
b
Suppose 8 = -4*a, -8 = -3*x + 5*x + 4*a. Suppose 3*y = -x*y - 45. Is y not equal to -15?
False
Let h(p) = -3*p - 9. Let k be h(3). Let g be k/42 - (-6)/14. Is 1/27 smaller than g?
False
Let w be ((-23)/(-2))/(9/12). Let b = 229 + -214. Which is bigger: b or w?
w
Let k(r) = -r**3 + 10*r**2 + r - 8. Let j be k(10). Suppose -5*d - 2*l = 18, -j*l + 2 + 4 = -d. Which is smaller: d or -3?
d
Let v = 92063/7220 - 2/1805. Which is bigger: 14 or v?
14
Let s = 116 - 78. Is 38 less than or equal to s?
True
Suppose 5*f + 5 = 5*v, 4*f - 4 = 2*v - 0. Suppose 0 = -0*g - f*g - 9, -5*b - 3*g = 4. Is b less than or equal to -1/19?
False
Suppose -5*p - 28 = -p - 4*a, 5*a = 25. Let y be p + 0 - (-243)/9. Does y = 51/2?
False
Suppose 0 = -0*y + 3*y. Let x be 15/2*(-18)/(-45). Suppose 4*k - 5*d + 15 + 14 = 0, 4*k - x*d + 19 = y. Does k = -1/15?
False
Suppose 9*p - 3*p = 60. Let d be (-12)/10 + p/50. Let s be (9/105)/((-4)/(-14)). Are d and s nonequal?
True
Let j = -26 - -49. Suppose 5*s + 12 = -j. Are -7 and s non-equal?
False
Let v = 2 + 1. Let u(z) = -z**3 + 3 + 5*z**3 - 7*z - 5*z**3 - 8*z**2 + 0*z**3. Let h be u(-7). Is v != h?
False
Let f be (6/5)/((-9)/(-60)). Suppose 0 = 26*u - 25*u - 3. Is f at most u?
False
Let c be (-969)/(-76) + (-3)/4. Let f(v) = -2*v + 26. Let w be f(c). Suppose -3*j - w*j = -120. Is 23 at least j?
False
Let c = 245/43 - 2089/344. Let s be -1*(2 + -2)/(-1). Which is greater: s or c?
s
Let x(a) = a**3 - 6*a**2 - 5*a - 7. Let v be x(7). Suppose 0 = -3*w - h + 24, -5*w = -v*h + 2*h - 40. Let m = 7 - w. Is m less than -2/17?
True
Suppose s = -2*s. Let t = -26 + 43. Let v = t - 16.96. Is s less than v?
True
Let k be 40/6*84/8. Is k != 68?
True
Let p be ((-21)/5)/(5/(-25)). Let o = 2581/120 + -47/40. Which is greater: o or p?
p
Let p(c) = -c**3 + 7*c**2 - c - 5. Let a(i) = -i**2 + 8*i + 11. Let m be a(9). Suppose f = m*f - 7. Let q be p(f). Is q at least -12?
True
Let d(m) be the third derivative of m**6/120 + m**5/15 - m**4/6 + m**3 + 7*m**2. Let s be d(-5). Suppose 2*i = s - 23. Is i != -11?
False
Let l be 4 + (-4 - (-4 - 4)). Let q = -6 + l. Is 6 bigger than q?
True
Let u be 6/9 + (-122)/21. Suppose 0 = 61*g - 28*g + 165. Is u greater than g?
False
Let h(d) = d**3 + 11*d**2 - 8*d + 8. Let q(m) = -m**3 - m**2 - m + 1. Let y(n) = -h(n) - 2*q(n). Let o be y(8). Suppose 0*a + 3*a = -o. Is a >= -2?
True
Let g = -3193/8 - -819/2. Is 10 greater than or equal to g?
False
Let z = -100.1 - -92. Which is bigger: -4 or z?
-4
Let g = 198257/67 + -2959. Is 0 at most g?
True
Let m be ((-3)/2 + -6)*(-158)/(-10). Which is smaller: m or -118?
m
Suppose -o + 9*o = 16. Let s be (o/4)/((-11)/(-110)). Is 3 greater than s?
False
Suppose -5*h = -0*a - a - 848, -3*a + 667 = 4*h. Let f = -3213/19 + h. Suppose 2*l + 10 = -2*w, -3*w + 17 = 4*l + 38. Is w at least f?
True
Let d be 3/8 + 10815/280. Which is greater: 33 or d?
d
Let