et a = -5 + 0. Suppose -5*d - 12 - 3 = 5*i, -4*d + 12 = 0. Which is bigger: a or i?
a
Let y(s) be the second derivative of -s**4/12 - s**3/2 + s**2 + 6*s. Let f be y(-3). Which is bigger: 4 or f?
4
Let u(w) be the first derivative of -w**3/3 + w**2 + 5*w + 3. Let t be u(4). Is t at least -0.1?
False
Let n be ((0 + 1)/(-1))/1. Let b be 1/((-3)/(-15)) + n. Suppose -b*j + 4 = -2*j. Is -1 greater than or equal to j?
False
Suppose -5 = 3*w - 5*f, w + 2*f + 3 = 5. Which is greater: -1 or w?
w
Suppose -5*u = 3*i + 17, -2*i + u - 6 - 1 = 0. Suppose -4*p + h + 16 = 5*h, -3*p - 2*h + 11 = 0. Suppose 2*n + 2 = -2*g + 6*n, -p*n = g + 11. Is i < g?
False
Suppose -50 + 42 = 2*j. Suppose -3*p = -4*p - 4. Is j bigger than p?
False
Let w = 14 - 6. Are w and -1 unequal?
True
Let q = 3.12 + -0.12. Which is greater: q or -3?
q
Suppose 0 = 2*r + 5*n + 11, 2 + 2 = -4*r - 4*n. Let q be ((-1)/(-2))/((-2)/(-36)). Suppose 0 = -q*m + 4*m - 5, -r*m = -g. Is g equal to -2?
True
Let u = 1 - -8. Let a be (141/(-15))/(0 - 1). Let x = a - u. Which is smaller: -0.1 or x?
-0.1
Let a(w) = 38*w - 1. Let d be a(-1). Is d bigger than -38?
False
Let m = 13 - 12. Let z be (12/(-9))/(22/(-9)). Which is bigger: m or z?
m
Let k be 1/(-1 + 40/38). Suppose 4*t = -51 + k. Let h be 1/2*t/4. Which is greater: h or -1/2?
-1/2
Suppose -f + 8 = 4. Is f equal to 4?
True
Let f = 0.3 + -0.5. Let l be (-2)/12 + (-14)/60. Which is bigger: l or f?
f
Suppose 2*j - 4*x + 25 = 11, x - 5 = j. Let w = j + 9. Let a be 4/w*(-3)/(-7). Which is greater: -2/11 or a?
a
Let n(s) = s**3 + s**2 - 4. Let x be n(0). Suppose -4*o - 5*c + 20 = o, 0 = -2*o - 3*c + 11. Is x at least o?
False
Let w be 36170/18 - (-4)/(-12). Let s = w + -1934. Let m = 75 - s. Which is greater: -1 or m?
m
Let k = 3 + -2. Let z = k + 4. Suppose -z*a + 0*a + 3*m - 14 = 0, 5*a - 4 = -3*m. Is 2/11 > a?
True
Let a(f) = -f - 3. Let k be a(-7). Let o = -11 - -29. Let i be 3/(-2)*8/o. Does i = k?
False
Let m be (-1)/(-4) - 7/4. Suppose 0 = -8*z + 4*z. Let x be (-2 - (2 - 3)) + z. Is m >= x?
False
Let y(i) = -2*i + 7. Let h be y(4). Which is greater: h or 0.7?
0.7
Let v be ((-15)/6 - -4) + 6/4. Which is smaller: v or 13/3?
v
Let f = 90 + -1169/13. Suppose -3*a = -2 - 1. Is a at least as big as f?
True
Let d be (4 - (3 - 3)) + 0. Suppose -3*k - d + 1 = 0. Suppose -2*u = 2*z + 4, u + 3*u + 1 = 3*z. Is k at most as big as z?
True
Let u = -132 + 148. Is 17 less than u?
False
Let z(l) = -l**3 + 7*l**2 - 4*l + 18. Let n be z(7). Which is smaller: n or 2?
n
Let s(h) = -h**2 - h - 6. Let n be s(0). Is n greater than -7?
True
Let a = -0.05 - -0.05. Let m = -1 + a. Is -1 <= m?
True
Let g be (0/2)/(3/1). Suppose 15 = -4*s - 5*i + 6, i + 5 = g. Let b be (-5)/s + (-5)/(-10). Is b < -1/2?
True
Let p = -2.63 - 0.47. Let f = p - -3. Is -3/7 at least as big as f?
False
Let f = -61593/814 - -1/2442. Let z = 75 + f. Let r be (-1)/(-1)*(-12)/(-30). Is r at most z?
False
Let a = 60 + -243/4. Are 1 and a equal?
False
Suppose 6*w = -2 + 20. Suppose 1 = -w*x + 4*s - 2, 5*s = -2*x - 25. Is x at least as big as -5?
True
Let k = 26.7 - 26. Which is greater: k or -1?
k
Let t be (-8952)/29260 - 4/(-20). Let p be 2 + (-3)/(-399)*-268. Let y = p - t. Which is greater: y or -1?
y
Suppose 4*q - 14 = 2*q. Let x = -8 + q. Which is smaller: 1/12 or x?
x
Let o(r) = r**3 - 3*r**2 + r - 2. Let g be o(3). Let c be (g/26)/(7/28). Let s = -0.8 - 0.2. Is s at most as big as c?
True
Let j = 5 + -5. Let t(r) = -2*r. Let i be t(-4). Suppose -o + 3*o - i = j. Is 5 at most as big as o?
False
Let r = -80 + 79. Is r at most -1?
True
Let o(s) = -s**2 + 7*s + 7. Let h be o(8). Is h at least as big as -1/21?
False
Suppose 6 = -5*z - 3*t, 0 = -4*z + 3*z + 2*t - 9. Let u = z + 1. Let p be (-2)/(-45)*-3*5. Which is bigger: p or u?
p
Suppose 3*i + 10 = i. Suppose -2*g = 3*b + 4, 2*g - 4*b - 12 + 2 = 0. Which is smaller: i or g?
i
Let a = 411/4 + -103. Let r(i) = i**2. Let w be r(0). Which is smaller: a or w?
a
Let r = -116 - -116.14. Is -2 greater than or equal to r?
False
Let d(h) = 2*h + 1. Suppose -3*z = -5*m + 18, -2*m = -z - 6 - 1. Let r be d(z). Which is greater: -2/13 or r?
-2/13
Let b = 12 - 4. Let j = 8 - b. Which is greater: j or -0.1?
j
Let l(i) = -3*i + 1. Let n be l(1). Let d be 4*(n/68)/(-1). Is d < 0?
False
Let w = -8 + 12. Suppose -5*s + 20 = 5*q - 0*q, -5*q + 17 = 4*s. Let y = w - q. Which is smaller: y or 2?
2
Let a(j) = -j - 1. Let z be a(-7). Suppose 3 = -3*h + z. Which is smaller: 0 or h?
0
Let l(m) = -11*m - 4. Let a be l(-8). Let d be -3 - ((-1490)/a - 2). Let u = -97/6 + d. Is 2 at least u?
True
Let d = 16/207845 - 69227617/197868440. Let r = d - 3/119. Is 0 less than r?
False
Let o be (-3)/(((-45)/(-6))/(-5)). Let c = -2 + 4. Is c less than or equal to o?
True
Let t(h) = -h**3 + 10*h**2 + 11*h + 4. Let o be t(8). Let k be 95/o + (-1)/4. Is k at least -1?
True
Let c = -95/4 + 24. Is -1 <= c?
True
Let n = 5 + -1. Suppose -n*a = a - 20. Suppose -a*h = 2*v + 22, -3*h - 4*v + 6 = 35. Which is smaller: -2 or h?
h
Let d = 10 - 8. Suppose 4 = -2*c + 4*b, 5*c - 7*b - 2 = -3*b. Suppose d*z - 16 = -c*z. Is 1 equal to z?
False
Suppose -1 = 6*d + 41. Which is smaller: -8 or d?
-8
Suppose -6*q + 92 = 2. Which is smaller: 12 or q?
12
Let f = 4407/176 - 162/11. Let w = f - 2107/240. Let r = w - 6/5. Which is greater: -2 or r?
r
Let f(g) = -g + 5. Let h be f(4). Let o be -1*(2 + h)*1. Which is bigger: o or -5/3?
-5/3
Let g = 14 + -3. Which is bigger: g or 10?
g
Suppose u + 8 + 14 = -4*x, 3*x + 4*u + 23 = 0. Does -4 = x?
False
Suppose 2*f = f + 34. Let l be f/10 + (-12)/(-20). Is l smaller than 6?
True
Let s = 11 + -6. Let p be s/6 + 3/(-18). Which is greater: p or 2?
2
Let d = -11 + 16. Let h be d/(25/4) + -1. Is 0 > h?
True
Let v = 5 + -4. Let n be (-34)/(-51)*3/2. Is n greater than or equal to v?
True
Suppose -3 = x - 4*p, 2*x - 5*p = -12 - 3. Is -2 at most x?
False
Let b = 82 + -78. Which is bigger: 7 or b?
7
Suppose 2*y = l + 2, -14 = -4*l - l - 2*y. Suppose -u + 10 = 6*x - x, 2*u = -l*x + 12. Let m = x + -3. Is -3 > m?
False
Suppose -7 = 11*p - 4*p. Is p smaller than -1/43?
True
Let x(r) = r**2 + 8*r + 7. Let y be x(-7). Which is greater: -1/37 or y?
y
Suppose 0 = 2*t - 10, -u = -3*u - 2*t. Which is bigger: -2 or u?
-2
Let h(p) = -p**2 + 2*p - 3. Let j be h(2). Let x = -97 - -96. Which is smaller: x or j?
j
Let u be (-7)/3 - 2/(-6). Suppose -2 = 3*j + 1. Does j = u?
False
Suppose -3*m + t - 49 = 0, -3*t + 2*t = -4. Let v be m/(-4) - (-4)/16. Are 2 and v non-equal?
True
Let u(n) = 6*n + 3. Let z be u(-5). Is z at least -27?
True
Let q be (20/(-25))/(8/(-20)). Let g be (80/(-24))/(q/9). Which is smaller: 0 or g?
g
Let z(y) = -y**2 + 6*y - 3. Let q be z(5). Suppose 19 = 3*j - 23. Let s be 4/(-14) + 4/j. Are s and q equal?
False
Suppose -3*k = 4*t + 20, k + 3*t + 6 = -4. Let n = 5 + 11. Suppose c - n = 5*c. Is k equal to c?
True
Let v be 4180/(-522) - -6 - (-4)/2. Do -1 and v have the same value?
False
Let v(t) = -8*t + 8. Let y be v(-1). Let u = -21 + 37. Is u bigger than y?
False
Let n(g) = 2*g**2 - 3*g. Let y be n(2). Suppose 2*z + 3*q - 7 = 0, z - 2*q + y = 5*z. Let s be (2 - z) + (-47)/15. Which is bigger: 1 or s?
1
Suppose 5*r - 7 = 2*a, 0 = -3*r + 5*a - 0*a - 11. Which is greater: r or 4?
4
Let f = -1 - -3. Are -1 and f non-equal?
True
Let o = -0.31 - -0.06. Let c = 0.15 + o. Is c at most as big as 0.03?
True
Suppose 1 + 1 = -4*j + 2*v, 0 = -3*j + 4*v - 9. Let i = 57/22 - 56/11. Which is greater: j or i?
j
Let c be (-3)/2*30/(-9). Suppose 0 = -c*q + i + 5, i + 2 = 2*q - 3*i. Are q and 0.6 nonequal?
True
Let l = -99 + 99. Which is smaller: -1.1 or l?
-1.1
Let o be (-3)/(-2)*4/6. Do o and -3 have the same value?
False
Suppose -3*t = -4*t - 1. Which is bigger: 11 or t?
11
Let l = -4.88 - -0.98. Let y = 4 + l. Which is smaller: 0.3 or y?
y
Let f = 4 - 7. Let v = f + 7. Suppose 4*n = -0*n + v. Is 1 less than n?
False
Let v = -1.3 - -1.1. Which is smaller: -10 or v?
-10
Suppose 0 = -2*m + 6. Suppose 4*j - 5*j - 2*s = 0, 0 = 4*j + m*s - 5. Suppose -p = j*p - 3. Is 1/2 greater than p?
False
Suppose -2*i + 0 = -4, -4*j - 3*i = -10. Is -2/11 bigger than j?
False
Suppose 0 = -6*g + g + 10. Is g at least 3?
False
Let d be 7 - 5 - (27 + 1). Which is smaller: d or -28?
-28
Let k(c) = -c + 8. Let q