Let w(n) = -n - 1. Let j be w(q). Let d(i) = -i**2 - 5*i + 4. Let h be d(-6). Which is greater: j or h?
j
Let v = -0.02 - -2.02. Let w = v + -3. Let m = 0.7 + w. Which is greater: m or 0.1?
0.1
Suppose l + 2*l + 63 = 5*v, 0 = -4*v + 5*l + 53. Are 12 and v unequal?
False
Let c = 9 + -4. Suppose 5 = 4*b + 3*i, -1 + 20 = -4*b + c*i. Which is smaller: b or -1/20?
b
Let j be (39/(-5))/((-3)/10). Which is smaller: j or 23?
23
Let g be 16/(-6) - (-2 - 0). Let x = -6.11 - -0.11. Let s = x - -4. Which is greater: g or s?
g
Let q = 86.9 - 86. Which is smaller: -1 or q?
-1
Suppose -s = -5*h + 12, -12 = h - 3*s - 2*s. Let x be ((-14)/8)/(1/(-4)). Suppose 9 = 4*k - x. Are k and h unequal?
True
Let y be 4/(-24)*(1 - -24). Let n = y - -9/2. Let l be 14/63 + 8/45. Is l bigger than n?
True
Let c = 12 - 12. Which is greater: -1/5 or c?
c
Let j = 23.1 + -23. Is j < 0.06?
False
Let q be 0/((-5)/10*-4). Is -2/21 less than or equal to q?
True
Let y be (1*-3)/(-3) + 9. Suppose -4*c = 12, 4*c + 19 = 2*p - 13. Is p greater than or equal to y?
True
Let z(a) = -4*a**2 + 6*a**2 - a**2 + 9*a + 0*a**2 + 8. Let v be z(-8). Which is smaller: v or -3/14?
-3/14
Suppose 35 = 4*y - 5*o, 8*y - 3*y + 5*o = 55. Let u be 3 + 0 + (-25)/y. Is u <= -4/9?
False
Let n(q) be the first derivative of -1 - 1/2*q**2 - 5*q. Let b be n(-10). Is 5 != b?
False
Let x = 29 - 30. Let o = 14 - 7. Let l(j) = -j**2 + 7*j. Let z be l(o). Is x at most z?
True
Let b = 12 + -10. Let j be ((-42)/(-98))/(b/(-2)). Which is greater: 2 or j?
2
Let g be 2*(-9)/24*29. Let t = -23 - g. Is t less than 0?
True
Let w = 9 + -6. Suppose -3*v - 15 = -2*b + 5*b, 0 = w*b - 3*v - 15. Is 1/12 equal to b?
False
Let m = -1427 - -8731/6. Let c = 28 - m. Let g = 0.1 + -0.2. Does c = g?
False
Let n = 6003/2296 - -3/287. Is 3 bigger than n?
True
Let o = 9 - 18. Let f = 7 + o. Suppose 2*s = 7*s. Which is greater: s or f?
s
Let p be (-4 - -3) + 69 + -2. Let s = -64344 - -578500/9. Let j = p + s. Is j >= -1?
True
Let s = -34 + 36. Let j = -7 - -5. Which is greater: s or j?
s
Let y be (0 - (2 + -1))*0. Let z be y + (-3 - (1 - -1)). Suppose -l = -3*q - 1, -4*q + q = 6. Is l <= z?
True
Let s(c) = -c**2 + 7*c + 2. Let q be s(7). Suppose q*z - 5 = z. Suppose z*y = -4 + 9. Is 4/7 equal to y?
False
Let q(p) = p**2 - 3*p - 1. Let m be q(4). Suppose -a - 5 + m = 0. Are a and -1 unequal?
True
Suppose 3*o - 4*p - 8 = o, 2*o = -5*p - 28. Let f be o/10 + (-84)/(-135). Which is smaller: f or 0?
0
Let v(n) = -n - 7. Suppose 0 = k - 4*s - 8, -3*s - 52 = 2*k + 3*k. Let h be v(k). Which is smaller: h or -1/3?
-1/3
Let n be 0 + (4 - -3) + -4. Is n at least as big as 4?
False
Let n be (-8)/(-6)*87/24. Let u = -157/30 + n. Let o(q) = q + 3. Let y be o(-2). Which is smaller: y or u?
u
Suppose 4 = -2*z - 4*u, -2*u + u - 1 = -4*z. Suppose 2*l + 16 = 6*l. Let h be (l - 2) + (-5)/2. Is z greater than h?
True
Let x(o) = -o. Let h be x(-4). Let j(b) = b**3 + 7*b**2 + 4*b + 1. Let s be j(-5). Suppose 0*k - 7 = -h*k - 3*a, 3*k + s = 5*a. Which is smaller: -4/7 or k?
k
Suppose 11*c = 14*c - 78. Is c smaller than 26?
False
Suppose -4*l = -7*l - 27. Which is smaller: l or -10?
-10
Suppose 2*m - 2 = -2*c, -4*c + 4 = -m - 0. Is m less than -1?
False
Let n(x) = -2*x**3 + 2*x**2 + 2*x + 3. Let a be n(-2). Is a greater than 23?
False
Let d be 0 + (-1 - 0) + 1. Let a be (0 - 1) + d/4. Let y(h) = h**3 - 9*h**2 - h + 8. Let n be y(9). Are a and n unequal?
False
Let y = 2.2 + -2.1. Is y greater than 2/3?
False
Suppose 0*m - 2*m + 4*i + 14 = 0, 4*i = 5*m - 23. Suppose 4*q + c = -m*c - 24, -2 = -c. Let o = -7 - q. Which is smaller: 3/8 or o?
3/8
Let y = -3 + 3. Do -2 and y have different values?
True
Let h = 24 + -37. Is h at most -14?
False
Suppose 5*r - b = -2*b + 32, b + 24 = 3*r. Is 1 != r?
True
Let b = 24 - 97/4. Suppose 6*v + 8 = 2*v. Let q be 0/3*v/(-4). Is q >= b?
True
Let g(p) = 7*p**3 + 14*p**2 + 7. Let k(l) = -3*l**3 - 7*l**2 - 3. Let w(t) = 2*g(t) + 5*k(t). Let o be w(-7). Which is bigger: 1/7 or o?
1/7
Let u = -0.07 - -0.07. Let a = 62267206/373155 - 5/24877. Let s = a + -167. Is s bigger than u?
False
Let j be (-2)/6 - 2546/18. Let a = j - -142. Let s(p) = p + 1. Let r be s(-1). Which is bigger: a or r?
a
Let x = 0.1 + -1.1. Let u = 0 - x. Suppose 4*i - 2*d + 14 = 3*d, -5*d + 12 = -2*i. Is i smaller than u?
True
Let v be (-42)/(-189) - (-76)/(-99). Are -1 and v non-equal?
True
Let y = -35 - -29. Which is smaller: 0.05 or y?
y
Let m = -10/403 + -4/31. Let l be 5/(2 + (1 - 2)). Let i be (l/(-20))/(6/8). Is m at least i?
True
Suppose 2*z + 15 = 7*z. Suppose 3*d = -z*d. Is d > 2/21?
False
Let d = 48 - 47. Which is smaller: d or -2/73?
-2/73
Let p(f) be the first derivative of -f**4/4 + 5*f**3/3 - 5*f**2/2 + f + 4. Let d be p(4). Which is smaller: d or -2?
d
Let g(m) = m**3 - 8*m**2 + 5. Let z = 20 + -12. Let o be g(z). Is o less than or equal to 5?
True
Suppose 0 = 3*l - 6, -2 = -w - 5*l - 1. Let d be -2 + ((-96)/w)/4. Suppose -3*b - 4 = -4*o, 3*b + 2 = -2*b + 2*o. Do b and d have the same value?
False
Let y(w) = 1 - 2*w**2 + w**2 - w + 2*w. Let t = -10 + 9. Let u be y(t). Which is smaller: u or -4/3?
-4/3
Let a be 0 + -3 + (4 - 2). Let m be a/(-5*2/4). Do 0 and m have the same value?
False
Let v = 17/14 + -12/7. Let q = -12 + 9. Let s = 2.5 + q. Is s at most as big as v?
True
Suppose 4*g + 0*g = 28. Suppose -g*b + 4*b = 15. Which is smaller: -7 or b?
-7
Let b = -182 + 181. Is 6 less than or equal to b?
False
Let x = -7 - -9. Suppose 0 = -x*f + 5*i + 4, -2*f - 3*f = i + 17. Is f at least -4?
True
Suppose -11*q + 7*q = -20. Let m = q + -7. Let u be 2/(-2) + (-1)/4. Which is bigger: u or m?
u
Let d = -0.25 + 0.35. Which is smaller: 10 or d?
d
Let r = -1 - -3. Let p be 2*(-3)/12*r. Which is smaller: p or -1/11?
p
Let k = -22 - -18. Let l be 200/(-315) + k/18. Which is greater: l or -2?
l
Let f = 56 + -92. Which is greater: -35 or f?
-35
Suppose 0 = -2*h + 7*h - 3*c - 1, -3*c = 2*h + 8. Which is smaller: 2/27 or h?
h
Let n be (6 + -7)/((-1)/2). Suppose 2 = -n*l + l. Are -1/2 and l unequal?
True
Let f = 0.23 - 0.23. Let v = 0.93 - 0.03. Let g = v + 0.1. Which is greater: g or f?
g
Let w(a) = -a**2 - 4*a + 6. Let y be w(-6). Let v be y/(-27) + 8/45. Are v and -1 unequal?
True
Suppose 0 = 5*y - 4 - 1. Is y bigger than -2/51?
True
Suppose -3*c + 4*p - 8*p = -13, 0 = 3*c + 5*p - 14. Suppose c*z + 3*x = 6*x + 6, -5*z + 7 = -2*x. Let n be (-5)/(-63) + (-2)/9. Is z < n?
False
Let o = 0.3 - -0.7. Let b = 0.02 - 2.02. Let m = b + o. Is 4 smaller than m?
False
Suppose -j - 21 = -2*j + 5*t, t = 3*j - 7. Let g = -5 - -4. Let l = g + 2. Is j > l?
False
Let r be 1/(-2) - (-21 + 21). Let f = -81.05 + 83. Let o = f - -0.05. Which is greater: r or o?
o
Suppose 5*c - 2*c = 21. Which is bigger: c or 1?
c
Let a = 0.28 + -0.08. Which is bigger: 5 or a?
5
Let w = 156 - 157. Is 82 != w?
True
Let w = -78482/11 + 7126. Which is greater: -8 or w?
-8
Let d be ((-1)/2)/(63/(-770)). Let s = d - 1613/261. Is s > 1?
False
Let a = -0.25 + 0.15. Let q = 0.1 - -0.9. Are q and a non-equal?
True
Suppose 2*b - 5*b + 48 = 0. Let h be 6/4*b/6. Is 4 equal to h?
True
Suppose 0 = i + 9*i + 20. Let g = 0 + 5. Let l = g + -8. Is i less than or equal to l?
False
Let m(c) = c**3 + 16*c**2 - c - 16. Let y be m(-16). Is y > -8?
True
Suppose 5*t + 11 = 3*p, 3 = 2*p - 2*t - 3. Suppose 2*d = 2*m - 8, -m - 3*d = p*d + 8. Are 1/2 and m unequal?
True
Suppose -4*f + 0*f + 20 = 0. Suppose y - 19 = -4*w, 5*w + f*y = w + 31. Suppose w*u = -4*i + 4 - 0, -2 = -2*u. Is i less than -5?
False
Suppose -5*g + 0*r - 6 = 3*r, -6 = 3*r. Let l be g/((8/(-2))/(-4)). Let i = -2 + 1.9. Which is smaller: i or l?
i
Let u be 33/72 + 2/(-6). Let p = -349 + 350. Which is smaller: u or p?
u
Let c(w) = -w**3 - 7*w**2 - w - 3. Let o be c(-7). Let g be ((-3)/o)/((-18)/12). Which is smaller: g or -4/5?
-4/5
Let s = 29 - 21. Let a be 2/8 + (-26)/s. Is -2 > a?
True
Let g(n) be the second derivative of -n**3/6 + 5*n**2/2 + 4*n. Let j be g(0). Is j != 4?
True
Suppose -4*v = 8*w - 4*w - 4, -5*w - 3*v = -7. Suppose -3*s = -s - w. Let u be (-14)/(-6) + (-1 - s). Which is bigger: 2/7 or u?
u
Let l(c) = -46*c**3 - 2*c + 1. Let p be l(1). Let x = p + 7. Let q be x/(-99) - 4/18. Which is bigger: 1 or q?
1
Let d = -93 + 94. Does -3/13 = d?
False
Let l = 3.6 