r f.
-1
Let a = 21 - 16. Suppose 0 = 4*i - y - 60, 0 = a*i + 5*y - 50. Let t = -11 + i. Solve -t = -3*o - 12 for o.
-3
Let k be (-49)/(-14) - 1/(-2). Suppose 4*y = k*r + 24, 3*r = -5*y - 2*r. Let h be (-4 + 2)/(y/(-6)). Solve f + h*f = -5 for f.
-1
Suppose -9*m + 20 + 34 = 0. Let j(v) = 7*v**2. Let n be j(1). Suppose 6*s = n*s - m. Solve -s*u + u + 15 = 0 for u.
3
Suppose -10 = f + 3*y - 0*y, 0 = -2*f - y. Let t(n) = -n**2 - 2*n + 3. Let b be t(-3). Solve -3*j - f + 11 = b for j.
3
Let o = -393 - -405. Solve -o = -21*k + 27*k for k.
-2
Suppose -3*i + 3 + 6 = 0. Suppose -65 = 5*q - i*z - 160, -3*q = 3*z - 81. Suppose -2*c - 25 + 9 = -3*h, -c = -5*h + q. Solve v + h = 6 for v.
2
Suppose -10 = -5*k - 10*d + 6*d, 5*d = 3*k - 6. Solve 0 = k*w + 16 - 26 for w.
5
Let o(v) = 21*v**2 + 19*v + 51. Let d be o(-3). Solve -3*h - 168 = -d for h.
5
Let p be 3/(-7) - (-1295)/49. Suppose p = -2*n + 5*g + 61, 5*n - 10 = -3*g. Suppose -4*h - h = -n. Solve d = h + 2 for d.
3
Let p(w) = -w**3 + 16*w**2 + 36*w + 17. Let a be p(18). Solve -q - a = -18*q for q.
1
Suppose -4*m - 301 = -329. Solve -4*z - 11 = -m for z.
-1
Suppose 3*y + 3 = 5*p - 10, p = -4*y + 21. Suppose -3*m - 25 = -5*t - 0*m, -y*m = t + 18. Solve -t - 1 = -q for q.
3
Suppose -14 = -5*c + z, -2*z = 3*c - 11 - 0. Let w(g) = g + 16. Let b(q) = 2*q**3 + 4*q**2 + 2*q - 3. Let u be b(-2). Let n be w(u). Solve n = 3*i + c for i.
2
Suppose -c = y - 4*y + 87, -5*y - 4*c = -128. Let q = y - 22. Suppose -q = -4*j + j. Solve -j*k - 12 = 2*k for k.
-3
Let w(n) = 2*n + 34. Let l be w(0). Suppose -3*b = 4*a - 9*a + l, a - 14 = 3*b. Let u = 5 - 0. Solve -a = 5*c + u for c.
-2
Suppose 2*x = 4*x - 26. Let h(v) = -2*v**2 + 16*v**2 - v**3 - 6*v + 5*v + 18 - v**2. Let g be h(x). Solve 0*c - g = c for c.
-5
Let w = 397 - 384. Solve 0 = w*s - 16*s - 6 for s.
-2
Let d(u) = 3*u - 6. Let o be d(7). Solve -4*h + 9*h + o = 0 for h.
-3
Suppose -2*l + 29 = 3*q - 120, 0 = 4*q + l - 202. Suppose -27 = -3*k + q. Let a = k - 26. Solve a - 1 = r for r.
-1
Suppose -1 + 3 = g. Let p(d) = -9*d - 12 - 5 + 7 - d**g. Let c be p(-4). Solve 2*u + c = 7*u for u.
2
Let c = -41 - -49. Let d be c*(-4)/(-6) - 36/108. Solve 0 = d*f - 4*f for f.
0
Let c(w) = 5*w + 10. Let a(t) = -4*t - 9. Let z(l) = -6*a(l) - 5*c(l). Let o be z(2). Solve 7*m + 10 = o*m for m.
-2
Suppose -4*j = 0, -5*j - 60 = -5*i - 2*j. Let m(x) = 0*x + 6 + 8 - 8*x + 7*x. Let c be m(i). Solve -c*k = 5 + 1 for k.
-3
Suppose -1221*y - 40 = -1225*y. Solve 0 = 7*n - 2*n - y for n.
2
Suppose 0 = 2*j - 4*h + 12, 4*j + 5 = 5*h - 10. Let y be 1 - ((-5 - -2) + j). Solve -y*t = -0*t for t.
0
Let c(t) = 3*t**2 + 32*t + 47. Let w be c(-9). Let n be -1 + (-1 - 0) + 15. Solve 3*z - n = w for z.
5
Let w(h) = 9*h - 1. Let j = -1 - -2. Let r be w(j). Suppose 6*p - 2*p - r = 0. Solve -7 + 1 = p*k for k.
-3
Let i(q) = 7*q**3 - 3*q**2 + 2*q. Let m be i(1). Solve -m*g = -3*g + 12 for g.
-4
Let j = -1 + 6. Let k = -625 - -629. Solve 11 + k = j*v for v.
3
Let g(f) = -f**3 + 16*f**2 + 18*f - 5. Let z be g(17). Suppose 0 = n - y - 4, -3*y - z + 0 = 0. Solve -d = -n*d for d.
0
Let k(o) = -o**2 + 8*o - 7. Suppose 2*u + 3 = x + u, u - 3 = 0. Let c be k(x). Suppose 0 = -0*i - i + p + 3, 0 = 5*p + c. Solve -i*v = -3*v for v.
0
Let z = -8 - 0. Let y(s) = s + 12. Let v be y(z). Solve v*t - 16 = -0*t for t.
4
Suppose -2*o + 5*o + 4*k - 22 = 0, 42 = 5*o + 4*k. Solve -o*q - 30 = -0*q for q.
-3
Suppose b - 16 = -4*k + 6, 5*b - 35 = -5*k. Let r = 5 - b. Solve -3 + 15 = -r*u for u.
-4
Let r be 1/(0 + (-1)/(-6)). Suppose -198 = -38*o - 46. Suppose -2*b + o = 0, -v - 2*b - r = -3*v. Solve -1 + v = -k for k.
-4
Let f(n) = -n + 10. Let s be f(9). Suppose 50 = 55*j - 60. Solve v + s = -j for v.
-3
Suppose z - 357 = -50*z. Solve 6*x - 5 = z for x.
2
Let l(z) = z**3 + 7*z**2 - 5*z - 4. Let y be l(-7). Let v = y - 27. Solve -v + 8 = -t for t.
-4
Suppose 11 + 25 = 3*t. Suppose -3*m = 6 + t. Let u be (-20)/m - 8/(-12). Solve -u = 5*z + 1 for z.
-1
Let x(j) = -2*j - 13. Let o be x(-4). Suppose -2*l - 3*r = 1, -l + r = -2*r - 4. Let u be l*0*o/(-15). Solve u = -8*g + 3*g for g.
0
Suppose 141 = 3*m - 2*l, 2*m + 4*l = 108 - 30. Solve -m = -10*q - 45 for q.
0
Let u be ((-102)/8)/((-18)/48). Let i = u - 48. Let y = i + 17. Solve -y*l - 12 = 3 for l.
-5
Let d(c) = 10*c + 8. Let g be d(2). Suppose -4*q - a = 4 - 24, 0 = 2*q + 5*a - g. Solve 5*z = q + 1 for z.
1
Let h = 71 - 59. Solve -15*z + h = -3*z for z.
1
Let n = -25 - -29. Let y be (-1)/4 - (-29)/n. Suppose -s = 3*s - 20. Solve y = 3*j - s for j.
4
Let u = -4 - -6. Let f be u - (0 + 1 - 6). Let b(p) = -p**2 + 8*p - 5. Let o be b(f). Solve -v + 4 = o for v.
2
Suppose -5 = 4*d - 4*t + 3, -8 = 2*d - 4*t. Suppose -r + 63*r = 0. Solve r = -d*b + 3*b for b.
0
Suppose 4*t + 60 = 2*i, -5*t = 2*i - 13 - 29. Let n be 136/22 - (-12)/(-66). Suppose -2*x - n = -14. Solve x*u - 6 = -i for u.
-5
Let h(d) = d**2 + 7*d + 10. Let r be h(-8). Let t = -6 + r. Let p be -2 - (28/8)/(1/(-2)). Solve p*a - a + t = 0 for a.
-3
Let j = 27 + -9. Let q = j - 16. Let x be (-5 - -14)*q/3. Solve 0 = 5*y + 26 - x for y.
-4
Let q be 8/6*10/((-10)/(-3)). Suppose 3*d - 54 = -5*i + i, -2*i - q*d = -32. Solve -2*y + 5*y - i = 0 for y.
4
Let q be ((-6)/(-4))/((-4)/8). Suppose 6*j - 25 = j. Let z = q + j. Solve 3*f - 4 = z for f.
2
Suppose 153 = -4*d - 0*c + 5*c, 25 = 5*c. Let p = -30 - d. Solve 0*t + 2 = -p*t for t.
-1
Let z = 147 - 140. Solve -z = 2*i + 1 for i.
-4
Suppose -5*s - 16 = 3*q, 3*s = 7*s + q + 10. Let g be (1 - (4 + s)) + 3. Solve -j + g = j for j.
1
Let l(w) = w**2 - 6*w - 5. Let z be l(7). Let g = 23 - 15. Suppose 5*n = -s + 2, 0 = z*n + n + 4*s - g. Solve n = 5*k - 23 - 2 for k.
5
Let t(h) = h**3 + 6*h**2 - 9*h - 14. Let q be t(-7). Suppose 5*n - 31 = -q*n - 3*p, 0 = p - 2. Solve -5*s = -n - 5 for s.
2
Suppose 4*c - 23 - 17 = 0. Suppose u = -5, i + c = -4*u - 4. Suppose i*j = 7*j - 3. Solve j*t = 5*t + 8 for t.
-4
Let r(q) = -26 - 11*q - 42 + q**2 - 7*q + 54. Let d be r(19). Solve 25 = -0*g + d*g for g.
5
Let j be (-3)/((-9)/(-12)) - -8. Suppose 4*b + 4*w = -j - 12, -20 = 2*b + 5*w. Suppose -5*h + 4*t + 26 = b, -12 = 5*t - 2*t. Solve -10 = 3*n + h for n.
-4
Let t(o) = o + 5. Let w be t(-8). Let f be (-8)/(-12)*w/(-2). Let a(y) = y**3 - 3*y**2 + y + 2. Let q be a(2). Solve -4*i - f + 5 = q for i.
1
Let l = -90 + 43. Let b = l - -48. Solve 2*c - 7 = -b for c.
3
Let i = -9 - -14. Suppose 0 = -3*o - 4*s - 1 + 3, i = o - 3*s. Suppose -5*k - 23 = -2*n, -5*k + k = 12. Solve 0*c - o*c = -n for c.
2
Let m be (80/4)/1 + (2 - 6). Solve -m + 1 = 5*k for k.
-3
Let b(c) = c + 3. Let w be b(-6). Let g = 2 - w. Solve -12 = g*l + 13 for l.
-5
Let h be 5/(-25)*-64 - 8/10. Solve -h = -n - 17 for n.
-5
Let h be 2/(-5)*(-10 - 0). Solve h*a + 66 = 46 for a.
-5
Let m = 39 - 30. Suppose -11 = -4*b + m. Solve 32 = b*l + 12 for l.
4
Let m(s) = 23*s**2 + 4*s + 1. Let r be m(-1). Let j = r - 16. Solve 0 = c + 3 - j for c.
1
Let c(k) = 16*k - 204. Let g be c(13). Solve b - g*b = 0 for b.
0
Let i = 189 + -177. Solve -i*l = -10*l - 6 for l.
3
Suppose -4*c + 60 = -24. Solve -4*m + c - 9 = 0 for m.
3
Let g = -41 + 10. Let f = g + 33. Solve 3*k + 20 = -f*k for k.
-4
Suppose 138 = 5*h + 3*u, 4*h - 3*u - 105 + 0 = 0. Suppose 0 = 6*m + 3*m - h. Solve 5*r + 23 - m = 0 for r.
-4
Let c be (-1160)/(-87) + 10/6. Solve -6*b = -b + c for b.
-3
Let b be 44/8 - 3/2. Suppose 13 = 5*d + 3. Let q be ((-3 - (d - 2)) + 3)/2. Solve q*p - b = -p for p.
4
Let b(h) = 18*h. Let y be b(1). Suppose -y = -3*k + 5*k. Let n = 15 + k. Solve n = -d - 2*d for d.
-2
Suppose -557*z = -556*z - 7. Let m be (0/(-2))/((-6)/(-3)). Suppose 4*u - 3 = -t - m*t, 4*t + u - 12 = 0. Solve 4 = t*o + z for o.
-1
Suppose 78*p - 81*p + 30 = 0. Solve 0 = -7*v + 5*v + p for v.
5
Let c be 6/7*63/18. Suppose -5*s - 3 = -x - 3*s, c*s - 3 = 0. Solve 0 = -3*b + x*b + 4 for b.
-2
Suppose 568*n - 1452 = 546*n. Solve 0 = 16*j + 2 - n for j.
4
Suppose -p + 756 = 8*p. Let y = p + -82. Suppose 0 = l - 4*l + 9. Solve s = y*s + l for s.
-3
Let z be ((-6)/10)/((-4)/20). Suppose d + z*f - 27 = -2*d, 3*d - 4*f = -1. Solve -d*u + 0 - 15 = 0 for u.
-3
Let p = 216 + -195. Solve 50 = p*g - 11*g for g.
5
Suppose 3*f = 3*q - 30, -4*f = -7*f + 6. Let g = 26 - q. Let y = g - 11. Solve -z + 2*z = y for z.
