 for r.
3
Suppose 0 = -2*z - 2*z. Let q = 4 + z. Solve q + 0 = -y for y.
-4
Let i(x) = -x. Let s be i(-1). Suppose 20 = -5*j - 5*r, -s + 17 = -3*j - 4*r. Solve 3*f + j + 12 = 0 for f.
-4
Let l(b) = -b**3 - 3*b**2 + 3*b - 2. Let p be l(-4). Suppose -p*g - 1 + 9 = 2*r, -17 = -5*g - 2*r. Solve -2*k + g*k + 1 = 0 for k.
-1
Suppose 0 = 2*m + 5*p - 14, 0*p + 2*p = 2*m - 42. Let d = 5 - 1. Suppose d*l + 1 = m. Solve n = l*n for n.
0
Suppose 4*v - 34 = 38. Let j = -10 + v. Let b(m) = m - 7. Let z be b(j). Solve z = 5*x + 6 for x.
-1
Suppose -2*p - 22 = 5*v, -p + 5*v + 16 = 3*p. Let z = 1 - p. Solve -f = -0 + z for f.
-2
Suppose -n = -4*v - 11, -2*n = -n - 5*v - 13. Let k(q) = 2*q - 5 + 2 + 2. Let o be k(n). Solve -o*h + 0 = 10 for h.
-2
Let q(u) = 3*u**3 - 2*u**2. Let v be q(2). Suppose -v = -5*p + p. Solve 0 = j + j - p for j.
2
Let r be ((-4)/(-10))/(1/15). Let p = -10 - -8. Let j(s) = 4*s**2 + s + 1. Let m be j(p). Solve -l - m = -r*l for l.
3
Let q = 13 - 12. Suppose -5*z + 12 = -z. Solve i = q + z for i.
4
Let o = -10 + 15. Let j = o - 4. Solve -j = w - 0 for w.
-1
Suppose 0 = -0*q - 2*q + 2. Let u(j) = 2*j**3 + j**2 - j + 1. Let m be u(q). Solve -m*p - 3 - 3 = 0 for p.
-2
Let s be (-2)/(-4)*1/5*0. Solve s = 2*p + 1 + 5 for p.
-3
Suppose 4*z + 4*j = -0*j - 16, 3*j = -15. Suppose 3*y - 2*y = -g + 11, 3*y + 11 = g. Solve -z = 3*r + g for r.
-4
Let y = 15 + -15. Solve -3*r - 3 + 9 = y for r.
2
Suppose 2*y - 36 = -4*w - 2*y, -5*y - 3 = -w. Let m(u) = -u**2 + 1. Let h(i) = 2*i**2 + 8*i. Let s(o) = h(o) + 3*m(o). Let t be s(w). Solve -1 - 2 = -t*j for j.
1
Suppose -2*t - 6 = 4*x, 0 = 5*x - 2*t - 9 + 3. Suppose 2*d + 3 - 7 = x. Solve -12 = d*r + 2*r for r.
-3
Suppose 6*o = 2*o + 48. Let u = 0 - 0. Solve -o = 3*a - u*a for a.
-4
Let i(s) = s**3 - s**2 + s - 2. Let m(r) = -r + 2. Let j be m(5). Let l be ((-1)/3)/(j/18). Let o be i(l). Solve z = -o*z for z.
0
Suppose -3*r = x + 3 + 3, -r = 2*x - 3. Let n(h) = 2*h + 4. Let c be n(r). Let t be (-2)/2*(c + -8). Solve 6*q - t = q for q.
2
Let d = -5 - -12. Let n = -7 + 6. Let x = d - n. Solve x*m - 3*m = 10 for m.
2
Suppose 110 = -3*u + u. Let p = 77 + u. Suppose 3*f - p = 5. Solve f = -3*x - 6 for x.
-5
Let v(y) = 2*y - y - 7 - 6*y + 4*y. Let b be v(-10). Solve 0*s - 3 = b*s for s.
-1
Let d = -5 + 9. Solve 3*t = -t - d for t.
-1
Let v = 68 - 64. Let f be -3*((-8)/3 - -1). Solve o + v*o = f for o.
1
Let g be 3/(27/(-15))*-3. Suppose g*p = 54 + 21. Let d be ((-6)/(-15))/(1/p). Solve 0*j = 2*j + d for j.
-3
Let x be (-32)/(-4)*(-21)/(-12). Let i = -9 + x. Solve i*d - 4 = d for d.
1
Let g be (5/(-4))/(10/(-40)). Solve 4*f - g = -1 for f.
1
Let b(i) = i**2 - 3*i - 2. Let p be b(-3). Suppose -w = v + 3*v - p, -v + 15 = 3*w. Suppose -4*u + 20 = -w*m, 3*u - 1 = -3*m - 4. Solve -o - 1 = u for o.
-3
Suppose -10*r + 5 = -15. Solve 4*p + r = 2*p for p.
-1
Suppose -3*i - a = -9, 6*i = i - 4*a + 15. Suppose -h = -5*v + 30, 4*h - 5 = i*h. Solve v + 1 = 2*s for s.
4
Suppose 0 = 2*t + 2*t - 12. Solve -t*l = -l + 6 for l.
-3
Suppose 5*n = -4*c - 5 - 1, 2*n - 20 = 4*c. Let s = 0 + 1. Solve -x + s = -n for x.
3
Let z = -6 + 10. Suppose -z*g = -17 - 7. Let i = 6 - 6. Solve -g = -i*w - 2*w for w.
3
Let z be (-27)/45 - (-18)/5. Solve 2*a + 4 = z*a for a.
4
Let w = -42 - -25. Let y(h) = h + 21. Let z be y(w). Suppose 2*j + 2*j = 0. Solve j = -a + z*a - 6 for a.
2
Let f(o) = o**3 - 7*o**2 + 8*o - 6. Let t be f(6). Suppose 2*y = -4*k - 22, 5*y + 11 = 2*k - 32. Let q = y - -12. Solve -c + q = t for c.
-3
Let g be (1 - 0) + (-6)/6. Suppose -w - w + 30 = g. Solve 5*z = -0*z + w for z.
3
Let m = -8 - 24. Let y be (-2)/(-3) - m/6. Solve 0 = -2*p - p - y for p.
-2
Suppose 3 = -f + 25. Let j(l) = l + 7. Let z be j(-7). Suppose -4*d + 5*m + 11 = z, -5*d - 2*m + f = -0*m. Solve -4*a = 24 - d for a.
-5
Let n(p) = -p**2 + 8*p - 9. Let w be n(6). Solve -8 = -w*q + q for q.
4
Suppose 3*k + 4*j = -k + 24, -5*j = 4*k - 27. Solve -2*g + 5*g - k = 0 for g.
1
Suppose -2*p + p + 3 = 0. Solve -y - p*y - 12 = 0 for y.
-3
Let n be 4 - (3/1 - 6). Solve -n - 8 = 3*d for d.
-5
Let a(b) = b**2 - 9*b - 6. Let k(t) = 5*t**2 - 36*t - 25. Let m(g) = 9*a(g) - 2*k(g). Let q be m(-8). Solve 0 = -2*u + q*u - 6 for u.
3
Suppose 3*u + 4*w + 7 = 0, 0*u + 4 = u - 5*w. Let t be 0/(-3 - -2)*u. Solve a + t*a = 0 for a.
0
Let w be 8 + -4 + -3 + 0. Solve -3*l + w + 14 = 0 for l.
5
Let k = 11 + -7. Solve 0*s = -k*s + 20 for s.
5
Let y be 85/25 - (-2)/(-5). Solve 7*q - y*q + 4 = 0 for q.
-1
Suppose -2*r + 7 = -15. Solve 0 = 4*u + r + 1 for u.
-3
Let l(i) = 6 - 4 - 2*i + 5 + 3*i. Let k = 2 - -3. Let z be l(k). Solve -a - 2*a = -z for a.
4
Let s(t) = 3*t + 4. Let f be s(1). Solve -2*y - 25 = -f*y for y.
5
Let p(b) = 2*b. Let y(i) = -1. Let x(d) = -p(d) - 3*y(d). Let v be x(-4). Let g be (0 - (1 + 0))/((-28)/84). Solve v - 2 = g*m for m.
3
Let o(x) = 2*x - 10. Let w be o(8). Solve 0 = 3*n - 3 - w for n.
3
Suppose -4*a = 3*x - 46, 2*x + 3*x = 4*a + 130. Suppose 0 = -r + 4*r - 3*p - 27, -2*p - x = -3*r. Suppose -5*s - 7 = -57. Solve c + r*c = -s for c.
-2
Suppose 0 = 3*q - m - 17, 2*m + 7 = q + m. Solve 3 = 2*r - q*r for r.
-1
Let r(f) be the third derivative of -f**4/12 + 2*f**3/3 + 4*f**2. Let b be r(-4). Solve -2*k + 6*k = -b for k.
-3
Suppose h - 3 = -0. Solve -3*i + 0 = -h for i.
1
Suppose -i + 0*i = 4*o - 10, -2*o = -3*i + 2. Solve 3 = -q - i for q.
-5
Let z = 10 - 10. Solve z = -3*s - s + 8 for s.
2
Let i(m) = m**3 - 5*m**2 - m + 6. Let w be i(5). Let l be (w + -2)/(-1 - 0). Solve -s = l - 2 for s.
1
Let u be 3 - (0 - 12/(-4)). Suppose u*b = -2*b. Solve -o + b = -1 for o.
1
Let r(x) = -3*x**2 + 9*x + 12. Let g(s) = -16*s**2 + 45*s + 61. Let j(q) = -2*g(q) + 11*r(q). Let f be j(8). Let n be (-6)/f - (-7)/3. Solve 7*t = n*t for t.
0
Suppose 4*r - 60 = -48. Solve z = -r*z + 8 for z.
2
Let g = 19 + -16. Solve g*p - 4*p + 2 = 0 for p.
2
Let p(x) = -2*x + 3*x**2 - 5*x**2 + x**2 - 6 - 5*x. Let w be p(-6). Solve w = -3*n - 0*n - 6 for n.
-2
Let l(b) = b**2 + 7*b + 7. Let h be l(-6). Let d(s) = -s**2 - 10*s + 4. Let n be d(-9). Suppose 2*g = 3*z - g - 18, 4*z - 3 = -3*g. Solve -z*x = n - h for x.
-4
Let f = -11 + 29. Suppose -3*k = -3*u + f, -5*u + 17 + 13 = 5*k. Solve u*x - 15 = x for x.
3
Let r = -166 + 169. Solve 2*v + 15 = -r*v for v.
-3
Suppose -4*m - 4 = 4. Let z be (10*-1 + 2)*m. Suppose -2 = -f + 2. Solve -f = -5*g + z for g.
4
Let r(s) = s**2 + 6*s - 3. Let m be r(-7). Solve m*h + 5 = 21 for h.
4
Suppose -3*q + 8 = -3*z - 7, q - 5 = 4*z. Suppose 23 = 5*d - h, d = 2*d - q*h - 19. Suppose -14 = -d*o + 5*f + 7, 4*o - 11 = -5*f. Solve 2*p + 6 = -o for p.
-5
Suppose 2*f = -2 + 6. Solve 3 = w + f*w for w.
1
Suppose 2*l + 5*c = 30, -3*l - 2*c + 27 = c. Solve 2 = -3*u + l for u.
1
Suppose -3*q + 32 = q. Suppose -2*r + q = -0. Solve -r*z = -3*z - 3 for z.
3
Suppose 14 = -2*x + 86. Suppose -2*l + x = l. Suppose k + 3*c = -l, -2*c = 4*k + 3*c + 20. Solve -3*y + 5 + 4 = k for y.
3
Let g(h) = -7*h - 1. Let t be g(-1). Suppose 7*q - 2 = t*q. Suppose -q*m + 0 = -c + 15, -5*c + 75 = -m. Solve -2*p - p + c = 0 for p.
5
Let h(o) = -2*o. Let n be h(-6). Suppose 10 = -4*u + 30. Solve -b + n = -u*b for b.
-3
Let v be (-18)/(-4)*6/9. Suppose -3*j + 4*p + 13 = v*p, 3*j + p - 5 = 0. Solve 0*s = -3*s + j for s.
1
Let q be 6/20*-4*(-180)/27. Solve -q*z = -3*z - 20 for z.
4
Let x(a) = -a**3 + 3*a**2 + 8*a - 3. Let b be x(5). Let z(v) = -v**2 - 12*v + 15. Let h be z(b). Solve h*p + 2*p = 20 for p.
5
Suppose 0*m - 3*p = -2*m - 12, 0 = 3*m + 3*p - 12. Solve -2 = -m*r - 2*r for r.
1
Let p = 37 + -29. Let c be 3/(-6) + 1/2. Let q be (c + (-2)/4)*0. Solve 4*k = p - q for k.
2
Let r(k) = k - 8. Let j be r(8). Let u be 31 - (0 + 2 + j). Suppose 5*m = -2*h + u, 0 = 5*m - h - 21 - 2. Solve -m*z + 2 = 7 for z.
-1
Let k be (-4)/(-14) + (-2)/7. Let l(c) = -c**2 - 3*c + 2. Let q be l(-3). Suppose -q*j + 16 = 2*j. Solve j*v = -k*v - 4 for v.
-1
Let f(y) = -y. Let i be f(-5). Suppose -4*x + 11 - 1 = -l, -6 = -3*l. Suppose x*m - 8 = -m. Solve -i*h + m + 3 = 0 for h.
1
Suppose 0 = 2*d - d + 4*z + 4, 4*d = -2*z - 2. Let x(r) = r**3 - 7*r**2 + 2*r - 6. Let b be x(7). Suppose -4 = 2*k - b. Solve k*c + 2*c = d for c.
0
Let m = -17 - -27. Solve -2*l = -0*l + m for l.
-5
Let t be (-3)/(-1) - (-1 - -2). Let k = 5 - t. Let 