Let s = -84 + 119. Let j be 0/(-2) - (-20)/s. Is 0 <= j?
True
Let g(h) = -h**2 + 8*h + 1. Let t be g(8). Let b be (-16)/12 - t/(-3). Is 3/7 at most b?
False
Let k(q) = q**2 + q + 1. Let h be k(-2). Suppose r = -h*r - 24. Let m = -7 - r. Which is bigger: m or 3/7?
3/7
Let i be ((-15)/(-4))/((-1)/4). Let o be (-44)/(-10) - (-6)/i. Let u be (-1)/((-2)/(o/(-18))). Is u >= 1?
False
Let t = -20 - -40. Suppose 5*u - 20 = 2*w, -2*w + t = -3*w + 5*u. Which is smaller: 2/5 or w?
w
Let t = -0.1 + 1.1. Which is smaller: 6 or t?
t
Suppose 17*b + 22 = 6*b. Which is smaller: b or -8/3?
-8/3
Let p = -10.3 + 11. Let l = 5 - 5.3. Let u = l - p. Is -1 not equal to u?
False
Let i(f) = -8*f + 1. Let w be i(2). Which is greater: w or -16?
w
Let z be 3/(1 + -1*2). Let b(f) = -f**3 - 3*f**2 - 2*f. Let a be b(-3). Let l = a + z. Which is smaller: l or 2?
2
Let r = -30 + 29.3. Let v = -0.8 - r. Which is bigger: v or 12?
12
Let n be (-1)/((-16)/76) + (-2)/(-8). Which is bigger: 2 or n?
n
Let o(m) = m**3 + 7*m**2 + 10*m - 4. Let u be o(-5). Which is smaller: u or -1/15?
u
Let o be 3/(-12) + 9/4. Suppose -o*v = -5*d + 25, -v + 11 = -5*v - 3*d. Does v = -5?
True
Let p(q) = -3*q**2 + 5*q - 8. Let h(l) = -2*l**2 + 5*l - 8. Let k(s) = 4*h(s) - 3*p(s). Suppose 2*y + 42 = -4*y. Let j be k(y). Is j at least as big as 5?
True
Suppose -5*n + p - 8 + 3 = 0, 27 = -n - 5*p. Let l = 3 + n. Which is greater: 1/3 or l?
l
Let r = -1 + 1. Is -3 >= r?
False
Let m(n) = 8*n**2 - 2*n + 2 - 7*n**2 - 6*n. Let w be m(8). Suppose -4*i + 26 = -w*f, -3*i = -1 - 14. Do f and -5 have the same value?
False
Let j be 47/(-4)*3/5. Let a = 29/4 + j. Let q be (4 + -1)/(-3)*0. Is a < q?
False
Let y = -1 + 56. Let v be y/10 - (-2)/(-4). Which is smaller: v or 6?
v
Suppose 4*q = 33 - 21. Are 5 and q non-equal?
True
Let d = 1.55 + 0.35. Let t = -0.9 + d. Let s be 5/(-4) - (-2 - -1). Do s and t have different values?
True
Let w(o) = -o**2 + 10*o + 5. Let r be w(9). Let a = -10 + r. Which is smaller: a or 5?
a
Let q be (-42)/(-147) - (-2)/(-56). Let d = 1/34 + 63/170. Which is smaller: d or q?
q
Let t be (1/(-23))/((-18)/18). Does 0 = t?
False
Let j be 0 + (0 - (2 + -1)). Suppose 4*p + 23 = -5*z, 2*p + 2*p + 11 = -z. Is j bigger than z?
True
Let u = -143 - -188. Is u greater than or equal to 45?
True
Let v be -2 + (-64)/(-28) + 2/42. Which is smaller: v or 0?
0
Suppose 3*i - 4*y - 3 = -0, -i + 2*y - 1 = 0. Let d be (-4)/6*9/(-3). Suppose 0*k + 10 = -k - i*a, k - d = a. Which is greater: k or -1/3?
k
Suppose -2*y = 4*v + 24, y + 4 + 2 = -5*v. Let b = -26 - y. Let s be 44/b - -2 - -2. Which is greater: s or 0?
0
Let i be 3/(-84) - 2/8. Let y be 8/(-16)*(-1 - 1). Is y greater than i?
True
Let n(g) be the first derivative of -g**2/2 - 7*g - 2. Let s be n(-5). Let y = s - -1. Which is bigger: y or -2/11?
-2/11
Let p be 29/(-3) - 2/(-3). Which is smaller: -11 or p?
-11
Let m be (-14)/(-35) - (-8)/(-15). Suppose 0 = -t - 4*t + 5. Which is smaller: t or m?
m
Suppose 3*r = r - 5*v - 28, 0 = -4*r + 3*v - 4. Let y be 20/r + -5 + 2. Is y less than -9?
False
Suppose k + 2*k = 4*x - 5, -x + 5*k = 3. Suppose x*a - 22 = -3*r, 0*r + 2 = 3*r - 2*a. Suppose r*w - t = 11, -2 = -2*t - 0*t. Is w > 3?
False
Let m = -86 - -81. Is m less than 0.12?
True
Let l = -9 + 14. Which is smaller: l or 6?
l
Suppose -8 = -5*r - 2*o, 1 = -r - r - 5*o. Suppose m + 3*q = -5, 0*m + 2*m + 6 = -4*q. Let y = r - m. Is 1 > y?
False
Let b = 16.91 + -17. Let a = 1.09 + b. Is 0 at least a?
False
Let s(l) = 5*l - 14. Let j be s(11). Is 41 greater than or equal to j?
True
Suppose 2*o + 3*o = 4*g - 9, 5*o = -4*g - 1. Let v be 2/5 - 8/320. Is v at least g?
False
Let n(p) = p**3 - p**2 + 4*p - 1. Let k be n(2). Is 0.1 <= k?
True
Let w be (1 + -47)/((-2)/1). Let n = w - 13. Is n at least as big as 10?
True
Let o(k) = -k**3 - 5*k**2 - 4*k + 1. Let m be o(-4). Suppose 0 = -2*r + 1 + m. Let h be ((-8)/(-14))/(-5 - -3). Is r less than or equal to h?
False
Let d be 2/(1 - (-1 + 1)). Let a(h) = -1 - 3*h - d + 2*h. Let f be a(-4). Is f greater than 3/7?
True
Let n(d) = 6*d. Let s be n(6). Suppose 3*b - s = -b. Let i be b/(-12) - (-2)/8. Which is greater: i or 1?
1
Let q be 2 + (-3)/(-1 + 4). Let u be (q + 4)*2/5. Let o be (-6 + u)/(3 + 0). Is -2 at least as big as o?
False
Let j = -16 - -8. Let b = 8.3 + j. Which is greater: 1 or b?
1
Let g = -34 - -61. Let n = g - 17. Let d be 4/(-20) + (-28)/n. Is -4 at least d?
False
Suppose -4*s = 3*t + 10 + 10, -s = t + 5. Does t = -6/17?
False
Let g(p) = -p**3 + p - 2. Let l be g(-2). Suppose 0 = -2*w - j + 3*j, 12 = 5*w - 2*j. Is l >= w?
True
Let v = -9.7 - -0.7. Is v < -1?
True
Let y(i) = i**3 + 3*i**2 - 5*i - 1. Let b be y(-4). Suppose 0 = -4*x - 11 + b. Let o(l) = l**3 + 18*l**2 + 15*l - 35. Let k be o(-17). Is k less than x?
False
Let g be (3/(-2))/(10/(-4)). Suppose 0 = -q + 3*q. Let p be q - 1 - (-3)/9. Which is smaller: p or g?
p
Suppose 11 + 8 = -2*m + 5*u, -8 = m - 2*u. Is m at most 3?
True
Let z = -123 - -67. Let f = -337/6 - z. Let m be 4/6 - 2/3. Which is smaller: f or m?
f
Let d be 3*(2 - (-10)/(-6)). Let l be 1*(-44)/108 + (-2)/(-6). Which is greater: d or l?
d
Suppose -5*k - 1 = 3*r - 6, -4*r - 3 = -3*k. Which is smaller: -1/12 or r?
-1/12
Let a(q) = -q**2 - 7*q + 8. Let i be a(-6). Suppose 2*s - 3*k = 7, -2*s + 5*k - 1 = -i. Are s and -1 nonequal?
False
Let n = -8 - -14. Let j be 64/(-60) + n/9. Does j = 1?
False
Suppose 0 = -16*n - 15 - 1. Which is smaller: -2/103 or n?
n
Let z(u) = -u + 7. Let h be z(6). Let a be ((-24)/(-9))/((-4)/(-6)). Suppose 14 = a*f - 2*i, 0 = -4*f - 6*i + 4*i - 6. Is h > f?
False
Let q = -56 + 55. Let c be (-4)/(-7)*(-3)/2. Is q greater than c?
False
Suppose -2*s = 4*b + 24, -3 = 2*s - 4*b - 11. Let y(t) = t**3 + 6*t**2 - 3*t + 1. Let z be y(-4). Let w be 8/z + s/10. Which is smaller: -1 or w?
-1
Let n = 12 + -9. Let y = n - 5. Are y and -3/2 nonequal?
True
Suppose 0*n = 4*n. Are n and -2/23 nonequal?
True
Let z = -0.9 + 6.9. Let v = z + -10. Is 0.2 at most v?
False
Let z be (3/2 + -2)*(-14 - -18). Do -0.8 and z have different values?
True
Let x = -0.09 + -3.91. Let f = -4.02 - x. Which is greater: f or 0?
0
Suppose -2*k - 1 = s, 2*s = 3*s - 5*k + 8. Are s and -3 equal?
True
Let p = -64 + 31. Do -30 and p have the same value?
False
Let t = 1198 + -15594/13. Are t and -2 nonequal?
True
Let q = -10.68 + 1.08. Let o = q - -11. Which is bigger: o or 1/4?
o
Suppose -4*t = -0*w + 3*w + 35, -3*w = 3*t + 30. Is t at most -11/3?
True
Suppose -60 = t - 6*t. Let v be (3 - t)*2/(-6). Suppose -5*q - 12 = -v*f, -25 + 9 = -4*f. Which is greater: -2/7 or q?
q
Let z(r) = -3*r + 0*r + 5*r - r. Let n be z(-2). Let o be (-2 - (-5 - n))/(-3). Which is bigger: o or -1/2?
o
Let v = 9.8 - -1.2. Let o = 11 - v. Which is smaller: 1/3 or o?
o
Suppose 3*i = -6, -a - 2*i + 16 = -5*i. Is 10 less than a?
False
Let o be (6 - 12)*11/(-2). Let w be (-90)/21*7*-1. Let b be (1 - w/o)*-2. Which is smaller: -1 or b?
-1
Suppose -5*z = -3*l - 3*z + 5, 2*z = 4*l - 6. Let g = 50295/53 + -949. Is l at most as big as g?
False
Let c = -199 - -1397/7. Let w = 2 + 0. Which is smaller: c or w?
c
Let r = -0.05 - -0.1. Let z = r - 0.45. Which is smaller: z or -0.1?
z
Suppose 4*n = n. Let b be n*1/((-6)/(-3)). Let z be 3*(-2)/(-3) + -1. Is z <= b?
False
Let k(m) = 3*m - 6*m + 4*m + 9. Let i be k(-9). Is i at most as big as -1?
False
Let q = 6.1 + -6. Which is smaller: q or -0.4?
-0.4
Suppose 3*a - 2 = 10. Let i(j) = j**2 - 3*j - 2. Let k be i(a). Suppose -3*y = -2*y + 5*s + 25, -2*s - 10 = k*y. Which is smaller: y or 1?
y
Let o be -5 - 242/(-238) - -4. Which is smaller: o or -1?
-1
Let p = 18 - 10. Is p smaller than 0.2?
False
Let x(h) = -h**2 - 15*h - 11. Let a be x(-14). Suppose -2 = -a*m + y, -m - 3*m + 3*y = -11. Does 1/23 = m?
False
Let a be (-1)/1 + 1 + 0. Let k = a + 2. Let m be (1/2)/(5/k). Which is bigger: -1 or m?
m
Suppose -2 - 6 = -4*o. Suppose -4*i + o*w = -6, -w = 5*i + w + 15. Which is greater: 1/8 or i?
1/8
Let h be -1 - ((-47)/16 + 2). Which is greater: -0.1 or h?
h
Let c = -3 - -2.54. Let t = 0.4 + c. Are t and 1/3 non-equal?
True
Let d = -10 - -12. Suppose -2*k - d = -8, 2*x + 3*k - 9 = 0. Is x equal to 2/7?
False
Let n = 34112/45 + -758. Are n and -1 equal?
False
Let r be 2*3/(-18)*-3. Let o = 22 - 12. Suppose -4*v