n, -5*m = -15. Which is greater: k or -4/7?
-4/7
Let l be (-294)/(-14) + (1 + 2)*-1. Is -4 equal to l?
False
Let o = 14.7 - -0.3. Let r = o + -10. Let x = r - 4.8. Which is greater: x or 1?
1
Let n(m) be the second derivative of -m**5/60 + m**4/12 - 3*m**2/2 + m. Let b(g) be the first derivative of n(g). Let c be b(2). Is c at least as big as -3?
True
Let s = 15 + -5. Let r = -9 + s. Does -2 = r?
False
Let a(f) = -3*f + 66. Let i be a(-16). Is 114 < i?
False
Suppose 0 = 4*z - 10*z - 6. Is -4.2 smaller than z?
True
Suppose 2*w = -3*w - 20. Let c = 4 + w. Let i be 1 + c - (-21)/(-15). Which is smaller: i or -2?
-2
Suppose 0 = -3*g - 2*g - 15. Which is bigger: -27/7 or g?
g
Let v(r) = r**3 + r**2 + 4*r + 3. Let m be v(-2). Let l = m + 11. Are l and -0.1 non-equal?
True
Suppose -4*i = 2*y + y + 1, 4*i - 5*y + 41 = 0. Which is bigger: i or -0.1?
-0.1
Let s(m) = m**3 + 12*m**2 - m + 4. Let y be s(-12). Which is smaller: 17 or y?
y
Let b(f) = f**3 - 6*f**2 + 6*f - 12. Let d be b(6). Does d = 21?
False
Let y = 7 + -11. Let o = 1.2 - -0.8. Let w = o + y. Are w and 0 non-equal?
True
Suppose 15 = 7*i + 8. Is i != -1/29?
True
Let p = -2 + 1.2. Let o = p + 0.7. Is o > 1?
False
Let o be 1*(1 + -2 + 1). Let i = -171 - -858/5. Does o = i?
False
Let v be 0 + -4 + 1 - -6. Suppose 3*h - 3 - v = 0. Let n be 3/102*(h + 2). Which is smaller: n or -1?
-1
Let o be -3 + 3 + 0 - 0. Let b be (-33)/(-7) - (-12)/42. Let f = b + -3. Which is smaller: f or o?
o
Let w(m) be the first derivative of 3*m**2/2 - 2. Let h be w(1). Let o(i) = i - 2. Let t be o(h). Is t at most 2?
True
Suppose 5*m - 11*s + 12*s = 10, 5*m + 3*s = 20. Is m at least 6/67?
True
Suppose -3*h + 17 = -4*b + 5, -4*h - 2*b = -16. Suppose -4*a = 2*j - 4*j + 2, -h*j = -20. Which is smaller: 0 or a?
0
Let j(a) = a**2 - 5*a - 10. Let z(r) = -r**3 - 5*r**2 - 3*r + 3. Let k be z(-3). Let h be (-5)/(-30) - 41/k. Let l be j(h). Is l not equal to 3?
True
Let n(o) = -o - 2. Let x be n(0). Let w = 1 + 0. Suppose 2*z + w = -m - 4, z = 5*m + 14. Is z equal to x?
False
Let g = -1 - 5. Let p be (-1)/2 + g/(-12). Suppose p = -v - 1 + 4. Is 3 at most as big as v?
True
Let i(j) = 2*j**2 - 2*j - 1. Let z be i(3). Suppose -2*q + 10 = 2*f, 0 = -2*q + f - 2*f + z. Let b be (q/10)/(9/6). Is b > -2/3?
True
Let f be 7/21 + 73/15. Is f <= 4?
False
Let n be (5 + -2)*(-705)/45. Is n bigger than -48?
True
Let h be ((-36)/(-14))/(2/14). Suppose -u - 4*u = -3*i - 20, i = -5*u. Let b be u + (h/14 - 2). Which is smaller: b or 6/11?
b
Suppose 4*r - 18 = -2*l, 0*r = 3*l - r + 8. Is l > -6?
True
Let s = -9 + 29/3. Suppose 12*y = 11 + 13. Are s and y nonequal?
True
Let r = 48 + -34. Let s(g) = 2*g - 1. Let z be s(7). Is z < r?
True
Suppose -5*j + 14 = -v - 7, -1 = v. Let s be (-1)/j + 5/4. Let a = -136 - -815/6. Is a less than s?
True
Suppose 0 = -4*l - 4*g - 32, 2*g - 4*g = 5*l + 34. Let b(o) = -3*o**3 + 0 + 7*o**2 + 1 + 4*o**3 + 6*o. Let d be b(l). Is d less than 1?
False
Let t be 3/(-6) + (-1)/(-2). Let c be (0 - -2)*(-7)/84. Is t at most as big as c?
False
Let p be (-15)/4 + 1/(-4). Let g be p + 2 + 0 + 10. Suppose 0 = -4*y - 4*k - k + 11, y + 3*k = g. Which is smaller: -2 or y?
-2
Let g be (-22)/(-6) + -4 - 4/6. Suppose 3*w + 2*w = 10. Let n = -3 + w. Are n and g non-equal?
False
Suppose -9*r = -5*r - 12. Suppose f + r*f = -4. Let n = 237 - 2137/9. Is n greater than or equal to f?
True
Let x(g) = g**3 + 4*g**2 - 6*g - 5. Let d be x(-4). Let v = 18 - d. Which is greater: v or 3/10?
3/10
Let s = 0.1 - -3.9. Let w = -3 + 7. Let t = w - s. Which is bigger: t or 1?
1
Let u(l) = l**3 - 5*l**2 + 4*l + 2. Let f be u(4). Let b = f + -3. Which is smaller: 1/11 or b?
b
Let x = -3 + 4. Suppose x - 9 = 4*a. Let b be ((-2)/(-1))/(a - 15). Which is smaller: 1 or b?
b
Let u = 60 + -73. Is u less than 1?
True
Suppose 5*m + 85 = 5*f, 0 = -4*m - 5*f + 29 - 97. Which is smaller: m or -16?
m
Suppose -3*l + 68 + 4 = 0. Which is smaller: l or 23?
23
Let g = 91771 - 1834877/20. Let p = g - 107/4. Let a = 45 - 313/7. Is a at most p?
True
Let j be 20/5*(0 - 1). Let v(h) = -2*h**2 - 2*h + 1. Let k be v(-2). Which is smaller: k or j?
j
Suppose -5*v - q = 622, 4*v = 5*q - 231 - 255. Let s be v/(-88) + (-1)/2. Which is bigger: s or 2?
2
Let g(f) = f - 1. Let o be g(6). Suppose 2*v = o*c + 2 + 13, -5*v + 20 = 5*c. Which is smaller: c or -1/3?
c
Let a(x) = x**3 - x**2 + 2*x - 1. Let u be a(1). Is 3 > u?
True
Suppose 14 = 5*u - 4*z, 0 = -2*u - 4*z - 0*z. Suppose -g - u*g = 0. Let f = -1 - -0.8. Which is smaller: g or f?
f
Suppose 0*b - 2*o = 3*b + 3, 0 = 3*b - 3*o - 12. Which is smaller: b or 7/3?
b
Let x = 107 + -133. Which is smaller: x or 1?
x
Let j = 488977/22686 - 1223/57. Let n = -221881/1990 + j. Let s = n - -111. Which is greater: s or -1?
s
Let q(i) = i**3 + 8*i**2 + 5*i - 14. Let b(a) = -a**3 + 11*a**2 + 11*a + 5. Let d be b(12). Let x be q(d). Which is greater: -1 or x?
x
Let p = 859/9 + -96. Let w = 7/45 + p. Is w smaller than 8?
True
Let n be (1 + (-64)/22)*60/90. Which is greater: n or 0?
0
Let o = 4 + 0. Let w = 3/47 + -115/329. Which is bigger: w or o?
o
Let c = 2153215 - 111963827/52. Let w = c + -257/4. Is w greater than or equal to 1?
False
Suppose 20*s - 10 + 10 = 0. Which is bigger: -1 or s?
s
Suppose 0 = 5*y - y. Let x(f) = f - 1. Let o be x(y). Let l be (-10)/(-4)*o/5. Which is bigger: 0.1 or l?
0.1
Let r be 3 + (0 - 108/15). Let m = -5594349/55 + 101720. Let l = m + r. Which is greater: -1 or l?
l
Suppose 3*z - 3 = 0, -3*z = 3*b - z - 11. Suppose -v = b*v. Do v and 0 have the same value?
True
Suppose 2*y = 7*y. Is 1 less than or equal to y?
False
Let y be -4 + 3 - 6 - 0. Let w be 4/y - (-2)/7. Let u(x) = -x**3 - 4*x**2 + 4*x - 5. Let i be u(-5). Which is smaller: i or w?
w
Let c = 21.89 + -1.99. Let k = c - 20. Which is bigger: k or -0.02?
-0.02
Let l = -1019224 + 6099977/6. Let r = l + 2553. Let z = r - -355/42. Which is greater: z or -0.1?
z
Let c = 0.6 + -3.1. Let k = c + 1.8. Let g = -0.4 - k. Which is greater: 1/3 or g?
1/3
Let k(c) = -c**3 + 6*c**2 - c + 7. Let d be k(6). Let g(y) = -y - 5. Let a = -18 + 11. Let o be g(a). Which is smaller: d or o?
d
Let k(q) = q - 19. Let a be k(21). Which is smaller: 5/4 or a?
5/4
Let g = -82/5 - -143/5. Let i = -12 + g. Let y be -6 + (-2 + 6 - -1). Which is greater: y or i?
i
Let d = -53 - -54. Which is smaller: d or -2/51?
-2/51
Let h = 3.5 - 0.6. Let m = -3 + h. Is -1.1 > m?
False
Let y = -0.02 + -2.98. Let g = 0.05 + -0.05. Let n = g - 0.2. Do n and y have the same value?
False
Let r = -1646 - -26345/16. Does 2 = r?
False
Let h = -26157/52 + 503. Which is bigger: h or 1?
1
Let x = 59/506 + 3/46. Which is greater: 1 or x?
1
Let p = -3291/13 + 253. Let u(t) = -2 - t - 3*t + 5*t + 9. Let g be u(-6). Is g smaller than p?
False
Suppose j + 0 = -10. Let y = -4 - j. Is 6 less than y?
False
Let w = -16.61 + -0.39. Is w greater than -0.1?
False
Let o = -7 + 6.7. Let i = o + 0.5. Which is smaller: 0 or i?
0
Let a be (9/(-6))/(6/16). Let q(f) be the second derivative of -f**3/6 - 5*f**2/2 + 18*f. Let x be q(a). Is -1 not equal to x?
False
Let m(t) = t**3 - 3*t**2 - t - 2. Let n be m(3). Let r = 3 + n. Which is bigger: 0 or r?
0
Let j(d) be the third derivative of 2/3*d**3 + 0 - 1/24*d**4 - 4*d**2 + 0*d. Let c be j(4). Is 0 not equal to c?
False
Let z = 44687/121710 - 2/4057. Let v = -3/10 - z. Which is bigger: -1 or v?
v
Suppose 0*i + 5*x = -3*i + 12, 0 = 5*i + 5*x - 10. Let z be 1 + (-17)/16*1. Which is bigger: z or i?
z
Let j be (-10)/(-6) + (4/6)/1. Which is smaller: 1 or j?
1
Let y = 2.4 - 3.3. Which is bigger: y or -1/3?
-1/3
Let j = -93 - -93. Let v be 6/(-14)*(-1)/(-2). Which is smaller: v or j?
v
Let m(o) = 2*o**2 - 3*o + 1. Let u be m(2). Suppose 4*x - 18 = -u*r - 0, -3*x + 13 = 2*r. Suppose -r*d + 2 = -0*d. Which is bigger: d or 2?
2
Let j(i) = i**3 - 28*i**2 + 25*i + 54. Let z be j(27). Is z < 5/16?
True
Let r(s) = -s**2 - 2*s - 1. Let w be r(-2). Let j be 28/160 - 1/(-5). Do j and w have different values?
True
Let t(v) = v**3 - 9*v**2 + 7*v - 2. Let j be t(8). Is -10 <= j?
True
Suppose -4*z - 13*z + 17 = 0. Let m = -70/11 + 851/132. Is z >= m?
True
Let r = 0 - 1. Let s = 88 + -92. Is r at most as big as s?
False
Suppose 2*f = 26 - 20. Which is greater: 9 or f?
9
Let m be 3/(-12) - 14/8. Let b be 