 = d for j.
5
Let a(x) = 4*x**3 - x**2 + 1. Let f be a(1). Suppose f*i + 0*i - 16 = 0. Suppose 2*o = 29 - 3. Solve 2*h = -2*y + 4, 0 = -3*h - i + o for y.
-1
Let r = 1 - -1. Let p be (-2)/(-10) - (-344)/(-20). Let h be p/(-4) + (-4)/16. Solve r*o + 4 = h*g, -5*g + 10*g = 4*o + 2 for g.
2
Let o be (-82)/(-10) - 2/10. Let a be o - 5 - 0/(-1). Solve a = -3*x - 3*b, -5*b - 6 = -5*x + 19 for x.
2
Suppose 6 = g + 1. Solve 2 = -4*f - 5*w - 8, -f = g*w - 5 for f.
-5
Let c = 9 - -10. Solve 2*f = -5*x + c, -3*x + 1 = 4*f - 2 for x.
5
Let t be (84/105)/(((-2)/10)/(-1)). Solve -2*f + m - 6 = 0, m = -t*f - m - 4 for f.
-2
Let w(n) be the third derivative of n**4/24 - n**3/6 + 2*n**2. Let z be w(4). Suppose z*s = 9 - 0. Solve -2*p = u + s, 5*p + 2*u = 3*u + 3 for p.
0
Let m = -49 + 52. Solve r + 2 = 4*w - m*w, 0 = -4*w - 8 for r.
-4
Let c(v) = -v**3 - 2*v**2 + 5*v + 2. Let d be c(-3). Suppose g - 4*g + 3 = 0. Let f be (-2)/8 - g/d. Solve 5*m + n = -8, 5*m - n = -f*n - 2 for m.
-1
Let v = -18 - -22. Solve 5*i + 2*u = -11, 5*i + v*u = -u - 5 for i.
-3
Let w be (-4)/6 - (-2)/3. Suppose 4*s + w*s - 26 = -3*i, -3*i = -5*s + 19. Let p = -171 + 174. Solve -p*l = x, l = i*l - 1 for x.
-3
Suppose 12 = w - 0. Let b = 20 - w. Solve 2*f + 3*t - b = f, 2*t = 6 for f.
-1
Suppose 5*u = -f + 3*f + 19, -3*u = -5*f. Suppose c + 10 = b, 2*b - f*c = 4 + 21. Solve 2*j + 0*j + 29 = -5*y, 5*j = -b*y - 35 for y.
-5
Suppose 4*c - 16 = 2*c. Suppose 0 = 12*t - c*t. Solve 3*d = -3*j - 3, -j = -t*j + 4*d + 1 for j.
-1
Suppose -5*z + 3*z = 0. Let t be (z + (-1)/2)*-42. Let l(b) = 4*b**2 - 2*b + 1. Let k be l(1). Solve -11 + k = -4*n, 5*o + 2*n = -t for o.
-5
Suppose 0*y = 4*l - 3*y + 69, 5 = -y. Let m be (-2)/(-6) + 7/l. Let q be (-1)/((4/(-6))/2). Solve 29 = -5*c - q*g, 5*c + m*g + 11 = 3*g for c.
-4
Suppose -2*n - 4*u + 60 = 0, 4*n + 0*u = 4*u + 84. Let d be ((-6)/4)/((-12)/n). Solve -d*w = 2*q + w, w = 4*q for q.
0
Let o be 94/(-47) - -3*2. Solve -2*c - 22 = -j - o*j, -j + 3*c + 7 = 0 for j.
4
Let i = -2 + 0. Let m = 2 + i. Let f be -2*(m + (-10)/4). Solve -4*u = -5*o - 10, -31 = -o - 2*o - f*u for o.
2
Let t(m) = -m - 1. Let l be t(-9). Let u = -4 - -4. Suppose -4*s + u*s + 8 = 0. Solve -4 = -5*z - 4*d - l, -s*z - 2*d = 2 for z.
0
Suppose -18*k = -20*k. Suppose 0 = -2*i - k*i. Solve -o = -l + 6, -l + 14 + i = -5*o for o.
-2
Let l = 10 + 3. Let r = -6 - -8. Suppose -6 = r*d - 4*d. Solve 6*t + l = -2*o + d*t, 4*o - t - 9 = 0 for o.
1
Let q = 4 - -3. Let l be 4 - (-4 + 1 + 6). Solve 2*g = p - 0*g + q, -3*p - 4*g - l = 0 for p.
-3
Let j = 0 + 0. Suppose -y + 14 = 4*w, 3*y - 30 = -4*w + 28. Solve 0 = -4*u + a - j*a - y, -u - 7 = -a for u.
-5
Let j be 3 + (4 - (5 + -3)). Solve -4*s - 4*v = -v - 16, v = j*s - 20 for s.
4
Let z be ((-4)/(-2))/(2/4). Suppose 3*n = -4*x + 34 - 9, 20 = 5*x. Solve -n*b - q = -14, -z*q + 5 = -9*b + 4*b for b.
3
Suppose -c + 5*c - 8 = 0. Let o = c - -1. Solve 3*y + 11 = b, 0*y + 37 = -o*b - 5*y for b.
-4
Let w(v) = 4*v - 2. Let k be w(-2). Let j = k - -13. Solve -h = -2*z + 7, -4*h - 13 = -4*z + j for z.
3
Let c(m) = -m - 5. Let o be c(-5). Suppose -10*g + 56 + 104 = 0. Solve -2*k + 6*k + 3*v + 23 = o, 3*k + g = -v for k.
-5
Let k be (-2 - -1)*-1*5. Suppose d - 4 = p - d, -2*p - k = -3*d. Solve -3*o - 4*q - 28 = 0, -p*o - 3*q - q = 24 for o.
-4
Let k = -34 + 40. Solve 2*g + k = n - 6, -2*n = 3*g + 4 for n.
4
Suppose 2*m + 4 = -2*m + i, 2*m + 3*i = 12. Solve a = -5*w + 4*a + 27, 2*w - 2*a - 14 = m for w.
3
Let o = -9 - -30. Let b = 45 - o. Let w be b/(-9)*(-3)/2. Solve 6 - 17 = -3*h - 4*l, 0 = -w*h - l + 6 for h.
1
Let u(p) = -p**2 + 7*p - 4. Let f be u(7). Let k be 76/8 - (-6)/f. Solve 2*q + 3*m = k, 5*m - 8 = -4*q + 4 for q.
-2
Let b = 0 - 0. Let h = b + -9. Let j = h - -19. Solve i = -t + 2*i - j, 0 = -t - i for t.
-5
Suppose -4*n = 4, 0*n = 4*b - 4*n - 4. Suppose 2*i + 2*i = 20. Suppose 0 = -3*q + i + 4. Solve o + 24 = q*t + 2*t, 5*t - 2*o - 28 = b for t.
4
Let p(z) = -z**3 - 4*z**2 - 6*z - 5. Let w be p(-3). Solve 4*m = 4*v + w, -2*v + 4 = -m + 7 for m.
-1
Let l be 0/(3*2/(-3)). Suppose 2*h - 6*h = l. Solve h = -5*v + 2*a + 20 + 7, -3*a = -4*v + 23 for v.
5
Let v = -5 - -10. Solve 4*k = p + 15, 5*p + 12 = v*k - 18 for p.
-3
Let x = 10 + -7. Solve x*a - w + 5 = 0, -5*w = -1 - 9 for a.
-1
Suppose -3*b + 19 = 7. Solve 5*k - 6 = 2*v + 3, -b*k - 3*v + 21 = 0 for k.
3
Suppose 0 = -4*j - 6 + 26. Let u(y) = -y**3 - 6*y**2 + 5*y - 3. Let o be u(-7). Solve -4*m + n + 2 = -j, 4*n - o = 3*m for m.
3
Let x(t) = -2*t + 1. Let b be x(-1). Suppose 5 = c + b. Suppose -c*o - 6 = 0, -2*o - 29 = -5*f + o. Solve 0*s - 2*s - 12 = f*z, 4*s + 21 = -5*z for s.
-4
Suppose 19*j - 5*o = 14*j + 15, 8 = -4*o. Let k(n) = n**2 - 3*n - 1. Let p be k(-2). Solve 3*q - 8 = d, 5*q + j + p = -3*d for d.
-5
Let l(i) = -i - 2. Let a = -5 - -7. Suppose a*h - 4 = 4*t, 3*h - 2*t + 22 = -h. Let w be l(h). Solve -3*c - 8 = -4*q + w, -q + 2*c + 1 = 0 for q.
5
Let v(g) = g + 1. Let l be v(1). Suppose 3*s = l*s. Let m = 10 - 5. Solve 3*c - 4*c - 9 = -m*x, s = 4*c - 5*x + 21 for c.
-4
Let q be (2/4)/(3/24). Suppose -2*n + 3*n = q. Let b = 1 - -1. Solve -15 = -3*j, n*s - 2 = b*j - 12 for s.
0
Let k = 2 + -2. Suppose 0 = -2*n + 1 + 11. Suppose 4*i - n = 14. Solve 5*o + 10 = -5*s - k, s - i*o = -20 for s.
-5
Let g(u) = -u**3 + 5*u**2 + 5*u + 8. Let j(x) = 7*x**2 + x. Let i be j(-1). Let o be g(i). Solve 0 = o*v - 2*r, 1 + 5 = -5*v - r for v.
-1
Let g be (0 - 3) + 11 + -3. Let b be 0 + 1 + -3 - -4. Let w = g - b. Solve 3*l - w = l + r, -8 = 3*l - 4*r for l.
4
Suppose 3*o - 40 = -3*f - 7, -o = -3*f + 17. Let a = f - 10. Let x be 1/(-3) + (-7)/a. Solve 4*q + 10 = x*q, 2*p - 21 = 3*q for p.
3
Let o be 276/(-9)*6/(-4). Suppose -3*n + o - 1 = 0. Let a = n + -11. Solve -9 - 2 = 3*h - 4*t, 2*h - a*t = -6 for h.
-5
Suppose -2*t = -5 - 3. Suppose -t*m - 3*w + 11 = -0*w, w + 7 = 4*m. Solve 0 = -2*d - 2*q - m, -2*d + 3*q - 2*q = 14 for d.
-5
Let s be ((-18)/81)/((-2)/18). Solve -2*j + 10 = 0, -s*j - j = 2*k - 25 for k.
5
Let j(h) = -h**3 - 5*h**2 + 5*h - 6. Let u be j(-6). Solve 8*m - 3*m - 3*g - 4 = 0, u = -m + 3*g - 4 for m.
2
Let x(i) = 3*i**3 + i**2 + i. Let j be x(-1). Let l(t) = -t**3 - 4*t**2 - 5*t - 4. Let m be l(j). Solve 2 = -4*a - m*p - 0*p, 5*p + 12 = -3*a for a.
1
Let s(n) = -n**2 - 9*n + 13. Let b be s(-10). Let i be (-2 - -3)/((-3)/(-6)). Solve 3*r = -i*m + 4, -4*r = b*m + r - 6 for m.
2
Let p(r) = 4*r**2 - 3*r**3 - r - 4*r**2 + 4*r**3. Let q be p(0). Suppose -3*v = 3*t + 3, 3*t + q*v - v = 9. Solve -5*k = 2*m + 9, 2*k - 6*k - 8 = t*m for m.
-2
Suppose 4*x + 3 = 3*p + 6*x, 3*p + 5*x = -6. Let a = 2 + p. Solve 5*g + 29 = -2*v, a*g + 10 = 5*v + g for v.
-2
Suppose 9 = -4*u + 9. Solve -12 = 3*p, -2*p = -2*o - u*o + 12 for o.
2
Let f be (2/6)/(1/111). Suppose -3 = -3*p - 0*p - 3*i, 2*p - f = 5*i. Solve -p*k - 14 = -3*k - 2*g, 4*k + 2*g = 0 for k.
-2
Suppose -2*t + 3*t - 3 = 0. Let p = 1 + -2. Let l = t + p. Solve 5*j - l = 3*d, d - 2*d = j + 6 for j.
-2
Suppose 7*f = 6*f + 2. Let r(c) = -c**3 + 11*c**2 - 9*c - 6. Let z be r(10). Solve -z*q = -y + 25, -f*q + 15 = 3*y + 2*y for q.
-5
Let k = 11 - 4. Let n be 53/5 - 2/(-5). Let c = n + -8. Solve k = 2*m - 3*z, -3 = -4*m - 2*z + c for m.
2
Let n be 3 + 3/(9/6). Solve -5*d - 24 + 1 = -p, n*p - 10 = 4*d for d.
-5
Suppose 1 + 3 = -m, -4*m = -5*y + 41. Suppose 2*r - 5*p = -21, y*p - 23 = 2. Solve 0 = -2*s + 4*c - r, 0*c + 4*c = s - 3 for s.
-5
Let l = 1 + 14. Suppose 0*r + l = 5*r. Suppose -5*d + 8 = -r*d, -2*d + 23 = 5*t. Solve -3*y + 0 + 3 = -2*z, 4*y - 3*z - t = 0 for y.
3
Let c be ((-24)/10)/((-1)/5). Suppose 3*f - c = 3. Suppose 0 = 4*z - 3*u + 6, -2*z = 2*z + f*u - 10. Solve s - 6*s = m - 22, z = 4*s - 4*m - 8 for s.
4
Suppose -4*p + 2*p = -6. Suppose 3*u + 5*l = 17, l = -p + 4. Solve -u*q = 5*h + 8, 14 = q - 3*q - 5*h for q.
3
Suppose -6 = 3*h - 6*h. Let m = 2 - 0. Solve 0 = 4*z + m*f - 16, -6*f + 3*f + 16 = h*z for z.
2
Suppose -9 = -4*d - 1. Suppose -4*v - 25 = -3*r, 7 = -3*r - d*v - 2*v. Solve -r*o - 4 = -q - q, 5*o = 5*q for q.
-4
Let o be 1 - 12/((-16)/4). Solve -5*n - o*r + 8 = -2*r, 4*n = -4*r + 4 for n.
2
Let d(q) = q**3 - 15*q**2 + 14*q + 8. Let g be d(14). Solve 2*i - 4*y - g = 0, 2*y + 6 = 4*i + 2 for i.
0
Let m(o) = o - 6. Let t be m(10). Suppos