e -1*1 + 4/6. Is o bigger than g?
True
Let c = -31 + 32. Let d = -3.7 + 0.7. Is c at most d?
False
Let v = -0.2 - -0.3. Let y = 10 - 7. Suppose 3*l - 5*g - 5 = -1, -y*l - 5*g = 16. Are l and v unequal?
True
Let h(u) = u**3 + 4*u**2 + 4*u + 3. Let g be h(-3). Let n = -287 + 5451/19. Which is smaller: n or g?
n
Suppose 15 = -3*f + 8*f, -h + 13 = 4*f. Is -1 smaller than h?
True
Let c = 14/45 + -1/9. Let k = -1 + 2. Is k equal to c?
False
Let b = -126999/535 - -1187/5. Which is smaller: -1 or b?
-1
Suppose -10 = -4*v - k, -k = -2*v + k. Let s(m) = m**2 - 6*m + 7. Let q be s(5). Suppose 2*o + 8 = -q*j, v*j + 0*o = -5*o - 23. Is j > 1?
False
Let y(i) = i**2 - 3*i - 8. Let x be y(4). Which is bigger: 1 or x?
1
Let a = -0.031 - -9.231. Let v = a - 9. Which is smaller: v or -0.01?
-0.01
Suppose -2*a - a = 0. Suppose -2*w + 2 - 8 = a. Are w and -3 unequal?
False
Let r be 16/6*(-36)/16. Let d = -5 - r. Let h = d + -1. Which is bigger: h or 2/3?
2/3
Suppose -2*x = -5*z + 67, 0 = -x - 2*x - 3*z - 48. Which is smaller: -22 or x?
-22
Let q(n) = -n**2 - 10*n + 2. Let d be q(-10). Let a(j) = -j**2 - 3 - d*j**3 + 0*j**3 + 2 - j + 0*j. Let u be a(-1). Which is smaller: 3/5 or u?
3/5
Let b(k) = -k - 24. Let n be b(-5). Which is greater: 1 or n?
1
Let t = 148493 + -45290441/305. Let l = 3/61 + t. Let m = 0 - 1. Which is greater: m or l?
l
Let x be (12/63)/(8/(-12)). Is x > 0?
False
Let l(p) = -p - 2. Let f be l(-8). Let w(b) be the second derivative of -b**5/20 + 7*b**4/12 - b**3 - 3*b. Let a be w(f). Does a = 0.2?
False
Let d = -15.3 + 16. Is d < 1?
True
Suppose 0*p = -p + 4. Let o = -2 + -7. Let w = p + o. Is w at most -4?
True
Let z(r) = r + 4. Let j be z(4). Let c be (-4)/(-16) - (-22)/j. Which is greater: 4 or c?
4
Let p = -5 - -5.03. Which is smaller: p or 0.6?
p
Let r(w) be the second derivative of 0 - 1/20*w**5 - 3*w - 5/6*w**3 - 1/2*w**4 - 1/2*w**2. Let m be r(-5). Is m <= -0.1?
True
Let b = -6 - -9. Suppose 0 = -2*m - 3*j + 15, 4*m - 4 = 2*j - 14. Suppose -3*n = b - m. Which is bigger: -1/9 or n?
-1/9
Let y be 7 + -4 - 46/14. Suppose 5*p + 0*p + 10 = 0. Let f = 3 + p. Which is greater: f or y?
f
Suppose 14*y - 6*y = 24. Does y = 11/7?
False
Suppose 3*t = -0*t - 12. Let k = -12 + 11. Let h be 1/(-1)*k*-3. Is t equal to h?
False
Let l = -2.9 - -1.8. Let f be (-4)/(-8)*-1*2. Is l smaller than f?
True
Let s(h) = h**3 + 10*h**2 + 8*h - 5. Let z be s(-9). Suppose 0 = x + 4*x - 20. Is x <= z?
True
Let g(b) = b**3 - b**2 + b + 1. Let d be g(-1). Which is smaller: -0.5 or d?
d
Suppose 2*i = -3*t + 11, -5*t + 16 = -4*i - 39. Is t at most 7?
True
Let b = -4 - -4. Let l be 3 - (2 + (-86)/(-90)). Is l < b?
False
Let b(c) = 8*c**3 - 2*c**2 + 1. Let o be b(1). Are 37/5 and o nonequal?
True
Let w be (-1)/2*(33 - 33). Which is bigger: 1/159 or w?
1/159
Let p = -187 - -176. Let n = -7 + -9/2. Which is smaller: p or n?
n
Let c = 108/7 - 15. Is c < -2?
False
Let g(u) = 2*u. Let i(y) = -y**2 + 8*y + 1. Let l be i(8). Let o be g(l). Suppose -2*q - o = -q. Is q < -1/2?
True
Let u(c) = 5*c**2 + c - 1. Let q be u(1). Is q less than or equal to -1?
False
Suppose -p - 4*n - 18 = 0, -3*p = -2*p + 3*n + 14. Suppose 146 + 108 = -3*j + 5*r, -92 = j + 2*r. Let z = -179/2 - j. Is p <= z?
True
Let l(b) = -4*b - 4. Let c be l(-3). Let f = c + -3. Let m = f + -4. Is m equal to 1?
True
Suppose 5*f - 3*f + 4 = -5*n, 8 = 5*n - 4*f. Let o = -1 - n. Let s be (-8)/(-12)*2/(-4). Is s != o?
True
Let t(k) = -7*k + 49. Let u be t(14). Is u at least -0.1?
False
Let a = 1135 - 1137. Suppose 6 = 5*x - 2*x. Let w be 1 - x/(-3)*-3. Is w greater than a?
True
Let h = -0.4 + 0.1. Let b = h + -0.7. Let d = -0.1 - -0.2. Does d = b?
False
Let q = -0.3 - -0.2. Which is bigger: q or -6?
q
Let x = 1.9 + -3.9. Let p(g) = g**2 - 4*g - 1. Let y be -2 - 0/(-2) - -4. Let h be p(y). Which is greater: x or h?
x
Suppose 2*b = 3*y + 9, b + b - 3 = -3*y. Let n = 0.38 + -0.08. Which is greater: n or y?
n
Let r be -1*(5 - 4)*51. Which is bigger: -50 or r?
-50
Let a = 621/2 + -2180/7. Let r = 4/7 - a. Which is smaller: 2 or r?
r
Let l(j) = -2*j**3 - 6*j**2 - 3*j. Let w(o) = 3*o**3 + 11*o**2 + 5*o. Let u(g) = -5*l(g) - 3*w(g). Let q be u(3). Let s be ((-11)/(-22))/(2 - q). Is s > 0?
True
Suppose 4*z - 2*i - 12 = 0, -4*i - 7 = -3*z + 12. Which is greater: z or -1/31?
z
Let c be 12/72 + (-1)/2. Is c less than -1?
False
Suppose -2*o - 18 = 3*c, 4*c - o = 17 - 41. Which is greater: -5 or c?
-5
Suppose 0 = 11*o - 6*o + 110. Which is bigger: o or -21?
-21
Suppose 0 = -2*h + 12 + 4. Suppose z + h = -3*z. Suppose 0 = -4*l + 5*l. Which is bigger: l or z?
l
Let p be (-118)/(-8) - (-3)/12. Let o be 23/p - (-2)/(-10). Is o bigger than 2?
False
Let a be (-2)/7 - (-74)/14. Let f be (4/a)/(6/(-45)). Are -5 and f nonequal?
True
Let o = 3 + -4. Let d = 2180/9 + -242. Which is greater: d or o?
d
Let k(r) = -r**2 - 7*r + 3. Let a be k(-7). Let s be a/2*(-3)/(-12). Is s bigger than -1?
True
Let a = -0.5 - -0.58. Let r = -0.92 - a. Which is bigger: 1 or r?
1
Let l = -7 + 6. Which is greater: l or 4/19?
4/19
Let n be (-6)/(-4) + 9/18. Which is greater: 1 or n?
n
Let v = -2/47 - -61/329. Suppose 3*c = 2*c + 5. Suppose 0*r = -c*r. Which is bigger: v or r?
v
Let m(k) = k**2 - 6*k + 3. Suppose b = 6 - 4. Let p be m(b). Which is greater: -6 or p?
p
Let m = 8.9 + -12.9. Is -0.03 less than or equal to m?
False
Let a(u) = 7*u**2 - 14*u + 6. Let r(o) = 3*o**2 - 7*o + 3. Let l(t) = -4*a(t) + 9*r(t). Let v be l(-7). Is 2 greater than or equal to v?
False
Let h be (6/9)/((-4)/6). Let a = h + 0. Let w = 0 + 1/2. Which is smaller: w or a?
a
Let d = 10 + -10.6. Which is bigger: d or -1/2?
-1/2
Let l = 39/2 - 81/4. Is 0 bigger than l?
True
Let d be (-560)/55 - 4/(-22). Which is greater: -8 or d?
-8
Let h = 0 + 0.1. Let l = h - 0.2. Let n = -0.1 - l. Is n equal to -2?
False
Let d = -30 - -10. Let u = 14 + d. Suppose 3*b + 3*f + 38 = -2*f, 3*b - f = -14. Is u bigger than b?
False
Let i be -4 + 6 + -2 + 2. Which is smaller: i or 8/9?
8/9
Suppose 0 = 4*f - 0 + 4. Let g be f - (0 + 1)*-5. Is 1 greater than g?
False
Let m = 39 + -37. Are 2 and m unequal?
False
Let y(r) = r**3 - 4*r**2 - 5*r + 5. Let d be y(5). Suppose 11 + 14 = d*n. Suppose -5 = n*g + 10. Is -2 > g?
True
Let d = 2 + -2.4. Let b = d + 0.33. Is 1 != b?
True
Let s = 58 + 5. Which is bigger: 62 or s?
s
Suppose -3*a = 2*a + 15. Let d be (-4)/((-188)/(-139)) - a. Does 0 = d?
False
Let p = 32 - 33.3. Let a = 0.9 + p. Let o = 0.3 + a. Which is smaller: -2 or o?
-2
Let p(w) = -w - 1. Let a(u) = -4*u - 4. Let y(o) = -a(o) + 3*p(o). Let d be y(4). Is 5 less than d?
False
Let m(q) = -q**2 + 6*q - 5. Let u be (-2)/4 - 18/(-4). Let k be m(u). Suppose 4*a = s + 14, 0*a + 4*s = -a + 12. Is k greater than a?
False
Suppose 5*z - 2*p - 2*p = 17, 0 = 2*p - 4. Suppose -3 + 13 = z*c. Let w = -133/2 - -69. Which is greater: w or c?
w
Let t(h) = 2*h**2 - 2*h - 1. Let s be t(-1). Let y(x) = x**3 + 3*x - s*x**2 + 2 - 4 + 1. Let d be y(2). Is d >= 0?
True
Let v = -352/7 - -50. Is -0.41 less than v?
True
Suppose -3*z - 26 = -5*u + 20, 2*u + 5*z - 6 = 0. Let q be (12/u)/((-2)/(-4)). Let l be (q/9)/(8/(-6)). Which is smaller: 0.1 or l?
l
Let g be (-2)/6 + (-814)/(-12). Let z = -69 + g. Which is smaller: -3 or z?
-3
Let d be (1 + 0)/(5/25). Let a = d - 7. Which is greater: a or -3?
a
Let c = -9 - -7. Let p be ((-7)/c)/7*-4. Which is greater: p or -5/2?
p
Let w be (-72)/80*1/(-3). Is -1 at most w?
True
Suppose -4*y + 3*a = 2, -2*y - 4*a - 8 = -2*a. Which is bigger: 3 or y?
3
Suppose j - 3 - 3 = 0. Let k be (-1 + 1)/(-1 + 2). Suppose j = 3*b - k. Which is smaller: b or 5/6?
5/6
Let n(z) = -z**3 - 4*z**2 + 5*z + 6. Let l be n(-6). Let a = 434/9 - l. Suppose -5*p = -4*h - 9, 3*p - 8 = 3*h - 2. Is p greater than a?
True
Let q = -7 - -10. Let h be (12/(-10))/((-8)/60). Let w = 8 - h. Which is smaller: w or q?
w
Suppose 8 = 4*a - 8. Suppose -2*d + 0*d + 28 = 0. Let f = -10 + d. Is a bigger than f?
False
Let j be (-3)/4 - 3/(-4). Which is greater: 6 or j?
6
Let o(b) = -b**3 + 10*b**2 - 9*b + 2. Let l be o(9). Let r be (-3)/((3/l)/1). Let t be 4/5 + (-3 - r). Which is smaller: 1 or t?
t
Let r be 2 - (2 + -2 + 4). Suppose p = 5*l, 0 - 1 = -l. Suppose 0 = -3*q + f + 8, 0 = -p*q - f + 2*f + 10. Is r equal to q?
False
Let f = 21 + -24. Let r