)/(6/5). Which is bigger: k or 3?
3
Let i = 100 + -101.7. Which is smaller: i or 2?
i
Let g be (-18)/4*8/12. Let v = -3 - g. Which is smaller: 1/5 or v?
v
Suppose 5*s + 4*u - 6 - 40 = 0, s = 5*u + 15. Suppose -w = -4*j - s, -3*j - 14 = 5*w + 5. Let o = 83/2 + -43. Which is bigger: o or j?
o
Suppose 3*k + 2*k - 10 = 0. Which is smaller: 6/5 or k?
6/5
Let l = -2 + 1. Let u = 0 + -5. Let v = 5.2 + u. Which is bigger: v or l?
v
Let g = -44 - -18. Let u be 1/(-1) - 22/g. Let o = -8 + 7. Which is smaller: o or u?
o
Let h = -16 - -50/3. Let b = -2 - 1. Which is smaller: h or b?
b
Suppose 2*z + 2*z = -24. Let n be (-9)/(1 - 1 - (-21)/14). Is n at most z?
True
Let p be 1 + 2 + 1*(-141)/48. Is p bigger than -1?
True
Let u be (1 - 0)*(-2 + 5). Suppose 3*i - 5 = -4*j + 2*j, 2 = u*i - j. Let b be (-5)/((-50)/24) + -2. Which is smaller: i or b?
b
Let t = 15.8 + -17. Let v = -6.8 + t. Which is bigger: v or 1/4?
1/4
Suppose 0 = 2*s - 0*s + 12. Let n(r) = -r**3 - 7*r**2 - 6*r + 2. Let h be n(s). Let d be 27/60 - h/8. Do -1 and d have the same value?
False
Let i = -1.96 - 0.04. Let j = 5 + i. Let k = j - 3. Is k smaller than -0.1?
False
Let d = 1/21 + 2/7. Let f = 0.4 - 0.2. Which is smaller: d or f?
f
Suppose 0 = -5*z + 4 + 16. Let q = z - -2. Which is smaller: 7 or q?
q
Let g(k) = -k**2 + 7*k + 1. Suppose n - u - 7 = -2, -5*u + 17 = n. Let f be g(n). Is 1/2 < f?
True
Let x = -2.3 - -3. Let m = 0.3 + x. Let t = 53 + -53. Which is smaller: m or t?
t
Let f be (16/84)/(6/(-7)). Is f > 0?
False
Let x(p) = p**3 + 4*p**2 + 3*p + 2. Let k be x(-3). Is 2 at least as big as k?
True
Suppose -4*t + 6*t = -4. Suppose -2*k = 4*c - 2*c + 8, -4*c = -4*k - 16. Which is bigger: c or t?
c
Let i = -48 + 50. Let c = 2014/9 + -224. Are i and c unequal?
True
Let x = -6 - -10. Suppose -t = x*a + 3*t, 0 = -a + 5*t. Which is smaller: a or 1/9?
a
Let o(w) = 5*w - 14. Let u(a) = -a + 3. Let f(n) = -2*o(n) - 11*u(n). Let m be f(5). Let t = m - -2. Which is smaller: 1 or t?
1
Let r(m) = m**3 - 3*m**2 - 4*m - 2. Let v be r(4). Let s be (-2)/(-4) + 3/v. Is s less than 2/13?
True
Suppose 4 = -0*m + 2*m. Let q(a) = 2*a**3 - 2*a**2 + 1. Let w be q(m). Suppose 2*p - w = -p. Is p < 4?
True
Suppose 3 + 18 = 3*x. Let h = 11 - x. Is h at least 4?
True
Let i = -7 + 5. Let w(d) = -3*d + 2. Let l be w(-3). Let o be l/(-14) + 4/14. Is o equal to i?
False
Suppose 3*w - o - 10 = 0, -o - 4 = -0*o. Let k be 1/(-3)*(-3)/w. Which is bigger: 0.3 or k?
k
Let f(z) = 7*z**3 + 14*z**2 - 3*z - 7. Let l(h) = -6*h**3 - 13*h**2 + 4*h + 6. Let u(o) = -5*f(o) - 6*l(o). Let i be u(-9). Which is smaller: -2/7 or i?
i
Suppose -3*p + 0*p + 9 = 0, -7 = 2*b - 3*p. Let x be (1/(-3))/1*(-19 - -15). Which is smaller: x or b?
b
Let i be 1 + (-5)/15 + -2. Do -2/5 and i have the same value?
False
Suppose 5*y = -4*o + 140, y - 53 = -y - o. Is 22 smaller than y?
True
Let i = -33 + 20. Is -13 at most i?
True
Let o = -0.1 - -0.1. Let f = -1 + o. Let p = -0.02 + -1.98. Which is smaller: f or p?
p
Let l = 2.498 + 0.322. Let c = 0.18 + l. Which is smaller: 2/5 or c?
2/5
Let a = -14 + 17. Suppose 0 = -25*x + 28*x - a. Let i be 1/(-36) + (-2)/(-8). Which is smaller: x or i?
i
Let x = 9.2 + -0.2. Let l = x - 7. Do l and 1/6 have the same value?
False
Suppose -18 = 3*t - 5*t. Is 9 smaller than t?
False
Let y = 3/10 - 2/15. Is y bigger than 0?
True
Let a = -64 + 42. Let b = a + 23. Which is bigger: -10 or b?
b
Let q(u) = -u**2 - 7*u - 4. Let r be q(-7). Let s be (r/(-8))/((-1)/(-6)). Suppose 8 = s*d + d. Is d != 4/7?
True
Suppose -3*x - 21 = 3*s, x = 3*s + 3*x + 16. Let q be (s/42)/(2/(-20)). Let l = q + -152/231. Which is smaller: 2/7 or l?
l
Let u = 9.3 + -6.4. Let t = -3 + u. Are 0.4 and t equal?
False
Let y(o) = o**3 + 7*o**2 - 7*o + 9. Let p be y(-8). Let m be p*-2 - 1/(-1). Let g = 0.2 + -0.4. Is m at most g?
True
Let v be (-1)/15 + (-4)/(-10). Let f = 1 - 3. Let q be (f/(-6))/(3/(-9)). Is v less than q?
False
Let j = -11.7 + 11.8. Which is smaller: -15 or j?
-15
Let j = 1 - 8. Let k be 2/j + (-248)/(-672). Which is smaller: k or 1?
k
Let y be 96/(-7) + (-6)/21. Let s = -6 + 4. Let c be (s - 0) + (-30)/y. Which is smaller: c or 1?
c
Suppose 42 = l - 2. Which is bigger: -1 or l?
l
Let t(k) = -2*k**3 - k**2 - 5*k + 6. Let v be t(2). Is -22 <= v?
False
Let a = -2 - -1.95. Let z = -0.01 - a. Let d = 2.04 - z. Which is greater: -1 or d?
d
Suppose 0 = 2*t - 5*g + 8, -t - 10 = -5*g + g. Let n = -3 + t. Which is smaller: n or 2?
2
Let d = 0.28 - 0.3. Let y = -7 - -7.12. Let x = d + y. Which is greater: 1 or x?
1
Let w(i) = i**2 + 5*i - 3. Let l be w(-5). Let n = -13 - -9. Which is bigger: n or l?
l
Suppose -5*y + 4*y + 5 = 0, -5*z + 35 = -y. Let q(k) = -k**3 + 8*k**2 - 2*k + 6. Let l be q(z). Let u = 39/4 + l. Is 1 at least as big as u?
True
Suppose 6*q - 4*q = -16. Which is smaller: q or 0?
q
Let p(y) = y**3 - 6*y**2 - 7*y + 2. Let v be p(7). Let o = -0.9 + 0.6. Which is smaller: o or v?
o
Let s(j) = j - 6. Let t be s(9). Let m = t - 3. Do -4/3 and m have different values?
True
Let t(c) = c - 6. Let a(n) = 1. Let j(f) = -4*a(f) + t(f). Let b be j(10). Let x = 1/142 - -275/1278. Which is smaller: x or b?
b
Let q(d) = d**3 - 10*d**2 + 9*d - 2. Let a be q(9). Let f be 4/(-10)*(a - -22). Which is smaller: -9 or f?
-9
Let a be (-184)/69*(-6)/8. Which is bigger: 12/11 or a?
a
Let v be ((-3)/(-6))/((-2)/(-20)). Suppose t - 3*r = -9, -2*t + 15 = -t + v*r. Is 1/3 > t?
True
Let d = -1367/13 + 105. Which is greater: d or 0?
0
Let d be (4 + -4)*1/2. Suppose d = f + f. Is -2/7 greater than f?
False
Suppose 0 = 4*q, 4*q = 3*f - 5*f + 4. Suppose 5*r - 1 = f*s - 6, -4*s = 3*r + 3. Let n be s/(3*2/(-3)). Are n and 2/5 nonequal?
True
Let h = -7 - -3. Do -2 and h have different values?
True
Suppose 10 = -3*h + h + 2*r, -4*r = -3*h - 17. Let d = 5 + h. Suppose -d*z + 3*t = z - 9, 3*t = -12. Which is smaller: 0 or z?
z
Let u be 3/(-6)*-2 + 0. Suppose -u = -2*z + 3*z. Is 1/5 greater than z?
True
Let a = 0.2 + 0.1. Let l = a + -0.2. Let s = 5 + -6. Is s at least as big as l?
False
Let c = 2 - 1. Let q be ((2 - 2)/(-3))/1. Which is smaller: c or q?
q
Suppose 0 = 4*w - 0*w. Let m be -4 + 252/39 + -2. Are m and w non-equal?
True
Let r = 8.1 - 8. Let g = r + -0.4. Let c be (-2)/(-4)*-1*2. Which is bigger: c or g?
g
Suppose 0 = 2*d + 5*c - 16 - 19, -4*d = c - 25. Let k = d + -4. Is k at least 3?
False
Let m(i) = 4*i**2 - 15*i + 6. Let k(b) = 5*b**2 - 16*b + 7. Let u(h) = -3*k(h) + 4*m(h). Let t be u(11). Which is bigger: t or -7?
-7
Let k(s) = -s - 3. Let l be k(0). Let n be -1 - ((0 - -1) + l). Let h = n + -2. Is 1 <= h?
False
Let b = -9 + 10. Does -2 = b?
False
Let o(n) = -7*n - 24. Let p be o(-12). Are 59 and p nonequal?
True
Let o(m) = m**3 - 9*m**2 + 2. Let a be o(9). Let b be 1/2 - 4/8. Suppose 3*i + 2*i - 5*k = b, 0 = -5*k. Which is bigger: i or a?
a
Let g = 407/72 - 55/8. Which is greater: 0 or g?
0
Suppose 0 = l - 7 + 1. Let z be 9*(2/l)/(-1). Is -3 > z?
False
Let j = -131/3 - -44. Let p(i) = 2*i**2 + i + 1. Let k be p(-1). Let u be -3 + 4 + -3 + k. Is j smaller than u?
False
Suppose 4*a + 5*x = 9, -4*x = -x - 3. Suppose -a = l + u - 4*u, -5*l = -u + 5. Let s(g) = 2*g. Let t be s(l). Which is smaller: -1 or t?
t
Suppose 3*g = 4*g - 4. Let d be ((-4)/12)/(2/g). Which is bigger: d or 0.2?
0.2
Let q(o) = 5*o - 6. Let t be q(0). Is -23/4 > t?
True
Let n be 3/9 + (-2)/(-6). Let i = 0.01 - 0.41. Let z = -1.4 - i. Is n greater than z?
True
Let z(d) = 6*d**2 + 40*d - 19. Let y be z(-7). Let p(k) = -k**2 - 6*k - 4. Let s be p(-6). Let t be (9/(-12))/((-1)/s). Which is bigger: t or y?
t
Let g = 3289/19 - 173. Which is smaller: 1 or g?
g
Let k = 0.04 + -7.04. Let w = -8 - k. Which is smaller: 1/6 or w?
w
Suppose -w - 3 + 2 = 0. Let y = 31701551898/1945 + -16298999. Let o = -2/389 + y. Which is bigger: o or w?
o
Suppose 0 = -0*y + 5*y. Is -5 greater than y?
False
Let j be 6/15 - 109/210. Let w be 6*(1 + (-87)/84). Let l = j + w. Which is greater: -1 or l?
l
Let j = 0.14 - 0.24. Are j and -7 equal?
False
Let f = 2 + 1. Suppose -4*v + 18 = 2*n, -7*v + f*v = -5*n - 39. Let l be 6/10*(-4)/v. Which is greater: l or -1?
l
Let t = 0.25 + -10.25. Let x = -16 - t. Let k = 5 + x. Which is bigger: 0 or k?
0
Let j = 0.5 - 5.5. Let x = j + 4. Which is greater: -1/3 or x?
-1/3
Let v