for v.
0
Let u be 4/5*10/2. Suppose 3*a = a + 5*c - 29, -u = 4*c. Let o be (a - -5)/(1 - 3). Solve -o*i - 5 = -i for i.
-1
Suppose 0 = -72*k + 69*k. Solve 0 = -2*d + 4 - k for d.
2
Let c(s) = -s**3 + 2*s**2 + 5*s - 2. Suppose 4*p - 12 = -0. Let v be c(p). Solve 0 - v = -u for u.
4
Let s = 24 + -12. Solve 5*n - s = n for n.
3
Let f(s) = s**3 - 4*s**2 - s + 5. Let b be f(4). Let z be 16/(-40)*-10*b. Solve -z*p - 12 = -0 for p.
-3
Suppose 14 = -4*d - 2, 0 = -2*b + 4*d + 20. Solve -4*c + b*c = -4 for c.
2
Let w = 14 + -7. Solve -2*l + w*l = 0 for l.
0
Let l(x) = -x**3 - 4*x**2 - 2*x - 5. Let w be l(-4). Let r = 4 + -2. Solve -w*j - r = 1 for j.
-1
Let v = 19 + -9. Solve y = -4*y + v for y.
2
Let z = 4 + -8. Let i be 4*1 + 4/z. Solve -5*d - i = -4*d for d.
-3
Let y(j) = j**2 + j + 2. Let o be y(0). Solve -3*f = -o*f - 2 for f.
2
Let f = 1 - -8. Solve 3 = 3*g - f for g.
4
Let a = -5 + 9. Solve a*s - 8 = -0*s for s.
2
Let m = 3 - -2. Suppose 2*b = m*b - 2*k - 13, -15 = 5*b + 4*k. Let s = 1329 - 1329. Solve -z - b + 0 = s for z.
-1
Let c be (2/(-6) - (-5)/(-30))*-8. Solve -k - 9 = -c*k for k.
3
Let l be 28 + -1 + (-2 - 0). Suppose 3*q + 10 - l = 0. Suppose -3*w + 1 = -q. Solve -n - w = -0*n for n.
-2
Let l = -38 + 38. Solve -v - 4*v + 10 = l for v.
2
Let w be (-3)/(-6) + 39/6. Let v be w*((-76)/(-28) + -1). Solve -v = -6*h + 2*h for h.
3
Suppose -4*y = -7 - 5. Suppose 3*l - 19 = -7. Suppose -5*k = -4*k - l, 5*k = 3*u + 20. Solve u = f + y*f for f.
0
Let b = 10 - 6. Solve -b*s = -6*s + 8 for s.
4
Suppose -6 = -g - 2*g. Solve -4*p - g + 22 = 0 for p.
5
Let o be 12/(-9)*3 + 14. Solve 3*y - y + o = 0 for y.
-5
Let k(g) = g**2 + 10*g + 9. Let q be k(-9). Solve 0 = -2*h - q*h - 4 for h.
-2
Let n = 53 + -38. Let o = -33 + 52. Suppose -33 = -3*x + 3*w, 4*x - o = w - 2*w. Solve x*q - 3*q + n = 0 for q.
-5
Let l = -26 - -30. Solve -l*p - 12 = -0*p for p.
-3
Suppose -4*c + 11 + 25 = 0. Solve 0 = r + 2*r - c for r.
3
Suppose -4*s = -4*w + 24, -2*w = 3*w - 2*s - 21. Solve 0 = -w*u + 9 for u.
3
Suppose -d = -4*m - 5, -5*d + 4*m + 25 = -0*m. Solve -d*g - 5 = -0*g for g.
-1
Let k = -6 + 11. Suppose 0*z = -2*z. Solve -u = -z + k for u.
-5
Suppose 2*j - 4 = -0. Suppose 0 = -z + f + 5, 0 = j*f + f + 12. Solve z + 4 = 5*v for v.
1
Suppose -r - 8 = -2*r + 2*n, -5*r = 5*n - 70. Solve 0 = 3*k - 0 - r for k.
4
Let m = -16 + 10. Let y(i) = -i**3 - 5*i**2 + 4*i + 1. Let c be y(m). Solve 5*f - c = -3 for f.
2
Let c be (-14)/2*-1 + -2. Let v be 2/c + 13/5. Solve -a - v = -1 for a.
-2
Suppose 0 = -0*n + 3*n - 18. Let a = 11 - n. Solve a*b - 17 = 8 for b.
5
Suppose 5*q - 6 = -3*o - 0, -3*q - 8 = -4*o. Suppose -3*t + 9 = q, 3*d - d - 55 = -5*t. Solve k = 5*k + d for k.
-5
Let a(d) = -6*d - 5. Let q be a(-5). Suppose 3*m - 7*m = 2*s - 20, 5*m + 2*s = 25. Solve 0 = m*p + q for p.
-5
Suppose -2*j = -4*d - 14, -2*j + 0*d = 5*d - 14. Suppose j*o = 3*o + 12. Solve -o*m + m = 0 for m.
0
Suppose 3*a + 0 = -3, a = -3*m + 11. Suppose -d + 4*d - 18 = 0. Solve -d*v + m = -2*v for v.
1
Suppose -3*g = 1 - 7. Solve g*y + 25 = -3*y for y.
-5
Let u(j) = 7*j**2 - 11*j + 13. Let g(w) = -3*w**2 + 5*w - 6. Let v(c) = -9*g(c) - 4*u(c). Let h be v(0). Solve h*m = -3*m - 25 for m.
-5
Let y be (2 + -4)*(6/(-3) - -1). Suppose -5*a = -a - 24. Suppose 0 = -3*o + 2*l + 2, -5*l + a = -o - o. Solve y*q = -o*q - 20 for q.
-5
Suppose 0 = 2*m - 5*o - 1, 2*m - o = -2*o + 19. Solve 5*w - m = w for w.
2
Let u(n) = n**2 + 2. Let m be u(0). Let q(v) = -3*v**2 + v**3 + v - 1 - 3 + 0*v - m*v. Let p be q(4). Solve -i + p = i for i.
4
Let u = 29 + -29. Solve 5*v + 0*v = u for v.
0
Let b = -8 - -11. Suppose 16 = f + b*f. Suppose -10 = -f*y + 6. Solve a - 10 = -y*a for a.
2
Let p(m) = -m - 12. Let x(c) = 1. Let u(s) = -p(s) - 5*x(s). Let a be u(-5). Solve -a*d + 1 + 7 = 0 for d.
4
Let x be (0 - -4 - 3) + -1. Suppose 5*g - 3*b + x = -2, -g + 18 = 4*b. Let c(j) = j - 2. Let i be c(g). Solve i = -6*t + 2*t + 16 for t.
4
Let z(v) = -v**3 + v**2 + v + 6. Let m be z(0). Solve -4*l = -m*l - 6 for l.
-3
Let b = -8 + 10. Suppose 0 = -4*w + b + 6. Let p(a) = a**3 + 3*a**2 + a. Let x be p(-2). Solve -16 = -w*n - x*n for n.
4
Suppose -2*g = -4*g + 12. Suppose -x - 2*n = -4, 2*x = -2*x - 2*n + 10. Suppose 1 = x*d - 9. Solve 19 = d*f - g for f.
5
Suppose 0*f = -5*b - 5*f + 55, -3*f = -5*b + 15. Solve -v = -b + 2 for v.
4
Let u(l) = 5*l**2 - 2*l + 4. Let a be u(-4). Suppose 6*r - 28 = a. Let t be 0 + 1*(-2)/(-1). Solve r = 3*p + t*p for p.
4
Let y(o) = -o**2 - 12*o - 6. Let z be y(-11). Solve z = 5*n - 0 for n.
1
Suppose -5*o + 2*b - 7*b + 15 = 0, 3*o - 4*b = 9. Suppose -w = o*i - 48, -i = -4*w + i + 122. Let j be (-4)/6 + w/9. Solve j = -5*a - 2 for a.
-1
Let o = 15 - 13. Suppose 0 = -0*z + o*z. Solve -h + z*h = 4 for h.
-4
Let a(p) = -14*p**2 - 1. Suppose 0*t + 2 = -2*t. Let u be a(t). Let b = 24 + u. Solve 7 + b = -4*j for j.
-4
Let k(d) = -3*d**2 - d. Let q(s) = -4*s**2 - 2*s. Let l(g) = 3*k(g) - 2*q(g). Let f be l(1). Solve f = -2*o + 18 - 8 for o.
5
Suppose -4 = 2*d + 4*v, 4*v + v = 4*d - 18. Suppose 4*w = d + 6. Solve w*s - 5 + 3 = 0 for s.
1
Suppose -3*r + 6 = m, 4*r - 2*m = -0*r + 18. Suppose 3*i + 3*c = -2 + 14, 5*i = -c + 16. Solve -r*h - 9 = i for h.
-4
Let w(n) = -3*n**2 - 2*n - 11. Let x(u) = -u**2 - u - 4. Let g(b) = 4*w(b) - 11*x(b). Let i be g(5). Let o be (12/(-10))/(4/i). Solve o*s + 8 = -7 for s.
-5
Suppose -4*u + 62 = 2. Suppose 3*a = -3*w + u, a + a = 4*w - 20. Suppose n + 10 = 3*n. Solve 2*l - n - 5 = a for l.
5
Let v(a) = 2*a**2 + 2*a - 3. Let k be v(2). Let h = k - 6. Suppose m = h*m - 10. Solve m*z = 5 + 10 for z.
3
Suppose 4*j + 8 = 0, 0 = -2*x + 4*j - 7*j + 6. Let g be x/4*(0 - 2). Let y be (-5 - g)/(4/(-10)). Solve 0*z - y = -z for z.
5
Suppose q - t = 1 - 19, q + 3*t = 2. Let n be (-2)/4 + q/(-2). Suppose n*g - g - 5 = 0. Solve x + g = -0*x for x.
-1
Let i(a) = -a - 2. Let q be i(-5). Let w be q/(1 - 0) + 2. Let m(z) = z**2 - 4*z + 2. Let f be m(w). Solve f*g - 3*g = -16 for g.
-4
Let l(u) = -3*u**2 + 6*u. Let q be l(4). Let s be q/(-10) - 10/25. Suppose -s = -4*i + 6. Solve -a = i*a for a.
0
Let m = 22 - 20. Solve -d - 6 = -m for d.
-4
Suppose 7*s = 14 + 126. Solve u - s = 6*u for u.
-4
Let z = -46 + 53. Solve 5*i + 3 + z = 0 for i.
-2
Let g(q) = -q**2 + 8*q + 7. Let s be g(8). Suppose 3*v = -4*f + 45, 7*v + 55 = 2*f + 2*v. Suppose f = -2*p + s*p. Solve p*u = 4 - 1 for u.
1
Suppose 72 = 4*z - 4*b, 2*b = -3*z - 3*b + 70. Solve -z = -5*k + k for k.
5
Let t(b) = -4*b - 67. Let q be t(-18). Solve -10*z + q*z - 10 = 0 for z.
-2
Let w(a) = 0*a + 0*a + 4*a - 3*a + 1. Let n be w(0). Suppose j + 8 = 5*j. Solve -j*o - n - 7 = 0 for o.
-4
Let r = -47 + 62. Solve -2*l - r = 3*l for l.
-3
Suppose -4*q = -5*z + 48, 11 = -5*q - 4*z - 8. Let g be ((-14)/5)/(3/15). Let u be (8/g)/(2/q). Solve -u*w = -5*w + 9 for w.
3
Suppose 0*s - 5*s = -15. Suppose 12 = 4*o, -x + 5*o + 5 = s*x. Solve x*r - 16 = r for r.
4
Suppose -3*c + d + 12 = 0, -12 = -3*c - d - d. Suppose 0 = -5*j + z + 3, c*j - 5 = 2*z + 1. Suppose -3*g = -6 - j. Solve -g*k = k for k.
0
Let s = 103 - 33. Suppose 2*r + d = 71, -d - s - 3 = -2*r. Suppose g = -2*g + r. Solve 3*b + g = -b for b.
-3
Let a(w) = 5*w**2 + 1. Let x be a(-1). Let u = 6 - x. Suppose 0 = -u*d - d + 3. Solve -d*r = 2 - 8 for r.
2
Let a be (-15)/(-4) + 4/16*1. Solve -4*w + a = -8 for w.
3
Let c(z) = z**3 + 6*z**2 + 4*z - 2. Let a be c(-5). Suppose -2*k + 20 = a*k. Solve k*n + 2 = -2 for n.
-1
Suppose -12 = -2*c + 4*k, 5*c + k = 4*k + 23. Suppose -12 = -4*z + c. Solve v + z = 2*v for v.
4
Let t be (-60)/6 - (-2 + 4). Let d = -12 - t. Solve d = -s - 3*s for s.
0
Let y(k) = -24*k + 5 + 12*k - 2 + k**2. Let h be y(12). Solve h*f + 0 = -3 for f.
-1
Suppose 0 = 35*j - 31*j. Solve j = 5*s - 10 - 0 for s.
2
Let s = 13 - 9. Let b = s - 2. Solve -12 = 2*l - b for l.
-5
Suppose -2*s - 10 = -2*f - 0*s, 0 = 4*f + 3*s + 1. Solve 8 = 2*b - f for b.
5
Let n(t) be the first derivative of 2*t**3/3 - 3*t**2 + 5*t + 3. Let h = 18 + -13. Let m be n(h). Solve k + 4*k + m = 0 for k.
-5
Suppose -3*p = -3*z - 24, -z = -0*p + p. Let m = 28 + -4. Solve p*s - 4 = -m for s.
-5
Suppose -2*r = -5 + 1. Let f = -21 + 21. Suppose f = 2*v - m - 7, 4*v = v - m + 3. Solve 0 = r*o + v - 4 for o.
1
Let z = -5 - -9. Solve 6 + z = -2*y 