 + 2. Which is smaller: f or k?
f
Let i be (1728/(-160))/(1 - (-6)/(-5)). Which is smaller: 52 or i?
52
Let t = -76 - -305/4. Which is greater: t or -4?
t
Let u be ((-15)/(-20))/((-1)/(-24)). Is u at least as big as 18?
True
Suppose -3*f + 10 = 2*f. Suppose 0 = -4*a + 8, a - f*a = -q. Let n = 3 - 2. Which is smaller: q or n?
n
Let g = -4.4 + 7.45. Let f = g + -0.05. Is f at least as big as -2?
True
Suppose -4*l = -2*j - 14, 0 = -3*l + j - 0*j + 9. Let g be ((-5)/(-2))/(l/4). Let s(i) = -i - 2. Let d be s(g). Is d <= -6?
True
Suppose t = -3*t. Suppose t*u - 2*u = 0. Is 0 less than u?
False
Let b = 0.89 + -9.89. Does b = 0?
False
Let g be (-3)/(((-27)/6)/3). Suppose -8 = g*o - o. Is o equal to -10?
False
Let w(s) = -1 - 2 - 2*s + 1. Let v be w(-4). Let y be 6/4*(-2)/v. Which is bigger: y or -1?
y
Let i be ((-6)/(-8))/((-594)/144). Are i and 4 equal?
False
Let t be 24 + (-3)/((-6)/(-4)). Suppose h + 47 + t = 0. Let i = h + 349/5. Which is bigger: 1 or i?
1
Let d(f) = f**2 + 9*f + 2. Let l be d(-9). Let p be (3 + (0 - l))*-3. Let i = -2 + 0. Is p at least as big as i?
False
Let a be ((-68)/(-20) + -3)/((-189)/(-15)). Which is bigger: a or -1?
a
Let c = 0.52 - 0.5. Let n = -1.02 + c. Let q = 0.4 + -0.2. Which is smaller: q or n?
n
Let p = 3 - 2. Let d be 2*((-33)/(-12) + p). Which is bigger: 8 or d?
8
Let t = -3 + 2.9. Let r(p) = -p**2 + 14. Let j be r(0). Let d be (-21)/j*(-8)/18. Is d <= t?
False
Let q(g) = g**2 - 3. Let z be q(-5). Let u = 65/3 - z. Is u at least as big as 0.1?
False
Let z(w) = -6*w. Let i be z(-2). Suppose 0 = v - 3*r - 11, -4*v + r + 3*r + i = 0. Which is smaller: -3/4 or v?
v
Let t be 51/18*2 + 4/(-6). Which is bigger: 6 or t?
6
Let g = 0.63 + -0.25. Let h = g + -0.18. Let l(i) = -i**3 + 5*i**2 + 2. Let t be l(5). Is t bigger than h?
True
Let t be (-4)/(-14) - 65/7. Let m = -4 - t. Suppose 5*v = -5*x, v + m*x - 12 = -0*v. Is -3 equal to v?
True
Let b be (112/70)/(1 - 3/5). Let i(c) = c**3 - 5*c**2 + 4*c + 5. Let k be i(4). Suppose 0 = t + 2*h + 3*h - 30, 0 = 5*t - 4*h - k. Which is bigger: b or t?
t
Let f(b) = 2*b**3 - 1. Let n be f(1). Let g be n + (-3 - -2) - 0. Suppose -2*c + 6*c + 12 = g. Which is smaller: -1 or c?
c
Let k = 0.26 + 9.24. Let r = k - 10. Which is bigger: r or -0.2?
-0.2
Let d(r) = 3*r - r**2 - 2*r**3 - 4*r + 2 + 3*r**3. Let p be d(2). Suppose 4 = p*q - a, -4*q + 6*a + 8 = 4*a. Which is smaller: q or 1?
q
Let p = 209/52 - 10019/1820. Let k = p + 6/5. Which is smaller: k or -1?
-1
Suppose 4*f = -p + 4*p - 1, 2 = -f - p. Suppose -37 = 3*j + 2*s, 0*j + 3*s - 42 = 2*j. Let n be (-20)/j - (f + 2). Is n at least -4?
True
Let d be (-1 + -3 - 1)/(-3). Let g = 5 + -3. Let o = g + -1. Which is bigger: d or o?
d
Let w = 3.7 + -3.77. Is 1 >= w?
True
Let d = -18 + 13. Let j(n) = n**2 + 3*n + 4. Let v be j(-4). Let b = v + -13. Is d greater than b?
False
Let o be ((-1)/(-1)*2)/50. Which is smaller: o or -1?
-1
Let h(b) = b**2 + 5*b + 4. Let a be h(-4). Let c be (0 - a)/((-12)/(-6)). Which is smaller: c or 2/5?
c
Let w = 0.044 - -0.056. Which is bigger: -30 or w?
w
Let f = -2 + 6. Let p = 0 - f. Let c(q) = q**3 + 4*q**2 - 1. Let h be c(p). Which is smaller: h or -2?
-2
Let o = -0.1 + 1.1. Suppose -1 = -i - 3. Which is greater: i or o?
o
Let p = 2 - 7/2. Let n = -2/87 - -31/87. Which is smaller: n or p?
p
Let t = -1 - -1. Suppose 4*n = 5*w - 13, w - 16 = -4*n + 1. Let f be 1/27*n*6. Is t less than or equal to f?
True
Let d be 1/(((-147)/12)/(-7)). Which is bigger: d or 5/3?
5/3
Let o = 3 - 2. Let x = o + -1.1. Which is bigger: 2 or x?
2
Suppose -i = 5*w - 4, -i + 5*i - 16 = w. Is 2/209 > w?
True
Let c = -723/4037 + -1/367. Is c less than 1?
True
Let b(j) = j**3 - j. Let q be b(1). Which is bigger: -7/5 or q?
q
Suppose x - u = 0, -2*x = x + 4*u. Let b be (1 + -2 + 5)*1. Let s be 2/b + (-24)/16. Which is bigger: x or s?
x
Suppose d + 19 = -2*m + 6*m, -2*d = -4*m + 14. Let s be 0/1*(-3)/m. Is s greater than -1?
True
Suppose 10*f - 5*f - 50 = 0. Is 9 greater than or equal to f?
False
Suppose 5*k - 2 = 4*k. Suppose -5*l + 25 = 0, -4*l + 28 = -0*u + 2*u. Which is smaller: u or k?
k
Let m(b) = b + 7. Let u be m(-5). Suppose -27 = -c - u*c. Let f be 11/c + 1 + -2. Are f and 1 unequal?
True
Let h = -3.4 - 0.5. Let b = h - -0.9. Which is bigger: b or 0?
0
Suppose 3*a + 5*n - 20 = 4*a, -5*n = -25. Do a and 5 have the same value?
True
Suppose 2*m - 30 = m. Let g be (1 + -2)/(m/(-40)). Is g >= 0.1?
True
Let y(j) = -4 - 3 + 4*j - 2*j + 5. Let c be y(2). Suppose 7*q = 2*q - v - 5, -c*q - 3*v = 15. Is 0 greater than or equal to q?
True
Suppose v = 4*k - 26, 0*k = 2*v - 5*k + 64. Is -40 not equal to v?
True
Suppose -3*p + 5 = -2*p. Is p greater than or equal to 2?
True
Let h = -8 + 9. Suppose -y + 3 = -h. Which is bigger: 7/2 or y?
y
Let u = -52 - -63. Are 8 and u equal?
False
Let q be (-4 + 3 + 0)/3. Which is smaller: 31 or q?
q
Let z = -0.63 - 1.37. Is -2 >= z?
True
Let w(r) = -r**2 + 10*r + 3. Let s be w(10). Suppose -2*a + 2*b + 5 = 1, -b - 10 = s*a. Which is smaller: a or -1/2?
a
Suppose 204 = 5*y - 9*y. Which is smaller: y or -103/2?
-103/2
Suppose 0 = -2*o + 20. Is 10 at most o?
True
Suppose -2*h + 4 = -3*w, 5*h - 2*w + 0*w = 10. Let r(o) = -o**2 + 2*o. Let g be r(h). Let b be 8/(-20) - g/1. Is b greater than or equal to 0?
False
Suppose a = -5 + 145. Let l be 2/(-7) + 8748/a. Let f = l + -62. Is 1 less than or equal to f?
False
Let d(m) = m**3 - 7*m**2 + m - 5. Let i be d(7). Suppose k + 4*r = -k - 14, 4*r + 18 = i*k. Which is smaller: k or 5/6?
5/6
Let u be ((-6)/(-4))/((-6)/8). Let v(g) = -2*g + 2. Let d(r) = -r. Let i(m) = 3*d(m) - v(m). Let l be i(0). Is l less than or equal to u?
True
Let c(l) = -l**2 + 10*l - 5. Let h be c(9). Is h <= 2?
False
Let y(u) = u**2 + 4*u - 7. Let v be y(-5). Let h be v/1 + 4 - -1. Let l = 5 - h. Are 1/2 and l nonequal?
True
Let s = 88 + -84. Which is greater: s or 7?
7
Let u = 6 - -22. Let g = 24 - u. Which is smaller: g or 2/3?
g
Let d = 3 + -3. Suppose d*q = -4*q. Is q >= 0?
True
Let t(s) = s**3 - 5*s**2 - 9*s - 10. Let b be t(7). Let v = 24 - b. Is v at least -6?
True
Suppose -3*g - 14 - 1 = 0. Is g >= -4?
False
Suppose 5*d - 7 = g + 4, 5*d + 3*g - 7 = 0. Let z be (-59)/(-35) + (-6)/15. Does z = d?
False
Suppose 7*l - 6*l = 0. Let a = -6 - l. Which is greater: 1 or a?
1
Suppose 3*a - 8 = -f, 3*f + 3*a = 4 - 10. Which is smaller: f or -8?
-8
Suppose -p = 2*m, -p + 5*p - 5*m = 26. Let c be (-9)/p - 6/(-24). Is 10 less than c?
False
Let r be 0 + 0 + (0 - 2). Let x = 0.5 + -4.5. Let w = 5 + x. Which is greater: r or w?
w
Let z(x) = -x**3 + 5*x**2 + 7*x - 1. Let k be z(6). Suppose -5*v - 21 = t, 0 = -4*t - k*v - 9 - 0. Let y(s) = s + 2. Let w be y(t). Which is bigger: w or 5?
w
Let m = -11 + 7. Let a be (m/6)/(4/(-6)). Which is greater: a or 1/11?
a
Let m(y) = y**2 + 3*y + 2. Let c be m(-3). Suppose -4*j + 0*n - 3*n = 7, -c*n = j + 8. Is j equal to 1?
False
Suppose -3*l = -3*m - 18, -4*m + l - 5 = 4. Let v be 1/39 + m/3. Is v greater than or equal to -1?
True
Let u = 1805/14 + -129. Is u smaller than -1?
False
Suppose 0 = 3*n - 2 + 8. Let m = n - -2. Let g(u) = u**2 + u - 2. Let f be g(-2). Is f less than m?
False
Let i be (-2)/5 + (-80)/(-75). Is i bigger than 2?
False
Suppose 0*n + 4*n - 8 = 0. Suppose 0 = -n*b - 6 + 2. Which is bigger: b or -5/6?
-5/6
Let x = 97 + -73. Is 24 > x?
False
Let f(d) = -d + 5. Let x be f(4). Let u = 2 - 3. Let s = u - x. Are -0.1 and s unequal?
True
Let j(t) = t**3 - 3*t**2 + 4*t - 2. Let c be j(3). Suppose 0*a - 5 = -a. Suppose -c - a = 5*p. Is 2/7 equal to p?
False
Suppose -8 = -4*n - 8. Is 1/21 at most n?
False
Let b be (-4)/(-6) - 1081/(-138). Do b and 10 have the same value?
False
Let w = 12/17 - -552/85. Is 7 equal to w?
False
Let z = 1 + 5. Let p = -6 + z. Which is smaller: p or -3/10?
-3/10
Suppose -5*c + 9 = 3*j + 22, 4*j = -2*c + 6. Suppose -j*s = -0*s. Suppose 0 = -s*q + 4*q. Which is smaller: -3/4 or q?
-3/4
Let c = -0.19 + 8.19. Let s = c + -8.05. Let t = -0.15 + s. Is t not equal to -2?
True
Suppose 0*a + 14 = -a. Let u be (3 - 3) + 4/a. Let g = -0.5 + 0.6. Are u and g equal?
False
Let k be 2/6 + (-20)/(-3). Let p(b) be the third derivative of b**5/60 - b**4/12 - b**3/2 - 10*b**2. Let z be p(-2). Which is smaller: k or z?
z
Let p(w) = -w + 1. Let q be