 + 4*g for g.
-1
Suppose -4*p + 9 = -27. Let u = p + 2. Suppose 5*y + 1 = u. Solve 4 = -y*t - 4 for t.
-4
Let q be 14*-3*12/9. Let m be 18/(-12)*q/6. Let a = -2 + m. Solve 8*w - a = 4*w for w.
3
Let u = 2 - 2. Suppose -4*l + 5 = -3*l - p, u = 3*l + p + 1. Suppose 10*h = 14*h - 16. Solve -h = i - l for i.
-3
Let n(k) = -k + 4. Let f be n(5). Let b be f + (3 - (1 - 0)). Solve 4*v + 21 = b for v.
-5
Suppose 19 = -0*a + 19*a. Solve 4*k = -9 + a for k.
-2
Let y = -37 + 39. Solve 5 - y = -r for r.
-3
Let x(j) = 4*j**2 - j - 1. Let c be x(1). Suppose -c*g = -3*g + 5. Solve 0 = -d + g*d - 20 for d.
5
Let c be 12/1*(-2)/(-4). Suppose c*s = 5*s. Solve 0 = -s*t - t - 3 for t.
-3
Suppose m + 2 - 6 = 0. Let i be 18/8 + m/(-16). Solve -a + i*a = 3 for a.
3
Let t(k) = -k**3 + 6*k**2 - 5*k + 17. Let y be t(5). Solve -5*j + 3 = -y for j.
4
Let y = -27 + 30. Solve 2*r + 5 = -y*r for r.
-1
Let m be (9 - 0)*1/3. Suppose 4 = -f + m*f. Solve -i = i + f for i.
-1
Suppose -d + 3*h = -11, 2*h = -4*d - 0*h + 16. Suppose 5*r - q - 2*q = -3, 0 = 4*r + 3*q - 3. Let s = r + d. Solve s = x + 4*x for x.
1
Let t be 3 + ((-18)/(-3))/(-2). Suppose -5*i + 20 = -0*i. Solve -2*y + i = -t for y.
2
Let r be (-8 - -9)/(1/36). Suppose -5*c - r = -8*c. Solve -z - 3*z + c = 0 for z.
3
Suppose 5*h = 11 + 9. Solve -3*z + h*z = -5 for z.
-5
Let y be (-2)/(-5) + 12/(-30). Let x(k) be the first derivative of -k**2 + 1. Let l be x(-3). Solve -u - u + l = y for u.
3
Let m be 0/((-2 - -1)/1). Let w = 18 + -13. Solve m*q = q - w for q.
5
Suppose 3*x = -2 + 11. Let p(h) = h**2 - 3*h + 2. Let q be p(x). Suppose 0 = q*o - 0*o - 4. Solve -4*b = 6 + o for b.
-2
Let d = -49 + 52. Solve 3 = -d*i + 6*i for i.
1
Let m(h) = h**3 - 5*h**2 + 3*h + 2. Let w be m(3). Let a(k) = 0 + k**2 + 6 + 3 + 8*k. Let v be a(w). Solve -n = v*n - 15 for n.
5
Let l = 3 - 1. Suppose 2*y = -l*y. Suppose -3*o + 101 = -4*h, y = -0*o + 5*o + 4*h - 115. Solve o - 7 = -4*u for u.
-5
Suppose 4*x = 11*x - 7. Solve -x = -y - 0 for y.
1
Let q = 8 + -4. Let f(w) = w + 3. Let r be f(-3). Suppose -q + r = -b. Solve -2*l + b = -2 for l.
3
Let p(s) = -s**3 - 4*s**2 + 3*s - 7. Let k be p(-5). Let o(d) = k*d - 5*d - 2 + 3*d. Let q be o(9). Solve q*r = 2*r for r.
0
Let s(w) = -w**2 + 6*w - 5. Let h be s(4). Suppose 2*o = 3*m + 10, 2*o + h*m = -m - 4. Suppose -o = -y + 1. Solve y*b + 15 + 0 = 0 for b.
-5
Let b be 1/(-1)*(-1 - 1). Suppose -5*o + 56 = -2*m, -o + m + 1 = -9. Solve b - o = 5*w for w.
-2
Suppose 5*v = 4*n - 45, -15 = -2*n + v - 0*v. Solve -3*r = n + 1 for r.
-2
Suppose -4*z - s + 4*s = -6, -2*z - 5*s - 10 = 0. Let g be (-8)/(-2) - z/(-2). Let u be 1 - (-1 + -2) - 0. Solve 0 = u*m + 24 - g for m.
-5
Suppose -2*h - 4*n + 10 = h, 5*h = n + 32. Let s be (8/(-6))/(1/(-3)). Solve -2*m = -s*m + h for m.
3
Let u = -6 + 10. Let q(a) = 2*a - 32. Let o be q(16). Solve c + u*c - 25 = o for c.
5
Let s be ((-30)/4)/(6/(-12)). Solve -z - 4*z = s for z.
-3
Suppose -3*m - 14 = 5*c, 0 = -2*c + m - 5*m. Let u be c/(-22) - (-8)/(-44). Solve u = -a + 3*a - 2 for a.
1
Let i = 7 + -4. Let r(c) = c**3 - 3*c**2 + 2. Let d be r(i). Solve -u = -0 - d for u.
2
Let h(y) = -4*y - 9. Let d be h(-3). Solve k - 20 = -d*k for k.
5
Suppose -4*p = -d - 3, 5*d - 2*p - 23 = -p. Let j be 9 - (-1)/((-4)/8). Solve 2*i = j*i - d for i.
1
Let n be -1 + -2 - 6/(-2). Let k = n + 2. Suppose 0 = -2*g - 4*a + 36, -4*a = -4*g - 6*a + 42. Solve k*y - g = -0*y for y.
4
Let w = 43 + -26. Solve -3*x - w + 2 = 0 for x.
-5
Let b be (-2)/(-7) - 38/(-14). Let q = 21 + -18. Solve q = b*k - 9 for k.
4
Suppose -2*j + l - 9 = -25, -3*j - 4*l + 13 = 0. Solve 0 = -3*q + 5 + j for q.
4
Let u(k) = -k + 6. Let p be u(6). Let r be 0 - (p - (3 + 0)). Solve -2*h = r*h - 5 for h.
1
Let x(t) = -t**3 + 3*t**2 + 5*t - 3. Let w be x(3). Suppose -4*s - 28 = -5*d, 0 = 4*d + s + s - w. Let m be 4/(-6) - (-5)/3. Solve 3 = d*y - m for y.
1
Suppose -1 = -n + 7. Let z = n + -7. Solve -g = z + 2 for g.
-3
Suppose -x = 3*x + 16, -5*q + 3*x = -37. Suppose 0 = h - q*h. Solve 0*s - 2*s = h for s.
0
Let o be -1 - 0 - (3 - 4). Suppose 15 = -n - o*n. Let m be ((-18)/n)/(2/10). Solve -m*b = -b for b.
0
Let m = 4 + -4. Let f = 22 - 11. Suppose -2*p = -f + 3. Solve m*c = -2*c + p for c.
2
Let w = -13 + 15. Solve w*n - 2 + 0 = 0 for n.
1
Suppose 2*b = -5*x - 27, 0 = -3*b - 3*x - x - 30. Let r(p) = -4*p - 2. Let z be r(b). Let v = z - 10. Solve -a - v = -4*a for a.
4
Suppose -4*c + 3*c = -j + 4, 0 = 5*j + 4*c - 11. Solve -4*i + 19 = j for i.
4
Suppose -6*b + 84 = -3*b. Suppose 158 = 4*x + 54. Suppose g + x = 4*h - 0*g, -3*h + b = -5*g. Solve -h*t + 3*t = -9 for t.
3
Let t(f) = 0*f**3 + f**2 + 29 + f**3 - 28. Let y be t(0). Solve 3*b = y + 2 for b.
1
Let n = 9 + -9. Suppose 5 = -n*k + k. Suppose 2*z = -k*m + 29, -2*m + 11 = 3*z - 5. Solve 2*j = -0*j - z for j.
-1
Let o(d) = 2*d**2 - 4*d - 12. Let v be o(4). Suppose -4 = -2*s, -2*y - 10 = -5*s + 10. Let t = y + 7. Solve 6*x - t = v*x for x.
1
Let o be 0/3*2/(-6). Solve o = -m - 0 + 1 for m.
1
Suppose -k - j + 6 = 2*k, -3*j + 6 = 3*k. Solve k = 5*y + 22 for y.
-4
Let y(k) = -3*k + 7*k - k**2 - 6*k. Let c = -1 - 1. Let n be y(c). Solve 0 = -n*b + 2*b + 4 for b.
-2
Suppose l + 5*q = 4*l + 15, 3*l - 15 = -5*q. Suppose l = -5*k + 75. Solve g = -2*g - k for g.
-5
Let o = 3 + 0. Suppose -x - o*x + 80 = 0. Solve 0 = -l + 5*l + x for l.
-5
Suppose -6*g + 10 = -g. Solve -g*z = -0*z + 2 for z.
-1
Suppose -2*u = -4*h - 70, -h + 2*h + 10 = -u. Let m be ((-8)/10)/(6/h). Suppose 39 = m*y + y. Solve y = 5*t - 12 for t.
5
Let r be (-1 - (-8)/(-10))/((-3)/10). Solve 2*k - r = -2 for k.
2
Let d(h) = -10*h + 45. Let y be d(3). Solve 8*f - 3*f = y for f.
3
Let p be (-32)/(-6) + 2/3. Let y = p - 1. Solve -y = -l - 1 for l.
4
Suppose 0 = -2*b + 4 + 4. Suppose -b*o = 5*w - 18, -2*o + o + 12 = 5*w. Solve o*m = 4*m for m.
0
Let x = 5 + 5. Solve l + x = -l for l.
-5
Suppose 0*j - 5*w = 2*j + 28, 0 = w + 2. Let n(y) = -y - 4. Let z be n(j). Suppose 0 = -z*k + k. Solve k = -3*l - 0 + 3 for l.
1
Let v(u) = -u**3 - u**2 + 3*u - 2. Let i be v(-4). Suppose 2 - i = -j. Suppose 4*s + 3*a = a + j, 8 = 4*s - 4*a. Solve -4 = -n - s for n.
-2
Let t be (-3)/(((-6)/76)/1). Suppose 8 - t = -6*p. Solve 2 - 17 = p*d for d.
-3
Let o = -16 - -18. Solve 3*l = -10 - o for l.
-4
Let v(j) = -j**3 + 6*j**2 - 2*j - 5. Let r be v(5). Solve 4*k + r = -2 for k.
-3
Let x(r) = -r**2 - r. Suppose -2*n + 0*n = 2. Let k be x(n). Solve k*d + 5*d = 0 for d.
0
Let q be (15/(-9))/((-2)/(-6)). Let i = q - -14. Let s be (3/i + 0)*6. Solve -w - s*w + 9 = 0 for w.
3
Suppose 16*r - 14*r - 4 = 0. Solve 0 = u + r*u for u.
0
Suppose 4*r - 14 = c, 0 = -4*r - 0*r - 4*c + 4. Solve r = -0*m + 3*m for m.
1
Suppose 0 = 4*r - 11*r. Solve 4 = 4*l - r for l.
1
Suppose 0*s = -l + s + 4, -5*l + 4*s + 18 = 0. Solve l*o = -5 - 3 for o.
-4
Let o = 8 + -7. Let i(a) = 2 + 2 - 5 + 3*a. Let f be i(o). Solve 0 = -5*j + f*j + 9 for j.
3
Suppose -3*m + 4*i + 15 = 0, -m + 0*m + 5 = 5*i. Suppose -3*y + 1 = -2*y. Solve -m*s + y = -19 for s.
4
Let g(p) = p**2 - p - 4. Let m be g(3). Let q(r) = 4 - r**3 + 0*r**3 + 0*r**3 - 3*r**m + 3*r. Let w be q(-4). Solve -3*v + w*v + 15 = 0 for v.
-3
Suppose 2*b - 4 + 2 = 0. Let a be b + -3*(-1)/3. Suppose 2 = -a*n + 6. Solve -n*r - r = 6 for r.
-2
Let o = 51 + -50. Solve -2*h = o + 3 for h.
-2
Let c = 5 + -8. Let s be -1*c/(-6)*-4. Suppose -2*h + 21 = 3*q, 3*q + q - 28 = h. Solve -s = -b - q for b.
-5
Let t = -34 - -36. Solve -3*p - t*p = 0 for p.
0
Let g = -3 + -2. Let r = g - -12. Solve -4*o + 9 = -r for o.
4
Suppose -4*f + 23 = 7. Let x be (-2*1/2)/1. Let q = -1 - x. Solve q = f*v - 2*v + 8 for v.
-4
Let n(u) = -u + 7. Let r be n(6). Let h(m) = -47*m + 7. Let l(a) = -24*a + 4. Let t(b) = -3*h(b) + 5*l(b). Let f be t(r). Solve -f = -v - 3*v for v.
5
Let d(s) = -s. Let z be d(-2). Suppose a = -z*a + 6. Suppose 2*f + y = -1 - 1, -f - 7 = a*y. Solve -h + 1 = -f for h.
2
Let u(g) = g**2 - 5*g - 6. Let t be u(6). Solve 4*a - 2 - 6 = t for a.
2
Let k = 105 + -102. Let h be (6 - -1) + -1 + 1. Solve -1 = k*l - h for l.
2
Let a(k) = 8*k - 32. Let n be a(4). Solve 0 = -4*i - n*i + 4 for i.
1
Suppose i = -2*i + 6. Let d(o) = -o**2 + 11*o - 20. Let y be d(4). Solve 0*n - y = i*n for n.
-4
Suppose -4*o = -2*n - 28, n = o - 0 - 6. Suppose -