4
Suppose -3*x - 30 = -8*x - 4*f, -5*x + 15 = f. Let g = 48 + -47. Let o = g + 0. Solve -3*s = 4*z - o, -4*z - s - x = 3 for z.
-2
Let k(r) = 10 + 14 - 7*r + 16. Let v be k(5). Solve -i + 4*i - 2*m = 8, 5 = -v*m for i.
2
Suppose -147 = -2*s - 135. Solve 0 = -p, -2*p + 4 = -2*h + s*h for h.
1
Let z = 78 + -72. Let v be (0 - -2)/(4/z). Solve 5*b + 6 = -c + 13, 5*c + v*b + 9 = 0 for c.
-3
Let j = -165 + 168. Solve i - 5*i - h = -12, -j*h = i + 8 for i.
4
Let g = 741 - 737. Solve 0 = -4*p + g*a + 8, 11 = -3*p - 2*a - 3 for p.
-2
Let z = -68 - -70. Suppose 8 - z = 6*i. Let n be 1 + (-2)/(-3 + 1). Solve -q + n = l - i, 4*q = -5*l + 12 for q.
3
Suppose -s - 2 + 6 = 0. Suppose 0 = 26*w - 24*w - 12. Suppose -3*i + 5*d - w = 0, -i + 0*i + 2*d = 3. Solve s*n + 24 = 4*g, i*g + 10 + 2 = -3*n for n.
-5
Let y(f) be the second derivative of f**3/6 + 2*f**2 - 9*f. Let l be y(-1). Solve -2*s - l*a - 9 = 3*s, a + 3 = 4*s for s.
0
Let r = 54 + -51. Let v(t) = -t**2 - 3*t - 4 + t**3 + t - t. Let g be v(r). Solve 0 = g*k - 3*k - p - 3, -3*p - 9 = -3*k for k.
0
Suppose a + v - 10 = 0, 5*v - 6 - 14 = a. Let r(s) = s - 2. Let l be r(7). Suppose -l - 31 = -4*t. Solve -3*i + 15 = -a*c, -4*c = 2*i + 3 + t for i.
0
Let m(f) be the second derivative of 1/12*f**4 + 0 - 5*f + 5/2*f**2 - 1/6*f**3. Let x be m(0). Solve x*b + 5*l + 14 = -6, -19 = b + 4*l for b.
1
Let g be (3/(-2)*2)/((-3)/2). Solve 0 = -4*d + 5*w - 1, 3*d = -g*d + 3*w - 11 for d.
-4
Suppose 4*x = u - 0*x - 19, 3*u - 4*x = 41. Suppose u*o = 12*o. Solve o = -2*v + d - 4*d + 3, -3 = -4*v - 5*d for v.
-3
Suppose 4*r - 4 = -2*y - y, 2*y - 14 = 3*r. Solve f = -c, -y*c + 2*c = f - 3 for f.
-3
Suppose -32 = 3*z - 5*z. Suppose z = 4*o - 4. Suppose -o*l - p = -22 - 10, 5*l = -3*p + 36. Solve -2*h - l = -4*m, 4*h + 1 = -2*m + h for m.
1
Suppose -5*i = -i - 32. Let w be 1 + (0 - -2)*1. Let v = i - w. Solve -5*a = 4*x + 9, -2*x + 0*a + v*a = -3 for x.
-1
Let c be 8/6*(6 + 0). Suppose 14 = 3*v - w, 0 = v + w - 18 + c. Let b be (60/(-9))/((-12)/18). Solve -2*i + 4*o = -b, -o - 4 - v = -3*i for i.
3
Let h = -7 + 12. Let w(f) = f**3 + f**2 - f + 2. Let n = -1 + 1. Let a be w(n). Solve -g + a = -k, 4*g + 3*k = h*k + 6 for g.
1
Let v be (-1)/4 - 423/(-188). Let s(j) = -j**2 - 3*j + 4. Let o be s(-4). Solve o*h + y = -v*h + 12, 3*h = 4*y - 4 for h.
4
Let y(n) = n + 2. Let c be y(-9). Let i be 5 + 1 + 14/c. Solve -2*p = 3*r + 5 - 16, -r + i*p = 1 for r.
3
Let a(u) = u**2 + 418*u - 2113. Let y be a(5). Let w(k) = k**3 - k - 1. Let g be w(2). Solve -y*t - 5*v + v - 16 = 0, -25 = -g*t + 3*v for t.
2
Let i be 47/3 - (-70)/(-105). Solve 5*m = -i, 11 - 21 = -5*t + 5*m for t.
-1
Let i = 50 + -45. Solve -y = 2*x - 3, i*y = -0*y - 2*x + 7 for y.
1
Suppose 5*i = 3*i + 8. Let w be (1/3)/(4/48). Solve 4*u - i = w*n, 0 = -4*n + 12 for u.
4
Let q be 33/(-5) - (-6)/(-15). Let g = q + 10. Let z be g/(-15) - 272/(-10). Solve 5*c - 5*s - z = -2*s, 4*c - 4 = -2*s for c.
3
Let c(b) = b**2 + 17*b - 60. Let g be c(-20). Solve -12 + g = 4*w + 4*v, -2*w + v = 3 for w.
-2
Let w(j) = 2*j - 5. Let b be w(3). Let g(y) = -7*y. Let v be g(b). Let s be (0 - -1)*(v + 9). Solve 0 = -4*u + 2*u + 3*f + 6, 0 = -5*u + s*f + 15 for u.
3
Let a = -1515 - -1518. Solve 3*h = h - 6, -a*j = 3*h - 3 for j.
4
Let d = -32 + 55. Let m = 57 - d. Let n = m - 24. Solve 1 + 1 = 2*y, -4*y + n = -3*t for t.
-2
Let s = -213 + 219. Solve x + 2*m = -2, -s*m = -x - m - 2 for x.
-2
Let m(n) = 8*n + 82. Let c be m(-10). Solve 3*x = 2*u - c*x + 16, 0 = 2*u + 3*x for u.
-3
Let h be 3135/135 - (-4)/(-18). Suppose h - 11 = 3*a. Solve 5*d - w = 4*w + 10, 0 = 3*d - a*w - 10 for d.
-2
Suppose 0 = -4*n + 24 - 12. Suppose -5*f = -n*f - 4. Let w = 2 - f. Solve w*r - 5*r = -3*v - 5, -3*v + 3*r = 3 for v.
0
Let k(l) = -l**2 + 25*l + 15. Let g be k(25). Solve -s - 4*s - 15 = 4*q, g = -5*s for q.
0
Let n(k) = k + 9. Let j be n(-7). Let w be -14*((-5)/j)/5. Suppose 5*p - 14 = m, -2*p - m = -0*m - w. Solve -4*r = -3*a - 0*a + 27, p*r - 3*a + 24 = 0 for r.
-3
Let t be -5*(-3 - 15/25). Let c = -13 + t. Solve -2*u = 2*f, -6 = -5*f + c*u - 8*u for f.
3
Let r(i) = i**2 + 18*i - 8. Let n be r(-18). Let z(t) = 2*t + 16. Let b be z(n). Solve b*a - 2*a = u + 9, -4*u - 28 = 4*a for a.
-2
Let o = 347 - 332. Solve -5*v - o = 5*g, 0*g + 1 = g - v for g.
-1
Let l = -7 - -20. Suppose 5*h + 48 = 8*h. Let b = h - l. Solve -a + 2 + 1 = -k, 0 = -a - 5*k + b for a.
3
Let j(m) = m**3 + m**2 - 22*m - 36. Let y be j(5). Solve -3*p = 3*n + 3, -2*n - y*p + 1 = -5 for n.
-5
Let d(h) = 4*h - 6. Let q = -4 + 9. Let r(p) = p - 1. Let w(l) = q*r(l) - d(l). Let i be w(3). Solve -3*a = -b - 9, -i*b + 1 = a - 2 for a.
3
Let o be 9/(-6)*4*2/(-6). Let m = o + 0. Solve -3*q + 2*j + 6 = q, -17 = m*q - 5*j for q.
4
Suppose 25*q = 14*q - 42*q. Solve q = 2*o + 4*z + 2, -5*o - z - 5 = -3*o for o.
-3
Let n = 122 - 114. Suppose -n = 8*q - 40. Solve q*i + 1 + 4 = 3*o, 4*o = -2*i + 14 for i.
1
Suppose -5*b - 715 = -4*f, -3*b + 8*b + 2*f + 715 = 0. Let x be 26/b - 101/(-11). Suppose -x*d + 7*d + 8 = 0. Solve 2*u - 6 = -i - 0, i + d*u - 16 = 0 for i.
-4
Let a be (-7 + 4)/((-6)/4). Suppose -6 = -5*j + a*j. Suppose 5*u = j*i + 4, i - 3*u = -i. Solve 0 = b + b - i*h - 3, 2*h = 4*b - 10 for b.
3
Let t(a) = -a**3 - 4*a**2 - 3*a - 36. Let d be t(-5). Solve 2*r + d*m + 25 = -m, 15 = -r - 3*m for r.
0
Suppose 3*p - 4 = 8. Suppose -5*g + 17 = 3*y - 5*y, -10 = -4*g - 2*y. Solve d = 4*n - 5, -n - g*d = -2*n + p for n.
1
Suppose -3 = 3*j - 24. Suppose -c + 3*f = -2*f - 10, 0 = 2*c + 3*f - j. Suppose 5*q - 10 - 5 = 0. Solve c*a - 17 = -q*i, -5*i - 17 = -6*a + 3*a for a.
4
Let z be (1 - 1)/(6/(-3)). Suppose -5*p + 100 = -r, p + z*p = 2*r + 20. Let k be (-12)/p - (-56)/10. Solve -k - 3 = -y - 2*m, -11 = -4*y - m for y.
2
Let m = -17 - -24. Suppose m = -3*s + 4*s. Let b = 9 - s. Solve -4*t - f + 6*f + 29 = 0, -b*t - 5*f = 23 for t.
1
Suppose 0 = -w - p, 0 = 4*w - 2*p - 27 - 3. Suppose -4*c = -9*c - 25. Let v = c - -5. Solve -w*r = 5*k + 1 - 6, v = 4*r + k + 5 for r.
-2
Suppose -4*b + 16 = -4. Suppose u - 3*u - 16 = 4*h, -17 = b*h + u. Let i be ((-5)/(-2))/(h/(-6)). Solve 3*q + 5*d = -18, q = -3*q + 3*d + i for q.
-1
Suppose 21*k + 46 = 44*k. Solve -2*y - k*j = -7*j - 24, -4*y + 12 = -j for y.
2
Let y(s) = -2*s**3 - 11*s**2 + 7*s + 10. Let n be y(-6). Solve -3*a = 2*c - 2, 0 = a - c - n - 0 for a.
2
Suppose 16*d = 12*d + 52. Suppose s - 14 = 14. Let y = s - d. Solve -3*r + 0*r + 22 = 5*x, -y = -3*x for r.
-1
Suppose 0 = -11*j + 42*j. Solve i - 4*h - h = j, 5*i = -5*h for i.
0
Let p = 29 + -27. Suppose -2*f - 12 = -4*i, -i - 5*f + 10 = -p*f. Solve -22 = 3*m - 4*a, 2*m + 9*a - 16 = i*a for m.
-2
Let j(y) = -2*y**2 - 20*y - 4. Let r be j(-10). Let h be 2/r + 7/14. Solve 7*g = 2*g - 3*x + 15, -5*x = h for g.
3
Let j = 34 - 24. Suppose -2*a + 0*a + t + j = 0, 3*a - 2*t = 15. Solve -3*i - i - 16 = -a*p, 4*i = -2*p + 12 for p.
4
Let k(l) = -2*l**3 + 8*l**2 + 11*l + 2. Let c be k(-3). Suppose -27 = -b + 2*i, -3*i - c + 8 = -3*b. Solve -3*v - 9 = -3*w - 30, 0 = 5*v - 3*w - b for v.
5
Let g(f) = f**3 - f**2 - 3*f + 2. Let y be g(3). Let m = -11 + y. Let d be 1 - (m + -1)*2. Solve 0 = -d*o + 2*j + 23, -3*o + 4*o = -3*j - 7 for o.
5
Suppose -17 = -57*d - 17. Solve 5*x + 1 = 2*k, d = -4*x - k + 2*k - 2 for x.
-1
Suppose 8*y = 7*y - 1. Let q be (y/3)/((-10)/150). Solve -3*v = 5*o + 2, q*v + 4*o = -o for v.
1
Suppose -2*f + 28 = 5*b, -4*b + 12 = 2*f - 3*f. Suppose b*q = -1 + 9. Solve q*i + 3*j = 2*j + 2, 2*j + 14 = 2*i for i.
3
Suppose -13*p - 5 = -14*p. Solve 18*q = 2*j + 13*q + 33, -2*q - 10 = p*j for j.
-4
Let a = 25 - 20. Suppose 0 = -2*g - a*g + 21. Suppose b + 3 + 28 = 3*q, -42 = -4*q + 2*b. Solve g*z - 3*k = 3, -5*k + q = 2*z - 20 for z.
5
Let b(a) = 5*a**2 + 6*a + 3. Let x be b(-3). Let v = 38 - x. Solve -5*g + r = v, -5*r - 1 = 2*g + 13 for g.
-2
Let f(y) = 21*y + 257. Let h be f(-12). Solve -5*p = 5*n, p + 22 = h*n - 2 for p.
-4
Let v = 42 - 43. Let l(c) = -7*c**3 + c**2 - 3*c - 3. Let g be l(v). Suppose -5*d = -4*d - 5. Solve -3*k + 5*k + d*q = g, -q = -3*k + 12 for k.
4
Let a be 75 - (-4)/((-16)/12). Suppose -12*y - a = -8*y. Let o = y + 22. Solve -2*g - 2*t = o, -2*t - 25 = 3*t for g.
3
Suppose 3*t - 4*r = 2, 0*t - r + 4 = -3*t. Let d be 8/4 + t + 3. Solve 5*c = d*k