6 = 0 for s.
1
Let b(k) = 3*k**2 - k + 1. Let f be b(1). Suppose 2*w - 10 = -f*w. Solve -5*y + 15 = -w*y for y.
5
Let a(j) = -j + 13. Let d be a(11). Solve -b + 5 = -d*b for b.
-5
Suppose t = 4*t - 5*q + 15, 4*q - 12 = -3*t. Let k(v) = -2*v - 7. Let a be k(-5). Solve t = -a*j - j for j.
0
Suppose 43 - 13 = 2*o. Let h be ((-5)/(-2) - 1)*10. Suppose 3*w - h = k + 2*k, 3*w + 3*k = o. Solve w = 5*n - 20 for n.
5
Let b(d) = -d + 10. Let a(n) = -5*n + 40. Let p(i) = -2*a(i) + 9*b(i). Let g be p(-8). Suppose 0 = g*o, -2*v = -o + 3*o. Solve 0 = -5*k - v + 20 for k.
4
Let m(w) be the second derivative of 3*w**3 + w**2/2 + 3*w. Let d be m(1). Let c = -11 + d. Solve c = -r - 3*r for r.
-2
Suppose -v = -0*v - 3. Solve -11 = -v*c + 4 for c.
5
Let y = 28 + -24. Solve y*g + 10 = -g for g.
-2
Let p(o) = -o + 1. Let n be p(0). Let j(x) = x**3 - 2*x + 1. Let l be j(n). Let k = 8 + -3. Solve l = k*c + 17 + 3 for c.
-4
Let b(u) = -u**3 - 5*u**2 + 4*u - 2. Let c be b(-6). Let q(h) = h**2 - 10*h + 2. Let g be q(c). Solve g*y = -3*y - 25 for y.
-5
Let w be 5*(-3 - 0 - -5). Let r(t) = 4*t**2 + 17*t - 12. Let m(s) = -s**2 - 4*s + 3. Let k(g) = 9*m(g) + 2*r(g). Let v be k(-3). Solve 2*j + v*j = -w for j.
-5
Let o be (0 - 0)/(-2) + 2. Solve -t = o*t for t.
0
Let k be ((-9)/(-6))/(-1)*-2. Let v = 17 - 12. Let m = v - 0. Solve -10 = k*f - m*f for f.
5
Let s(c) = c**3 - 11*c**2 + c - 6. Let t be s(11). Solve t*z = 14 + 6 for z.
4
Suppose 3*l - 2*a = -0 + 6, -l + 2 = -4*a. Let w be (-1 - (0 - 1))/(-1). Solve w = -q - l for q.
-2
Suppose 0*y = -3*y + 6. Suppose y*c = 3*c. Solve c*z = 4*z for z.
0
Let u(x) = x + 9. Suppose -3*c + 4*i + 7 = 2, 2*i = -2*c - 20. Let a be u(c). Solve -2 = a*y - 22 for y.
5
Let f(n) = -n**3 + 10*n**2 + 2. Let w be f(10). Solve 0*q = -w*q - 8 for q.
-4
Let a(r) = -r + 10. Let h be a(7). Suppose 0 = -2*p + f - h + 9, p - 3*f - 3 = 0. Suppose p*z = -0*z + 9. Solve -5 = -z*y + 1 for y.
2
Let d be 0*2*(-2)/4. Solve -2*b = -d*b + 4 for b.
-2
Let o = 44 + -44. Solve p - 5*p + 8 = o for p.
2
Let g(i) = i**3 - 2*i + 2. Let s be g(0). Solve 6 = 4*l + s for l.
1
Let k = -7 + 10. Let r = -12 - -17. Suppose -r*p + 4*c = 12, c = 5*p - p + 3. Solve 9 = -p*z - k*z for z.
-3
Let y(x) = -x**3 - 5*x**2 + 5*x - 8. Let c be y(-6). Let d(q) = -q**3 - 2*q**2 - q. Let j be d(c). Suppose -3*i + 2 = -j*i. Solve v - 2*v = i for v.
-2
Suppose 0 = -2*b + 7 + 7. Let d(n) = -n - 2. Let p be d(-4). Let w be b/p*12/7. Solve -w*l = -l for l.
0
Let d be 2 + (18/12 - 3/(-6)). Let p(v) = v + 6. Let i be p(-6). Solve i = 3*k - k - d for k.
2
Suppose -12 = 4*o, -3*j + 6 = o + o. Let c = 5 - 4. Suppose 0 = -3*g + 3, f - 8 - c = -5*g. Solve -8 + j = f*h for h.
-1
Let v = -3 + 6. Suppose o - v = -0*o. Suppose 3*c - 13 - 20 = 0. Solve -4*w - o + c = 0 for w.
2
Suppose 10 = 6*x - 14. Solve -4*h = -2*h - x for h.
2
Suppose -5*k + 65 = 4*s, -k + 2*k - 1 = 0. Solve j = -2*j - s for j.
-5
Let j = -3 + 2. Let r be (-9)/(-6) - j/2. Suppose -2 - r = -2*q. Solve q = -2*l - 4 for l.
-3
Suppose t = -5*t. Solve -5*j + 6*j = t for j.
0
Let y(h) be the first derivative of h**2/2 + 4*h - 2. Let n be y(0). Solve n = -0*l + l for l.
4
Let r be ((2 - 0)*-1)/2. Let t be 0/(-1*(-1)/r). Let c be 2*3*(-1)/(-2). Solve 3 = -c*g - t for g.
-1
Suppose 4*b - 6*b + 3*l = -11, 3*l = -5*b - 4. Solve 0*y + y - b = 0 for y.
1
Suppose -2*n + 3*h = -4*n - 12, 4*n - 12 = 3*h. Suppose 0 = -4*c + 24 - n. Solve 0 = -2*a + c*a + 8 for a.
-2
Suppose 3*x + 2*x = 30. Let f be ((-20)/x)/(4/(-6)). Solve y - 3 = -f for y.
-2
Let j(k) = k**2 - 2*k - 5. Let q be j(4). Suppose q - 1 = c. Solve w = -w - c for w.
-1
Suppose t = 4*o - 14, 5*t - 30 = -5*o - 0*o. Solve 11 + o = 3*v for v.
5
Let i be 90/8 + ((-12)/(-16))/(-3). Let t be 2/(-4)*(-10)/1. Solve i = -t*q - 9 for q.
-4
Suppose -6 = 2*k - m, -3*m = 3*k + 14 + 13. Let o = k - -6. Solve -6*v + 5*v = o for v.
-1
Let o be ((-2)/(-4))/((-3)/300). Let b be (6/5)/((-15)/o). Solve -16 = -0*m + b*m for m.
-4
Let k be (-6)/(-9)*3/1. Let n = -2 + k. Solve -3*m - 2*m + 15 = n for m.
3
Let k = 173 + -169. Solve 0*f + 4 = -k*f for f.
-1
Let g(l) = l**2 + 4*l + 2. Let v be g(-2). Let r = 4 + v. Solve r*h = -10 - 0 for h.
-5
Let w = -3 + 9. Solve 0 + w = -3*d for d.
-2
Let s be (-1 - (4 - 2)) + 4. Let c(q) = q**3 - 5*q**2 + 5*q - 4. Let x be c(4). Solve x = -l + 3 + s for l.
4
Let i(o) = o**3 + o**2 - o - 5. Let y be i(0). Let l = y - -8. Suppose 13 = 4*x - l. Solve r - x = -2 for r.
2
Let n(x) = x**3 - 20*x**2 + 21*x - 35. Let z be n(19). Solve z*d - 2 = -5 for d.
-1
Suppose j - 1 = -0*j + 4*r, r = j - 1. Solve -3 = -x - j for x.
2
Let l be 4/10 - 123/(-5). Solve h - l = 6*h for h.
-5
Let b = 4 + -10. Let n be (4/b)/(5/(-15)). Solve d - n = -d for d.
1
Let a = 10 - -15. Suppose -4*q = 3*n, q + 11 = 5*n + 4*q. Solve n*v + a = -v for v.
-5
Suppose -3*f + 5*j - 4 = 0, 0 = 2*f - f - 4*j + 6. Solve -n - f*n + 6 = 0 for n.
2
Suppose u - i - 2 = 2, 12 = 4*u - 2*i. Solve 0 = u*c + 2*c - 20 for c.
5
Let k(r) = -r**3 + 3*r**2 - r - 1. Let z be k(2). Suppose 7 + z = 4*d. Let x = 2 + -1. Solve 0 = -d*i + i + x for i.
1
Let i(p) = 5*p**2. Let n be i(-1). Let z = 4 + -7. Let o = n + z. Solve o*k = 8 + 2 for k.
5
Let a be 32/(-12)*(-3)/2. Suppose 5*d - 64 = d + a*p, d - 22 = 4*p. Suppose -1 = 2*x + 7, 3*s - 37 = x. Solve -5*i + d = -s for i.
5
Let v(r) = -r**2 - 12*r + 2. Suppose -3 = -4*o + 3*o + 5*h, -5*o - 4*h - 72 = 0. Let m be v(o). Solve -2*p - 20 = m*p for p.
-5
Let s(v) = v**2 + 16*v - 35. Let z be s(-18). Solve 3*n = -z - 2 for n.
-1
Let f be (-3)/15 - (-84)/20. Suppose 25 = 4*g - j - 18, 0 = 3*g + 2*j - 24. Suppose -g = -2*d - 0*d + 2*m, 4*d = -4*m - 12. Solve -r - f = d for r.
-5
Let a be 0*(4/(-8))/1. Solve a*n = -5*n + 25 for n.
5
Let y = -51 - -55. Solve -y*u + 12 = -u for u.
4
Let l be (6 - 7)/((-1)/5). Solve -3*y + l*y + 6 = 0 for y.
-3
Let y = 6 + -2. Suppose -s + y*s = 12. Solve 2*h - s = -14 for h.
-5
Let v = 21 + -17. Solve -m = -v*m for m.
0
Let a(h) = h + 1. Let p be a(6). Suppose -p*n = -12*n. Solve -5*c = -n*c - 5 for c.
1
Let i(s) = s**3 - 11*s**2 + 9*s + 10. Let r be i(10). Let v(w) = -3*w - 4. Let z be v(-2). Solve -z*h - h - 15 = r for h.
-5
Suppose 0 = -3*n - 3*h, -30 = -n + 4*h + h. Solve -n = 2*m + 5 for m.
-5
Suppose 4*v = -0*v. Solve -4*o + v*o = 12 for o.
-3
Suppose 0 = 6*o - 2*o - 100. Solve -o = u - 6*u for u.
5
Suppose 2*b + 5 - 14 = o, 4*b + 4*o + 12 = 0. Suppose -3*a + 5*u - 6 = 0, -2 = -3*u + 7. Suppose -z = a*z. Solve -b*t + 2 - 4 = z for t.
-1
Suppose -5*r + 38 = -3*k, -r + 9 = -3*k + k. Solve -r*l = -2*l - 5 for l.
1
Suppose -4*l + d = 10, -13 = 2*l - 4*d - 1. Let x be l/(-1) - -3*3. Let t = 7 + -6. Solve -x - t = 4*h for h.
-3
Let y be 0/1 + -2 + 2. Let w(n) = -n**3 + n + 9. Let u be w(y). Solve 1 = 2*h - u for h.
5
Let w be (-2)/(-5) + 23/5. Suppose -5*h - 2*g = 24, 0*h - g - 27 = w*h. Let x be h/2*15/(-9). Solve m + 3 = x for m.
2
Let l(f) = -f + 14. Let a be l(7). Let s(p) = p - 2. Let x be s(a). Suppose 2*b + 1 = 7*b + u, 3*b - x = -5*u. Solve b = -0*q - 5*q for q.
0
Suppose 4 = 2*k - 0, 2*v + 2*k - 4 = 0. Solve 0 = 4*y - v - 8 for y.
2
Suppose -2*u + p + 2 = 0, -p - 2 = -u + 5*u. Let s be (-2)/4*-4 - -13. Suppose s = -u*k + 3*k. Solve 0 = k*y - 16 - 9 for y.
5
Let h be 0 + -1 - (-8 - -5). Suppose 0 = o - 2*l + 8, -3*l = -4*o - h - 10. Solve o = 3*c + 2*c - 5 for c.
1
Let o = -18 + 23. Solve -k = -0*k - o for k.
5
Let s be ((-2)/(-1))/(10/(-25)). Let w = 8 + s. Let i be 18/w + 9/(-3). Solve 0 = -5*q - i - 22 for q.
-5
Let t(a) = a**3 - 4*a**2 - 7. Let c be t(5). Suppose k - w - 6 = 0, 6*k - k - c = w. Suppose -k*i - 2*i = -30. Solve i*o + 20 = 2*o for o.
-5
Let o = 1 + -1. Let g be 1/(-3) - ((-88)/12 + 1). Solve o + g = -3*f for f.
-2
Let a be (-141)/(-27) + (-6 - (-104)/18). Solve 9*p = 10*p - a for p.
5
Suppose -4*w + 15 = 3. Suppose 45 = 3*c - 15. Suppose -c + 3 = -n. Solve 5*v = n + w for v.
4
Suppose 3 = -f, -2*s = 3*s - 4*f - 137. Suppose -2*y + 7*y = s. Solve y = -4*x - 11 for x.
-4
Let f(u) be the second derivative of u**3 + 3*u. Let m be f(1). Suppose j + 2 = -3*i - 0*i, 5*i = -j - m. Solve 0 = -s + 2*s - j for s.
4
Let k = -19 + 25. Solve w - k = -w for w.
3
Let d(x) = -x + 2. Let f be d(-5). Solve f + 13 = 4*w for w.
5
Let j = 57 + -57. Solve j = i 