 3*v = 4. Let y be 3*(-3)/18*z. Let h be y + 2 + 12 + -6. Solve h = -5*t - 8 for t.
-3
Let w = -363 - -370. Solve 0 = u + w - 3 for u.
-4
Suppose 4*i + 4*a - 8 = 0, 5*i - 19 + 0 = -2*a. Suppose -t - 4*l = -4*t - 8, i*l - 17 = 2*t. Solve 0*k = -t*k + 4 for k.
1
Suppose -13 = -3*u - i, 4*u - 11 = 110*i - 105*i. Solve -6*g - 4 = -u*g for g.
-2
Let a(l) = -15*l**3 + l**2. Let m = 30 + -31. Let i be a(m). Solve 4*b = -0 + i for b.
4
Suppose -36 + 36 = -7*d. Solve -2*b + d*b = 3*b for b.
0
Let y = 26 - 23. Let u = y + -1. Suppose -u*c = c. Solve -3*m - m + 8 = c for m.
2
Suppose -5*l + 4*s + 26 = 131, -5*s - 25 = 0. Let r = l - -25. Let q be 3*(1 - r) + -1. Solve d - 3 = q*d for d.
-3
Let j be (4 - 0) + -2 + -5 + 13. Solve 16*n + j = 11*n for n.
-2
Let h(g) = -5*g - 82. Let k be h(-26). Solve k + 7 = -11*q for q.
-5
Let r = 0 + 0. Let b(t) = t**3 + 9*t**2 + 14*t + 7. Let p be b(-4). Suppose -p*a + 40 = -23*a. Solve r = -4*f + 3*f + a for f.
5
Let t(q) = -6*q + 16*q - 2*q - 9*q + 4. Let a be t(2). Solve a*v - 5 - 5 = 0 for v.
5
Let h(f) = f**3 - 10*f**2 + 4*f - 7. Suppose i = 3*i - 20. Let y be h(i). Solve -y = -5*s - 8 for s.
5
Suppose -2*z - z + 2*w = -32, z - 4 = -w. Suppose -j + 2 = -3*a + 5*a, -10 = -a + 4*j. Suppose 0 = k - a*n + 1, -n = k + k - z. Solve -4 + 1 = -k*i for i.
1
Let k(i) = i**2 + 3*i - 51. Let f be k(-9). Let r = -5 + 15. Suppose 3*g = -v + r, 5*v - 2*g - 14 - 2 = 0. Solve -q + f = v for q.
-1
Let t = 77 - 82. Let k be -2 + 0 - -5 - (-6 - t). Solve 2*x + 14 - k = 0 for x.
-5
Suppose -210 = 59*h - 61*h. Let y = -105 + h. Solve y = 3*s - 8 - 1 for s.
3
Let k(u) = 3*u**2 - 6*u - 3. Let j be k(3). Suppose m - 3*l = -j, -5*m + 4*m + 4 = 2*l. Let o = -2 + 6. Solve y + o*y + 25 = m for y.
-5
Let f be 15/(-6)*(96/(-4))/(-2). Let d be (6/(-4))/(15/f). Solve -d*t = -0 + 6 for t.
-2
Let j = -27 + 10. Let x = 32 + j. Solve x = 3*t - 0*t for t.
5
Let h be ((-20)/(-16))/(-1)*-4. Let l(p) = p**2 - 5*p + 5. Let j be l(h). Solve j + 1 = 3*f for f.
2
Let z = -403 + 405. Solve z*t - 1 = 5 for t.
3
Let d = 4 - 2. Let h = -14 - -9. Let n be 84/(-45)*-3 - 2/h. Solve d*r + n = -r for r.
-2
Let r be (-15 - -13)/(-1 - 0). Suppose -27 = r*v - 33. Solve 20 = -8*s + v*s for s.
-4
Let q(u) = u**2 + 14*u + 58. Let k be q(-10). Solve 4 = k*i - 14*i for i.
1
Suppose -6*m = -3*m. Suppose m = v + z + 3, 4*z + 20 = -0*z. Let g be (-1)/(2/(-68)*v). Solve -5*o - 2 + g = 0 for o.
3
Let f(p) = p**2 + 4*p - 4. Let r be f(1). Suppose -s = -2*s + r. Solve t + 3 = -s for t.
-4
Suppose 4*c + 2*r = 0, -2*c = -5*r + 4*r. Solve -12 = -c*g + 4*g for g.
-3
Let x = 4 - 1. Let r = 9710 - 9698. Solve -r = -0*m + x*m for m.
-4
Let k(y) be the second derivative of y**3/3 + 19*y**2/2 + 20*y. Let j be k(-8). Suppose -4*x + 4*a + 16 = 0, -3*x = x - a - 7. Solve j = w + x for w.
2
Let u = -1 + 3. Let t(i) = -i + 4. Let a be t(5). Let c = a + 3. Solve -u*p - c*p = 8 for p.
-2
Let z be (-12)/14 - 759/(-77). Solve z = 15*y + 54 for y.
-3
Suppose 0 = 2*a - 29 - 23. Suppose -4*r = a - 34. Solve r*c = 3 + 5 for c.
4
Let y be 8/6*(-6)/(-4). Let i be (-2 + 13/4)*4. Solve i*k = y*k - 6 for k.
-2
Let n(v) = 6*v + 7 - 7*v + 10 + 1. Suppose m - 64 = -3*m. Let i be n(m). Solve -3*k = -i*k for k.
0
Suppose 1710 = -5*l + 1725. Solve -l*a + 10 = 19 for a.
-3
Suppose 2*r + 23 = 3*s, -4*r + 24 - 59 = -5*s. Solve -10 + s = b for b.
1
Let b(h) = 4*h**2 + 6*h - 12. Let m be b(-4). Let l be (1/(-4))/((-7)/m). Solve 0*g = g - l for g.
1
Let h(q) = -q - 4 + 2 + 5. Let b be h(3). Let c be 8*(2 - (1 + b)). Solve -4*s = -0*s + c for s.
-2
Let l be 29/(-4) - (-5)/20. Let h be -6*l/((-21)/(-16)). Suppose -h = -0*u - 4*u. Solve -4 - u = 4*j for j.
-3
Let z(s) = -17*s - 10. Let v be z(-4). Let j = 63 - v. Solve -4*w - j = -1 for w.
-1
Suppose -2207 = -76*j + 6989. Solve -125 = 2*n - j for n.
-2
Let i be (66*-1)/(-3)*2. Let w be ((-165)/i)/(6/(-8)). Solve -w*u + 6*u - 1 = 0 for u.
1
Suppose -24*s + 35 = -37. Suppose 19 = -4*v - 13. Let n be ((-3)/(-2))/((-3)/v). Solve -n = k + s*k for k.
-1
Let m(z) = -z**3 + 8*z**2 + 14*z + 85. Let o be m(10). Solve o*i - 5*i + 4*i = 0 for i.
0
Let d be (-2)/4 - 15/(-2). Suppose 40 = -5*k - 2*s, k - 3*s - 7 = 2. Let y = k + d. Solve -6 = -r - y for r.
5
Suppose -8 = -3*k + k. Suppose 0 = y - k*y - 5*g, 4*y = -2*g. Solve y*f = -5*f - 15 for f.
-3
Let a be (-16)/(-6)*9/12. Let r be 24/2*(-8)/(-6). Let h be -4*1 + 3 + r. Solve h = -a*n + 5*n for n.
5
Let t(f) = 30 - 22*f**3 + 23*f**3 + 65 - 2*f. Let j be t(0). Suppose 0 = -2*w - 5*m + j, 3*w - 3*m - 126 = -5*m. Solve -5*r + 15 - w = 0 for r.
-5
Let j be (4/(-6))/(6 + 140/(-24)). Let y be (-1)/2 - ((-286)/j)/(-11). Solve 2*m - y*m = 4 for m.
-1
Suppose -2 = -2*l + 6. Suppose 3*u = n - 18, l*u + 0*u - 40 = -4*n. Solve n + 8 = -5*b for b.
-4
Suppose -21 = 4*f - 11*f. Suppose f*x - 7*z = -10*z, 0 = -x + 2*z. Solve -4 = -x*n - n for n.
4
Suppose -12 = -f - 3*f. Let k be f/6 + (-28)/(-8). Let y = 0 + 9. Solve k*a = y + 7 for a.
4
Let b = 24 - -21. Suppose 0*t + b = 3*t. Solve -l - t = 2*l for l.
-5
Let i(w) = -13*w - 122. Let y be i(-14). Solve 14*d + d = -y for d.
-4
Let i = -3451 + 3453. Let n(h) = -h**3 + 6*h**2 + 4. Let s be n(6). Solve -3*d = i + s for d.
-2
Suppose -74 = 5*q - 3*a - 58, 4*q + a = 11. Let y be (-6)/2*(-4)/6. Solve y*u = u - q for u.
-1
Let u = -3 - -5. Suppose -12 = -4*w + u*w. Solve w = -3*x - 0 for x.
-2
Suppose 5*w + 0*g - 45 = -2*g, 2*w - 18 = 4*g. Solve i - 9 = -w for i.
0
Let q(o) = o - 5. Let j be q(8). Suppose 2*i = c + 18, -4*i + 9 = -3*i + j*c. Solve 15 = 4*t - i*t for t.
-3
Let n = 311 - 306. Solve 16 + 9 = n*s for s.
5
Let k = 455 + -436. Solve 0 = -23*j + k*j + 4 for j.
1
Let q = -110 - -116. Suppose -q*o + 5 = -25. Solve -2*g + o*g + 9 = 0 for g.
-3
Suppose -79*l = -81*l - 2*r + 16, -4*l = -5*r - 5. Solve 0 = -0*f - f + l for f.
5
Let k be (-1)/(((-30)/(-40))/((-30)/4)). Solve 2*q - 4*q = -k for q.
5
Suppose -p + 3*p = 8. Let z = -4 + 9. Let c = z - p. Solve 0 = -2*g + 9 + c for g.
5
Let c(v) = -5*v - 12. Let y be c(0). Let n be y/(-9) + 16/(-12). Solve -d - 5 + n = 0 for d.
-5
Let a(b) = -b**3 - 4*b**2 - b + 7. Let s = 33 - 36. Let r be a(s). Solve 0 = -2*p + r + 3 for p.
2
Let u(n) = -113*n + 620. Let l be u(5). Solve 6*q + l - 55 = 0 for q.
0
Let b be 11/3 - 4/6. Suppose 7*a = b*a. Solve a*d + d = -3 for d.
-3
Suppose 2*w - u = 8, -w - 12 = -4*w + 2*u. Let i(x) = -x**3 - 3*x**2 + 6*x - 4. Let n be i(-5). Solve w = 5*h - n for h.
4
Let t(v) = -v. Let c be t(-6). Let a be (-9)/(-6) + c/(-4). Suppose a = 5*z - 5*m, -3*z + m + 3*m = 0. Solve 5*o - 3 - 22 = z for o.
5
Let n = -466 - -493. Solve 26*h = n*h + 3 for h.
-3
Let l(y) = -y**2 - 6*y + 12. Let z be l(-8). Let f be (-9)/36 + (-9)/z. Suppose 0 = 5*v + 3*h - 1 - f, -2*v = -h + 1. Solve -r + 0 - 3 = v for r.
-3
Let z be (-8 - -4)/((-2)/6). Let d be ((-1)/2)/((-1)/z). Let p be 2*15/d + 2. Solve -2*i + p*i = 5 for i.
1
Suppose 8*y + 138 = 10*y. Suppose y - 71 = -v. Solve 3 = -5*c - v for c.
-1
Suppose -z + 7 = -o + 2*z, 0 = -2*o + 2*z - 2. Suppose -4*x + 16 = 0, o*x = -2*k + k + 5. Let h be k/2*-4 - 3. Solve 3*w - h - 9 = 0 for w.
4
Let a(q) = 48*q - 10 + 42*q + 46*q + q**2 - 141*q. Let g be a(7). Solve -4 = g*x - 2*x for x.
-2
Let u = 22 - 35. Let y = 16 + u. Solve -y*n = 2*n - 25 for n.
5
Let k(d) = 6*d**2 - 5*d + 11. Let o(q) = -5*q**2 + 6*q - 11. Let y(f) = -4*k(f) - 5*o(f). Let u be y(9). Solve 15 = -u*j - 3*j for j.
-3
Let g(z) = -4*z - 4. Let x be g(-4). Suppose -x = -5*k - v, v - 1 = 1. Suppose 0*q + 3*q + 2*l - 16 = 0, k*l = -q + 4. Solve 2*n = q*n for n.
0
Let d(x) be the second derivative of -x**4/12 - 2*x**3/3 + x**2 + 3*x. Let s be (-2)/(-16) - (325/40 + -4). Let p be d(s). Solve -t - p*t - 6 = 0 for t.
-2
Suppose -4*h = 8*m - 5*m - 17, -5*m = -15. Let b(o) = -o**3 + 7. Let p be b(0). Let s be -2 + p + h/(-1). Solve 18 = s*w + 6 for w.
4
Suppose -g = -f - 19, 2*f = -0*f - 8. Suppose -5*b - g = -10*b. Solve q - 4*q - b = 0 for q.
-1
Let x be (-5 - 9/(-3)) + 18. Let f be ((-2)/(-4))/(8/x). Let v be (3/(3/2))/f. Solve -3*r + r = -v for r.
1
Suppose r + 12 = 2*r. Suppose -2*i + r - 8 = 0. Solve 5*q = i*q for q.
0
Let o be (1/6 - 327/18)*-2. Solve 0 = o*z - 33*z for z.
0
Suppose 0 = 6*h - 11*h. Suppose 4*z + 20 = 0, -4*j - 48 = -h*j - 4*z. Let 