or a.
4
Let p(t) = 5*t**2 + 25*t + 12. Let y(l) = l**2 + 6*l + 3. Let m(j) = 2*p(j) - 9*y(j). Let u be m(5). Solve 4*w + c = 0, -w + u = w + c for w.
-1
Let l(d) = -d**2 + 5*d + 2. Let q be l(5). Suppose i = q*i. Suppose -k + 2*k = 4. Solve i*w - 3*w - 11 = -2*r, k*w = 4*r - 12 for w.
-5
Suppose 3*x - 45 = -6. Let l = 5 - 1. Let n(s) = s**3 - 4*s**2 + 2. Let o be n(l). Solve -o*b - 9 - 10 = -3*v, -3*v + x = b for v.
5
Let a(n) = n**2 - 3*n - 1. Let b be a(-3). Let f = 2 - b. Let j = -10 - f. Solve -2*l + j*l = z, -l = -3*z + 8 for z.
3
Let p = 5 + -1. Suppose 0 = -2*j + 4*j - 4*z - 20, 0 = p*j + 3*z - 62. Let k = 12 - 8. Solve k*c - 10 = 2*v, v - 6*v = c + j for v.
-3
Let d(k) = k**3 + 16. Let p be d(0). Suppose 0*c + p = 4*c. Suppose -2*s = 3*v + 4 + 5, -c*v - 23 = -s. Solve 0 = i + a + 7, -8 = 2*i + s*i - 4*a for i.
-4
Let t(k) = -k**2 + 3*k**2 + 2*k**2 - 1 - k - k. Let y be t(-1). Solve 3*h + y*i = 6, 3*i = h + 2*h - 6 for h.
2
Suppose 24 = -2*v + 5*v. Suppose v = -i + 3*d, 5*i + 4*d - 28 = 2*d. Suppose 0 = -2*n - i + 26. Solve -3*g = -2*l + n, -g + 4 = -3*g - 2*l for g.
-3
Let c = -37 + 60. Suppose 9*p - 14*p = -5. Solve -2*b + c = 3*i + p, -5*b + 17 = -2*i for i.
4
Suppose 4*r + o - 10 - 28 = 0, -3*r + 40 = -5*o. Suppose -r = -4*c + 6*c, s - c = 5. Solve s = d - 2*g + 11, 5*d + 2*g + 40 = 7*g for d.
-5
Suppose 2*w = 6*w + 12. Let a be -9 - -8 - 1*w. Solve 7 = -a*r - 3*k, -r + 0 = 2*k + 5 for r.
1
Suppose j - 10 = -4*j. Solve j*o + 6 = -f, 3*o + 20 = -o for f.
4
Let q = 4 + -3. Let v be (1/(-2))/(q/(-52)). Solve -2*y + k + 3*k + v = 0, -3*y + 29 = -4*k for y.
3
Let o(q) = -q**2 + 7*q - 4. Let c be o(5). Suppose -c = -0*s - 2*s. Suppose -3*n - 2*y + 3 = -0*n, -2*y = 0. Solve n = -s*p - 2*m, 5*p - m = -4*m - 3 for p.
-3
Let o(i) = 3*i**2 + 4*i + 2. Let n be o(-2). Suppose -2*j - 12 = -n*j. Suppose 4 = 6*f - 4*f. Solve 2*d + 4 = j*d, 2*a - 16 = -f*d for a.
4
Let x(r) = r**2 + 5*r - 4. Let g = -18 + 12. Let h be x(g). Solve -4*w - h + 16 = u, 0 = -4*u + 5*w - 28 for u.
-2
Suppose 2*z - 3 - 15 = -r, 3*r + 5*z = 59. Suppose -u + 3*j - 11 = 0, -3*j + r = 2*u + j. Solve -4*b + 26 = -2*g, -u*b = -7*b - 2*g + 9 for b.
5
Suppose 4*z - 8 = -0*z. Let c be (0/(z/(-1)))/(-2). Suppose -2 = -k - c. Solve -3*v + 27 = -2*i + k, -4*v = -4*i - 40 for i.
-5
Let r be -5*(-2)/(-6)*-3. Solve -4*s - r*q = -2*s + 17, 0 = s + 4*q + 13 for s.
-1
Suppose -122 - 53 = -5*t. Let v(d) = d - 1. Let f be v(7). Solve 4*a - 3*c + f*c + 35 = 0, -5*a = 2*c + t for a.
-5
Let h be -2 - (-6 + (-12)/(-3)). Let s be 1 + (-4 - h) + 11. Solve 3*c - 4*g + 11 = 2*c, 0 = 4*c + 2*g + s for c.
-3
Let x be 3/((-6)/(-8)) - 2. Let a be (1 - 3)/(2/(-3)). Let t = 6 - a. Solve c - 3 + 7 = -x*q, 0 = t*c + q + 12 for c.
-4
Let q(n) = n + 7. Let t be q(-4). Solve 0 = -3*m - y - 4, 0*m - 4*m + 3 = t*y for m.
-3
Let x = -6 - -9. Let l(a) = -a**2 + 3*a - 2. Let d be l(2). Solve 8 = -3*t + 2*g, -x*g + d*g = t + 10 for t.
-4
Let m(b) = -b + 2. Let r be m(3). Let o be ((-7)/7)/(r/7). Let w be -2*4*o/(-4). Solve -4*h = -3*n - 8, 11 + w = -5*h - 5*n for h.
-1
Let x be (-12 - -12)*2/(-4). Solve -4*h = -h - 5*z, -3*h + 2*z = x for h.
0
Suppose -5*o = -14*o + 144. Solve 1 = -f, -f - o = -3*k + 3*f for k.
4
Let s(v) = 2*v**3 - 2*v**2 - 4. Let k be s(3). Let y = -23 + k. Solve l = -h, -h + l = -l - y for h.
3
Suppose -3*r + 4 = -5. Suppose r*l + 5*q = 22, -5*l = 5*q - 12 - 18. Solve 11 = -4*x + y - 2*y, -l*y = 12 for x.
-2
Let d = 4 + 1. Suppose -7 = -d*u + 8. Solve m - 5*m = 5*c - 19, -u*c = 5*m - 14 for m.
1
Let d(t) = 4 + 3 - 3 - t**2 - 8*t. Let r be d(-8). Suppose 0 = 2*h - r*b, -2*b = 3*h + b - 9. Solve -5*z + 2*k = -2*k, h*z = k + 3 for z.
4
Let z be 9/6 - 2/(-4). Solve 3*k = 5*t - z*k, -9 = -5*t - 4*k for t.
1
Suppose -w + 8 = w. Suppose w*j - 3*d - 80 = 0, -72 = -4*j + 7*d - 2*d. Solve 3*o = -g + 11, 0*o - 3*o + j = -2*g for g.
-4
Suppose 0 = -16*b + 19*b. Solve -h + b*h + 4*f = 20, 0 = 2*h + 5*f - 25 for h.
0
Suppose d + 0 - 2 = 0. Solve -25 = -2*a + 5*i, -5*a = -i - d*i - 34 for a.
5
Suppose -2*t + t - f + 5 = 0, 3*f - 19 = -4*t. Solve 3*a - 3 = -5*l - 0, -4*l + 28 = -t*a for a.
-4
Let w = -25 + 13. Let j be 21/w - (-2)/(-8). Let b be 2/(1 - j/(-4)). Solve 3*a = -b*i + 12, -3*a + 4*i - 4 = -4*a for a.
4
Let j = -7 + 10. Let t be (8/(-12))/(1/(-6)). Let r = t - j. Solve -2*z - h = 1, -3*z = h + 3*h - r for z.
-1
Let u be ((-2)/4*-4)/1. Let p = u - -3. Let h(q) = q**2 - q. Let x be h(0). Solve -2*a - 2*j + 9 = j, -5*a - 4*j + p = x for a.
-3
Let v be (-26)/2 - (-6 + 5). Let h = v - -14. Solve 0 = i - 0*g + 2*g + 1, 0 = -h*i - 3*g for i.
3
Let f(u) = u**3 + 3*u**2 + 2*u - 1. Let y be f(-3). Let x = -4 - y. Let w = x + -3. Solve -5*h + 25 = w, -3*h + 11 = 5*m - m for m.
-1
Let v be 2*-5*2/(-4). Solve 2*f - v*x - 6 = f, -2*x = 2*f for f.
1
Let b be (-1)/(-2) + 3/(-2). Let x be b*2*(-22)/4. Suppose -p + 2*i - 7 = 0, -4*p + 4*i = p + x. Solve 0 = -4*z + 5*t - p - 3, -z - 1 = t for z.
-1
Suppose -t - 10 = -6*t. Solve -5*p + 10 = 2*v - p, -v - p + t = 0 for v.
-1
Let b = 60 - 37. Solve 2*c + v - 1 = 4*c, b = -4*c - 5*v for c.
-2
Let m = 19 - 15. Solve -2*t = -2*l - 10, -m*l + 2*t - 14 = t for l.
-3
Let c(k) = -2*k + 2. Let y be c(-2). Suppose g + y = 2*g. Solve -3*m - p + 2 = 0, p + 2*p = m + g for m.
0
Let v(s) = 3*s**2 + s**3 - 4 + s**2 + 4*s**2 + 6*s. Let n be v(-7). Let y be 3*n/9*2. Solve -y = p, -4*i = -2*i - 2*p - 10 for i.
3
Let d = 14 - 11. Solve -2*y + d*x - 16 = 0, -2*y = 2*y - 3*x + 20 for y.
-2
Suppose 4*g + 2*q + q = 0, 3*q = 0. Solve h - 25 = 5*l, g = 2*h - 10 for l.
-4
Suppose -37*a = -33*a. Solve 1 - 7 = 2*j - u, 4*j - u + 12 = a for j.
-3
Let f = -5 - -7. Suppose f*l - 49 = -3*y, -5*l = 5 - 30. Solve -3*t + u = y, -3*t - 2*u = -4*u + 14 for t.
-4
Suppose 0 = u - 3*u + 42. Solve -w + 6*r - 2*r = -17, 3*r + u = -2*w for w.
-3
Let v(t) = t**2 + 12*t - 3. Let q(m) = 3*m**2 + 35*m - 9. Let c(z) = 3*q(z) - 8*v(z). Let w be c(-9). Let r = 7 + w. Solve r = j, -3*h + 4*j + j = 5 for h.
5
Let d = 6 + -3. Let m = -25 + 4. Let h be 8/(-6)*m/14. Solve s = -v - 5, h*s + d = -v - 3 for v.
-4
Let p(w) = 2*w**2 - 3*w + 3. Let r be p(2). Suppose r*z + 0 - 10 = 0. Solve -m = -z, -25 = -3*t - 3*m - 10 for t.
3
Let b be (-11)/(-2) - 2/4. Let a be -1 + 2 + (-7 - -6). Suppose a = v + v - 5*s + 6, v - 6 = -2*s. Solve -5*i + b*j - v = 3, 2*i = -2*j + 2 for i.
0
Suppose 3*j = 2*j. Solve j = 3*o + 12, -7*o = 3*a - 2*o + 29 for a.
-3
Let t be ((-1)/2)/(1/(-2)). Suppose 4*q = -4*f, 0*q - 5*q - f - 16 = 0. Let i = t - q. Solve -i*c - 5*h - 20 = 0, 11 = c - 3*c - 3*h for c.
-1
Let f = -54 + 56. Solve f*l - 4*w = -4, 4*l - 2*w + 2 = -0*w for l.
0
Let a = 3 + -1. Let d be ((-45)/6)/(-5)*a. Suppose -2*j = d*j - 15. Solve -j*g = -3*q - 12, -g + 0*g + 5 = 0 for q.
1
Let z be 68/6 - 4*7/(-42). Solve w = -3*p - z, -p = 5*w + 2*p for w.
3
Let k be 1*((0 - -1) + 2). Let j(o) = o - 1. Let f be j(-1). Let v = k + f. Solve 2*g = 2*y + 2, -y + 0*y - v = 4*g for y.
-1
Let w(u) = -u**2 + 10*u + 9. Let j(z) = 9*z**2 + 1. Let i be j(1). Let x be w(i). Let g = -9 + x. Solve -4*s + 2*s - 3*d = g, 0 = -2*s + 3*d + 12 for s.
3
Suppose -3*m - c = -14, -m - 10 = -2*m - 3*c. Suppose 3*z + 3*g - 3 = 0, -2 = 2*z + g - 5. Solve -5*j + 3*f - 5 = -0*f, m*j = 2*f - z for j.
2
Suppose -5 = -h, 0 = -5*b - h + 88 - 233. Let t be 12/(-42) - b/7. Suppose -t*v + 3*v + 3 = 0. Solve 0 = v*c - 0*c + 3, -5*r + 17 = -2*c for r.
3
Suppose 4*y = 3*x - 6, -5*y + 2*x - 4 = -0. Let b(a) = -a**2 - a + 7. Let q be b(y). Solve 0 = 4*z - i + 23, -3*z - 4*i = -2*z - q for z.
-5
Let m be 14/4 - (44/(-8) - -5). Suppose -21 = -4*j - j - 2*x, 4*j - 6 = 2*x. Solve 5*z + 17 = 3*w, z + m*z + j*w + 23 = 0 for z.
-4
Suppose -5*c = -5*n - 6 + 1, -5*n = 3*c - 11. Solve 3*s + 2 = -4*d, 5*s - 5 = -3*d - n for s.
2
Suppose 0 = 2*z + 2 + 4. Let s = z - -7. Solve 0 = -s*j + 3*w - 7*w, -4*j + 5*w = 0 for j.
0
Let d(c) = c. Let j be d(3). Let z be 2*(-3)/((-3)/j). Let s be z/(-4) - (-12)/8. Solve -5*b + 2*t + 13 = s, 3 - 13 = -5*b + 5*t for b.
3
Let y(q) = 9*q**3. Let m be y(-1). Let r = 12 + m. Solve 0 = -2*t + 5*f - 3, 3*t - 2*f - r = -2*t for t.
1
Let d(v) be the third derivative of 0*v - 1/3*v**3 + 7/24*v**4 + 0 - 2*v**2 - 1/60*v**5. Let i be d(6). Solve 6*b - 2*b + 10 = -2*m, -b - 