2*a, 0 = 4*p - 4*a - 12. Solve -p*y + 0*y = -20 for y.
4
Let s(g) = -g - 2. Suppose 3*o + 0*o + 12 = 0. Let a be s(o). Solve -l - 4 = -a*l for l.
4
Let n be (-6)/(-10) + 21/15. Suppose 0 = -m + 2*t + 17 - 7, -n*m + 10 = -2*t. Solve 0 = 4*f - m - 8 for f.
2
Suppose 0 = 3*d + 4*z + 5, d - 2*z - 10 = -5. Solve -d = -x + 3 for x.
4
Let i = 2 + 0. Solve 2*c + 16 = -i*c for c.
-4
Let m be ((-10)/6)/((-25)/30). Solve -m*n - 3*n = 15 for n.
-3
Let y = 6 - 4. Suppose d = -2, k + d = -0*k - y. Suppose 32 = 3*q + 5*n, 0*q - 2*n = -2*q. Solve -3*s + 2*s - q = k for s.
-4
Let h be 4/(-10)*(4 + -14). Solve s + h*s = 0 for s.
0
Let s(w) = -w**2 - 8*w + 7. Let r be s(-8). Solve -5*o - r + 17 = 0 for o.
2
Suppose n - 4*n - 2*m - 12 = 0, 2*n + 4*m + 16 = 0. Let g be n + (-3 + 2)/1. Let t = 4 + g. Solve -3 = -4*r + t for r.
1
Suppose 4*x = 8*x. Solve 3*z = -x*z - 15 for z.
-5
Let w = 13 + -10. Solve 5*a - w + 8 = 0 for a.
-1
Let k be ((-5)/10)/((-2)/12). Suppose -f + 7 = -0*f. Suppose -3*w - c = -17, 2*c = 2*w - 3*c + 17. Solve w*p + k = f for p.
1
Suppose 5*y + 2*x - 11 = 12, 0 = 5*y - x - 11. Solve y*v + 0*v - 3 = 0 for v.
1
Let b be ((-10)/(-8))/((-2)/(-24)). Suppose -s - 9 = -4*u, 0 = 4*u - 0*s + s - b. Let k be ((-1)/3)/((-1)/u). Solve k = -o - 3 for o.
-4
Suppose 0 = -w - 5*m + 11, 2*w + 5 = -3*w - 5*m. Let t = 57 - 53. Let i = w + t. Solve c - 3*c = i for c.
0
Let l = 15 - 13. Suppose -v = l*v. Solve 0 = -v*w + w for w.
0
Let p = 13 + -10. Suppose -4*o + 8 = 2*q - 5*o, -p*o - 20 = -4*q. Solve -5 = 3*g - q*g for g.
-5
Let c(l) = l**3 - 8*l**2 + 7*l. Let f be c(5). Let y be ((-5)/(-10))/((-4)/f). Solve -d - y = 4*d for d.
-1
Suppose 0*j - 15 = -5*j. Suppose 2*s - 18 = -2*n - 2*n, -2*n - 2*s + 6 = 0. Suppose -p - 3*p = -l - 5, 0 = l - p - 1. Solve -l*t + n = j for t.
1
Let c(v) = 9*v**2 - 1 + 1292*v - 1292*v. Suppose 3*i - 2*i - 5*a + 26 = 0, 2*i - 3 = -a. Let p be c(i). Solve 5*s - p - 17 = 0 for s.
5
Let p = 1 + 1. Suppose -3 - p = -d. Solve d*h = -14 - 1 for h.
-3
Let a(k) = 4*k - 2. Let u be a(1). Solve -n - u = 3 for n.
-5
Suppose -3*t + 0 = 4*b - 12, 5*b = -3*t + 15. Let y = -5 - -15. Suppose -6*r + r + y = t. Solve 4 = -2*a - r*a for a.
-1
Let u = 50 + -47. Solve -u*v + 5 = -4 for v.
3
Suppose -3*w + u + u = -8, -6 = -2*w + 2*u. Suppose -v + 2*q = -1, -v = -w*v - 2*q + 9. Solve t + 0*t = v for t.
5
Suppose v - 13 + 6 = 0. Suppose -3*a = 3*b + v - 1, b + 20 = 5*a. Let t be 2/(-7) - 4/(-14). Solve -9 = a*w - t for w.
-3
Let k = 68 + -63. Solve k*h = 2*h - 3 for h.
-1
Let c = 42 + -29. Solve 4*k - 3 = c for k.
4
Let h be ((-5 - -5) + -3)/(6/(-10)). Solve -h*n + 3 - 8 = 0 for n.
-1
Let n = -5 + 8. Let j = -4 - 27. Let b = -16 - j. Solve -n*p = -0*p + b for p.
-5
Let q be (-4)/(-14) - (-9)/((-252)/8). Suppose -r - 32 = -5*c, 6*c - c = -4*r + 22. Solve -2*w + c = -q for w.
3
Let u be (1 + -1)*3/6. Solve u = 2*t - 7*t - 5 for t.
-1
Let q(k) = -k**3 + 9*k**2 - 16*k + 14. Let c be q(7). Solve c = -4*g + 1 - 5 for g.
-1
Suppose r = -x + 3, x + 1 = -0*r - 3*r. Solve -x = -q - 4*q for q.
1
Let o = 8 + -8. Solve -4 + o = -2*y for y.
2
Suppose 0 = 3*u + 5*t - 3, -u - 3*u + 4 = -3*t. Solve -4*l + u = -5*l for l.
-1
Suppose 0*u + 20 = 5*k + 4*u, -20 = -4*k - 4*u. Solve -6*r + 4*r = k for r.
0
Suppose 4*k - 3*k = 1. Solve -3*l = -k - 5 for l.
2
Suppose -15 = -t - 4*t. Let d be (1 + t)*(-40)/(-10). Solve d = -o - 3*o for o.
-4
Let w(u) = -2*u**2 - 17*u + 11. Let x be w(-9). Solve -c - 1 + x = 0 for c.
1
Let h = 83 + -81. Solve 0 = n + h + 3 for n.
-5
Let c be (2 + -1)*-4*-1. Let d = c - -2. Solve -d*q + q + 10 = 0 for q.
2
Suppose -4*n = n. Solve n = -k + 2 for k.
2
Let u(s) = s**3 + 5*s**2 - 2*s - 5. Let a be u(-5). Solve 11 - 1 = -a*p for p.
-2
Let c be 6/(-8) - 19/(-4). Let n be c/(-10) - (-4)/10. Solve n = -4*a - 5 - 7 for a.
-3
Let x = -13 + 16. Solve 3 = x*j - 0 for j.
1
Suppose -31 = -4*i - 2*n + n, 0 = i + 2*n - 6. Let o be i/3*(-6)/(-4). Let k be (1*2)/((-2)/(-6)). Solve 0 = -o*v + 6 + k for v.
3
Let j be (0 + -6)*(6 + 51/(-6)). Solve 2*x - 5*x - j = 0 for x.
-5
Suppose -w - 1 = -7. Suppose -m - 2*y = -0*m - 3, -4*m + 12 = -5*y. Solve w = m*r - 3 for r.
3
Suppose -4*q = -5*q - 2*s - 8, 4*s + 16 = q. Solve -l = -q - 2 for l.
2
Let v be (7 + -12)/(1/(-2)). Solve 6*w = w + v for w.
2
Let k = -5 + 23. Let f = k + -13. Solve 0 = f*r + 11 - 36 for r.
5
Suppose 0 = -42*k + 38*k + 16. Solve k = w - 0*w for w.
4
Let x(w) = -w**3 - w**2 - 2. Let s be x(-2). Solve 3*c = s*c + 2 for c.
2
Let g = 112 - 110. Solve -k + g = -0*k for k.
2
Suppose 13*k = 10*k + 9. Solve 0 = k*b - b - 2 for b.
1
Let a(x) = 2*x - 11. Let g be a(8). Solve 3*z = g*z - 8 for z.
4
Let c be (0 - (0 + 1))/((-2)/6). Solve -r + 2 = c for r.
-1
Suppose -3*y - y + 24 = 2*k, -4*y + 8 = -2*k. Let a be 2*(1 + -2)/1. Let j = a + k. Solve 3*t - j*t = 0 for t.
0
Let y(l) = -l**3 + 3*l**2 + 5*l. Let a be y(4). Let m(g) = 33*g - 3. Let p be m(1). Suppose -j = a*j - p. Solve 2*u = 4 + j for u.
5
Suppose 2*t - 8 = t. Let l(d) = -d + 9. Let u be l(6). Solve u*q - q = -t for q.
-4
Let m be (-3 + 0)*(-3)/(-3). Let c be (-3)/(-3 + m + 5). Suppose c*x = x. Solve x = -5*o - 9 - 11 for o.
-4
Let q be 42/18 + (3/(-9) - 0). Suppose -3*b - 15 = -2*d, -d - 4*b = 6 + 3. Solve -q*n - n = -d for n.
1
Suppose 5*n + 0*y - 41 = 4*y, 5*n - 37 = 3*y. Suppose -7 = -n*f + 8. Solve 4 = -s + f*s for s.
2
Suppose 0 = -3*w - 1 + 43. Let k be 88/w - 4/14. Let z be (3/2 + 9/(-6))/(-1). Solve -2*a = -z - k for a.
3
Suppose g - 2*c - 2 + 3 = 0, 30 = 2*g + 4*c. Solve g*q - 3 = 4*q for q.
1
Suppose -1 = 5*g - 41. Suppose -3 - 3 = -3*l. Suppose 3*n - g = -x - 3*x, 0 = -l*x - 2*n + 4. Solve -2 - x = 2*a for a.
-2
Let q(w) = w**2 - 6*w + 9. Let l be q(6). Solve 0 = 5*g + l + 16 for g.
-5
Let m(t) = t**2 - 4*t + 3. Let n be m(3). Let s(j) = j**3 + j**2 + j + 6. Let l be s(0). Let x = 6 - l. Solve -4*z + n*z = x for z.
0
Suppose 0*l + 4 = 2*l. Let p = 2 + -2. Solve p = i - l*i for i.
0
Let t = -9 + 4. Let y be t - ((-3)/3 - 0). Let x be (-15)/(-10) - 2/y. Solve 20 = -2*i - x*i for i.
-5
Let c = -8 - -13. Let o(x) = x**3 - 6*x**2 + 4*x + 5. Let i be o(c). Suppose v - 5 = -a, -3*a - 2*a + 15 = 0. Solve i = f - v for f.
2
Let j = 55 - 53. Solve 2*s = -j*s for s.
0
Suppose 6 - 14 = -2*y. Solve y*f - f - 9 = 0 for f.
3
Let d be -6 - -12 - (3 + -1). Suppose 4*r + 4 = -c + d*c, -4*r + 28 = 5*c. Let a = 0 - -6. Solve -r*y - a = y for y.
-2
Let o(a) = -a**2 - 4*a + 3. Let w be o(0). Solve 2*f - w + 1 = 0 for f.
1
Let m be 2 + (-5)/(25/10). Solve -2*o - o - 12 = m for o.
-4
Suppose -t - 9 = -2*r, -3*t + r + 2 = 4. Solve 2*n = 3*n - t for n.
1
Suppose 3*b = b + 4. Solve b - 10 = -2*u for u.
4
Let d(y) = -y**3 + 4*y**2 + 7*y + 1. Let x be d(5). Suppose 7*b + 12 = x*b. Solve -b*m - 3 - 3 = 0 for m.
-2
Let g be (-1 + (-4)/(-6))*0. Solve 3*f - 7*f = g for f.
0
Let m = 21 + -14. Solve m*l - 3*l = 16 for l.
4
Let m be 0 + (1 - 0) + 5. Let z be 11/m - 5/(-30). Solve h = -z*h - 12 for h.
-4
Suppose j - 6*j + 35 = 0. Solve -3*c + 8 = -j for c.
5
Suppose 3*k + 4 = 4*k. Suppose -3*z + 3 = 9. Let d be -4 + 3 + z - -9. Solve k*t + d = -2 for t.
-2
Suppose 4*l = h - 40, 143 = 5*h - 2*l + l. Suppose 4*t = -a - 12, a + a - h = 5*t. Solve -4*c = -3*c + a for c.
-4
Let l(k) = k**3 + 5*k**2 - 7*k - 4. Let c be l(-6). Solve c = -4*z - 18 for z.
-5
Let p(n) = -12*n - 4. Suppose 0*y = y + u - 3, -u - 3 = 4*y. Let w be p(y). Solve 2*k - w = -3*k for k.
4
Let k be (-170)/(-51)*6/4. Solve -k*v - 2 = 8 for v.
-2
Suppose -2 = -7*m + 12. Solve r = m*r for r.
0
Suppose -2*f - 2*f + 24 = 0. Suppose -2*u + f = 0, 5*a - 37 = -0*u + u. Solve d + a = -d for d.
-4
Let s = -33 + 41. Solve -23 = -3*j - s for j.
5
Let f = 2 - 0. Suppose -2*z = 5*a - 4*a - 11, -a = -z + 1. Suppose -8 - z = -3*t. Solve -f - t = 3*b for b.
-2
Let v be (5/5)/(2/6). Suppose v*r = 0, -3*r - 3 - 3 = -3*z. Solve 0 = -3*h - z + 14 for h.
4
Let u be (0 + 2/6)/(2/24). Solve 0 = u*j - 2 - 2 for j.
1
Suppose -8*b + 176 = 16. Let m = 7 - 4. Solve -y - b = m*y for y.
-5
Suppose 0 = -3*x + 5*y + 20, 0*y = 4*x + 4*y + 16. Suppose -4*c + 4 + 4 = x. Solve -4*d + c*d = -6 for d.
3
Let c be 2/6*6*1. Let o be (-3 - -18)*(-4)/3. Let z = -5 - o. Solve c*d + z = -d for d.
-5
Suppose 3*g = -0*g + 6. Let y = 2 - -1. Suppose 59 = 5*j - y