 5*l = d + 20. Solve d = 4*o - 3 - 1 for o.
1
Let f = 1 + 4. Solve 3*x = 7 + f for x.
4
Suppose -4*i + 2 = -14. Suppose 0 = -2*x - 0 - 4. Let c be 1/(-2)*4/x. Solve -z + c = -i for z.
5
Let p = -54 + 57. Solve 4*g - p*g - 2 = 0 for g.
2
Suppose d = -4*n - 2, 4*d = 2*d + 5*n + 9. Let m be ((-29)/(1 - d))/(-1). Let v = m - -58. Solve -4*w + v = 9 for w.
5
Let n(g) = g**3 - 4*g**2 + 4*g - 4. Let w be n(4). Suppose 25 - 5 = -5*b. Let h = -4 - b. Solve -u - 3*u + w = h for u.
3
Let c = 3 - 7. Let f be 5 + c + (2 - 1). Suppose -8 - f = -5*n. Solve 1 = -n*m + 5 for m.
2
Suppose 10 = 8*s - 3*s. Solve 3*q = -s*q - 5 for q.
-1
Let u(a) = a**2 - 6*a + 4. Let r be u(6). Suppose -r*m - m - 30 = 0. Let k = 10 + m. Solve 0 = -k*n - 0*n - 20 for n.
-5
Let n = 8 + -12. Let t = -2 + n. Let a = t - -9. Solve a = 4*m - m for m.
1
Let d(k) = -k**3 - 9*k**2 + 24*k + 22. Let q be d(-11). Solve 3*n - 8 + 2 = q for n.
2
Let b(g) = -g**2 + 2*g**2 + 0*g**2 - 2*g. Let y be b(2). Let x = y - 0. Solve 0 = 3*c - x + 3 for c.
-1
Let l(a) = 18*a - 3. Let k be l(1). Solve 0 = -c + 6*c + k for c.
-3
Suppose 2*v + 1 = 11. Suppose -75 = -4*l + 5*a, l + a + 95 = v*l. Solve 0 = 3*c - 8*c + l for c.
5
Suppose -10*k + 7 = -43. Solve 0 = k*u - 7*u + 8 for u.
4
Let f(c) = -c + 4. Let v be f(4). Let k(j) = -3*j**3 + j**2 - j - 1. Let q be k(-1). Let t = -65 - -68. Solve 7*y - q*y - t = v for y.
1
Suppose 25 = -2*b + 7*b. Solve -b*a - 23 = -3 for a.
-4
Suppose d = -5*v + 16, 8*d - 9 = -2*v + 5*d. Solve -3*r = -6*r + v for r.
1
Let q = -30 - -60. Let n = q - 18. Solve 0*x + n = 3*x for x.
4
Suppose o = 4*t + t - 5, -2*t = -2*o - 10. Let g = 12 + -8. Solve -g + t = 4*c for c.
-1
Let q = 0 + 2. Let r(y) = -y**3 - 3*y**2 + 2 + 4*y + y**q + 5*y**2. Let z be r(4). Solve z*c + c = 15 for c.
5
Suppose 3*i = 2*j + 4, -3*j + 5 = i - 0*j. Let g(m) = -m**3 + 4*m**2 - 3*m. Let x be g(i). Solve 7*a - x*a - 5 = 0 for a.
1
Suppose 4*w + 4 = 0, x - 13 = -x + 5*w. Solve -10*j = -12*j + x for j.
2
Suppose 3*o - 7*o = 2*l + 266, 3*l - 84 = o. Let v = o - -115. Suppose -30 = -4*b + v. Solve b = 4*f - 1 for f.
5
Suppose a = -4*a. Solve a*v = -2*v + 8 for v.
4
Let b = -2 + 5. Let p(n) = b*n + 4 + 0*n - 2*n. Let m be p(0). Solve -z = m*z for z.
0
Suppose -k = 4*g - 10, 0*k = -4*k + 8. Solve 0 = -0*j + j - g for j.
2
Let u = 6 + -3. Let r(y) = -y - 5. Let a be r(-4). Let t be (-1 - a)/((-6)/6). Solve u*g - g - 6 = t for g.
3
Let t(v) = v**3 - 23*v**2 + 43*v - 18. Let w be t(21). Solve 0 = w*x + 2*x for x.
0
Let q(f) = -22*f**3 + 2*f**2 - 1. Let d be q(1). Let w be (28/d)/(1/(-15)). Solve m = 6*m + w for m.
-4
Let d be 0*(15/(-12) - -1). Solve g - 3 = -d for g.
3
Let h(s) = -s**3 - 23*s**2 + s + 26. Let j be h(-23). Solve q = j*q for q.
0
Let d = -3 + 1. Let s be d/(-3 - -5) - -3. Solve -s*n = -n for n.
0
Let u be 3 - (-1 - -3) - -7. Solve 3*t + 25 = u*t for t.
5
Let y be ((-25)/(-1))/5 + 4. Solve -4*o + o = y for o.
-3
Let a = 95 - 134. Let z be a/(-13) - (1 + -1). Solve -z*w = 2*w + 15 for w.
-3
Let b(w) = -w + 8. Let f be b(-8). Suppose -4*g + 9 = -3*c, 5*g + 5*c = 4 + f. Solve g*h + h + 4 = 0 for h.
-1
Suppose -h - d = 3*h - 19, -3*h - 4*d = 2. Solve 2*b - 4 = h*b for b.
-1
Let s be 2*1/(-4)*2. Let t be (6/9)/(s/(-3)). Solve -2*p = t*p for p.
0
Let x(t) = -t**3 - 5*t**2 - t - 5. Let m = -5 + 0. Let d be x(m). Solve -2*g - 1 - 7 = d for g.
-4
Suppose -3*y - 3*p = -4*y - 8, -2*y - 6 = 4*p. Let m be y/(-20) + (-21)/4. Let b(x) = -x**2 - 5*x + 5. Let v be b(m). Solve -v*g - 10 = -5 for g.
-1
Let c(o) = o - 8. Let p(v) = -4. Let u(f) = -3. Let w(g) = 4*p(g) - 5*u(g). Let x(j) = -c(j) + 5*w(j). Let i be x(3). Solve 0*q + q = i for q.
0
Suppose 4*c - 76 = 4. Solve -3*w - w - c = 0 for w.
-5
Suppose -3*p - 24 = -4*j, 2*p = 67*j - 68*j - 5. Suppose 2*h - 24 - 4 = 0. Let i be h/6 + 1/(-3). Solve 11 = j*o + i for o.
3
Let j(r) = 4*r**2 + 2*r. Let y be j(-2). Let f = y - -1. Suppose 17 = 5*d - f. Solve d + 2 = -4*m for m.
-2
Let t = 117 - 111. Solve -n + 25 = -t*n for n.
-5
Suppose 2*u + 3 = 5*v - u, 3*v + 5*u = 29. Suppose v*h - 8 = -h. Solve 0*g = -h*g - 2 for g.
-1
Suppose -12*r + 11*r = -6. Solve 4*x = r*x for x.
0
Let x(q) = q**2 + 9*q + 8. Let o(a) = -a**2 - 9*a - 9. Let z(y) = 6*o(y) + 7*x(y). Let w be z(-9). Solve w*s = 6*s for s.
0
Let r(z) = z - 3. Let k be r(5). Let u(a) = 6 - 8*a - 1 - 3*a**k + 2*a**2. Let p be u(-7). Solve -w - 2*w = -p for w.
4
Let s(x) = x**2 + 5*x - 10. Let d be s(-7). Solve -f = d*f for f.
0
Suppose 0 = 2*h + 2*l - 4, h + 3*h = -2*l + 12. Solve -25 = h*x - 9*x for x.
5
Let y(h) = h**2 - h - 8. Let n be y(-4). Solve 0 = 2*f + n - 4 for f.
-4
Let n(h) = h + 1. Let v be n(1). Suppose 2*o + 3*k - 7*k = 22, -3*k = o + 9. Solve 0 = v*y - o*y + 2 for y.
2
Suppose -2*z - 3*q + 15 = 2*z, -5*q = z + 9. Let x = z - 0. Suppose 8 = r - 17. Solve -x*u - r = -u for u.
-5
Let i be 1 - 0 - (-2 + 1). Suppose -5 = -5*l, 0 = i*n - 2*l + 3*l - 39. Solve -5*x = n + 1 for x.
-4
Let b be 0 + 3 + 0 + 0. Let a(h) = 3*h**2 + 3*h**2 + 0*h**2 - b*h**2. Let r be a(1). Solve 5*v = r*v for v.
0
Let x = -27 + 29. Solve -x*t + 15 = 5 for t.
5
Suppose -4*d + 5 = -59. Solve 2*g - d = 6*g for g.
-4
Let n = -17 - -17. Solve n*d + 4 = 4*d for d.
1
Let v(q) = -2*q + 2. Let b be v(-3). Suppose b + 4 = 4*m. Suppose -12 = m*d - 6*d - 3*k, 0 = -k + 4. Solve d*u + u + 4 = 0 for u.
-4
Let u(q) = 3 + 89*q - 12*q**2 + q**3 - 78*q + 0. Let f be u(11). Solve 4*n + 7 = f for n.
-1
Suppose -m = -0*m - 2. Suppose -m*d + 8 + 8 = 0. Solve 2*y = -0 - d for y.
-4
Suppose 102 = 3*r - 4*j, -3*r - 4*j - 25 = -103. Suppose -2*x + 0*x + r = 0. Solve -5*u = -x + 35 for u.
-4
Let x be 1/5 - 18/(-10). Let y be 4/(-10) + 1066/65. Solve y - 6 = x*i for i.
5
Suppose 5*z - 2 = 13. Let g be 0 + 1 - 8*1. Let f(v) = -v**2 - 7*v. Let a be f(g). Solve -z*j - 6 = -a*j for j.
-2
Let f = 19 + -14. Solve 12 + 3 = -f*h for h.
-3
Let h = -8 - -16. Suppose h = 3*a - 5*z - 0, a - 8 = -z. Solve b + 2 = a for b.
4
Suppose -4*o = 2 + 6. Let z = o - -2. Suppose z = -x + 6*x - 15. Solve 0 = -s + x - 2 for s.
1
Suppose -11 = y - 0*z - 5*z, 5 = -y + 2*z. Let q be (1 + 0/y)*3. Solve -d = q*d for d.
0
Let s be (-12)/10*220/6. Let c be s/(-8) - 1/2. Solve -c*k + 2*k = -3 for k.
1
Let l(r) = -r**3 - 16*r**2 + 2*r + 21. Let c be l(-16). Let x = c - -16. Solve -1 = -2*t + x for t.
3
Let f(m) = 21*m**2 + 4*m + 3. Let w be f(-1). Let d = 9 - 5. Solve 8*t + w = d*t for t.
-5
Suppose 2 = 2*j - 3*j. Let t be (-2 + -24)/(-2) - j. Suppose -5*a + 39 = x, -2*a = x - 0*x - t. Solve 3*d = a + 4 for d.
4
Let z be ((-24)/20)/((-2)/5). Solve z*f + 3 = 9 for f.
2
Let d(j) be the first derivative of j**2/2 - 7*j - 3. Let l be d(9). Solve 0 = -o - 0 - l for o.
-2
Let y(p) = p - 4. Let f be y(4). Suppose -6*c + 4*c + 19 = 5*k, -5*c - 15 = f. Solve -1 = -k*d - 16 for d.
-3
Suppose -60*l = -55*l. Solve l = -3*a + 7 - 1 for a.
2
Suppose -10*b - 16 = -14*b. Solve -3*q - b = -10 for q.
2
Suppose 13 = 2*c - m, 0*c - 5 = -c + m. Solve -c = 2*f + 2*f for f.
-2
Let c(g) = 9*g**3 - g**2 + g. Let d(z) = -z**2 + 2*z + 4. Let u be d(3). Let h be c(u). Suppose 0 = -5*x - 4 + h. Solve l + x = -2 for l.
-3
Let n = -72 + 84. Solve b = -3*b + n for b.
3
Suppose 5*q - 68 = -23. Solve q*t = 4*t for t.
0
Let z = 27 + 12. Suppose -3*u - 3*f = -z, 2*f = -2*u - 3*f + 41. Solve -u = r + r for r.
-4
Let l = 8 + -5. Suppose 4*b - 4*j - 30 - 6 = 0, 0 = -5*j - 25. Let w = b + 4. Solve d + l*d = -w for d.
-2
Let w = 11 - 7. Solve -w*y - 4 = -5*y for y.
4
Let i be 42/6 - (4 + 0). Let j = i + 9. Solve 0 = 5*s - s + j for s.
-3
Suppose -3*r + 5*u + 30 = 2*u, 4*r + u = 40. Suppose -14*m = -r*m - 8. Solve -9 + 3 = m*p for p.
-3
Suppose 3*m - 4*m = -10. Suppose -2*d - 9 = -3*p, -4*p + 3*p + 5*d - m = 0. Solve -5 = 5*t + p for t.
-2
Suppose 2*h - 5 = -d, 3*h + 0*d = -d + 8. Solve h*l + 0 = -3 for l.
-1
Let t(o) = o**3 - 5*o**2 + o + 1. Suppose 0 = 3*r + 2*s - 19, -r + 7 = -0*s + s. Let h be t(r). Solve -4*a = h - 2 for a.
-1
Let c(p) = -p**2 + 7*p - 1. Let z be c(2). Let g(h) = -h**2 - 13*h - 11. Let a be g(-9). Solve -4*n - a = -z*n for n.
5
Let k(t) = t + 8. Let w be k(-6). Solve w*j = 4*j + 8 for j.
-4
Let j be 5/(-7) + (-4)/14. Let z be (6/(-15))/(j/5). Suppose 0 = -4*q - 9*r + 13*r - 12, -2*q = 2*r - 14. Solve 0*u - q*u = z 