2)) - -2. Is k > v?
False
Let t = 10 - 15. Let b = t + 4. Which is greater: b or -0.2?
-0.2
Let r = -8 - -27. Let l = 27 - r. Is l >= 8?
True
Suppose 18 = -t + 5*z, -t + 3*z - 10 = -0*t. Do -10 and t have different values?
True
Let s(r) = r**2 + r + 2. Let t be s(-2). Suppose -b + 1 + 0 = 0. Suppose 3*u - t = -b. Which is greater: u or 3/2?
3/2
Let k = 9/2 + -6. Let a be 12/(-21) - 102/42. Let f be ((-27)/9)/(a/(-2)). Is f bigger than k?
False
Let w(p) = -p**3 - 4*p**2 - p - 2. Suppose 3*z + 8 = 5*r - 2, 4*r - 8 = -z. Let i be (-9)/r - 1/(-2). Let h be w(i). Which is greater: h or 3?
3
Let h = 84/11 + -1355/176. Which is smaller: h or -1?
-1
Suppose -2 = -3*k + 5*h - 6*h, 0 = -4*k - 2*h. Let w = 1013/5 + -202. Is w smaller than k?
True
Let o = -1 - 0. Let j = 2.6 - 4. Let y = j + -0.6. Are y and o unequal?
True
Let o(u) = -u**3 - 9*u**2 - 4*u - 29. Let y be o(-9). Is 10 equal to y?
False
Let i = 0.3 + -0.1. Let w = -0.3 + i. Let o = w + -0.1. Which is smaller: -2/9 or o?
-2/9
Let a = -5 - -1. Let b be 4 - (-2 - a - 3). Suppose -b*j = 3*q - 2, -4*q - 5*j + 1 = -0. Which is bigger: 2/11 or q?
2/11
Let i be (-154)/(-4) - (-1)/(-2). Suppose -q = -3*j + 4*q + i, -5*j = 5*q - 10. Let v be (-1)/(-3) + 4/j. Which is bigger: 2/7 or v?
v
Let q(c) = -9*c**2 + c + 1. Let g be q(0). Does g = 50?
False
Let d be 28/3 - (-6)/9. Suppose -d = -2*a - 0*a. Is a != 6?
True
Suppose -3*s = s + 16. Let t(v) be the third derivative of v**4/24 + 2*v**3/3 - 2*v**2. Let n be t(s). Which is bigger: 2/9 or n?
2/9
Let z be (24/(-20))/((-1)/(-5)). Let a(y) = y + 7. Let d be a(z). Which is smaller: -2/5 or d?
-2/5
Let d = -6.5 - -8.5. Let k = -0.01 - -2.01. Is k at most d?
True
Let n be (3 + (-6)/3)*21. Let y be (2/(-4))/(n/(-18)). Is y equal to 1?
False
Suppose 0 = 4*l - 0*l - 4*r + 48, 2*l = 3*r - 28. Let k(y) = -6*y - 45. Let n be k(-6). Are l and n equal?
False
Suppose 0*p = 2*p - 18. Let o = 5 + 4. Is o >= p?
True
Let d = -1 - -1.1. Let y = 5.1 - d. Let t = y + -7. Is t bigger than 1/5?
False
Let m be (-8)/(-4) + 2/1. Is 0 greater than or equal to m?
False
Let q = -1.034 - -0.834. Let n = -1 - -2. Which is smaller: n or q?
q
Let k = 20 - 20.1. Which is smaller: k or 45?
k
Let s = 11 + -10. Which is smaller: s or 1/28?
1/28
Let d be ((-2)/6)/((-16)/648). Let y = -139/10 + d. Is 1.1 greater than or equal to y?
True
Let v = -12.6 + 13. Let n = v - 1.4. Let f = -4.3 + -0.7. Is f not equal to n?
True
Let s be (-5 - -7)*(-10)/(-4). Suppose 1 = -2*v - l, 2*l + 3 = s*v + 1. Suppose -4*c + v*c = 0. Which is greater: -1 or c?
c
Let c(n) = 2*n**2 - n. Let d be c(-1). Suppose 2*z = d*g + 11, 3 - 4 = 2*z + g. Is z at most 1/6?
False
Suppose 15*c + 6 = 9*c. Which is smaller: c or -1/102?
c
Let j = 6 + -4. Let s(u) = 0 + 1 - j*u + 4*u + 2. Let p be s(-2). Which is smaller: p or 2/11?
p
Let c = -4 - -3.97. Let u = -3.6 + 3.97. Let i = u - c. Which is bigger: i or 1/3?
i
Let c be (-11 - -5)/(1/(66/4)). Is c at least as big as -99?
True
Let r be 4/10 - 57/5. Let q = r - -13. Is -0.6 less than or equal to q?
True
Let l = 5.1 + -5.24. Is l bigger than -6?
True
Let g(p) = -p**2 + 2*p + 3. Let i be g(2). Which is greater: 5 or i?
5
Let a be -3 - (-2 - (-3 + 2)). Let o = -2/5 + -11/10. Is a less than o?
True
Let i = 3 + -5. Let c(v) = v**3 + 2*v**2 - 5*v + 9. Let p be c(-4). Which is greater: p or i?
i
Let l(a) = -7*a + 46. Let w be l(14). Is -52 > w?
False
Suppose 0 = -z - 2 + 3. Which is bigger: 3/16 or z?
z
Let n(w) = 2*w + 4. Let z be n(-5). Let o = z + 9. Is 3 at least as big as o?
True
Let n = 14.01 + -14. Is n bigger than -3?
True
Suppose d = 4*k + 6*d - 61, -5*k = -3*d - 30. Is k at most 8?
False
Suppose x - n = 3*n + 5, 0 = -2*x + 5*n + 10. Which is smaller: 7 or x?
x
Let s = -5463/2023 + -4/289. Which is smaller: -4 or s?
-4
Suppose l + 2 = -n, 3*n + 12 = l - 6*l. Let d be 0/n + (-4)/(-6). Is 2 bigger than d?
True
Let d be (-5 + 1)*(-9)/(-4). Which is smaller: d or -8?
d
Suppose -3*x - 22 = -3*b + 2*b, 4*x - 5*b + 44 = 0. Let d(n) = -n**2 - 5*n + 5. Let y be d(x). Which is smaller: y or 6/13?
y
Let u = -20/51 + 1/17. Let h be (-8)/20 - (-4)/10. Suppose h = 7*y - 6*y. Is y smaller than u?
False
Let v be -3*(4 - 105/27). Let i = 5 - 4.7. Let b = i + 1.7. Is b at least v?
True
Suppose 3 = v + 2*v - i, -4*i = 3*v - 3. Suppose 3 = w, -v = -m + w + 1. Which is smaller: m or 7?
m
Let a = -0.9 + -2.18. Let p = a - -0.08. Let s = p - -6. Is 0 equal to s?
False
Suppose -13*t - 18 = -14*t. Is 17 equal to t?
False
Let d = -84 - -165/2. Is d greater than -1?
False
Let n = -9 - -6. Is 2 at most n?
False
Suppose 0 = -0*x - x - 2. Let g be (x/(-5))/(3/30). Suppose -7 = -g*k + 1. Which is smaller: k or 5/6?
5/6
Let a be -1*(-10)/(-6)*-3. Let x = -3 + 7. Which is smaller: a or x?
x
Suppose 4 = -2*i - v, 6*i + 4*v + 16 = 3*i. Suppose k = -2*k - 2*u, i = k - 5*u. Are k and -1 nonequal?
True
Let j = 6 - 5. Is 6/13 bigger than j?
False
Let m = 8.06 - 12.1. Let r = m - -0.04. Which is bigger: r or 1/2?
1/2
Let m = -0.26 + 0.16. Suppose u + 2*u + 5*k - 7 = 0, -4*k = 3*u - 5. Which is smaller: u or m?
u
Suppose p = -3*t - 9, -2*p - 18*t + 13*t = 17. Suppose 0 = -2*z - 2*z - 32. Which is smaller: p or z?
z
Let t be ((-2)/(-6))/(-3 - -2). Suppose -2*p = -5*b - 3, -p = -1 + 2. Is t smaller than b?
False
Let a(l) = -l**3 - 5*l**2 + 7*l + 4. Let u be a(-6). Is 0 at most u?
False
Let o(x) = -4*x - 14. Let f be o(-4). Suppose -u + 5 - 4 = 0. Is u bigger than f?
False
Suppose 29 - 3 = 13*b. Let f = 2 + 0. Is f smaller than b?
False
Suppose 0 = 2*x + 2*s + 70, -3*s = 4*x - 0*s + 136. Are x and 0 nonequal?
True
Let m = -85 + 2377/28. Is m at least 1?
False
Let f = -161 + 162. Let l = -0.1 - -0.3. Let j = l + -0.4. Is f < j?
False
Let y = 599 - 2982/5. Which is smaller: y or 2?
2
Let t = -0.07 + 0.17. Is t >= 5?
False
Suppose -3*o + 0*o = -6. Suppose o*n + 3 = x, -3*x = 4*n - 2*n - 1. Which is greater: 1/21 or n?
1/21
Let x(h) = -h**2 - h - 1. Let n be x(0). Which is smaller: n or -2/123?
n
Suppose 4*r + 5*w = -42, -r - 2*w - 18 = 3*w. Let f be r/5 - 24/(-40). Which is bigger: -2/9 or f?
-2/9
Let t(m) = 11*m + 1. Let f be t(-1). Which is greater: f or -9?
-9
Let s = -80.02 + 82. Let a = s - -0.02. Let u = a + -1. Is -0.2 at most u?
True
Suppose -4*b - 3*y - 24 = 0, -2*y = 2*b - 4 + 14. Suppose -5*a + p + 32 = 84, -2*a + 3*p - 26 = 0. Which is smaller: b or a?
a
Let t = -2/461 - -24441/1844. Which is bigger: t or 13?
t
Suppose -2*q - q - 30 = 0. Let j be 16/q*25/(-2). Suppose -7 = b - 3, -j = y + 5*b. Which is greater: y or -3/5?
y
Let t = -23 - -16. Suppose -i - 93 = 12. Let l be (10/i)/((-3)/t). Which is smaller: l or -1?
-1
Let b = 13 + -19. Let q = -5 - b. Which is smaller: q or -2/9?
-2/9
Suppose 12 = -2*r + 10. Which is bigger: r or 1/3?
1/3
Let t = -20 - -16. Is -4 equal to t?
True
Let p(f) = 3*f**2 + 3*f. Let v be p(-2). Suppose -y + 0*q + 3*q + 2 = 0, 4*q + 6 = 2*y. Is y <= v?
True
Let o be (11/(-33))/((-2)/(-6)). Is 1/42 greater than or equal to o?
True
Let k be -1*1*(-2 - -7)/5. Is -2/11 less than k?
False
Let a = 12 - 3. Suppose 62 = 3*r - 28. Let n be ((-2)/a)/((-4)/r). Is 3 > n?
True
Let b(n) = n**3 - n**2 - n - 10. Let u be b(0). Let k = -14 - u. Does k = 2?
False
Let c = -19 - -7. Let q be 3/c - (-25)/132. Which is smaller: 0 or q?
q
Let s be (-512)/(-330) + (-84)/(-462). Do s and 3 have different values?
True
Let l be (14/(-63))/(2/3). Is -30 less than or equal to l?
True
Let z = -10/11 - -31/22. Let m be ((-7)/(-3) + -2)*3. Which is bigger: z or m?
m
Let l = 581 + -7571/13. Which is smaller: -2 or l?
-2
Let o = -8 - -8. Let r be -4 + 2 - 20/(-9). Which is greater: r or o?
r
Let c = 5 + -1. Suppose 2*k - 3*k = b + 7, c*k - 4*b = 4. Is -3 at most as big as k?
True
Let w(y) = y**3 - 5*y**2 + 5*y - 7. Let b be w(4). Which is smaller: b or 3?
b
Let z(y) = y**3 - 7*y**2 - 7*y - 7. Let n = 16 - 8. Let w be z(n). Which is smaller: 4/3 or w?
w
Let b(v) = 5*v - 12. Let k be b(5). Suppose 4*x - k = 11. Is 6 greater than or equal to x?
True
Suppose -l - 2 = -k, -l - 18 = -5*k + 4. Suppose -l*r = -2*a + 4, 3*r = 7*r + a - 2. Is -2/11 at least as big as r?
False
Let r = -1 - 2. Suppose 0 = -2*i + 2*d - 8, -4*i + 2*d - 11 = -1. Which is smaller: r or i?
r
Let r(g) = 1 - 2*g - g**2 + 0*g + g + 2*g. Let b be r(2).