
False
Suppose 18 = 3*o + 3. Let v(z) = z**3 - 4*z**2 - 5*z + 2. Let k be v(o). Let b be (3/24)/(1/k). Is b less than -5?
False
Let a = 815/2728 + -69/248. Which is smaller: a or 1?
a
Suppose 0 = 6*m - 8*m + 4*b - 1826, -4*m - 3632 = -4*b. Is -903 at least as big as m?
True
Suppose -15 = -3*z, -5*g - z = -6*z - 27115. Let p = 37921/7 - g. Is -10 at least as big as p?
True
Let c = -20254357/10423 - -778/1489. Let i = c - -1938. Are i and -6 non-equal?
True
Let t(s) = -2*s - 1. Let z(j) = j + 1. Let b(o) = t(o) + 5*z(o). Let x be b(3). Let q = x + -13. Is q != -1?
True
Let b = 12 + -33. Let z = b + 14. Let d = -5.1 - -5. Are z and d nonequal?
True
Let y be (-2)/(-6) - 145/(-15). Suppose 5*d = m - y, 5*m - 3*d - 8 + 2 = 0. Is 2/71 greater than m?
True
Let o = -24 + 22. Let l = 8 - -24. Which is greater: l or o?
l
Let i = -633/155 + 15/31. Which is smaller: -5 or i?
-5
Let q be (-26)/(-14) + (-11)/(-77). Do q and 15/7 have different values?
True
Let d(l) = -5*l**2 - 4*l - 39. Let t be d(-5). Which is greater: t or -142?
-142
Let a = 0.08 - 0.078. Let i = -0.002 + a. Which is greater: -2/11 or i?
i
Let g = 1.7 - -0.3. Let i = -652384/79 + 8258. Is g bigger than i?
True
Let w = -123.1 + 123. Which is smaller: -4/71 or w?
w
Let r(o) = -6*o - 1. Let c be r(-3). Let t be 3236/(-184) - 8/(-92). Let p = t + c. Is p greater than -2?
True
Let g = -35/3 + 239/21. Let i = 0.505 + 9.255. Let m = 0.24 + i. Are m and g equal?
False
Let j = 125 + -223. Let w = 98.69 + j. Let p = 0.11 + w. Do 0.1 and p have the same value?
False
Suppose 4 = -u - 3*u. Let x be 64/(-13)*(-708)/16. Let z = x + -218. Which is greater: z or u?
z
Suppose -7*z = 13 - 6. Do -2/69 and z have the same value?
False
Let s(j) = -2*j + 13. Let z be (-2)/(2 - (-96)/(-44)). Let q be s(z). Which is smaller: -26/3 or q?
q
Let m(j) = -j**3 + 13*j**2 + 34*j - 80. Let x be m(15). Is -20 != x?
False
Let g = 5225 - 6066226/1161. Do 1 and g have the same value?
False
Let a(o) = 6*o**3 - 2*o**2 - 5*o - 4. Let y be a(-2). Which is smaller: -39 or y?
y
Let g(f) = f**3 - 5*f**2 - 5*f - 6. Let m be g(6). Suppose m = b + 2*b. Is 1/12 > b?
True
Let r = 1787 + -1850. Is r <= -60?
True
Suppose 1564*j - 1556*j - 72 = 0. Suppose 3*c + 3*i = 5*c - 19, -2*i + 46 = 4*c. Is c smaller than j?
False
Let x = 10 - 7. Suppose -3 = q, 3*a = 7*a + x*q + 37. Which is smaller: a or -6?
a
Let n(q) = q**2 + 6*q - 9. Let r be n(-7). Suppose 0 = -h + 10 - 0. Suppose 3*b + 0*u + u + h = 0, -2*u - 10 = b. Is r greater than or equal to b?
True
Let d(h) = h**2 + 6*h. Let q be d(-6). Let j(y) = y**3 + 12*y**2 - 24*y - 145. Let o be j(-13). Is o greater than or equal to q?
False
Suppose -3*y - 3*i + 12 = 0, 3*y + i + 8 = 5*y. Let a be 36/8 + (-1)/2. Suppose -3*t - 5*q = 22, -9 = a*q + 11. Which is bigger: t or y?
y
Let i = -2 + -20. Let c = -12 - i. Let a be (c/(-25))/((-21)/(-15)). Is 0 greater than or equal to a?
True
Let f = 2574 - 30889/12. Suppose 2*i - 4*i - 4 = -2*t, 0 = -4*i + 8. Let z = t + -3. Which is bigger: z or f?
z
Let w = -17048/3 + 5806. Is w greater than 124?
False
Let k = -1407 + 153357/109. Is k smaller than -1?
False
Let q = -603/11 + 55. Suppose -24 = b - 4*b + 3*z, -3*b - 2*z + 19 = 0. Let k be b/9 - (-10)/45. Is k equal to q?
False
Let q(z) = -z**3 - 6*z**2 + z + 8. Let n be q(-4). Is n not equal to -2?
True
Let f be -2 - (-4 + (4 - 2)). Let m be 4/(f + -4)*(-2 + 2). Which is smaller: -1/31 or m?
-1/31
Let l = -19.81 - 0.19. Let s = 23 + l. Which is bigger: -2 or s?
s
Let z = 9.93 - -0.07. Let j = 0.28 - -5.72. Let g = z - j. Is 2/3 greater than g?
False
Let z(a) = -a**2 + 2*a + 6. Let y be z(-4). Let w = y + -53. Let j be (-6)/21 - w/28. Which is bigger: j or 3?
3
Let i(f) = -f**2 + 3*f + 4. Let m be i(-1). Let u be m/((-9)/((-36)/(-8))). Is u at most -78?
False
Let l = -170 + 184. Is 14 equal to l?
True
Let l(i) = -7*i + 9*i - 4 - 7*i + i**2. Let m be l(6). Suppose -2 = -m*f + 4. Is f less than or equal to 2?
False
Suppose 51*o - 55*o = -136. Which is smaller: 36 or o?
o
Let h = -37 - -42. Suppose 0*m + h*f + 10 = -m, 0 = -f - 2. Which is smaller: -1/3 or m?
-1/3
Let i = 1.4 + 6.6. Let v = i - 8. Suppose -2*a + 12 + 0 = 0. Is v < a?
True
Let m = 2/2103 - 4364/166137. Let t(s) = -s**3 - s**2 + 4. Let f(v) = -v**3 - v**2. Let a(r) = 2*f(r) - t(r). Let h be a(-2). Which is bigger: m or h?
h
Let v be (-2)/1 - (-100)/45. Let z = -24.1 + 24. Is z less than v?
True
Let p = -239 + 190. Which is smaller: 0.05 or p?
p
Let a(g) = 8 + g**2 + 4 + 8*g - 5. Let b = -14 + 7. Let r be a(b). Do r and 0.3 have the same value?
False
Let a = 1026/7 - 4069/28. Let g = 0.3 - 0.6. Which is bigger: g or a?
a
Let h = 38.6 + -38.8. Which is smaller: h or 40?
h
Let z be ((-2)/(-4))/(-1)*(-11)/(-11). Which is smaller: 1/119 or z?
z
Let d = 8/277 + -309/1108. Is 1013 smaller than d?
False
Suppose 0 = 4*q - 6 - 10. Let b(x) = x**2 - 6*x + 5. Let v be b(q). Let p(m) = 3*m**2 + 16*m + 11. Let w be p(-4). Is w less than or equal to v?
True
Let m = 39.618 + -39.4. Do m and 2 have the same value?
False
Let s(r) = -r**3 + 3*r**2 + 7*r - 9. Let l be s(4). Suppose -2*y = l*y - 4*j - 1, -5*y - 35 = 5*j. Is y at least as big as -6?
True
Let a(r) = r**2 + 13*r - 42. Suppose 0 = x + 8 + 9. Let p be a(x). Are 24 and p unequal?
True
Let q = -4 - -3.6. Let m = -14.4 + 16. Let p = q - m. Is p < 3?
True
Let f(i) = -145*i - 434. Let j be f(-3). Which is greater: j or -7/81?
j
Let s = -0.329 + 0.279. Are s and -6 nonequal?
True
Let t = 113 - 111.1. Is t less than 1/4?
False
Let a(j) = 15*j + 30. Let z be a(-2). Suppose -4*n = t + 7, -t - 1 = -4*n - 18. Suppose z*f - 5*u = 2*f - 13, 4*f - t = -3*u. Is -1 less than or equal to f?
True
Let z(x) = -x. Let c be z(-5). Suppose c = -t - 4. Suppose 3*r - 80 = -83. Which is smaller: t or r?
t
Let d = 293 + -293. Let h be 2/(-7) - (-180)/(-595). Are h and d equal?
False
Let u(z) = -z + 66. Let q be u(17). Is 49 not equal to q?
False
Let u be 4/(-26) + (-5 - (-335)/65). Which is bigger: u or 1/477?
1/477
Suppose -3*q - 4*v = -5 - 1, -v = 0. Suppose -q*i = 2*r - 6*r - 8, 2*r + 4 = -5*i. Let t = 2/269 + -1102/3497. Is i greater than t?
True
Let y(b) = b**2 - 5*b - 16. Let p be y(-13). Let x = 217 - p. Let s be ((-4)/(-174))/(2/6). Which is smaller: s or x?
x
Let l(p) = p**3 + 10*p**2 - 20*p - 10. Let c be l(-13). Let i = c + 7449/29. Which is greater: -1 or i?
i
Suppose -g + 5*g + 3*m = 1, g = 5*m + 6. Let f = -6 + 2.8. Let w = 1.2 + f. Do g and w have the same value?
False
Suppose -5221 - 891 = 16*g. Is g greater than or equal to -2/3?
False
Let w = -6/11 - -32/99. Let o = 9 + -18. Let c(l) = l**2 + 9*l + 1. Let z be c(o). Is z equal to w?
False
Let m(w) = 23*w**2 - 20*w - 2. Let s be m(3). Let u = s + -144. Let z = 17 + -17.17. Is z not equal to u?
True
Let k be ((-3)/(-2))/((-2)/(-8)). Let b = 487 + -485. Which is smaller: b or k?
b
Let m = -227 - -228. Which is bigger: m or -0.08?
m
Let g(c) = -2*c - 17. Let d = 68 - 71. Let q be g(d). Is q less than -13?
False
Let y be (1 + 1)*-3 - -4. Let u be (10/20)/((-8)/14). Is y greater than u?
False
Let j(y) = -y**3 + 5*y**2 - 5*y + 4. Let a be j(6). Suppose 82*r - 83*r - 3*m - 47 = 0, -119 = 2*r + m. Is r not equal to a?
False
Let b = 721 - 770. Which is greater: 1 or b?
1
Let l = -15.938 + 15.7. Let p = l + -0.062. Which is smaller: 5/4 or p?
p
Let i be 24/(-56) + (-165)/7. Let k = i - -24. Are k and -12/11 non-equal?
True
Let y(p) be the first derivative of p**3/3 - 6*p**2 + 14*p + 4. Let s be y(11). Suppose s*i - 3*w - 12 = 0, 0 = i - 2*w - 2*w - 13. Which is greater: 7 or i?
7
Let w = -11 + 12. Let t(u) = u**3 + 5*u**2 - u + 7. Let z be t(-5). Let h be (z + -18)*w/(-20). Which is smaller: 1 or h?
h
Let t be 7/168*-21 + 0 + (-4)/32. Suppose -8 = 4*o - 0*o. Let g be (o/90)/((-4)/10). Is t at least g?
False
Suppose 4 = 4*g, -2 = -4*j + 2*g + 12. Let y be ((-14)/483)/(1/((-6)/j)). Which is smaller: 1 or y?
y
Suppose 24 = 8*a - 0. Suppose 0 = -a*k - 2 + 14. Is k equal to -4?
False
Let p be 508/(-18) - (-8)/36. Let h(i) = 21*i**2 - 109*i - 8. Let x be h(5). Is x at most p?
True
Let x(y) = y + 1. Let m = 10 + -7. Let b be x(m). Suppose -3*q + 3 = -b*q. Which is smaller: q or 2/5?
q
Let a = -573.9 - -584. Which is bigger: 2/19 or a?
a
Let q be (-9)/(9/2) + (-201)/(-3). Suppos