**2 - 3*a + 1. Let v(m) = -4*f(m) - 3*u(m). Let n be v(0). Which is smaller: -2/13 or n?
n
Suppose u - 10 = 6*u. Let t be (0 - 1)*(u + 2). Which is smaller: t or -8/7?
-8/7
Let w be ((-1)/4)/((-4)/(-16)). Is 3.8 at least as big as w?
True
Let f be (13 - 17)/(((-20)/(-2))/1). Let i = -12 + 7. Which is greater: i or f?
f
Let d be 0 + 4 + 9 + 3 + -15. Is d less than 2/7?
False
Let y = -1/4 - -3. Let i(t) = t - 5. Let l be i(4). Which is smaller: l or y?
l
Suppose 0 = 2*m + m + 48. Let r be m/(-4) - (0 + 0). Are 3 and r equal?
False
Let k be -3 - (-1)/2*6. Suppose k = -s - 5 + 2. Let f be (3 - 0)*(-6)/9. Is f > s?
True
Let k = -299/4 - -74. Which is greater: k or 0?
0
Let l = 142 - 1847/13. Let u = l - -15/26. Is u not equal to 0?
True
Let r = 211 + -2745/13. Let q be 2/(-1)*(-12)/8. Let n be (3 + -2)*q - 4. Which is bigger: n or r?
r
Let n = 3 + -3.1. Let a = -0.101 - 0.299. Do a and n have different values?
True
Suppose g - 20 = 2*g. Let u = g - -19. Which is greater: u or -11/3?
u
Let n(w) = -w + 8. Let k be n(0). Suppose k*t - 3*t + p = -3, -5*t - 5*p - 15 = 0. Is 1/4 at least as big as t?
True
Let a(y) be the second derivative of y**4/12 + 4*y**3/3 - y**2 + y. Let f be a(-8). Are -2 and f nonequal?
False
Suppose -7 = 8*y - 71. Are y and 10 equal?
False
Let f = -8 + 3. Let a(o) = -o**3 - 5*o**2 + o + 4. Let j be a(f). Let s = 26/155 - -1/31. Which is bigger: j or s?
s
Let f be 0/2 - (-6 + 12). Is f at most 4?
True
Let s(k) = -7*k - 15. Let i be s(-5). Is 22 less than i?
False
Suppose -48 - 60 = 4*n. Does -26 = n?
False
Suppose 4*q - 4*r = 12, -5*r + r = q - 13. Suppose -57 = q*f + 3*z, f + 4*z + 5 = 5*z. Is f < -10?
False
Let d = 3709/16 + -232. Let l = 5/16 - d. Which is smaller: 1/5 or l?
1/5
Let w = -69 - -10. Is -59 greater than w?
False
Suppose 0 = 2*l + c + 4, 2*l - 3*c + 1 = 13. Is l at most 8/19?
True
Let x = 2 - 2.1. Is x less than or equal to 52/5?
True
Let d(s) = 2 + 0 + 2*s**3 - 9*s - 4*s**3 + 8*s**2 + 3*s**3. Let w be d(-9). Suppose 1 = 3*h - w. Is -0.2 <= h?
True
Let z = -15 - -73/5. Let p be -2 + 0/(-2) + 2. Is z bigger than p?
False
Suppose 2*v + 2 + 18 = 0. Let x be ((-4)/v)/((-112)/(-40)). Which is bigger: x or 0.2?
0.2
Let k be (-1)/4 + 474/(-24). Let r be ((-24)/k)/(2/(-10)). Which is greater: r or -7?
r
Let q = 69 + -41. Is q greater than 27?
True
Let m = -48 + 335/7. Let o = -0.35 - -0.25. Which is greater: o or m?
o
Let n = 7.5 - 7.6. Which is smaller: n or 14?
n
Let z = 32727035/1173 + -476403/17. Let h = z + 370/3. Which is bigger: h or -1/2?
h
Let i(s) = s**3 + 9*s**2 - s - 7. Let b be i(-9). Suppose -b*p - 2 = -0*p. Which is smaller: p or -10/9?
-10/9
Suppose 4*t = -2*i, 12 = -2*i + 3*t - t. Suppose -4*u + 6*a = 4*a + 18, 4*a = 4*u + 20. Let h = u + -1. Which is smaller: h or i?
h
Let r(o) = o**2 + 5*o + 9. Let s(q) = 5*q**2 + 24*q + 45. Let n(x) = -11*r(x) + 2*s(x). Let m be n(-7). Let b be 3/2*(-4)/m. Which is smaller: b or 2?
b
Suppose 4*k = 4*u - 0*u + 8, -4*k - 3*u + 22 = 0. Is k at most 4?
True
Let j(c) = 4*c + 18. Let s be j(-9). Is s bigger than -18?
False
Suppose 5*h + 17 + 3 = 0. Is -3 at most as big as h?
False
Let o be (-3 + 1)*5/2. Do o and -7 have the same value?
False
Suppose 4*n = 2*n - 4. Let p be 2 + ((-4)/n)/2. Suppose -5*x + c = -3*c - 30, -4*x = -3*c - 23. Is x at most p?
True
Suppose 4*l + 5*a = -5, 6*a - a + 5 = -3*l. Let o = -14 - -8. Let y be 7/o - -1 - 0. Is l less than y?
False
Let r = 71 - 71. Are 7/2 and r unequal?
True
Suppose 0 = y + 2*y + 12. Let a(i) = -3*i**2 - 3*i - 6. Let w be a(y). Let j be (48/w)/(-1 - -3). Which is smaller: j or -2?
-2
Let x = -71458/77 + 928. Is x < 1?
True
Suppose 3*w - 7 = 4*k, 3*w + 0*k - 8 = 5*k. Is 15/7 != w?
True
Let c = 5 - 5. Let d(z) = -z + 10. Let k be d(10). Suppose -2*x = -k*x - 2. Does x = c?
False
Let s = -0.2 - -0.4. Let j(a) = -2*a - 5. Let q be j(0). Let p be (-2)/q + 46/(-40). Is s less than p?
False
Let c = 8 + 8. Let l be (-1)/3 + c/3. Let y = -8 - -12. Is l greater than y?
True
Let h = 3 + -4. Let t be (-30)/25 + 18/(-45). Which is smaller: t or h?
t
Let c(m) = -11*m**2 + 3*m - 1. Let a be c(-3). Let g = a - -543/5. Let o(j) = -j - 1. Let r be o(0). Which is smaller: g or r?
r
Suppose 0 = -0*b - 3*b - 9. Let k(c) = c**2 + 4*c + 3. Let n be k(b). Suppose -4*q - 20 = -4*m, -5*q + 3*m + n = 15. Is 2/9 at most q?
False
Let o(g) be the second derivative of g**4/12 + 7*g**3/6 + 3*g**2 - g. Let t = 21 - 25. Let r be o(t). Which is smaller: -7 or r?
-7
Let x = -116.3 + 125. Let d = x - 8. Do d and 1/2 have different values?
True
Let l be 6/(-9) - 7/(-3). Let j be 48/(-22) + 4/22. Is j at most l?
True
Let z = -18 + 37/2. Let n be (-10)/42*21/(-35). Which is greater: n or z?
z
Let f = -0.1 - -0.1. Let t = 0.08 + 0.22. Let y = t - f. Which is smaller: 1 or y?
y
Let t = 0.79 + 0.21. Is 0.05 at least t?
False
Suppose 2*k - 20 = -0*t + 3*t, 3*t = -3*k. Suppose -3*l + 6*l = -3, 0 = -4*q + l + 13. Which is smaller: k or q?
q
Suppose 4*w - 1 = 5*w. Let l be 3 - 2 - (-212)/6. Let n = l - 36. Are n and w unequal?
True
Let s = 35 - 25. Let m(v) = v**3 - 6*v**2 + 2*v - 3. Let t be m(6). Which is bigger: t or s?
s
Let x = -43/2 - -649/30. Let r = 5 - -6. Let z = r - 13. Is z at most as big as x?
True
Suppose f = -3*f. Let h be (-1 - -1)/(f + 3). Is 0 equal to h?
True
Let p be ((-12)/(-5))/((-12)/(-60)). Suppose -2*y = 3*v + p, -5*y + 8*v = 3*v - 20. Is -1/18 at most as big as y?
True
Suppose 5*x - 5*p + 91 = 16, -5*p = -4*x - 64. Let f = -1.1 + 1. Which is smaller: f or x?
x
Let b = -3/4 + -3/4. Let k = -0.8 - -0.87. Let a = -0.03 - k. Which is bigger: a or b?
a
Let b be (0 + 1)*(7 + -6). Let z be (-3 + 25/10)/(7/6). Is z at least as big as b?
False
Suppose 0 = -2*p + 5*u + 13 + 1, 0 = 3*p + 2*u - 21. Is 7 equal to p?
True
Let d = 80 + -76.1. Let i = 4 - d. Is i at most 6?
True
Let k = 23 - 12. Let l = 13 - k. Is l smaller than 1?
False
Let l be (-10)/(-15) - (-29)/24. Which is greater: l or 2?
2
Let t = -2101/70 - 87/10. Let j = t + 39. Is j smaller than 0?
False
Suppose -5*j + 5 = 0, 0 = -t + 4*t + 2*j - 17. Are 3 and t non-equal?
True
Suppose 5*j = -3*u + 12, 3*j + 5*u - 3 - 17 = 0. Which is bigger: -7/6 or j?
j
Let o = -12 - -22. Let p = -10.1 + o. Which is smaller: p or 0.1?
p
Suppose -4*w + 4 = 3*o, -2*w = -4*o + 2*w + 24. Let l(k) = -k + 5. Let z be l(o). Let r be 2*3/12*0. Which is bigger: z or r?
z
Let o = 0.11 + 0.59. Is -0.1 smaller than o?
True
Suppose 2*z - x = 10, -3*x - x + 15 = 3*z. Let k(y) = 7*y + 2. Let t(u) = u + 1. Let r(n) = -k(n) + 6*t(n). Let v be r(z). Is v equal to -1/4?
False
Let s = 3 - 2.9. Let x = 3 + -5. Let z = -2.1 - x. Which is smaller: s or z?
z
Let n = -18 + 7. Let w = n + 10.7. Which is smaller: -0.1 or w?
w
Suppose 0*v - 5*v + 5 = 0. Let m = -1/14 + 11/7. Which is smaller: v or m?
v
Let y(p) = -p + 3. Suppose -u + 3*r + 9 = 0, -4*u + 0*r - 4*r = 28. Let v be y(u). Suppose 4*j - 3*s + 13 = 0, 5*s - 19 = v*j - 2*j. Which is smaller: j or -3?
-3
Let w = -0.7 - -0.52. Which is smaller: w or 3?
w
Let b = 7 - 1. Let i = b - 0. Which is smaller: 0 or i?
0
Suppose -z + 0*z = -3. Suppose 5*j - 3*k = -8, -z*j + 4*k + 0*k = 7. Which is bigger: -5/6 or j?
-5/6
Let p(u) = u - 2. Let t be p(-1). Is -3 <= t?
True
Let g = -27 + 18. Is -8 not equal to g?
True
Suppose 4*l + z - 5 = 1, 3*z = -3*l. Let q(j) = j**2 + 5*j + 4. Let d be q(-5). Is d less than l?
False
Let p = -10 + 6. Let a = p + 3. Which is greater: -1/7 or a?
-1/7
Let n(c) = -3*c**2 + 3*c + 6. Suppose -a + 16 = 3*a. Let l(s) = 2*s**2 - 2*s - 5. Let i(u) = a*n(u) + 5*l(u). Let k be i(1). Which is smaller: 0 or k?
k
Let i(v) = -6*v + 9. Let z be i(2). Let t = -8 + 6. Is t not equal to z?
True
Let k = -124/3 + 40. Which is bigger: k or 0?
0
Suppose 0*l - 102 = -l - 3*k, -l + 107 = -2*k. Is 106 < l?
False
Let a be (-3 - -4)*(4 + 4). Let g(h) = -h**3 + 8*h**2 + h - 6. Let t be g(a). Which is greater: 5 or t?
5
Let f be (-2 + (-34)/(-23))*7/(-28). Which is smaller: f or 0?
0
Suppose 9 + 543 = 3*l. Let p = l + -924/5. Is 0 not equal to p?
True
Suppose 0 = -2*p + p + 2. Suppose 3*a - 5*b - p = 0, a - 6 = 5*a + 2*b. Which is greater: 1/4 or a?
1/4
Suppose -3*g + 1 = -8. Let k = g + -3. Which is bigger: 0.1 or k?
0.1
Suppose 2*u + 14 = -0*u. Which is bigger: -2/5 or u?
-2/5
Suppose 58