 -6*s + 3. Solve s = 5*q - 4*q for q.
0
Let n = -1941 - -1945. Solve 0*w = n*w - 20 for w.
5
Let m be ((-75)/2)/(-5)*2. Let w = 1 + m. Let j = w - 1. Solve -x - j = -4*x for x.
5
Let t = 154 + -150. Suppose -2*j = -t*j + 6. Solve j = -4*l - 1 for l.
-1
Let q = 293 + -293. Solve 0 = -q*y - y + 4 for y.
4
Suppose -12*o + 8*o + 20 = 0. Suppose 17 = 5*z - 3*h, 0*z + o*h - 17 = -3*z. Solve -4*t + 24 = z for t.
5
Let a(j) = -2*j + 35. Let q be a(15). Suppose -2*r = -4*s - 16, -q*r = -5*s + 2*s - 12. Suppose w + 3*k - 7*k + 2 = r, -4*w + 3*k = -5. Solve n = -w*n for n.
0
Let d be (6 - 1) + (-3 - -2). Solve d*l = -27 + 7 for l.
-5
Let u be 0/7 + (1 - 0)*4. Let h(m) = m**3 - 3*m**2 - 2*m. Let b be h(4). Let v = b - -1. Solve u*p + v = 1 for p.
-2
Let h = 41 - 37. Let f(i) = i**3 - 4*i**2 + 3*i - 10. Let p be f(h). Solve 0 = 3*b - p - 1 for b.
1
Suppose 0 = p - 4*w - 5, -2*p = -4*p - w + 10. Let i be p + (17 - 12 - (5 + -1)). Solve i*t - 8*t = -10 for t.
5
Suppose 4*j + 0 = 8. Let v = -1 + 6. Solve 0 = -v*o + j + 8 for o.
2
Let i(v) = -3*v + 2. Let r be i(-8). Suppose s - 17 = -4*g, -g = -3*g - 4*s + r. Suppose -2*z = 3*t - 2, -g = -3*z - 2*t - 3*t. Solve 4*a = -z - 7 for a.
-2
Suppose -3*k = -x - 2*x, 0 = -4*k - 4*x + 40. Suppose -k - 10 = -5*q. Let p(h) = -h**3 + 3*h**2 + 2. Let s be p(q). Solve s = -y - 0 for y.
-2
Let z(v) = 6*v + 14. Let j be z(3). Let b be (j/8)/(1/2). Solve 3*s - 2 = -b for s.
-2
Let i(a) = -16*a - 205. Let w be i(-13). Solve -7*f + 8*f = -w for f.
-3
Suppose 9 = 3*i - 18. Solve -4 = -i*f + 10*f for f.
-4
Suppose -3*k + 113 = -4*c, -k - c + 4*c = -41. Solve 0*h - 7*h = -k for h.
5
Suppose 5*n + 7*q = 10*q - 12, 0 = 3*n - 3*q + 6. Let f be n/((-9)/(-12)) + 5. Suppose 0 = g + 2*c - 17, -4*g + 0*c - 5*c + 56 = 0. Solve g - f = -4*y for y.
-2
Suppose -15*n + 8 = -12*n - 2*t, 0 = n + 5*t - 14. Solve n*j - 2 = 3*j for j.
2
Let j = 31 + -34. Let b(f) = f**2 - 6. Let h be b(j). Solve -g = h*g for g.
0
Let d(t) = t**3 + 6*t**2 + 2*t + 5. Let j be d(-3). Let h = j + -25. Solve 1 + h = o for o.
2
Suppose -22 = t + 5. Let j = t - -29. Suppose 2*x - j = 18. Solve -3*v + x = -v for v.
5
Let y = 18 - 30. Let o be (2/6 + 10/y)*0. Solve o = -2*j + 10 for j.
5
Suppose i - 5 = -i + h, 2*h + 2 = 0. Suppose -5*c + 45 = -i*c. Solve -3*d = 2*d + c for d.
-3
Suppose 2*o + 20 = 2*q, 5*q + 3 = -2*o + 25. Suppose -6*v + 12 = -q. Solve -v*r - 10 = -1 for r.
-3
Let v = 31 + -33. Let o be 0/(7 + -2 + v). Solve -t + 2*t + 3 = o for t.
-3
Let h(l) = -l**3 - 2*l**2 + 2*l. Let j be 6/(-1) + -4 + 7. Let z be h(j). Suppose 2*u - 9 = -z. Solve 4 = u*m - 7*m for m.
-1
Suppose -11397*a = -11423*a. Suppose 2*k - 7*k = -5. Solve a + k = j for j.
1
Suppose d - 12 = 7*d. Let v(g) = -2*g**3 - 5*g**2 - 3*g - 2. Let n be v(d). Solve n = -4*u - 8 for u.
-2
Let f be 0 + 78/15 - 2/10. Suppose f*l + 6*j - 3*j = 26, 0 = -2*l + 2*j + 4. Solve l*m = 1 - 9 for m.
-2
Let z(p) = p**2 + p. Let t = 47 - 44. Let x be z(t). Solve 5*r = x + 8 for r.
4
Let k be 2/10 - (-1)/(-5). Suppose -j + 0*j = k. Let l = 2 + j. Solve -4*w + 6 = -l for w.
2
Let a = -376 + 380. Solve -a*s + 0 = -8 for s.
2
Suppose 0 = -6*y + y + 40. Let b be (9/(-6))/((-6)/(-8)). Let i be (0 - 1) + (3 - b). Solve y = i*m - 0 for m.
2
Suppose 2*v - 14 = -4*y, 4*v - 12 + 4 = -3*y. Suppose 7 = 4*m - 5. Solve -y*c = -m*c + 1 for c.
-1
Let q = -267 - -273. Solve 5 = q*g - 7 for g.
2
Let z(h) = 8*h**2 + 2*h - 2. Let c be z(-2). Suppose -2*n + 3*y = -35, -2*n - 5*y = -0*n - 59. Let i = c - n. Solve 18 = i*x - 2 for x.
5
Suppose -4*m + 4*d - 4 = 0, 2*d - 6 + 3 = m. Let u(a) = 10*a - 2. Let w(r) = -5*r + 1. Let v(z) = -6*u(z) - 13*w(z). Let c be v(m). Solve 1 = c*f - 3 for f.
1
Let k(h) = h**2 - 11*h + 13. Let t be k(10). Let f(p) = -2*p**t - 4*p**3 + 5*p**3 + 5*p - 2 - 5*p**2. Let q be f(-6). Solve 2 = q*n + 10 for n.
-2
Suppose 0 = 2*j + x - 25, -3*j + 0 = -5*x - 5. Solve c = j*c + 18 for c.
-2
Suppose 0 = -2*a + 5*a - 9. Suppose -4*i - 4 = 4*w, -w + 2 = 3*i - 5*i. Suppose w = -6*g + a*g. Solve -3*t + g*t = -6 for t.
2
Let x(w) = -w**3 - 9*w**2 - 9*w + 35. Let f be x(-7). Solve 2 = t - f for t.
2
Suppose 0*t = -q + 2*t + 53, -3*q - 2*t = -119. Suppose q = 3*h + 7. Solve 5*w = -h - 13 for w.
-5
Suppose 0 = -d + 15. Let i = d + -13. Solve -3 = -i*x - 5 for x.
-1
Let o(k) = 3*k + 27. Let z be o(-8). Let v be (-4)/(-10)*(z + -2 + 4). Solve l - 3*l = -v for l.
1
Let h = -29 + 27. Let x be (6/10)/(h/(-10)). Suppose 28 - 70 = -x*z. Solve -2*p = 6 - z for p.
4
Let y(r) = r**3 - 5*r**2 - 17*r + 5. Let n be y(7). Let q = n + 19. Suppose -i - 4 = j + 1, -q*j = -i - 5. Solve -d + j*d - 2 = 0 for d.
-2
Let p(y) = 5*y**2 - 7*y - 3. Let v be p(2). Let g(r) = 2*r - 2*r**2 - 1 + r**3 - 2*r**2 + 2*r. Let u be g(v). Solve 2 + 2 = -u*x for x.
-2
Suppose -19*x = -434 + 130. Suppose 0*q = q - 2*z + 12, -5*q = 2*z + 12. Let y be 0*(-1)/(q/(-2)). Solve 4*d + y*d = x for d.
4
Suppose -a + 8 = -z + 4, 0 = 5*z. Suppose 2*n = -288 + 304. Solve a*v + 0*v = n for v.
2
Let a(x) = -8*x**2 + 7*x - 2 - 3 + 3 + 6 + x**3. Suppose 5*n - 3 = 32. Let h be a(n). Solve h = z + z for z.
2
Suppose -5*r + 28 = -3*r. Let y = -10 + 20. Let c = r - y. Solve -a - 5 = c*a for a.
-1
Let m = -23 + 33. Suppose -m = -2*q - 4. Suppose -q*d + 33 + 27 = 0. Solve -7*p + d = -2*p for p.
4
Let n(h) = h**2 - 15*h - 14. Let b be n(-1). Solve -b*s - 15*s = 85 for s.
-5
Let n be 1488/(-36) - 4/6. Let i = n + 49. Solve -3*r + i*r + 4 = 0 for r.
-1
Suppose -9*y + 55 + 17 = 0. Solve y = -4*l + 6*l for l.
4
Suppose -i = 353 - 358. Solve -56*y + i = -61*y for y.
-1
Let m(s) = 107*s + 7. Let g be m(0). Solve -35 = -g*q + 14*q for q.
-5
Let u(x) = -2*x - 14. Let f be u(-8). Suppose q - f + 1 = 0. Suppose 5*c - 2*l - q = 2*c, l + 5 = 3*c. Solve 4*a - a + c = 0 for a.
-1
Let n = 0 - -15. Suppose -n = -5*g - 3*z, -2*z = 4*g - 8 - 2. Let j = -35 - -38. Solve -15 = j*x - g for x.
-5
Let u(k) = k**3 + 6*k**2 + 5*k + 4. Let f be u(-5). Let x be (-8)/(-12)*6 + (-5 - -11). Suppose 5*y = 2*v - 1 - 6, 5*v = -y + 31. Solve -f*n - x = -v*n for n.
5
Suppose 7*b = 2*b - 15. Let t = 48 + -3. Let u be (-2)/((-6)/t) + b. Solve -u = -2*r - 2*r for r.
3
Let y = -95 + 89. Let s = 8 + y. Solve 0 = 2*r - s - 8 for r.
5
Let p be (-1)/(-2)*(-4 + 4). Suppose i - 2*i + 2*c - 2 = p, 2*i - 10 = -3*c. Solve -2 = -r + i for r.
4
Let c = -631 + 642. Solve 18*l + 14 = c*l for l.
-2
Suppose 3*x - 52 = -4*t, -4*x - 4*t + 60 = -4. Solve 3*l + l = -x for l.
-3
Suppose -2*p - 15 - 27 = 0. Let d = p + 23. Solve 0 = d*a - 3*a - 2 for a.
-2
Suppose -i = -6*i - 2*t + 11, 4*i - t = 14. Solve -2*g = -i*g - 3 for g.
-3
Let v be (-2 + 2)/3*2/4. Suppose v = 3*s - 13*s + 30. Solve 1 + s = -2*f for f.
-2
Let b(k) = k**3 - 7*k**2 + 8*k - 8. Suppose 5*p = -3*i + 45, -p + 11 = -0*i + i. Let v be b(p). Solve v*o - 10 = 6 for o.
4
Let n = 84 + -53. Suppose 0 = -0*s - 2*s - 2, -5*z - 4*s = -n. Let d(a) = a**3 - 6*a**2 - 8*a + 10. Let j be d(z). Solve 0 = j*q - q for q.
0
Suppose -2*f - y + 32 = 0, 3*f - 20 - 29 = -2*y. Suppose -4*m = -5*x + f, m = -x + 2*x - 3. Suppose x*w + 2 = -l, -l = w + 3*w + 5. Solve 0 = 2*o - l - 1 for o.
4
Suppose 5*t - 20 = -2*o, 2*t + 8*o - 12*o = -16. Solve 5*c - 8 - t = 0 for c.
2
Suppose 3*c - c - 10 = 0. Let r = -3 + c. Let u(v) = -34*v - 602. Let s be u(-18). Solve -r*b + 0*b = s for b.
-5
Let n(z) = z**2 + 2*z - 21. Let j be n(-9). Let h = j - -33. Suppose -6*q + h = -q. Solve 5*b + q = -0*b for b.
-3
Let n(f) = 19*f - 113. Let p be n(7). Solve 3*m + m - p = 0 for m.
5
Suppose j = -4*j. Suppose 0 = -4*r + 40. Suppose -16 = -2*c - r. Solve -c*w = -j*w for w.
0
Let b(m) = -m**2 + 58*m + 176. Let n be b(57). Solve 233 - n = 2*t for t.
0
Let v be -3*3/9 + 8. Suppose v*z + 18 = 13*z. Solve q + z*q = 0 for q.
0
Let z(a) be the first derivative of a**4/4 - a**3/3 + a**2/2 - 12. Let p be z(0). Solve p = 3*b + 2*b - 10 for b.
2
Let m(j) = 49*j - 2. Let s be m(2). Suppose k + s = 5*k. Let n be 8/k - (-1)/(-3). Solve 5*h + n*h + 10 = 0 for h.
-2
Let g = -54 + 53. Let p be ((-1)/2)/((3/g)/30). Solve 6*j - j - p = 0 for j.
1
Let b(w) = -w**2 + 3*w - 1. Let s be b(3). Let k = s + 0. Let l be 2/(-6)*-3 - k. Solve -3*v + l + 1 = 0 for v.
1
Let f(w) = -w**2 + 19*w - 14. Let p be f(18). Solve 4*y - 5*y = p for y.
-4
Let m(i) = 3*i*