x = f - -228. Which is bigger: -0.1 or x?
x
Let q = -45066 - -585574/13. Let u = q - -22. Is 0 >= u?
False
Suppose 6*d = d + 20. Let i = d + -1. Suppose -2*o - i = 5*y - 2, y - 3*o = -7. Is -2 at most y?
True
Let t(q) = q**3 - 11*q**2 + 11*q - 9. Let k(p) = -p**3 - 9*p**2 + 10. Let v be k(-9). Let x be t(v). Which is greater: x or 0?
x
Suppose 24 = -5*t - d - 2*d, -12 = t + 3*d. Let o = -1 - t. Let g = 0 - -3. Which is smaller: o or g?
o
Suppose -6 = -3*c + 6. Let w(r) = -r**2 - c + r - 2*r + 5. Let i be w(0). Which is smaller: 1/3 or i?
1/3
Let z be ((-162)/45)/((-3)/(-10)). Which is greater: z or -13?
z
Let f be (18/4)/((-2)/(-4)). Let w = f + -16. Which is smaller: w or -6?
w
Let i(k) = k**3 + 8*k**2 - k - 6. Let j be i(-8). Let x be (-7)/(-6) - 5/(-15). Is j > x?
True
Let a be (3/9)/((-1)/(-12)). Suppose 0 = k - a*r - 1 - 6, -4*r + 8 = -4*k. Let g = -5 - k. Which is greater: g or 1?
1
Let r = -11/7 - -246/161. Which is smaller: r or 1?
r
Let d(w) = w + 1. Let x be d(7). Let i be (x/5)/((-8)/(-20)). Is 4 > i?
False
Suppose 2*p = 3*u + 5, -u + 0*u - 3 = 0. Suppose 7*i - 15 = 2*i. Suppose 3 = c - 2*o, -5*o + 0 = -i*c + 7. Is c > p?
True
Suppose r + 5*p + 49 = 0, 0*r + 2*r + 4*p = -68. Let o = -95/4 - r. Is -0.1 smaller than o?
True
Let o(c) = c**3 + 5*c**2 - c - 1. Let p be o(-5). Which is greater: 3 or p?
p
Let v = 71/4 - 24. Let l = v + 6. Let j be 0*(-1 + 9/6). Which is smaller: l or j?
l
Let r = -74 + 445/6. Let o be (-6)/28 + 2/4. Which is smaller: r or o?
r
Let n = 0.1 - 1.1. Which is smaller: n or -30?
-30
Let c(h) = -h - 10. Let s be c(-9). Is 4/9 at least s?
True
Let d = -10 + 3. Let l = -7.4 - d. Which is smaller: l or 0.2?
l
Let u = 2 + -3. Let t = 0 + u. Let c be 3*(0 - 2/21). Which is smaller: c or t?
t
Let q = 12 - 12. Let m be q + 1/(12/(-8)). Is m smaller than 1/2?
True
Let u = 4091 + -20554/5. Let p = u + 20. Are 1 and p equal?
False
Let h be ((-12)/(-630))/((-1)/3). Is -1 bigger than h?
False
Let i(l) = -l**3 + 13*l**2 - 12*l - 15. Let f be i(12). Is -15 != f?
False
Let h(o) = o**2 + 6*o + 9. Let p be h(-6). Which is smaller: 11 or p?
p
Let y = 1.7 + 0.3. Let u = y + -4. Is u less than 0?
True
Let o(r) = 0*r + r**2 + 2 + 2*r - 6*r. Let s be o(4). Which is smaller: s or 2/3?
2/3
Let h(s) = -s + 13. Let a be h(-16). Which is greater: a or 28?
a
Suppose 5*f + 95 = 5*l, -2*l + 0*l = 3*f - 38. Let m = l - 25. Does m = -8?
False
Let r = -8.6 - 41.4. Are r and -2/7 non-equal?
True
Let w(o) = -6*o**2 - o + 1. Let m(h) = -h**2. Let t(i) = -5*m(i) + w(i). Let n be t(2). Which is smaller: n or 0.1?
n
Let l be ((-44)/(-6))/(4/6). Let r be l/3 - 1/(-3). Suppose 17 = 2*g - 3*w, w + r*w = -2*g - 23. Is 1 > g?
False
Let k(o) = o**2 - 5*o - 5. Let w be k(6). Are w and 8/7 nonequal?
True
Let w = -29 + 23. Let z be (5/(-7))/(w/7). Is z less than or equal to 1?
True
Let m = -98 - -682/7. Is m < 2?
True
Let r(z) = -z + 5 + 2*z - 4. Let c be r(-1). Is 1 != c?
True
Suppose -4*p = -2*u + 4, 3*p + 3*u - 1 = 5. Let w = 2.1 - 3.9. Let n = 0.2 - w. Is n less than or equal to p?
False
Let f = -43 - -39. Is 2 > f?
True
Let b be -1 + (1 - (-2 - 78/(-36))). Let o = 46 - 227/5. Which is smaller: b or o?
b
Let v = 38/3 + -212/21. Which is greater: v or 4?
4
Let v = 19 - -11. Suppose -v = 2*d - 3*d. Suppose -s = -5*m + d, -4*m - s = -2*s - 24. Which is smaller: 7 or m?
m
Let z = -4 + 5.1. Let x = 1 - z. Let c = -0.3 - x. Is c != -2?
True
Suppose -2*y = p - 12, -4*p - 13 = -3*y - 3*p. Let q(h) = h**2 - h + 2. Let r be q(0). Is y at most r?
False
Let b(g) = g + 3. Let w be b(-2). Let y(f) = f**3 - 4*f**2 + 3*f + 3. Let o be y(3). Which is greater: w or o?
o
Let q = 266/3 + -88. Is q != -0.2?
True
Let v = 2.4 - 0.4. Let l = 4 - v. Let s = 1 - l. Do s and -2 have the same value?
False
Let b(p) be the second derivative of -p**4/6 + p**3/3 - p**2 + 2*p. Let c be b(3). Let k be (-2)/3 + c/6. Is -3 at least as big as k?
True
Suppose 4*s - 2*j = 58, -1 = s - 3*j - 18. Is 69/5 < s?
True
Let h = -39 - -64. Let b = h + -1. Suppose -4*k - 4*w - b = 0, 3*w + 4 = 3*k - 2. Does k = -1?
False
Let i = -7 + 3. Let r = i + 4.1. Let a = -7 - -6. Which is greater: r or a?
r
Suppose -4*o + 11 = 31. Let m(i) = 7*i**2 - 3*i + 3. Let w(l) = -3*l**2 + 2*l - 1. Let q(n) = o*w(n) - 2*m(n). Let z be q(4). Is z != -1/4?
True
Let c = -5 + 2. Let i be (2/3)/(2/c). Which is smaller: -1/8 or i?
i
Let z be ((-2)/2)/((8/(-2))/292). Is z less than 73?
False
Let t(q) = 8*q - 1. Let a be t(2). Suppose 2*i + 3 = a. Which is greater: 5 or i?
i
Let j(v) = -3*v + 1. Let d be j(-2). Suppose 0 = 4*w + d + 25. Which is greater: -1/4 or w?
-1/4
Suppose 2*s + 3*s = 0. Let n = s + 0. Let h = -43/5 + 46/5. Is n > h?
False
Suppose 2*w = -1 + 5. Is w >= 2?
True
Let j be ((-35)/14)/((-2 + 3)/(-2)). Which is smaller: 31/7 or j?
31/7
Let o = 67/142 - -2/71. Let j be (7 - 7) + (1 - 1). Which is smaller: o or j?
j
Suppose n - 9*n = 0. Which is smaller: -45 or n?
-45
Suppose -15 = 2*c + 3*b, 2*c + 18 = -2*b + 4. Is c at least as big as -2?
False
Suppose -l - 7 = -4*b - 23, 0 = -4*b - 2*l - 4. Let h = 6 + -10. Which is bigger: h or b?
b
Let d = -16 - -16. Is d >= -2/15?
True
Let q be 8/(-4) - (-1 - 11). Let b = 16 - q. Suppose -3*g + 3 = 2*g + 2*w, 4*g - 2*w = b. Is g equal to 0?
False
Let m = -1 + 2. Let v(a) = a**3 - a**2 + a. Let g be v(0). Let u = m + g. Which is smaller: u or -1?
-1
Let y = 17 - 16. Which is bigger: y or 6?
6
Suppose 0 = -3*a + g - 5*g + 1, 0 = -3*a + 4*g + 17. Suppose -a = v - 3*m + 7, 2*v + m - 15 = 0. Let i be (-6)/4 + 1/2. Which is smaller: v or i?
i
Suppose w = -0 + 1. Let f(p) = 2*p**3 - p**2. Let s be f(w). Is s at least as big as 4?
False
Let h = -40 + 29. Is 0.3 less than h?
False
Let f be 21/(-6)*(-16)/28. Suppose -6*y + 3*y = 0, 0 = -4*o - 4*y + 20. Let t be ((-4)/25)/(f/o). Which is smaller: t or 0?
t
Let s = 10 - 17. Let l = 6 + s. Which is smaller: l or 2/7?
l
Let d(f) = -f + 2. Let n be d(2). Let q = 4243 + -16833/4. Let r = q + -36. Which is greater: n or r?
n
Let y(n) = n**3 - 5*n**2 + 6*n. Let x be y(3). Let h = 28 - 13. Is h at least as big as x?
True
Let h(t) = -2*t - 49. Let a be h(-24). Suppose 0 = 2*w + 4*p + 24, -3*w - 4 = -5*p - 1. Let y be (-2)/6 + w/(-14). Which is greater: a or y?
y
Let r be -2*(-1 + (-2)/(-4)). Suppose 7*u = 5*u. Let k = r + u. Is k greater than or equal to 2?
False
Let g = -8 + 6. Let l(r) = 2*r + 18. Suppose 5*w + 56 = 2*y, 5*y = -w + 5 - 0. Let z be l(w). Is z >= g?
True
Let u = 7 - 4. Let h be (1 - (-9)/(-2)) + u. Is -2 <= h?
True
Suppose 0 = y + 27 - 25. Which is smaller: 2 or y?
y
Let w(c) = -c - 1. Let m be w(-4). Let u = m + -4. Let h be ((-21)/6)/7*2. Is h at most as big as u?
True
Let r(f) = -f**2 + 8*f - 20. Let j be r(6). Which is smaller: j or -5?
j
Let n = 1.4 - 2.9. Let u = -1.5 - n. Is u greater than or equal to -0.02?
True
Let y = 54 + -56. Which is bigger: y or -1?
-1
Let t(m) = -m - 3. Let n be t(3). Let r(b) = b**3 + 7*b**2 + 7*b + 3. Let o be r(n). Is o not equal to -1?
True
Let n = -23 + 17. Let r(b) = -5*b**2 - b - 1. Let p be r(-1). Which is smaller: n or p?
n
Suppose -3 = z - 8, 5*a = -5*z - 25. Let y = a - -14. Suppose -4*p = -0*p + y. Which is greater: -2/13 or p?
-2/13
Let t(d) = -d**2 - d + 2. Let k be t(-3). Let v(r) = r**3 + 3*r**2 - 2*r + 4. Let z be v(k). Let p = -4 + 7/2. Are z and p nonequal?
True
Suppose 4*t + 64 = 60. Let m be (-5)/(20/(-6))*4. Is t not equal to m?
True
Let b be (-7197)/10701 - (-2 + 1). Let s = b - 20/87. Let x = 95/287 + s. Which is smaller: 1 or x?
x
Let n = 69 - 65.1. Let r = 4 - n. Is -0.5 <= r?
True
Let p be (-6)/9 + (-2)/(-4). Is p at least -1?
True
Let y = 37 + -24. Is -0.1 smaller than y?
True
Suppose 0 = -2*t + 6*t - 16. Let s be (7/t - 1) + -1. Suppose -4*h - 1 - 3 = -2*a, 3 = -3*h - 3*a. Which is smaller: s or h?
h
Let c = -2.2 + 2.3. Is -1/6 bigger than c?
False
Suppose -4*j + 5*k + 281 = 0, -4*j = -4*k + 3 - 279. Is 63 bigger than j?
False
Let y(l) = l + 14. Let o be y(-13). Suppose 2*j + 3 = o. Which is bigger: j or 2?
2
Let i = -163 + 655/4. Is i at least -1/2?
True
Let f = 15 + -108. Is -93 equal to f?
True
Let s = -55/171 - -4/19. Is 1 at least as big as s?
True
Suppose -2*m + 5 - 3 = 0. Let u = -7 - -10. Suppose -u*t + 0*t = -6. Is m at most as big as t?
True
Let g = -0.014 