2*w = -q + 8. Which is bigger: q or c?
q
Let f = -7 - -6.9. Are f and -6/13 equal?
False
Suppose -4*d + 4*x + 24 = -0*d, 24 = 4*d + 2*x. Suppose 5*g + 20 = 2*q + 2*g, 5*q - g - 24 = 0. Is d >= q?
True
Suppose -5*m + 4 - 9 = 0. Let s = -431.8 - -432. Which is greater: m or s?
s
Let o = -3 - -2. Let x(q) = -2*q**2 + 14*q - 1. Let f be x(7). Is f > o?
False
Let g = -1 - 2. Let q = g - -3. Is q smaller than 0?
False
Suppose -2*g = -6, 17 = -2*s + 7*s + 4*g. Let b be s/4 - (-7)/4. Suppose 3*h - 8 = 4*w - 3*w, 0 = b*w - 2*h + 4. Are -0.2 and w non-equal?
True
Suppose 5*y - 25 + 1 = -3*v, -y + 3*v = 6. Suppose -y*s = -0*s + 6. Which is smaller: -3/4 or s?
s
Suppose 0 = -4*j + 2*j. Suppose -b - 2*o - 13 = j, 5*o + 13 = -2*b + 6*b. Is b greater than or equal to 0?
False
Let k = -10 + 14. Let v = -3 + 5/2. Is v smaller than k?
True
Let z = -0.02 - -2.02. Let v = z - 3. Which is smaller: v or 0.1?
v
Suppose -5*v + 5*u = 6*u - 3, 2*u = 6. Let d be (-1)/2*(-4)/(-7). Is d > v?
False
Suppose 4*x - 1 = 3. Suppose 2*u + 4 = 18. Suppose 4*g - 3*h + u + 8 = 0, g + 15 = 3*h. Which is smaller: g or x?
g
Let p(q) be the first derivative of -q**2/2 - q + 3. Let r(l) = l**3 - 4*l**2 + 4*l - 4. Let u be r(3). Let i be p(u). Which is smaller: i or -1/4?
-1/4
Let j = -0.36 - -0.36. Which is smaller: 7 or j?
j
Let c = -4.9 - 1.1. Let z = 7 + c. Let d = 1 + z. Which is smaller: d or -1/2?
-1/2
Let z = 4 + -3. Let j = -0.03 - -10.03. Let h = 10 - j. Is z at least as big as h?
True
Suppose -1 = -5*a - 6. Is 2/3 at least a?
True
Let h(c) be the second derivative of -c**4/12 - 5*c**3/6 - 3*c**2 + 6*c. Let l be h(-3). Which is smaller: 3/8 or l?
l
Let k = -12 - -12. Suppose k = -u - 5 + 3. Which is smaller: u or 0?
u
Let t be (-16)/40 - (-4)/10. Let q be (3/6)/(2/(-20)). Let c be (1/q)/((-4)/10). Do c and t have different values?
True
Suppose 5*u + 33 = 83. Let h = u - 12. Let r = -8/17 + -10/51. Is r at most as big as h?
False
Let i(l) = l**2 + 4*l + 1. Let s be i(-3). Let f be -5 - -2 - (0 + -2). Is s smaller than f?
True
Let u(p) = p - 2. Let r be u(5). Let i(v) = -v**2 + 4*v - 3. Let x be i(r). Which is smaller: x or -2/23?
-2/23
Suppose 15 + 0 = u. Suppose -5*d = p - 15, p = -2*p + u. Suppose -n - 3*s + 16 = s, s - 4 = 0. Are n and d non-equal?
True
Let n be 8/(-28) + (-4)/(-14). Suppose -q + 5*q = n. Let w = q + 0. Is w >= -1/4?
True
Let k = 0.65 + -0.55. Is 5 greater than k?
True
Let c(k) = -k**2 - 3*k - 1. Let i = -8 + 5. Let w be c(i). Let x = w + 2. Is 2/13 smaller than x?
True
Let z = 0.14 + -0.44. Is -3 >= z?
False
Suppose 292 = -5*p - 13. Let t = p + 27. Let k be 4/t + -1 + 1. Is -1 > k?
False
Let y = -4.3 + 4. Let r = -0.12 - -0.02. Which is smaller: r or y?
y
Let o = -0.04 + 0.04. Let c = -5 + o. Let n = -6 - c. Are n and 1 non-equal?
True
Let r(s) = -s**3 + 7*s**2 - 6*s - 3. Let m be r(5). Suppose -5*p + 46 + 39 = 0. Is p != m?
False
Let a = -6 + 2. Let b = a - -4.2. Is 0.2 greater than or equal to b?
True
Let w be (11/4)/((-4)/16). Which is greater: -10 or w?
-10
Let l be ((-12)/4)/(6/(-4)). Suppose -3*u + 9 = 0, -5*u + 6*u - 4 = a. Which is smaller: l or a?
a
Let c = 22 + -21.8. Is 4 greater than c?
True
Let j be (9/(-6))/(6/8). Let v = 4 + -6. Is j >= v?
True
Let u = -0.022 - 5.978. Is u > 2/5?
False
Suppose 4*r - 3*f = 22, -2*r + 3*f = -2*f - 18. Let y = 7 + -11. Let w = r + y. Which is greater: w or -2/7?
w
Let a(v) = v**2 - v + 2. Let j be a(0). Suppose -6 = -f - j*f. Let l(m) = -m**2 + 2. Let z be l(f). Which is bigger: z or -4?
z
Let l = 0.05 + 0.05. Let d = 2 - 0. Let s = -2.1 + d. Is l greater than s?
True
Let m(l) = -l**2 - 10*l - 24. Let a be m(-5). Which is smaller: -4/25 or a?
-4/25
Suppose 2*g = 7*g + 20. Let a = 17 - 8. Let q be (-2)/(-4) - a/6. Is g equal to q?
False
Let t be (-104)/20 - 2/(-10). Let o = t - -3. Is o < -3/4?
True
Let s = 8 - 4. Suppose 0 = -u - 3 + s. Let h = -23 + 22. Which is greater: h or u?
u
Suppose 30 = -5*v + 4*l, 13 = v + 3*l - 0*l. Suppose 0 = -2*d - 12 + 4. Let m be (v/5)/(d/10). Which is smaller: -1/6 or m?
-1/6
Let x(o) = -o**3 - 4*o**2 - 3*o - 1. Suppose 0 = 5*v - 4*y + 15, -2*v - y = 3 + 3. Let n be x(v). Let b = n + 2. Is 0 greater than or equal to b?
False
Let i = 0.5 + -0.56. Is -2 > i?
False
Suppose -11 - 4 = -x + 3*u, 2*x - 10 = u. Let r = -4 + x. Is r < -2?
False
Let y be (-122)/(-8) + (-8)/32. Suppose -2*g - y = 2*c - 7*g, 4*g = -3*c - 11. Which is greater: -3 or c?
-3
Let g(j) = -12*j**2 + j + 2. Let f(p) = 12*p**2 - p - 1. Let k(s) = 3*f(s) + 2*g(s). Let l be k(1). Is 11 greater than l?
False
Let j be 9 + -1 - (-6)/(-3). Let v be ((-2)/j)/(35/(-30)). Is 0 at least as big as v?
False
Suppose -3*f - 3 - 27 = 0. Let q = -6 - f. Suppose 2*r - 14 = 4*o, 0 = q*r + 2*o - 4*o - 4. Are r and 2/21 equal?
False
Let j = -3 + 1. Let l = j + -1. Let b = 3 + l. Is 2 > b?
True
Let h = 28 - 32. Are -14/5 and h nonequal?
True
Suppose 3*l + 2*h - h = 143, -4*h + 180 = 4*l. Let k = 587/12 - l. Let d be ((-2)/1 + 1)/(-1). Are d and k unequal?
True
Suppose 5*o - 4 = 3*o. Suppose -s - 1 = -o*s. Is s >= 1/3?
True
Let y(v) = -2*v**3 - v**2 - 2*v - 1. Let g be y(-1). Let h = -2 + 2. Suppose -5*o + h*o = -10. Is g less than or equal to o?
True
Let c(n) = -14*n - 11. Let b be c(-1). Are b and 22/9 non-equal?
True
Let r be 2/(8/6) + -2. Which is smaller: -1 or r?
-1
Let m be (-2)/(-5) + 434/(-1160). Let q = m + 171/6844. Let p = -83/472 + q. Is 1 less than p?
False
Suppose -4*x + x - 6 = 0. Let n = 1 - x. Suppose -v + 3 = q, n*q = -4*v - 1 + 10. Are 0 and v non-equal?
False
Let u be ((2 - -1) + -3)/(-1). Which is smaller: -2/3 or u?
-2/3
Let z = 6.19 + -0.19. Which is smaller: 0.1 or z?
0.1
Let w = -10 - -21/2. Let s(d) = -35*d - 138. Let h be s(-4). Which is greater: h or w?
h
Suppose 2*g = 6*g. Is g != -3/91?
True
Let r(l) be the second derivative of -l**3/6 + l**2 + 2*l. Let i be r(-3). Let q be 4*2/20*i. Which is greater: 1 or q?
q
Let k = -20 + 20.4. Is k less than or equal to 0?
False
Let q be 5 - 5/(-5) - 7. Which is smaller: 5/24 or q?
q
Let y = -1/1258 - 2473/54094. Let u be (-36)/(-30) + 1/(-5). Is u bigger than y?
True
Let s = -2 + 10. Let g = 6 - s. Is 1/3 smaller than g?
False
Let w be -45*(60/(-18) + 4). Are -33 and w equal?
False
Let g be 5/(-7) - 21/(-49). Are g and -14 equal?
False
Let k(b) = -b**3 - 7*b**2 - 5*b + 1. Let y be k(-5). Suppose -q - 5*t - 19 = 0, -7*q = -2*q + 3*t + 161. Let g = q - y. Which is bigger: g or -9?
-9
Let i(k) = k**3 - 6*k**2 + 2*k - 8. Let o be i(6). Suppose 2*v - 5 = -f - o, -5*v = 0. Are f and 1/4 non-equal?
True
Let g(k) = k**2 - 2*k - 1. Let c be g(-1). Let a be 12/c*3/2. Let m be a/12*(-16)/42. Do -0.1 and m have the same value?
False
Let t(x) = x + 42. Let a be t(0). Let p be (8/(-42))/(a/49). Is 1 > p?
True
Suppose 3*p - 3*k + 2 = 4*p, -2*p - 3*k = -1. Let w = -20219/2166 + 1/722. Let z = w + 8. Which is smaller: z or p?
z
Let d = -0.013 + 20.013. Let w = d - 28. Which is bigger: 0 or w?
0
Let x be -2 + -1 - (-2 - -3 - 3). Are x and -0.16 unequal?
True
Let s = -0.6 - -4.2. Let l = -4 + s. Let u = 0.4 + l. Which is smaller: u or 0.1?
u
Let b(s) = -2*s**3 - 13*s**2 - 6*s + 3. Let d be b(-6). Which is smaller: -2 or d?
-2
Let w = 559/4 - 139. Let h(i) = -3 + i**2 - 49*i + 52*i + 0*i**2. Let u be h(-4). Which is bigger: w or u?
u
Let h = -82 + 35. Let n = -31 - h. Suppose -3*k = 4*o + o + n, o + 17 = 4*k. Which is smaller: k or 1?
1
Let j be -280 + (-8)/(-2 + 6). Let c = 2528/9 + j. Which is smaller: c or 0?
c
Let l(t) = -2*t. Let b be l(-2). Suppose -3*g - o + 13 + b = 0, -4*o = -20. Is 4 not equal to g?
False
Let z be 2766/52*(-6)/1899. Let s = z - -3/211. Let i = -3 - -2. Is i less than or equal to s?
True
Let c(q) = q - 7. Let u be c(8). Let m be (4*(-1)/14)/u. Is m < 0?
True
Suppose -44 = -5*i + 1. Suppose 2*u - 3 = -i. Which is smaller: -2 or u?
u
Let p(t) = t**2 + t - 3. Let r be p(-3). Let w = 0 + r. Suppose 0 = -2*v - v + 5*j + 16, 4*j + 14 = 3*v. Which is bigger: v or w?
w
Let k be 3/2 + 5/2. Is 5/2 bigger than k?
False
Let y be (-4)/10 - 74/(-10). Let c(w) = 5*w**2 - y*w + 30 + w**3 - 30. Let q be c(-6). Which is bigger: q or 5?
q
Let s = 1 + -1. Is s equal to 1/6?
False
Suppose 0*z = 5*z + 10. Let p be (-3)/6*-2 + z. Is -3 less than or equal to p?
True
Let x(k) = 2*k**3