e -t = -w - 1. Which is smaller: t or 8?
t
Let l(v) = -v - 2. Let r be l(-3). Let c be (4/(-60))/((-8)/18). Let g = c + -17/60. Is r >= g?
True
Let d be (-2)/((-1)/((-11)/2)). Let x = 4 + d. Is -7 not equal to x?
False
Suppose 3*f + 31 = 4. Which is greater: f or -84/11?
-84/11
Let l be -5 - (0 + -2 + 1). Let q = 10 + l. Let x = q - 4. Is x greater than or equal to 3?
False
Let c(w) = 2*w - 10. Let k be c(7). Let r = -19 - -20. Which is bigger: k or r?
k
Let x be 16/6*3/(-2). Let f = x - -5. Are f and 1 nonequal?
False
Let t be (-10)/6*(-9 - -12). Let g = t - -6. Suppose -3*c = -3 - 0. Is g at least c?
True
Let d = 4002909/76 - 52643. Let c = 107/4 - d. Let m be 1/(-1) + 0 + 2. Which is smaller: m or c?
c
Suppose -5*h = -h. Suppose -1 = -s + 1. Do s and h have the same value?
False
Suppose 4*t - 29 = 23. Suppose -65 = 18*y - t*y. Which is greater: -12 or y?
-12
Let w = -55 + 39. Is -16 not equal to w?
False
Suppose -4*b + 2*s + 13 = -1, -11 = -b + 3*s. Suppose 0*h = 4*h. Does h = b?
False
Suppose 7 = 3*b - 5. Suppose b*o + 6 = 2. Which is greater: 1/4 or o?
1/4
Suppose -v + 0 - 3 = -5*f, 1 = f. Suppose -2*p + 4*s = -14, v*p + 0*p = -4*s - 18. Which is bigger: -2 or p?
p
Suppose -3*a + 12 = a. Let m = 8 - 8. Suppose m = y + y - 6. Is a at most as big as y?
True
Let t(j) = j**2 + 3*j - 3. Let d be t(-4). Let g be (4/1)/d + -3. Which is smaller: 2/7 or g?
2/7
Let n = 6 - 3. Suppose 25 = -2*g - 5*q, 0*g + n*g = -4*q - 27. Let z be 4/(-6) - g/3. Which is smaller: z or 1/3?
1/3
Let h = 4 - 7. Suppose -2*z + 2 = -3*z, 0 = 5*a + z + 7. Which is greater: h or a?
a
Suppose 5 = 7*d - 9. Suppose 2*s - a + 4 = 0, 0 = -2*s + 3*s - a + 4. Let z = s + 2. Is z < d?
False
Let k be (5/(-2) - -2)*-10. Is 6 != k?
True
Let z = -9 - -14. Let g = -4.7 + z. Let t = -0.3 + g. Is t <= 0?
True
Let o(x) = 7*x + 20. Let s(a) = -3*a - 10. Let z(d) = -2*o(d) - 5*s(d). Let m be z(-11). Is -1 > m?
False
Let u(y) = y**2 - 4*y - 7. Let a be (-4)/(-14) - (-47)/7. Suppose p + 2*f + a = -2*f, 0 = -3*p - f + 12. Let o be u(p). Is o greater than -4/7?
False
Let k be (-6)/4*152/(-12). Suppose -v + 5*c = -8, 3*c + 7 - k = -5*v. Suppose -1 - 5 = -v*r. Do r and 2 have different values?
False
Let a = 17 + -17. Which is smaller: -3/4 or a?
-3/4
Let m(t) = t**2 - 14*t + 15. Let q be m(13). Let r be (12/(-8) + -3)*-2. Which is bigger: q or r?
r
Let t = 49 - 33. Which is bigger: 14 or t?
t
Let z(l) = 3 - 8 - 5 + 5*l - 4*l. Let j be z(10). Which is smaller: 3/10 or j?
j
Let l(q) = q**3 + 6*q**2 - 7*q + 2. Let k be l(-7). Suppose -k*d = -6*d. Let g be 14/12 + (-4)/(-24). Are d and g equal?
False
Let g = 4 - 2. Let o = 11 - 10. Is g greater than or equal to o?
True
Let f(w) = w**2 + 6*w + 5. Let z be f(-5). Suppose z*v = v + 4*l + 12, 2*l + 6 = 4*v. Is v bigger than -1/2?
True
Let p be 10/45 + (-74)/9. Let g be -1*(1 + 6/p). Which is bigger: 0 or g?
0
Suppose 0 = y + 3*y + 16. Let w(m) = m**2 - m - 3. Let k be w(0). Is k at most y?
False
Let f(q) = -2*q**2 - 4*q - 2. Let o be f(6). Let r be o/(-7)*12/98. Is r < 0?
False
Let d = -0.34 + 0.54. Let a = -0.06 + -1.94. Which is smaller: d or a?
a
Let z = -8/23 - -58/299. Which is greater: -1 or z?
z
Let t = 0.066 + -0.166. Which is greater: 28 or t?
28
Let v = 0.48 - -0.12. Is 0.1 at most v?
True
Suppose p = 4*g - 6, -2 = 3*p + g + 3. Are 1 and p nonequal?
True
Let i be (-12)/99*-3*7. Which is smaller: i or 4?
i
Let i = -8 + 6. Are -2 and i nonequal?
False
Let k be -2*((-2)/3)/(-2). Let y(o) = o**2 + 2*o - 3. Suppose -x + 3*x = -6. Let d be y(x). Which is greater: k or d?
d
Suppose 0 = -4*z + o - 1 - 1, 4*z + o + 6 = 0. Suppose 0 = 4*q + 8 - 4. Is q at least z?
True
Let l = 29 + -26. Let f be 5/1 + (1 - 3). Is l bigger than f?
False
Let o(w) = w**3 + 5*w**2 - w - 6. Let y be o(-5). Let z = -49/60 - -9/10. Which is bigger: z or y?
z
Suppose -72 = 3*h + 39. Which is greater: -75/2 or h?
h
Let k be (9/(-15))/(4/10). Let b = -0.078 - 0.022. Is b smaller than k?
False
Let i = 454 - 95. Let k = 6823/19 - i. Is k >= -1?
True
Let z(b) = 0*b**2 + 3*b**2 + 0 - 7 - 4*b**2 - 8*b. Let d be z(-7). Which is greater: d or 1/14?
1/14
Let c = -0.883 + -0.117. Which is greater: c or -3/37?
-3/37
Let o = 13 + -15. Let p = 1 + 7. Suppose 2*t + p = -t + d, 5*d = -5. Is o not equal to t?
True
Let t = 13 + -12. Is -0.22 greater than or equal to t?
False
Let m = -110 + 114. Is -6 at most as big as m?
True
Let g = 561/13 - 43. Which is bigger: 0.07 or g?
g
Let x = 9.8 - 4.87. Let y = x + 0.07. Is y greater than -2/3?
True
Let m(l) = -l**3 - 12*l**2 - 13*l - 21. Let k be m(-11). Which is smaller: k or 1/12?
1/12
Let z be (-15)/(-20) + 83/(-4). Let o be (6/(-4))/((-465)/z). Which is bigger: 1 or o?
1
Suppose 3 = -3*w - 5*c - 2, 2*w + 3 = -3*c. Is 2/63 greater than or equal to w?
True
Let l(t) = -t**3 - t**2 - t - 1. Let w be l(-1). Let f be w/(-9) + 1 + 4. Let z be f/((-5)/(-2)) + -2. Are z and 1/5 non-equal?
True
Let q = -7 - -14. Let f = q - 13. Let v = 6.1 + f. Is -2/7 bigger than v?
False
Suppose n - 8 = 5*l, -2*n + l + 8 = -n. Which is bigger: 9 or n?
9
Suppose -s + 5 = 4. Is -2/9 != s?
True
Let o be (2 - (-2 + 3)) + -1. Is -1 not equal to o?
True
Suppose 5*s = -1 + 1. Let g(k) = k**3 + 9*k**2 - 2*k + 2. Let h be g(-5). Let f be (-46)/h - 2/(-7). Which is bigger: s or f?
s
Let r be ((-2)/4)/((-2)/1). Let u = -7/4 + r. Let b be -1 - -5 - (-168)/(-36). Which is smaller: u or b?
u
Let s = 0.03 + 1.97. Let z = -3 + s. Let u = -3 - z. Is u smaller than 0?
True
Let j = 13/2 - 6. Suppose 0*n = 2*n - 16. Let t(f) = f - 8. Let i be t(n). Is i != j?
True
Let j = -1 - -1. Is j at least -2?
True
Suppose -3*u = s - 4*u - 4, -u + 4 = 3*s. Let t be 2/8 + (-33)/12 + 3. Which is bigger: t or s?
s
Suppose 5*d + 2*o = 2, d - o = 1 + 5. Suppose -5*n - 18 = -u, -2*n - 18 = d*u - 6*u. Is 0.3 > n?
True
Let d be 1*(0 + 2/(-2)). Let r = 16 + -18. Is d < r?
False
Let l(k) = k**3 - 10*k**2 - 8*k - 3. Let d be l(11). Let y = d - 27. Which is smaller: 2 or y?
2
Let f = -0.02 - -0.42. Let q = -4 + 3. Let r = q + 2. Is r smaller than f?
False
Suppose 1 + 7 = 2*y. Suppose 22 = 3*a - 5*r, -a + y = -4*r - 8. Suppose a*j = 5*d - 11, 4*j + d + 2 - 9 = 0. Which is greater: j or 2/19?
j
Let d(i) = -i**3 - 6*i**2 - 7*i + 2. Let f be d(-5). Let k be (-7)/(-5) - f/30. Let v be ((-1)/(-1))/(-4 + k). Which is greater: v or -1?
v
Suppose -3*a - 6 = 3*b, -3*a = -8*a - 4*b - 9. Is a > 2/213?
False
Suppose 2*a - 18 = -4*j, -21 = a - 5*a - 5*j. Let d be 2/4*(-42)/35. Do a and d have different values?
True
Let a = 12377 - 38158/3. Let c = 331 + a. Let t = -12 - c. Which is bigger: t or 0?
0
Let b = -11 - -15. Which is greater: 2/13 or b?
b
Let y = 14 - 22. Let u be (1/(-2) - 0)*y. Suppose u*q = -1 - 3. Are q and -1 unequal?
False
Let d be 1/(-3)*6/(-32). Let a = 19 + -14. Suppose -4*l + 2 - 12 = -a*c, c - 2 = -4*l. Which is greater: d or l?
d
Suppose 4*d + 12 = 4*l, -d + 2*d = 2*l - 10. Let p be -3 - (-3 - 0)*3. Which is smaller: l or p?
p
Suppose 5*b - 19 - 86 = 0. Let p be 0 + b/(-6) - -3. Is 0 < p?
False
Let c be -2 + 0 + 19923/(-26532). Let q = 2/2211 + c. Let h = q + 53/20. Which is smaller: 0 or h?
h
Let v(s) = -7*s**2 + 5*s - 4. Let o(d) = 6*d**2 - 4*d + 3. Let q(t) = -6*o(t) - 5*v(t). Suppose 0 = -4*w - 3 - 5. Let y be q(w). Which is bigger: -1/6 or y?
y
Let j = -20 - -21. Is 4/5 at most as big as j?
True
Suppose -2*w - 2*w + 5*c = 0, 0 = 3*w - 2*c. Let g be 14/(-6) + 4/(-6). Let p be 2/(-8)*(g - 1). Are w and p equal?
False
Let n = -4 - -3.9. Let w = -1.8 + 0. Let m = -1.5 - w. Which is smaller: n or m?
n
Let l be -2*((-255)/(-6))/1. Let t be l/40 - (-3 - -1). Let y be -1*3/9*3. Is y at least t?
False
Let q = -18.63 + -0.37. Which is bigger: q or -0.1?
-0.1
Suppose -4*b - 4*a - 4 = -6*a, 2*b = -5*a - 26. Let v = b + 4. Let q(t) = -t**3 - 7*t**2 - 6*t. Let r be q(-6). Are r and v equal?
False
Let d be 2/(-11) - (-2)/209*74. Which is smaller: 2 or d?
d
Let b be (1 + 3)*(-1 + 2). Let x = -8 + b. Are -3 and x non-equal?
True
Let z(l) = -2*l - 36. Let h be z(-23). Does 8 = h?
False
Let z(j) = j**2 + 4*j + 6. Let l be z(-4). Suppose 4*y - l*y = -4. Is 18/7 <= y?
False
Let p be (4/(-6))/((-2)/6). Let l(o) = -5 - 4 + 2 + 4*o - 3*o. Let q be l(9). Is p equal to q?
True
Let u = 0.28 + -0.08. Are 1 and u unequal?
True