 + 5. Which is smaller: i or k?
i
Let b = -6 + 6. Suppose -q = -b*q + 1. Let a be (7 + -7)*q/2. Is 1 less than a?
False
Let g be ((-8)/6)/((-4)/6). Suppose -i = -4*i - 3*x + 24, -44 = -g*i + 5*x. Let r be (i/10)/(6/15). Which is greater: 2/5 or r?
r
Let b be (0/(-2 - -1))/1. Suppose -v + 20 = -3*a + 7*a, -28 = -3*a - 4*v. Which is smaller: a or b?
b
Suppose -4*a = -2*i - 24, -a - 4 = a + 3*i. Suppose -3*f + 5*j = -a*f + 16, 11 = 5*f + 2*j. Let x(r) = 2*r**3 + 2*r**2 - r. Let w be x(f). Is 3/2 >= w?
False
Let a = -2 + -1. Let d = a + 2.94. Let q = d + -0.04. Is q bigger than -0.2?
True
Let t be (-10)/40 - 218/(-808)*1. Is -1 greater than t?
False
Let p be 2/(-8) + 39/12. Let w = p - 2. Let u be ((-1)/3)/((-30)/(-18)). Is w bigger than u?
True
Suppose -4*c + 83 = 11. Is 18 bigger than c?
False
Let d(a) = a**2 - 3*a + 4. Let v be d(3). Let m = v + -4. Is m bigger than 2?
False
Let b = 0.2 - 0.4. Let t = -1.5 + -0.5. Which is bigger: b or t?
b
Let w = 0 - 0. Suppose 4*z + 4 = -w. Let f(x) = -x**3 - 6*x**2 - 5*x. Let k be f(-5). Which is smaller: k or z?
z
Let f = -2 + 1.98. Let u = 0.22 + f. Which is bigger: u or 1/2?
1/2
Let o be ((-15)/(-9))/((-1)/3). Let a = o + 5. Which is smaller: 1/3 or a?
a
Let a(k) = k**2 + 8*k - 19. Let o be a(-8). Which is greater: -18 or o?
-18
Let q = -0.2 - -0.3. Let s = 0.2 + 0.1. Let k = s - q. Which is smaller: k or 1?
k
Let g be -2 - ((-14)/6)/((-1)/3). Suppose 2*m + 40 = -3*m. Which is smaller: g or m?
g
Let u = -142 + 142. Which is bigger: -0.17 or u?
u
Let x(w) = 125 - w + 0*w + 3*w - 124 - w**2. Suppose 0 = 3*q + 4 - 13. Let n be x(q). Which is smaller: n or 0?
n
Let h(w) = w**3 + 3*w**2 - 3*w + 1. Let l be h(1). Let j be (0 - (-1 - 0))*1. Which is smaller: l or j?
j
Let i be -6 - -3 - 0 - 2. Let o(r) = 5*r + 3. Let c be o(-2). Which is smaller: i or c?
c
Let g = 1220/63 + -134/7. Which is bigger: g or 0?
g
Let j be 3/((18/(-8))/(-2 + -4)). Is j at most 4?
False
Let w(p) = p**2 - 5*p - 3. Let l be w(6). Let q be ((-2)/(-6))/(l/(-9)). Suppose i - 3*i = 4. Are i and q non-equal?
True
Suppose 2*w = -1 + 5. Suppose -z + w*z = 0. Let c = -490 - -4412/9. Which is smaller: c or z?
z
Let t = -369/8 + 46. Let s(r) = r**2 - 4*r + 3. Let w be s(3). Which is smaller: t or w?
t
Let k be (5/30)/((-3)/(-12)). Which is smaller: k or 0.2?
0.2
Let v be ((-827)/14)/(4/24). Let f = 355 + v. Is f at least as big as 1?
False
Let i = -1.8 - -4. Let t = 2 - i. Let l = -0.2 + 0.1. Is t at least l?
False
Let z = -17084643/164 - -104175. Let f = z + -4/41. Which is greater: f or 1?
1
Suppose 4 - 13 = 9*y. Which is greater: y or 2/5?
2/5
Suppose -h = -0*h. Is -1 at most as big as h?
True
Let o be (-3)/(-9) + (-32097)/15372. Let s = 2/427 + o. Which is smaller: s or -2?
-2
Let j(r) = 3*r**3 + 3*r**2 - 3*r - 8. Let u(v) = 4*v**3 + 4*v**2 - 4*v - 8. Let z(g) = -5*j(g) + 4*u(g). Let q be z(0). Is 1 smaller than q?
True
Suppose 0 = v - y + 18, 2*v - 2*y + 33 = -y. Let n = -12 - v. Let k(t) = t**2 - 6*t + 1. Let d be k(6). Which is smaller: n or d?
d
Let i(l) = l**2 + 3*l - 3. Let o be i(4). Let c be 7/(-5) + 10/o. Let m = -40/9 - -13/3. Are c and m nonequal?
True
Let y be 4/((-8)/(-2)) - -1. Let t be (1/y)/(2/8). Is 2/7 greater than t?
False
Let y be (-166)/120 + (-4)/(-30). Is y smaller than 1?
True
Let s(u) = u**2 + 2*u - 1. Let j be s(-3). Let b = -12 - -5. Let v be (-12)/b + 4/14. Is v bigger than j?
False
Let c(m) = -3*m + 4. Let x(r) = -16*r + 21. Let j(q) = 11*c(q) - 2*x(q). Suppose 1 = -5*n - 9. Let o be j(n). Is o at most as big as 4?
True
Let g be (-6)/8*1/3. Let j be (1 - (2 + -2))/1. Let r = -2 + j. Are g and r unequal?
True
Let f = -11 + 9.8. Let z = f - -0.2. Let a = -3/2 + 2. Are a and z equal?
False
Let b be 1 + (-1*3)/3. Suppose -5*d = -2*x + 7 + 7, 0 = -3*x + 6. Let h be -1 + d + 5/2. Is h less than b?
True
Let v = -10 + 9.88. Let q = -0.58 + v. Which is greater: q or 0?
0
Suppose 9 = 3*f + 6. Are f and -2/7 unequal?
True
Suppose -76 = -4*t + 4*o, 2*o - 1 - 18 = -t. Suppose 0 = 4*m - m + 5*n - 7, -t = -4*m + 3*n. Which is smaller: m or 14/5?
14/5
Suppose -33*l = -38*l. Which is smaller: l or -2/3?
-2/3
Suppose 2 = -i - 2*q, 0*q = -2*i + q - 14. Let v = 9 + i. Which is smaller: v or 1/4?
1/4
Let z be (14/(-4))/((-2)/4). Let r = -5 + z. Is 1 <= r?
True
Let b be (-7 - -7)*(-1)/(-2). Suppose b = -3*t + 2 + 1. Let h = -1 - -2. Is h less than t?
False
Let p be (8 - 6)*(-2)/12. Let a = -3525540385/2529 - -1394045. Let c = a + 2/281. Which is smaller: c or p?
p
Let c be (-7)/(231/6) - 0. Which is smaller: c or -2?
-2
Let b = 5/7 + -99/119. Which is smaller: b or 1?
b
Suppose -2*c - 7 = -2*n - 1, -4*c - 5*n - 12 = 0. Let u = -3 - c. Suppose -4*s - s = u. Which is smaller: s or -1?
-1
Let s = -2.93 - 0.07. Which is smaller: s or 1?
s
Suppose -h + 6*h = 0. Suppose -8 = -2*w - 2*w. Which is smaller: w or h?
h
Let d be 1/(12/15 + -1). Let r = 5 + d. Let o = 26 + -128/5. Is o at least as big as r?
True
Let p = 0.97 + -0.07. Which is bigger: p or -0.1?
p
Let g = -638 + 3087/5. Let q = 21 + g. Is 0 bigger than q?
False
Suppose 2*v - 4 = -0. Which is smaller: v or 1?
1
Let f(z) = 3*z + 1. Let l be f(1). Let n be l/(-3)*6/(-4). Let b(y) = y**3 + 6*y**2 + 2*y + 14. Let v be b(-6). Is n < v?
False
Let n = -0.1 - -0.3. Let b = -0.06 + -5.94. Let f = b - -5.7. Which is smaller: n or f?
f
Suppose 85*t = 86*t. Which is bigger: -2/5 or t?
t
Suppose 4*n - x = 11, 4*x + 12 = 2*n - 4. Suppose 0 = -2*b - 4 + n. Which is bigger: 0 or b?
0
Let t = -31/4 - -101/12. Is t at least as big as -1.2?
True
Let w be (96/(-20))/(2/10). Let j be ((-11)/(-154))/(2/w). Which is smaller: 0 or j?
j
Let b = -1.8 + -0.2. Let q = 1 - b. Is q equal to 0.1?
False
Let l(u) = u**2 - 5*u + 5. Let b be l(4). Let h be (5/110)/(b/(-4)). Which is greater: h or -1?
h
Let d = -7479/8 + 933. Let v = -43/40 - d. Which is smaller: v or 0?
0
Let v(r) = -r**3 - 4*r**2 + 6*r + 3. Let z be v(-5). Let p be -20 + 0 + z + 4. Which is greater: p or -17?
-17
Let l be 8/5 - (-14)/35. Let i be (2 - (1 - l)) + -1. Which is smaller: -2 or i?
-2
Let a = -1.4 - -0.3. Let h = 0.1 + a. Let d = -0.9 - h. Is d smaller than 2?
True
Suppose i + 4*i = 25. Suppose 3*f - i = g, -f = -0*f - 4*g - 20. Is f bigger than 0?
False
Let t = 3 - 4. Let j be t/(-3) + (-14)/(-21). Let p = 7 - 7. Which is smaller: j or p?
p
Let w = 2.5 + -0.5. Let i = -19 + 16.6. Let q = w + i. Which is smaller: q or -0.1?
q
Let z = -0.2 + -0.3. Let x = 0.72 - 0.82. Is x bigger than z?
True
Suppose -5*l - 13 = -33. Let s be (-2)/((-2)/5) + 0. Suppose l*z + 2 = s*z. Which is smaller: z or 3?
z
Suppose -2*q + 0*q + 8 = 0. Suppose 20 = -q*v - 3*r - 7, 5*v - 5*r - 10 = 0. Let f = v - -4. Is 1 at least f?
True
Let b be 18/6 + (-1)/(2/(-8)). Does -3 = b?
False
Let y(m) = -2*m**3 - m. Suppose -3*u - 1 = 2. Let c be y(u). Suppose 4*o - 5 = 2*j - 3, -j - c*o = -4. Which is smaller: j or -0.4?
-0.4
Let a = -4 - -3. Do a and 2/19 have the same value?
False
Let f(b) = -3*b + 2. Let p be f(-1). Let o be (28/30)/(p/15). Is 3 <= o?
False
Suppose 4*p - 26 = -h + 3*p, 3*h - 63 = 2*p. Let x = h - 37. Does -14 = x?
True
Let p = 84.2 + -107.07. Let a = -23 - p. Let y = a - -0.03. Which is greater: y or -1?
y
Let b = 47/3 + -614/39. Is b not equal to 1?
True
Let p = -9 + 137. Is 129 less than p?
False
Let t = 13.82 + -14. Let x = t + 7.18. Which is bigger: 2/9 or x?
x
Suppose 0 = -7*s + 11*s - 64. Is 14 greater than or equal to s?
False
Suppose 6*z - 5 = z. Which is smaller: 15/7 or z?
z
Let y be (-371)/3 - (-3 + 1). Let f be (-4)/10 + 613/(-5). Let n = y - f. Which is smaller: 2 or n?
n
Suppose -12*j + 15*j = 0. Let l = 1295/1177 - 1/107. Which is smaller: j or l?
j
Let g = 5 + -4.9. Let s = -0.2 + 0. Which is bigger: s or g?
g
Suppose -2*g = -4 + 2. Let w = 3 - g. Suppose -z = z - w. Is z at most as big as 4?
True
Suppose 2*s + 0*s - 8 = z, 4*z + 8 = 0. Suppose -s*a = 2*a + 65. Which is greater: -14 or a?
a
Suppose 2*n + 3*n = 2*y - 8, -10 = 2*y + 4*n. Are y and 49 equal?
False
Let t be 0 - -2 - 0/(-2). Let f(w) = w**2 + 7*w + 3. Let l be f(-7). Suppose 2*d = 1 + l. Is t not equal to d?
False
Suppose r = 5*r - 108. Let w be 48/r + 4/18. Suppose 0 = -w*l - 11 + 5. Are -4 and l equal?
False
Let p be (-3)/(15/(-7)) - 1. Let x be 1 - (-1)/(-1 - -2). Suppos