-4)/(-14). Let w(j) = j**2 - j + 1. Let y be w(0). Is y != s?
True
Let y = 0.0886 + 0.1114. Is y less than 261?
True
Let f(s) = s**3 - 30*s**2 + 55*s - 4. Let b be f(28). Do -28 and b have different values?
True
Let b = 71.3 - 71.1. Let t = -5 - -10. Which is smaller: t or b?
b
Let d = -10 - -5. Let w be (-1 - 2)*d/3. Suppose -4*t - w*z - 13 = 0, 2 = 2*z - 4*z. Is t smaller than -2/3?
True
Suppose 4*a - 15 = 3*i, 0 = 5*a + i + 15 - 10. Let o = -63539/90 - -706. Let c = o - 367/630. Do c and a have different values?
True
Let u(a) = a**3 - 14*a**2 + 17*a - 10. Let z be u(12). Let t = -189/2 - z. Let g = -8 + 1. Which is bigger: t or g?
t
Let a = -2044 + 416977/204. Which is bigger: a or 0.2?
0.2
Let n = 0.22 - -8.78. Let r = n - 16. Let j = -0.9 + -0.1. Which is bigger: j or r?
j
Let x be (2 + 0)/(1/24). Suppose 0 = -d + 116 - 69. Which is smaller: d or x?
d
Suppose -5*q - 9 - 6 = 0. Let w be (q - 1)*(-15 - -17). Which is bigger: -6 or w?
-6
Let o(j) = 6*j**2 + 3*j + 2. Let q be o(-4). Let t = -61 + q. Is t at most 25?
True
Let p = -463/847 - 3/121. Let z(x) = x + 4. Let k = 1 + -6. Let g be z(k). Is p >= g?
True
Let c(s) = -8*s + 11. Let p be (-1)/(-5 - -1)*8. Let g be c(p). Suppose 5*v + 7*y + 10 = 2*y, -2*v = y + 9. Do v and g have the same value?
False
Let a = -304/5 - -5746/95. Let k = a - -103/266. Which is smaller: k or -0.2?
-0.2
Let k be 14*2/6*-3. Let n be 4/k + 10/35. Suppose n*f = -2*f + 2. Which is greater: f or 2/29?
f
Let i = 280 + -220. Is i at least as big as 62?
False
Let a = -176 - -175.7. Is a smaller than -1/25?
True
Let g(x) = 48*x - 767. Let b be g(16). Is b <= -12/37?
False
Let m = -7 - -20. Let s = -313 - -325. Do s and m have different values?
True
Let s = 175 + -1927/11. Is 1 >= s?
True
Let p(g) = 5*g**2 + 13*g + 5. Let r(j) = -9*j**2 - 25*j - 11. Let s(k) = 7*p(k) + 4*r(k). Let m be s(-8). Let x be m/(-2*2/(-8)). Is -2 != x?
False
Let i(x) = -x + 1. Let o(f) = 2*f - 11 + 0*f + 2*f. Let y(a) = 3*i(a) + o(a). Let g be y(7). Is g bigger than -1?
False
Let y = 9 + -1. Let q = y - 16. Let a = q - -7.6. Which is smaller: -0.3 or a?
a
Let y be (-21)/3*(2 + 384/(-42)). Is y != 48?
True
Let i be (18/12)/((2/4)/1). Are i and 38/15 nonequal?
True
Let p be 2/(-4)*156/(-26). Is 28/13 smaller than p?
True
Let k be (-2 - 444)/(10 - (-2 - -10)). Is k greater than or equal to -0.1?
False
Let g be 0 + -30 + 33 + (-12)/5. Which is greater: -4 or g?
g
Let z(d) = d - 13. Let m be z(13). Let p(l) = -l**3 - l**2 - l + 128. Let w be p(m). Let u be 6/(-33) + w/220. Are u and 0 equal?
False
Let p be ((-1)/(-3) + -1)/(6/(-36)). Suppose -12 = -p*c - 8. Let k be (1/(-2))/(13/2). Which is bigger: k or c?
c
Let l = -40 - -213. Let k = l + -569/3. Is k greater than or equal to -18?
True
Let l = 5.91 + 0.09. Let f = -6599.01 + 6599. Is f less than l?
True
Suppose 295 = 35*u + 15. Which is bigger: u or 72/11?
u
Let i = 371 + -1479/4. Which is greater: i or 0?
i
Suppose 3*h + 6*r = 5*r + 431, 4*h - 558 = 2*r. Which is smaller: 141 or h?
141
Suppose -3*n - 23 = -3*t - 2, 0 = 4*t - 3*n - 28. Let o be 2*(t + -1 - 4). Is o at most 1/3?
False
Let n be (84 + 1)*(-2 - -3). Let c = -88 + n. Suppose 4*r = 5*p - 44, -6 = -0*r - r - 3*p. Is c greater than or equal to r?
True
Let x be 21/147 + (-136)/1050. Is -1 greater than x?
False
Let l(v) = -8*v - 246. Let c be l(-22). Which is bigger: -64 or c?
-64
Let z = -2.15 - -0.15. Let o = z - 12. Which is smaller: o or 0?
o
Let k = -612 + 27542/45. Let a(f) = -4*f + 141. Let c be a(35). Do k and c have different values?
True
Let j be ((-3)/(-2))/(-3)*(6 - -26). Let m = j + 53. Is 37 at most m?
True
Let d = 248.1 - 248. Let r = -12 - -7. Let i = -17 + r. Which is greater: d or i?
d
Let x = -4/21 + -10/21. Suppose -w - 12 = -3*w. Let q = w - 8. Which is smaller: x or q?
q
Let a be (-6)/(-10) - 16/10. Let j = 1/66 + -2/11. Which is smaller: j or a?
a
Let k be (1/44)/(2/(-2)). Let t(y) = -y**3 - 8*y**2 + 5*y - 35. Suppose -r + 0*r = 9. Let n be t(r). Which is smaller: k or n?
k
Let c = 0 - -5. Suppose -c*h - 13 = -4*o + 55, -40 = -3*o + h. Is 13 < o?
False
Let q = 13738998192847/421 - 32634181697. Let a = 18286 - q. Let w = a - 7137/2105. Which is smaller: -4 or w?
-4
Let i be 119/14*(-14)/(-119). Do 4/859 and i have the same value?
False
Let g = -109 - -95. Is -14 less than g?
False
Let d = 780/11 - 2228/55. Let b = 30 - d. Let v = 0.4 - 0.48. Which is smaller: b or v?
b
Let q(t) = t**3 - 5*t**2 - 1. Let w be q(5). Suppose 80 + 20 = n. Let k be n/(-44) + (-2)/(-1). Is w smaller than k?
True
Let o = 2333/8 - 4367/24. Suppose 4*a + n = 74 - 508, -116 = a + 4*n. Let k = o + a. Which is smaller: 1 or k?
1
Suppose 3*h - 26*c = -25*c - 25, 2*c + 20 = -4*h. Which is bigger: h or 17?
17
Let p = 3/10 + -7/15. Suppose 5*y - 2 - 18 = 0. Let z be -3 - (y + -3)*-3. Which is greater: z or p?
z
Let m be ((-2)/(-4))/(10/20). Which is greater: m or 13/14?
m
Let u = 9 - 3. Let q = 171 - 7703/45. Let a = -2/45 + q. Which is bigger: a or u?
u
Suppose 5*b - w = 60 - 188, 3*b + 80 = -w. Let o be 0/10 + b + 1. Which is smaller: o or -26?
-26
Let k(w) = w + 1. Let x(h) = 4*h + 13. Let a(c) = -5*k(c) + x(c). Let r be a(6). Is r smaller than 2?
False
Let w be (9/(-1113))/(9/(-3)). Which is bigger: w or 1?
1
Let h be (7/(-21))/(1/9). Let m = -4 - h. Is 1 < m?
False
Let l = 252 + 190. Is 443 greater than l?
True
Let b = 44 - 705/16. Is 1 smaller than b?
False
Let u be (-51)/(-85) - ((-138)/(-86) + -1). Which is smaller: 1 or u?
u
Let s be (-1)/((-1)/(-106)) - (3 - 4). Is s less than -108?
False
Let m(n) = n**2 + 8*n - 6. Let d(q) = -2*q**3 + 2*q**2 - q + 1. Let o be d(2). Let t be m(o). Suppose t*y = y - 20. Are -9 and y nonequal?
True
Let a = -4240/21 + 202. Suppose 5*h = 2 + 3. Is a equal to h?
False
Suppose -l - 2*d + 20 = 0, -4*l + 16 = 2*d - 52. Which is greater: l or 152/9?
152/9
Suppose -10*m + 573 = -397. Which is greater: m or 98?
98
Let v(x) be the second derivative of -x**4/12 + 5*x**3/6 - 7*x**2/2 - 6*x. Let b(j) be the first derivative of v(j). Let q be b(2). Which is smaller: 2 or q?
q
Suppose h - 4*v - 98 = 0, h - 6*v + 3*v = 101. Let r be (-155)/h + 9/6. Let o be -9 - -8 - (-4)/2. Is r > o?
False
Let k = 590 + -514. Are k and -0.3 equal?
False
Let f be 10/(-8) + (-6)/8. Let i = f - 2. Let y(g) = g**2 + 2*g - 4. Let j be y(i). Which is bigger: j or 3?
j
Let w = 0.291 - -0.709. Which is smaller: -35 or w?
-35
Let u = -118 - -44. Are u and -74 unequal?
False
Let q be 372/(-310) - (-42)/10. Which is greater: 17 or q?
17
Let m be (-1 + 2)/(-28 + 27). Is m greater than -4/333?
False
Let b = 257 + -6683/26. Which is smaller: -0.2 or b?
-0.2
Let c(v) = -v**2 + 4*v - 123. Let d be c(-13). Which is smaller: -343 or d?
d
Let i = 0.385 + -0.4. Suppose 154*v - 155*v - 5 = 3*y, -3*v - 5 = -y. Which is smaller: v or i?
v
Let c(g) = g + 10. Suppose -2*h = h - 12. Suppose -3*t + 25 = -u, 5*u + 0*t + 70 = h*t. Let j be c(u). Is j greater than or equal to -1/4?
True
Let j be 6/(-4)*-2 - 28/7. Let f(l) = -2*l**3 - l**2 + l + 2. Let b be f(j). Is b bigger than 15?
False
Let h be 2/10 - (-343)/35. Let r be (-2)/(-2)*(13 - h). Suppose r*f + 2*f = -5. Is -1 <= f?
True
Let i = -0.2 - -1.5. Let g = 1.39 - i. Which is bigger: 0 or g?
g
Let m(x) = -x**3 - 4*x**2 + 6*x + 28. Let i be m(-3). Which is greater: i or -1/125?
i
Let a = -210 - -213. Let w = -4.2 - -4. Which is smaller: w or a?
w
Let n(y) = -y**2 - 24*y + 39. Let a be n(-26). Which is greater: -95/7 or a?
a
Let x = 206.6 - 214.6. Is x at most -3/8?
True
Let u be (-1 - 0) + -2 + 4. Let i = -16 + 143/9. Let v = i + -11/63. Are v and u unequal?
True
Let g be 12/((-124)/132 - -1). Let d be (-89)/360 + 44/g. Is 1 at most d?
False
Let t = 259 + -258. Which is smaller: -16/21 or t?
-16/21
Let f be 54/(-68) - (-3)/6. Suppose 23 = 23*g + 46. Which is greater: g or f?
f
Suppose -2*t = t - 9. Let a be 2/(-4) - (-13)/2. Suppose -3*k - a = -3*x, -5*x - 14 = t*k + 16. Is -4 greater than k?
True
Suppose 9 = p - 5*g, -4*g = 3*p + 40 - 105. Which is greater: p or -2/7?
p
Suppose -m = -0*m + 2. Let i = 60 + -100. Let j be (-4)/2 + i/(-36). Which is bigger: m or j?
j
Let m(x) = x**3 - 53*x**2 + 4*x - 211. Let r be m(53). Let j be 30/(-9)*(-6)/(-5). Let d be j*(-3)/(-9) - -1. Which is smaller: d or r?
d
Let g be ((-2