 32. Which is smaller: k or 9?
9
Let x be 18/9*13/(-2). Which is smaller: x or -15?
-15
Suppose 0 = a - 3*a. Let r be 1/(a + 3 + -2). Suppose -7 - 9 = 3*n + 5*c, c = -2. Is r at least as big as n?
True
Let y = 0 - -1. Is -1/7 equal to y?
False
Let r be ((-4)/(-894)*6)/(-2). Let d = -308/745 - r. Which is smaller: 0 or d?
d
Let u = -0.3 + 0.4. Let d = u + -0.1. Let o = -0.1 - d. Is -0.2 at least as big as o?
False
Let n(k) = 7*k**2 + k - 2. Let u be n(1). Which is smaller: 7 or u?
u
Suppose -3*b - 11 = 2*v, 4*b - 3*b + 1 = -2*v. Suppose -v + 6 = p. Which is bigger: p or 5?
5
Let w be (-24)/(-1088) - 0/(-3 + 2). Which is greater: -1 or w?
w
Let r(l) = -3*l + 2. Let g be r(2). Let x = g - 22. Let w be 6/(-4) - x/20. Which is smaller: w or 0?
w
Let g = -2.05 + 0.05. Let s be 1 - 3/6 - 1. Are g and s equal?
False
Let c(t) = t**3 + t**2 + t - 1. Let b(g) = 7*g**3 + 11*g**2 - 7. Let p(u) = b(u) - 6*c(u). Let h be p(-6). Which is bigger: h or -2/13?
-2/13
Let d = 0.25 - 0.25. Which is smaller: -7 or d?
-7
Let y = -1/158 - 955/11376. Let a = 5/16 + y. Which is smaller: a or 1?
a
Suppose -3*k + 39 - 9 = 0. Suppose 4*j = 5*m + 11, 2*m + k = 3*j - 0*j. Let p = -163/9 + 18. Which is greater: m or p?
m
Let x be -2 - (21/(-5) + 2). Let i be 2/7*(-19 + 20). Which is greater: x or i?
i
Let l = -0.56 - 0.04. Let v = l + -0.4. Let d = 42 - 42. Is d bigger than v?
True
Let a = -3 + 3.1. Let s = -0.53 - -0.43. Is a not equal to s?
True
Let l = -0.9 + 0.98. Let k = 0.03 - l. Which is smaller: 2/5 or k?
k
Let s = 48 - 52.9. Let v = s + 5. Are v and 0.2 non-equal?
True
Let c = -172/3 - -58. Let z = 0.1 + 0.9. Which is bigger: z or c?
z
Let s = 1/79 + -83/316. Let m = 0 + 0. Which is smaller: s or m?
s
Let d(z) = 3*z**2 + 4*z - 2. Let h(i) = i - 3*i**2 - 1 - i**2 + 3*i**2. Let n(b) = -d(b) - 4*h(b). Let o be n(7). Are 2/5 and o non-equal?
True
Let h = -1 + 2. Suppose -6 = -5*p - h. Let d = 4/43 - -7/387. Which is greater: p or d?
p
Let z be (-2 + (-52)/(-22))/(13/(-52)). Which is bigger: 0 or z?
0
Let z = 1406/13 - 108. Let b be 2/8 - 18/8. Let k = -3 - b. Which is smaller: z or k?
k
Let g be -2 + 3 + (-12)/16. Is g bigger than -1?
True
Suppose -4*k - 20 = -2*i, 0 = -i + 4*k - 0 + 18. Are 11 and i equal?
False
Let y be 14/49 - (-24)/14. Which is smaller: y or 4?
y
Let m = 13 + -25. Let n be (-14)/m - (3 + -2). Does 0 = n?
False
Let g be 3/(((-9)/(-2))/3). Let h = -16 + 19. Suppose h*d - 6*d = -6. Is g != d?
False
Let v = -0.31 + -0.39. Is v less than 0?
True
Let o be 32/(-63) - 4/(-14). Is o < 1?
True
Let f = 27 - 27. Which is smaller: 2 or f?
f
Let x be 4/(-25)*3/6. Suppose -5*y = -5*k + 11 + 9, 0 = -5*y + 4*k - 17. Which is greater: x or y?
x
Let q(k) = k**3 - 7*k**2 - 7*k - 9. Suppose 4*h = 3*h. Suppose 3*m - 5*x + 0 - 4 = h, -4 = -m + x. Let y be q(m). Is y less than or equal to -1?
True
Let o(u) = -u**3 + 7*u**2 + 9*u - 12. Let x be o(8). Let d be (-8)/18*(-2)/x. Is d at least -0.4?
True
Let a = -4 + 3. Let r(j) = -4*j**2 + 2*j - 1. Let t be r(1). Let x be (-1)/(-5)*6/t. Does a = x?
False
Suppose -3*n + n = 0. Let c = 0 + n. Let b be ((-21)/105)/((-3)/10). Which is bigger: b or c?
b
Let h be (-526)/4 + (-9)/6. Let t = h + 933/7. Which is smaller: 1 or t?
t
Let z = -2.95 + -10.15. Let s = z + 13. Let d = -0.4 - -0.5. Is s bigger than d?
False
Let c be 6/21 - 6/21. Let b = -1 + c. Which is greater: 0 or b?
0
Let n(w) = -13*w - 2. Let h be n(-1). Let a = -7 + h. Is 9/2 < a?
False
Suppose -2*p - 3*p = z - 13, 0 = 3*z - 5*p + 21. Let x = z - -4. Suppose -b + 1 = x. Is -2/3 >= b?
True
Suppose -72 = 2*k - 0*k. Let z be (-33)/k + 2/(-8). Suppose 0 = 10*p - 5*p. Which is smaller: z or p?
p
Let u(l) = -2*l + 2. Let t be u(-2). Suppose -r - t = r. Suppose -p = 6 - 2. Is r < p?
False
Let n = 0.7 + -4.3. Let y = n + 18.6. Which is smaller: -1/3 or y?
-1/3
Suppose 5*z - 95 + 25 = 0. Let k be (-3)/(-9) - z/54. Is k > 1?
False
Let i be 2 - (1*-6 - 1). Does i = 11?
False
Let g = -0.04 - -0.04. Which is smaller: -0.22 or g?
-0.22
Let j be 5 + -1 - (2 - 1). Suppose -j*f + 5 = -2*f. Suppose f*q + 10 = 5*t, -3*q = 2*q + 2*t - 25. Is 2 greater than q?
False
Let y = -24 - -14. Let q be (-2)/y - (-2)/90. Which is bigger: q or -1?
q
Let k = 184/39 - 32/117. Are k and 5 equal?
False
Let k = -4 + 13/3. Is k <= 30?
True
Let t be (1 + -9)*1/(-2). Is t at least as big as -1/2?
True
Suppose 5*d + 3*d - 192 = 0. Is 22 >= d?
False
Let n = -4 + 5. Which is smaller: 2/167 or n?
2/167
Let u be -1*1/2*0. Suppose u*j = -2*j - 2. Let h be 3/(-3) - (0 - j). Which is greater: -1 or h?
-1
Let s = 71 - 156. Which is smaller: -86 or s?
-86
Suppose 6*c = c - 5. Is 2/67 at most as big as c?
False
Suppose -14 = -2*n + 3*y, -3*n = -2*y - 0 - 21. Let v be -1*10/n + 1. Which is greater: 1 or v?
1
Let k(n) = n - 8. Let v be k(10). Let u be (v/4)/((-2)/24). Which is greater: -4 or u?
-4
Let z be (2 - 10/4)*0. Suppose z = 2*u + 2*u. Let f(j) = -j**3 + 5*j**2 - 5*j + 4. Let h be f(4). Is u smaller than h?
False
Let m = -19 - -19. Is -2/7 less than or equal to m?
True
Let j be (-1)/(-2)*4*5/10. Is j bigger than 3/20?
True
Let n = -98 + 97.81. Is 1/2 greater than or equal to n?
True
Suppose 1 = w + h - 0*h, 4 = h. Let f be ((-2)/w)/(6/(-9)). Which is smaller: f or 2/21?
f
Let q be (-1)/(-3) + 10/15. Suppose 3*z + q = 7. Let i be (2 + 0)/(8/6). Is z at least i?
True
Suppose 0*v = 3*v - 3. Suppose -3 = d - v. Is d <= -2/3?
True
Let w(b) = -2*b - 7. Let s be w(-5). Suppose 4*k = 2*k - l + 5, -2*k + 14 = 4*l. Is k greater than or equal to s?
False
Let q be ((-1)/(-2) - 0)/(57/(-18)). Is q at least as big as 0?
False
Let a = 11/56 + 3/8. Which is smaller: 0.04 or a?
0.04
Let r be 2*74/4 + 2. Let q be r/(-60) - (-1)/4. Is q less than 1?
True
Let o(b) be the third derivative of b**6/60 - b**5/20 + b**4/8 - b**3/2 + 4*b**2. Let v be o(-4). Let m = 2863/15 + v. Is m greater than 0?
False
Let i(z) = z**3 + 3*z**2. Let j be i(-3). Let x = j - 1/2. Let v = -1 - -3. Is x at most v?
True
Let o = -58 + 102. Let v be (-11)/o + (-1)/(-52). Is -1 at most as big as v?
True
Suppose r = -8*r - 9. Let v = 42 + -177/4. Which is smaller: r or v?
v
Let d(c) = 30*c + c**3 - 30*c - 2*c**2. Let n be d(2). Is -3/10 bigger than n?
False
Suppose 5 = 2*n + 3*y, n - 3*y = -4*n - 19. Let k be 2*-1 + 32/22. Which is smaller: n or k?
n
Let y = 1.46 + 8.64. Let b = y + -10. Which is smaller: b or -0.06?
-0.06
Let v = -4 + 3. Do 2/115 and v have the same value?
False
Let j = 0.05 - -0.01. Let w = j + -0.05. Is 0 less than w?
True
Let v = 4 - 3.83. Which is smaller: v or -1/2?
-1/2
Let w = -5 - -25. Let y = -20.1 + w. Is y not equal to 1/4?
True
Let u be (-16 - -17)*(-1)/(-2). Let f(p) = p + 7. Let w be f(-6). Is u less than w?
True
Let x(l) = l**2 + 8*l + 2. Let o be x(-8). Which is smaller: o or 0?
0
Suppose 3*x + 12 = 5*k, -3*x - 3*k = -5 - 7. Let q be (11/(-4))/x - -3. Which is smaller: 0 or q?
0
Suppose 0 = 2*h - 4 + 2. Suppose 2 = -c + h. Is 3/8 at least c?
True
Let p be ((-16)/20 + 0)/((-4)/70). Which is bigger: p or 16?
16
Let t be -1*1*(13 - 13). Let p be 12/(-40)*(-8)/18. Let z = p + -4/5. Is t smaller than z?
False
Let w = -536/63 + 58/7. Let m = -1 - -1. Which is bigger: w or m?
m
Let t = 13 + -12. Which is bigger: 6 or t?
6
Let g = 8 + -5. Suppose -g = 3*s, 5*s + 13 = 2*f - 0. Which is greater: 2 or f?
f
Let l be 4/14 + 7196/1911 + -4. Is l smaller than -1/2?
False
Suppose 5 = i + 5*x, -2 = 2*i - x - 1. Which is greater: -5/18 or i?
i
Let f be (-86)/(-6) + 1/(-3). Suppose 10 = -3*c - y, -5*c - f = -4*y + 3*y. Which is bigger: c or -2/5?
-2/5
Let n(c) = -2*c**2 + 6*c - 2. Let k be n(4). Let o be ((-3)/5)/((-2)/(-30)). Which is bigger: o or k?
o
Let r be -10 + (0 - 4) + 4. Let b = r + 3. Which is smaller: -8 or b?
-8
Suppose -7 = 3*w + 8. Let m = w + 4. Which is smaller: m or 2/13?
m
Let p = -1253 - -3697/3. Let q = -188/9 - p. Let h(y) = -y**3 + 4*y**2 - y + 5. Let d be h(4). Do q and d have the same value?
False
Suppose 18 = -5*n + 2*n. Let j be (1 - 4*2) + 2. Is n greater than j?
False
Let c = 17/95 - -8/19. Is c greater than 0?
True
Let f = -100/9 - -11. Which is smaller: 0 or f?
f
Let n = -120 - -241/2. Let x = 5 - 7. Are n and x equal?
False
Suppose 0 = 9*d - 10*d - 1. Is d at most as big as 1/27?
True
Let p = -3/725 - 18074/12325. Le