 Let i = r + 2.1. Which is greater: 4 or i?
4
Let w(k) = -k**3 + 12*k**2 + 12. Let v be w(12). Let c be (v/14)/((-2)/(-14)). Which is smaller: c or 0.1?
0.1
Suppose 0 = 4*m - 3*g + 5*g - 18, -15 = -3*m - 2*g. Let z = 3 - -5. Suppose -m*b + z = -b. Does 3 = b?
False
Suppose 2 = 2*d + 4. Let u(k) = 2. Let f(o) = -o**2 + o - 1. Let h(t) = d*f(t) - u(t). Let i be h(0). Is -2 greater than i?
False
Suppose f + f = 0. Let o(x) = -x**3 - 6*x**2 + 6*x - 6. Let u be o(-7). Which is bigger: u or f?
u
Suppose -3*k - 5*n = -2*n - 12, -10 = -5*k - 3*n. Is 2/55 bigger than k?
True
Suppose 0 = 4*z - 5*z + 2. Let p = z + 31. Let m = -67/2 + p. Which is smaller: 1 or m?
m
Let q = 10 - 7. Let k = 4 - q. Let u = 0.235 - 0.035. Which is bigger: u or k?
k
Let y(z) = 3*z + 38. Let h be y(-13). Which is smaller: h or -5?
-5
Let f = 1739/91 - 137/7. Are 0 and f equal?
False
Suppose -5*o = 5*l + 15, -o - 4*o = -3*l + 15. Let t = 0.72 + -0.7. Which is bigger: l or t?
t
Let x(b) = -b**3 - 5*b**2 - 6*b - 5. Let n be x(-4). Suppose 3 = -5*g + 5*m + 23, 3*m + 8 = g. Suppose -4*j + g*j = 2*r, r - 5*j = 12. Which is smaller: r or n?
r
Let a = -6.94 + 7. Let k = a - -0.01. Are k and 1/3 nonequal?
True
Let g = -4 + 3. Let t = -5 - -19. Let l be (1/2)/(t/4). Which is bigger: g or l?
l
Let f = -1614 + 1145. Let s = 467.03 + f. Let r = s + -0.03. Is -2/3 greater than r?
True
Let m be (-181)/774 + -4*(-2)/36. Is m != -1?
True
Let i(z) = -z**3 - z**2 + 2*z + 1. Suppose 4*j - 2*u + 4*u + 8 = 0, 2*u = 0. Let l be i(j). Is l less than or equal to -2/7?
False
Let d be (-4)/10 + 3/5. Suppose 5*n = -5*w - 10, -4 = -5*n + w + 4. Let y be (-4)/(-6)*n/2. Are d and y unequal?
True
Let v be (-4)/16 + 19/44. Let c(w) = -w**2 - 2*w + 3. Let n be c(-3). Suppose 7*b - 4*b = n. Does b = v?
False
Suppose -5*n - 2 = 3. Let z be (4/3)/((-4)/(-18)). Suppose a + 2*a = -z. Which is smaller: n or a?
a
Let f = -84 + 75. Are 0.06 and f non-equal?
True
Suppose 4*g + 10 = 2*t + 3*g, -4*t + g = -18. Let m be (12/(-18))/(t/6). Is m >= -1?
True
Let x(u) = -u**2 - 7*u - 4. Let y be 1/(-1)*(8 + -2). Let l be x(y). Is 4/3 greater than l?
False
Let w = -7.8 - -8.21. Let v = w + 2.79. Let k = -3 + v. Which is smaller: 0.1 or k?
0.1
Let x = 277/201 + -3/67. Let z be 5/3 - (2 - 1). Which is bigger: z or x?
x
Let a = -1075 + 4323/4. Let v = 12 - 5. Is v greater than or equal to a?
True
Let w(f) = 2 + 1 + 0*f + f. Suppose 0 = -g + 5*g. Let y be w(g). Which is smaller: y or 4?
y
Suppose 2*b = 6*b + 24. Let d = 2 - 1. Let s be (30/(-25))/(d/5). Is b at most s?
True
Let o be 33/90 + 1/(-5). Suppose 0 = -3*p - 4*n + 27, -3*n + 40 = 5*p + 2*n. Suppose -5*l + v + 2 = 1, -v = p*l + 1. Which is greater: l or o?
o
Suppose 8 = 3*w + b, 0*w + 4*b = 2*w - 24. Let v = w - 7. Which is bigger: v or 0?
0
Let l be (-88)/28 + 3/21 + 3. Which is smaller: 3/40 or l?
l
Let s = 60 - 68. Which is smaller: -4 or s?
s
Suppose 12*t = -207 - 285. Is t at least as big as -40?
False
Let c(k) = -2*k - 3. Let p = 0 - 3. Let m be c(p). Suppose -2*z + 0*z = 3*x + m, -x + 5*z = -16. Which is smaller: x or 0?
0
Let n = -125.9 - -121. Let p = 0 - -5. Let b = n + p. Which is smaller: -3/4 or b?
-3/4
Let q = 2.14 - 2.14. Which is bigger: q or 17?
17
Let b be 15/18*(-1)/(-15). Which is smaller: -1 or b?
-1
Let s(o) = o - 16. Let h be s(7). Let u be h + 5 - 1*-3. Suppose -3*k + 11 = -2*i - 0*i, -2*k + 6 = 0. Is u less than i?
False
Let o be (-2)/(-4)*-1*0. Suppose -5*f - 4*j = 13, j - 1 = 3*f - o. Is -1/4 equal to f?
False
Let m be 6 + 0 + (0 - 0). Let i be (m/(-18))/(2 + -1). Is i at most as big as 0?
True
Let t(i) = -i**3 + 2*i**2 + i - 1. Let y be t(1). Let a(p) = 2*p**3 - 2*p**2 + 2*p - 1. Let l be a(y). Which is smaller: l or -1/20?
-1/20
Let i be -2 + 65/20 - (-9)/12. Is 21/11 != i?
True
Suppose 5*k - 8*k + 9 = 0. Let m = -69 - -141/2. Is k > m?
True
Let f = -0.28 + 0.41. Let k = f - -0.17. Which is bigger: k or 2?
2
Let j = -5/4 + 21/16. Let d = -205 + 205.1. Are j and d nonequal?
True
Suppose -5*a - 1 = -36. Are 8 and a equal?
False
Let c = 29.9 + -30. Let p = 1 - 9. Let i = 5 + p. Is i less than c?
True
Let g be -6*((-6)/4 + 0). Which is smaller: g or -1?
-1
Let o = -141 - -223. Which is bigger: 81 or o?
o
Let d = 0.1 + -1.1. Let t = -2.5 - -2.8. Which is smaller: d or t?
d
Let b be 2*8/4 + -5. Is -2 less than b?
True
Suppose 0 = 5*l + 4*g + 9, g = -3*l - 4 - 0. Is 1/11 greater than or equal to l?
True
Let w(u) = u**3 + u + 1. Let x be w(-1). Which is smaller: x or 0.7?
x
Let o = 0.206 + -0.006. Let v = 0.4 + -0.6. Which is greater: o or v?
o
Suppose 10 = -8*u + 354. Which is smaller: u or 42?
42
Let q(r) = 4*r**2 - 1. Let c be q(1). Suppose -5*i = c + 7. Which is smaller: -0.05 or i?
i
Let d be (-3)/((-30)/65)*2. Are 0.1 and d non-equal?
True
Let w = -627/4 + 157. Which is smaller: -1 or w?
-1
Suppose -4*c + 14 = 4*r - r, 0 = -5*r - 2*c. Is 1 less than r?
False
Suppose 0*q = -5*q. Let n be (4/40)/(1/(-2)). Is q != n?
True
Let s be 19/(-1*3/3). Let l(m) = 6*m + 4. Let t be l(-4). Which is greater: s or t?
s
Let s(c) = 2*c**2 + c - 1. Let u be s(1). Suppose 2*f - 3*x + 5*x + 10 = 0, -4*x + 40 = -u*f. Which is smaller: -11 or f?
-11
Let p = 59 + -58. Is p equal to 6/37?
False
Suppose 0 = -4*q - 19 + 443. Let r = q + -1376/13. Let w be 2 - (1 + (-2)/(-1)). Which is smaller: w or r?
w
Let y be ((-2)/(-3))/(-2 - 1). Let f = 35 - 34. Which is smaller: f or y?
y
Let d be (-9)/(-3) + (-5)/(15/(-3)). Is -5 smaller than d?
True
Let u(s) = -2*s**2 - 6*s. Let l be u(-5). Let q be (l/(-28))/((-12)/14). Which is bigger: -2 or q?
q
Let r(j) = -j**2 + 17*j + 18. Let i be r(17). Is 21 smaller than i?
False
Let q = 0.2 - 0.6. Let f = q - -0.5. Is 0.1 <= f?
True
Let k be (-8)/18*(-9)/6. Is 0 greater than or equal to k?
False
Let y be 4*(-3)/(-48) - (-23)/4. Is y != 2?
True
Suppose 0 = 4*y - 3*u + 544, y - 18*u + 19*u = -136. Which is smaller: -135 or y?
y
Let c(n) = n + 6. Let k be c(-5). Let j = 0.7 - -1.4. Let t = -2 + j. Is k at most t?
False
Let t(x) = -x**2 - 12*x - 18. Let b be t(-10). Let i be ((-9)/(-8))/(3/4). Which is smaller: b or i?
i
Let c = 358 + -703. Let u be ((-1374)/c - 4)*-5. Is -1 at least u?
False
Let o be (6/69)/(-3 + -2 + 3). Which is bigger: o or 1?
1
Let w be (-4)/(-8) + (-3)/(-24) + 0. Is 0.1 at most as big as w?
True
Let o = 3 - 0. Let r(h) = -h + 3. Let x be r(o). Let y = -3 - -2.9. Is x > y?
True
Let x = -61 - -60.9. Which is greater: x or -0.2?
x
Let d be 1*0*(-1)/3. Let q be (-9)/(-3) + (-3 - 8/(-68)). Is d at most as big as q?
True
Suppose 4 = -0*h - h. Let u = -1 - h. Suppose -g + 0 = -u. Which is greater: g or 4?
4
Let i(t) = -t**3 - 4*t**2 - 4*t. Let h be i(-3). Let f = 0.4 - 0.4. Is f smaller than h?
True
Let j be (-5)/(-2)*(-6)/(-15). Let s be (-8)/6*6/(-4). Is j > s?
False
Suppose -5*j = 166 - 46. Which is smaller: j or -22?
j
Suppose 4*r - 2*x = -3*x + 59, 2*r + 2*x = 34. Let w be (-7)/(r/60) + 0. Let n be (-9)/w*(-4)/6. Which is smaller: 0 or n?
n
Suppose 10*q - 45 = 5*q. Suppose -2*u - 29 = 3*u + 2*d, 3*d = 3*u + q. Let k(w) = -w - 6. Let c be k(u). Which is greater: c or 0?
0
Suppose -5*o - h + 42 = 0, -o - 2 + 20 = 5*h. Let y be (6/o)/((-27)/(-24)). Is y at most as big as 1?
True
Suppose -3*w - 2 = 7. Suppose 2 = x - 3*x. Is x > w?
True
Suppose -3 = -7*v + 4. Which is bigger: -2/9 or v?
v
Let h = 3 - 4. Let f = -1.28 - 0.78. Let r = -0.06 - f. Which is smaller: h or r?
h
Let k = -0.011 - -1.031. Let x = 1 - k. Which is greater: x or -0.2?
x
Let g = 1 + 0. Let a = g - -1. Suppose -4*b - f = -7 + 3, 0 = -3*b - 4*f + 3. Which is greater: a or b?
a
Let v(d) = -d**3 + 10*d**2 - 2*d + 19. Let a be v(10). Which is greater: -5 or a?
a
Let w be 3 - 4/8*3. Is 1 smaller than w?
True
Let x be 2/(-8) + (-63)/(-12). Suppose 0 = 4*o + o - 25. Do o and x have the same value?
True
Let j(h) = h**2 + 5*h - 6. Suppose b - 2*v = -6, 3*b = -0*v - v - 18. Let d be j(b). Is 1/3 bigger than d?
True
Let d be -2 - (-3 + 2) - -39. Let t be d/(-14) - (3 - 6). Is t <= 1?
True
Suppose 0 = 3*i - 3*a, 4 - 28 = -5*i - a. Suppose x - i*d - 5 = 0, 5*x + 0*d + 19 = -2*d. Let g be (-28)/6 - 2/x. Is -4 > g?
False
Let v(d) = -d**3 + 7*d**2 + 2*d + 1. Let w be v(7). Let s be (3 - 1)*w/10. Do 4 and s have different values?
True
Suppose 0 = -4*l + 5*n + 2, -n - 2 -