t = -4*f + 7, -t - 5 = -j*f + 4 for f.
2
Let b(p) = -9*p - 69. Let c = -70 + 62. Let r be b(c). Solve -i + 5 = -2*m, 2 = 7*i - r*i + m for i.
1
Let r(u) = -u**3 - u**2 + 3*u + 15. Let t be r(0). Suppose -5*n = -2*n - t. Solve 2*h - 2*m - 1 = -n, -m + 2 = -2*h for h.
0
Let d be (-60)/(-9) - 2/(-6). Suppose 0 = 4*t - 8, 2*j - 66 = -d*t + 2*t. Let x be ((-48)/j)/((-6)/21). Solve 2*l + 2*l = 4*k - 8, -x = -3*k for l.
0
Let o be ((-60)/(-9))/(-1)*90/(-25). Suppose -20*i + o*i = 8. Solve -5 = -r, -i*g - 3*g = -4*r for g.
4
Let j(i) = 0*i + 6*i + 2 + 0*i - 5*i + 4*i**2. Let p be j(-1). Solve -y - t = 4, -p*y - 12 - 8 = -5*t for y.
-4
Suppose -86*w = -58*w. Solve 0*y = 3*i - 5*y, -3*i + 3*y = w for i.
0
Suppose 18*k - 14*k = 8. Suppose -k*h = r - 6*r + 27, -r + 2*h = -7. Solve -4 = 2*a + 2*g, 5*a + 46 = r*g + 6 for a.
-5
Let p be (11/(-165)*3)/(1/(-25)). Solve -p*b = 2*o - 13, -b + 1 = 5*o + b for o.
-1
Let y = -77 + 69. Let n be y/5*-1*(-5)/(-2). Solve 1 = -j - 0*j + 4*l, n*l + 2 = 2*j for j.
3
Let g be (-1 - 45)/((-4)/(-2)). Let k = -21 - g. Solve 4*v + 16 = 3*n, k*v + 2*n + 0*n = 6 for v.
-1
Let s be ((-4)/5)/((-51)/255). Solve 3*d + 1 - s = 0, 4*a - 3*d = 1 for a.
1
Suppose 5*k - 70 - 35 = 3*g, 26 = 2*k + 2*g. Suppose -6*y - k = -8*y. Let h be (y/(-6))/(1/(-6)). Solve -3*m - 3 = -3*u, -u = 2*m - m - h for u.
5
Let z(f) = -f**3 + 17*f**2 - 17*f + 20. Let h be z(16). Suppose 7*m - 33 = -h*m. Solve 5 = m*n - 5*x, -n - 2*n - x = -17 for n.
5
Suppose 0 = 5*t + 5*l - 20, 5*t = 10*l - 13*l + 16. Solve -3*a = 4*m + 2*a - 3, 4*m + 6 = -t*a for m.
-3
Let q(p) = -6*p + 231. Let t be q(38). Solve t*f - 15 = -3*x, 3*x - 2*f = 2*f + 8 for x.
4
Let w(d) = d**2 - 32*d - 102. Let j be w(35). Solve -j*i - 15 = 0, -2*i - 9 = -4*p + 3*p for p.
-1
Let q(d) = d**2 + 10*d + 9. Let o be q(-6). Let z be (-3)/(-2)*(-20)/o. Suppose 4*n - z = 2*w - 0, 4*w = 12. Solve 13 = 3*a - 0*f + 4*f, n*f - 2 = 0 for a.
3
Let y = -2963 - -2969. Solve -3*o = j - 1, y*j + 4*o = 4*j for j.
-2
Let r(f) = -f**2 - 11*f + 36. Let i be r(-14). Let m be (i + 7)/(2/10). Solve 0*p - m*q = 4*p + 9, 4*q = 4*p for p.
-1
Let h(q) be the first derivative of q**2 - 3*q + 4. Let t be h(7). Let y = t + -6. Solve 9 = 2*r + y*l - 8, r - 2*l + 5 = 0 for r.
1
Suppose 6*j - 2*j = o - 18, -2*j = 8. Let n be (9/(-9))/(o/(-5))*2. Solve -4*b - 3*y = -18, -5*y = -2*b + n*b - 19 for b.
3
Suppose -4*w + 2*s + 70 = -0*w, 0 = 3*w - s - 55. Suppose 15*o - w = 11*o. Solve -o = 5*t - 3*y, -t - 6*y = -5*y + 1 for t.
-1
Let p be (-3 + 0/1)/(-1). Suppose 7 + 2 = p*m. Solve -m*l = 4*q - 2*q + 1, 3*l = -q + 1 for l.
1
Suppose -41 - 149 = -5*v. Let f = v + -22. Suppose -f = -4*s - 2*t + 3*t, 0 = 4*t + 16. Solve 5*d + j = -s - 7, -3*j - 10 = 5*d for d.
-2
Suppose 3*n - 2*j = 46, -4*n - 3*j + 0*j + 67 = 0. Suppose w - n = -0. Suppose -5*q - w = -6*q. Solve 4*s = -2*o + 8, -3*s + q = 4*o - 4*s for o.
4
Let b = 21 - 57. Let v = 40 + b. Solve -5*k = -5, 2*s - v*k = 4*s for s.
-2
Let z(q) = 50*q**2. Let f be z(1). Suppose -12*w = -10*w - f. Let l = w + -23. Solve -5*c = -2*k + 30, -3*c - 20 = l*c for k.
5
Suppose 5*l = -4*w + w + 13, 2 = l. Suppose 1 = q - w. Solve j + 10 = -4*m - j, 3*m - q*j - 3 = 0 for m.
-1
Let v(r) = -r**2 - 9*r + 24. Let a be v(-11). Solve -a*s = 4*x + 6 + 24, -3*x - 3*s - 30 = 0 for x.
-5
Suppose -3*j = 6 - 27. Suppose 3*b + 5*c - j = 0, -b = c - 2 - 1. Solve -o - 4*d - 13 = 0, 5*o - 2 = b*o + d for o.
-1
Suppose -239*d = -238*d - 4*l - 40, -4*d + 5*l = -160. Solve -4*f - 5*v - d + 7 = 0, 3*f - 3*v - 9 = 0 for f.
-2
Suppose 4*d + 0*t - 60 = 4*t, d = 4*t. Let i be -11*((-8)/(-14))/((-4)/14). Let j = i - d. Solve 0*s + s = -j, 4 = 4*z - 2*s for z.
0
Let j = -7 + 59. Let k = j - 50. Solve 4*a = 2*m + 18, k*m - 12 = -2*a + 6*m for a.
4
Let y(i) = i**3 + 5*i**2 - 2*i + 2. Suppose 4*u + 36 = u. Let a = u + 7. Let f be y(a). Solve -5*q + f = -q, q - 7 = 2*x for x.
-2
Let g be (-10)/(-8)*(-8)/(-18)*9. Solve 3*r + 2 = 3*l - 10, -4*l + 17 = -g*r for r.
-1
Suppose -210 = -2*y - 12*y. Suppose 35 + y = 5*g - 5*u, 5*u + 35 = 2*g. Solve 17 = -g*s - 3*v, 4*v = -s - v - 21 for s.
-1
Let l = 240 + -236. Solve -l*s = -5*s - z - 9, -z = 4 for s.
-5
Let s(d) = -2*d + 25 + 7 - 7. Let r be s(10). Solve l - 25 = -2*l + 4*y, r*y = l - 23 for l.
3
Suppose -3*c + 0*z = -3*z, -z + 8 = c. Suppose r + 4*d + 3 = 0, 1 + 2 = 3*d. Let q = r - -10. Solve -c*a = -2*y - 2 - 2, -5*a + 3 = -q*y for a.
3
Suppose -4*d + 270*p - 275*p + 41 = 0, -d = -5*p + 21. Let g = 14 - 9. Solve -2*o + 31 = -g*a, -4*a + 15 = -d*o + 47 for o.
3
Suppose -4*a = -5*r - 29, 21*r = -3*a + 23*r + 20. Suppose 0 = 4*g - 0*g - 20. Solve 18 = -g*q + o, -3*q - 8*o + 7*o = a for q.
-3
Let y = -3 - -5. Let w be (-310)/(-930) - (-1)/(-6)*2. Let q be 4/(-2) + 1 + 4. Solve w*c + 4*u + y = 2*c, -q*u = -2*c - 1 for c.
-5
Let a(h) = 15*h + 110. Let n be a(-6). Solve 2*p - p = -2*q - 8, -2*q - n = 4*p for q.
-2
Let o = 691 + -689. Solve -z - 5*r - 4 = -25, o*z + 2*r = 10 for z.
1
Let j = -7 + 14. Suppose 1 = -3*s + j. Suppose -g = 3*g - 20. Solve 5*v + s = -2*n, -g*v + n = -n - 2 for v.
0
Suppose 45 + 54 = 3*x - 2*j, -3*x - j = -90. Solve 0 = 4*l - 3*r - x, 4*r = -2*l - r - 17 for l.
4
Let y(a) = -a**2 + 2*a + 8. Let x(j) = -j. Let w(k) = -3*x(k) + y(k). Let m be w(6). Suppose 0 = m*n + 2*n. Solve n = -4*u + 12, z = 4*u - 2 - 10 for z.
0
Let v be (-100)/15*3/(-4). Solve t = -v, 0 = l + t - 4*t - 12 for l.
-3
Suppose 17 = -2*b + 5*v, 3*v - 7 = -2*b - 0. Suppose 5*h + 6 = -0*c - c, 0 = 2*c + 5*h + 7. Let u be c/(b/13*1). Solve -u = 4*s - 5*n, 0*n = -s - 5*n + 3 for s.
-2
Let p be 3*1 + -3*13/(-39). Solve -2*h - 5 = -g, -4*g + h = -2*g - p for g.
1
Suppose -32 = -25*x + 43. Solve 3*u - 3*p = -12, 8*u - 11*u - x*p + 6 = 0 for u.
-1
Let j(t) = t**3 - 5*t**2 + 3*t - 6. Let i be j(4). Let w(k) = k + 13. Let c be w(i). Let y be 4*(8 + (-87)/12). Solve 0*o + c = o - d, -y*d - 9 = 2*o for o.
0
Let l(h) = -6*h + 5. Let f be l(2). Let t = f - -26. Let p = -17 + t. Solve p*b = -2*b + 8, -3*b + 1 = m for m.
-5
Let j(o) = -6 + 2*o + 3 + 1. Let g be 0/(2/2) + 3. Let t be j(g). Solve -t*h = 2*c - 10 + 4, 2*c = 2*h for h.
1
Let d(b) = b**3 - 5*b**2 + 2. Let l be d(5). Suppose 0 = 5*n + 10, -l*t - 2*t + n = -26. Suppose 25 = -m + t*m. Solve -m*k = 2*p - 0*p + 28, 3*p = 3*k for p.
-4
Let m = -10 - -23. Suppose -u - 3*z - 9 = 2, -3*u - 5*z - m = 0. Solve -u*b + 4*q - 36 = 0, -5*q = 3*b + b for b.
-5
Let q(u) = 24*u**2 - 2*u + 3. Let r be q(1). Let n = r + -23. Solve -4*a = k + 17 + 6, n*k + 16 = -2*a for a.
-5
Let o(w) = 2*w**2 + 5*w + 3. Let p be o(-4). Let t(a) = a**3 - 5*a**2 - 5*a + 5. Let u be t(6). Let c = p - u. Solve 5*d - 2*j = -j - 12, -24 = c*d + 4*j for d.
-3
Suppose -p - 24 = -29. Solve q = p*c - 9, -4*q = 4*c + c + 11 for c.
1
Let l = -8 + 58. Let c = l - 30. Solve -3*d + c = -i, 3*d = -2*d - i + 20 for d.
5
Let t be 8/2 + -15 + 4. Let p be (t - 87/(-9))/(4/6). Solve -p*m = 3*i - 4, -3*m + 2*i - i = -16 for m.
4
Let p be (5/2 - (-24)/(-16)) + -65. Let z = p - -69. Solve -6*s + 2*s = -3*a + 10, z*a = 10 for s.
-1
Suppose 5*k + 4 - 34 = 0. Suppose -4*j + 80 = 6*j. Solve 3*h = 5*n - j, 2*h - k*h + 8 = -2*n for n.
4
Let k be 816/(-238)*14/4. Let j(s) = -s**3 - 4*s**2 + s - 3. Let x be j(-5). Let t = x + k. Solve 5*c + 4*a = 13, 4*c - t*a - 20 = 3*c for c.
5
Suppose -5*x - 28 = -4*c + 32, 0 = 4*c - 20. Let p = x + 3. Let v = 7 + p. Solve 4*m = -4*f + f - 4, -5 = v*f + 5*m for f.
0
Suppose 0 = -4*g + 8*g - 12. Suppose g*i - 3*c = 12, c = 2*i - 7*i - 10. Let s be (-1)/(1 - 2) - i. Solve -8 = 2*x - 2*f, -s*f = -6*f + 16 for x.
0
Let x be ((-110)/77)/(8/(-14))*2. Suppose -4*n - 36 = -2*n. Let q = n - -24. Solve -2*a = 4*p + q, -a = -x*p - 0*a - 4 for p.
-1
Let n(w) = -w**2 - 9*w - 9. Let d be n(-7). Suppose -4*i = d*y - 22, -5*i - 3*y = -8 - 13. Solve -2*g + 14 = -4*v, i*g - v - 8 = -2 for g.
1
Suppose -2*j + 5*g - 17 = 4, 0 = g - 5. Solve -15 = 5*a - 5*q, -13*q - j = -4*a - 16*q for a.
-1
Suppose a - 77 = 34. Let f = 114 - a. Solve -4*o = -5*k - 26, -f*o = 2*k - 7 - 1 for k.
-2
Let h = -14 + 26. Let r(l) = -12*l - 264. Let s be r(-22). Solve -a + 6*v + 16 = v, s = -4*v - h for a.
1
Suppose 0 = 32*s - 36*s. Let b be 2*(s + (-6)/(-9))*3. Solve 20 = 4*g - b*t, -g + 3 = -5*t - 2 for g.
5
Suppose -334