-1 for v.
1
Let i = -6 - -6. Suppose i*z - 4 = -2*z. Suppose -z*n - 3*n = 0. Solve n*p = 3*p for p.
0
Let n(g) = -g**3 + 27*g**2 - 27*g + 34. Let r be n(26). Solve 6 - r = -m for m.
2
Let t = -6 + 11. Suppose 0 = -2*x + 5*x + 3*b - 21, -t*x - b = -43. Solve 0 = -x*y + 4*y - 10 for y.
-2
Let j be (-4)/12 + 16/3. Let y be 10*j + (1 - -2). Suppose 0 = -4*o - 5*t + y, 2*t - 21 = -2*o + 5*t. Solve 3*d = -d - o for d.
-3
Let a = 4 - -1. Solve -26 = -a*t - 1 for t.
5
Suppose 2*g - 1 = 3. Suppose b = q - 3*b + 4, -5*b + 44 = g*q. Solve -5*v = -8 - q for v.
4
Let m = -9 - -14. Solve 15 = 5*d - m for d.
4
Let j(t) = -2*t - 6. Let x = 1 - 7. Let a be j(x). Let m(v) = v**3 - 6*v**2 + 2*v - 7. Let l be m(a). Solve -l*u = 11 + 9 for u.
-4
Let p = 5 - 2. Suppose p*v + t = -3*t, -t = 3*v. Solve d = -v*d + 2 for d.
2
Let l be (12/(-15))/((-2)/(-5)) - -14. Solve -5*b = l - 2 for b.
-2
Let s(l) = -l - 2. Let d be s(-5). Solve d*p - 9 = -0*p for p.
3
Suppose -d + 0*d = -25. Suppose -d - 75 = -5*r. Solve p + 3*p = -r for p.
-5
Let c = 6 + -3. Suppose c*f + 2*f = -4*a + 19, -43 = -5*f + 2*a. Let q(r) = -r**3 + 6*r**2 + 7*r + 4. Let w be q(f). Solve -w*p = -19 + 7 for p.
3
Suppose 7 = k + 3*l, l - 6 = -4*k - 0*l. Let o(b) = -b**2 + b. Let q be o(k). Solve q = 5*v - 7 + 2 for v.
1
Suppose -3*g = 2*g - 10. Suppose 7*w = g*w. Solve 2*h + 6 = -w*h for h.
-3
Suppose -4*z + 3*z + 5 = 2*w, 6 = z + w. Let f(v) = v**3 - 7*v**2 + v - 7. Let g be f(z). Solve g = -5*m + 9 - 4 for m.
1
Let t(i) = -i**2 + 6*i - 7. Let x be t(3). Let p be ((-4)/(-6))/(x/9). Solve -2*z = p*z for z.
0
Let o = -179 - -188. Solve -2*v - o = 1 for v.
-5
Let d be (-21)/7 + (-1 - -1). Let f be 0/((-1*3)/d). Solve f = 2*i + 2 + 4 for i.
-3
Let a(x) = -5*x + 47. Let t be a(9). Solve 0*j + 4 = t*j for j.
2
Let f = -14 + 2. Let m(p) be the first derivative of -p**2/2 - 3*p - 10. Let n be m(f). Solve 4*b + n + 11 = 0 for b.
-5
Let j be (2 - 1)*(-1)/1. Let g = j - 0. Let u be -1 - g - 10/(-5). Solve u*n + 0 = 6 for n.
3
Suppose 4*l + 4*x - 56 = 0, 0 = -2*l - l + x + 26. Solve 5*p + 0*p = -l for p.
-2
Let y be 6/3 + -2 + 2. Let z = -1 + y. Solve 3*t = z + 11 for t.
4
Suppose -g + 5 = 4*g. Let q = g + 14. Solve 2*s = -s - q for s.
-5
Suppose 8*q = -q + 90. Solve -q*d + 10 = -8*d for d.
5
Suppose 9 + 8 = 4*s - y, -5*s + 16 = -3*y. Solve 5*t + s - 20 = 0 for t.
3
Let a be (0/(-2))/(-1 + 1 + -2). Solve a = -3*u + u for u.
0
Let x be (-2 - -1)*(-1 - 6). Suppose x = 2*i - 53. Suppose -2*q + i = z + 10, 2*z + 5*q = 42. Solve 5*t = t + z for t.
4
Let b = 2 + -2. Suppose b*n = -3*n + 24. Solve 3*x - 1 = n for x.
3
Suppose 2*n + 14 - 62 = 0. Solve -1 - n = 5*h for h.
-5
Let f = -38 - -14. Let u be 4/f + 2/12. Solve u = -o - 3*o + 8 for o.
2
Let y(f) = -3*f - 10. Let i be y(-4). Let l(a) = -a + 4. Let z be l(6). Let o = z + i. Solve 0 = -3*h - o*h + 6 for h.
2
Let p be (-5)/100*4 + (-36)/(-5). Solve 0 = -p*k + 2*k for k.
0
Suppose -s + 5*a - 20 = -6*s, 0 = s + 5*a - 8. Suppose -3 = -s*o - 0*o. Solve -2 = f - o for f.
-1
Let f = 102 + -97. Suppose 9 = -2*h + 5*h. Solve f*p = 23 - h for p.
4
Suppose -10 = 5*m - 15. Solve -m = -3*r + 2 for r.
1
Let i = 3 + 2. Let d(h) = 2 - 2 - 7*h**2 - h**3 + 9 + h. Let p be d(-7). Solve i*f + p = -3 for f.
-1
Let g(y) = y**3 + 8*y**2 + 7*y + 3. Let r be g(-7). Let m = r - -3. Solve a - m = 3*a for a.
-3
Let m(b) = 2*b + 4. Let p be m(2). Solve p = -5*r + r for r.
-2
Suppose 2*o - 6 = -4*t, -5*o = -2*t + 6*t - 9. Solve -1 = g + o for g.
-2
Suppose d + 3*d = 0. Suppose 2*s - 3*k + 4*k = 11, d = 5*k - 25. Let i be (1 - (-3)/(-2))*0. Solve s*w - 6 + 15 = i for w.
-3
Let r = 16 - 12. Suppose 3*n - 2 = -4*o, r*o - 4*n - 12 = -2*n. Solve -l - o*l = 0 for l.
0
Let t be (12/30)/(2/10). Let k(x) = -x**2 + 5*x + 3. Let z be k(5). Suppose -5 = -5*j, z*h - 8 = 3*j - t*j. Solve h = r - 0 for r.
3
Let h(f) = -f**3 - 3*f**2 - 3*f - 1. Let l be h(-2). Solve m - 6 = -l for m.
5
Let g(j) = j**3 + j**2 + 5. Let r(k) = k**3 + k**2 + 4. Let h(u) = 5*g(u) - 6*r(u). Let o be h(0). Solve o = 5*t + 26 for t.
-5
Let m be 7/(-35) + (-26)/(-5). Let t be (-42)/(-15) - (-1)/m. Solve -t*g = 3 + 3 for g.
-2
Let i be 6/4*376/12. Suppose -16 = -4*t, 3*n + 8*t = 3*t + i. Suppose -10 = 4*v - 5*f, -v = 4*f - n + 1. Solve v*c = -c for c.
0
Suppose 4*b - b - 36 = 0. Let u = 12 - b. Solve 0 = -u*j - j for j.
0
Suppose -16*q + 20*q = -2*m + 38, 0 = 5*m + 2*q - 55. Suppose 2*o - 7*o = 10. Let w be 0/(2 - (5 + o)). Solve w = -5*p + 2*p + m for p.
3
Suppose 0 = 5*x + 2*s - 52, 0*s + s = -x + 8. Solve 0*m = -3*m + x for m.
4
Let n = 28 - 20. Suppose 5 = q - x - 1, -n = -q + 3*x. Solve -q*w - 1 = 4 for w.
-1
Suppose 5*w = -0*w + 80. Let t be (-10)/15 + (-22)/(-6). Solve t*b + w = -b for b.
-4
Let f be (9/2)/((-7)/(-14)). Solve -5*c = -29 + f for c.
4
Suppose 8*q + 8 = 12*q. Solve 0 = q*i - i + 4 for i.
-4
Let s be (-1)/(-4) - 77/(-28). Suppose s*f - 2*f - 3 = 0. Solve -f = 5*k + 17 for k.
-4
Let x = -2 + -4. Let d be 0/(3/(x/(-2))). Suppose -o = -d*o - 4. Solve 0 = -o*j + j for j.
0
Suppose 3*s - 6 = -0. Let w(k) = k**3 + 15*k**2 + 14*k + 3. Let x be w(-14). Suppose 6 = -b - 5*g, x*g - 6 = -3*b - 0*g. Solve -14 = s*r - b for r.
-5
Let w = 17 - 8. Let o = -6 + w. Solve o*i = i for i.
0
Let a = 92 + -86. Solve -a*g - 22 = 2 for g.
-4
Suppose -5 = 14*p - 15*p. Solve -p = -5*l + 20 for l.
5
Let p = 4 + -3. Solve 4 + p = -v for v.
-5
Suppose 3*m = 4*o + 37 - 9, 3*m - 3*o - 24 = 0. Suppose 2 = -m*s + 22. Solve -q = -s*q for q.
0
Let o(q) = -q**3 - 5*q**2 + 6*q + 4. Let i be (-6)/((-9)/(-3)) + -4. Let z be o(i). Let a = z + -4. Solve a = -0*x + 2*x for x.
0
Suppose -2*a = -l - 10, -19 - 6 = -2*l - 5*a. Solve 2*x + x = l for x.
0
Suppose 0*v + 23 = 2*v + q, -2*v + 13 = 3*q. Let b = 6 - 2. Suppose -m - v = -5*p, -b*p = 2*m - 4 - 10. Solve p*n - 5*n = 0 for n.
0
Let q(a) be the first derivative of -a**3/3 + 3*a**2/2 + a - 2. Let t be q(3). Let v be t*(1 - -1) + 0. Solve -v = 4*o + 2 for o.
-1
Let z(a) = -a. Let x be (3 - 3) + (0 - 1). Let b be z(x). Suppose -2*m - 1 + 7 = 0. Solve b = -d + m for d.
2
Let p = 10 + -6. Let x be -1 + 1 + p - 2. Solve -4 = -2*o - x for o.
1
Let z be (-63)/(-27) - ((-2)/(-6) - 0). Let n = -3 + 0. Let a(k) = -3*k - 1. Let l be a(n). Solve z*i = -0 - l for i.
-4
Let t(h) = -7*h - 2*h + 5 + h**3 - 3*h**2 + 2*h. Let y be t(5). Let c be y/(-6)*(-12)/10. Solve -j + 2*j - c = 0 for j.
4
Let n = 5 + -1. Solve -n*c + 3 = -1 for c.
1
Suppose -1 = 5*k - 11. Let b be (-1)/(-1*k/16). Suppose 3*q - b - 46 = 0. Solve 7 + q = 5*s for s.
5
Let s be (10 + -1)*(5/3 - 0). Solve -4*d - 3 + s = 0 for d.
3
Suppose 0 = k + 8 - 11. Solve 12 = -k*v - v for v.
-3
Suppose -85 = -4*f - f - 5*g, -3*f - g + 41 = 0. Let o(y) = y**2 + 4*y - 4. Let v be o(-3). Let c = f + v. Solve -c*t = -t - 12 for t.
3
Suppose -3*b - 71 = -5*x, 5*b + 25 = -4*x + 104. Solve 5*v + x = -4 for v.
-4
Let y(l) = -4*l**2 + l. Let i be y(2). Let p = i + 10. Let s = 4 + p. Solve 6 = -s*g - 2*g for g.
-3
Suppose -a + 2*a - 28 = 4*y, -44 = -3*a + 2*y. Solve 0 = -5*k + a + 13 for k.
5
Let a be ((-8)/6)/((-4)/6). Let m be 1 + 0 + (a - 3). Let b be m*(2 + -1) - -1. Solve 0*r - b = -r for r.
1
Let t be 16 + (0 - 1)/(-2)*0. Solve -b + t = -5*b for b.
-4
Let g = -4 + 7. Suppose 4*i = i + g. Suppose i = -4*r + 25. Solve 2*k - r*k = -16 for k.
4
Let d(q) = -6*q**3 - q**2 + 1. Let z be d(-1). Let o(n) = z*n - 4*n + 3 - 9. Let r be o(5). Solve -r = l + 3*l for l.
-1
Suppose -3*c - 12 = 0, -b + 5*b = 3*c + 20. Let r = 5 + -5. Let o = r + b. Solve -2*l - 2 = o for l.
-2
Suppose 2*f - 45 = -3*f. Suppose 15 = 4*t - f. Solve -h - 15 = -t*h for h.
3
Suppose 2*g - 5 = 3. Solve -3*w = -g*w - 5 for w.
-5
Let k(c) be the second derivative of 5*c**4/12 + c**3/6 - c**2 + c. Let i be k(2). Suppose 5*x - i = -4*g, 4 = -3*g + 2*x + 19. Solve 3*m = 8*m - g for m.
1
Let c be 12/16 + 18/8. Solve c*w = -3 - 3 for w.
-2
Let p(x) = x**3 - 8*x**2 - 8*x - 6. Let a be p(9). Let s be (-1*(-6)/a)/1. Solve -5 = 3*w - s for w.
-1
Let x(a) = a - 3. Let r be x(1). Let z be -3 + (r - -8) + 0. Solve z*d - 12 = 3 for d.
5
Let l be 0*(-1)/(-6)*3. Solve l = 3*n + 5 + 1 for n.
-2
Let f = 18 - 17. Suppose -g + f = -2. Solve g*b - 5 = 4*b for b.
-5
Let z(g) = g**3 + 13*g**2 + 10*g - 21. Let p be z(-12). Solve 0 = -p*n