et c(m) = 7*i(m) - 6*r(m). Let w be c(8). Which is smaller: w or -8?
w
Let y = 6 + -5. Let z be (2/(-6))/(5/3). Is z < y?
True
Let m(f) = -f + 1. Let z be m(1). Let i be -9 - 0/(-1 + z). Let h = -8 - i. Is h equal to 0.4?
False
Let p = -0.13 - -8.13. Let x = -9 + p. Which is smaller: x or 1/10?
x
Suppose -4*q - 125 = -105. Let r(b) = b**2 + 4*b - 4. Let l be r(-4). Which is bigger: q or l?
l
Let h be -2*(4/520)/(1/2). Is h < 1?
True
Let r(i) = -15*i**2 + i. Let s be r(-1). Let q be 4*((-20)/s + 1). Is q < 9?
False
Suppose 8*w + 232 = -64. Is w not equal to -36?
True
Let l be (3 - 1) + 12/4. Let i = -3 - -6. Do i and l have different values?
True
Let s = 794/11 - 72. Let w be (2*4)/(5 - 3). Let a = w + -4. Which is bigger: s or a?
s
Let c be (3 + (-9)/4)*-4. Is c equal to 1/3?
False
Let j = 118 - 824/7. Is j greater than -1?
True
Suppose -1 = -5*c + 9. Let a be (-1 + -1 + c)/1. Which is smaller: a or 1/4?
a
Let l = -86 - -90. Is -4 at most l?
True
Let z = 6 + -4. Let m be 4 - (-2 + z + 3). Does -3/4 = m?
False
Let a = -1.45 - -1.45. Is a less than -6?
False
Let k be 1 + 0 - (-138)/(-126). Let d = k - 8/63. Is d smaller than -1?
False
Let u(f) = -2*f**2 - 4. Let m(p) = 2*p**2 + 3. Let n(x) = 5*m(x) + 4*u(x). Let s(q) = -3*q - 32. Let z be s(-11). Let y be n(z). Which is smaller: 1/4 or y?
1/4
Suppose 0 = 5*p - 4*p + 4. Let i be 2 + 2/p*0. Let g(v) = -3*v - 3. Let r be g(-2). Which is smaller: i or r?
i
Suppose 0 = -2*r, -2*j - 3*j + 20 = -2*r. Let y be (-3 + 3)*(-2)/j. Does -1 = y?
False
Suppose -3*z = 2*q + 62, 2*z = -z - q - 58. Is -18 > z?
False
Let t be (-1)/(0 + (-3)/(-9)). Which is greater: 2 or t?
2
Let h = 1.2 - -8.8. Let j = -5 + h. Let l = -3 + j. Is 2 bigger than l?
False
Let n = -0.29 + 3.3. Let y = n - 0.01. Is 1/4 < y?
True
Let f = 10.12 + 1.28. Let v = 12 - f. Are -2/9 and v non-equal?
True
Let u = 8 - 4. Suppose -2*m - u*h = 2, -2*h - 4 = -2. Let q be m/3*(-18)/(-24). Is q bigger than 1?
False
Let h = 14 - 0. Suppose -v - 1 = -n - 0*n, -2*n + h = 4*v. Suppose 2 = -4*x - v. Which is bigger: x or 1?
1
Let j = -3 - -5. Suppose 2*r = -0*i + 3*i, 0 = -r - j*i + 7. Let x(c) = -2*c - 6. Let w be x(-5). Which is bigger: r or w?
w
Let f(n) = -n**2 - 15*n - 14. Let p be f(-13). Are 10 and p nonequal?
True
Let k = 297/755 + 1/151. Let b = -4 + 5. Let z be b*-1 + 40/25. Which is bigger: z or k?
z
Let z = 229815/2 - 1597293/14. Let u = 850 - z. Let v = u + -35. Which is greater: 1 or v?
1
Let h be (2*3)/(12/18). Let y be (1*919)/(h/(-4)). Let d = y - -408. Which is smaller: d or 0?
d
Let x be 333/(-12) + (-4)/16. Let s be 22*(x/8)/(-7). Are s and 12 equal?
False
Suppose 6 = x + 1. Suppose -12 = z - x*z. Suppose y = -z*y. Is 2 smaller than y?
False
Let u(l) = l**2 - l + 1. Let o(c) = -2*c + 5. Let a(v) = o(v) - u(v). Let w be a(-3). Let s = w - -1. Which is bigger: -1/2 or s?
-1/2
Let z be ((-429)/(-26))/(21/8). Which is smaller: z or 5?
5
Let u = 44 - 43. Which is bigger: u or 2/53?
u
Let g = 9 - 8. Let w = -8 - -8.06. Let q = 0.06 - w. Is q at least g?
False
Let y = -192297 + 37882659/197. Let l = y - 3142/20685. Let w = l - -2/35. Which is bigger: 0 or w?
w
Let j = 160 + -804/5. Is j < -2?
False
Let f = -194 + 193. Are f and -2/37 unequal?
True
Let f = -10 - -9. Which is smaller: -8/5 or f?
-8/5
Let m = -9 - -21. Let p = 10 - m. Let n be (3 + -2)*(p - -1). Is n less than 0?
True
Let w = -79/10 - -8. Which is bigger: -1 or w?
w
Let z = -2 - 0. Let q = 1688/5 + -339. Which is bigger: q or z?
q
Let z(h) = 3*h**2 + h + 3. Let k be z(3). Suppose -75 = 3*f - 3*t, f - 5*t = -2*t - k. Is f smaller than -21?
False
Suppose -3*u + 17 = -1. Suppose -2*c + u = f - 5, c - 2*f - 8 = 0. Let l be (-2)/(c + -1 + -3). Which is greater: -2/5 or l?
-2/5
Let s(w) = -w**2 - w + 2. Let c be s(-2). Let j = -21 - -20.6. Is c < j?
False
Suppose 2*b + 0*b + 17 = -3*h, 5*b + 5 = 0. Let l = -3 - h. Let d be l/(-7) + 9/7. Which is greater: 1/4 or d?
d
Suppose 12 = -5*b + 4*c, -3*b + 5*c - 15 = -0*b. Let t = -12914/285 - -136/3. Let o = 17/95 + t. Which is smaller: b or o?
b
Let b(v) = v**3 - 13*v**2 - v + 15. Let i be b(13). Is 2 less than i?
False
Let k = 36.97 + -37. Is k at most as big as -3?
False
Let f(v) = -v**2 + 9*v + 11. Let d be f(13). Is d >= -40?
False
Let t be -2*1 - (1 - 1). Is t < -11/6?
True
Suppose -23 + 4 = -s. Is s >= 18?
True
Let x = -2 + 1. Let f = -13 - -17. Let h be (2 - (f - 2))/(-3). Is h at least as big as x?
True
Suppose 2*v - 80 = 3*h, 3*h - 2*h = -5*v - 55. Let q be 24/50*h/12. Is -1 equal to q?
False
Let s(g) = g**2 - g + 13. Let k be s(0). Is k less than or equal to 14?
True
Let r(t) = -t**2 + 3*t + 5. Suppose -4*l = -5*l + 4. Let m be r(l). Which is smaller: -2 or m?
-2
Let y(x) = x**3 + 5*x**2 + 5*x - 1. Suppose -4*w - 13 = 3. Let m be y(w). Which is smaller: -4 or m?
m
Let x be 11 + (-1 - (-1 + 1)). Let l = 3.3 - 3.2. Which is greater: x or l?
x
Let k = -0.03 + 5.03. Let h = 4.8 - k. Let r = 0.1 + h. Which is smaller: 0 or r?
r
Let b(j) = -j - 8. Let v be b(-10). Let i(f) = -2*f - 4 + 4*f**2 - 3*f**v + 0. Let y be i(3). Do y and 0 have different values?
True
Suppose -3*s - 2*h = -5*s + 14, -5*h + 10 = 4*s. Suppose -3*i = -s*i. Is -3/5 != i?
True
Let o = 10 - 7. Suppose -25 = o*y - 7. Is -5 greater than y?
True
Let x = 1.9 - 2. Let i be (4/10)/(4/(-20)). Let g be i/((-1)/(-1) + 1). Is x greater than g?
True
Suppose -2*b = -3*n - 26 + 5, -32 = 4*n - 4*b. Let i = 50 - 55. Are i and n nonequal?
False
Suppose 22*z = 9 + 299. Is z at least as big as 63/5?
True
Let z(i) = 2*i**2 + 3*i + 3. Let d be z(-2). Suppose d*w + 2 = 3*w, -3*p - 6 = 3*w. Which is smaller: p or -2?
-2
Let g = 144/73 + -5273/2044. Let f = -6/7 - g. Is f greater than or equal to 0.1?
False
Let g be ((-50)/60)/((-1)/3). Let w = 6 + -3. Which is smaller: w or g?
g
Suppose a - 8 = 3*s, 4*a + 1 = s - 0. Is 2/43 != a?
True
Let o = 12 + -6. Let m be -3 + o + (-3 - -2). Which is greater: 0 or m?
m
Let l(y) be the third derivative of 0*y + 1/120*y**6 + 0 + y**2 + 1/10*y**5 - 2/3*y**3 - 1/24*y**4. Let o be l(-6). Which is bigger: o or 4?
4
Let d = -2 + 2. Let u = -0.8 - -0.5. Let s = u + 0.4. Which is smaller: d or s?
d
Let g(p) = p**2 + 5*p + 4. Let r be g(-4). Does -2/11 = r?
False
Let r be 21/(-4*2/4 - -3). Is r less than 20?
False
Let t be ((-104)/117)/((-2)/(-3)). Let f be 5 - (1 - (2 - 2)). Let i(j) = -j**2 + 4*j. Let v be i(f). Is t greater than v?
False
Let b(g) = -g**2 - 5*g - 4. Let r be b(-4). Which is smaller: -2/115 or r?
-2/115
Suppose -6*k - 17 = 1. Is k < -46/11?
False
Let j be ((-1)/(-8))/((-7)/(-70)). Is 1 at least as big as j?
False
Suppose -2*b - 4*d + 22 = 0, 0 = 3*b + 2*d - 5*d + 3. Suppose b*c = -0*c. Which is bigger: -4/3 or c?
c
Let x(p) = p**3 + 6*p**2 + 4*p. Let r be x(-5). Let a be 10/75 - (-1)/r. Which is smaller: 2 or a?
a
Suppose 5*n = j - 6*j - 50, 2*n = 4*j - 14. Which is smaller: n or -8?
n
Let w(h) = -3*h**2 - 2*h + 2. Let j be w(1). Is j at least -3?
True
Suppose -j - j - 3*c - 4 = 0, 4*j - 3*c = 10. Is j less than or equal to -1.4?
False
Let m = 11 + -7. Suppose 10 + 10 = -m*k, -4*a = -4*k - 12. Is a < -2?
False
Let y(i) = 2*i - 3. Let d be y(3). Let b be (-1)/d - (-2)/6. Let q be 5*(-2)/(-4)*150/(-875). Is q greater than or equal to b?
False
Let z = 44 - 307/7. Suppose 0 = 4*g - 2 - 6. Let b be (1/(-2))/(g/(-4)). Which is smaller: b or z?
z
Let d = -44 - -8. Is d less than 2/3?
True
Let u = 5 + -6. Is -1 less than or equal to u?
True
Suppose -38 = 3*k - o, 4*o = 2*k + 2*k + 64. Is -11 < k?
False
Let j = 111 - 118. Is -8 greater than or equal to j?
False
Let s(w) = 2*w**2 + 6*w + 1. Let p be s(-5). Do 21 and p have different values?
False
Let c = -0.1 + 0.1. Let l = c + -4. Let b = 4 + l. Does -0.1 = b?
False
Let k be 3/((0 - -1)*1). Suppose n - 5*n = 2*g + 14, n + k*g = -16. Are n and -1 non-equal?
False
Let u = -9.9 - -10. Let r = 22 + -14. Suppose -c = 2*x + c - r, 0 = 3*x - 5*c + 28. Which is smaller: x or u?
x
Suppose -v - l = 3*v - 8, 4*v - 8 = -4*l. Let b be v/(-8)*0/(-2). Do 0 and b have different values?
False
Suppose 5 = g + g - q, 3*q + 13 = 4*g. Which is smaller: 3 or g?
g
Let z(v) = -v**3 - 5*v**2 + 5*v - 6. Let o be z(-6). Suppose 0*g = 4*g - g. Is o >= g?
True
Let k be (33 - 0)*8/(-16). Which is smaller: k or -18?
-18
Let h(w) 