 0, -5*g + 4*b = -12 for g.
4
Suppose -1 = -y, -3*y - 9 = -3*p - 0*p. Solve 15 = -p*m + m, 3*j + 40 = -5*m for j.
-5
Suppose 3*m - 11 - 1 = 0. Suppose -3*t = -m*t + 3. Let b = 20 + -18. Solve -b*u - t*u = -2*f - 25, u - 5 = 2*f for f.
0
Let j(d) = d**3 + 5*d**2 - 3*d - 12. Let k be j(-5). Suppose 0 = 4*h - 2*m - 12, -3*h - k*m + 2 = h. Solve s = h*s - 4, 2*s = o + 7 for o.
1
Let n = 1245 - 1243. Solve 3*p = -i + 1 + n, 2*p = 2 for i.
0
Suppose 0 = -2*q + 3*u - 6, 5*u = -5*q + u + 31. Solve -q*j - 11*t + 8 = -12*t, -5*j = -3*t - 16 for j.
2
Suppose -4*h + 2*m = 2, -4*h - 2 = m - 15. Solve 5 = -b, 0*b + 22 = 3*p - h*b for p.
4
Let v(h) = -6*h - 2 - 5*h - h**2 + 0*h. Let l be v(-8). Solve 0 = 5*z + 10, 4*x + 4*z + l = -z for x.
-3
Let d(t) = 2*t - 14. Suppose -3*z + 0*z = -5*n + 23, 4*n - 44 = -4*z. Let v be d(n). Solve 11 = -2*l + r, v = -r - 2 + 3 for l.
-5
Let f(z) = -2*z - 6. Let c be f(4). Let t be (1 - -27)*c/(-49). Solve 4*j - p + 0*p + t = 0, -2*j - 4 = 5*p for j.
-2
Let i be 0 + ((-14)/8*-4 - 0). Suppose i - 14 = -z. Solve -3*g - 3*j - 21 = -z*j, 2*g + 2*j = 0 for g.
-3
Let v(t) = t**3 - 19*t**2 - t + 19. Let a be v(19). Let g be 2/(5 - 3)*a. Solve g = 3*b - f - 1, 5*f = 3*b - 0*b - 17 for b.
-1
Suppose 3*n - m = 96, 0 = -n - 2*n + 3*m + 90. Let l = n - 20. Suppose -l = -2*j + 17. Solve 5*s = -3*p - 15, 3*s + 0*s = 3*p + j for s.
0
Suppose 3*c - 21 = -4*s, 24*c = s + 19*c + 12. Solve -s*x - x + 21 = -g, -20 = -4*x for g.
-1
Let j = 41 - 36. Suppose -24 = -y - j*y. Solve -f + 10 = f + 4*h, 0 = 3*f - y*h - 5 for f.
3
Let j = -5 + -42. Let f = -45 - j. Solve -2 - 4 = -f*t, 5*h = 4*t - 17 for h.
-1
Suppose 5*n = 4*n + 5. Let m(b) = 20*b**2 - b + 5. Let t be m(2). Let c = 88 - t. Solve n*r = -5*y, 6 = -2*r - r - c*y for r.
3
Let k(y) = -7*y - 1. Let i be k(3). Let j = i + 23. Let a(l) = 2*l**2 + 1. Let v be a(j). Solve -v*f = -4*d - 13, 2*d = -0*f - 3*f + 7 for d.
-1
Let p be (1 - -2) + 117/(-9). Let k be (p + (-3 - -3))/(-2). Solve j + k = n - 0*j, -n = 3*j + 11 for n.
1
Let o = 33 + -30. Suppose o*g - 15 = -0*g. Solve -3*j + 4*z + 17 = 0, 0 = -g*j - 5*z + 6 - 1 for j.
3
Let l = 6 - -6. Suppose 0 = -5*z + 3 + l. Solve 6 = -z*t, 5*t + 2 = -r - 8 for r.
0
Suppose 0 = -3*t - 6, 6*z - 4*t = z + 18. Suppose 2*b = -3*b + z*b. Solve 4*w = -4*a - 0*a - 28, 2*w - 4*a + 2 = b for w.
-5
Let g = -86 - -86. Suppose 32 = 4*b + 3*d, -5*b + g*d = -4*d - 9. Solve -5 = b*u, 4*u + 19 = 4*k + u for k.
4
Let c be (-10)/5 + 4/1. Let f(o) = -o**3 - 9*o**2 - 4*o - 33. Let w be f(-9). Solve 2*b - c*i = 3*i + 9, 5*b + w*i = -24 for b.
-3
Let d(l) = -l + 6. Let n be d(-13). Solve 0 = 4*v - 2*v + 3*i + n, 0 = v + 2*i + 12 for v.
-2
Suppose -4*h = -w - 4, -5*h + 19 = 3*w - 3. Suppose -3 = -w*c + 17. Let o be 30/12*6/c. Solve o*n - r + 18 = -2*r, 2*n + 19 = -3*r for n.
-5
Let q(v) be the first derivative of 3*v**2/2 - 4*v - 6. Let s be q(2). Suppose f + 0*f = s. Solve -5*d = 3*p - 0*p + 4, f = -d - p for d.
1
Suppose -u - 6 = 2*u + 3*r, 3*r + 8 = -2*u. Solve -u*l - g + 3*g = 0, 16 = 4*g for l.
4
Let k(w) = 4*w**2 - 1. Suppose 3*i - 5*i - 2 = 0. Let c be k(i). Solve 0 = 2*h + l - 0*l - 6, 2*h - 6 = c*l for h.
3
Let g = 985 - 972. Solve -4 = 2*d, -3*d - 13 = -5*m + g for m.
4
Let v = 933 + -913. Solve -3*b + 12 = -5*k, 0*b - 5*b + v = -2*k for b.
4
Let p(q) = -10*q**2 - 8*q - 12*q**2 - 3 + 21*q**2 - 8*q. Let k be p(-15). Solve g - 3*o + 18 = 4*g, k = 3*o for g.
2
Let o(y) be the second derivative of -7*y - 15/2*y**2 + 0 + 1/2*y**3. Let s be o(6). Solve -s*b - 2*i = -11, -2*b - i = -7 - 1 for b.
5
Let n be 2 - 3/(12/(-40)). Suppose -b = -f + 5 + 1, -4*f + b = -n. Solve 5*c - 20 = -7*h + 2*h, -5*c - f*h = -8 for c.
0
Suppose 3 = t - 3. Let y be -1 + (t - ((-1 - -4) + 0)). Let u be ((-6)/(-4))/(1/2). Solve p - 6 = -2*d + d, 0 = y*p - u*d + 3 for p.
3
Let b(g) = g + 11. Let x be b(-6). Let t be (4 - 5) + -2 + x. Suppose 5*u + t - 7 = 0, -3*p = -5*u - 4. Solve -f - 7*a - p = -3*a, -2*f + 2*a + 14 = 0 for f.
5
Suppose -8*c + 252 = 55*c. Let t = -57 + 94. Suppose -5*j = -3*d + 52 - 18, 4*d = 5*j + t. Solve -g - 15 = 3*l - c*g, 9 = -5*l - d*g for l.
-3
Suppose -3*o = -2*n + 8, -5*n + 16 + 4 = 0. Solve k + y + 2 - 6 = 0, -5*k + y + 20 = o for k.
4
Let d(w) = -w**2 - 10*w - 9. Let s be d(-9). Suppose s = -5*u + 8 + 2. Solve -x = -3*x, 8 = -u*l - 3*x for l.
-4
Let r(u) = u**2 - 15*u - 12. Let z be r(16). Suppose 0 = -z*i + 2*i. Suppose i*s + 12 = 3*s. Solve 0 = -5*d - 15, s*d = 2*c + 3*d - 3 for c.
0
Suppose 5*s - 2*y = 93, 2*s + 0*s + 4*y = 42. Solve -3*x - s = -f, 6 = f + 3*f + 2*x for f.
4
Let k = 1649 + -1645. Solve 0 = -5*p + 6*v - 9*v + 4, 0 = -k*v + 12 for p.
-1
Suppose -4*w + 5 - 7 = 2*v, 4*w - 2*v - 2 = 0. Solve -2*t + 4*l + 10 = w, 3*l = -t + 8*l + 8 for t.
3
Suppose -q + 1 = -122*p + 120*p, -q = p - 4. Solve 2*d + 1 = r, -q*r + 5 = -5*d - r for d.
-3
Let y(z) = -z**3 - z**2 + 29*z + 3. Let u be y(0). Solve 0*o + 5*o = -u*l - 13, o = 5*l + 3 for l.
-1
Let t be 220/18 - 4/18. Let v = 15 - t. Suppose -v*g + 2 = -4. Solve -4*s - 10 = s - 5*x, -5*x - 4 = g*s for s.
-2
Let x be 3 - (-3 - 0) - 3. Let v(w) = w**3 + 2 + 2 - w**2 + 0*w**x + w - 5. Let u be v(1). Solve -4*g - 3*a = -3*g + 15, u = -3*g - 3*a - 21 for g.
-3
Let k = 267 - 401. Let s be (-12)/(-102) - k/17. Solve 19 + 6 = -2*z - 5*x, -z - s = x for z.
-5
Suppose 0 = 2*j + 16 - 6. Suppose -3*n - 22 = -y, 5*y + 5*n = 2*n + 38. Let x = y + j. Solve -x*c - 3*l + 1 = 0, 7*c - 4*c + 5*l - 7 = 0 for c.
-1
Let h be (-230)/50 + (-3)/(-5). Let o be -5 + (3 - 2) - h. Solve -4 = u - f, o*f + 4*f = -4*u for u.
-2
Suppose 7*n = 5 + 2. Solve -9 = 3*a - 6*a + 4*x, -2*x - n = -5*a for a.
-1
Suppose 17 = 4*s - 3*b - 9, -5*s + 15 = 5*b. Solve -34 = -3*l + s*y, -2*l - 2*y = -4*l + 16 for l.
3
Let j be 88/30 - 7/(-105). Solve -t = -2, 0 = -j*w + t - 0*t - 17 for w.
-5
Suppose 3*c + 2*y = 24, 4*c + 3*y - 7 = 25. Suppose -69*u + c = -65*u. Suppose 5*f - 12 = f. Solve -s + 1 = -4*t, u*t + s - f = 4 for t.
1
Suppose 2*f - 12 = -4. Suppose f*y = 2*y - 22. Let q(j) = j + 15. Let v be q(y). Solve v*o + 1 = -2*p - 3, -4*o + 2*p - 4 = 0 for o.
-1
Suppose -13 = -3*p + 4*u, -4*p - 2*u = -u - 11. Suppose 3*g - p = 3. Solve -2*j + g = w, w + 4 + 12 = 4*j for w.
-4
Let u(v) = -5*v**3 - 2*v**2 - 3*v + 2. Let g be u(-2). Suppose -5 = -5*z - 5*r - 15, 0 = -5*z + 5*r + g. Solve z*n + 12 + 7 = 4*l, -4*n - l - 19 = 0 for n.
-5
Let i(x) = x**3 - 12*x**2 - 13*x + 5. Suppose -4*p + 46 = 2*f, 2*p - 3*f - 32 = -f. Let z be i(p). Solve -2*b + 0*b + 22 = -3*t, 0 = 3*b + 5*t + z for b.
5
Suppose 0*v = -2*v. Let w be (1 - v)*(17 - 12). Solve 5*r - 9 = -3*f - 44, -w*r = 2*f + 30 for r.
-4
Suppose 3*u + 11 = 2*n - 0, -5*n = 3*u - 17. Let t = n + -2. Solve t*s + p = -3*s + 1, 0 = -5*p - 20 for s.
1
Suppose 2 = 11*u - 10*u. Suppose -2*h = 5*y - 4, -h + 5*y = -u*h - 8. Solve 5*b - 24 = a, -5*a + 5*b - h - 8 = 0 for a.
1
Let z(g) = 7*g + 3. Let v be z(-1). Let q be (-24)/(-20)*30/v. Let n be (-5)/15 - 30/q. Solve 4*m + n*j + 31 = 0, 8 = -m - 3*j - 11 for m.
-4
Let p = -528 - -545. Solve -5*a - 5 = -2*j, a + a = -3*j + p for j.
5
Suppose 4*m - 2*x = 88, -18*m - 24 = -20*m - 4*x. Solve -4*c + 1 - 21 = 4*p, -c + m = -4*p for c.
0
Let c = -174 + 177. Solve -5*j = -c*z - 23, -4*z - j = 2*j - 8 for z.
-1
Let n be 51/15 - 2/5. Suppose -k - 2*l + 16 = 0, 2*l + 8 = n*k - 16. Let o(b) = b - 7. Let d be o(k). Solve -12 = -4*m + 4*u, d*m + 2*u - 6 - 3 = 0 for m.
3
Let c = -1233 + 1233. Solve c = 3*r - y - 1, 5*r = 3*r + y for r.
1
Let b = -1323 + 1325. Solve 7*o + b*t - 5 = 4*o, 0 = -4*o + 4*t - 20 for o.
-1
Let l be (-160)/(-12) + (-2)/6. Suppose -4*h - 5 = -l. Suppose -3*y - r - 5 = -6*y, 0 = h*r - 2. Solve 0 = -5*j + 3*p - 3, -y*j - 3*p + 3 = -0*p for j.
0
Suppose 0 = 114*f - 43*f - 1136. Solve 0 = -2*n - 0*n + 5*m + 4, -2*n - 5*m - f = 0 for n.
-3
Let k(q) = 3*q - 65. Let h be k(23). Solve -w + 24 = 5*l, l + h*l = -4*w + 21 for l.
5
Let z = 130 - 101. Suppose -3*x - 13 = 5*m - 4*m, -4*m + 2*x + 18 = 0. Solve n = m*b + 5*n - 20, -5*b - 3*n = -z for b.
4
Suppose -4*v = -2*c + 2, 0*v - 5*v = -4*c + 10. Solve 4*u - 10 = -v*j - 0*u, -u = 2*j - 10 for j.
5
Suppose 33*n - 10*n - 46 = 0. Solve n*y = 4*t - 6, -13 + 7 = -5*t + 4*y for t.
2
Let z be 8*15/66 - (-18)/99. Suppose -2 = -2*t - 