 Solve -i = v - 4 for v.
1
Let w be (2 + (-3 - 1))*-1. Suppose 0 = 4*x + 2*d - w, 0 = -0*x - 3*x - 4*d - 1. Let f be x + (-3 - -3 - 0). Solve -z = -0*z + f for z.
-1
Let n be 7/(42/4) - (-406)/21. Solve -n*h - 25 = -15*h for h.
-5
Suppose 20 = -6*n + n. Let k be n + 3*(-12)/(-9). Solve k*t + 5*t = 0 for t.
0
Let v = -430 + 437. Solve -2*r + 1 = -v for r.
4
Let n = -768 + 770. Solve -10*w + 12 = n for w.
1
Suppose -479 = h - 492. Solve 3 = 4*s - h for s.
4
Suppose 0 = -5*u + 2*x + 112, 0 = 4*x + x + 5. Solve u*r = 20*r - 2 for r.
-1
Let m = 20 - 18. Let f(i) = -10*i + 8 + 2*i**2 - i**m - 11. Let q be f(11). Solve 3*w + q = -w for w.
-2
Suppose 0 = 4*h - 0*f + 2*f + 64, -3*h = 4*f + 53. Let l = h + 15. Let t = 5 + l. Solve -z - 2 + t = 0 for z.
3
Suppose -x - 12 = -17. Let v be (34/x)/(12/30). Solve -8 = 5*h + v for h.
-5
Suppose -25*k + 38*k - 260 = 0. Solve -8*y + 4*y = -k for y.
5
Let i be (1*-2)/(3 + 28/(-8)). Solve -i*k + 6 = -14 for k.
5
Suppose 67 = 3*r - 5*g, -2*r = -0*r - g - 40. Suppose 0 = -6*m + 10*m - 2*j - 16, -4*j = -2*m + 14. Solve 4 - r = -m*v for v.
5
Let a(y) = 3*y - 9. Let w be a(5). Suppose -5*o + 4*x - 3*x + 10 = 0, -3*o + x = -w. Solve o*l = 6*l - 12 for l.
3
Let c(a) = -a**3 + 6*a**2 + 3*a + 29. Let d be c(7). Solve -5*s - d = 4 for s.
-1
Let v(p) = -p**3 - 22*p**2 + 1. Let x be v(-22). Let s = 32 - 27. Solve -s = -a - x for a.
4
Let d be ((-2)/(-1))/(-6) + 8/6. Suppose -3 + d = -m. Solve -3*k + m = -4 for k.
2
Suppose 0 = -12*j + 24*j - 336. Solve 0 = -j*r + 26*r - 6 for r.
-3
Let s = 199 - 193. Solve g - s = -4 for g.
2
Suppose 2*s = 4*q - 46, 0 = 4*q + 2*s - 6*s - 36. Let a be -10*10/20 - (-1 - 8). Solve -q + a = 2*l for l.
-5
Let a = -18 - -23. Suppose -a*z + 19 = 2*x, 0*x + 3*x + 2*z - 12 = 0. Solve -2*i + x = -2 for i.
2
Let n(p) = p**2 + 3*p + 2. Let q be n(-2). Let x be -2 - (-5)/((-15)/18). Let s = -6 - x. Solve t + q = s for t.
2
Let m(l) = 2*l**2 - 1. Let g be m(-3). Suppose 20*p = g*p - 6. Let r be 4 - (4 + 2 + p). Solve o - 6*o + 10 = r for o.
2
Suppose -v - 74 = n - 5*n, 0 = -4*n - 4*v + 64. Suppose 20*f = 23*f - n. Solve -14 = -2*m - f for m.
4
Let f = 660 + -656. Solve 0 = f*c + c - 15 for c.
3
Suppose -2 = 2*q, -y = -3*q - 0*q - 4. Suppose -2*l - 2 - y = -5*z, 0 = -5*z + 5*l. Suppose 18*a - 17 = a. Solve z = -u - a for u.
-2
Let t(f) = f**3 - 8*f**2 + 3*f - 11. Let a be t(8). Let m be (5 + 125/(-30))*6. Solve -m*r + a = -2 for r.
3
Suppose -2*a = -5*u + 3, 2*a + 24 = 4*a + 4*u. Solve -12 = 3*z - a for z.
-2
Suppose 38 = 2*g + 34. Solve 5*z - g*z - 12 = 0 for z.
4
Let y(v) = -2*v**2 + 69*v - 97. Let c be y(33). Solve -11 = -c*k - 3 for k.
4
Let j(v) = 15*v**3 - 2*v**2 - v + 2. Let u be j(1). Let m = 22 - u. Solve -3*s = m + 7 for s.
-5
Let t = -17 + 8. Let p(f) = f**2 + 7*f - 14. Let v be p(t). Solve 2 = l + v for l.
-2
Let z be 3 + (-2)/((-2)/9). Let j = -27 + z. Let n be (-1 + 0)/(5/j). Solve -c = -0*c - n for c.
3
Suppose 0 = 6*m - 1 - 17. Solve m*l = -3*l for l.
0
Suppose 15*k + 3 = 16*k. Suppose 5*l - 16 = -3*l. Let g be 1*2 - (1 + 0). Solve -l = -k*q + g for q.
1
Let x(m) = 8*m - 4. Let i be x(4). Suppose 5*k + 0*w + 131 = -w, -2*w = -3*k - 76. Let v = k + i. Solve v*g - 4*g = 2 for g.
-1
Let s(b) = -b**3 + 4*b**2 + 12*b - 29. Let g be s(2). Solve 39*m - g = 36*m for m.
1
Let f = 57 - 12. Let d = f + -41. Solve d + 1 = 5*w for w.
1
Suppose 3*g - 16 = -2*z, -3*z = -0*g + g - 17. Let m be (-4)/(-1) + ((-304)/(-8) - -8). Let l = -46 + m. Solve -l*x = -z*x for x.
0
Let d = -10 + -3. Let p = 5 + d. Let v(y) = y**3 + 9*y**2 + 8*y + 4. Let l be v(p). Solve -l*n = n for n.
0
Suppose -4*c = 11 - 39. Let b(g) = 10*g - 18. Let j(u) = 3*u - 6. Let z(x) = c*j(x) - 2*b(x). Let q be z(7). Solve 5*s + q = 6 for s.
1
Suppose 3*q - 22 = -4. Let y be 2 + (0 + q)*-1. Let v(s) = s + 7. Let k be v(y). Solve -2*b + k*b + 4 = 0 for b.
-4
Let n = -74 - -78. Suppose 0*d = n*d + p - 11, 2*p - 1 = -d. Solve d*y + 6 = y for y.
-3
Let k(z) = z**3 + 11*z**2 + 14*z - 5. Let u(v) = -3*v**3 - 33*v**2 - 41*v + 14. Let g(s) = 11*k(s) + 4*u(s). Let h be g(-10). Solve -o - 2 = -h for o.
-1
Let x be (16/6)/(7 + 190/(-30)). Solve -3*v + v = x*v for v.
0
Let l(y) = 13*y - 1. Let n be l(1). Suppose 9*w - 6 = 6*w. Solve -w*z - z = n for z.
-4
Let h be -4 + (2/(-2) - -32). Suppose -3*f + v - h = 3*v, -5*f - v - 38 = 0. Let d(k) = k**3 + 6*k**2 - 10*k - 10. Let g be d(f). Solve -3*p + g = -1 for p.
4
Suppose 3*s = 2*h + 33, 0 = -4*h - 4*s - 91 - 25. Let q be 2/3 - (-16)/h. Let z = -12 + 14. Solve -2*y - z*y - 4 = q for y.
-1
Let h(n) = n**3 + 11*n**2 - 43*n + 3. Let s be h(-14). Solve 0 = 10*r - s*r - 28 for r.
-4
Suppose -2*q + 19 = -q + 5*a, a - 19 = -4*q. Suppose -16 - 9 = -5*i, 0 = 2*r - q*i + 6. Solve -3*h = 1 - r for h.
2
Suppose 10*x - 11*x + 3 = 0. Suppose -x*y + y - 3*b + 7 = 0, 3*b - 5 = -y. Solve 4 - 2 = -y*w for w.
-1
Suppose 2*q + 6 = 2*m, 2*m - m - 4*q - 18 = 0. Let o be (-4*m/(-2))/(-2). Suppose 4 = a - 2*k, 3*a - 3 - 1 = -o*k. Solve a*z - 2 = 3*z for z.
-2
Let j be 3 + 5 - 1*-1. Let t(b) = -10*b + 24. Let r be t(-8). Let n = 104 - r. Solve 0 = -n*p + 3*p + j for p.
-3
Let l = -134 - -136. Solve -5*z = l - 22 for z.
4
Suppose -5*o = -5*w - 4 - 6, o - 5*w - 6 = 0. Suppose o = 3*j - 3*r - 5, r + 2 = 2*j. Solve 0*q + 3*q - 3 = j for q.
1
Suppose -2*d + 20 = z, d = -z + 157 - 138. Solve 12*j = -6 + z for j.
1
Suppose 2*i + 8*i = 810. Let v = 89 - i. Solve z + z + v = 0 for z.
-4
Suppose 2*c + 4*m + 12 = 0, -2*c = 2*c - 3*m - 20. Suppose -d = -5*g + c, -2*d + 8 = 4*g - 6*d. Let f(v) = -v - 2. Let x be f(-4). Solve x*y - 2 - 2 = g for y.
2
Let r = 70 - 66. Suppose 10*q + r - 44 = 0. Solve -q*z + 6*z + 8 = 0 for z.
-4
Let t(b) = -6*b**2 + 79*b + 21. Let p be t(13). Solve p*l - 36*l = -10 for l.
5
Let s = 15 + -11. Let c = s + -2. Solve -2*g + c - 4 = 0 for g.
-1
Let n = 5 + -3. Let g be n + (-3)/((-12)/(-64)). Let d = g - -14. Solve d*w - 1 = -w for w.
1
Let x be (-4)/(-20)*3/((-21)/(-245)). Solve x*y - 60 = -5*y for y.
5
Let a = -19 - -20. Let o(s) be the second derivative of -s**5/20 + s**3/6 + 2*s. Let v be o(a). Solve v*z - 5 = z for z.
-5
Suppose -5*m - 3*t = -196, 2*m = 2*t + 80 + 8. Let x = -57 + m. Let p be (x/(-10))/((-8)/(-20)). Solve -12 = p*z - z for z.
-4
Let j = -5 + 5. Let i = 793 + -789. Solve c - i = -j for c.
4
Let y(l) = 15*l - 35. Let a(i) = 5*i - 12. Let w(p) = 7*a(p) - 2*y(p). Let z be w(3). Solve b = z - 3 for b.
-2
Suppose 0 = -4*g - 12, 3*p = 3*g + g - 27. Let d = p + 15. Let h = -2 + d. Solve h = -t + 3*t - 6 for t.
3
Let x(r) be the first derivative of r**4/4 - 2*r**3 + r**2/2 - 2*r + 4. Let z = 19 + -13. Let v be x(z). Solve -v*g - 8 = -2*g for g.
-4
Suppose 4*f - 84 = f. Solve -6*r = 10 - f for r.
3
Let p(q) be the first derivative of -q**3/6 + 8*q**2 - q + 2. Let j(b) be the first derivative of p(b). Let d be j(11). Solve d*x = 27 - 2 for x.
5
Let a = 66 + -36. Suppose 0*j - 2*j = -a. Solve j + 5 = 5*f for f.
4
Suppose 2*m - 39 = -49. Let w = -4 - m. Solve -1 = 2*s + w for s.
-1
Let r be 0/(-1)*(-4 + (-7)/(-2)). Solve -4*a + 8 + 0 = r for a.
2
Suppose 10*w = 14*w - 12. Let z = -8 - -18. Solve -w*s + 1 = z for s.
-3
Let x be 12/1*(-2 - 15/(-6)). Solve -v + 4*v = x for v.
2
Let q be 2 - (-9 + 9)/(-7). Let r(i) = -i + 6. Let n be r(6). Solve n = -0*x + q*x for x.
0
Let i = 1481 + -1481. Solve i = -13*j + 20*j - 28 for j.
4
Suppose -4*n + 14 = a - n, a + 5*n - 4 = 0. Let k = a + -26. Solve -2*q = k + 5 for q.
-4
Let v be (4/10)/(-7*(-1)/70). Suppose 3 + 9 = -4*s. Let m(u) = -u**2 - 3*u + 3. Let r be m(s). Solve -v = -r*a - a for a.
1
Let k(s) = s**3 - 8*s**2 + s - 4. Let w be k(8). Suppose o - 5 = -i, -w*o + 3*i = -2*o - 25. Let y be (3 - 4) + (0 - -1). Solve o = -y*p - 4*p for p.
-2
Let a(f) = -13*f + 4. Let m(s) = 38*s - 11. Let l(z) = -17*a(z) - 6*m(z). Let v = -4 - -3. Let t be l(v). Solve -k = -t*k for k.
0
Let x(v) = v**3 + 11*v**2 + 15*v - 5. Let o be x(-7). Let s = o + -86. Solve 2*k = -s*k + 4 for k.
2
Let l = -391 + 415. Solve -l - 30 = 27*k for k.
-2
Suppose -23*n + 27*n - 28 = 0. Solve -n*g = 5 + 2 for g.
-1
Let b be (17/2)/(2/4). Suppose 0 = -5*q + b + 8. Solve -7 = -q*g + 3 for g.
2
Suppose -4*p - 9 = 7. Let u be 30/(-40)*(p - 0). Solve 2*k + 5 = u*k for k.
5
Let z = 515 + -515. Solve -5*p + 