3
Let i(g) = -g**2 + 13*g - 8. Let h be i(12). Suppose 4*c + h*b - 8 = 0, -c = -2*c + 3*b + 2. Solve -3*z - s + 12 = 0, 0*z - s - 13 = -c*z for z.
5
Let a(i) = -i**3 + 3*i**2 + 3. Let w be a(0). Let m be (40/(-25))/((-2)/5). Suppose -m*j - 6 + 14 = 0. Solve -2*b - 3 = -5*t, j*t = w*t - 3*b + 2 for t.
1
Suppose -21*f = -63 - 0. Solve z - 4*c - 8 = 0, 5*c - 6 = 3*z + f*c for z.
-4
Let r(n) = 11*n + 28. Let g(d) = -5*d - 14. Let z(p) = -7*g(p) - 3*r(p). Let t be z(-6). Let v = -10 - -21. Solve -t*u = -3*q + 5*q + 2, u = 2*q + v for q.
-4
Let j be (8 + -12)/(4/(-5)). Solve 0 = 5*s - 2*f + j, s - 2*f - f - 12 = 0 for s.
-3
Suppose 3*k = 3, -2*z + 63 + 11 = 2*k. Let j be 400/35 + 6/(-14). Solve -q + 5*q + 4*u = -z, q - 4*u = j for q.
-5
Let w = -21 + 22. Let r be (-7 + 4)*w*-3. Suppose -o - r + 13 = 0. Solve -18 = -o*a - s, a - 5*a - 4*s + 12 = 0 for a.
5
Let h be ((-32)/48)/((-2)/6). Suppose -4*c = h*c - 30. Solve 4*l = -c*v - 20, v - 10 = -0*l + 2*l for l.
-5
Let o be (-44)/(-6) - 4/12. Let l be ((-1)/(-2))/((-4)/(-496)). Let d = 90 - l. Solve 15 = -3*k, 2*a - 3*k + o*k + d = 0 for a.
-4
Suppose -5*a = -24 - 16. Let g be 55/20 - 6/a. Solve -5*w + g*x + x - 20 = 0, 0 = -4*x for w.
-4
Suppose -2*z + 25 - 3 = 2*y, -3*y + 5*z + 1 = 0. Let q = 703 + -683. Solve -3*d + v = q, y*v - 6*v = 5 for d.
-5
Suppose -2*q - 8 = 0, 4*q = 3*m + 2*q - 23. Solve -4 = 4*u - 0*u, 3*u - m = 2*z for z.
-4
Let a(s) = -2*s**2 + 15*s + 8. Let l be a(7). Let f = 12 - 7. Suppose -t - 3*h + 4 = t, l = t - f*h. Solve 4*j = -4*m - 8, -t*j - 3 = -4*j for m.
1
Suppose -2*h = -2*d + 3*h + 18, 4*d = h + 36. Suppose 2*p + 17 = 3*c, 7 = -c - 4*p - 6. Suppose d = c*u - 6. Solve b + 4*n + 12 = 0, 0*n + n = u*b - 24 for b.
4
Let i = 46 - 22. Let r = i + -22. Suppose 5*o - 10 = 30. Solve -z = r*t - 5, -3*t + 4 = 3*z - o*t for z.
3
Suppose -18 = -3*a + r, 18 = 3*a + 9*r - 6*r. Let f(w) = w + 9. Let q be f(-6). Solve 2*u - a = 5*u - 5*x, -6 = 3*u + q*x for u.
-2
Suppose 4*o - 18 = -5*w, 3*o + 2 = -5*w + 18. Solve 5*p - 9 = -r + 2*r, 0 = -w*r + 2 for p.
2
Let t be ((-10)/(-20))/(2/8). Suppose -4*v - 3 = -5*v, t*w = -4*v + 22. Solve w*b = 5*z - 20, 6*b = b - 10 for z.
2
Suppose 0 = -14*f + 9*f - 25, -u = -5*f - 29. Solve u*h = -2*a + 7 + 3, -3*h + 4*a = -24 for h.
4
Let o(p) = -p**3 - 10*p**2 - 20*p + 15. Let k be o(-7). Suppose -165 = -5*d - 0*d. Solve 0 = a - 2*c + k, -d = -4*a - 2*c - 3*c for a.
2
Suppose n - 2*n - n = 0. Suppose 3 = -h, -2*h = -n*u + 3*u. Solve q - 2*r - u = 2*q, 0 = 4*q - 2*r + 18 for q.
-4
Suppose 2*q - 3*f = 2*f + 20, 0 = 4*q - 2*f - 8. Solve 2*m + 4*d = -q*m - 10, 4*d + 31 = 5*m for m.
3
Suppose 0 = -4064*f + 4070*f. Solve -t - 5 = -2*d, 2*t + 3*d - 6 - 19 = f for t.
5
Suppose 34*a - 81 - 55 = 0. Solve -m = k + 7, 3*m - a = 4*k - 11 for m.
-5
Suppose -49 = -8*r + 87. Solve 5*u = b + r, -2*u - 3 - 1 = -4*b for u.
4
Suppose 0*g = -5*g + 15, -y + 29 = 4*g. Suppose 22*r - 24 = 42. Solve 2*d - 3*d + r*q = y, 3*d = -5*q + 19 for d.
-2
Let z be -3*(-5)/3*(-11 - -12). Solve -2*y = c - z + 3, -2*y - 4*c - 4 = 0 for y.
2
Suppose 10 - 1 = 3*p. Suppose 27 = 3*d - p*r, -3*r - r = 20. Solve 0 = 2*w - 6*w + 5*y - 32, -d*w + 2*y - 20 = 0 for w.
-3
Suppose -5 = -5*m + 142*g - 140*g, m + 12 = 3*g. Suppose 3*r = r. Suppose 2*c = 4 - r. Solve -4*q + b + c = 4, m*q = b - 2 for q.
0
Let t = -83 - -117. Let m(c) = -2*c + 1 + c + 6. Let d be m(0). Solve -5*f - t = -y - d, 4*f = -3*y - 14 for y.
2
Let r(m) = m**3 + 7*m**2 - 12*m - 11. Let a be r(-9). Let p = 91 + a. Solve -5*h - c = -p, -4*h + 4*c = c - 17 for h.
5
Suppose -5*z + 4 = -3*z. Suppose 15 = z*o + 1. Suppose -n = -u - 4*u - 13, -o = -3*n - u. Solve -2*c + 2*v = n*v - 10, 4*c = -5*v + 32 for c.
3
Let y(m) = 12*m + 26. Let j be y(-2). Solve 2*v - 5*a + 1 + 1 = 0, 4*v - j*a + 4 = 0 for v.
-1
Let t(f) = f**3 - 2*f**2 + 6*f - 8. Let r be t(2). Solve 2*l - 3 = -a + 2*a, 4*a + r*l + 12 = 0 for a.
-3
Let s(g) be the second derivative of g**4/6 - 5*g**3/6 - g**2/2 - 9*g. Let h be s(3). Solve 1 = -x + l, -h*x = -0*l + 4*l - 4 for x.
0
Let g(h) = h**3 + 19*h**2 - 24*h - 77. Let a be g(-20). Solve -a*v + 13 = 2*n, -12 = -3*v - 5*n + 2*n for v.
5
Let y be -2 - (0 - 1 - (-8 - -8)). Let v be (13 - 14 - (y + -8)) + -1. Solve -2*s = -2*d, 3*s - 19 + v = 0 for d.
4
Let q be (-2)/(-7) - (-10)/(-105)*192. Let w be q/(-2) + 2*-1. Solve 4*a - w = -n, 4*a + 0*n - 2*n = 10 for a.
2
Suppose 0 = -104*s + 109*s + 75. Let g be (-2)/(5/s*(3 - 0)). Suppose 0*k = -5*k + 20. Solve -g*m = 0, -4 = k*w - 3*m + 2*m for w.
-1
Suppose -8 = -0*k - 2*k. Suppose -3*s + 3*s - k*s = 0. Solve 0 = -2*g + g + 4, s = -5*h - 5*g - 5 for h.
-5
Suppose n - 9*n + 48 = 0. Let z(w) = -w**3 + 7*w**2 - 5*w - 6. Let y be z(n). Solve y = -3*a + 1 + 2, f + 5 = 3*a for f.
-2
Suppose -2*h = -2*v + 1 - 11, -v + 1 = 2*h. Solve 1 + 4 = t + 2*n, -h*n = -3*t - 17 for t.
-3
Let t(j) = j**2 + 7*j - 15. Let m be t(-9). Suppose -5*n = -10*l + 5*l - 25, 3*l = 0. Solve -n*c + 28 = -0*v - 3*v, -m*v - 4*c + 17 = 0 for v.
-1
Let l = -123 - -126. Let b(s) = s**2 - 3. Let o be b(0). Let t = -2 - o. Solve h = -3*j - l, -h + 2*j + t = -6 for h.
3
Suppose -2*j + 5 = -j. Suppose -4*a + 9*a - 65 = 0. Let n = 15 - a. Solve -j = v - n*r, -2*r - 20 = 4*v + r for v.
-5
Let g be (1/4 - -1)*-8. Let b be 2/g - (-44)/20. Suppose -p = -d - 2*d + b, 0 = -d + 5. Solve 3*q = 3*w - 5 + 17, -4*w = -q + p for q.
1
Suppose -5*y - 5*j + 22 = -23, -5*y + 35 = 3*j. Suppose -t + 4 = 3*z - z, 8 = -y*t. Solve -14 = -2*l - 0*l - 3*h, -z*l + 5*h + 2 = 0 for l.
4
Let o = -692 - -697. Solve 5*v - o*g + 15 = 0, v + 5*g = 16 - 1 for v.
0
Let c be -3 + 9 - (-136)/(-34). Solve -3*q = -3*s - 6*q - 18, c*q + 7 = 3*s for s.
-1
Suppose -5*b - 7*l + 2*l + 55 = 0, 2*b + 4*l - 30 = 0. Let u(o) = 3*o - 17. Let h be u(b). Solve -h*j = -5*w + 5, w - 5*j - 1 = -j for w.
1
Let k be (3/2)/((-5)/(-115 - 5)). Suppose 12 = -8*j + k. Solve -5*z - j*b = 11, 5*z + b - 3 = 5*b for z.
-1
Let m(t) be the first derivative of -t**4/4 + 2. Let q be m(-1). Let b = 10 + -10. Solve -9 = -2*f + 5*n, b + q = -n for f.
2
Suppose 2*v + v = 0. Let m be (-3 + -2)/(-2 + 1). Solve 0 = 3*r + 4*t + 29, v = -0*r + m*r + t + 20 for r.
-3
Let w = -39 + 39. Suppose -4*r + 17 - 9 = w. Solve -r*h = 2*x - 2 + 4, 4*h = -3*x - 8 for h.
-5
Let m = 4 + 1. Let v be (-6)/m*10/(-6). Solve o + 1 = 4*q, v*q = 5*o - 0 + 5 for o.
-1
Let q = -1 - -3. Suppose -47*j + 33*j = -140. Suppose i + 4*i - j = 3*y, 3*i + q*y = 25. Solve -5*v + 3*h - 13 = 4*h, 15 = -i*h for v.
-2
Let d(o) = o - 11. Let i be d(11). Suppose i = -5*n - 4 - 21, -4*b = n - 11. Solve -4*z + 3 = m, -m = -4*z - b*m + 9 for z.
0
Let z(c) = -3*c**3 + c**2 - c + 2. Let x be z(-3). Let m = -62 + x. Suppose -5*b + 3*g = -m, -27 + 6 = -4*b - 3*g. Solve 5 = -a, -b*q + 4*a = -3*q - 17 for q.
-1
Let k(x) be the second derivative of x**4/12 + 2*x**3/3 + 3*x**2/2 - 2*x + 40. Let l be k(-4). Solve 2*c - l = 3*m, 2*m + 6*c = c - 2 for m.
-1
Let z(i) = i**3 + 11*i**2 - 14*i - 14. Let p be z(-12). Suppose -8 = -p*o + 12. Solve -2*t - 5*s - 13 = 0, o*t + 1 + 3 = -2*s for t.
1
Let i = 78 - 167. Let v = -87 - i. Solve 5*g + 0*g = v*f + 18, -2*f = -2*g + 6 for f.
1
Let y be ((-21)/2 + 9)/(3/(-32)). Solve -5*m + 6 = 7*j - 6*j, 5*j + y = -2*m for m.
2
Suppose -23 = -2*j + 1. Suppose 3*g = j*g - 81. Solve -f + 2 = -k + 2*k, 0 = -3*f + g for k.
-1
Suppose 0*a - 60 = -4*a. Let t be 9/(-33) - (-235)/55. Solve w + t*w = 2*c - a, 2*c = w + 3 for w.
-3
Let u be (-3)/(0 + 3/(-6)). Suppose -4*j + 28 = 4*q, 2*q + 22 = j + u*q. Suppose -j*g - 1 = -7. Solve x - 3*t = 4*x - 12, -6 = -g*x - t for x.
1
Let c = -48 - -54. Let o(d) = -6*d + 37. Let j be o(c). Solve -6 = 2*u + p - j, 2*p = 5*u - 1 for u.
-1
Let z = -45 - -47. Solve -z*g + 3*u + 10 = 0, g + 2*u = 3*g - 10 for g.
5
Let u(g) = g**3 - g**2 + 2*g - 3. Let m be (0 - 3)/(1 - 2). Let t be u(m). Solve -5*s + 0*h + h + 1 = 0, 5*h = -s + t for s.
1
Let c = 66 - 62. Suppose 4 = g + 3*b, -3*g + 4*g = 2*b + c. Let f = -7 + 18. Solve 4*w + f = -g*l + 35, 0 = -3*w + 6 for l.
4
Let k = 16 - 10. Let n be -16 + 4 + k/(-2). Let p = -11 - n. Solve -2*o + 1 - 23 = -p*d, -3*d + 19 = -4*o for d.
5
Let z(g) be the second derivative of g**4/3 + g**2/2 + 3*g. Let x be z(-1). Solve x*i + 2*u = -8, 0 = -3*i + 3*u - 0*u + 12 fo