. Are y and 0 unequal?
True
Let g be ((-15)/(-2))/((-45)/(-20)). Which is smaller: g or 2?
2
Let x be 37/20 + (-7)/(-28). Let f = x - 13/5. Which is bigger: f or 1?
1
Suppose 124 = -3*l + 10. Are -38 and l equal?
True
Suppose 4*k = x + 23, 5*x = 3*k - 0*x - 30. Let n(h) = -h**3 - 23*h**2 + 22*h - 43. Let d be n(-24). Let t = k - d. Which is greater: 1/8 or t?
1/8
Let i be (4/(-114) + 0)/((-2)/6). Is -1 equal to i?
False
Let u = 22 - -158. Let h = u + -1622/9. Is h smaller than 0?
True
Let w = 62 - 48. Is w <= 11?
False
Let b be (-3)/(2*246/8). Is 0 at most as big as b?
False
Let l be 1*-1*(-1 - -1). Let d = -617211 + 514136597/833. Let t = d - -4/49. Which is greater: t or l?
l
Suppose -2*g = 5*m - 3, -2*g = -4*g + 3*m - 5. Let p(q) = -q**2 - 9*q - 9. Let d be p(-8). Is g >= d?
True
Let p be 8 + -8 + (-2)/(-5). Which is greater: 2/7 or p?
p
Let v = 243/5 - 49. Is -2/17 <= v?
False
Let f = 723/5 + -144. Suppose -2*k = -u - 4*k + 12, 4*u = k + 3. Is u greater than f?
True
Let c be 1/2 - 45/138. Let s = c + 26/115. Let o = 34 - 135/4. Which is smaller: o or s?
o
Let g(s) = 4*s + 3. Let n(w) = -w - 1. Let r(c) = -2*g(c) - 6*n(c). Let b(y) = 3*y. Let h(k) = -3*b(k) - 5*r(k). Let x be h(-1). Is 2/15 at most x?
False
Let r = -10 - 10. Is r != 0.1?
True
Suppose 0*r = r. Which is bigger: -3 or r?
r
Suppose -4*a + 3*i - 2 = 5, a + 3*i = 17. Suppose -n - 5 = -r, a*r + 1 + 4 = -3*n. Is r bigger than 2?
False
Let a = 0 + -1. Let j = a + 1. Let u be j*(1 + 2/(-4)). Which is smaller: 1 or u?
u
Suppose -3 - 16 = -b + 5*f, 0 = -b - 2*f - 2. Let k = -7 + b. Let c = k - -3. Which is bigger: c or -1/3?
c
Suppose 4*m - m = -r - 1, -4*r + 4*m - 84 = 0. Is r <= -18?
False
Let c be (2/4)/((-117)/(-18)). Which is bigger: c or 0?
c
Let q = 6.1 - 6.2. Suppose -4*n + b = 0, 0 = 4*n - 0*b - 2*b - 4. Which is bigger: n or q?
q
Suppose 11 = 4*c - 5. Suppose -c = 4*q + 4. Is q less than or equal to -7/4?
True
Let w = 406 - 9336/23. Let n = -14 + 13. Let r be -2 + n + 12/4. Is w less than or equal to r?
False
Let s = -20 + 48. Is 27 greater than or equal to s?
False
Let p = -3 - -51. Suppose -p = z - 5*z. Suppose -z = -3*c - 3. Is c at least as big as 0?
True
Suppose 3*y - 17 = 4*b, -3*y - y + 2*b = -16. Let d = -6 - -10. Suppose 0 = -d*a + 2*q + 17 - y, -2*a - 3*q = -3. Is a greater than 1/2?
True
Let n = -0.3 - -0.1. Suppose 0 = -i + 5*i - 40. Let r be i/14*(-2)/(-5). Which is smaller: r or n?
n
Let w = 4 + -13. Is -1/3 >= w?
True
Suppose 8 = 6*o + 2*o. Which is smaller: -0.016 or o?
-0.016
Let p = 85 + -766/9. Let q be -1 + 2 + -2 + 2. Is q >= p?
True
Let m = -13 - -15. Suppose m*q - 19 = 5*g, 0 = -0*q - 2*q - 5*g + 29. Which is smaller: 11 or q?
11
Let i = -63 - -59. Is -19/5 greater than or equal to i?
True
Suppose w = -x + 10, 12*x - 11*x - 3*w + 2 = 0. Let z be (-9)/(-6)*16/3. Which is greater: z or x?
z
Let a(v) = v**2 + 7*v - 5. Let i be a(-6). Let n = i - -7. Let t be (2/16)/(2/n). Is t != -0.2?
True
Let s(q) = 11*q + 1. Let x be s(1). Let g be x/9*6/(-20). Is g greater than or equal to 2?
False
Let k = 13 - 16. Is -42/11 less than k?
True
Let z be 624/66 + -1 + -3. Is z < 5?
False
Let i(q) = -q**3 - 11*q**2 + 6. Suppose 0 = 4*t + 40 + 4. Let x be i(t). Is 7 equal to x?
False
Let n = -19 + 20. Which is smaller: n or 17?
n
Let v be -4 + 2/(-2) - 1. Let z be (2/v)/(14/12). Let t(f) = -f**3 - 4*f**2 + 6*f + 5. Let y be t(-5). Is z > y?
False
Suppose 3*b - 40 = -5*g, 44 = 5*b - 2*b + 4*g. Let s = b - 20. Are s and 2 equal?
False
Let c = -61 - -60.9. Is c at least -4.6?
True
Let w be 3 - (-1)/(105/(-309)). Is 0 less than or equal to w?
True
Suppose 0 = -r - 5*n - 13, 4*r + 17 = r - 4*n. Which is greater: r or 0?
0
Let z = -13.2 + 13. Let a = 0.5 - 0.8. Let w = a - z. Which is smaller: 0 or w?
w
Let x(w) = w + 15. Suppose 0 = -a + 4*y - 22 - 3, -5*a - 29 = 4*y. Let o be x(a). Let q = 5 - o. Which is smaller: q or 0?
q
Let m = 9.04 - 0.04. Let i = m + -24. Which is smaller: 0.1 or i?
i
Let s(j) = -j**3 - 5*j**2 + 4*j - 8. Let o be s(-6). Let v = 3 - o. Which is smaller: v or -8?
-8
Let g be 3/15 + (-6)/(-20). Let n(r) = r**2 - 6*r + 3. Let b be n(6). Let m be b/2 + 3/6. Which is greater: g or m?
m
Let d = 1.47 - 0.17. Let v = d + -2.3. Let f = -0.57 - 0.03. Are v and f unequal?
True
Let l(y) = y**2 - 5*y - 11. Let d be l(7). Let v = 11 + -7. Suppose -a = -2*a + v. Is d >= a?
False
Let h = -148 - -148.2. Is h equal to -0.14?
False
Let g be (-36)/10 - (-12)/(-30). Suppose -3*j - 2*f = 23, 4*j - 2*f = 3*f - 46. Let i(m) = -m**3 - 9*m**2 - 4. Let b be i(j). Is b greater than g?
False
Let o(w) = w - 4. Let s be o(8). Let d be (-12)/(-189) - s/14. Which is greater: d or 1?
1
Let c = -9/8 + 11/24. Suppose -h = -5*h - 8. Let y be (-8)/((-8)/h) - -5. Is c bigger than y?
False
Let s = -66/35 + 16/7. Let d(j) = -j**2 - 3*j + 4. Let m be d(-4). Is m at most as big as s?
True
Suppose -2*b + 8 - 1 = -p, b + 1 = 5*p. Which is greater: -5 or p?
p
Suppose 5*r + 50 = 5*y, -2*r + 7*r = y + 10. Let z be 6/(-5)*(-100)/y. Which is smaller: 7 or z?
7
Let i = -3/254 + 239/30988. Let q = 1217/732 - i. Is 1 >= q?
False
Let q(y) = 0*y**2 + 4*y + 6*y**2 + 2*y - y**3 + 6. Let s be q(7). Is -1 > s?
False
Let j = 0.34 + 0.02. Let c = 0.4 - j. Let v = c + -2.04. Which is bigger: v or 2?
2
Let a(t) = -3*t + 0*t**3 - t**3 - 6*t - 2 + 2*t**3 - 8*t**2. Let n be a(9). Is -1 less than n?
False
Let x(l) = -l - 1. Let q(w) = -5*w - 4. Let v(c) = q(c) - 6*x(c). Let y be v(3). Suppose -y*d - 47 = -17. Is -7 < d?
True
Let t = 9/11 + -59/99. Is 1/3 < t?
False
Let p be (-64)/15 - 4/10. Let q = p - -16/3. Let h be 3/6*4/1. Is q bigger than h?
False
Let d(s) = -s**3 + 11*s**2 + 2*s + 2. Let z be d(11). Let a = -27 + z. Which is bigger: -1 or a?
-1
Let x = -39 - -118/3. Suppose -2 = -w - 2*o, -5*w + o = -3*o + 4. Is x != w?
True
Let d = -427/23 - -23712/161. Let f = d + -129. Are f and 2 equal?
False
Suppose 3*v = -4*r - 12, 3*r = -v + 2 - 11. Let d = -284 + 1125/4. Which is greater: r or d?
d
Let h(b) = -b**3 - 5*b**2 - 3*b + 2. Let u be h(-4). Let w(j) = j**3 + 3*j**2 + 2*j - 2. Let r be w(u). Which is greater: -3 or r?
r
Let v = -28 + 27. Are v and -3 nonequal?
True
Suppose -3*y = -8*y + 10. Let z = y - 4. Is -3 greater than or equal to z?
False
Let q = 9 - 14. Let y(o) = o + 6. Let v be y(q). Is v equal to 2/15?
False
Let k(f) = f**3 + 3*f**2 - f - 4. Let d be k(2). Is d <= 25/2?
False
Suppose x = 3*g + 6, 4*g - 5*x + 7 = -12. Suppose 3*z = -p + 4, 4*p - 3 = 4*z + 13. Suppose z = -3*q + 3, k + 3*q + 0*q - 1 = 0. Are g and k equal?
False
Let a = -37 - -36. Which is bigger: a or -11/5?
a
Let n = 1.69 + -1.49. Which is bigger: n or 3/32?
n
Let i(j) = -2*j - 4. Let w be i(-6). Let d be ((-4)/w)/(1/(-10)). Suppose 4*k - d*h = 0, 2*k = k - 4*h. Which is greater: k or 1?
1
Let o(d) = -4*d + 19. Let i(x) = -x + 1. Let v(p) = 6*i(p) - o(p). Let c be v(-8). Which is smaller: c or 5?
c
Let z = -1.7 - -1.3. Which is smaller: 0.1 or z?
z
Suppose -4*d + 5 = -3*d. Let h(c) = c - 5. Let i be h(d). Let a(o) = o**3 + 4*o**2 + 2*o - 4. Let v be a(-3). Do v and i have different values?
True
Let z = 580/7 + -82. Let l(k) = 2*k**3 - k**2 + k. Let p be l(1). Which is greater: p or z?
p
Let k = 56 - -48. Are 105 and k unequal?
True
Let h(z) be the third derivative of z**4/24 - z**3/6 - 2*z**2. Let o be h(2). Do 1 and o have the same value?
True
Suppose -4*l + 2*k = 2, -3*l - 2*l + 3*k = 2. Let d = -26 + 13. Is l at least as big as d?
True
Let a = 2 - 3. Let g = 0 + a. Let h = g - 0. Does h = -1/3?
False
Let l(f) = 5*f + 2. Let g be l(1). Let p = 8 + -2. Which is bigger: p or g?
g
Let p(d) = -d**2 - 5*d + 7. Let s be p(-6). Suppose -17 = -3*q - 2*y - 3, 0 = 3*q + 3*y - 18. Is s < q?
True
Suppose -2*t - 3 + 15 = 0. Let x be (30/(-18))/((-15)/54). Is t at least x?
True
Let j = -0.25 - -1.25. Which is smaller: j or 8?
j
Let q be (2 + -2)/(8/(-4)). Suppose q = 5*o - 10 - 10. Suppose -2*g - 5 = 3*g - c, -4*g + 3*c = o. Which is smaller: -1/2 or g?
g
Let t(p) = -p**2 - 9*p + 7. Let g be t(-10). Is g at least as big as 1/2?
False
Let s = 31.8 + 104.2. Is s less than or equal to -0.1?
False
Let c = -18 - -28. Is c greater than 8?
True
Suppose c - 6*c + 25 = 0. Suppose -c = -2*p - 3. Let b be (0 - (-2)/8)*5. Is p bigger than b?
False
Let s = 6 