b*j + 32 for j.
-4
Let s = -585 - -591. Solve 6*v = s - 30 for v.
-4
Let u(t) be the third derivative of t**6/120 - 2*t**5/15 + 5*t**4/8 - 5*t**3/2 - 10*t**2. Let f be u(6). Solve 3 = f*m + 9 for m.
-2
Suppose 5*r - 1 = -l - 0, -2*r - 6 = 0. Suppose -19*i + 60 = -l*i. Solve -5*d = -d - i for d.
5
Let f be 2 - 105/49 - (-145)/35. Solve 0 = -7*k - f + 39 for k.
5
Let f be ((-3)/(-9))/(7 + (-438)/63). Solve 9 + 5 = -f*i for i.
-2
Let f = -227 + 232. Solve f*l - 20 = -0*l for l.
4
Let t be 9 - 10 - (-2 + 0). Suppose -5*d = -2*p - 16, 0*p - 5*p = 2*d + 11. Suppose 2*q - s - 2*s = 1, 12 = 5*q + d*s. Solve -3*n - t = q for n.
-1
Let x be (-23 - (-3097)/133)/((-2)/(-84)). Solve -q + x = 2*q for q.
4
Let w be (-86)/(-11) + 32/176. Suppose 55*c - w = 51*c. Solve -k - 12 = c*k for k.
-4
Suppose o + s = 0, 2*s = 3*o + 7 - 22. Solve 3*n = -o - 3 for n.
-2
Let g = 6 + -6. Let k = 1 - g. Suppose 4*y - 3*b + 7 = 17, -4*y - 5*b + 26 = 0. Solve -y = 5*v + k for v.
-1
Suppose 0 = 11*p - 6*p + 4*t - 36, 4*p - 2*t = 34. Solve -3*a + p - 2 = 0 for a.
2
Let m = -1 - 7. Let f be 2*-1 - (9 + m). Let j be (-2 - -3) + (-3)/f. Solve -j*k - 6 = -0*k for k.
-3
Let n = 5 - 4. Suppose 2*m - 4*q + 8 = -m, -q + 2 = 0. Solve m*j - j = n for j.
-1
Let l(v) = v**2 + 5*v - 40. Let s be l(-10). Solve s = 2*j + 3*j for j.
2
Suppose -10 = -2*i - 2*d, -3*d - 18 = -5*i - d. Let s be 3/1 + (-11 - 2). Let q = s + 14. Solve q*f - 16 - i = 0 for f.
5
Suppose -11*b + 15 = 3*y - 13*b, 2*b + 21 = 5*y. Let o = 25 - 15. Suppose -4*i + 3 = -c, -y*c + 11 = 3*i - o. Solve -i = -5*m + 3*m for m.
1
Let g be 1965/(-120) - (-6)/16. Let x = g - -19. Solve -2 = x*h + 13 for h.
-5
Let l = -73 - -76. Solve 4*s - l - 5 = 0 for s.
2
Let j(b) = -3*b**3 - 3*b**2 - 6*b - 2. Let s be j(-1). Solve s = k + 3 for k.
1
Let v be 15/45 - (-22)/6. Suppose g - v = -0. Solve -7*f - 15 = -g*f for f.
-5
Suppose y = -y - 26*y. Solve -v - 3 = -y*v for v.
-3
Let w = 286 - 278. Solve 4*o + 0*o = w for o.
2
Suppose -41*s = -167 - 653. Let u = 2 - 2. Solve s = 4*j - u*j for j.
5
Suppose -3*m + 5*q = q - 68, -5*q + 7 = 2*m. Suppose m*v - 169 = -25. Solve -c = 2*c + v for c.
-3
Let d(r) = -r**3 - 9*r**2 + 12*r + 22. Let f be d(-10). Solve f*y = -2*y for y.
0
Let n(b) = -3*b**3 + 7*b**2 + 12*b + 12. Let v be n(-2). Solve 17*i - 27*i = -v for i.
4
Let u be 3 + 2*-1 + 5. Let g be (-4)/(-30) - 978/(-90). Suppose f - g = -4*a + u, -4*f + 5 = -5*a. Solve r - 4 = a*r for r.
-2
Let l(d) = d + 19. Let m be 70/21*48/(-10). Let c be l(m). Suppose 14 = -c*b + 5*i, i + i = 8. Solve -3*h - 20 = b*h for h.
-4
Let i be 4173/273 + -2 + 24/14. Solve 8*z + i = 3*z for z.
-3
Let n be 2/4 - (-2)/4. Let c(b) = 37 + b - 20 - 18. Let f be c(n). Solve f = -3*j + 3 for j.
1
Suppose 0 = -2*g + 2 - 14. Let c be 2/g + (-32)/(-6). Suppose 52*q + 123 = 180 + 983. Solve c*i - q + 0 = 0 for i.
4
Let n = 100 - 88. Let v be 2/4*0/(-4). Let x = 0 + v. Solve 4*f = -x*f - n for f.
-3
Suppose -3*x + 2 = -2*x. Let l(q) be the third derivative of -q**6/120 - q**5/10 - q**4/3 - 2*q**3 - 9*q**2. Let v be l(-5). Solve -v*z = -x*z for z.
0
Suppose 145 - 93 = 4*a. Solve -4 = a*j - 15*j for j.
2
Let l be ((-1)/2)/(-1) + (-36)/(-24). Solve -l*q = 7*q - 45 for q.
5
Let d = 471 + -439. Solve -29 = j - d for j.
3
Let x be (-46)/(-12) + (-155)/186. Solve 9*s - 8*s = x for s.
3
Let g = 382 - 401. Suppose 3*s - 90 + 0 = 0. Let j = s + g. Solve -3*h - 2 = -j for h.
3
Let o(v) = 7*v**2 + 10*v + 9. Let p be o(-1). Let h(l) = l**2 + 4*l - 7. Let w be h(2). Solve p*b = b + w for b.
1
Let d(i) = i**3 + 7*i**2 + 5*i - 11. Let a be d(-5). Let g be (7/a)/(2/64). Solve 3*r + r = -g for r.
-4
Let x = 62 + -25. Let y be (-2 + -4)/(1*3/(-6)). Solve 5*d = -y + x for d.
5
Let x = 246 - 243. Let i be (1 - 1) + (9 - 5). Solve 0 = -x*z - i - 8 for z.
-4
Suppose 2*u - 36 = -14. Solve 5*d + 6 - u = 0 for d.
1
Let y(j) = 5*j + 45. Let k be y(-6). Solve -k = w + 2*w for w.
-5
Let y(t) = t**2 + 9*t - 97. Let j be y(-16). Solve -13*m + 10*m + j = 0 for m.
5
Suppose -2*i - 5*b - 20 = 0, -b - 8 = -4*i + b. Suppose 6*f + 3*f - 6*f = i. Solve -y = -f + 3 for y.
-3
Suppose 3*z - z + 5*t = 9, -5*t = -5. Let x(d) = z - 3*d - 3 + 4*d. Let j be x(16). Solve -6*u = -u - j for u.
3
Let i = 55 + -49. Suppose 8*z - i*z = 10. Solve -z*a + 4 + 1 = 0 for a.
1
Let l be 2/(-6) + (-132)/36. Let a be (l/12)/(4/(-24)). Let d be 17 - ((0 - -2) + -1). Solve -d = -a*i - 2*i for i.
4
Let w(r) = r**3 + 4*r + 3 + 5*r**2 - 10*r - 3*r - 17. Let m be w(-6). Solve 2*s + 4 = -m for s.
-4
Let n(k) = -k**3 + 12*k**2 - 37 - 40 + 15*k + 54. Let z be n(13). Solve -z*s = 2*s + 20 for s.
-4
Suppose 679 = 5*p + 199. Let j = -96 + p. Solve -2*q + q = j for q.
0
Suppose 6*y = 1 + 17. Suppose -5*r = y*s + 15, -9*r + 5*r = s + 5. Solve 2*n - 5*n = r for n.
0
Let u be (-6 - -6)/(-5 - 2 - -8). Solve u = -6*k + 20 + 10 for k.
5
Suppose -l = -3*l - 4*t + 2, -l + 13 = -t. Let p be ((-21)/(-14))/((-6)/(-20)). Let x(b) = -b**3 - 6*b**2 + 2*b + 13. Let a be x(-6). Solve -a = p*y + l for y.
-2
Suppose 20 = 3*o + 4*d, -2*o = 3*d - 10 - 4. Suppose -17 - 63 = -8*n. Solve 0 = -9*u + o*u + n for u.
2
Let x be 5 + -12 - -8 - 27*-1. Solve u - x = -23 for u.
5
Let k = -846 - -848. Solve -8 = -4*o + k*o for o.
4
Let f = 15 + 6. Let r = f + -16. Solve 13 + 2 = -r*m for m.
-3
Suppose -12 = 3*k - 21. Suppose -4*l + i + k = 0, -i = 5*l + 2*i - 25. Suppose -l*t - h = 0, 0 = t + 4*t - 4*h. Solve 0*g - 2*g + 8 = t for g.
4
Let t(h) be the second derivative of -h**5/20 - h**4/3 - h**3 - 5*h**2/2 + 11*h. Let b be t(-3). Solve d = -0*d - b for d.
-4
Let q = -9 - -10. Suppose -p - z + 1 = 0, q = 4*p + 3*z + 2*z. Suppose -21 + 6 = -5*j. Solve -2*m + j*m = p for m.
4
Let l = 2092 - 2073. Solve -12 = l*i + 45 for i.
-3
Let h = -95 - -102. Suppose 3 = -4*k + h. Solve 5*f - 4*f = k for f.
1
Let x = -20 - -18. Let w(u) = -2*u + 1. Let o be w(x). Suppose m = 1 + 3, -3*l = o*m - 35. Solve -n + 0 = -l for n.
5
Let m(f) = 20*f**2 + 3*f + 12. Let g be m(0). Solve 0 = g*v - 0 + 12 for v.
-1
Let d be -10 + 6/2 + -1. Let y be 16/(-10) + 2 + 1584/240. Let u be y - (-1)/(2/d). Solve -i - 12 = u*i for i.
-3
Suppose 3*t + 61 = 2*v - 28, -2*v - 4*t + 82 = 0. Let b = 47 - v. Let g(d) = -d**2 - 11*d - 10. Let w be g(-9). Solve -w = -b*j + 8 for j.
4
Suppose 11*o = 9*o + 4, 5*i - 2*o = 6. Suppose -3*n + 6*n = 0. Solve -g - g - i = n for g.
-1
Let l = -38 - -16. Let h = l - -8. Let q = h - -17. Solve k + 10 = q*k for k.
5
Let n(z) = -2*z. Let b(r) = -6*r + 1. Let q(c) = 2*b(c) - 5*n(c). Let t(x) = 2*x - 3. Let f(u) = -5*q(u) - 6*t(u). Let s be f(-6). Solve 6*p = p - s for p.
-4
Suppose 0 = -4*l - 12, -4*y + 21 + 28 = -3*l. Solve y*h + 3 + 47 = 0 for h.
-5
Suppose -12*o + 33*o = 126. Solve -2*f = -o + 4 for f.
1
Suppose 45 = -6*r - 51. Suppose 0 = -4*z - z + 90. Let q = r + z. Solve 3*g = -q*g + 20 for g.
4
Suppose -11*x + 157 = 157. Solve 6*i - 6 - 6 = x for i.
2
Let i(o) = 89*o + 747. Let k be i(-5). Solve k - 305 = 3*r for r.
-1
Let u(k) = -k**2 + 8*k - 1. Let d be u(6). Let c(y) = y**2 - 18*y - 17. Let p be c(19). Suppose -12*o = -d*o - p. Solve -o*g + 1 = -7 for g.
4
Suppose -55*p = -60*p - 5*c, -4*c = 20. Solve 12*o - 17*o = p for o.
-1
Suppose n = 18*n - 102. Let l be 0 + 14*n/16*4. Solve 4*z + 5 = l for z.
4
Let z = 40 + -35. Suppose z*y - 22 = 3. Solve 8 = y*f - 12 for f.
4
Suppose -193 = -6*z + 77. Let b be (-2)/9 + (-6 - (-280)/z). Solve 0 = -b*o - o for o.
0
Suppose 0 = 59*q - 64*q + 50. Solve 6*u = q*u - 8 for u.
2
Let l be -1*2 - (-7 + 2). Suppose 2*a - 5*b + 31 = -2*b, -5*a - 3*b = 25. Let x = 14 + a. Solve 0*v - l*v = x for v.
-2
Let p(r) = -r**2 + 41*r + 516. Let b be p(51). Solve b*t + 20 = t for t.
-4
Let n be (-385)/(-10) + 3/(-6). Let o = 44 - n. Solve 0 = -2*t + o for t.
3
Let g be (2 - 0)/(0 - -1). Let w(u) = 5*u - g*u + 9*u + u**2. Let d be w(-12). Solve d = -4*z - 1 - 7 for z.
-2
Let f be (-1)/(-4) + (-21)/4. Let m be 3 + (5/f)/(-1). Let i be 3*4/(-6) + 4. Solve -i*d = -m*d for d.
0
Let x be ((-11)/5 - -3)/(3/15). Suppose 3*v + 6*v = x*v. Solve -9*k + 5*k = v for k.
0
Let v = -54 - 4. Let i = 58 + v. Solve i = -n + 5*n - 4 for n.
1
Let k(i) = i**2 - 8*i + 10. Let l be k(7). Suppose 4*v + 19 = l*m - 0*m, 2*v + 3 = -5*m. Let y = m - 1. Solve y = -0*d - d for d.
0
Let t be (