c for f.
2
Let p(q) = -q + 6. Let s be p(10). Let z be (s - -16)/(-4) - -11. Let f = 13 - z. Solve -f = 3*b - 11 for b.
2
Suppose 4*q + 3*t - 4*t - 10 = 0, 4*q = 5*t + 18. Solve 2*w + q*w = -20 for w.
-5
Let z be 12/48 + (-69)/(-12). Solve -q = 5*q + z for q.
-1
Let p(z) = -z**2 + 10*z - 4. Let f be p(9). Let y(l) = -5*l + 2. Let c = 11 + -15. Let m be y(c). Solve f*o = -3 - m for o.
-5
Let v(b) be the third derivative of b**5/60 - 7*b**4/24 + b**3/3 - 3*b**2. Let o be v(5). Let p be (-14)/o + 1/4. Solve i + 3 + p = 0 for i.
-5
Let t = 340 - 335. Solve -a - t = -2*a for a.
5
Suppose 2*w + 12 = 4*w. Let c be (-10)/(-2) + 48/(-8). Let p = c + w. Solve -2*v - p = 3 for v.
-4
Let s(w) be the second derivative of -w**3/6 - 11*w**2/2 + 26*w. Let v be s(-15). Let y(b) = b**2 - 5*b + 4. Let q be y(4). Solve -4*p = -q*p + v for p.
-1
Let i = 1007 + -984. Solve -7*l - 2 = -i for l.
3
Let v(z) = z**3 - 27*z**2 - z + 27. Let q be v(27). Solve q = -2*i + 2 + 8 for i.
5
Suppose -24 = -32*q + 24*q. Solve 24 - 9 = -q*v for v.
-5
Suppose 0 = 2*i - 4. Let o be 2/(i/4*4). Solve 5*k + 11 - o = 0 for k.
-2
Let z(j) = -5*j + 2. Let i be z(-2). Suppose 2*n - 6 = -3*q, -3*q = -5*n + 3 + i. Solve q = -u - 3 - 2 for u.
-5
Suppose 0 = 5*v + 20, 0 = -5*z + 5*v + 26 - 6. Let p = -14 + 27. Let g(h) = -h**2 + 12*h + 16. Let b be g(p). Solve b = -y - z for y.
-3
Let a be 2 + -4 + (-27 - -61). Solve 0 = 30*c - a*c - 4 for c.
-2
Let z be (-146)/8 + 3/(-4). Let b = 21 + z. Solve -b*q = -q + 5 for q.
-5
Let p = -2134 + 2134. Solve 22 = -p*f - 11*f for f.
-2
Suppose 9*l + 0 = 45. Solve 0 = -4*s - l*s + 3*s for s.
0
Let m = -57 - -62. Suppose 6*s - 5*a - m = 4*s, s + 5*a = -5. Solve 0 = p - s*p - 1 for p.
1
Suppose 3*q + 3 = 12. Let k(a) = a**2 + 13*a + 27. Let y be k(-11). Solve 18 = -y*v + q for v.
-3
Let a = -17 - -8. Let l be 8 + a/3 + 1. Let y be 25/9 + l/27. Solve -12 = y*n - 3 for n.
-3
Suppose -6*i - 138 = -4*i - l, 3*i - 4*l + 212 = 0. Let b = -66 - i. Solve b*t = 4*t + 10 for t.
-5
Let i(g) = -g**3 + g**2 + 25. Let f be i(0). Let k = -22 + f. Solve -2*a + k*a = 5 for a.
5
Suppose 3 = -h + l, -5*h = -0*h + 2*l - 20. Solve 0 = -7*g - h*g + 45 for g.
5
Suppose -3*l - 27 = -4*l. Let i = -25 + l. Solve -2*f + 4 = i for f.
1
Let o be (2/(-4))/(-8 + 711/90). Solve 0 = -o*r - 2 + 17 for r.
3
Suppose -5*k - 40 = -25*k. Solve 4*q - k*q = 6 for q.
3
Let p(t) = -t**3 - 5*t**2 - 2*t - 5. Let d be p(-5). Suppose -d*j - 26 = -h, -4*j + 4*h - 2*h - 16 = 0. Let a be -1 + 5 + j/6. Solve -a*f = -4*f + 3 for f.
3
Suppose 6*g - 2*g - 8 = 0. Suppose 3*q = 108 - 33. Let m = -19 + q. Solve 0 = -m*y + g*y for y.
0
Let r be 1/(-5) + 336/80. Solve -l + 2*l = -r for l.
-4
Let n(k) = k**2 + 3*k + 2. Let u be n(-4). Let b(l) = -l**3 + 5*l**2 + 7*l + 6. Let d be b(u). Solve 0 = -j + 5*j + d for j.
-3
Suppose 4*u + 1 = k + 7, -2*k = -3*u + 2. Let h = -83 - -38. Let y be (26/39)/((-2)/h). Solve -k*t - y = 3*t for t.
-3
Let g be (5 - 22/4)/((-3)/6). Solve -4*b = -3 - g for b.
1
Let r(h) = 58*h**2 + 4*h + 4. Let a be r(-1). Let x = a - 55. Solve x*l + 0*l - 9 = 0 for l.
3
Let k = -2 - -4. Suppose 0 = -11*v + 12*v - i - 10, -56 = -12*v - 4*i. Solve v = p + k*p for p.
2
Suppose 0*c - c + 2*j - 1 = 0, j - 39 = -5*c. Solve -c = 5*d - 12 for d.
1
Let u(y) = 18*y - 32*y - 7 + 16*y. Let b be u(4). Solve -b - 3 = j for j.
-4
Let f be -3 + 0 - (-14 - -3). Let j(l) = -2*l + 16. Let d be j(f). Solve -3*b - 4 - 5 = d for b.
-3
Let b = 442 - 433. Solve -b*h = -13*h + 16 for h.
4
Suppose 7 = 3*b + 49. Let a = b - -29. Let n = a - 13. Solve -n*u = -u for u.
0
Suppose 0 = 3*v + v + 2*n - 104, -5*v - 5*n = -135. Suppose -6*w + v = -11*w. Let r = w + 5. Solve r = -4*m - 13 - 7 for m.
-5
Suppose -7*f = -10 - 25. Suppose 2*c - 4 = -4*i - i, -f*c = -2*i - 10. Solve i = -2*y + 3*y + 2 for y.
-2
Let o = 1545 - 1489. Solve -14*j + 0 - o = 0 for j.
-4
Let o(m) = m**3 - 2*m**2 - 9*m + 12. Let d be o(5). Solve -6*w + 60 - d = 0 for w.
3
Let c = 325 - 309. Solve -2*q + 6*q = -c for q.
-4
Suppose -5*h + 239 = 164. Solve -h = 8*c - 3*c for c.
-3
Suppose -i = i. Suppose -k - k = i. Suppose 18 = 5*c - 2*c. Solve k*y - c = 3*y for y.
-2
Let u = 164 - 53. Suppose 591 = 4*a + u. Let b be a/10 + -4*1. Solve -b = -0*t + 2*t for t.
-4
Let y(x) = 62*x - 55. Let j be y(1). Solve -k - 6 = -j*k for k.
1
Let a be (1/(-1))/(-2*3/96). Suppose -10*d + 4 = -a. Solve -d*b = -5 - 3 for b.
4
Let w be (2/(-4))/(4/40). Let m = w + 9. Let k(j) = -j**3 - j**2 + 10*j + 17. Let u be k(-4). Solve m*y - u = -y for y.
5
Let a = -34 - -62. Let l = a - 20. Suppose l*x - x = 14. Solve x*q + 1 = -3 for q.
-2
Let d(m) = m**2 + 9*m - 33. Let z be d(-12). Let q be 14 + 3*(-5)/z. Solve 4*c - q = 7*c for c.
-3
Let i be 1/((-1)/(-9)) + -3. Let r = i - 4. Let c be -2*(-12)/16*r. Solve 3*f - c - 3 = 0 for f.
2
Suppose -15 = -s - 4*m, 3*m + m = 5*s - 3. Suppose -2*k + 1 = s. Let j be (-1 - 2)/3*k. Solve 2*o + j = -1 for o.
-1
Suppose 7*k + 6*k = -8*k. Solve 24*y - 29*y - 5 = k for y.
-1
Let s = -43 + 38. Let b be s/25 - (-51)/5. Let x(c) = -2*c**3 - 2*c - 1. Let o be x(-1). Solve o*d = d + b for d.
5
Suppose 0 = 5*x - 2*w - 46, 3*w = -4*x + 2*w + 29. Let j = -4 + x. Let c be (-5 + 9/3)*-1. Solve -j + 0 = c*g for g.
-2
Let h(g) = g**2 + 51*g + 10. Let y be h(0). Solve 144*c - y = 149*c for c.
-2
Let b = -176 - -179. Solve 0 = 8*g - b*g for g.
0
Suppose g - 5*a + 14 = 0, -7*a + 16 = g - 2*a. Solve -g = m + 4 for m.
-5
Let m be 3 + (-1)/1 + 1. Let j(o) = o**2 + 19*o + 87. Let v be j(-8). Let z be v/(-7) - m/21. Solve -12 = -z*r - 3*r for r.
4
Suppose 0 = -g, 3*p - 2*g + 25 = 118. Solve -26*z = -p*z + 25 for z.
5
Let g = -642 - -695. Solve -g*s + 58*s = 20 for s.
4
Let n = 13 - 8. Let b be 6 - 2 - (-1 + 2). Suppose -3*m - 14 + 1 = -5*d, -4*m = 2*d. Solve -n = -d*j - b for j.
1
Let c(u) = 3*u + 6. Let o be c(-4). Suppose 2*k = 5*k + 6. Let a be 3*k/o - 1. Solve j + 2 + 2 = a for j.
-4
Let a(w) = w**2 - 3*w - 3. Let o be a(4). Suppose 89 = m - 3*r, 0*m = -2*m + 4*r + 184. Let b = -91 + m. Solve -2*k - b - o = 0 for k.
-4
Let l = -93 + 137. Suppose 6*t - 3*t + 36 = 2*b, l = 2*b - 5*t. Solve 0 = -4*o + o + b for o.
4
Let l be (14 - 0/(-2)) + 59 + -58. Solve 5*s + l = -0*s for s.
-3
Suppose z - 9 + 13 = 0, 0 = 5*f - 4*z - 41. Solve 0 = -f*u + 7 + 13 for u.
4
Suppose -2 = -15*z - 2. Solve -q - 4*q - 25 = z for q.
-5
Suppose -4*n = 2*u - 14, 60 = n - 4*u + 43. Solve -n*w = -2*w - 9 for w.
3
Let a(i) = i**3 - 10*i**2 + i - 4. Let s be a(10). Solve 16*z = 18*z - s for z.
3
Suppose 5*r = 4*i + 65, 4*r - 4*i - 51 = -3. Solve 34 + 0 = -r*s for s.
-2
Let v be ((-6)/8)/((-2)/16). Suppose -6*n = -5*n - 25. Suppose 26 = n*q - 49. Solve v - 3 = q*l for l.
1
Let d be (2/(-4))/(2/(-24)). Let r(p) = 135*p - 14 - 132*p + 0 - 8 + 6. Let i be r(d). Solve -3*a = -4*a - i for a.
-2
Suppose 11*j - 6*j = 20. Suppose 0*v - 5*v = -4*v. Solve -j*d - d + 15 = v for d.
3
Let h be (-14)/(-10) + (-3)/(-5). Let d(r) = -r + 10. Suppose -u + 6*l = 2*l - 15, 2*u = -2*l + 10. Let y be d(u). Solve h = y*c + 17 for c.
-5
Let c = -834 + 839. Solve -181*m + c = -182*m for m.
-5
Let v(h) = -2*h - 44. Let d be v(-24). Solve -4*w + d = 16 for w.
-3
Let n(w) = 4*w + 5. Let v be n(-3). Let z be (-6 - v)/((-1)/(-4)). Solve -z*a = a - 25 for a.
5
Let a be 14 - (-4)/(-8)*-2. Let q be a/2 - 9/6. Solve -4*z = -q*z - 6 for z.
-3
Suppose -w = 4*u - 60, -6*w + 205 = -w + u. Suppose z - w = 5*z. Let g = -10 - z. Solve g = -o + 5*o + 8 for o.
-2
Let z be (-90)/(4 + 44/(-8)). Let s be (-66)/(-8) + z/(-48). Solve -2*r = s + 3 for r.
-5
Suppose -2*x = 2*t - 18, 2*t = 4*x + t - 61. Solve -3 = -x*v - 73 for v.
-5
Let j(z) = z**3 + 5*z**2 - 7*z - 6. Let a be j(-6). Suppose i = 2, 2*i - 21 = 2*g + 7. Let h be 1/(-3) + g/(-9). Solve -s + 0 - h = a for s.
-1
Let r be (-104)/(-18) - 2*(-1)/9. Suppose -r - 12 = -3*x. Solve -3*i + i = -x for i.
3
Let n(k) = -k**3 - 8*k**2 - 2*k - 12. Let i(b) = -2*b**2 - 8*b + 2. Let x be i(-5). Let c be n(x). Solve c = -4*d - 4 for d.
-2
Let w(c) = -14*c - 6. Suppose 5*x + 55 = 20. Let o be w(x). Suppose 4*y = 5*t - o + 23, t + 5*y = 8. Solve 1 - t = -3*p for p.
4
Let o be (-3)/6*0 - -1. Suppose g + 0 = o, -2*t + 5*g = 19. Let f(j) = -j**2 - 8*j - 7. Let h be f(t). Solve k = -h - 1 for k.
-1
Suppose -c - 2*k 