 for f.
-3
Suppose t - 11 = 2*p - 48, -2*p - 4*t + 42 = 0. Solve -15*d + p*d = -2*r - 20, -5 = -5*d + 5*r for d.
-3
Let b(t) = 2*t**2 + 35*t + 22. Let u be b(-18). Suppose 11*v + l = 9*v + 14, -4*v + u = 5*l. Solve 0 = 5*f - v*n - 5, -2*f + n = 1 - 2 for f.
0
Suppose 0*s - k - 2 = 2*s, 4*k - 8 = 0. Let r be -5*(s/5 - 0). Suppose -r*d + 34 = 28. Solve -l + 5 = -n, 0 = -5*l - d*n - 8 - 7 for l.
0
Let p(l) = 5*l**2 - 8*l + 11. Let s be p(2). Suppose 8*d = s*d - 5*d. Solve -16 = 2*v + 5*c - 1, d = 3*v - 3*c - 9 for v.
0
Let w be 2/(-6) + (-4)/6 + 342/57. Solve -4*x + o = 13, -5*o - w = 5*x - 20 for x.
-2
Let o be 8/28 - 60/(-35). Let s be (o + (-4)/12)*3. Solve 11 = -2*l - c + s, 6 = 3*c for l.
-4
Suppose t + 0*t - 6 = -3*i, 3*t + 38 = 5*i. Solve 202 = x + p + 203, 5*p = i*x - 23 for x.
2
Let r be 3 - 11/(55/(-4))*25/10. Solve 5*q + o - 25 = 0, r*q = -5*o + 9*o for q.
4
Let z(c) be the third derivative of -11*c**4/12 + c**3/2 + 12*c**2. Let o be z(2). Let y = 43 + o. Solve -2*x = 5*w - 5, -2*x + y*w = -0*w + 2 for x.
0
Let i(n) = 3*n**3 + n**2 + n - 1. Let t(a) = 3*a + 7. Let g be t(-2). Let y be i(g). Solve 5*x = -4*q + 25, y*x = -x - q + 10 for x.
1
Let v(a) = -3*a**3 + 2*a**2 + a - 2. Let d be v(-2). Let n be (-16)/(-24)*(-3 - 150/(-4)). Let b = d - n. Solve 6*y = -3*g + y + 35, -41 = -b*g - 4*y for g.
5
Let b be 346/14 + 2/7. Let y(a) = a**2 + 4*a - 8. Let z be y(-6). Let k be z*(b/10 - 2). Solve -3*u + k = -4*i, i + i + u - 4 = 0 for i.
1
Suppose 25*j - 5*j = -11540. Let b = -577 - j. Solve b = -2*t + 10, 2*d + 0 = -t + 1 for d.
-2
Suppose -31*i + 5 = -33*i - 3*a, 5*i - 4*a = 45. Solve 26 = -5*l + 3*f, -13*l + 11*l - i*f - 29 = 0 for l.
-7
Suppose 5*r = 5*s - 11466 + 9576, 0 = 5*s + r - 1878. Solve 374*l - s*l - 3*h = -16, -4*l - 2*h + 8 = 0 for l.
-1
Suppose -8*g - 176 = 256. Let t = -58 - g. Let y be (-2)/(-3)*(-6)/t. Solve -26 = 3*k - 5*p - y, 3*k = -p + 5 for k.
0
Let m = -17 - -60. Let f = m + -40. Let i(c) = 4*c**2 + c + 2. Let x be i(-1). Solve f*a - 5 = s, x*s + a = s - 20 for s.
-5
Let a be (-60)/(-18)*63/70. Solve 3*n - 6 = 0, 0 = -10*l + 11*l + a*n - 3 for l.
-3
Suppose 16 = -2*f + 3*c, -29*c - 12 = -5*f - 28*c. Solve -d = -z + 5, f*d - 4*z + 16 = -2*z for d.
-3
Let a(q) = 3*q**3 - 6*q**2 - q - 7. Let u = 281 - 278. Let v be a(u). Solve -4 = 2*o, -o - 3*o = -5*g - v for g.
-5
Suppose -806 - 605 = -17*n. Let m = 86 - n. Solve -3*z + 7 = m*q - 2, -4 = -2*q - 4*z for q.
4
Suppose 2*d = -3*x, 16*d + 40 = 20*d - 4*x. Let p be 3 + (-6)/3 + 0. Let y be d/(((-15)/(-10))/p). Solve s = -0*t + 5*t - 23, -y*s = -4*t + 12 for s.
2
Suppose 174 + 2 = 8*h. Suppose 4*x = h - 6. Suppose p + x*n + 5 = -0*p, -17 = -3*p + 4*n. Solve 15 = -2*i - i - 4*z, -2*z = -p*i - 15 for i.
-5
Suppose 3*u + 2*k + 76 = 7*k, 4*k = u + 30. Let o = u + 72. Suppose -45*n - 15 = -o*n. Solve 2*j - 6 = -0*v + 5*v, -4*v - n = -j for j.
3
Suppose -89*o = -191*o + 92*o + 50. Let r = -7 + 7. Suppose 1 = 4*s - 11. Solve -4*t - 16 = -5*q, -o*t + s*t + 4*q - 14 = r for t.
1
Suppose -10*l = 4*l - 56. Let n be 98/24 - (-62)/(-744). Solve -6*u - 3*o + 8 = -5*u, -l*o = n*u - 16 for u.
2
Suppose 11*h - 10*h + 2 = 0, h + 10 = 2*f. Suppose -g = g - 8. Suppose -g*l + 7*l = 6. Solve 4*j + l*t - 21 = t, -5*j = -f*t - 21 for j.
5
Let l be 10 - (12 + -72)/4. Solve -2*a + 5*w - 16 = 0, -5*a + 27*w - l = 22*w for a.
-3
Suppose 11*j + 8 = 12*j + 2*v, 0 = 3*j - v - 10. Solve j*t = -6*o + 2*o + 4, 4*o = -5*t + 6 for t.
2
Let s(g) be the third derivative of -g**5/60 + 29*g**4/24 - 115*g**3/6 + 32*g**2 - 1. Let o be s(24). Solve 0*t + 4 = 2*b + 2*t, -o*t + 10 = 2*b for b.
0
Let b = 78 + -79. Let m be (15 - 8 - 12)*b. Solve -o - 5*r - 15 = 2*o, o - 5*r = -m for o.
-5
Suppose -4*j = -d + 39, 2*j + 131 = 3*d + 44. Suppose f = -4*r + d, 0 = 4*f + 5*r - 46 - 18. Solve -3*k + f = 4*b - 14, -8 = -4*k + b for k.
3
Let j(i) = 5*i**3 + i**2 - 3*i. Let o be j(-2). Let y be (-4)/(-10) + 1122/o. Let s = -36 - y. Solve 12 = 2*f + 2*k, 2 + s = -4*f + 5*k for f.
3
Suppose 10*m + 4*m = 168. Suppose -40*y + 43*y = m. Let k be -5 + y - (-1 - -3 - 5). Solve 0 = 2*n - n - k*b - 3, 5*n + 2*b - 27 = 0 for n.
5
Let y = -58 + 58. Let n(o) = -o**3 + 23*o**2 + 25*o + 13. Let a be n(24). Let q = a + -33. Solve 0 = 2*b + 4*t - t + 8, 5*b - q*t - 26 = y for b.
2
Let k(t) = t**3 - 10*t**2 + 10*t - 4. Let y be 2/(-4)*(-1 - -1 - 18). Let n be k(y). Solve -4*j + 3 - 15 = 3*m, 4*m - n*j = 15 for m.
0
Let x = 5 + 14. Suppose -16 = -4*s + 4*f + 12, -3*s = 4*f. Suppose z - 7 + 10 = 5*p, s = 2*p. Solve -4*q = -3*u - x, -2*q + z*q = 3*u + 23 for u.
-1
Let m(b) = -b**2 - 27*b - 84. Let t be m(-16). Suppose 0 = -21*w - 29 + t. Solve -5*j = 2*d - 5, 2*d = -w*j + 5*d + 3 for j.
1
Let l be 304/133 + (-25)/(-35). Solve -5*j - o + 25 = 0, -5*o = j - 32 + l for j.
4
Let d = -25 + 14. Let f = 0 - d. Suppose 0 = f*l - 13*l + 4. Solve -r - 5 = -2*k, k - 4*r - l = 4 for k.
2
Let q = -33 - -43. Suppose 113*p - 115*p + q = 0. Solve -s + 0*r + p*r = -5, 2*r + 29 = -5*s for s.
-5
Suppose 0 = z + 5*g + 3 - 28, 0 = 2*z + 3*g - 71. Suppose 11*i - 48 = z. Solve 8 = 4*t, i = b + 5*t - 7 for b.
5
Let g = -34 + 36. Suppose 55 = g*a - 49. Let m = a - 49. Solve -7*p + 5 = -4*n - 2*p, -5*n = m*p - 40 for n.
5
Suppose 10 = 16*m - 17 - 21. Solve 3*z = y + 5*z - 6, 5*z = m*y + 37 for y.
-4
Let q(s) = -4*s. Let f(z) = -37*z - 1. Let a(g) = 4*f(g) - 36*q(g). Let v be a(-6). Solve 5*c = -4*o - 41, -2*o - 2*c - v + 2 = 0 for o.
-4
Let x be 2/7 - 66/(-14). Let b = 1059746 + -1059734. Solve -4*i - 2*s = -x*s + 12, -5*i = 3*s - b for i.
0
Let k(q) = 27*q + 6. Let w be k(0). Suppose -w = -2*f - 25*j + 28*j, 3*f = j + 9. Solve 3*n - f*a + 3 = -3, 3*a = -4*n - 1 for n.
-1
Suppose 4*j - 10*j + 546 = 0. Suppose -22*x = -19 - j. Solve k + i + 0*i - 4 = 0, -5*i = -x*k - 30 for k.
-1
Let k be (-9894)/(-45) + (124/30)/31. Solve 0 = -4*u - 4*r - k + 236, 5*r = u - 10 for u.
5
Suppose -5*y + 57 = 2*a - 14, -3*y = -5*a - 24. Suppose 0 = -4*h + y*h - 36. Solve 6*j + 4*v = 2*j - h, -4*j - 3*v - 7 = 0 for j.
-4
Let g be ((-1)/(-2))/((-3)/(1 - 19)). Suppose g*a + 12 = 3*j + 4*a, 0 = 5*j - 4*a - 20. Solve 3*x = -j*h - 0*h + 7, 4*x = 5*h + 30 for x.
5
Let f = -29589 - -29610. Solve 2*g - f = -46*q + 51*q, 5*g = 40 for q.
-1
Suppose -5*s - 11 = 2*y - 29, -1 = y + 5*s. Solve 3*t = -4*i + 25 + 1, -3*t = -5*i + y for t.
2
Let t be (3 + (-265)/85)*-17. Solve i + 10 = 3*q, -t*q + 4*i - 12 = 8*i for q.
2
Suppose -11*k - 3*j = -14*k - 231, 5*k = -2*j - 385. Let n be (-48)/(-21) - 55/k. Let f be (4/5)/(3/15). Solve -5*d = l - n*d + 5, -6 = f*l + d for l.
-1
Let c(d) = -2*d**3 - 7*d**2 - 6*d. Let r be c(-1). Let f(l) = 6*l**3 - 4*l**2 + 3*l. Let w be f(r). Solve -w*g + 5 = 5*i, g = 4*i + 7 - 1 for i.
-1
Let i(a) = -a**2 + 87*a + 970. Let l be i(-10). Solve s + h + 6 = 0, -s - 9 = -l*h + 4*h for s.
-5
Let w be (-3)/(-60) - (-28)/(-560). Suppose 7*i - 254 + 219 = 0. Solve w = -3*t, -2*l + 11 - 1 = i*t for l.
5
Suppose 3*v = 2*i - 10, -142*v = -145*v + 3*i - 15. Solve -5*d + 5*o = -40, 0 = -v*d - d + 5*o + 20 for d.
5
Let l be 529/(-46)*(7 - (-990)/(-138)). Solve -l*o + 27 - 36 = 3*s, 5*s = -3*o - 16 for s.
-5
Let a be ((-2)/(-3) + 0)*(101 - 80). Let r be ((-72)/(-14) - 2/a)*1. Solve -v + 3 = -2*n, 0 = 3*v - r*v + 10 for n.
1
Suppose 3*q + 5 - 35 = -9*k, 0 = 3*q - 4*k - 56. Solve 2*s - 5*w = -w - q, 5 = -5*s + 3*w for s.
2
Suppose 0 = 6*n - 1642 + 52. Suppose 0 = -p + t + 53, p = 6*p + 2*t - n. Let b = -38 + p. Solve -9 = 4*c - 2*k + b, 5*k - 8 = -3*c for c.
-4
Suppose 151*n - 374 = -36*n. Solve 25*q - 24*q = t - 1, n*t - 1 = q for q.
-1
Let f(m) = -m**3 + 7*m**2 + 14*m + 38. Let t be f(9). Solve -5*d + t*o = 22, d + 4*d = 5*o - 25 for d.
-4
Let v(h) = h**2 + h - 3. Let p be v(0). Let u = p - -6. Suppose 323*i - 1016 - 599 = 0. Solve 5 - u = g, 10 = -i*t - 5*g for t.
-4
Let s = 115 - 105. Suppose -66*o = -68*o + s. Solve 13 = o*m - 4*v, -5*m - 1 = -5*v - 11 for m.
5
Suppose 0 = -2*b - v + 10, -2*b + 17*v - 19*v = -12. Let g = -6 - -11. Solve 4*w = 12, -16 = -t - b*w - g for t.
-1
Suppose 8*x + 57*x = 195. Solve -3*n - 5*y = -x*y - 11, 2*n + 3*y - 4 = 0 for n.
5
Let w be (416/(-80) - -5)/((8/(-30))/4). Solve 0 = w*g + u - 14 + 2, 2*u = 2*g for g.
3
Suppose -2*w - 4 = -3*j - 2, 5*j = 2*w - 2. Let g(y)