- -12. Let l(d) = 4*d**2 - d + 1. Let i be l(1). Solve -i*b + a = 5 for b.
4
Let v(o) = o**3 + 4*o**2 - o - 2. Let m be v(-3). Solve 0 = 4*b - 9*b - m for b.
-2
Let n = -27 + 29. Solve n*g + 9 = -g for g.
-3
Let j(b) = -b - 1. Let m be j(-5). Solve -2 = -m*z + 2 for z.
1
Suppose -4*o + 2*f = -6*o, 2*f = -4. Let p = o + -2. Let a be (10/2 + p)*1. Solve 0*m = -m + a for m.
5
Let f(a) = a**2 - 9*a + 10. Let o be f(8). Solve o*s + 2 = 6 for s.
2
Suppose 4*a + 2*x + 1 = 13, 0 = a + 5*x + 6. Solve a*m + 19 = 3 for m.
-4
Let m = 0 - -4. Solve -m*k = -11 - 1 for k.
3
Let x = -7 - -9. Let u be 2/((-7)/(-3) + -2). Let g = -3 + u. Solve -c - g = x*c for c.
-1
Let u(i) = i**3 - 13*i**2 - 14*i + 5. Let x be u(14). Solve -8*d + 3*d + x = 0 for d.
1
Let f be (-102)/4*(-4)/3. Let d = f + -17. Solve -3 = 5*c + d for c.
-4
Let p = 1 - 0. Solve 2*v = -3 + p for v.
-1
Suppose 4*w + w = -4*b + 7, w + 7 = -5*b. Solve -2*c + 5 = -w for c.
4
Let q(b) = -b**2 + 6*b + 9. Let c be q(9). Let h be ((-2)/(-6))/((-2)/c). Let m(z) = z**3 - 5*z**2 + 5*z - 2. Let r be m(4). Solve 15 = h*n + r*n for n.
3
Suppose 3*c = 2*c + 4. Let f = 4 - c. Solve f = -t - 2 - 0 for t.
-2
Let i be 29/2 - 1/(-2). Suppose -6*r + r = -5*b - 50, 31 = 4*r - b. Let o be -2 + (-1 - r/(-1)). Solve -p + o*p = -i for p.
-5
Let g(i) = -i. Let k be g(-3). Let c be k/12 - 82/8. Let v be 4/10 - 16/c. Solve -v = t + 3 for t.
-5
Let a be (3/(-6))/((-5)/20). Solve 6*u = a*u + 4 for u.
1
Let a(u) = 15*u - 5. Let x(d) = d. Let o(b) = 2*a(b) - 22*x(b). Let g be o(3). Solve -g = 4*q - 2 for q.
-3
Let z(o) = o**2 - 8*o + 9. Suppose -3 = -y + 4. Let w be z(y). Solve w*r = 10 - 2 for r.
4
Let b(c) = 2*c**3 - c**2 - 3*c + 2. Let j be b(2). Suppose 0 = -4*g - 2*o + j, o = -o. Solve -14 = 3*v - g for v.
-4
Let l(i) = 13*i**3 - 2*i + 2. Let b be l(1). Let p = b - 11. Solve -6 = -4*r + p for r.
2
Suppose -4*n - 8 = 0, -2*y - n - 2 = -3*y. Solve l + y = -5 for l.
-5
Suppose -n + 2*n = -4*r - 20, -5*n + 4*r = 4. Let u = -2 - n. Suppose u*x - 2*p = -2*x + 10, 4*p + 14 = 5*x. Solve 2 + x = -t for t.
-4
Suppose -2*w - 4*c = -22, -2*w + 5*c = 3*w + 5. Solve q - w*q = 4 for q.
-2
Suppose k + 4*k - 40 = 0. Let c = k - 3. Solve 1 - c = 2*t for t.
-2
Let w be (-2 - 25/1) + 2. Let c = w + 41. Solve c = -7*b + 3*b for b.
-4
Let j(l) = -l**3 + 10*l**2 + 13*l - 15. Let t be j(11). Solve -2 + t = y for y.
5
Let b(f) = -f**2 - 4*f - 5. Let k be b(-2). Let t be -5 + 4 + k + 2. Solve -2*i + 6 = -t*i for i.
3
Let n(h) = h**3 + 3*h**2 + 2. Let s be n(-2). Suppose 5*c = -10, 2*y + 0 + s = -3*c. Suppose y = -5*o - 5*a + 75, o + 4*a - 10 = 14. Solve -k + 5*k = -o for k.
-3
Let l be 1 - (-9)/(-6)*-2. Let c be (1 + 3)*2/l. Let w be 24/11 + c/(-11). Solve -w*o - 3 = -5*o for o.
1
Suppose -2*u + h + 2*h = -25, -4*u + 5 = 3*h. Let f(c) = -c + 5. Let v be f(u). Solve -3*k + v + 9 = 0 for k.
3
Let t = 6 - 1. Let u(k) = -k**3 - k**2 + 3. Let w be u(0). Suppose s = 4*s - w. Solve -t*a - s + 6 = 0 for a.
1
Let s be (-2 + 4)/(-1)*-1. Solve s*u = -2*u for u.
0
Let z = -11 - -16. Let m(h) = -h - 1. Let i be m(-6). Let a = -3 + i. Solve -z*k - 8 = a for k.
-2
Let o be ((-1)/2)/((-17)/408). Solve -2*q - o = -6*q for q.
3
Suppose -7 = -5*m + 8. Solve m*k = 8*k + 5 for k.
-1
Let x(y) = 9*y**2 + y - 2. Let a be x(1). Solve -r - 3*r = -a for r.
2
Suppose -3*w + 2*i + 6 = 0, -3*w = -0*w + 3*i - 21. Let b = -1 + 3. Solve -b*y = -y - w for y.
4
Suppose 2*w + 3*o + 6 = o, 6 = -3*w - 2*o. Let z(m) = -m**3 + 5*m**2 + 4. Let n be z(5). Suppose 5*h - n*h - 6 = 0. Solve 2*l - h = -w*l for l.
3
Let m(s) = -s**3 + 12*s**2 - 11*s + 2. Let y be m(11). Solve -2*n - 8 = y*n for n.
-2
Suppose -5*l = -0*l. Suppose l = p - 1 - 2. Solve -w = p*w - 16 for w.
4
Let s(g) be the first derivative of g**3/3 + 3*g**2/2 + 3*g - 2. Let j be s(-3). Solve 0 = -q + 1 + j for q.
4
Let c be 20/(-4)*(-4)/5. Solve h - 3 = -c for h.
-1
Let p be (-3 - -12)/3 + 1. Let o(i) = -6 + 3 + 2 + p*i + i**2 + 3. Let m be o(-4). Solve m*r = 4*r for r.
0
Suppose -6 = 2*z, -3*z + 7*z = 5*t - 32. Suppose 1 = -q + 4. Suppose 3*m - 4*m - q*s + 15 = 0, 0 = -t*m + 3*s. Solve 0*c = -m*c for c.
0
Suppose -3 - 1 = 4*h - l, -4*l + 16 = 5*h. Suppose 5*d + h = -3*y - 1, 4*y = -2*d + 22. Solve 4*w + y = -0*w for w.
-2
Let f(m) = 2 - 4*m + 4*m**3 + 2*m - 4*m**3 - m**3. Let w be f(0). Solve -2*h - w*h + 16 = 0 for h.
4
Suppose 9 = -67*t + 70*t. Solve -t - 1 = -2*v for v.
2
Let c(v) = -v - 7. Let o be c(-12). Suppose o*j = d + 22, 4*d + 24 = 8*j - 4*j. Let f = 22 - j. Solve 5*x = 3 - f for x.
-3
Suppose -r - 3 = -5*d + 19, -5*d + 14 = 3*r. Solve 4 = 4*o - d for o.
2
Let w(c) = c - 5. Let t be w(7). Suppose 2*u + h = 13, -3*u = t*u - 4*h. Let s(v) = v**3 - 4*v**2 + 6*v - 4. Let o be s(u). Solve 0*p - o = 5*p for p.
-4
Let c(h) = -h**3 + 20*h**2 + 22*h - 16. Let b be c(21). Solve 0 = -b*k + 1 + 19 for k.
4
Let t be ((-25)/(-5))/(-5)*-25. Solve 4*c - t = -9 for c.
4
Let l(i) = -7*i - 13. Let m be l(-2). Solve 2*p - m = 3 for p.
2
Suppose -5*q + 55 = 5*g, g - 2*g + 5*q = 19. Let p(w) = 12*w - 9. Let d be p(2). Solve -3*c + g*c + d = 0 for c.
-5
Let k = 2 + 1. Suppose k*a + w - 46 = 0, 2*a - 4*w + 5*w - 32 = 0. Let b = a + -8. Solve 0 = 3*q + b for q.
-2
Let w = 78 - 75. Solve -w*f = -2*f for f.
0
Let x be (-6 + 1)*(-2 + 1). Suppose 0*t = x*z - 4*t - 35, -2*z = 5*t + 19. Let o(g) = -g + 14. Let c be o(7). Solve -z = 4*b - c for b.
1
Let a(g) = g**2 - 9*g + 10. Suppose 3*n - 2*s = 14, -2*n - 22 = -6*n + 2*s. Let d be a(n). Solve -d*y - 3 = y for y.
-1
Let y be (-4)/6 - 285/(-9). Suppose 2*s = -a + y, 0*a - 4*a - 20 = 0. Suppose 4*v - m - 20 = 3*m, -3*v + 4*m = -s. Solve 5*i = -27 + v for i.
-5
Let t = 7 - 7. Solve 2*o + t*o = -10 for o.
-5
Let q be -4 - (-5)/(15/48). Suppose p - 2 = 2. Solve p*m + 0 = q for m.
3
Let i be (27/(-45))/(((-3)/5)/3). Solve -f - i = -0 for f.
-3
Suppose 0 = -2*l + 3*y - 0*y - 9, 0 = l - 2*y + 7. Solve 3*n + 12 = l for n.
-3
Let x(w) = w**2 - 7*w + 9. Let y be x(6). Solve y*p - 2 = 4*p for p.
-2
Let p be (1 - (-8)/2)*3. Let a = -7 + p. Let k be ((-30)/a)/(3/(-12)). Solve -b = -6*b + k for b.
3
Let y = 57 + -51. Solve 3*d - d = y for d.
3
Suppose f = 26 - 5. Let y = -14 + f. Suppose 5 = 2*g - y. Solve -4*z - g - 2 = 0 for z.
-2
Let g = -90 + 94. Solve 0 = g*a + 2 - 6 for a.
1
Let n(u) = u**2 - 10*u + 14. Let w be n(7). Let b = w - -9. Suppose 12 = 2*m + m. Solve m*r = 2*r - b for r.
-1
Let f = -23 - -23. Solve y + 0 - 2 = f for y.
2
Let a(c) = c**3 - 4*c**2 + 4*c - 1. Let k be a(3). Solve 5*t - 8 - k = 0 for t.
2
Let x(u) = -16*u**2 + 56*u - 40. Let m(g) = 3*g**2 - 11*g + 8. Let r(d) = -11*m(d) - 2*x(d). Let b be r(8). Solve 0*h - h + 4 = b for h.
4
Let u(c) = 2 + 0 + 4*c**2 - 3*c + 4*c - c**2. Let a be u(-2). Solve -2 = -2*z - a for z.
-5
Let t be 1 + (4 - 3 - -2). Suppose -p - 2*p = 2*s + t, 5*p - 2*s = 4. Solve p*n = -2*n for n.
0
Suppose 4*j - 5*j + 18 = 0. Suppose -3*v = -0*v - j. Solve -v*c + c = -25 for c.
5
Suppose 5 = 4*v - 3*a - 4, 4*v - 11 = a. Let d(t) = 4*t + 4. Let g be d(3). Suppose y + 3*f = 4*f + 4, 2*y - 4*f = g. Solve y = v*w - 6 - 6 for w.
4
Suppose -5*k + 8 = -2*j, -5*j - 5 = -3*k - 2*k. Suppose -2*g + 3*g - k = 0. Solve 8 = g*i - 2 for i.
5
Suppose -2*a = -4*a + 12. Solve -v = 5 - a for v.
1
Suppose -c + 7*q = 4*q + 15, 4*q - 20 = -c. Suppose c = 4*y - 8 - 0. Suppose y*r + 10 = -3*p - p, 5*p + 14 = -2*r. Solve -4*s + s - r = 0 for s.
-1
Let x = 7 - 4. Solve 0*w = w + x for w.
-3
Let z be (2 + (-24)/15)/(2/10). Let b be (-1 + -14)*4/(-10). Suppose -b*d = -2*d - 12. Solve -d*m - 15 = z*m for m.
-3
Let x(z) = z + 0*z - 1 + 7. Let d be x(-6). Suppose -k + h + d = -4, -k + 2*h + 7 = 0. Solve 3*s - 2 - k = 0 for s.
1
Let p = -8 - -17. Let b be (-10)/20 - (-18)/4. Solve 5*c + b - p = 0 for c.
1
Let u be 7/(3/(3 + 3)). Let i = 17 - u. Solve i*p + p = 4 for p.
1
Suppose -28 + 4 = -8*v. Solve -2*a - 3 = -v*a for a.
3
Let v(a) = a**3 + 0*a**3 + 1 - 8*a**2 + 2*a**2 + 5*a. Let s be v(5). Let c be s + (4 - 2/1). Solve w = -c - 1 for w.
-4
Let x = 7 - 19. Let k = -2 - x. Solve -4*b - k = 6 for b.
-4
Suppose b - 4*m - 12 = 0, 2*b - 3*m + 2*m - 3 = 0. Suppose 5*z - 48 = -t + 3*t, 4*t - 24 = -2*z. Suppose z = 5*j - 10. Solve b = -3*u + j + 2 for u.
2
Suppose 19 = 5*i - 6. Solve 0 = -2*p + i*p for p.