s = t*s + 5 for s.
-1
Let t be (-2)/6 + 95/15. Let b = 9 - t. Let w(i) = -i**3 - i**2 + i. Let c be w(0). Solve c = b*z + 2 + 10 for z.
-4
Suppose 8*t - 3 = 29. Solve 0 = t*l - l - 15 for l.
5
Let u(g) = -g**2 - 18*g + 19. Let z be u(-19). Solve 0 = 4*b - z - 8 for b.
2
Suppose -19 = 2*z - 59. Suppose 0 = -2*d + 3*x - 12, 5*x - z = -6*d + 4*d. Solve 12 + d = -3*m for m.
-4
Suppose -2*v = -4*g + 108, 5*v + 5*g = -0*v - 255. Let d = v + 73. Let f be d/(3 - 0) + -1. Solve 5*q + 19 + f = 0 for q.
-5
Let c = -8 - -8. Suppose 3 = -c*s + 3*s. Solve w - s = -0 for w.
1
Let x be (-3)/(-9) - 2/6. Suppose 4*f - 3*f - 3 = x. Solve u = f*u - 10 for u.
5
Suppose -7*i - 27 = -10*i. Solve -7 = -4*z + i for z.
4
Let p(r) = 2*r - 1. Let t be p(4). Suppose 2*f = t*f + 50. Let m = 16 + f. Solve 2*g + g = -m for g.
-2
Let v be 2/5 + (-384)/(-40). Suppose -5*c = -0*c - v. Solve -3*a - c - 7 = 0 for a.
-3
Let f = 86 + -61. Suppose -5 = 5*n - f. Solve g + 0*g = -n for g.
-4
Let m = 57 - 54. Solve 6 = m*z + 21 for z.
-5
Suppose 3*y - 2*y = 4*y. Solve 20 = -y*d - 5*d for d.
-4
Let y(l) = 3*l**2 + 0*l**2 + 4*l**2 + 6*l - l**3 - 3 - 3*l**2. Let h be y(5). Solve h - 7 = -t for t.
5
Let v be 6*3/6 + -3. Solve -3*u + 2*u + 4 = v for u.
4
Suppose -3*o + 22 - 10 = 0. Solve 0 = o*u - 8 - 12 for u.
5
Suppose 231*v = 229*v + 4. Let p be (-4)/3*3/(-1). Solve 5*h - p*h = v for h.
2
Suppose 10 = -5*y + 40. Let z = 5 - y. Let d(v) = -v**2 - v. Let p be d(z). Solve m + 2*m + 6 = p for m.
-2
Let z be ((-3)/(-3) - 3) + 24. Let s = 12 - 0. Let d = z - s. Solve -x - x = d for x.
-5
Let m(y) be the first derivative of -y**3/3 + 3*y**2 + y - 2. Let i be m(6). Solve -4*f + i = 9 for f.
-2
Let x = 7 - 10. Let z = x + 5. Suppose z = -2*u + 2*v, 5 = 3*u - 0*v - v. Solve 4*c + u + 5 = 0 for c.
-2
Suppose 5*w - 15 = -2*t, 2*t + 5*w = t + 15. Solve -z = -t*z - 1 for z.
1
Let d(q) = 8*q + 12. Let f be d(1). Solve 3*z + f = -z for z.
-5
Let x be 6/(-15) - (-96)/15. Suppose -f + 3*u = 5, -2*f + x = -4*u + 6*u. Solve -f = 2*a - 9 for a.
4
Suppose -4 = -3*l + 14. Let q = -35 - -51. Suppose 3*s = 8 - 2. Solve -s*i - q = -l*i for i.
4
Let r(o) = -4*o - 19. Let f be r(-5). Let a(m) = -m**3 + 6*m**2 - 4*m - 5. Let k be a(5). Suppose k = -s - s. Solve 2*y - 3*y + f = s for y.
1
Let w = -4 + 4. Let v be (5 + -5)/(w + 1). Suppose -p = -v*p - 7. Solve -4*c + 6 = -p*c for c.
-2
Suppose -z - 4*z = 3*i + 25, -z + 5*i + 23 = 0. Let q = z - -2. Solve -3*a + 2*a + 1 = q for a.
1
Let p(r) = -r**2 - 11*r + 1. Suppose 0*o - 10 = 5*o. Let l be o*(9/3 + 2). Let w be p(l). Solve 4*m + 5 + w = 0 for m.
-4
Let x = 3 - 1. Let u(v) = 2*v - 2. Let o be u(x). Suppose 2*j = j - 1, -1 = -2*w - 5*j. Solve w*m - 14 = -o for m.
4
Let o = 12 - 10. Let b = o - -1. Let s = 0 + 0. Solve b*q = -s*q + 6 for q.
2
Suppose 0 = w + 3*x + 4, 3*x = -9 - 3. Let g be ((-23)/(-4))/((-2)/w). Let n be g*(2 + -3) + 2. Solve 4*l = -n + 5 for l.
-5
Let u(j) = 5*j**2 + 4*j + 3. Let r be u(-2). Suppose -7*n = -3*n + 32. Let h be (-2)/4 - 28/n. Solve h*s - r = -2*s for s.
3
Let p(h) = 11*h - 62. Let t be p(6). Solve y - t = 2*y for y.
-4
Suppose 6*k = k. Let f be 4/(-12)*(-43 + 1). Suppose h + f = 18. Solve -h*m - 4 = -k for m.
-1
Let m(r) = -2*r + 10. Let g be (-4)/(-12)*-1*-15. Let n be m(g). Solve -k + 2*k + 5 = n for k.
-5
Let b(l) = l**2 - 10. Let u be b(0). Suppose 3*h = -4*j + 31, -h + 7 = 2*j - j. Let y be (-2)/j + (-22)/u. Solve -20 = -y*z + 7*z for z.
-4
Suppose 21 = y + 2*y. Let s(i) be the second derivative of -i**5/20 - i**4/2 + 2*i**2 + i. Let a be s(-6). Solve a*w + y + 5 = 0 for w.
-3
Let j be -2*4/8*-3. Suppose -2*z + 6 = j*v + z, -14 = -4*v - z. Solve -v*o - 5 - 3 = 0 for o.
-2
Suppose -20 = -4*y + 4*m, 5*y - 14*m + 25 = -19*m. Solve -4*o + o + 6 = y for o.
2
Let v = 6 + -3. Let a be -2 - 23 - (-2 - 1). Let t = -17 - a. Solve -t*c + v*c + 6 = 0 for c.
3
Let g be 4/14 + 18/(-14). Let c be -5 - (1 - 0)/g. Let d = 4 + c. Solve 0*a + 3*a - 15 = d for a.
5
Suppose -4*h = 3*p + 13, -2*h + 0 = 2*p + 6. Suppose 0 = -2*s + 8, 9 = -3*a + 2*s + p. Solve a = -3*d - 2*d for d.
0
Suppose 3*j - 4*h - 14 = 0, 4*j + 3*h - 15 = 2*j. Suppose 2*s + 20 = j*s. Solve w = s*w for w.
0
Suppose 2*j = 2*d - 2, -9*j - 5*d + 25 = -4*j. Solve 0 = -j*l - l for l.
0
Suppose 4*d - 35 + 15 = 0. Suppose -n = 5*r - 12, 11 = 4*n + 4*r - d. Solve n*y = y + 1 for y.
1
Let l be 4/(-7) - 0 - (-50)/14. Solve -l*a - 2*a = 20 for a.
-4
Suppose -2*p - 2*t = -10, -p + 5*t - 1 = 4*t. Suppose -9 = -2*c - 0*c - 3*r, 0 = 3*r - 9. Let j = p - c. Solve j*y = 2 - 12 for y.
-5
Let r(q) = -q**2 + 10*q - 7. Let n(m) = 6*m - 3. Let d = 6 - 4. Let s be n(d). Let c be r(s). Solve -c*k = 2*k for k.
0
Let d = 76 - 70. Let u = 2 + 1. Let f = d - u. Solve 3*r + 0*r = -f for r.
-1
Suppose -3*f = 3*j - 15, -j = -2*j + 1. Suppose 4*k + 5*s = 4 + 3, -2*s + 14 = 3*k. Solve -4*z - k = f for z.
-3
Suppose d = -2*s + 4, -2*d + 3*d = 4*s - 8. Solve 5*z - 14 - 1 = d for z.
3
Suppose -3*y - 15 = 0, -3*s - 2*y - 5 = -7. Solve -4*f - 24 = -s for f.
-5
Let w be ((-3)/2 - -2) + 2/(-4). Solve 4*q - q - 9 = w for q.
3
Suppose 5*x = 74 - 54. Solve y = -x*y - 10 for y.
-2
Let k be 0 + 1 + -2 + 4. Suppose 5*r - 27 = w + 3, -40 = -k*r + 5*w. Solve 0*x - r = 5*x for x.
-1
Let y(z) be the second derivative of z**4/3 + z**3/2 + z**2 + 4*z. Let n be y(-1). Solve 2*p - 5 = n*p for p.
-5
Suppose 3*q + 9 = -3. Let a be 6/(-4) + (-10)/q. Solve -2*d + a = 7 for d.
-3
Let p(s) = s**3 + s**2 + s + 1. Let h be p(-1). Let w be (-4 - -1) + (-5)/(-1). Suppose -4 - 2 = -b. Solve -w*r + 0*r - b = h for r.
-3
Let j(y) = -y**3 - 3*y**2 + 4*y + 5. Let g be j(-4). Suppose -4*d + 1 = -g*p - 10, 2*d - 3*p = 5. Solve -d*u = -9*u for u.
0
Let l(a) = 15 - 2*a + 2*a - 2*a + 4. Let z be l(9). Solve -k = -2*k - z for k.
-1
Let c be (-5 + 63/12)*0. Solve c = -0*w - 2*w for w.
0
Let s = -19 + 19. Solve q + 4 - 7 = s for q.
3
Suppose -2*y + 20 = 3*y - 5*a, 3*y - 4*a = 9. Solve 22 = -3*z + y for z.
-5
Let g = 7 - 25. Let z = -9 - g. Let j = -6 + z. Solve j*l + l = 12 for l.
3
Suppose 0 = -o - 4*o - 10, o - 53 = -5*b. Let r = b - -3. Let k be 1/(r/(-5) - -3). Solve 0 = k*g + 15 for g.
-3
Let i(t) = -t + 14. Let c(k) = 1. Let v(y) = c(y) - i(y). Let m be v(13). Solve 5*w - 2*w + 15 = m for w.
-5
Let v(t) = -5*t**2 - 3*t - 3. Let x be v(-2). Let y = 21 + x. Solve 2*i + y = 4*i for i.
2
Suppose 0 = 5*z - o - 45, z = -2*o + 3 - 5. Let u be (-20)/z*(-16)/5. Solve 0 + u = -4*l for l.
-2
Let y be (8/(-16))/((-1)/4). Let t = 8 - y. Suppose t*f = 5*f. Solve -3*w - 3 + 6 = f for w.
1
Let x be 36/30*(-20)/(-6). Suppose -x*b - 3*d + 3 = b, 5*b - 23 = 2*d. Solve 8 = -b*p - 1 for p.
-3
Let o(h) = h**3 + 4*h**2 - 2*h - 6. Suppose k - 20 = 6*k. Let v be o(k). Suppose 3*g = p + 3*p + 24, g + v*p + 2 = 0. Solve -12 = -g*m + 4 for m.
4
Suppose -t + 1 = -3. Suppose 0 = -5*j + c - 6 + 38, 2*j = 4*c + 2. Solve -t*o = -j + 19 for o.
-3
Let r(h) = 5*h**2 - 14*h + 14. Let c(p) = 3*p**2 - 9*p + 9. Let a(x) = -8*c(x) + 5*r(x). Let d be a(-4). Solve -t + d*t = -25 for t.
-5
Suppose 4*q - 28 = 4*i, 2*q - 3 - 21 = 4*i. Suppose v = -2*v + 3. Solve -q*y = v + 5 for y.
-3
Suppose -5*s + 1 = -14. Solve -12 = -0*f + s*f for f.
-4
Suppose -21*x + 15 = -18*x. Solve -3*i + x = -4*i for i.
-5
Let v(q) = -2*q + 23. Let c be v(8). Solve 3*f = c*f for f.
0
Let d = 17 + -2. Suppose 3*b = -2*b + d. Solve -f + 6 = -b*f for f.
-3
Let t = -253 - -155. Let u be t/12 - (-3)/18. Let a = -6 - u. Solve a*s - 3 = s for s.
3
Let b be 2/9 - (-88)/9. Suppose -b = -5*r + 35. Let f = r + -4. Solve 0 = -f*v - 20 for v.
-4
Suppose -2*u = 4*q - 2 - 2, u - 2 = -q. Solve -6*i = -u*i - 16 for i.
4
Suppose b - 2 = 16. Let p = -14 + b. Solve m = -0*m + p for m.
4
Let q(y) = y**2 - 4*y + 1. Suppose -4*b = -0*o + 2*o - 24, -4*b = -16. Let n be q(o). Let s = 37 - 23. Solve -3*k + s = -n for k.
5
Suppose v - 2*v - 5*c - 13 = 0, -16 = -5*v + 2*c. Solve -4*w + v*w = 0 for w.
0
Suppose -5*t + 4 + 6 = 0. Let l be -3 - (-39)/6*t. Suppose x = -4*x + l. Solve 0*j - 2*j = -x for j.
1
Suppose 3 = 2*x - x. Suppose -j = v - x, 0*v + 3 = j + 4*v. Let r be ((-8)/10)/(-2)*15. Solve 5*i = j*i - r for i.
-3
Let g be -5 + (6 - 1) - 2*-1. Solve g*l = -l for l.
0
Let v(j) be the second derivative of -j**3/3 - 4*j**2 - 2*j. Let g be v(