?
False
Let l(x) = -x**2 - 4*x - 1. Let y be l(-4). Let o be 3/(-20)*(-4)/(-6)*-2. Which is bigger: y or o?
o
Suppose -36 = -p - p. Let g be 3*1/(p/3). Which is bigger: g or 0?
g
Let n be (-4)/2*(23 - 0). Let z be n/(-6) - 4/6. Is z > 6?
True
Let b(y) = -y**3 - y**2 - y + 1. Let f be b(0). Is f at most as big as 5/6?
False
Suppose 5*t = 4 + 11. Suppose 2*n + t = n. Let y be n*(4/(-15))/(-1). Is y greater than -2?
True
Suppose 4*k = 3*s + 16, -s = 3*s + 16. Let p = -0.08 - 1.92. Let b = p - -5. Which is smaller: b or k?
k
Suppose -5*s + 76 = 4*z, 0*z + 38 = 2*z - 2*s. Which is greater: 20 or z?
20
Suppose -3*y = -4*y - 1. Let o = 421/4 + -106. Which is smaller: o or y?
y
Suppose -3*h - 12 = -2*s - 0*h, 0 = -s + 2*h + 8. Suppose 4*f + 4*p = -s*p - 12, -3*p - 23 = 5*f. Are -7 and f non-equal?
False
Let a(u) = -u**3 - u - 5. Let h be a(0). Let s = h + 3. Is s >= 0?
False
Let u = -36 + 35. Which is smaller: u or -10/7?
-10/7
Let l be -1 + (0 - (-44)/50). Is l equal to -1?
False
Let u = -28/13 - -226/117. Which is smaller: 1 or u?
u
Let j(r) = -r**3 - r**2 + 2*r - 1. Suppose -5*m + 30 = -5*t, 3*m + 2*t + 3 + 4 = 0. Let n be j(m). Let w = 5/33 - -2/11. Which is smaller: n or w?
n
Let v be (-17)/42*-3 - (-1)/(-2). Which is smaller: 1 or v?
v
Let a = -1 - -4. Let l be 3 - a/(-6)*-22. Are -1/3 and l equal?
False
Suppose 4*u + 3*f - 5*f = 22, 3*f = 3*u - 15. Let m be (-2)/5 + u/10. Is 0 at most as big as m?
True
Let f(w) = w - 1. Let s be f(2). Let t be 5 - (-1 + 6/2). Suppose -4*v = u - 2, -t*v - 3 - 7 = -5*u. Which is greater: s or v?
s
Suppose -4*r - 43 = -11. Which is smaller: r or -11?
-11
Let o = 0.4 + -0.48. Let v = o + 0.08. Is v at most 1/9?
True
Let s = -403/66 - -58/11. Is s less than -1?
False
Suppose -3*k = k. Let o be (7/(-3) - 1)*(-210)/525. Is k > o?
False
Let t(v) = 2*v + 12. Let w be t(-5). Which is bigger: w or 3?
3
Let v = -111/2 - -54. Suppose -3*c + 2*y + 3 = 0, y + 0 + 3 = 0. Which is greater: v or c?
c
Let r be (4/(-6))/((-24)/36). Which is greater: -2/203 or r?
r
Let a(n) = n - 14. Let c be a(9). Let l = -4 + 13. Let v = c + l. Is v smaller than 2?
False
Suppose 0 = 4*q - 7 + 3. Suppose -q = 2*c - 3. Suppose -4*y = -x - 11, 3*x + 23 = 5*y + 4. Which is bigger: c or y?
y
Let b = -4 + 3.99. Let t = b + 0.01. Is 2/3 <= t?
False
Let c be (-6 - -3) + 10/3. Let x be (-36)/(-10) + (-2)/(-5). Suppose -g + 5 = x. Is g bigger than c?
True
Let i(q) be the third derivative of -q**4/12 - 5*q**3/2 + q**2. Let l be i(-7). Which is bigger: l or 1?
1
Let n = -0.03 - 1.47. Let g = n + 1.6. Do g and 0.1 have different values?
False
Let w(m) = -m**2 - 5*m - 2. Let a be w(-4). Suppose -2*r + 7*r - j = 25, -a*j = -4*r + 20. Let k = 6 - r. Which is greater: k or 2?
2
Suppose -2*w - 288 = 4*w. Is -48 at least w?
True
Let v = 2470/667 - 120/29. Let w = 4/115 + v. Which is smaller: 1 or w?
w
Let l be ((-2)/(-252))/(2/8). Let p = -19/63 - l. Is p at most 2?
True
Suppose 1 - 2 = -y, 4 = 3*p + y. Which is smaller: -2/35 or p?
-2/35
Let i(k) = k**2 + 7*k - 18. Let b be i(-9). Let l be (3 - 1)*9/2. Suppose -3*f - 10 = -2*x, -2*x + 5*f = -l - 5. Is x not equal to b?
True
Let d = 1.55 + 0.45. Which is bigger: d or -3/7?
d
Suppose -2*b + 3*b = 0. Let s be 3 + (-1 - b) + -6. Is s != -3?
True
Let f be (1 - -3) + 552/(-135). Which is bigger: f or 0?
0
Let z be (-4)/(-14)*42/120. Let r be 7 - 9 - 1*-1. Is r greater than or equal to z?
False
Let i(f) = -f - 1. Let n be i(-2). Let r(t) = -t + 2. Let c be r(-2). Let b be (c/(-6))/(14/(-6)). Which is smaller: b or n?
b
Let o = 1181/234 + -62/13. Let y = -4/9 + o. Is y at most 1?
True
Let z(f) = f**3 - 20*f**2 + 18*f + 4. Let o be z(19). Which is smaller: -17 or o?
-17
Suppose 2*u + 1 + 3 = -2*g, u = -2*g - 2. Let x be 8/(-2) - (0 + u). Is -1 smaller than x?
False
Suppose 2*n + 4 = -3*g + 1, -5*n = -5*g - 30. Let q = -19 + g. Is -21 at most as big as q?
False
Let s(k) = k - 4. Let b(v) = -1. Let q(y) = 3*b(y) - s(y). Let n be q(7). Let l be (-1)/n*9/(-2). Which is smaller: l or -2?
-2
Suppose -z = d - 6, 0 = -d - 0*d - 3*z + 14. Let b(h) = 2*h + 4. Let l be b(-4). Let j be -1 - 1/(d/l). Which is bigger: -2/5 or j?
j
Let u = 108 - 1401/13. Which is smaller: u or 0?
0
Suppose 2*t - 5*t = 18. Which is smaller: t or -5?
t
Suppose -4*y + h + 13 = 0, h + 3 + 6 = 3*y. Let i = y + -7. Let g be 7/i - (3 + -6). Which is greater: g or 1?
1
Let v = 0.6 + 0.4. Let r = v - -7. Let s = r - 5. Which is bigger: s or -2/3?
s
Let f = 0.9 - 1. Do 2/9 and f have the same value?
False
Suppose -5*h = 25 + 30. Are h and -12 non-equal?
True
Let v = 0.01 - 0.81. Let a = v + 1.1. Which is smaller: -1 or a?
-1
Let g = 46 + -29. Suppose -15 = -3*t, 4*w + 6 + g = 3*t. Let h be 9/(-4) - (-3)/12. Is w > h?
False
Let u be (-1)/(-3 + (0 - -2)). Suppose 0 = -z - 5, -2*t - 3*t = -2*z - 25. Suppose 0 = t*f + f. Which is smaller: u or f?
f
Let h = -42 - -37. Suppose 2*w - 1 + 9 = 0. Let i = h - w. Is i <= -1/5?
True
Let s be (168/16)/(1/(-2)). Let o be (-48)/s + (-6)/21. Let v = o - 3. Is v at least -1/2?
False
Let s(j) = -3*j**2 - 20*j - 10. Let a be s(-6). Are a and 13/8 equal?
False
Suppose 6*p - 5*w - 20 = p, 22 = -2*p - 4*w. Let n be ((3 + -2)/p)/1. Are n and -2/25 nonequal?
True
Let j = -0.02 + -0.03. Let k = j + 4.05. Let a = 0.2 + -0.4. Is k bigger than a?
True
Let f = 15 + -9. Let z = -5 + f. Which is smaller: 0 or z?
0
Let c = 117/371 - -6/53. Is c > 1?
False
Suppose 0 = 2*i - 5*n - 5, 0*i - 4 = i + 4*n. Let s = 16 + -8. Let c = s + -26/3. Which is greater: i or c?
i
Let w be (0/(3/(-1)))/(-2). Let d = w + 0. Let o be -1 - ((-10)/2 + 4). Is o at most d?
True
Let q(k) = -4 + 3 - 6 + k**2 + 11*k - 4. Let f be q(-12). Which is greater: f or 2/3?
f
Suppose -5*k - 21 = 4. Let o(m) = m**3 - 4*m**2 + m - 1. Let c be o(4). Let y = k + c. Which is greater: y or -3?
y
Let u(c) = -c + 3. Suppose q = -s + 11, 5*s - 3*q = 57 - 18. Let j be u(s). Does -6 = j?
True
Let i be 0*(-2 + (-10)/(-4)). Suppose 5*n - 4*s - 10 = 0, -s = n + 4*s - 2. Suppose 2 = -n*z - i. Does -1/2 = z?
False
Suppose 14*q - 64 - 146 = 0. Is 16 less than or equal to q?
False
Let s be 0*(5/(-2) + 3). Is -2/13 less than or equal to s?
True
Let z = 0.04 - -1.06. Let d = z + -0.1. Let o = 17/15 - 9/5. Is o at most d?
True
Suppose 10 + 26 = 2*w + 4*b, -3*w = 3*b - 54. Suppose 0 = 2*s + s - w. Suppose -5*n + 3*n = -s. Which is greater: 5/2 or n?
n
Let n = -4 + -4. Let r = n + 8. Which is smaller: r or 2?
r
Let u = 990/13 + -76. Let j = 1.4 + -0.3. Let x = -1 + j. Is x < u?
True
Suppose 0*i - i = -147. Let r = i - 1179/8. Does r = 0?
False
Let b = -0.089 - 0.011. Which is greater: b or -1?
b
Let n = -75 - -81.8. Let a = -7 + n. Suppose -3*i + 8*i = 0. Which is smaller: a or i?
a
Suppose -4*b = -0*b, -4*x = 2*b + 156. Which is greater: -40 or x?
x
Let b = -1020/7 - -146. Let l = 34 + -27. Is b greater than l?
False
Let t be 10/15*42/4. Which is smaller: t or 10?
t
Suppose -2*c + 40 = 5*y, 5*y - 6 = 2*c + 14. Suppose -2*f + 3*p = 34, 2*p = 5*f + y*p + 39. Which is smaller: f or -10?
f
Let x be 3 - (-2)/((-2)/5). Let w be 5*-2*1/x. Suppose -10 - w = 5*s. Is s <= -3?
True
Let f = -24 + 34. Let q = f + -11. Is -1 > q?
False
Let g be (4/(-6))/(6/45). Let b be -3 + (-21)/g - 1. Are -1 and b equal?
False
Let x(v) = -v**2 - 12*v - 11. Let q be x(-11). Suppose q = -7*a + 2*a. Let c(l) = -l**2 + 6*l + 1. Let k be c(6). Which is greater: a or k?
k
Let t(c) = c**2 - 4*c + 5. Let v be t(4). Let d(s) = -s + 4. Let q be d(4). Suppose i - 8 = -3*u - q*i, 0 = -3*u - 5*i - 8. Which is greater: u or v?
v
Suppose -3 = -3*s + 3. Suppose -2*w + 8 = s*w. Let g = w - 0. Are 1 and g non-equal?
True
Let f be 1 - (-63)/(-66)*(-56)/12. Is f smaller than 4?
False
Let k(q) = q + 2. Let s be k(-3). Let l = -3/82 + -13/205. Is l <= s?
False
Let l = -92 - -82. Suppose 3*j + 6 + 24 = 0. Is l at least j?
True
Let u = -1 + 5. Suppose -4*a + 4 = 0, 0*r - 4*a + 20 = -u*r. Let i be 6/r*(-4)/66. Is 0 < i?
True
Let u = -3 - -2. Let n be (1/2)/((-13)/26). Is n < u?
False
Let f = 47 + -43. Let j = 14 + -10. Is f less than or equal to j?
True
Let r = 1 + 1. Let h be r/(-3)*(-4 - -1). Suppose h*m + 2*m = 0. Is 1 at most as big as m?
False
Let u = 1 - 4. Let a = -1 + u. Let l = a + 5. Is l at most as big as -2?
False
Suppose -2*g + 1 = 3*s,