is smaller: -18 or k?
-18
Let q = -377/955 - 1/191. Let l(b) = -b**2 - 6*b + 2. Let w be l(-6). Let j be (-2)/(1/((-1)/w)). Is j bigger than q?
True
Let v = -2.1 - -0.5. Let w = 1.7 + v. Is w < -1?
False
Let t = 1020/3619 + 2/517. Which is smaller: 2 or t?
t
Suppose -4*f + 6 = -2*f. Suppose -4*j + f*j = 3*y, 4*y = -4. Is 3 less than or equal to j?
True
Let o = -13 - -11. Which is bigger: o or 1?
1
Let p(d) = d**2 - 8*d + 2. Let l be p(0). Is 3 at most as big as l?
False
Let g be 1 - 1 - (3 - 2). Let d be (-3 + 2)*1*g. Let c be 1 + 21/6 + -4. Is c less than or equal to d?
True
Let s be -6 + 7 - (0 + 0). Which is smaller: 8 or s?
s
Suppose -8*p + 11*p - 3 = 0. Which is smaller: -5 or p?
-5
Let n(j) = j + 6. Let d be ((-16)/(-20))/((-2)/20). Let a be n(d). Let i = 2.07 - 0.07. Which is smaller: a or i?
a
Let r be ((-1)/(-2))/(85/(-94)). Let f be ((-1)/(-3))/(68/72). Let j = f + r. Is j equal to -1?
False
Let v = 2 + 0. Let s = 6 - 4. Let b be (s - 3)*8/(-10). Is v >= b?
True
Let i(g) = 5*g + 10. Let a be i(3). Suppose a = 4*f + 1. Let n(h) = 7*h - 1. Let r be n(1). Is f less than r?
False
Let n be (3 - 1/(-1)) + -34. Which is greater: -32 or n?
n
Suppose 1 = 4*i - 55. Suppose 3*n - i - 11 = 5*c, 5 = -c. Is 0.2 at least as big as n?
True
Let o = 0.03 + 0.47. Let x = o + 0.5. Let v = x + -1. Which is greater: -3 or v?
v
Let r(o) = 6*o + 7 - 6 + 0*o. Let f be r(1). Suppose 2*m - 4*j + j + f = 0, m + 1 = -j. Is m greater than -2?
False
Let m = -40601/13 + 726615/208. Let x = 370 - m. Which is bigger: 0 or x?
0
Suppose 0 = -7*f - f. Which is smaller: f or 10/13?
f
Let d = -6 + 12. Let i be 6/9 + (-52)/d. Let r be (-1 + 3)*i/16. Which is greater: -1/2 or r?
-1/2
Let b(i) = i - 7. Let v be b(10). Let l be (v/6)/((-2)/4). Which is smaller: l or -2/33?
l
Let m = -13 - -12.6. Which is smaller: m or 3/7?
m
Let f be 3 + (-23)/5 - -2. Is 0.2 greater than f?
False
Let j be (-70)/56*(-2)/(-5). Is j bigger than 0?
False
Let s = 24/5 + -5. Let w(y) = y**3 + 3*y**2 - 4*y + 1. Let x be w(-4). Which is bigger: x or s?
x
Let r = 637/2 - 307. Let z = r - 47/4. Let c(q) = q - 1. Let o be c(5). Which is smaller: o or z?
z
Suppose -5*y + 9 = q, -2*y = -5*q + 7*q - 2. Which is bigger: -0.6 or q?
-0.6
Let c be 22*2 - 0/(6 + -1). Which is greater: c or 0.1?
c
Let r = 2/357 - 63556/1785. Let q = r + 36. Let p be (0 + 1)*0/1. Which is smaller: p or q?
p
Let b = 107/3 - 35. Let h = 0.6 + -0.4. Which is greater: b or h?
b
Let w(m) = m**3 + m**2 - 3*m. Let a = -7 + 4. Let o be w(a). Let p be 1 + -1*o/(-3). Do -3/2 and p have the same value?
False
Let l(t) = -t**2 - 4*t + 14. Let n be l(-7). Suppose m + 9 = -2*m. Let o = m - n. Which is smaller: o or 3?
3
Suppose 0 = 5*l - w + 5*w + 18, -2*l - w = 6. Let m be 52/(-35) - (-4)/14. Is l at most as big as m?
True
Suppose 0 = -2*k - 2 + 26. Suppose 0 = p - 4*p - k. Let x be p*((-5)/(-18))/(-5). Is x > 0?
True
Let y = 3 + -3. Suppose y = -i - 1 - 1. Is -2 greater than i?
False
Suppose 30*t = 32*t + 48. Is -26 at most t?
True
Let p(n) = -2*n**2 - 50*n - 1. Let u be p(-25). Which is smaller: -3 or u?
-3
Let h(z) = 2*z**2 + 4*z - 2. Let i be h(3). Suppose -2*l - 2*n + i = 0, -2*l + 2*n - 54 = -6*l. Which is bigger: 12 or l?
l
Let j = 0.1 - 0.1. Let t = j + 0.1. Let y = t - 1.1. Is -1/7 at most y?
False
Let n be (-2)/20*(0 - -4). Let i(z) = -z**3 + 3*z**2 - z - 2. Let v be i(3). Let k be 6/(-36) - v/(-6). Which is smaller: n or k?
k
Suppose -2*q + 8 = -0. Suppose q + 0 = -2*h. Which is greater: h or 2/5?
2/5
Let z = 27/20 + -11/10. Suppose 6*b - 2*b - 13 = 5*g, 0 = 2*b + 3*g - 1. Suppose l = -l - 4*j + 6, -b = 3*l - 5*j. Which is bigger: l or z?
l
Let q = -0.4 + -0.6. Let s = 76/7 + -5465/504. Let l = -47/72 - s. Are q and l equal?
False
Let d(m) = 2*m**2 - 2*m - 1. Let f be d(2). Which is greater: f or 5?
5
Let o = 5.5 - 6. Suppose -5*f = -f. Is o greater than or equal to f?
False
Suppose 0 = 2*p + 2*x + 8, 3*p + 4*x + 20 = 4. Suppose -6 = 3*j - 6*j - 3*b, 4*j + 3*b - 7 = p. Let v be (-8)/(-6) - 1 - j. Do v and -1 have different values?
True
Let w(a) = -6*a - 1. Let i be w(1). Let u = 2 + i. Let z = 56 - 56. Is z greater than u?
True
Suppose 35 = -5*r - 0*r + 4*m, -25 = 5*r - 2*m. Is r at most as big as -4?
False
Let h = 2 + -4. Let q = h - -3. Let f be (-4)/14 + (-4)/84. Which is greater: q or f?
q
Let f = -90.8 - -91. Which is smaller: f or 4/9?
f
Let i(s) = s + 1. Let b(r) = -r**2 + 16*r + 18. Let n(q) = -b(q) + 6*i(q). Suppose -2*p - 3*w + 16 = -6*w, 0 = -5*w + 10. Let a be n(p). Is 2/29 > a?
True
Let f = -3 - -5. Let c(g) = -g**3 + 8*g**2 - g + 11. Let i be c(8). Which is bigger: i or f?
i
Let b = 0.4 - -1.6. Which is bigger: -0.09 or b?
b
Suppose -3 = -5*w - 4*l + 1, 5*l = 2*w + 5. Which is greater: -1/71 or w?
w
Let u be (1 + 303/9)*-3. Let m = 934/9 + u. Let v(t) = t - 1. Let b be v(1). Does m = b?
False
Suppose 4*w + 2*z = w - 132, 0 = -w + 4*z - 58. Is -47 equal to w?
False
Let b = -2 - 11. Let z = -12 - b. Is 2/29 <= z?
True
Let d be 3/12 + (-6)/(-8). Let h = -43 - -46. Is d < h?
True
Let l = 0.07 - -3.93. Let i = 2 - l. Let o = i - 1. Is o equal to 2/5?
False
Let s(r) = -11*r**2 + 7*r + 2*r**2 - 11 + 2*r + r**3. Let q be s(8). Let j be 3*(-6)/(-27)*q. Is -1 greater than or equal to j?
True
Let h(r) = -r + 4. Let m(f) = -5*f**3 - f - 1. Let a be -4 - -1 - (1 + -3). Let t be m(a). Let l be h(t). Which is smaller: l or 0?
l
Let q(s) = s**2 - 3*s + 6. Let d be q(5). Suppose 0 = 5*c + 4 + d. Which is smaller: c or -3?
c
Suppose i = 5*u + 14, 6 = 5*i - 5*u - 4. Is i less than or equal to -2/47?
True
Let y = 20 - 20.8. Let z = -9 + 10. Which is bigger: y or z?
z
Let s(n) = -5*n**2 - 32*n + 1. Let h be s(-7). Are h and -18 unequal?
True
Let u(a) = -a + 7. Let q be u(5). Suppose 0 = -2*x - 2 - q. Is -3 > x?
False
Let z = 85 - 80. Does 7 = z?
False
Let t be ((-7)/49)/(2/(-64)). Does t = 5?
False
Let k = 3728159201/1091975 + 2904/35225. Let q = 3415 - k. Let a = 399/155 - q. Which is smaller: a or 2?
a
Let i = 3/77 + -699/154. Which is smaller: -0.1 or i?
i
Let v = -46 - -418/9. Which is greater: 0 or v?
v
Let f = -3/23 + -25/161. Is f smaller than -1?
False
Let s = -128 + 136. Is s < 1?
False
Suppose 3 = -2*s + 1. Let g be (3 + -3)/2 - s. Is 1 != g?
False
Let j = 75/4 + -809/44. Is j less than 0.1?
False
Suppose 3 = -0*t + t. Let i be t/4*6/(-27). Is i less than or equal to 1?
True
Let g(q) = -q**3 - 3*q**2 - 2*q + 1. Let z be g(-3). Let s be 3/(-2) + -5 + z. Which is greater: 0 or s?
s
Suppose -175 = -5*n - 2*n. Is n > 25?
False
Suppose 3 = s + 1. Let b be -2 + (s - 1/4). Which is bigger: 3 or b?
3
Let q be 33/(-12)*(-16)/8. Is q at least 5?
True
Let w = 1 + 3. Suppose -w = 5*q - 19. Let n = q + -4. Which is greater: n or -2/3?
-2/3
Suppose -15*g - 5*g - 20 = 0. Is g not equal to -14?
True
Suppose -5*w - 7 = -27. Let p be 6/(-12)*(1 - 1). Which is bigger: w or p?
w
Let m be (0 + 5)/((-7)/(-49)) - 0. Which is smaller: m or 36?
m
Let a be 21/(-6) - 2/(-4). Let p = 2 + a. Is 2/9 bigger than p?
True
Suppose 0*n + 2*n = 4*g - 18, 2*g = -2*n - 30. Is -14 < n?
True
Let n = 1.71 - 1.6. Let h = 0.21 - n. Which is greater: -0.1 or h?
h
Let a be ((-4)/5)/(9/(-45)). Let w(k) = 0*k + 9*k - k**2 + 4 - 3*k. Let s be w(6). Is a bigger than s?
False
Let c = 0.04 + 5.96. Let v = 327 + -333.03. Let j = c + v. Which is bigger: -1/2 or j?
j
Let w be (3/3)/(2 - 3). Let r be (-2)/7 + (-48)/(-21). Let l = r + -1. Which is smaller: w or l?
w
Suppose 10*m = 14*m. Is m at least 9/7?
False
Let t(o) = -o**3 - 3*o**2 + o - 2. Let u be t(-3). Let b be u/2*(-6)/(-1). Let y be ((-1)/(-5))/((-9)/b). Which is smaller: 0.2 or y?
0.2
Let r = -50 - -89. Let m = r + -275/7. Which is smaller: 1 or m?
m
Let j = -51.6 - -54. Which is smaller: 0.1 or j?
0.1
Let v = -125.9 - -132. Let z = -6 + v. Is z > 4?
False
Let i = 2748 - 403958/147. Is 0.1 less than i?
False
Let m be ((-6)/4)/((-1)/(-4)). Let h(d) = 19 + 23 - 37 + d. Let a be h(m). Which is greater: a or 5?
5
Let y = 76 + -52. Let d be (10/(-4))/((-10)/y). Which is smaller: d or 5?
5
Let q(v) = v**2 + 1. Let h be q(1). Let z = -4 + 3. Is z > h?
False
Let k(i) = -10*i**3 + 10*i**2 - 2. Let o(q) = 7*q**3 - 7*q**2 + 1. Let b(u) = 5*k(u) + 7*o(u). Suppose 2*v - v = 0. Let x be b(v). Is -3 at most as big as x?
True
Suppose