z + t - 2, -26 = c*z + 5*t for z.
-4
Suppose -12 = -5*f - 2. Let x be f/6 - 1/3. Suppose -3*q + 5*q = x. Solve -4*i + 5*n + 21 = q, 0*i = i - 3*n - 7 for i.
4
Let a(k) = -2*k + 15. Let g be a(7). Let r be 3 + 4 - ((-2)/g)/(-1). Solve 0 = -5*s + 4*w - 31, r*s + w + 4 = -7 for s.
-3
Let f be (-16)/10*(-115)/46. Solve -w = -f*w - 3*x + 15, -5*w + 17 = 3*x for w.
1
Suppose -3*l + 6 = -2*l. Suppose x - 3 = -s, 2*x - 4*s + s - l = 0. Let v(b) = 2*b - 4. Let d be v(x). Solve p - w = -4*p - 20, 0 = -d*w - 10 for p.
-5
Suppose 73 = 5*j - q, 0 = 2*j + q - 2 - 30. Suppose -9 = -4*m + j. Let g be m/(-9)*3 - -6. Solve 1 = -5*w + g*s, 0 = 4*s + 6 - 2 for w.
-1
Suppose 0 = -2*x - 28 - 404. Let r be x/21 - 4/(-14). Let w = 18 + r. Solve 17 = 5*h - 2*d, -4*h - d = -4*d - w for h.
5
Suppose -100*k - 5 = -101*k. Solve -5*c + 1 = k*w - 4, -17 = -w - 5*c for w.
-3
Suppose -9*y - 14 + 59 = 0. Solve -y*v - 3*p - 20 = 0, 0 = -0*v + 4*v - 2*p - 6 for v.
-1
Suppose 137 = -23*a + 183. Solve 0 = -3*m + a*c, 2 = -8*m + 3*m + 4*c for m.
2
Let b be 32 - (4 + -4 + -3). Suppose 3*f = -2*f + 25. Let u be ((-4)/f)/((-14)/b). Solve -2*o + 2*p - u = -12, -4*p - 20 = 4*o for o.
0
Let f(c) be the second derivative of 5*c**4/12 - 3*c**2/2 + 3*c + 3. Let g be f(2). Solve 25 = 5*v + 3*w, -5*v - w + g + 8 = 0 for v.
5
Let t be (-10)/15 - 230/6. Let h = t + 52. Solve -4*k + 11 = -3*c, 0*k + 4*k - h = 5*c for k.
2
Let s be 56/(-20) + 3 + 31/(-5). Let m be ((-1)/2)/(1/s). Solve -h + 5*w = -10, h - 4*w - 8 = m*h for h.
0
Suppose -4*i + 0*i + 92 = -4*v, 2*v - 62 = -4*i. Suppose -i*x = -17*x - 4. Solve -15 = 5*k, -x*d = -d + 5*k + 21 for d.
-2
Suppose -u - 3 = -7. Solve -c = 2*p + 3*p - 29, p + 11 = u*c for p.
5
Let z = 371 - 366. Solve 4*t = -4*f + 2*f + 10, -z*t = 2*f - 15 for t.
5
Suppose 46*b = 140*b - 282. Let n = 1 - 5. Let x be (10/n)/((-1)/2). Solve -3*o + x*f = 18, -5*o = b*f + 2*f - 10 for o.
-1
Let d be 2079/44 + (-6)/(-8). Suppose -d - 2 = 2*v. Let b = -22 - v. Solve -4*s + 22 = 5*k, k + 3 + 4 = b*s for k.
2
Let h be 6/1 - (-14)/(-14). Solve -3*j + h*v - 35 + 9 = 0, 4*j - 4*v + 24 = 0 for j.
-2
Let c be -7 + ((-6)/(-4))/(72/528). Solve -2*q - 3 = n, 2*n - c*n = -2*q for q.
-1
Suppose -5*x - 18 = -6*x. Let h be (-36)/(-17) - x/153. Solve 0 = -3*f + h*f + o + 2, -2*f = -o - 5 for f.
3
Let g = 8 - 5. Suppose 0*k + g*k - 40 = 5*s, -5*s = 25. Let r be (12/(-9))/(k/(-15)). Solve r*p - 2*p + 5 = -q, -3*q - 5*p = 12 for q.
1
Suppose -2*q = 3*r - 6, 16*r - 19*r - 9 = -3*q. Solve 3*a - 6 - 1 = 5*p, q = a - p for a.
4
Let g = -4 + 9. Let j be (-4 + 3)/((-2)/(-10)). Let n = 0 - j. Solve a = -5*v + g*a - 2, -n*v = 4*a + 18 for v.
-2
Suppose 3*k + 73 = -4*n, 0*k - 49 = 2*n - k. Let m = -19 - n. Solve a = 3, -2*a = m*y - 0*a - 18 for y.
4
Let d(n) = n**2 - n - 1. Let j be d(-2). Suppose -j = x - 2*x. Solve 5*l - 20 = 0, -3*k + x*l = 3 + 17 for k.
0
Let x(n) = n**3 + 9*n**2 + 10*n + 18. Let l be x(-8). Solve z - h - 3 = 0, -3*h + l = -5*z + 9 for z.
-1
Let m(u) = 2*u + 19. Let v = -26 + 18. Let q be m(v). Suppose -1 = -2*k + 3. Solve 0 = 2*s + 4*p - k, -3*p = q*s - 0*s - 3 for s.
1
Suppose 3*h - 5*h = 0. Let u = 29 - 10. Suppose -3*s + 5*d = -17, 4*s + s + d = u. Solve h = -2*g + s, -2*g = z + 3*z - 8 for z.
1
Let i(w) = -2*w. Let y be i(-2). Suppose y*q = 5*o + 25, 33 - 8 = -5*o. Let d be -3 + q + 1 + 5. Solve -5*f = 2*z - 21, -4*z = 2*f - 7*f + d for z.
3
Let t = 11 + -9. Let a be (t - 5)*1 + 3 + 0. Solve a = 5*m - 3*m - 2*i + 4, 5*m + 2*i - 25 = 0 for m.
3
Suppose 0 = -8*a + 3*a. Suppose -5*c - 2*b + 37 = a, 10 = -4*c + 5*c + 3*b. Suppose 3*i = c + 8. Solve -d + s = i*s - 23, -d + s = 2 for d.
3
Let l = 10 - -4. Suppose 50*c - 62*c = -36. Solve c*b + 0*q - 5 = -5*q, 2*q + l = 2*b for b.
5
Let q(s) = -s**3 + s**2 + s - 8. Let b be q(0). Let v = b + 18. Solve 3*i - 3*j = -18, 0 = i - 4*j - j + v for i.
-5
Let x(r) = -4*r - 3. Let s = 34 + -41. Let l be x(s). Suppose -y - 2*y + 2*g + 10 = 0, -l = -y + 5*g. Solve 4*a = 20, -2*m + 2*a = -y*m for m.
5
Let k(u) = 12*u - 25. Let y be k(7). Let p = y + -56. Let n = 1 - 1. Solve 5*r + 25 = n, c - 12 = 5*r - p*r for c.
2
Suppose -x - 3*h = -34, 4*x - 4*h = -2*h + 178. Let v be 3 + (0 - -2) + x. Let q be (2/4)/(8/v). Solve 3 + q = -m + 2*k, -m = k for m.
-2
Suppose 9*b - 12 = 3*b. Let j = b + 8. Suppose w = -4*w + j. Solve -w*f - 16 = 4*u, -4*f + 4*u + 25 = -3 for f.
2
Let t(v) = 6*v**3 + v**2 - v. Let w be t(1). Let l be (-45)/w - (-3)/(-2). Let o = 13 + l. Solve o*p = 8*p + s + 7, -s - 4 = 3*p for p.
-3
Suppose 8*k - 29 = 4*k - d, 4*k + 2*d - 34 = 0. Solve -2*u + k*u - o = 15, 4*u - 4*o - 12 = 0 for u.
4
Suppose -3*a + 7 = -41. Suppose 2*k - a = -2*k. Solve -4*q + 5*o = -q - 35, -o - k = 0 for q.
5
Let f(g) = 12*g - 70. Let i be f(6). Solve 3*t - 7 = 2, o + 4 = i*t for o.
2
Let h be (1 - (-6)/(-3))*(30 - 35). Solve 5*l - 30 = -h*u, 4*l - 9 = u - 2*u for l.
1
Suppose -b - b = 3*u - 14, b = 2*u. Let x = -19 + -2. Let i = x - -36. Solve -i = -5*a - 5*l, -2*a + b*a + l - 3 = 0 for a.
0
Let z(m) = -m - 16. Let n be (-12)/20 + 128/(-20). Let l be z(n). Let c = -7 - l. Solve -c*k = 5*y - 17 - 1, y - 8 = 4*k for y.
4
Let m(x) = x**2 + 10*x + 7. Let z be m(-9). Let c be (3/z + (-2 - -4))*6. Solve -u - 6 = 3*q, 0*u = 2*q + c*u + 11 for q.
-1
Suppose 4*c = 5*d + 24, 2*c - d - 12 = -5*d. Suppose -18*a = -21*a + c. Solve 17 = -t - 4*v, -5*v = -a*t + t + 10 for t.
-5
Suppose 0 = -267*i + 265*i + 8. Solve -i*f + 8 = -3*q, 0*q - 12 = 4*f + 2*q for f.
-1
Suppose 2*u - 29 = -13. Solve -4*n = u*f - 4*f, n = -5*f - 12 for n.
3
Suppose -v - 4*v = -25. Suppose -v*u = -10*u - 55. Let f = u + 13. Solve d = -3*t - 8, -4 = -3*d - f*t - 0*t for d.
4
Let r be 920/35 - (-2)/(-7). Let u = r + -18. Suppose -5*f + 8 = -f. Solve -12 = -3*p - 5*y, -p - u = -3*p - f*y for p.
4
Let i be 7 + (7 + 1 - 4) + -6. Solve 4*y = 4*d + 8, -y - y = d + i for y.
-1
Suppose -4*m + 2*g + 4 = -2*g, -2*m + 4*g = 4. Let u(r) = -r**3 + 2*r**2 + 10*r - 3. Let o be u(m). Solve o*w - 29 = -2*v, 3*w - 13 = -4*v + 10 for w.
5
Let u = -39 + 31. Let o be u/(-10)*5/20*10. Solve -3*j = -y - o*y + 18, -3*j = -5*y + 22 for y.
2
Let i(p) = -2*p + 2*p + 5 + p. Let d be i(-2). Let o be (3 + -6 - -4)*d. Solve 4*b + 7 = -4*l - 1, 4*b = -3*l - o for b.
3
Let h = -16 - -64. Let s = 48 - h. Solve -2*m - 2*x + 4 = -s, 0 = -3*m + x - 10 for m.
-2
Let m be (-17 - -21) + -4 + 0. Suppose m*y + 4*y - 4*f = 0, -2*f + 6 = 0. Solve -3*g - 2*u = -5*u, -4*u = y*g + 14 for g.
-2
Suppose 8*s + 32 = -8. Let k(q) = q**2 + 2*q - 10. Let i be k(s). Solve 3*y + a = -0*a + 9, 3*a + 29 = i*y for y.
4
Let j = -16 + 26. Suppose -2*z - 6 = -j. Let k = z + 1. Solve 5*a - k*o = a, -o - 13 = 3*a for a.
-3
Let b = -1127 + 1133. Solve 8 = -3*v + j, b*v = 2*v + 5*j + 4 for v.
-4
Let w = -22 + 37. Let b be (-5 + 5)*(3 - 4). Suppose -4*v - 4*s = -36, -8 = -4*v + 2*s + s. Solve 2*o = b, -5*j + 3*o + w = -v for j.
4
Let z = 2 - 6. Let s be 150 + (-3 - z) + -2. Suppose -4*o + 3*p = -s, o = 6*o - p - 189. Solve o = 4*i - 5*d + 15, d = -4*i + 5 for i.
2
Suppose -13*y - 31 - 34 = 0. Let a = 7 + y. Solve a*l = -j - 4*j + 24, -3*l = -6 for j.
4
Let v(h) = -h**3 - 8*h**2 + 7*h + 9. Let b be v(-9). Let r = b - 24. Solve -4*w + r + 13 = 4*u, 4*w - 12 = -2*u for u.
2
Let l be (-2)/12 + 629/102. Suppose 3*x - l = -h + 2, -h + 2*x = 2. Solve -h*d = -5*g + 28, -4*d = d - 2*g + 28 for d.
-4
Let i = 14 + 23. Let s = i - 23. Solve -3*p + 0*p - s = -5*v, 5*p + 10 = 5*v for p.
2
Suppose d = 5*k - 48, 3*k - 2*d = 27 - 1. Suppose -x - 6 = 3. Let v = x + 14. Solve -5*f + 3*m - k = 0, -3*f - v*m - 6 = -0*f for f.
-2
Let w be (-21)/(-4) - ((-8)/32)/(-1). Solve -3*a - w = -2*k - 0*a, -5*k + 5*a = 0 for k.
-5
Suppose -3*c = -2*s - 29 - 71, 5*c - 5*s = 175. Let h = c + -4. Suppose -5*k = -2*k - 6. Solve -6 + 18 = -k*q - 2*g, 0 = -5*q - 4*g - h for q.
-2
Let b be (-2769)/(-195) + 1/(-5). Solve y - h + 13 = 2*h, -b = 2*y - 2*h for y.
-4
Let x be (9/(-6)*-1)/(12/32). Suppose 5*o = z - x*z + 8, -2*z - 8 = 0. Let a(h) = 2*h. Let m be a(1). Solve 2*y - m = -4*r, 3*r - o = r for y.
-3
Suppose 5*l + 3*l - 288 = 0. Let y = 39 - l. Solve -3*s - 35 = 5*m, -5*m - s = -y*s + 10 for m.
-4
Suppose 4*t - 4*o = 8, -t + 0*t = 5*o - 8. Suppose t*v - v = 44. Solve -4*w + 2*s - v = 0, 16 = -6*w + 