as big as n?
False
Let s(b) = 3*b - 18. Let r be s(10). Which is smaller: r or 11?
11
Let d(o) = -o**3 - 6*o**2 - 8*o - 8. Let j be d(-5). Is 7 greater than j?
False
Let n(s) = s**3 + 8*s**2 - s + 2. Let a be n(-9). Let b = a + 133/2. Which is smaller: b or 0?
b
Let g = -14 - -14. Is -5 < g?
True
Suppose -6*o + 5*o = 4. Let c(q) = -q**2 - 4*q + 5. Let a be c(o). Are 5 and a non-equal?
False
Suppose 2*l + 3*h + 2*h = -15, 5*h = -l - 15. Which is greater: 4/9 or l?
4/9
Suppose -3*k - 3*p - 13 + 49 = 0, 0 = -2*k - 4*p + 32. Suppose m - k = 3*m. Which is smaller: m or -5?
-5
Let b be 2/7 + (-9)/7. Let s = -2 + b. Suppose -12 = 16*d - 15*d + 2*x, 3 = d - x. Is d smaller than s?
False
Let p(m) = -m**2 + 4*m - 3. Let h be p(3). Is -1/29 less than or equal to h?
True
Let d = 1 + 4. Suppose d*x - x = 4. Let h = -6 - -10. Is x at least as big as h?
False
Let j = 1.1 - -11.4. Let m = -13 + j. Which is greater: 1 or m?
1
Let f = 1/78 + -43/312. Suppose -21 - 6 = -3*r. Let v = r - 10. Is f smaller than v?
False
Let b be 6/9*(-18)/44. Let t(o) = -o - 15. Let x be t(-15). Is x bigger than b?
True
Let n(r) = 65 - 35 - 29 - r**2 - r. Let p be n(1). Which is smaller: -1/2 or p?
p
Let l be 130/4 + 6/12. Let w be 2 + (-6)/l*8. Which is smaller: w or 1?
w
Suppose 2*c - 6*c = 0. Let o = -58 - -235/4. Are o and c nonequal?
True
Let k = -9.9 + 10. Let y = k + -0.3. Is y <= -4?
False
Let r(i) = 4*i. Let l be r(0). Suppose -3*s + 0*s + y = -24, -30 = -4*s + 2*y. Let v be -1 + s/8*2. Is v > l?
True
Let b be (-13 - -11) + (15 - -1). Which is bigger: -2 or b?
b
Suppose -3*h + 87 = 3*c, 3*c + 4*h + 0*h = 84. Suppose 3*w - c + 77 = 0. Let v be (2/(-16))/((-5)/w). Is v less than 0?
True
Let z(c) = c**3 - 11*c**2 + 15*c + 15. Let d be z(9). Which is smaller: -0.2 or d?
d
Suppose 0 = -2*v + 7*v - 20. Suppose -5*y - 4 = -2*g - 3*y, -v*g - 5*y = -26. Is 3 at least as big as g?
False
Let g = 3 + 2. Which is bigger: g or 6?
6
Let g be (-6 + 8)/(4/(-26)). Let z = g - -13. Let v = 1 - 1. Are z and v non-equal?
False
Let j(v) = -8*v**3 - v**2. Let l be j(1). Let z be 6/15 - l/15. Which is greater: z or 8/7?
8/7
Let p = 20 - 19. Let u = p - 1. Which is smaller: u or 4/5?
u
Let p(y) = -11*y**3 + 2*y**2 - y. Let z be p(1). Suppose -12*s = -6*s + 66. Which is smaller: z or s?
s
Suppose -r - 6*x - 28 = -8*x, 5*r + 3*x + 101 = 0. Are -20 and r nonequal?
True
Let x(w) = 1 + 0*w + 2*w - 6*w**2 - w**3 - 7*w. Let c be x(-5). Suppose o + c + 1 = 0. Is 1 less than o?
False
Let d = 7 - 6.9. Is d less than or equal to -0.04?
False
Let h = -0.06 + 0.17. Let n = h + -5.11. Suppose -18 = 9*v - 18. Which is smaller: n or v?
n
Let p(j) = 2*j**2 + 4*j + 3. Let r be p(-2). Let g = r + -2. Which is smaller: g or -2/13?
-2/13
Let t(w) = w**3 + 9*w**2. Let p be t(-9). Suppose p = 2*a - 0 + 4, -5 = r + 5*a. Which is greater: 6 or r?
6
Let j = -2 - -5. Let l = j + -2. Which is greater: l or -1/2?
l
Suppose -14*d + 2*d = 0. Is -6/11 at least as big as d?
False
Suppose -b + 3*b + 20 = 0. Let d be (-1)/1 - b/14. Which is bigger: 1 or d?
1
Let f(z) = -z**3 + 5*z**2 + 2*z - 4. Let q be f(4). Suppose -32 = 4*j + q. Which is greater: j or -11?
-11
Let l be 13/5 + (-6)/(-15). Suppose 0*g + 4*k = 3*g + 11, -l*g - 5 = -k. Let x(v) = v**3 + 9*v**2 + 7*v - 9. Let j be x(-8). Are g and j unequal?
False
Let n(s) = s**2 + 7*s. Let w be n(0). Which is smaller: w or -3/64?
-3/64
Suppose 5*a - 2*a = -2*t - 167, 5*t = 3*a + 160. Let q = a - -221/4. Which is greater: 0 or q?
q
Let s(y) = -9*y - 1. Let u be s(-4). Suppose 5*b - u = -10. Suppose -5 = b*l - 0. Which is smaller: -2/9 or l?
l
Let m be 1 + 1 - (-2092)/18. Let c = 118 - m. Let g = 0 + 0. Does c = g?
False
Let o = -0.1 - 0. Let b = 9 - 11. Is b != o?
True
Let t = 4/15 - 2/45. Suppose -2*s - k + 7 + 3 = 0, -2*s + 22 = 4*k. Suppose 2*i = l + s, 2*i + 27 = l - 6*l. Which is bigger: t or i?
t
Let t = -29 - -31. Is t bigger than 3?
False
Let n = -6.5 - 0.5. Let x = 7.2 + n. Let q be ((-2)/3)/((-4)/6). Do q and x have the same value?
False
Let x be (-6)/(-2) - (-1413)/(-21). Let m = x - -64. Which is smaller: m or 3/5?
m
Let k(j) be the second derivative of -j**5/20 - j**4/3 + j**2/2 - 2*j. Let s be k(-4). Let r be (2/(-1))/(-10 + 15). Which is smaller: s or r?
r
Let v(q) = q**3 + 5*q**2 + 4*q - 4. Let s be (-34)/8 + (-3)/(-12). Let z be v(s). Which is smaller: z or -5?
-5
Let m be 2/(-8) + (-186)/24. Let g be m/(-21)*45/(-20). Which is smaller: g or 0?
g
Let w be (-9)/5*12/18. Is -1 smaller than w?
False
Suppose 5*w - 6*w = -4, 0 = -r + 5*w - 17. Suppose -t + r = 2*t. Which is bigger: 2/5 or t?
t
Let m = -121 + 123. Let u(i) = -i**2 - 5*i + 3. Let h be u(-5). Is h not equal to m?
True
Let b = -2.1 + -1.9. Which is bigger: b or -0.1?
-0.1
Let j(k) = -k**2 + 7*k + 2. Let s be j(7). Do s and 8/7 have the same value?
False
Let l = 11.2 + -11. Is 2/9 greater than l?
True
Suppose -2*s + 3*x - 54 = -5*s, 5*s - 140 = 5*x. Which is greater: s or 21?
s
Let r be (-1*3 - -1) + 5. Suppose -4 = -5*x - 5*w + 1, -r*x + 3*w = 3. Suppose 15*f = 11*f + 8. Is f greater than x?
True
Suppose -n = 5*g - 13, n + g - 6 = -1. Let h = 11 - 5. Let y = 8 - h. Which is smaller: y or n?
y
Let v = 46 - 38. Is 37/5 <= v?
True
Let h be 8/20*3/(-33). Is h at least as big as -1?
True
Suppose -x = 3 - 0. Let k = x - -4. Is k equal to -2/9?
False
Let s be 10 - (0/1 - 0). Let z be (-2)/5 + 4/s. Suppose 5*g = j + j - 20, -5*g = -3*j + 25. Does g = z?
False
Let g = -2501/8 - -313. Let l be (2/8)/(3 + -4). Which is bigger: l or g?
g
Let f = -0.08 - 3.92. Let v = 83.1 - 79. Let u = f + v. Which is smaller: 0 or u?
0
Let g = 25 + -27. Which is smaller: g or -8/11?
g
Let l = 10 - 11. Do l and -1 have the same value?
True
Let o = 0 + -1. Let m(p) = p - 2. Let t be m(2). Suppose t = -v - n + 1, 2*v - 3*n + 3 = -0*n. Is v less than o?
False
Suppose -5 = 4*h + 43. Which is greater: h or -15?
h
Let k = 6.14 + -6. Which is smaller: -1/4 or k?
-1/4
Let x = 7 - 13. Let f = x + 4. Let u be -1 + 0/2 + f. Is -1 less than u?
False
Suppose -5*i = -i - 24. Let b = i - 5. Is 0 less than b?
True
Suppose -2*z = -3*q - 10, -5*z = -4*z + 5*q + 8. Suppose 0 = 3*h + z*f - f, 5*f = h. Which is bigger: h or -0.1?
h
Let k(a) = -5*a**3 - 3*a**2 + 2. Let q be k(-2). Is q at most 31?
True
Let a be ((-4)/(-6))/(2/(-6)). Let t be 1 - 14/(-18)*-3. Is t less than a?
False
Let i be (1/2)/((-26)/533). Are i and -9 unequal?
True
Let d(t) = 2*t**2 + 9*t + 4. Suppose -8*a = -4*a + 20. Let h be d(a). Are 9 and h non-equal?
False
Let s = -3/8 - -1/8. Let w(q) = q + 7. Let g be w(-7). Suppose g = -3*n + n. Are s and n unequal?
True
Let j = -0.24 + 0.04. Let z = j + 0. Let t be (-1)/1 - (-1)/2. Is t greater than or equal to z?
False
Let p = -36/115 - 2/23. Which is smaller: p or 1?
p
Let g = 52 + 36. Let i be ((-2)/4)/((-4)/g). Is 12 less than i?
False
Let g(u) be the first derivative of u**4/2 + u**3/3 - u**2/2 + 3. Let b be g(1). Suppose -2*p + p = b. Is -3 > p?
False
Let h = -29 + 25. Which is smaller: h or -8?
-8
Let g = 2/843 + -1409/1686. Let b be 6 + -9 + (-14)/(-4). Let z = b + g. Which is greater: z or 1/2?
1/2
Let j be (2/4 - -4)*-4. Which is smaller: j or -17?
j
Let f = 5 + 1. Let l be 3 - (2 + -2) - (1 - -7). Let u = l + f. Is u <= 1?
True
Let h = -817/6408 + 2/801. Let q be 0 + 1/(-1)*-1. Which is smaller: h or q?
h
Suppose -f + 0*f + 2 = 0. Are f and 0 non-equal?
True
Let m = 0.09 - 1.29. Let p = m - -0.2. Is -3 at least as big as p?
False
Let k be (-4)/(-6) - 11/3. Let f = 7 + k. Is 5 bigger than f?
True
Let m = -3569/11 - -325. Let r(y) = -y**3 + 2*y**2 + 3*y. Let z be r(3). Does m = z?
False
Let w be (-42)/8 - 2/(-8). Suppose 52 = -11*q + 8. Is w smaller than q?
True
Suppose -14 + 24 = -d. Which is smaller: d or -0.9?
d
Let h = 28 - 25. Is h < -1?
False
Let a = -234 + 16613/71. Which is bigger: -1 or a?
a
Let p = 308/39 - -1736/195. Let y = 50/3 - p. Let j be (1*-1*1)/1. Which is smaller: j or y?
j
Let z(v) = -v**3 + 6*v**2 - 3*v - 2. Let t be z(4). Let b = -9 + t. Suppose -d + 3 = -m, -3*m - b = -4*d - 2. Is d bigger than -2?
False
Suppose -5*k = 5*f - 60, -3*k = -4*f - 4 - 11. Which is greater: 10 or k?
10
Let v be (-5)/4*(-12)/170. Let b = v - 13/51. Does b = -1?
False
Suppose -2*r + 2*f = 2, 2*f = r + 4*f + 1. Let o be -2 + r - (-99