z*c - 5 for c.
2
Suppose 4*r = 28 + 12. Solve 0*g - 2*g - r = 0 for g.
-5
Suppose -5*k + 24 = 4*u + 4, -4*k - 25 = -5*u. Solve 0 = 2*q - u*q + 3 for q.
1
Suppose -4*f - b + 2*b + 41 = 0, 2*f - 8 = -2*b. Suppose -d = -5*m, 2*m - 9 - 7 = 2*d. Let w = d - -14. Solve -w*h = -h - f for h.
3
Suppose 14*f = 24*f - 190. Let t = -8 + 18. Suppose 3*v + 13 = s, t + 7 = 5*s - 3*v. Solve -s - f = 5*w for w.
-4
Let h = -15 + 11. Let i = 8 + h. Solve -i*o = -6*o - 2 for o.
-1
Suppose 8 = -f + 5*f, -k + f - 35 = 0. Let x be k/(-9) - (-4)/(-6). Let v be (0/(1 - x))/2. Solve v = -y - y - 2 for y.
-1
Suppose 5*r - i - 25 = 0, 3*r = -4*i + 2 + 36. Suppose -o = -6 - r. Solve 2*t + o = 6*t for t.
3
Suppose 29*s - 18 = 28*s. Solve -s = 3*x - 3 for x.
-5
Suppose -1 = c - 3. Solve -12 = v + c*v for v.
-4
Let n = 53 + -49. Solve -q + 0 = n for q.
-4
Suppose 2*v = -2*v + 24. Let a be ((-16)/12)/((-4)/v). Suppose -4 = 5*b + 2*z - 22, -5*b + a*z = -22. Solve b*c = -7 - 9 for c.
-4
Let d(b) = 5*b - 2. Let k be d(2). Suppose -r - r = 8, a = -3*r - k. Suppose -4*t - 12 = u, -2*t + 8 = -a*t. Solve -u = -2*j - 2 for j.
1
Let t be 1 - (-4)/(-4) - 14. Let c = 15 + t. Solve 9 = 4*n + c for n.
2
Let b(f) = 2*f**2 + f - 1. Let z(h) = h**3 - 2*h**2 - 2*h - 2. Let n be z(3). Let u be b(n). Suppose 10 + 0 = u*g. Solve 4*d - 1 = -g for d.
-1
Suppose -7 + 3 = 2*c, 5 = -3*i - 4*c. Solve i = z - 1 for z.
2
Suppose 5*o - 8 - 12 = 0. Let s be ((-14)/o)/((-4)/8). Solve -4*r = s - 3 for r.
-1
Let k = -192 + 196. Let h(r) = -r + 2. Let o be h(-2). Solve 0*z - k = o*z for z.
-1
Let a be 52/9 - 2/(-9). Let z(s) = -s**3 + 7*s**2 - 5*s - 6. Let o be z(a). Solve o = -5*q - 0*q + 15 for q.
3
Suppose 9 = 3*y + 2*g - 0*g, 2*y - 5*g - 25 = 0. Solve y*z - 4*z - 4 = 0 for z.
4
Suppose 2*x - h - 8 = 26, x - 17 = -2*h. Solve 5 = 4*a + x for a.
-3
Let t = 5 - 5. Suppose 4*a + 2 - 10 = t. Solve 0 = a*u - u - 3 for u.
3
Let y be ((-15)/4)/((-1)/4). Solve -5 = -2*g - y for g.
-5
Let t be -1*4/4*2*-4. Solve -2*y = 2*y - t for y.
2
Suppose 3*j - j = 0. Let t = -12 + 10. Let z = t - -4. Solve -z*d + 11 - 1 = j for d.
5
Let a(j) = j**2 - 9*j + 1. Let o be a(9). Let t = 10 - o. Let z = 11 + -7. Solve -z*p - 3 = t for p.
-3
Let i(p) = 2*p + 43. Let c be i(-19). Solve c*t + 23 + 2 = 0 for t.
-5
Let a be (-2)/8 + (-17)/(-4). Suppose -q - 45 = -a*w + w, w + 5*q + 1 = 0. Solve 0 = 5*u + w + 6 for u.
-4
Let v(c) = -c**3 - 11*c**2 + 11*c - 1. Let q be v(-12). Suppose 10 = q*u - 6*u. Solve o - 6 = -u*o for o.
2
Let w = 54 - 54. Solve w = -0*k + k - 5 for k.
5
Let g be (-5 + 2)*(-1 - 0). Suppose -q = -d + 2 - 8, -3*d = -g. Solve -1 = 3*i - q for i.
2
Suppose i - l - 6 = -0, -5*l - 10 = 5*i. Solve 0*v - i = v for v.
-2
Suppose 2*g + 11 = 5*a, 2*a = -a + 4*g + 1. Solve -n - 4 = -a for n.
-1
Suppose 21 = -l + 4*l. Let o = 2 + -1. Suppose -o - l = -4*u. Solve u = -0*y + y for y.
2
Let l(f) = 7*f + 11. Let d(c) = -4*c - 6. Let u(q) = 5*d(q) + 3*l(q). Let j be u(5). Solve -3*x - 17 = -j for x.
-3
Suppose 0 = 4*l - 5*i - 20, -8 = l - 3*i - 20. Let t be (-1)/(-3) + (-84)/(-18). Solve l*k - t*k = 10 for k.
-2
Let z(y) = 8*y + 51. Let j be z(-6). Solve -2*l + j*l - 3 = 0 for l.
3
Let b(q) = -1 - 5*q**2 + 3*q + 0*q + q**3 + 3*q - q. Let y be b(4). Solve -y*x + 10 = 2*x for x.
2
Let q(h) = 2*h**2 + 5*h - 12. Let a be q(-4). Solve 2*o - 6*o - 12 = a for o.
-3
Let c(o) = -o**3 + 7*o**2 - 6*o + 1. Let g be c(6). Suppose -g = -j + 2. Solve y = -j*y - 12 for y.
-3
Suppose 0 = 5*i + 2*z - 15, -4*z = -7*z. Solve -1 = -i*v + 2 for v.
1
Let r(l) be the second derivative of 3*l**5/20 + l**2/2 + 2*l. Let g be r(-1). Let o be 0 - -2 - (g - -4). Solve o = -t + 3*t for t.
0
Let m be (-2)/(6/15) + 3. Let d be -1 + m + (6 - -1). Suppose 2*x = d*h + 6, 12 = -h - 2*x + 6*x. Solve -b = -2 - h for b.
2
Suppose -14*v = -13*v - 3. Solve l + v + 0 = 0 for l.
-3
Let a(w) = 2*w - 1. Let p be a(5). Suppose -2*c - p = -13. Solve c*d = 5*d + 6 for d.
-2
Suppose f - 10 = 4*s + 8, -3*s - 12 = 0. Suppose f*w + 3*w + 22 = -3*o, -o + 21 = -4*w. Suppose -i + o = 8*y - 3*y, 3*y - i + 1 = 0. Solve y = -0*m + 3*m for m.
0
Let w(q) = -2*q - 3. Let x be w(-2). Let j = 1 + x. Suppose -j = -0*r - r. Solve -z - r = -3 for z.
1
Let b(k) = k**2 + 13*k + 17. Let o be b(-12). Let y = o + -5. Solve -2*w + y*w = 0 for w.
0
Let p(r) = 2*r**2 - r - 1. Let t be p(-1). Suppose -2*y - 10 = 3*y. Let i = -2 - y. Solve 8 = t*b - i*b for b.
4
Suppose -4*v = -3*v - 19. Let s be (-3)/((-17)/14 + 1). Suppose -l + 9 = 5*d - s, 5*d = 3*l + 11. Solve -l*p = v - 4 for p.
-5
Let d(l) = -l - 1. Let c(y) = -2*y**2 - 2*y. Let g(n) = n - 9. Let r be g(10). Let a(x) = r*d(x) - c(x). Let h be a(1). Solve -k = h*k for k.
0
Let x = 2 + 0. Let d = 96 - 93. Solve 0 = -d*p + 11 - x for p.
3
Let t = 128 + -124. Solve t*g - 5 = 3 for g.
2
Suppose -4*h - 2*f + 40 = f, -27 = -h - 5*f. Solve -h = 5*j + 3 for j.
-2
Suppose u - 2*s = -3*s + 3, -3*u - 4*s + 8 = 0. Let b be -1*2/(-5)*20. Suppose u*w = b*w. Solve 2*i - 2 = -w for i.
1
Suppose -16*v = -5*v. Solve v = k - 4*k + 3 for k.
1
Let s = 6 - 12. Let j be 20/15 + 2/s. Solve 5 = -2*r + j for r.
-2
Suppose -111 + 25 = -4*q - 3*v, -5*q + 5*v = -90. Solve 0 = 3*k - 7*k + q for k.
5
Suppose -2*q + 3*y + 3 = 0, -y - 4 = 2*q - 3. Let w = 27 + -59. Let s be (-1 + 6)*w/(-10). Solve 4*t + q = -s for t.
-4
Let d be (-2 + 5 - 2)/1. Let l = 2 + d. Let y be (2 - l) + 6/1. Solve -y*q - 5 = -0*q for q.
-1
Let f = -15 + 10. Let s be (-15 + f)/(-1*1). Solve -4*b + 4 = s for b.
-4
Let q = -51 + 53. Let t be (-1)/(-2) + 2/(-4). Suppose 4*p = -t*p. Solve p = q*s - 4 for s.
2
Let x be (-2)/(1 - -1) + 4. Suppose 9 = x*l - 9. Suppose -4*j + 4*q = -7*j + 9, 2*j - 5*q - l = 0. Solve j*s = s + 6 for s.
3
Let c(f) = -f**3 - 12*f**2 - 13*f - 19. Let d be c(-11). Solve 5*s = d + 12 for s.
3
Suppose 0 = -3*x + d + 65, 5*x + 3*d - 45 = 2*x. Solve -2*p - 2*p = -x for p.
5
Suppose 0 = -4*f + 26*f - 88. Solve c - f = -0*c for c.
4
Suppose 3*l + 1 - 5 = -2*s, 3*l = 3*s - 6. Solve l*o = -4*o + 8 for o.
2
Let h = 4 + 6. Suppose h + 2 = 3*m. Suppose t + m = 3*t. Solve -8 + 0 = t*p for p.
-4
Suppose 5*k - 73 = -2*a, -4*k - a + 0*a + 59 = 0. Solve -4*h = h - k for h.
3
Suppose -f + 5*l + 31 = 0, -11 = -3*f + 5*l + 32. Solve -d = -1 + f for d.
-5
Let z = 3 + 0. Suppose 15 = 2*x + z*x. Solve 5 = x*i + 20 for i.
-5
Suppose -4*g - g = 3*h + 3, 3*g = -2*h - 1. Solve a = h*a for a.
0
Suppose 3*m - 16 = 122. Suppose -5*w + m = -14. Let j = -5 - -9. Solve n - j*n = w for n.
-4
Let y(h) = -2*h - 6. Let k be y(-4). Solve 4 = 3*p - k*p for p.
4
Let u = 1 - 0. Solve -u = -5*v + 4*v for v.
1
Let i(o) = -o**3 + 5*o**2 - 4*o + 6. Let b be i(4). Let d be 2/2 + (-25)/(-25). Solve -b - d = -4*a for a.
2
Suppose 0 = 2*t - 3*u - u + 4, -4*t - 2*u = -12. Solve -t*c - 2 = -4*c for c.
1
Let i = -243 + 244. Suppose -5*w = -5*h - 39 + 4, h = -1. Let x(c) = -c**2 + 7*c + 5. Let k be x(w). Solve i - k = -5*m for m.
2
Let n(w) be the second derivative of -w**3/2 + 3*w**2/2 + w. Let p be n(-4). Solve 2*h = -h + p for h.
5
Let v(c) = 2*c**2 - 2. Let h be v(-2). Solve -4 - h = 5*u for u.
-2
Let h(n) = -n + 7. Let j be h(5). Suppose -q + 39 = 5*c, 5*q - 12 = j*q. Solve c*l - 3*l = -8 for l.
-2
Suppose 5*j - 31 - 4 = -5*x, -65 = -5*x + 5*j. Solve 0 = -x*g + 5*g + 10 for g.
2
Let u = 11 + -9. Solve -f - 15 = u*f for f.
-5
Let k(j) = j - 7. Let t be k(7). Suppose 3*p - 22 = -4. Solve p = 3*f - t*f for f.
2
Let c = -42 - -50. Solve 0 = -4*d + 4 - c for d.
-1
Let m(t) be the second derivative of t**4/12 + 5*t**3/3 - 2*t**2 + 4*t. Let a be m(-11). Solve -5 - a = -4*i for i.
3
Let l = 45 - 31. Let r = -9 + l. Suppose -2*u + r - 1 = 0. Solve -u*g + 20 = 3*g for g.
4
Let g = 0 - 0. Let h(n) = -13*n - 1. Let s be h(-1). Let y = -11 + s. Solve 0 = j - y - g for j.
1
Let g(o) = o**2 + 6*o + 1. Let i be g(-7). Let v = -115 + 115. Solve 2*q + v*q = -i for q.
-4
Suppose 0*x - 50 = -5*x. Let w = -10 + x. Solve w = 3*a - 0*a for a.
0
Let n = 3 + -3. Let w be 0*((-16)/12 - -1). Solve n = -w*x - 4*x for x.
0
Suppose 0*j = 2*j + 5*m + 136, 8 = -4*m. Let y be (-9)/j + (-26)/(-14). Solve 0 = -y*g - 4 for g.
-2
Suppose -4*t = -3*s + 28, 4*t = -2*s + 2*t + 14. Let x be 2 + (s - (-2 - -2)). Suppose -4*h + x = -2*v + h, v - 10 = -5*h. Solve v*p - 1 = p for