4*l + 27 for l.
1
Let n = -14 + 25. Let s be (n - (3 - 0)) + -2. Solve 2*z = -0*z + s for z.
3
Suppose 66 = 4*q + 46. Solve -3*o = -q*o + 8 for o.
4
Let j be -4*(7/(-2) - 0). Suppose 3*r + 3*n - 60 = 0, -3*r = 2*r - 4*n - 73. Suppose -y + r = j. Solve 0*p = p - y for p.
3
Let m(b) = 10*b - 176. Let u be m(18). Solve 11 + 1 = u*r for r.
3
Suppose 31 = -7*t + 101. Let h(b) = -b**3 + 5*b**2 + 5*b + 10. Let z be h(6). Solve -z*d + t - 2 = 0 for d.
2
Suppose -2*r + 3*k = -26, -3*r + 7*r + k - 38 = 0. Solve -r*v + 16 = -14*v for v.
-4
Suppose -2*y - 2*j = j - 345, -4*y + 691 = 5*j. Suppose -172*k = -y*k. Solve -4*h + k*h = 16 for h.
-4
Let b be (12 - 4) + (-3)/((-3)/(-4)). Solve -2*t - b = -6*t for t.
1
Let v(t) be the second derivative of t**5/20 - t**4/3 - t**3/6 + 2*t**2 + 12*t. Let p be v(4). Solve x + p*x = 5 for x.
5
Let u(h) = -h - 14. Let w be u(-14). Suppose -j + 28 - 25 = w. Let c be 1/(1/48*j). Solve c = -7*p + 3*p for p.
-4
Suppose 2*z = 3*q - 78, -q + 18 = z + z. Let s = -35 + q. Let d = s - -11. Solve 0 = u - d*u + 4 for u.
-4
Let x be (-1)/(((-3)/(-9))/(-1)). Suppose 5*y - 9 = -3*w - 0, -w = -5*y - x. Suppose -4*u = -w*s - 12, 7*u - 2*u - 3*s = 15. Solve 0 = 4*d - d - u for d.
1
Let o = -417 + 418. Solve -11 = 6*d + o for d.
-2
Suppose -o - 12 = 4*m + 1, -2*o - 16 = 3*m. Let d = o - -12. Solve 3*j = d*j - 20 for j.
5
Suppose -2*u = -4*u + 10. Suppose -3*i = 3*y - 21, -4*y - 12 = -4*i - 0*i. Let c = i - -4. Solve 0 = -u*o - 34 + c for o.
-5
Suppose 307*b - 2 = 306*b. Solve -b*i + 10 = -0*i for i.
5
Let r = -6 - -8. Suppose s = -5*d + 11, 4*d + s - 2 = 6. Suppose -r*n + 10 = d*n. Solve -4 = n*b + 6 for b.
-5
Let n(y) = y + 11. Suppose -4*i - i + 28 = -3*f, -5*f = -4*i + 51. Let b be n(f). Solve b = -o + 5*o for o.
0
Let y(i) = -59*i + 20. Let g be y(0). Solve -3*s + 7*s = -g for s.
-5
Let g(r) = -r**2 + r**2 - 10*r + r**3 + 5*r**2 + 13*r + 1. Let h be g(-3). Let j be (-6)/h - 33/(-5). Solve -5*d + 9 = -j for d.
3
Suppose 2*t + 3*w = 14, -w = -1 - 1. Let a = t - 2. Let x be (348/9)/4 - (-2)/6. Solve 0 = 7*k - a*k + x for k.
-2
Let u be (-4)/(-5)*(-60)/(-8). Let o be 69/6 - 9/u. Solve 0 = 8*r - 3*r - o for r.
2
Suppose 97 = 10*l - 3. Solve x = -4*x + l for x.
2
Let c(g) = -g**2 - 27*g - 26. Let a be c(-1). Solve a = i - 12 + 12 for i.
0
Let s be (9 - 14)*(-4)/(-5). Let k be (-6)/s*-2 - -3. Solve -3*i - 12 = -k*i for i.
-4
Suppose 0 = 4*b, b + 3 = q - 2. Suppose 12 = 2*p + 4. Let j be 3 - (3 + p/(-1)). Solve -q*m - j = -m for m.
-1
Let a be 2 + (4 - 0 - -4). Suppose 0 = -6*i - 3*i. Solve a = -i*k - 2*k for k.
-5
Let z(g) = 3*g**2 - 3*g + 1. Let u be z(2). Suppose -18*m = -17*m - 3, -2*m + 10 = 2*x. Solve x*o - u*o = -5 for o.
1
Let t be (-42)/(-9) - 140/84. Solve -42 = -t*y - 30 for y.
4
Suppose 3*z + 4 = -2. Let h = 3 + z. Let j be (-6 + 8)*(0 + h). Solve j + 3 = -c for c.
-5
Suppose 3 = -4*r - 9, h + r = -34. Let g = -31 - h. Solve 0 = 5*y - g*y for y.
0
Let f(y) = 2*y**3 + 53*y**2 - 30*y - 58. Let v be f(-27). Solve 5*d - v + 8 = 0 for d.
3
Suppose -5*s + 3 - 8 = -5*c, -2*c + 3*s = 1. Suppose -c*r + 33 = 3*y, -5*y + 0*y + 26 = -3*r. Solve 4*h - y = -27 for h.
-5
Let d(x) = 54*x + 55. Let k be d(-1). Solve -l + k = -3 for l.
4
Let m be (-4)/(-18) - 70/(-9). Let n = -1108 + 1108. Solve n = -5*x - m - 2 for x.
-2
Let u be 4 + (-2)/(-4 + 2)*(-12)/12. Let y = 11 - 6. Solve u = y*w - 7 for w.
2
Let g(n) = 2*n**3 - n**2 + 1. Let t be g(1). Let o = -9 + 9. Suppose -20 = -2*s + 2*l, o = -4*l - 19 + 3. Solve t*p + 4 = -s for p.
-5
Suppose -8*x + 4*x = 12, -14 = -k + x. Suppose k*b - 10 = 6*b. Solve 2*o - o = -b for o.
-2
Let t(x) = -x**2 - 2*x + 3. Suppose 2*h + n - 9 = -2*n, 5*h - 3*n + 30 = 0. Let v be t(h). Solve 3*s + 2*s = v for s.
0
Let q(x) = -x**2 - 30*x + 218. Let t be q(-36). Let y = 13 + -13. Solve y*u = u + t for u.
-2
Suppose 2*h = v + 12, -20 = -4*h - v + 2*v. Suppose -10 = -5*z + 5*w, 0 = -3*z + 5*w + 5 + 3. Let a be -2 + z + 6/6*3. Solve a*s - 4 = h for s.
4
Suppose 0 = 12*o - 35 + 11. Solve 3*c = -o*c - c for c.
0
Let u be (1 - 1) + -3 + 10. Let q(x) = 3*x - 19. Let i be q(u). Suppose 0 = -2*r - 2*r - 4*f, 5*r + f = 16. Solve 3*w = i*w - r for w.
-4
Suppose -82*b = -2041 - 1649. Solve -b - 6 = 17*s for s.
-3
Suppose 3*m = -110*i + 114*i - 13, 0 = i - 3*m - 10. Solve 0 = -6*w + 5 + i for w.
1
Let p(w) = -w**3 + 5*w**2 - 3*w - 3. Let a be p(3). Let z = -2565 - -2569. Solve 0 = -g - a + z for g.
-2
Let y(w) = 5*w**2 + 4*w + 12. Let b be y(-5). Let d = b + -114. Solve -1 + 13 = d*f for f.
4
Let a(g) = -2*g - 30. Let i be a(-15). Suppose -9*q + 7*q = i. Solve p - 1 - 3 = q for p.
4
Let f(v) = -v**2 + 6*v + 6. Let w = 18 + -10. Let l be f(w). Let r = 13 + l. Solve r*u + 1 = -2 for u.
-1
Suppose 5*k - 25 = -5*g, 5*k + g - 11 = 2*k. Suppose -3*n = 12, 2*n = s - 9 - 4. Let o = s + 1. Solve -5*y = -k*y + o for y.
-3
Let y = -1476 - -1518. Solve 43*t = y*t + 1 for t.
1
Suppose -819 - 549 = -57*b. Solve 15 = -29*o + b*o for o.
-3
Let q = -256 - -260. Solve 0 = -q*j + 11 - 3 for j.
2
Suppose 92 = -0*o - 2*o + 5*x, 5*o = -2*x - 172. Let k = o + 59. Let m = k + -3. Solve -7*t + 2*t = m for t.
-4
Let r(k) = -k**3 + 60*k**2 + 56*k + 307. Let x be r(61). Let i = 16 - 10. Solve i = -x*w + 2 for w.
-2
Let p(a) = -a - 1. Let c be p(0). Let z be (6/(-2))/(c + 0). Let s be -10 + 9 + 0 + -3 + 4. Solve d + 0*d + z = s for d.
-3
Let x(p) = 5*p**2 + p - 1. Let c(t) = t**3 + 10*t**2 + 17*t + 9. Let i be c(-8). Let o be x(i). Solve 4*g - 1 = -o for g.
-1
Let p(z) = z**2 - z - 30. Let j be p(-5). Solve 3*r + 2*r + 25 = j for r.
-5
Let o = 0 - 1. Let h be (-2 - (-28)/10)*60/(-24). Let a be (-2)/(-2) - (o - h). Solve a = 6*d - d - 20 for d.
4
Suppose 25*j + y - 147 = 22*j, 47 = j + y. Solve h = -9*h - j for h.
-5
Let r be 4*(-4 + 9 + 3 + 1). Solve -r*w - 10 = -31*w for w.
-2
Let h = -14 - -16. Let d = h + 3. Suppose 3*y - 3 = 7*y - 3*g, d*y - 10 = g. Solve y*l - l = 0 for l.
0
Suppose -7 = -2*t - 3. Let x(j) = 21*j**3. Let b be x(-1). Let h be (b/14)/((-6)/20). Solve -h*p + t*p = 12 for p.
-4
Let v = 10 - 10. Suppose v = -2*g + 6*g - 28. Let a = g - 4. Solve 0 = -a*s - s + 16 for s.
4
Let d = -356 + 374. Solve 0 = 7*x - 10 - d for x.
4
Let i(p) = -23*p - 1. Let j be i(-2). Let k = 53 - j. Solve 0*t = 4*t + k for t.
-2
Let n(s) = -s**3 + 9*s**2 + 20*s + 24. Let p be n(11). Solve 9 = p*i + 3 for i.
3
Let a = 168 + -166. Suppose 0 = 2*r + 8, -2*r - 35 = -5*o + 3*r. Let m be ((-1)/2)/(o/(-18)). Solve m = -5*n - a for n.
-1
Let y be 9*4*2/8. Let p = 7 + y. Solve p + 9 = 5*l for l.
5
Suppose -354 + 361 = 7*a. Solve -4*v - 1 + a = 0 for v.
0
Let k be (-8)/2*1/(5 - 6). Let l = -22 - -34. Solve -n - l = -k*n for n.
4
Suppose -10 = o - 2*o. Suppose a + a - 18 = -4*f, 3*f = 9. Suppose 8*w = a*w + o. Solve -w*z = -3*z - 4 for z.
-4
Let y = -23 + 20. Let f be (1 - 7)*(-2)/y. Let h be f/1 - (-13 - -9). Solve -4*c - 8 = -h*c for c.
-2
Let q be (-3 + (-4 - -17))/2. Solve q*k + 0*k = k for k.
0
Let b(f) = -f**2 + 5*f. Let a be b(4). Suppose 4 = 2*m, -4*y - 3*m + 76 = -18. Let j = -8 + y. Solve a*r = -2 - j for r.
-4
Let k be (-2)/(-10) + (-11)/55. Let r(g) = g - 8. Let s be r(k). Let j(o) = o**2 + 8*o + 4. Let w be j(s). Solve 0 = w*z - 8*z - 12 for z.
-3
Let p(a) = -a**2 + 18*a - 15. Let g be p(17). Suppose -g*f = -4*z - 48, -5*f = 2*z + 14 - 110. Solve -3*l - 2*l = f for l.
-4
Let n(c) = -c**2 - 7*c + 7. Let l(k) = -5*k**2 - 29*k + 29. Let a be 338/39 + 1/3. Let o(v) = a*n(v) - 2*l(v). Let b be o(4). Solve 2*i - i = b for i.
1
Let u(t) = t**2 + 8*t + 17. Let n be u(-6). Suppose -n*c + 15 = -0*c. Solve -c*f - 8 = f for f.
-2
Suppose 36 = 4*p - 4*s, -3*s + 17 = p - 2*s. Suppose p = -5*c + 108. Let h = -1 - -2. Solve 0 = -5*q + h + c for q.
4
Let s(k) = k**3 - 10*k**2 - k + 6. Let f be s(10). Let h be (-4179)/(-119) - f/(-34). Solve 5*r = h - 10 for r.
5
Suppose 0*k = -5*k. Suppose -b + 4*b = 0. Let x be 6/(13 - 10 - 1). Solve -z + b + x = k for z.
3
Suppose -50 = -9*w - w. Solve -w*q = -4*q for q.
0
Let q(n) be the third derivative of -n**5/60 + 3*n**4/8 + 5*n**3/2 - n**2. Let a be q(9). Solve 0*g - 3*g = a for g.
-5
Suppose 5*x - 6 = 4. Suppose -8 = x*f + 2*f. Let o = f + 3. Solve -1 - o = l for l.
-2
Let u(q) = -2*q + 16. Let v be u(8). Let w be ((-6)/4)/((-6)/8). Solve 