Let w(u) = -u**3 + 5*u**2 + 5*u + 5. Let b be w(6). Let m = -5 + -1. Let j be 8/(-6) + 4/m. Is j > b?
False
Let o(c) = -11*c + 1. Let q be o(-1). Let n be (-6)/14*q/(-9). Which is smaller: 2 or n?
n
Suppose 0 = o - 6*o + 25. Let t = 3 - o. Let g = 2 + -3. Do t and g have the same value?
False
Let z = -3 + 22. Let q be 4/14 + z/7. Let y = q - 6. Which is bigger: y or -0.1?
-0.1
Let s = 0.04 + -2.04. Let m = s - -1.8. Let r = -1.2 - m. Which is greater: -1/5 or r?
-1/5
Let z be 2/8 + 45/(-20). Let u be (-78)/56 + 1/4. Is u at most as big as z?
False
Let d(a) = 11*a + 1. Let n be d(-1). Let m(c) = c**2 + 10*c + 3. Let g be m(n). Suppose 0 = g*p + 2*p. Which is bigger: 1/12 or p?
1/12
Let z = -4 + 9. Suppose -4*b - 4*m - 12 = 0, -16 = -2*b + z*m - 1. Suppose b = 4*t + 5 - 13. Which is bigger: t or 0?
t
Let w = -4 - -12. Let t be (-2)/w*(-8)/(-14). Is 0 less than t?
False
Let f = -29 - -43. Is 14 less than f?
False
Let g be 15/75 + 1/(-5). Which is bigger: -1/9 or g?
g
Let r be (2 - 1)/(3/69). Let w = r + -183/8. Is 1 <= w?
False
Let d(f) be the third derivative of f**4/24 - f**3/6 + 2*f**2. Let j be d(1). Is 0 less than j?
False
Let p(h) = h - 8. Let i be p(5). Let b be (-12)/(-4 - 0) - i. Is b at least as big as 6?
True
Let v be 4/6*(-9)/24. Let p = 0.1 - 0.2. Is v < p?
True
Let b(m) be the third derivative of -m**5/60 - m**4/12 + m**3/6 + m**2. Let h be b(1). Which is greater: -4 or h?
h
Suppose 4*s - 20 = -z, 2 = -2*z + s - 3. Let j = -109950/1363 + 4/4089. Let r = 80 + j. Is r at most as big as z?
True
Let g(v) = v**2 + 5*v - 34. Let x be g(-9). Suppose -4*n = -2 - 2. Which is smaller: x or n?
n
Let l(h) = 6*h + 37. Let t be l(-6). Is t less than or equal to 9/5?
True
Let x(f) = -f + 11. Let o be x(9). Suppose 0 = 3*a + r - 6 - 7, 5*a - o*r - 18 = 0. Is a bigger than 4?
False
Let q(t) = -2*t**2 - t. Let c be q(-1). Which is bigger: 2 or c?
2
Let c(o) = -o**2 + 12*o + 3. Let s be c(10). Is 23 less than or equal to s?
True
Suppose -5*l = 15 + 10. Let a be (l/((-5)/2))/3. Let i(x) = -2*x**3 - 12*x**2 - 2*x - 10. Let b be i(-6). Which is greater: b or a?
b
Let r = 4 + -3.9. Let q = 0.9 - 1.2. Let n = q - r. Is n at most as big as 0?
True
Let p = 9 + -6. Let i be p + -2 + (0 - 1). Is i at most 2/15?
True
Let m = -25 + 23. Let n = m - 5. Which is bigger: -0.1 or n?
-0.1
Let g = 14 + -14. Is g bigger than 1/4?
False
Let f = -4.1 + 0.1. Which is smaller: f or -1/3?
f
Let n = 1 + 0. Let p = 0.06 - -0.34. Which is smaller: p or n?
p
Let v(x) = -x**2 - 14*x - 13. Let u be v(-13). Which is greater: 4/13 or u?
4/13
Let w = 144/455 - 2/65. Which is bigger: -16 or w?
w
Let c = 278/5 + -1733/30. Which is smaller: c or -3?
-3
Let i = 0 + 1. Let a = 2 + -1. Suppose -3*t + 4*h - 1 = -0*t, 0 = 4*t - 3*h - a. Is i < t?
False
Let v be -2*(-2)/(-12) + 14/(-66). Which is smaller: v or -1?
-1
Suppose 63 + 102 = 15*j. Which is bigger: 1 or j?
j
Let d = -8/13 - 309/26. Is d at most -12?
True
Let o = -0.08 + -0.32. Let s = 1.4 + o. Let q = 4 - s. Do q and 0.1 have the same value?
False
Let g = -272/5 - -479/10. Which is smaller: -6 or g?
g
Let i be (18/15)/(27/10). Is -1/2 less than i?
True
Let w(r) = -3 - r + 3 + 3. Let y be w(4). Do y and -1 have the same value?
True
Let p = 377 - -200. Let y = 16731/29 - p. Is y <= 1?
True
Suppose 12 = k - 4. Suppose 4*r - k = 2*b - 0, -4*r + 16 = 2*b. Is b <= -2?
False
Suppose 3*r = -4*u + 2*r, 5*r = -5*u - 15. Let z be (0 + 2 - 1)*u. Is z <= -1?
False
Let j = 11/56 - 11/7. Is j greater than -1?
False
Let j be (1 - 3) + (-16)/(-1). Suppose -j = -2*t - t - 4*c, -4*t + 4 = -2*c. Suppose 0 = g - t*g. Is g at most as big as -2/7?
False
Let v(h) = -h**2 - 6*h + 2. Let b be v(-7). Is b less than -5?
False
Let h be (-3 + 1 + 4)/3. Let k(o) = o**3 + o**2 + o + 5. Let b be k(0). Suppose 0 = -b*w + 4*w + 1. Is w less than h?
False
Suppose -5*d + y = 5*y + 4, -3*y = d + 3. Suppose 3*s - 12 - 6 = d. Suppose s*u = u. Which is bigger: u or -4/5?
u
Let m be ((-28)/(-2))/(-3 + 0 - -2). Is m at least -11?
False
Suppose 32 = -2*j - 0*j. Let h be -1 + 3 + -2 + j. Is -15 less than or equal to h?
False
Let r = -27 + 23. Which is greater: -6 or r?
r
Let g(s) = -s - 3. Let x be g(-3). Suppose -2 - 3 = z. Let a = -5 - z. Is a less than or equal to x?
True
Let m be 0/(36/6) - 3. Which is smaller: m or -2?
m
Let n = 378 - 3398/9. Let r = 2 - 1. Which is bigger: n or r?
r
Let g = 114 + -149. Is g at least as big as -34?
False
Let u = -1.12 - -2.35. Let a = u + -0.23. Is 1 != a?
False
Let n be ((-10)/(-4) - 2)*-26. Which is greater: -15 or n?
n
Let u be (1 + -1)/(-3 + 1). Is u smaller than 3/4?
True
Let r = -7.2 - -7. Let d = 14 + -8. Let s = -8 + d. Is r less than or equal to s?
False
Let k = 0.041 + 0.759. Which is smaller: k or -2/9?
-2/9
Let x be 20/75*(-10)/(-4). Which is bigger: x or 1/2?
x
Let r = 0.1 + -0.1. Let p be -9 + 3 + 5 + 0 + 0. Which is smaller: p or r?
p
Let c = 40984354058/1251087825 + -2/32079175. Let n = c - 6/65. Let h = -33 + n. Are h and -2 equal?
False
Let w be -3*(2 - 4 - 9). Let q be (2/(-5))/(w/(-15)). Which is smaller: q or -1?
-1
Let q(y) = -2*y + 6. Let j be q(-5). Suppose 0 = -5*k - 1 + j. Which is smaller: 2 or k?
2
Let t = 79 + -122. Is -43 greater than or equal to t?
True
Suppose 4*o - 58 = -62. Are 3/28 and o non-equal?
True
Let p be (-4)/14 - 4/(-14). Let o be (0 + 20/8)*26. Let t = -457/7 + o. Are t and p nonequal?
True
Let u = 8.6 - 9. Let v = -0.6 + u. Which is greater: v or 5?
5
Let r = -16 - -16.1. Let n = -76/5 - -1449/95. Which is greater: r or n?
r
Let u = 36.4 - 34.9. Suppose 5*b + 14 = 4*v, 3*v - 11 = -0*v + 4*b. Which is smaller: u or v?
v
Let i = 2.5 + 2.5. Which is bigger: 0.3 or i?
i
Let i = 2 - -2. Let m = i - 8. Let y = 0 + -2. Which is greater: y or m?
y
Let o = 17/4 - 43/12. Let r = 3147/14 + -225. Let a = 37/42 + r. Are a and o unequal?
False
Let l be (4/42)/((-1)/3). Let p be 2/(0 + 4)*10. Suppose 0*y + 5 = p*y. Is l greater than y?
False
Let l = -0.21 - -0.01. Is l at most as big as 2/11?
True
Let s(b) = b + 4. Let q be s(-4). Let j = -7 + 5. Let w be 60/(-48)*(-2)/j. Is w bigger than q?
False
Let i = -60460/49 - -1234. Which is smaller: -1 or i?
-1
Let v(y) = 7*y - y**3 + 3 - 7*y**2 - 5 - 8. Let a be v(-8). Let t be (1 + a)*(-1 + 1). Which is bigger: t or -2?
t
Let f = -8 + 10. Let o be 1/(f/12*3). Which is smaller: o or 0?
0
Suppose m = 6*m. Let t be 6/8*(4 - m). Let x(v) = -v**2 - 14*v + 15. Let l be x(-15). Are t and l equal?
False
Let i = -2 + 2.11. Let s = 2.01 - i. Let r = s - 2. Which is bigger: r or 0?
0
Let z be (-4 - 434/(-88)) + 2/(-11). Which is smaller: 2 or z?
z
Let i(u) = 8*u - 44. Let s be i(6). Are 27/8 and s equal?
False
Suppose -r + 2*f + 6 = 0, -r + 14 = -4*r - 2*f. Does 0 = r?
False
Suppose -2*a - 36 = -5*a. Let p be (8/a)/((-2)/(-15)). Suppose -2*l + 2 = -p*z - 1, -5*z + 21 = 4*l. Which is smaller: z or -2/9?
-2/9
Let u = 0.64 + -0.34. Which is smaller: u or -3?
-3
Let m be 2 + (1 - (-68)/(-20)). Is m at most 0?
True
Let o be -3*(-59)/60 - 3. Which is greater: o or 0?
0
Let q = 6 - 7. Which is smaller: 0 or q?
q
Let l(q) = -12*q**3 - q + 1. Let k be l(1). Let n be 4/k + (-10)/(-3). Suppose y = n*y. Is -2/7 > y?
False
Let c be 1/(-2) + (-3)/6. Suppose -5*k + 5 = -5*y, 3*k + 0*y + y + 1 = 0. Let i = c - k. Which is smaller: 2/7 or i?
i
Let t(o) = o**2 - 14*o + 10. Let q be t(10). Is -29 greater than q?
True
Let i = -26 - -26. Which is greater: -5/11 or i?
i
Let o be (-16)/(-3) - 4/12. Suppose -4*x = -4*s - 36, -5*x = o*s - x. Let z be (-1)/((-11)/(-5) + -2). Is z bigger than s?
False
Suppose y - 3*y + 3*h = -31, 3*y - 4*h = 45. Let u = -7 + y. Let r be 1/3 - (-11)/3. Is r greater than u?
False
Let k be 8/(-6)*(-9)/(-3). Let o be (-3)/(-6) - 22/k. Let c(i) = i**2 - 6*i + 1. Let b be c(o). Which is smaller: b or 4?
b
Let j = -222 + 215. Is j greater than -7?
False
Suppose 2*n = -2 + 6. Suppose -l + 7 = 2*c, -3*c - 2 = n*l - 11. Which is bigger: -1 or l?
-1
Let u = -17/3 - -367/69. Is u <= 1?
True
Suppose 2*w + 6 = 0, n - 3*w - 1 - 8 = 0. Let g be 4/6*(-4 - -1). Which is bigger: g or n?
n
Let j be (1 + (-10)/6)*6. Let k = j + 8. Let f be (-7)/(-3) - k/12. Is 3 bigger than f?
True
Let a be (-50)/60 + 1/3. Let i = -4 + 4. Let l = a - i. Which is smaller: l or -2?
-2
Let s = 92.95 - 9