3
Let y = 93 - 80. Suppose -19*m + 24 = -y*m. Let z(g) = -g**3 + 7*g**2 + 2*g - 10. Let j be z(7). Solve -2*f - 5*q = 0, q = j*f - m*q for f.
0
Let r(d) be the second derivative of d**3/3 - 5*d**2/2 - 10*d. Let p be r(5). Solve -25 = 3*o - z - 10, -o - p = -2*z for o.
-5
Let b = -6 + 8. Let c = b + -2. Suppose c = -5*g - 3*q + 72, -5*g = -0*q - 2*q - 52. Solve -5 = i + 5*h - 28, -3*h + g = 0 for i.
3
Suppose -3 = w + k, 0*w + k + 6 = 2*w. Let q(d) = 5*d**2 + d - 1. Let n be q(w). Solve 2*b - 8 = n*p, -2*p + 5*b = 4*b + 4 for p.
0
Let r = 512 + -508. Solve 19 = 3*h + 2*y, -4*h - y - r*y + 37 = 0 for h.
3
Suppose 0 = 30*h - 191 + 41. Solve 0 = -3*o + 7*o - g - 4, 10 = -5*o + h*g for o.
2
Let m(d) = 3*d - 12. Let c be m(-5). Let n = -8 - c. Solve 0 = -2*s + 3*g - n, 2*s = -2*g - 3 - 1 for s.
-5
Let g(f) = -f**2 + 6*f. Let q be g(6). Suppose -h + q*h + 14 = 0. Solve -3*u + h = -5*t, -t + 5*u - 11 = -5*t for t.
-1
Let w = 308 + -304. Solve 0 = 2*i - 5*g - 15, -g - 25 = w*i - 0*g for i.
-5
Suppose 4*g = 3*c - 20, 3*c + 2*g + g = 6. Solve -2*a + 13 = -4*q - 1, c*a - 10 = -q for a.
3
Let k(f) = f**2 - 2*f - 1. Let b be k(2). Suppose -4*j = 3*v - 1, 5*v + 7 = 3*j + v. Let w = j - b. Solve 5*q + 29 = w*t, 5*t - 35 = 4*q + q for t.
2
Let w = -1732 - -1745. Solve 3*a + w + 9 = -4*l, -3*l - 16 = 2*a for a.
-2
Let c be 6 + 0 + (-2 - -2). Suppose 0 = -0*j + 5*j - 10. Suppose 4*n - j*m - 16 = c, n - 3 = -2*m. Solve -i - 3*p - 12 = 0, 10 = -n*i + p - 2 for i.
-3
Suppose 127 + 62 = 63*g. Solve 0 = 5*u + 3*o + 22, g*o = -4*u - 0 - 20 for u.
-2
Suppose 16 = 3*l + 2*t, t - 4 = -l + 2. Solve -3*i = h - 15 - l, -2*i + 14 = h for i.
5
Let i(k) = 2*k + 2*k - 2 - 3*k + 8*k. Let v be i(1). Suppose -t - 3 = -v. Solve t*q - 3*h - h = -16, q - 3*h = -6 for q.
-3
Let l(v) = -2*v - 1. Let i be l(-2). Solve 2 + 1 = 2*t - i*m, 5*m = -4*t - 5 for t.
0
Let u = 4 - 2. Let s be 0 - (-1 - 6) - u. Let n = -209 + 212. Solve 4*q = -2*k - 12, -q + 0*k + s*k = n for q.
-3
Suppose -16*c = -15*c - 6. Suppose -14 = -c*q + 4. Solve q*u - 1 = -4*d + 5, -4*u + 3*d = -8 for u.
2
Let u be (-84)/(-35) - 6/(-10). Solve -4*v - g + 31 = 4*g, -5*v + 29 = u*g for v.
4
Let v(o) = o**3 + 10*o**2 - o - 7. Let j be v(-10). Suppose -5 = j*i - 17. Solve -3*p + 3 = i*y + 15, -y - 3 = 4*p for p.
0
Let u = 6 - 10. Let d(l) = -l - 2. Let a be d(u). Suppose -2 = -2*h + 2*k, -4*k + 13 = 1. Solve 3*c = 5*q - 16, a*q - 6*q = h*c for c.
-2
Suppose -2*r - j = 3*r - 17, -3 = j. Suppose 3 = -r*f + 15. Suppose -2*n + k = -3, 2*n - 3*k + f = -0*n. Solve -n*c - 19 = -0*q + q, -5*c - 9 = -4*q for q.
-4
Let n(v) = 3*v - 51. Let c = -29 - -51. Let o be n(c). Solve -4*w + 10 = 2*l, -l = 2*l - o for w.
0
Let p(j) = j**2 + 10*j + 19. Let g be p(-9). Let k be 5 + (-2 - -3 - -2). Let z be (k/6)/(3/9). Solve -3*m + 2*r = 5 + 2, z*r = -2*m - g for m.
-3
Let m(s) = 9*s + 59. Let z be m(-6). Solve -5*g = z*f, 2*f - 7 = 4*g + g for f.
1
Let p = 639 - 637. Solve -3*f - 13 = -p*x, 0*f = 2*f - 2*x + 10 for f.
-3
Suppose -570 = -56*o + 158. Solve t + 11 = 2*j + j, 0 = 4*j - t - o for j.
2
Suppose -5*q + 20 = 4*x, -26 + 6 = -4*x - 3*q. Solve x*h + 4*k = 0, 2*h - k - 2*k = -23 for h.
-4
Let m be (6/(-5))/(3/(-10)). Let o be (-8)/(-3)*30/20. Suppose -2*k + o*k - 4*i = 16, -3*i = 5*k + 12. Solve m*y + 4 = -2*t - 2, k = 4*t - 5*y - 1 for t.
-1
Let f = 15692 + -15688. Let g = 16 + -1. Let v = g - 3. Solve -2*r = -4*r + k - 3, r - f*k = -v for r.
0
Suppose -74 = -3*q + 5*q - 2*p, -4*p + 16 = 0. Let y be -3 - (-3 - q)/(-5). Solve -j - 3 = -b, b + 16 = -y*j - 3*b for j.
-4
Let l = -23 + 15. Let k = -16 - l. Let d = k - -12. Solve 0 = d*s + 2*f - 14, s + 1 = -5*f - 0 for s.
4
Let z be (-1 - 3)*9/(-36). Let h be (0/18)/(z + 1). Solve -w + 3*b - 2 = h, -w - 1 = -3*w + b for w.
1
Let p be ((-1)/(-5))/((-1)/(-5)). Suppose g = p, s - 1 + 0 = -g. Solve 0 = -5*y - j + 20, s = 2*j - 0*j - 10 for y.
3
Let j(z) = z + 7. Let y be (-24)/(-14) + (-12)/(-42). Suppose 21 = -5*l - y*l. Let b be j(l). Solve -v = b*f + 6 + 6, 5*f + 15 = v for v.
0
Suppose -36 = -3*d + 5*p, 3*d = -2*d - p + 60. Suppose -d = -9*z + 6. Solve -3*h - 31 = 5*s, 4*s + 16 = -0*h + z*h for s.
-5
Suppose -c + 0*c + 1 = 0. Suppose -3*i + 2*i = -a + c, 0 = 2*i - 2. Let f be a + 2/(6/3). Solve k + 8 = 5*l - f*k, -2*l = -3*k + 1 for l.
4
Suppose -4*c - 1037 = -1057. Solve -4*g = -2*r + 16, -14 = -c*r - 2*g - g for r.
4
Suppose g = 2*p - 0*p - 1, 0 = -3*g - 2*p + 13. Solve -g*j = -2*b - 18, 0*j + 7 = -5*b - 2*j for b.
-3
Let l(j) = 5*j + 49. Let p be l(-8). Suppose -u - 1 = -4. Let b be ((-2)/4)/(3/(-18)). Solve b*v = 4*s - p, -u*v + s - 9 = -2*s for v.
-3
Suppose -22 = -4*b + 30. Let i = b - 8. Let t be 5 + ((-42)/6 - -2). Solve 0 = -2*l + 6, f + i*l - 16 = -t for f.
1
Let l = 30 - 1. Let n = l + -24. Solve 3*i + 5 - 16 = -4*p, -5*p + 40 = -n*i for i.
-3
Suppose 7*m = 226 - 184. Solve 0 = 4*o - 4*q + 9*q - 26, 4*o - m = 5*q for o.
4
Let g(b) = b. Let v be g(4). Suppose v*x - 5 = 7. Solve -c - 14 = -x*c - n, -c - 2*n + 13 = 0 for c.
5
Suppose -3*g + 11 = 5*j, 4*g + 15 = -j + 7. Let y(l) = -2*l - l - 6 + 4*l + l. Let x be y(j). Solve -x*a + 3 = -2*q - 3, -q - 2*a + 9 = 0 for q.
1
Suppose -3*f + 6 = 2*f + 3*a, -9 = 3*a. Solve 14 = -f*l + 4*b + 1, -l = b + 2 for l.
-3
Let o(r) = -r - 5. Let c be o(-1). Let j = -1 - c. Solve 5*u + 21 = 2*a + a, 3*u = -3*a - j for u.
-3
Let k(y) = -49*y + 103. Let l be k(2). Solve v - 5*g - 13 = 0, -5*v - 7*g = -2*g - l for v.
3
Suppose -4 = -h - 0*h. Let j(d) = -d**2 + 15*d - 6. Let a be j(14). Let q be 1/4 - (-14)/a - 2. Solve h*v = t - 3, q*v + 3 = -t + v for t.
-5
Let i be (4 + 32/(-5))/(12/(-30)). Solve -4*y + j = i - 3, -3*j = 3 for y.
-1
Let c = 4 - 1. Let m be (-1)/(-2*(-3)/(-24)). Suppose 0*y + 2*y + 4*g - 12 = 0, -5*y + m*g - 12 = 0. Solve -5*z - c = -2*r - y*r, -r = -4 for z.
1
Suppose -6*l + 100 = -l + p, 4*l - 3*p - 80 = 0. Solve 2*n + 40 = 5*o + 5*n, -n - l = -5*o for o.
5
Let a = -81 - -83. Solve 4*k = 2*d + 12, -5*d + a*k - 6*k - 16 = 0 for d.
-4
Let z = -398 - -402. Solve -18 = -b - 5*d, 4*b + 4*d - z - 4 = 0 for b.
-2
Let w be (-3)/12*-2*76. Let j = -33 + w. Solve 4*z = 2*n - z - 11, 15 = -j*z for n.
-2
Let n(z) = z**3 - 17 + 92*z + 35*z**2 - 16*z**2 - 77*z. Let w be n(-18). Solve 3*x + 19 = -3*t + 2*x, 0 = 5*t + 3*x + w for t.
-5
Suppose 27 + 118 = 5*c. Let b = 39 - c. Solve 0 = 5*o - 0 + 25, r + b = -3*o for r.
5
Suppose 980*p = 968*p + 36. Solve 0 = -3*v + 2*q - p, -v - 2*q = -0*q + 1 for v.
-1
Let d be (1 - -2) + (-9 - (-27 - -21)). Solve 0 = -h + f - 3, -2*h - 2*f + 2 = -d*f for h.
-1
Let y be -4 + 3/(-9)*-21. Solve -26 = 3*d + w + y*w, -4*w - 18 = -d for d.
-2
Let o(r) = r**3 - 6*r**2 + 7. Suppose 5*a = 10*a - 30. Let u be o(a). Solve -5*n - 2*k + 6 = -u, 20 = 5*k for n.
1
Let v = -4 + 6. Suppose -p + 4*k + 16 + 0 = 0, 12 = 4*p - 3*k. Suppose 4*x + p*x - 36 = 0. Solve l = -2*z - x, v*l + 2*l - 14 = 2*z for l.
1
Let k(j) be the first derivative of j**4/4 - 8*j**3/3 - j - 9. Let x be k(8). Let g be 0/15*(-1)/x. Solve -5*w = 5*f + 30, g*w = f + 5*w + 10 for f.
-5
Let o = 47 - 33. Suppose -l + o = l. Suppose -3*r - l = -22. Solve -t = -5*k + 1 - 3, r*k - 8 = -4*t for t.
2
Suppose 3*u - 48 = 5*k - 8*k, 2*k + u - 32 = 0. Solve q = -q + 5*n + k, 0 = -4*n - 8 for q.
3
Let k = 234 - 234. Let x = 54 - 27. Suppose 7 = -5*v + x. Solve -v*l = -3*a - 10, 0 = -l - k + 1 for a.
-2
Suppose -5*d + 102 = 2*a, 5*a - 294 + 39 = d. Let f = -51 + a. Solve 5*w + m + 5 = -f*m, 2*m + 5 = -5*w for w.
-1
Let h = -8 + 10. Suppose 5*g = h*g - 36. Let k = g - -14. Solve -5*w - k*n = -3*n + 11, -2*w = -3*n + 7 for w.
-2
Let t be 0 - 3 - -3 - 12/3. Let c be 1*(-1)/t*0. Solve 2*a - 4*l - 8 - 10 = c, 3*l - 3 = -4*a for a.
3
Let b(i) = -2*i**3 + 40*i**2 + 3*i - 57. Let j be b(20). Solve 4 = -d + j*a, d - 4 = a - 6*a for d.
-1
Let o be (4 - (3 + 2))*42/(-3). Solve -5*v = 3*b + o, 4 = -v + b - 2 for v.
-4
Suppose 0 = 2*v + a - 3*a - 16, -a + 4 = 3*v. Suppose -v*h - 20 = -20. Solve 25 = 5*m, h*c = -3*c - 4*m + 26 for c.
2
Let s(d) = -d**3 + 6*d**2 + 2*d - 7. Let t be s(6). Suppose -104 = n - t*n. Solve 3*a + 3*z + 17 = 2*z, 0 = 4*a + 3*z + n for a.
-5
Let t be 1 - -3*1*15/9. Let p be -1 + 2*5/2. Solve -p*y + 5*c - t = 6, 2 = -y + c for y.
2
Suppose 16*f = 11*f - 4*f. Solve f = 