for v.
3
Let p = -431 + 433. Solve -5*c = p*c - 7 for c.
1
Suppose -397*h = -395*h - 8. Solve 6*t - 10*t = -h for t.
1
Let u(z) = z**2 - 4*z + 1. Let k be u(5). Let m(y) be the second derivative of -y**4/12 - 19*y**3/6 - 4*y**2 + 36*y. Let j be m(-17). Solve -k = -5*a - j for a.
-4
Suppose 0 = -4*i - 4*n + 36, 38 = 5*i + 4*n - 8. Solve 0 = i*l - 50 + 10 for l.
4
Let f(y) = -13*y - 75. Let z be f(-6). Solve -z = -2*b - 1 for b.
1
Let n be -3 + (0 - -30)/(-2). Let z = -2 - n. Suppose w + 2*w = 5*u + 20, 3*w - z = u. Solve 2*x - w*x = 0 for x.
0
Let t = 8 - 8. Suppose 15 = -3*o - 12. Let u = 9 + o. Solve u*f - f = t for f.
0
Suppose 4*o - 3*s + 2*s - 17 = 0, -o - 4*s = 0. Suppose -3*m + 20 = -4*u, 2 + 3 = 3*m - u. Solve -3*h + o*h = m for h.
0
Let x(u) = 39*u**2 + 2*u - 2. Let y be ((-8)/(-6))/(20/(-30)). Let g be x(y). Let r be g/9 - 8/12. Solve 5*f = f + r for f.
4
Let b = -2253 - -2392. Solve 137*q = b*q + 6 for q.
-3
Suppose 22 = -10*o + 52. Solve o*z - 9*z + 6 = 0 for z.
1
Let g = -11 + 15. Let w = 427 - 426. Solve w = 3*y + g for y.
-1
Let l = -101 + 100. Let m(p) = 4*p**2 - 3*p - 1. Let s be m(l). Solve -3*q + 5*q = -s for q.
-3
Suppose 3*x = -r + 4, -r + 14*x - 10*x = -4. Solve -9 - 11 = r*j for j.
-5
Let g be 6/(-4)*(-20)/15. Let z(r) = 0 + 5 - g - r. Let l be z(0). Solve 2 = l*c - 10 for c.
4
Let b(u) = u**2 + 9*u - 7. Let q be b(-10). Solve 0 = -f + q - 4 for f.
-1
Let c(a) = 2*a**2 - 12*a - 10. Let j be c(-1). Solve j*o = 8*o for o.
0
Suppose -2 + 18 = 2*t. Let s = t + -6. Solve 0 = s*d - d - 2 for d.
2
Let k be 11 - (7 - (5 + 0/(-1))). Solve k + 12 = -7*b for b.
-3
Suppose -4*q + 63 = -3*a, 1 = -q - 2*a + 3. Suppose q*p + 4 = 13*p. Solve -2*n - p = 6 for n.
-5
Let d(n) = -n**3 - 4*n**2 - 4*n - 6. Let q be d(-4). Let x(z) = 16*z + 6. Let h be x(-5). Let y = -64 - h. Solve q*u + y = 5*u for u.
-2
Suppose 0 = 3*u - 5*u + 10. Let w = 61 + 15. Suppose 0 = 5*q + 6 - w. Solve u*l = -q - 11 for l.
-5
Suppose v + 10 = 3*i, 5*i - 3*v = -v + 15. Let w be (i - 1)/(3 + -1). Solve g = w*g + 4 for g.
-4
Suppose 28 = 5*u - 4*o, -5*u = o + 1 - 44. Suppose -3*k + u = -7*k. Let x(a) = -a**3 - 3*a**2 - 3*a. Let y be x(k). Solve 4*r - y = 3*r for r.
2
Let y(k) = -2*k - 14*k**2 + k**3 + 19*k**2 + 0 + 1 - 3. Let z be y(-6). Let o be 1 - z - (-4 + 6). Solve -2*x + o = -7*x for x.
-5
Let u(i) = 2*i**2 + 7*i - 2. Let s be 150/(-42) - 9/21. Let c be u(s). Suppose b = -c*b + 12. Solve -b*a + 6 = -10 for a.
4
Let a = -235 - -238. Solve -2*m + a = -3 for m.
3
Suppose 0 = l - 5*v + 1, -5*v - 4 = -4*l + 7. Let a = 96 - 168. Let t be a/(-7) + (-4)/14. Solve f + l*f - t = 0 for f.
2
Let s(m) be the second derivative of m**4/12 - m**3/2 + m**2 - 2*m. Let t be s(3). Let c = -4392 + 4396. Solve -c = -y + t*y for y.
-4
Let c be -3*(-6)/9 - -1. Suppose 5*n + 22 = -s, -2*s = 3*s + c*n. Suppose -s*u + 4 + 20 = 0. Solve 3*p = 7*p + u for p.
-2
Suppose 0 = -5*i + 4*d - 0 - 1, 2*i - 2 = d. Suppose 5*b - 8 - 2 = 0. Solve 5*u = b + i for u.
1
Suppose z + 9 = -33. Let x = 57 + z. Let m = -2 - -4. Solve -m*c - 3*c + x = 0 for c.
3
Suppose 0 = 4*x + 4*p + 4, 2*p = -4*x + 8 - 6. Let n(t) = 3*t**2 - t - 2. Let w be n(2). Solve -x*a - w = -0 for a.
-4
Suppose -8*k + 7*k = 0. Solve k = 9*c - 10*c - 5 for c.
-5
Let z = 4 + 0. Suppose -5*o = -z*o - 19. Solve 4*w = 1 + o for w.
5
Let s(t) = t**3 - 3*t**2 - t - 9. Let b be 10/3 - 2/(-3). Let h be s(b). Let u(a) = a**3 + a**2 - 8*a - 3. Let d be u(-3). Solve 0*c + h = d*c for c.
1
Let g = 285 - 279. Solve g*u - 4*u = -10 for u.
-5
Let j(k) = k**2 - 5*k - 2. Let o be j(6). Suppose -o*v - 26 = -6*v. Suppose 2*y - 3*i - 3 = -0, -4*y = i - v. Solve -2 = -y*n + 1 for n.
1
Suppose 0 = 2*h - 4*q + 2, -4*h + 20 = q + 3*q. Solve -26 = -h*j - 17 for j.
3
Let s(f) = -14*f + 236. Let n be s(16). Solve -6*b + 36 = n for b.
4
Let f(h) = -1 - h**2 - 2 + 2 - h**3 + 4. Let m be f(0). Suppose -18 + m = -3*n. Solve -13 + n = -2*t for t.
4
Suppose -4*d - 246 = -262. Solve 0 = d*w + 21 - 5 for w.
-4
Suppose -6*u - 132 = -9*u. Let s = 48 - u. Solve s*j + 4 = 2*j for j.
-2
Suppose 3*i = 5*n + 2*i - 25, n = -3*i + 5. Let m be 15/n + 2 + 0. Solve -7 = 3*g + m for g.
-4
Suppose 0 = 5*k - 5*p - 45, -k - 2*k = 4*p + 1. Suppose -2*f + k = 4*n + 1, -n = 2*f - 4. Suppose 3*t + n*t - 9 = 0. Solve t*z + 20 = -z for z.
-5
Suppose -5*b = -6*g + 11*g - 20, -5*b = -2*g - 20. Solve b*i - 6*i = 8*i for i.
0
Suppose 0 = -2*n - 5*t - 36, -3*t + 4*t + 90 = -5*n. Let l = n - -22. Let c be -3*(1/(-1) + 0). Solve s + l = c*s for s.
2
Suppose 3*v = 3*s + 15, -3*v - 3*s - 10 = -s. Suppose v*i + 4 = i. Suppose -5*q - 2*d + 2 = 0, -i*d - 20 = -4*q - d. Solve 0 = k + q + 2 for k.
-4
Let c(m) = -m + 8. Let f be c(6). Let t(b) = 30*b**3 - 3*b**2 + 2*b - 1. Let l be t(2). Let w be (-42)/l - 48/(-22). Solve -f*x - w = -4 for x.
1
Suppose 1715 - 1747 = -8*k. Solve k = -20*p - 16 for p.
-1
Let z = 91 - 85. Suppose -4*w + w = 3*u - 6, 3*u - 12 = 3*w. Let o = w - -4. Solve o*t - t = z for t.
3
Suppose 3*y - 2*l = 20, 2*y = y - l. Solve -y*o = -5*o + 2 for o.
2
Suppose 2*i - 4*m = 12, -4*m - 5 = -5*i + m. Let y(h) = h**2 + 2*h + 1. Let q be y(i). Let d be 12/q*(1 - -2). Solve -d = -4*g - 0 for g.
1
Let z(u) = -2*u**3 - 23*u**2 - 32*u - 5. Let f be z(-10). Solve -2*p = -7*p + f for p.
3
Suppose 2*t = -3*t - v + 34, 3*t - 24 = 3*v. Suppose -3 = -x + t. Suppose 4*d + 20 = 2*a, -5*a + 0*d - x = 5*d. Solve q = -a*q for q.
0
Suppose -12*l + 82 = 70. Solve 0 = -3*m + 1 - l for m.
0
Let w = 1155 + -842. Solve -6*i - w = -325 for i.
2
Let y = 8 - 8. Suppose 3 = h - y. Suppose -2*x + 20 = h*x. Solve -3*o = -o + x for o.
-2
Let i = 333 - 329. Solve -i*u + 26 = 42 for u.
-4
Suppose -9 = -3*i + u, -4*i - 4*u = -8*u - 12. Suppose 14 = 4*b + 6. Suppose x - i*k = -b*x + 9, 4*k = -x - 7. Solve -x = -c + 3 for c.
4
Suppose 0 = -34*s + 30*s. Suppose -2*i - 2 + 10 = 0. Solve i*u + 8 = -s*u for u.
-2
Let a(h) be the second derivative of 4*h**5/5 - h**4/12 - 2*h**3/3 + 2*h**2 - 18*h. Let m be a(1). Solve -3*r + m = -6*r for r.
-5
Let c be (-2)/(-14) - ((-69)/7 - -3). Let v = 3 - -2. Solve -c = -v*p + 18 for p.
5
Suppose 5*g = 18 + 42. Let v(i) = 3*i - 30. Let r be v(g). Solve -2*z = -r*z - 4 for z.
-1
Suppose 3*w = 4*w - 2. Suppose 2*x + 2*x = 2*i - 12, -w*i + 10 = -3*x. Solve -v - i = v for v.
-1
Let w = -63 - -65. Solve -8 = w*o + 2 for o.
-5
Suppose -6*b - 3*a = -69, 0*a + 2*a = -5*b + 56. Solve -b*i + 6 = -4 for i.
1
Let q be 8*1*(-14)/(112/(-12)). Solve q*w - 15*w = 15 for w.
-5
Let z(s) = -22*s**3 + 2*s**2 - s. Let g be z(1). Let k be (-7)/g*3*2. Suppose 0 = k*d - d + 4*o - 15, 4*o = -5*d + 27. Solve -d*a = 2*a - 25 for a.
5
Let k = -26 + 39. Let i = -15 + k. Let h be 7 + (-2 - i/1). Solve 3*r - h*r = -16 for r.
4
Let w(z) = -z**2 + 39*z + 684. Let k be w(52). Solve 2*n = -k + 14 for n.
3
Suppose -5*s = -i + 7, i - 6*i - 5*s + 5 = 0. Suppose i*j - 10 = -3*j. Suppose -j*r - 9 = -27. Solve -6*x + r = -3*x for x.
3
Let d = 4 + -3. Suppose -4*s - 4*u - 20 = -68, 4*s = 2*u + 54. Suppose -5*x + s = 2*t - 12, x - 5*t = -22. Solve -d + x = g for g.
2
Let m be 4704/(-80) + (-2)/10. Let k = m - -63. Solve -j = k*j - 20 for j.
4
Let l = -47 - -50. Suppose -2*g + 5 = 2*z - l, 0 = -3*g + 6. Solve z*a + 3*a + 10 = 0 for a.
-2
Let m = 13 - 12. Let g = -166 - -172. Solve 5*n - g = -m for n.
1
Suppose -4*g + 361 - 81 = 0. Solve 10*h + g = -4*h for h.
-5
Suppose -10*s = 18*s - 224. Solve 3 = 9*m - s*m for m.
3
Let b(s) = s**3 - 16*s**2 + 16*s - 5. Let n(p) = p**2 + 11*p - 11. Let d be n(-13). Let m be b(d). Solve 0*v = 2*v + m for v.
-5
Suppose 0 = -4*s - 4, 5*c + s - 22 = -2*s. Solve c*v + 10 = 5 for v.
-1
Let t be 12 - ((-216)/(-81))/((-8)/(-18)). Solve -5*y = 26 - t for y.
-4
Let y(w) = -w**2 - 27*w + 219. Let x be y(-33). Solve 0*k = -7*k + x for k.
3
Let a = -99 - -107. Solve 4*f - 12 = a*f for f.
-3
Let i(m) = -6*m**2 + 2*m + 2. Let w be i(2). Let o be (1/(-3))/(1/w). Solve 4*j - o = -2 for j.
1
Suppose -5*t + 20 = -b - 0*b, -t - 5*b = -30. Suppose -3*o = t*u - 9, -2*u + 4 = -4*o - 10. Solve 0 = -u*f + 9 - 0 for f.
3
Let w(n) = n**3 + 2*n**2 - 64*n - 7. Let y be w(-9). Solve y*k + 7 = 1 for k.
-3
Let j be ((-18)/(-4))/3 - (-68)/8. Solve -j*n - 4 = -6*n for n.
-1
Let z be (-12)/(-18) - (-1)/3. Suppose 0 = -5*j + 14 + z. S