= 3*x for x.
-4
Suppose 90 = 5*v + 4*i, 4*i - 9 = 11. Solve 5*z - v = 6 for z.
4
Suppose 12 = k - 3. Let i = -3 + 2. Let t be i + -1 - 2/(-1). Solve t*d + 3*d + k = 0 for d.
-5
Suppose -5*b - 50 = -10*b. Solve 3*n - 8*n + b = 0 for n.
2
Let d be (-15)/2 + (-1)/2. Let u = d + 12. Suppose -u*s + 5*a + 37 = 0, -3*s = -a + 6*a + 16. Solve k - s = -1 for k.
2
Suppose z - 22 = -17. Solve -z*m + 3 = -2 for m.
1
Let l = 8 + -3. Solve l*p = p for p.
0
Let s(b) = b**3 - 4*b**2 - 4*b + 4. Let r be s(5). Suppose -r = -2*z + 31. Solve 0 = -7*v + 2*v + z for v.
4
Let q = 10 - 8. Solve -q*p + 10 - 2 = 0 for p.
4
Let b(z) = -z**2 + 5*z - 7. Let g be b(6). Let y be 2/(-3) + 112/6. Let j = g + y. Solve -16 + 1 = -j*u for u.
3
Let t be -3 + 3/6*2. Let a be -4*10*1/t. Solve 0*c = -4*c + a for c.
5
Suppose j = 4*m - 8*m, -5*j + 3*m = 0. Solve 0 = -2*d + 2 - j for d.
1
Let a be 1 - 2 - (-6 - (-3 - 0)). Solve 13 + a = -5*m for m.
-3
Suppose -k - 3*l - 2*l + 30 = 0, 5*l - 15 = 2*k. Suppose -2*a = -5*a + 144. Suppose -9 = -4*v + 2*s + 25, -3*s = 5*v - a. Solve k*z - 24 + v = 0 for z.
3
Let y(a) = 7*a**2 - 2*a + 1. Suppose 4 = -0*q + 2*q. Suppose -6*x + 5*x + q = 0. Let s be y(x). Solve -s + 5 = -5*w for w.
4
Let x be 8 - (3 + 4*-1). Suppose q = 6*z - 3*z + 12, -16 = 4*z - 2*q. Let l = x + z. Solve l*b = b for b.
0
Suppose -5*w + 6 + 14 = 0. Suppose w*b - 25 = -b. Suppose -3*u = -5*u + 3*z + 9, 0 = 4*u - b*z - 23. Solve -5*i + u + 3 = 0 for i.
3
Suppose 5*h + 4 - 79 = 0. Let z = 12 - 12. Solve -s - 4*s + h = z for s.
3
Let c(n) = -2*n**2 + 7*n + 6. Let d(g) = g**2 - 3*g - 3. Let o(y) = 3*c(y) + 7*d(y). Let i be o(3). Solve k - i = -1 for k.
5
Let f(b) = -b**2 + 2. Let n be f(0). Let s = 5 - n. Solve u + 6 = s*u for u.
3
Let d(u) = 5*u**2 + u. Let h be d(-1). Suppose 0 = h*a + 4*m + 4, 2*m + 3*m = 10. Let k = 11 + a. Solve 3*p - p = k for p.
4
Let z(i) = 2*i**2 - i - 1. Let w be z(2). Suppose 4*s - 6*m = -2*m - 16, -4*m + 16 = w*s. Solve -k + 5*k = s for k.
0
Suppose -6*j = -3*j. Let k = 0 + j. Solve -i + 5*i = k for i.
0
Let f = 13 + -12. Let s be (2 - f)*(-27)/(-9). Solve -s*o + 0*o = -9 for o.
3
Suppose 5*t = 2*c - 35, 10 = 5*c + 4*t - t. Suppose -q = -a + 8, 0 = -c*a - 4*q + 68 + 8. Suppose 5*i - 8 = a. Solve -4 = i*x + 16 for x.
-5
Suppose 5*r - 5*g - 250 = 0, 0*g = g + 2. Suppose -33 = -3*o + y, -4*y - r = -6*o + o. Let h = 0 - 0. Solve h*p - o = 4*p for p.
-3
Suppose 2*m - 5 = o, m = 4*o - 4*m + 20. Let i(n) = n**2 + 5*n + 1. Let z be i(o). Let w be (3 + -2)*z - 1. Solve w = 6*b - b + 15 for b.
-3
Let r = 34 + -31. Solve -r = -x - 0*x for x.
3
Let o(v) = v**2 - 6*v + 4. Let y be o(8). Solve y = -5*k + 5 for k.
-3
Let x = 44 - 21. Solve x - 3 = 5*l for l.
4
Let p be (4*1)/(2 + 0). Suppose -2*k - 4*t + 18 = 0, -k + 6*k + p*t = 21. Solve -k*c + 1 = 16 for c.
-5
Suppose 0 = 2*h - h + 15. Suppose -2*b + 63 = -2*n - b, 0 = -5*n - 4*b - 138. Let r = h - n. Solve -5*o + 2*o = r for o.
-5
Let i = -1 - -5. Suppose t = 3*c - 8*c + 161, 4*t - 116 = -4*c. Suppose -2*h - c = -5*l, h = 3*l - 4*h - 35. Solve -l*v - i = 6 for v.
-2
Let c(w) = -w**3 + 3*w**2 + 4*w + 2. Let b be c(4). Suppose -b*a - 3*a = -160. Suppose -5*q - a = -5*n - q, 5*n - q - 23 = 0. Solve -4*d - 16 = n for d.
-5
Let r be 2 + 1 - 0/(-8). Solve -r*v + 1 = -2 for v.
1
Let d be 56/10 - 2/(-5). Suppose -3 = -3*m + 3. Suppose -m*j + 4*k = 16, 5*j - 5*k + 20 = j. Solve j - d = -3*c for c.
2
Suppose -u + 2*u = 0. Suppose 6 = -3*l, -3*l - 16 = -2*c - u*c. Solve -2*o + 9 = -c*o for o.
-3
Suppose 0*u - 5*u - o + 35 = 0, -14 = -2*u + o. Solve 2*r = -u + 1 for r.
-3
Suppose 2*b - 5*q = 12, 5*b + 3*q + 1 + 0 = 0. Solve 4*i = 5*i - b for i.
1
Let o(m) = 3*m**2 + 2*m - 1. Suppose -2*n + 0 = -2. Let r be o(n). Solve -r = -5*c + 1 for c.
1
Let h = -60 + 61. Let l be (1 + 4)*(-3)/(-5). Solve h = -l*v - 2 for v.
-1
Suppose p - 8 + 3 = 0. Suppose 0 = -g + 3*g + 5*t, 4*g - p*t = 0. Suppose -5*q + 6 + 4 = g. Solve -q = o + 1 for o.
-3
Let i(d) = -d + 8. Let g be i(5). Let h(n) = 8*n - 4. Let w be h(g). Solve -w = -k + 6*k for k.
-4
Suppose -3*x = -0*x - 12. Let f(p) = 9*p. Let n be f(-2). Let o be 6/4*(-24)/n. Solve -x = o*w + 4 for w.
-4
Let a be -3*21/(-9) + -2. Solve -h = -6*h + a for h.
1
Suppose 6*h = 4 + 8. Suppose 0 = -h*c + 27 - 3. Solve -2*n - c = -5*n for n.
4
Let m be 3 + -5 - -1*2. Solve 0 = 3*u - m*u + 12 for u.
-4
Suppose 0 = -3*r + 9 - 3. Let n be r + (-3)/((-3)/1). Solve -2 - n = 5*t for t.
-1
Suppose 3*y = 2*x - 19, 2*y = -x - 0*x - 8. Solve 0*l - x = -2*l for l.
1
Let b(k) = 2*k**3 + k**2 - k + 2. Let j(r) = r**2 + 7*r + 5. Let n be j(-5). Let w(q) = -q - 3. Let d be w(n). Let l be b(d). Solve 0 = v - 5*v - l for v.
-5
Let v = -66 + 70. Solve -6 + 18 = -v*b for b.
-3
Suppose 5*q = 2*q + b + 5, 20 = 5*q - 4*b. Solve 4*x + 8 = -q for x.
-2
Let i = 12 + -2. Solve -3*f + f = i for f.
-5
Suppose 0 = -6*k + 1 + 11. Solve -k*p + 4 = -4*p for p.
-2
Suppose -3 - 7 = -5*z. Solve 0 = -z*f - f + 9 for f.
3
Let o = 1 + 5. Let z be 3/5 + o/(-10). Solve z = -n - 4*n - 25 for n.
-5
Suppose 4*h = -0*h + 16. Let j(b) = -b**3 + 11*b**2 + 11*b + 14. Let l(q) = q**3 - 7*q**2 + 2*q - 2. Let p be l(7). Let c be j(p). Solve -2*t + h - c = 0 for t.
1
Let i = 5 - 5. Suppose i*d - d + 5 = 0. Solve 1 = -4*g + d for g.
1
Let i(d) be the first derivative of -d**2/2 + 1. Let h be i(0). Solve -v - 4*v = h for v.
0
Suppose -4*n - 8 = 56. Let j = n - -24. Solve 2*w + 4 = j for w.
2
Let w = 8 - 7. Solve w = 2*x - 9 for x.
5
Let y(t) = t**2 - 8*t - 1. Let b be y(7). Let g = -6 - b. Solve 6 = -2*a + g for a.
-2
Let d = 8 + -3. Suppose -3 = -2*p + d. Solve -h = p - 9 for h.
5
Suppose -4*b + 2*c = 4*c + 8, b = -c - 4. Suppose b + 2 = v. Suppose -3*l + 25 = v*l. Solve -2 - 3 = l*d for d.
-1
Suppose 5*l - 4*y = -y + 18, -5*y = 4*l - 44. Suppose 12 = -l*m + 10*m. Solve 6 = m*k - k for k.
3
Suppose 0 = -2*h + 3*l - 4, 0 = 4*h - 0*l + l - 20. Suppose 4*k = h*z, 2*z - 3*k = -2*z. Let c = 2 + z. Solve 0*o = o + c for o.
-2
Suppose 6*t + 4 = 10. Solve 2*f - f - t = 0 for f.
1
Let d be 1/(((-6)/4)/(-3)). Suppose -d*u + 5*i = -u - 2, -50 = -4*u - i. Solve -2*c - u = 2*c for c.
-3
Let n = 29 - 49. Let p = 22 + n. Solve -p*i - 14 + 4 = 0 for i.
-5
Let g be -1 - 6/3 - -5. Solve -3 = -p - g*p for p.
1
Let u = 21 - 11. Solve 3*h + 2 = -u for h.
-4
Let d(z) = z**2 + 6*z + 1. Let v be d(-3). Let h = 13 + v. Solve 4*q + 11 = -h for q.
-4
Let r = 7 + -12. Let d = r - -5. Suppose -4*i + 3*i = 0. Solve i = -3*w + 3 - d for w.
1
Suppose 0 = 3*q - 5 - 40. Suppose 2*c = -5*f + 58, 3*f - 2*f - q = 3*c. Suppose 3*j = -2*w + f, -3*w - 2*w - 4*j = -30. Solve 0 = 2*s - w*s + 8 for s.
2
Let o = 9 + -4. Let i = -18 - -21. Solve o*h = i*h + 2 for h.
1
Suppose -5*n = 2*s - 29, -1 = s + 2*n - 13. Suppose -2*m - 2 = -4*q, -3*m - 5*q = s - 21. Solve -6 = -3*a - m for a.
1
Suppose 0*s + s + 10 = 4*u, -5*s - 2 = 4*u. Let g(m) = -m**2 - 3*m + 10. Let h be g(2). Solve -u*t - 2*t - 8 = h for t.
-2
Let x = -19 - -62. Suppose -3*a = -x + 1. Suppose 4*m + 21 - 65 = 0. Solve 0 = 5*o + a + m for o.
-5
Let y be (80/(-50))/(4/(-10)). Solve y = f - 5*f for f.
-1
Let s(n) = -4*n + 0*n + 59 - 63. Let m be s(-2). Solve -m = -4*z + 8 for z.
3
Let m = -15 + 15. Let y be 0/(1 + -1 - -1). Solve m = -y*i - i for i.
0
Let l(j) = -j**3 - 2*j + 3. Let p be l(0). Solve 0 = p*a + 2*a - 10 for a.
2
Let u(t) = -7 + 2*t - t + 3. Let p be u(5). Let r be (p - 0 - 0) + 1. Solve 3 = r*g - 5 for g.
4
Let g(d) = -d**3 + 5*d**2 - 2*d + 5. Let o be g(5). Let j = -8 - o. Let w = 1 - j. Solve 2*y = w*y + 4 for y.
-2
Suppose 0*r - 4 = 3*g + 2*r, r + 5 = 0. Solve s = g - 1 for s.
1
Let f(x) = -3*x**2 + 4*x - 3. Let q(v) = -v**2 + v. Let c(s) = -f(s) + 2*q(s). Let g be c(2). Solve -4*u + g*u = -2 for u.
2
Let l = -10 - -14. Let v(k) = k + 3. Let o be v(l). Let q(s) = s - 4. Let g be q(o). Solve 0 = -b + g*b for b.
0
Suppose a = 5*v - 10, 36 = 3*a + 5*v - 14. Suppose 4*l = 38 + a. Solve 6*q - l = 3*q for q.
4
Let y be 6/(-2) + -3 + 5 - -13. Solve -3*m - y = -0*m for m.
-4
Suppose -81 = -4*k - 33. Suppose 2*f = b + 6, -f + 3*b - 22 = -3*f. Solve -f*h = -h - k for h.
3
Suppose 8 + 10 = 3*v. Suppose 3*r + 15 = v*r. Solve r*w + 0 = 5 for w.
1
Suppose -5*x = -3*j - 97, -3*j + 3 = -0. Solve 6*l = 2*l - x for l.
-5
Suppose -2*q +