Which is greater: -2/3 or u?
u
Let o(q) = -q. Let t be o(7). Is t at least -7?
True
Let p = 0.8 + -0.5. Is p < -1?
False
Let a(q) be the third derivative of q**6/120 + q**4/24 + q**3/6 + 4*q**2. Let w be a(-1). Which is smaller: w or -4?
-4
Let i be 2/(-6)*(8 - 2). Let g be (-2)/(-6)*3/i. Which is greater: g or 0?
0
Let p(q) = 2*q + 4. Let c(j) = 10*j**2 + j - 1. Let r be c(1). Suppose r = -3*s + 1. Let v be p(s). Is -1 greater than or equal to v?
True
Suppose -4*u = -0 - 4. Let l be u*(0 + (2 - 2)). Is l at least 0?
True
Suppose 0 = -2*w + 3*l - 9, l = 5*w + 5*l + 57. Let j = 3 + w. Let u be (6/(-10))/(9/j). Which is bigger: u or -0.4?
u
Let v be (-6)/(-840)*32/12. Is 0 bigger than v?
False
Let k = -9 + 11. Let p be k + 3 + -6 - 1. Let s be 1*(-2)/p*1. Which is greater: s or -3/7?
s
Let g = 5 - 5. Suppose g = 4*y - 9 - 7. Let o be 12/8*(-2)/y. Is -2 < o?
True
Let d = -2 - -1. Let c be (-2)/(-2)*1 + d. Let f be ((-8)/(-12))/(2/9). Is f less than c?
False
Let q(c) = -3*c + 5. Let p be q(5). Is -9 at most p?
False
Let r be (1*15)/(27/(-18)). Which is bigger: r or -12?
r
Let u be (4/(-2))/(14/(-833)). Let l = u - 597/5. Is l bigger than 0?
False
Let u be (-4)/(-3)*((-5)/(-4) + -1). Suppose -l = -6 - 0. Let i(c) = -c**2 + 6*c - 4. Let r be i(l). Which is greater: r or u?
u
Let t = 1.24 + -1.3. Are 3 and t equal?
False
Let a be 1/2 - 1/2. Suppose -g + 5*g = -180. Let n be g/24*4/10. Which is smaller: a or n?
n
Let k be (6/(-2) + 2)*0. Let r(y) = y. Let t be r(k). Suppose -3*g = 4*i - 31, -g = 3*i - t*g - 22. Which is greater: i or 2?
i
Let x be (-2)/6 + (-170)/(-15). Let d be 10 + (-1 - -1) - 0. Are d and x unequal?
True
Suppose 56 = -4*k - 4*n, -3*k - 2*k - 3*n = 60. Let u = k - -7. Let g be -2 + (u - 9/(-3)). Is g greater than -1?
False
Let w be (-9)/18 + 26/60. Which is smaller: 1 or w?
w
Let j be 36/(-10) + 6/(-15). Let y(i) = i**3 + 5*i**2 + 6*i + 8. Let z be y(j). Let v(l) = -l + 2. Let t be v(2). Is t at most as big as z?
True
Let r be ((-6)/(-8))/(220/(-32) - -5). Which is smaller: -2/81 or r?
r
Let s(i) = -2*i + 4. Let f be s(3). Let v be f/11 + -2 + 2. Suppose 0 = -3*r - r - 4. Which is bigger: v or r?
v
Let b = -1 - -1. Let u = b - -6. Let l = 9 - u. Does 3 = l?
True
Suppose -5*u - 5 = -10*u. Let c(l) = 5*l - 3*l - 4*l - 1. Let k be c(u). Which is smaller: k or -4?
-4
Let t = -8 - -6. Let j = 147 - 887/6. Is j less than or equal to t?
False
Let k = 255 - 255. Let r be (6/8)/((-3)/5). Is r > k?
False
Let f be 16/(2 - -2) - -1. Suppose 0 = -4*x + x + 4*p + 16, -p - f = -x. Which is smaller: 0 or x?
0
Let y = 2 - 4. Let p be 2/y + -2 + 5. Let d be (-2)/(-1) + (-1 - -2). Which is greater: d or p?
d
Let o(a) = -2*a - 9. Let k be o(-8). Suppose v = 5 - k. Which is smaller: -8/5 or v?
v
Let i be (0 + 0)/(5 - 6). Suppose 5*h + 10 = -3*j, i = -3*h - j + 6*j + 28. Which is greater: h or 6/7?
h
Let s = 0.8 - 0.5. Let k = s + -0.1. Let j = -5 + 4. Is k >= j?
True
Let m = 118 + -107. Are 41/4 and m equal?
False
Let x = 152 - 152.03. Let b = 1 - 1. Is b at most as big as x?
False
Let k = -443/1955 - 1/115. Is k greater than -1?
True
Let f = -8 - -16. Suppose 4*v = 7*v - 21. Is f smaller than v?
False
Let n be ((-2)/(-45)*5)/((-2)/4). Is n at most as big as 0?
True
Let a(b) = b**3 - b**2 + b + 1. Let m be a(-1). Suppose 0*y - 4 = 2*y. Let v be 1/(-6)*y + -1. Does m = v?
False
Let b = 4/101 + 38/4141. Let q = 33/164 + b. Which is greater: 1 or q?
1
Let x be (-6 - -2)*-1 - 0. Let f = x - 2. Let r(c) = -c**2 + c + 2. Let h be r(f). Are -2/5 and h nonequal?
True
Let h(n) = -3*n + 41. Let w be h(27). Is -40 < w?
False
Let v = -4 + 4.2. Let t = -40 - -40. Is v smaller than t?
False
Let t = -25 + 22. Is t > 0.3?
False
Suppose -1 + 4 = 3*n. Is n less than or equal to -1/6?
False
Let x = -311 - -306. Suppose 3*c - 6 = -0*c. Suppose 4*p - v = c*p - 13, -p - 5*v = -21. Is x > p?
False
Let g = 0.008 - 0.418. Let f = -0.21 - g. Which is greater: -1/2 or f?
f
Let v be (-4)/(-14) + 40/7. Let h be (-3)/((v/4)/(-1)). Which is smaller: h or 8/5?
8/5
Suppose -2*p - 5 = 3*p. Let o = -63 + 439/7. Which is greater: o or p?
o
Let z = -4 + 3. Suppose 4*p + 3*x - 302 = 0, -2*p - x = -3*x - 158. Let d = 463/6 - p. Which is smaller: z or d?
z
Let k be (-16)/(-10) + 1 + -3. Let r = -0.1 - -0.1. Are r and k equal?
False
Let w = 2/831 + -14131/1662. Let c = w + 9. Is c at least as big as -6?
True
Let k = 671/7 + -95. Is -2/5 smaller than k?
True
Let m be (-762)/21 - (-2)/7. Let l be (-152)/m - (-2)/(-9). Let g(f) = -f**2 + 4*f + 3. Let c be g(l). Which is smaller: c or 4?
c
Let c = 37 - 40. Let q = -1 + 1. Which is greater: q or c?
q
Let z = -2617 - -923803/353. Is z greater than 1?
False
Suppose -2*c = -4*c. Let d be 87/1*32/21. Let y = 133 - d. Does y = c?
False
Let s(n) = n**3 - 4*n**2 - 3*n - 11. Let m be s(5). Are -1/14 and m equal?
False
Let n = 0.04 - 0.11. Let m = n + 3.07. Let t = -3.2 + m. Is -2/3 < t?
True
Suppose 0 = -5*j - 20, -4*j - 21 = -3*a + 28. Suppose 4*u + w - a = 8, 5*u + w - 23 = 0. Suppose -3*r - u*x = -3*x - 12, -3*x = -9. Is 2 smaller than r?
True
Let o(m) = m - 2. Let g be o(2). Which is greater: g or 1?
1
Suppose -4 = -35*g + 39*g. Is 2/477 >= g?
True
Let q be (2/12)/(395/10). Let b = q - -155/711. Is -3 < b?
True
Let s(p) = -p**2 + 3*p + 1. Let a be s(-2). Let m = -10 - a. Is m less than or equal to -1/3?
True
Let s = -93/5 - -334/15. Which is smaller: s or 5?
s
Let g be 1*(-2 - -1) - 2. Let z = -5 - g. Is z at least as big as -3?
True
Let o(p) = p + 3. Let h be o(-5). Let w = h + 11/6. Is w < -1?
False
Suppose -6*v = -3*v + p + 27, -3*v - 5*p - 27 = 0. Do v and -4 have the same value?
False
Let q = -620 + 435. Is -185 >= q?
True
Let p = -1 - -1. Let i = -0.89 - 9.21. Let d = -10 - i. Which is bigger: p or d?
d
Let t be 55/15 - (-2)/(-3). Let m = 3 - t. Which is smaller: 1/4 or m?
m
Let f(x) = x**3 + 15*x**2 - 32*x + 35. Let w be f(-17). Is w at least 3/49?
True
Let n = 519 - 2587/5. Is 3 < n?
False
Let l = -34 - -56. Is 23 > l?
True
Let x = -653/6 - -108. Which is smaller: x or 2/11?
x
Let m = 0 - 0. Suppose a - h + 2*h - 6 = m, -16 = -4*h. Let p be (a/5)/((-6)/(-15)). Is p < 1/5?
False
Let x = 41 + -53. Is x not equal to -13?
True
Suppose u - 2*z - 27 = 0, 2*z + 50 + 11 = 3*u. Let h = -12 - -17. Suppose h*d - 2 + u = 0. Is d smaller than -2?
True
Let c(f) = -f**3 + 1. Let j be c(-1). Let a be 1 - ((-12)/9 + j). Is 1 equal to a?
False
Let h(b) = -3*b - 35. Let l(g) = 2*g + 18. Let d(q) = 3*h(q) + 5*l(q). Let a be d(12). Is -2 at most as big as a?
False
Suppose -2*x = 5*j - 16, 3*x - j + 0*j - 7 = 0. Suppose -8 = -x*y - 2. Is -0.1 less than y?
True
Let b be ((-6 - -2) + 5)*-1. Is b less than 1/6?
True
Let h = -10.9 + 10. Let v = h + 1. Which is greater: v or -0.3?
v
Let r(y) = y + 32. Let k be r(-13). Which is greater: 18 or k?
k
Let g be (-7)/((-84)/(-32))*-6. Do 16 and g have the same value?
True
Suppose 5*a - 2*x - 120 = 0, -120 = -2*a - 3*a - 3*x. Let o = 20921/854 + 1/427. Let w = a - o. Is -2 bigger than w?
False
Let q = 0.15 + -0.05. Suppose 5*s - 4 = -2*v, -4*v + 7 + 1 = -3*s. Suppose -j = -y - 2, -5*y + j = -s*j - 2. Which is smaller: y or q?
q
Let w = 5 + 1. Let n be 3/(-9) - (-32)/w. Suppose -k + y - n*y + 12 = 0, -3*y + 9 = -2*k. Which is smaller: k or -0.1?
-0.1
Let w = 21.44 + 0.56. Let l = -23.2 + w. Which is greater: -2/5 or l?
-2/5
Let g(z) = -2*z + 3 + 3*z - 2. Let l be g(-2). Which is greater: l or -2?
l
Let n(f) = 4*f**3 + 2*f**2 - 1. Let s = 6 - 5. Let i be n(s). Suppose 4*t + 5*u = -4, i*t + 1 + 4 = -3*u. Is -1/10 at most as big as t?
False
Suppose f + 2*f - 9 = 0. Let v be (-1)/f - 25/15. Which is smaller: v or -3?
-3
Let n = -1153/14843 - -266743291/2671740. Let a = -989/10 + n. Let y = 10/9 - a. Is -1 less than or equal to y?
True
Let o = -1.5 - -2.5. Is -1 greater than or equal to o?
False
Let j be 1/((-1)/(-5)) + -3. Let q = 12 + -11. Is q greater than or equal to j?
False
Let j = -4 - -4. Let o = j + -2. Let k be -1*1 + -1 + 0. Are k and o non-equal?
False
Let v = -1065 + 2091/2. Which is greater: -19 or v?
-19
Let j(s) be the second derivative of s**5/20 - s**4/6 - s**3/3 - 3*s**2/2 - 4*s. Let n be j(3). Which is bigger: n or 1/4?
1/4
Suppose 0 = -3*f - 2*f - 340. Let v be f/24 - (-2)/(-12). Which is smaller: v or -4?
-4