-a + 3 = z for a.
2
Let h(a) = -a**2 + 2*a - 1. Let l be h(1). Suppose -3*s + 27 = -l*s. Solve v = -2*v - s for v.
-3
Suppose 0 = 147*d - 145*d - l - 26, 3*d = -5*l + 39. Solve 5*j - 2 - d = 0 for j.
3
Suppose -2*r + 8 = 0, 1 = -y + 2*r - 7. Let w = y - -3. Suppose -2*k + w = g - 1, 3*k + 3 = 3*g. Solve -3*t = g*t + 25 for t.
-5
Let d be 16/2 - (-11 + 15). Solve -d*n - 118 + 98 = 0 for n.
-5
Let s = -82 + 82. Suppose 0 = z + 3, 3*a - 5*a = -z - 5. Solve -2*f + 11 - a = s for f.
5
Suppose 0*u - 3*u - 3*h = -9, 4*h - 16 = -5*u. Let v be (-4)/(-14) - (-38)/14. Suppose 0 = v*z - 16 + 1. Solve 0 = -z*l + 21 + u for l.
5
Let o(c) = c**2 + 9*c - 36. Let r be o(-12). Suppose r = 2*d - 24 + 20. Solve -5*s - d = -6*s for s.
2
Let l be (-1 - 0)*12/(-6). Suppose l*g - g = 2. Let o(u) = -u + 2. Let y be o(2). Solve g*k + 0*k + 6 = y for k.
-3
Let b be (1 + -2)*(3 + 2). Let a(s) = -s**2 - 3*s + 6. Let j be a(b). Let d be (-1 - j) + 9 + -2. Solve d = -k - k for k.
-5
Suppose 2*q - 16 = -5*z + z, q = -4*z + 16. Solve q = 7*v - v - 24 for v.
4
Suppose 0 = -5*r + 2*r - 6. Let s = 2 - r. Solve -s*u = u - 25 for u.
5
Suppose -1344*s + 117 = -1331*s. Solve 0 = s*j + 10 - 1 for j.
-1
Let f be ((-23)/92)/(1/(-12)). Solve -f*g = g for g.
0
Let k be (-4 - 18/(-6))/(4/(-8)). Solve 12 = -4*d - k*d for d.
-2
Suppose -a + 1 = -2*u, 17 = -u - 3*u + 5*a. Solve 4*l - 2*l + u = 0 for l.
-1
Let u be (-21)/((-84)/(-8))*(-6)/4. Solve -u = -5*s + 7 for s.
2
Let x(s) = 51*s - 271. Let k be x(10). Solve -a + 241 = k for a.
2
Let d = 9 + -8. Let j be d/(-1)*(-6)/2. Solve -9 = -j*k + 6 for k.
5
Suppose 0 = -3*j + 4*y - y - 33, -3*y = -2*j - 21. Let x = -9 - j. Suppose l - 18 = 3*w, -x*l = 5*w + 11 - 51. Solve 2*q = -q - l for q.
-5
Let s(l) = -l**2 + 15*l - 32. Let x be s(12). Solve -x*z = -5*z for z.
0
Let a be (2 - (2 + 1))/((-4)/(-84)). Let i = a - -26. Solve -2*c - 5 = i for c.
-5
Suppose 2*m - 29 = -4*v + 3*v, 53 = 4*m + v. Suppose x = -3*i - 7, 0 = -3*i - i - m. Solve 20 = x*c + 3*c for c.
4
Let l be (10/15)/((-2)/(-30)). Let f be l/(-6)*(9 - 12). Solve 2*u = f*u + 3 for u.
-1
Let x be (0 - 4)/(2 - (-2 + 2)). Let y be (-15)/x*((-60)/(-9))/5. Solve 3*f + y + 5 = 0 for f.
-5
Let b be 2/(-6) + 30/(-45). Let p be (-4)/(-2 - (b + -2)). Let r be -1 - 2/2*p. Solve -r*q + 3 = -2*q for q.
3
Let m(f) = -9*f + 6. Let p(c) = -25*c + 18. Let u(d) = 8*m(d) - 3*p(d). Let o = 3 - 1. Let b be u(o). Solve -8 = -b*j - 2*j for j.
4
Let o be 114/10 + 36/(-90). Solve -o = -16*g + 37 for g.
3
Let o(v) = 2*v**2 - 2*v + 6. Let j be o(4). Solve 8*x = 14*x + j for x.
-5
Let c = -56 - -68. Solve -n - 3*n + c = 0 for n.
3
Let z be 62/10 + 7/(-35). Solve 4*g - z = 2*g for g.
3
Let v(i) = 5*i**2 + 16*i - 6. Let f be v(-4). Solve -1 = -3*x - f for x.
-3
Suppose 0 = -5*v + 20, v + v = 5*q - 2. Let s be 1 - 0 - (-4)/q. Let o be -2*(-30)/24*(1 - -1). Solve s = o*r - 2*r for r.
1
Let o(t) = -t**3 + 12*t**2 + 15*t - 18. Let h be o(13). Let u(z) = -1 + z**3 + 0*z**3 - h*z - z**2 + 9*z. Let w be u(2). Solve 4*g = w*g - 3 for g.
3
Let g(b) be the second derivative of b**4/12 - 5*b**3/6 + b**2 - 3*b. Let k be g(5). Suppose k = 5*i - 4*i. Solve -x + 3 = -i for x.
5
Suppose -20 = -4*v, o + 0*o + 4*v - 17 = 0. Let d be (50/(-15))/(o/(-9)). Let n(j) = j + 12. Let s be n(d). Solve 4*z + 6 = -s for z.
-2
Suppose 3*u + 7 = -t, -3*t = u + 2*u - 3. Solve t*s - 6*s - 2 = 0 for s.
-2
Let w(r) = -r + 9. Let a be w(5). Suppose 0 = 2*s - 8 + a. Solve 2*x = -0*x - s for x.
-1
Let m(q) = 31*q + 153. Let j be m(-4). Solve k + 33 - j = 0 for k.
-4
Suppose 4*r - 4*r + 5*r = 0. Solve 5*m - 48 + 38 = r for m.
2
Let r = -12 - -22. Let s be (4/r)/((2/2)/5). Solve 4*w - 6 = s for w.
2
Suppose 2*a - 2*h - 32 = -14, 5*a + 5*h + 5 = 0. Let m be 1/(4/a) - -2. Solve -4*y + m*y + 1 = 0 for y.
1
Let v = -21 + 29. Let n be (-1)/(-2)*v*2. Suppose 5*m - 2*k = -2, 3*m - n*m = 4*k - 4. Solve m = -0*u + u for u.
0
Let s = 672 + -670. Solve -g + s - 2 = 0 for g.
0
Let h(o) = -137*o + 143. Let c be h(1). Let n(d) = d + 1. Let p be n(1). Suppose -p*s - 2 = -4*a, -a - 2*s = -3*s + 1. Solve c = 4*m - a for m.
2
Suppose -o - 46 = -8. Let g = o - -43. Solve 0 = g*s + 12 - 2 for s.
-2
Let m(c) = -3*c**3 + 25*c**2 - 3*c - 31. Let k be m(8). Solve -k*f = -0*f + 45 for f.
-5
Let r(k) = k**2 - 22*k + 67. Let g be r(19). Solve 0 = -5*w + g*w for w.
0
Suppose 9*t + 20 = 128. Solve -3*o - t = -3 for o.
-3
Let p be (1 + -1 + 3)*1. Let n(t) = 64*t + 514. Let j be n(-8). Solve -7 = -j*a + p for a.
5
Let y(x) = -x**3 + 6*x**2 - 10*x + 10. Let j be y(3). Solve -j - 8 = 5*w for w.
-3
Suppose 0 = 5*w - 2*h - 15, 0 = 8*w - 5*w + 4*h - 9. Solve 12 = 3*i - w for i.
5
Let b be ((-36)/12)/(3/(-7)). Solve 9*c + 4 = b*c for c.
-2
Let k = 147 - 145. Solve -k*t = t for t.
0
Suppose -34 = -7*y + 1. Suppose 0 = -y*x - 2*x + 49. Solve -6 = -4*i + x*i for i.
-2
Suppose 5*g = 4*w - 159, -2*w - 4*g = -2*g - 66. Suppose -15 = 31*y - w*y. Solve 6*u - y*u + 3 = 0 for u.
-1
Let o(q) = -q**2 - 3*q + 18. Let i be o(-5). Suppose 12 = 5*s - i. Solve 0 = -t + s for t.
4
Let a be (-159)/(-12) - (-15)/(-12). Solve -2*k = k + a for k.
-4
Let c be (7/21)/((-3)/153). Let n = c + 40. Let k = -21 + n. Solve -k = -g + 2*g for g.
-2
Suppose -3 = -2*y - 5*t - 8, -2*y - 6 = 4*t. Let u = y + 10. Suppose 7 + u = 3*f. Solve k = 2*k + f for k.
-4
Let f(u) = 3*u - 8. Let s be f(5). Let v = s - 2. Solve v = 5*q - 10 for q.
3
Suppose 2*y + 4*n = 16, y + y + 5*n - 19 = 0. Suppose 0 = -2*g + 5*m + 81, -y*m + 62 = 2*g - 26. Let o = g + -32. Solve -4 = 3*v + o for v.
-5
Suppose 6*b = 5*b. Suppose 3*w - w = b. Suppose 0 = i - w*i - 5. Solve i*m = 2*m + 3 for m.
1
Suppose -2*a = 5*o + 13, o - 3 = a - 0. Let n be (-15 - -15)*o/(-2). Solve n = 8*m - 4*m + 8 for m.
-2
Suppose -4*b + 324 = -0*b. Suppose -2*z = z + b. Let i = -20 - z. Solve 4 - i = 3*y for y.
-1
Suppose 5*u = 0, 0*q + 4 = 4*q + 4*u. Suppose q - 5 = 2*y. Let f(n) = 4*n**2 - n - 1. Let j be f(y). Solve -j + 1 = 4*b for b.
-4
Suppose 0*l + 3 = 3*l. Suppose -5*n - 3 + 7 = y, 16 = 4*y + n. Solve y*j - 3 = l for j.
1
Let a(h) = h + 3. Let c be a(4). Let l(v) be the second derivative of -v**4/12 + 4*v**3/3 - 5*v**2/2 + 14*v. Let m be l(c). Solve 3*s + 1 = m*s for s.
-1
Suppose 0 = -w + 10 - 5. Suppose 4*u - 5 = -2*n + 5*n, w*u = -n + 11. Suppose 4*c = -u*x + 30, -3*c + 16 + 14 = -x. Solve 0 = -5*i + 2*i + c for i.
3
Suppose -10*t + 8*t = 0. Solve -2*o + 0 - 2 = t for o.
-1
Let g(d) be the third derivative of -d**5/60 - d**4/3 + 11*d**3/6 - 5*d**2. Suppose 0 = 6*l - 4*l + 18. Let x be g(l). Solve 2*y + x - 6 = 0 for y.
2
Suppose -2*c = 0, l - 24 = -3*l + 4*c. Suppose -2*o = -4*o + l. Solve -o*k = -6*k for k.
0
Let t(v) = v - 7. Let w = -23 + 32. Let h be t(w). Solve h*s - 1 = -7 for s.
-3
Let j(z) = -z**3 - 6*z**2 + 4*z - 6. Let g be j(-7). Suppose 3*x + g = 8*x. Let q(c) = c**2 - 20*c + 23. Let a be q(19). Solve -a*t = -t - x for t.
1
Suppose 27*p - 52*p + 600 = 0. Solve p = 18*v - 6*v for v.
2
Let j = -660 + 666. Solve -2*f = f - j for f.
2
Suppose -m = 4 - 29. Suppose 9*q - 8*q = -m. Let v = q + 25. Solve 5*l + 0*l + 5 = v for l.
-1
Let p(y) = y**3 - y**2 + y + 12. Let k be p(0). Let t = 5 - 3. Suppose 3*g = -0*g - 2*b - t, g + 10 = -3*b. Solve -g*j = j - k for j.
4
Let z(k) be the first derivative of 1/2*k**2 - 2 - 4*k. Let d be z(4). Solve d*b = b - 1 for b.
1
Let s be (-2)/((-52)/44 - -1). Solve 12*z - s*z = 4 for z.
4
Let y be (-74)/(-26) - 10/(-65). Suppose 1 + 5 = y*g. Solve -3 + 13 = -g*v for v.
-5
Let h be (90/(-4))/(1/(-6)*3). Let u = h + -38. Solve u = -3*l + 19 for l.
4
Let m = 1337 + -1323. Solve m*c - c = -65 for c.
-5
Suppose 22*j - 9 = 19*j. Solve -j = 5*o + 22 for o.
-5
Suppose 86 + 106 = -12*f. Let a be (-7)/(28/f) - 4. Solve a = 5*u - 0*u - 20 for u.
4
Let v(j) = 15*j + 27. Let h be v(-2). Let n(a) = -a**3 - 2*a**2 - a - 6. Let f be n(h). Let g be (0/(-2) - 0)/1. Solve g*w - 3*w = -f for w.
2
Suppose 9 = -5*u + 29, t + 4*u = 19. Suppose -n + 2 = -3*n. Let i = t + n. Solve 0 = -7*x + i*x for x.
0
Let f(x) = -x + 45. Let j be f(37). Solve 0 = 3*m - 5 + j for m.
-1
Let l(i) = -4*i**2 - 25*i + 5. Let o be l(-5). Solve -o = a - 7*a for a.
5
Let l(a) = -12*a + 37. Let z be l(3). Solve -t + 3 = -z for t.
4
Let j be (-16)/(-3) - (10/(-6) - -2). Suppos