 Let c be w*(2 + -3 + -1). Let k be 3/6*(-16)/c. Is 2 > k?
True
Let x(u) = -7*u + 6. Let k be x(7). Let d = 13 + k. Let f be 2/10 + (-84)/d. Which is smaller: 3/2 or f?
3/2
Let q(n) = n - 5. Let o be q(8). Suppose -2*w - o*g + 19 = 0, 0*w - 4*w - 3*g = -29. Suppose -w*l - 5*h + 4 + 1 = 0, -2*l - 3*h = -5. Which is greater: l or -1?
-1
Suppose -1 = -3*i - 4. Let s(g) be the third derivative of g**5/60 - g**3/6 - 3*g**2. Let j be s(i). Is 1 >= j?
True
Let r(c) = 0 - 2*c**2 + 3*c**2 - 11 + 4*c. Let d be r(-6). Which is bigger: d or -3/10?
d
Let p = 10 + -13. Let k = -4 - p. Is k equal to 1/9?
False
Let s = 37/22 - 189/110. Which is greater: s or 1?
1
Let c(v) = -v**2 - 5*v - 1. Let t be c(-4). Let i(o) = -o**2 - 4*o + 5. Let y be i(-5). Suppose -z - 3*z + 8 = y. Which is bigger: z or t?
t
Suppose 0 = q - 5*q + 4*m - 16, m = -q + 6. Let o = 151/212 - -2/53. Is o greater than q?
False
Let q(k) = -2*k**2 - 19*k - 8. Let o be q(-9). Which is smaller: o or 1/29?
1/29
Let n be ((-60)/14)/(18/12). Let m = n - -18/7. Which is greater: m or 0?
0
Let q = 49 - 51. Is q <= -8?
False
Let s = -27 + 28. Which is smaller: s or 3?
s
Let b(p) = p - 1. Let v be b(2). Let k = v + -1. Suppose 5 = 12*q - 7*q. Is q less than k?
False
Let m(w) = 10*w**2 - 3*w - 2. Let l be m(4). Let k be l/9 - (-4)/(-18). Is k <= 15?
False
Let h(v) = -v + 12. Let n(t) = 6*t - 61. Let j(z) = -11*h(z) - 2*n(z). Let w be j(-11). Let q be w*(-1)/3*0. Is q at most 0?
True
Suppose -3*f - 2*z - 1 - 4 = 0, 0 = -f - 3*z + 3. Which is smaller: f or -2?
f
Suppose 0*c = -5*c + 2*q, 3*c = -2*q - 16. Let r be 1 + (c/(-1) - 3). Is r <= 3?
True
Let u = -2.63 - 2.51. Let x = u + 0.14. Let m(b) = b**3 + 7*b**2 + 6*b + 1. Let h be m(-6). Is x bigger than h?
False
Let j = 12 - 25. Which is smaller: -1 or j?
j
Let b = 1/147 + 143/588. Is b >= 3?
False
Let g = -6 - -6.03. Which is bigger: 2/5 or g?
2/5
Let u = -2 - -2.5. Let s = -13.5 + 16. Let p = s + u. Which is smaller: p or 1?
1
Let k(n) = -n**2 - 5*n - 4. Let s be k(-4). Let i(z) = -z + 8. Let r be i(-6). Let u be r/(-18) + (-18)/81. Which is smaller: s or u?
u
Let c be (0/(-5))/(2*-1). Suppose c = 2*r - 1 - 1. Which is bigger: 1/19 or r?
r
Let s(k) = k**2 - 17*k - 31. Let r be s(20). Is 29 smaller than r?
False
Let j(s) = s**3 - 7*s**2 - 9*s + 8. Let z be j(8). Let d be ((-2)/6 + -1)/2. Which is smaller: z or d?
d
Suppose -20 = -5*g - f - 5, -10 = -2*f. Which is smaller: 3 or g?
g
Suppose -10 = -2*f + 2. Let x(w) = -3*w - 25. Let k(u) = 24*u + 201. Let l(b) = 4*k(b) + 33*x(b). Let d be l(-9). Is f less than or equal to d?
True
Let v be ((-8)/(-6) + -1)*1. Suppose 0 = 2*q + 2*g, -g - 10 = 5*q + 2*g. Let p = 4 + q. Is v >= p?
True
Let j(b) = -b**3 + 3*b**2 - 3*b - 3. Let f be j(3). Do f and -11 have the same value?
False
Let t be (-46)/12 + (-6)/36. Which is bigger: -7 or t?
t
Let v(d) be the first derivative of d**3/3 - 3*d**2/2 - d + 3. Let i be v(3). Let j be (-22)/(-143) + (-136)/546. Which is bigger: j or i?
j
Let b = -20 - -13. Which is greater: -9 or b?
b
Suppose 2*d + 2*d = 200. Let k be (5/d)/((-3)/(-12)). Is k less than -1?
False
Let w = -9/25 + 197/200. Suppose 0*k + 5*k - 3 = x, 0 = -3*k + 3. Is x < w?
False
Let p be ((-5)/15)/(2/(-42)). Does 6 = p?
False
Let w = 64 - 64. Is w at least 4/97?
False
Let b = 1 - 2. Let o = 11 - 67/6. Is o < b?
False
Let m = 16/5 - 762/235. Do -1 and m have different values?
True
Suppose 5*k - 4*r - 5 = -5*r, r = -4*k + 3. Suppose 0 = -k*v + 4 + 8. Suppose -2*x + 4*x - v = 0. Is x smaller than 2?
False
Let h be (-8)/(-20) + 26/(-15). Is h greater than -2?
True
Suppose 0*i + 5*i + 15 = 0. Which is bigger: -19/5 or i?
i
Let f be (12/10)/((-84)/285). Let a = -18/7 - f. Do 2 and a have the same value?
False
Suppose -3*s + 2*s - 5*u = -2, 3*s = 5*u - 14. Which is greater: s or -1?
-1
Let r = 4 - 2. Let y = -4 + r. Which is bigger: y or -6/7?
-6/7
Suppose 16 + 10 = -p. Which is smaller: -25 or p?
p
Let u be -15*(1 - 2)*1. Let x = u - 13. Which is smaller: 5 or x?
x
Suppose -3*i + k + 13 = 0, -3*k = -4*i + 2*k + 21. Suppose i*z + 0*z = 0. Let y(r) = r**2 - 2*r. Let u be y(1). Which is bigger: z or u?
z
Let m = -3 - -8. Let j = m + -7. Let g be 1 + -1 + 2/7. Is g smaller than j?
False
Let f = 11 - 9. Suppose 3*g = -4*s + f, g = 4*s - 2*s + 4. Which is bigger: s or 1/9?
1/9
Let a be 3 + -1 - (1 + 2). Let s be (-1 - a*2) + 0. Do s and 5/3 have different values?
True
Let k = 2 + -2.7. Let p = k - -0.6. Which is smaller: 1 or p?
p
Let c = 5 + 1. Let u(y) = -y**2 + 6*y. Let f be u(c). Let b be (1/6)/((-1)/2). Is f < b?
False
Let k be 34 + (0 + 0)*1. Which is smaller: 36 or k?
k
Let k = -0.18 + -24.82. Does k = 2?
False
Suppose -2*r + g - 2*g = 5, 0 = -2*r - 2*g - 10. Let s be 6/(-2)*(1 - -1). Let x be 2/6 - 2/s. Is r at least as big as x?
False
Let y(a) = -a**3 + 3*a**2 - 3*a + 3. Let q be y(2). Which is bigger: 9/4 or q?
9/4
Let w be (-3 - 98/2) + -5. Which is smaller: -58 or w?
-58
Let z be -1 + -1 - 8/148 - -2. Do -1 and z have the same value?
False
Let l be 2/6 - 3/9. Suppose -3 = 3*z - 6*z. Let o = z - l. Which is bigger: 2 or o?
2
Let y be 200/(-85) - 2/(-1). Let w = y + 86/51. Is 1 less than w?
True
Let c be -1 - 1 - (-9)/3. Let m be c + (-1)/(0 - 1). Suppose 3*i + 11 = m*z, -5*i - 4*z = -17 + 6. Which is smaller: i or -2/9?
i
Suppose 2*y + 3*t - 2*t = -9, 2*t - 12 = y. Let g = y + 11. Suppose g*q = q. Which is smaller: -1 or q?
-1
Let f be (1/(-2))/((-20)/40). Which is greater: f or -1/5?
f
Let y = 250 + -251. Let w(m) = -m**3 - m**2. Let l be w(0). Is l at most as big as y?
False
Suppose -5*i = -3*i - 62. Suppose -6*j - 3*u = -j + 33, 0 = -5*j - u - i. Let y be (4/(-6))/((-2)/j). Do y and 0 have the same value?
False
Let c(s) be the first derivative of s**4/4 - 3*s**3 + 7*s**2/2 - 10*s - 5. Let z be c(8). Let q = z - -10. Are q and -9 equal?
False
Suppose 3 = 5*j - 2*j. Let i = -15 + 7. Let z be 9/i + 0 + j. Is 0 smaller than z?
False
Let y = 9213/7 + -1314. Which is bigger: 1 or y?
y
Suppose -3*q + 8 = -1. Let p = q + -6. Is p bigger than -2?
False
Let t = -8 + 12. Let p be 3 + (-3)/1 + t. Is p bigger than 3?
True
Suppose 0*k + 5*k = 10. Suppose -k = -x + 2. Suppose -x*b = -5*p - 24, -2*b + b - 3*p - 11 = 0. Are b and 2/15 unequal?
True
Let i = 29 + -25. Is 5 <= i?
False
Let h = -16 + 38. Let u = 24 - h. Are u and 0.1 equal?
False
Let q be 1/((-2)/4) - 2. Let f be -9*((-3)/(-9) - 0). Let g = q - f. Which is smaller: 0 or g?
g
Let z = 0.7 - 0. Let l = z - -2.4. Let q = l + -3. Which is smaller: q or 0?
0
Let n be 16/2 + (3 - 0). Suppose -v + 101 = n. Let j be (-4)/14 + v/21. Is j smaller than 3?
False
Let h = -26 - 0. Which is bigger: -28 or h?
h
Suppose 0 = -2*q - 12 + 78. Is q >= 31?
True
Let g be (4 - 5)*(2 - 2). Suppose 3*c - 2 - 10 = g. Let t = -6 + 10. Is c less than t?
False
Let b be ((-3)/15)/(2*-2). Let r = -1/5 - b. Which is smaller: 3 or r?
r
Suppose -33*a + 38*a = 0. Let c be (-3)/(-10*2/(-4)). Which is smaller: a or c?
c
Suppose -3*f = 2*s + 12 + 26, -5*f = -s + 59. Let c be (-2)/(-3) + 11/f. Suppose -j + 4 = p, -2*j + 13 = 2*j + 3*p. Which is bigger: j or c?
j
Suppose 4*d - 13 = 5*v, -d - 5*v - 38 + 10 = 0. Let f be (0 - 3)*(-2 - d). Is -5/2 at most f?
False
Let k(y) = -y**3 - 7*y**2 + y + 7. Let i be k(-7). Suppose 0 = -i*d - 2*d - 20. Let s be 26/(-40) - 4/d. Is -1 at least as big as s?
False
Let o be 51/108 - (-1)/(-4). Let l be (-2 - -2)/1 - -4. Suppose -l*q - m + 0*m + 9 = 0, 4*m - 20 = 0. Which is smaller: o or q?
o
Let h be (-7 - -13)*4/2. Let r = h + -8. Let z = r + -3. Is z <= 2?
True
Let c be ((-4)/(-12))/(2/(-6)). Let f be 4 + c - (-4)/4. Is 3 >= f?
False
Let c be ((-5)/10)/((-1)/(-24)). Let k = 12 + c. Suppose -2*x = -x. Is x > k?
False
Let q be ((-2)/49)/(-7*(-7)/49). Which is bigger: q or -1?
q
Let d be ((-12)/(-9) + -1)*9. Suppose p - 24 = -d*p. Let m = 8 - p. Which is smaller: 1 or m?
1
Let t = 10 - 7. Let q be 0 - (1*-2 - 0). Let v = q + 0. Which is smaller: t or v?
v
Let q(m) = 0*m - 2*m + 5 - 9 + 16. Let y be q(5). Which is bigger: y or -2?
y
Let o = 12 + 24. Let d be 2/4*o/(-10). Which is bigger: d or -2?
d
Let z = 15 + -15. Suppose z*j + 4*f - 19 = j, 5*j = -2*f + 15. Which is smaller: j or 10?
j
Let j(i) = -8*i - 1. Let g be j(-2). Let k be 1/2 + g/(-54). Which is greater: k o