for a.
2
Let i be (-2)/(-4)*0/4. Let f(b) = b**3 + b + 3. Let v be f(i). Suppose -3 = 3*n + 4*z, -3*n + 4*z = -14 - 7. Solve 0 = n*m + v + 12 for m.
-5
Let b be 1*3 + (-18)/(-30)*5. Suppose 4 = b*z - 2*z. Solve 11 = -2*n + z for n.
-5
Suppose 2*r = -4*v + 14, -r - 11 - 3 = -5*v. Solve 0*i - v*i = 3 for i.
-1
Let m = -1 + 3. Suppose -i = -4*i + 51. Let b = i + -14. Solve 3*v + b = m*v for v.
-3
Let i(l) = l - 13. Let q = 21 + -5. Let g be i(q). Solve 0 = -g*s - 14 - 1 for s.
-5
Suppose 0*b - 7 = -b. Let v(g) = g**2 - 5*g - 6. Let n be v(b). Let a be 8 - 6*4/n. Solve -a*i + 0*i = 25 for i.
-5
Suppose 4*y - 47 = 25. Suppose 2*g + 3*o = -o + y, 0 = 3*g - 3*o. Suppose p - 3*t + 2 = -7*t, -4*p = 5*t - 3. Solve -p*r - g*r = 0 for r.
0
Let z = -576 + 581. Solve -40*d = -45*d + z for d.
1
Suppose -4*u = 4*b + 20, 2*u + 2*u + b + 32 = 0. Let s = 23 + -10. Let y = u + s. Solve 0 = y*n - 3*n + 4 for n.
-4
Suppose -5*n - 16 = 2*o - 0*n, 24 = 4*o - 4*n. Solve -5*t = -o*t for t.
0
Let z be (4 - -1)*6/15. Suppose 25 = 6*n - n. Let k = 117 - 102. Solve -z*x + k = -n*x for x.
-5
Suppose 2*v - 374 + 34 = 0. Let y = -162 + v. Solve 4*c + y + 12 = 0 for c.
-5
Let o be (-16)/4 - -6 - 4. Let y be o/(-4) - (-65)/(-10). Let q = y + 7. Solve s + q = -3 for s.
-4
Let p = 6 - 9. Let r(j) = 2*j**3 + 3*j**2 - 4*j - 2. Let q be r(p). Let k = q + 19. Solve -2*c - 2 = k for c.
-2
Let h = 58 - 32. Suppose -3*m + 3*x = x - 19, 2*m = 4*x + h. Solve -m*a - 8 + 2 = 0 for a.
-2
Let l(v) = 56*v - 333. Let h be l(6). Solve h*s - 5 + 14 = 0 for s.
-3
Let m(f) = -2*f**3 - 7*f**2 - 6*f - 7. Let s be m(-3). Solve 4*n - s - 6 = 0 for n.
2
Let j(k) = 10*k - 258. Let n be j(27). Solve o - n = -5*o for o.
2
Let z = -157 - -156. Let b(t) = t**2 + 9*t + 2. Let x be b(-8). Let p = z - x. Solve p*c = 6 - 26 for c.
-4
Let n = 74 - 68. Suppose 13 - 38 = -5*r. Suppose -4 = -r*s + n. Solve 0 = -s*o + 3*o - 3 for o.
3
Suppose -4*n - 70 = -6. Let p(q) = -q**2 - q - 12. Let w be p(0). Let r = w - n. Solve 4*z = 3*z - r for z.
-4
Let s(i) = 2*i + 28. Let m be s(-7). Solve m*h = 15*h for h.
0
Let l = -23 - -31. Suppose 20*j = 22*j - l. Solve 19 = -j*a - 1 for a.
-5
Let w be (3 + 0)*(-20)/(-6). Suppose 3*g + 5*f = -3 - w, 0 = -2*g - 3*f - 7. Suppose 1 = -4*d + 5. Solve -g*u + d - 5 = 0 for u.
-1
Let m(f) = 11*f + 5. Let p(q) = 2*q + 1. Let g(l) = -6*m(l) + 34*p(l). Let z be g(2). Let c = -4 + z. Solve c*o = o for o.
0
Let m = 6 + -3. Suppose m*c = -0*c. Let g be (8 + 6/(-3))/2. Solve c = -2*b + g*b - 3 for b.
3
Suppose -3*y - 17 = -5*c, -4*c + 9 = -2*y - 5. Suppose c*m + 0*m = 4. Let b be m + 11 + 0/(-3). Solve 4*l = l - b for l.
-4
Let c(k) = -35*k - 3. Let t be c(3). Let v(b) = b**3 - 6*b**2 - b + 6. Let o be v(5). Let z be 2/9 - o/t. Solve z = -x - x - 2 for x.
-1
Let w(c) = -c**2 + c + 1. Let t(g) = 2*g**2 - 9*g + 14. Let r(b) = t(b) + w(b). Let q be r(5). Solve q = -a + 4 - 3 for a.
1
Let q(w) = w + 1. Let f be q(0). Let z(j) = 18*j**3 + j. Let a be z(f). Solve 0 = 5*k - 6 - a for k.
5
Suppose 0 = -2*a - 0*a - 88. Let o = a + 45. Solve 0*b + b + o = 0 for b.
-1
Let u be ((-6)/4)/(2/(-4)). Suppose -11*i + 25 = -6*i. Suppose -i*l + 23 = -x, 4 - 5 = -3*x + l. Solve 1 = -x*m + u for m.
1
Suppose -4*n - 5*a + 5 = 0, -3*a + 3 = -0*n + 5*n. Suppose 5*d = -n*d + 40. Solve -7*u = -3*u - d for u.
2
Suppose -3*k + 5*k = 34. Let j = -17 + k. Solve j = -0*x + 4*x + 20 for x.
-5
Let m(r) = 2*r**2 + 4*r - 1. Let w be m(-4). Suppose -4*l = 5*i - 23, 3*i = 3*l - 6*l + w. Solve -n - l*n = 12 for n.
-4
Let q = 28 + -17. Suppose -s - 81 = -6*g - 4*s, -25 = 5*s. Let r = g - q. Solve r*k - 2*k = 0 for k.
0
Let x(t) = 4*t**2 - 4*t + 3. Let r be x(1). Solve -l = -r*l - 10 for l.
-5
Let f = 78 - 69. Suppose -2*u = -3*u - 4*n + 22, -3*u = -3*n + f. Solve 0 - 2 = u*r for r.
-1
Let a(o) = 31*o - 45. Let s be a(2). Solve -11*b - 5 - s = 0 for b.
-2
Suppose 1320 = 70*t - 920. Solve 33*b = t*b for b.
0
Let h = -1636 - -1650. Solve 15*o = h*o + 2 for o.
2
Suppose 4*d = 2*x + 7*d - 84, 4*x + 2*d - 160 = 0. Solve -8*v - 5*v = -x for v.
3
Let z(h) = h**2 + 2*h - 5. Let d be z(-5). Solve 0 = -d*v - 3 - 7 for v.
-1
Let x(o) = -o + 8. Let a be x(-13). Solve -4*u - 3*u + a = 0 for u.
3
Let b(f) = -f**2 + 41*f + 511. Let s be b(-10). Solve 9*k + 46 = s for k.
-5
Let l = 643 - 641. Solve 0 = -7*v + 16 - l for v.
2
Suppose h = -51*h + 1248. Solve -h = 7*u + 4 for u.
-4
Let q(d) = -d**2 - 5*d + 1. Let w be q(-4). Let c be 11*3/1 - -2. Suppose -4*r + 9*z - 4*z = -c, -37 = -w*r + 4*z. Solve r*y = y for y.
0
Suppose -2*v + 3*v + 10 = 0. Let t be (-1 - -4) + (v - -19). Solve d - t = -3*d for d.
3
Suppose 3*q - 5*b = 16, -2*b - 14 = -2*q + 3*b. Suppose -5*s + 18 = 2*o, 0 = -12*s + 10*s + 4*o + 12. Solve -6*u + q*u = s for u.
-1
Let c(b) = 2*b + 67. Let o be c(-32). Solve -4*v = -9 - o for v.
3
Let o(y) = y**3 + 12*y**2 - y - 12. Suppose -2*l = -2*a - 26, 3*a + 77 = 5*l + 2*a. Let j = l - 28. Let i be o(j). Solve -p + 2 + 2 = i for p.
4
Let t be ((-35)/25 - -1)*(-30)/4. Solve -j + 4 = t for j.
1
Suppose 0 = -f - 3*n + 67, 9*n + 289 = 8*f - 4*f. Solve 27*c - f = 13*c for c.
5
Let h = 75 + -48. Suppose -5*w - 2 = -h. Suppose 0 = -3*d + 2*d + w. Solve 0 = d*c - 13 + 3 for c.
2
Let b = -96 + 61. Let q = 37 + b. Solve -q*p = p + 15 for p.
-5
Let w(p) = -p**2 - 2*p + 1. Let x be w(-3). Let d be x*(-9)/(-2) + 3. Let v be (-1 - -1) + 0/d. Solve v = -2*i - 0*i + 4 for i.
2
Let j = 16 - 15. Let t be (-3 - -5) + j - 0. Let p = -8 - -8. Solve p = -o + t*o - 6 for o.
3
Let n(z) = -z**2 + 12*z - 27. Let p be n(6). Solve 0 = 5*f - 11 - p for f.
4
Let y(q) = -q - 17. Let r be y(4). Let v = r + 25. Solve h + v = 2 for h.
-2
Suppose -u - 5 = -2*y - 1, 2*u + 4 = 3*y. Suppose j - 16 = -4*h, 2*h - u = j + h. Let p(i) = -i + 1. Let d be p(-2). Solve j = -z + 1 - d for z.
-2
Suppose 936 = 5*d - j, -3*j + 502 + 243 = 4*d. Let f be (-3)/7 + d/77. Solve f*x = 5*x + 9 for x.
-3
Let x = -222 + 222. Solve -q + 0 - 2 = x for q.
-2
Suppose 0 = 4*m + u - 25, 35 = 2*m - 2*u + 7*u. Suppose 4*j = m*x - 15, x - 2*j - 2 - 1 = 0. Solve 6*n = x*n for n.
0
Let k = -42 - -43. Solve 6*j = 5*j - k for j.
-1
Let n be (-8)/(-32) - (1 + 11/(-4)). Suppose 0 = b - 4*o - 1, 2*b - 6*o = -3*o + 2. Solve -l - b = n for l.
-3
Suppose 4*j = n - 10, 4*n = 2*n + 5*j + 23. Solve 0 = -20*a - n - 86 for a.
-5
Suppose 0 = -5*u + g + 8 + 70, 4*u = 2*g + 66. Solve -20*l = -5*l - u for l.
1
Suppose -4*u + 0 + 16 = 0. Suppose -7*g + u*g = -3. Solve 5*b + 16 - g = 0 for b.
-3
Let g(o) = o**3 - o**2 + 2. Let k be g(0). Suppose -3*n + 3*z = 3, -n = -6*n - k*z + 23. Solve -1 = -d - n for d.
-2
Let m = 34 + -29. Suppose 2*w - 11 = o, -4*o - 24 = -m*w + 5. Solve w*y + 1 = 6 for y.
1
Let c(x) = -7*x + 103. Let h be c(13). Solve 11*u - 5*u + h = 0 for u.
-2
Suppose -5*v - 15 = -5*w, 2*w - 5 = -4*v + 1. Suppose -5*f - 20 = 6*g - 5*g, v = 5*g + 2*f + 8. Solve g*h = h for h.
0
Suppose 0 = 6*x - 0 - 48. Suppose 10 + 8 = -3*p. Let s = x + p. Solve 0 = -s*r + r - 1 for r.
-1
Let c(x) = -x**3 + 5*x**2 + 10*x - 8. Let m be c(6). Suppose -j = 11 + m. Let b be 2/(-9) + (-141)/j. Solve 3 = b*l - 2 for l.
1
Suppose -2*k + 20 = 4*r, -2*k - 6 = 2. Suppose -r*j = -37 - 5. Solve -3*b = -3 + j for b.
-1
Suppose -5*q - 32 = -q. Let o = q - -10. Suppose w - n + 6 = 5, 3*w = 4*n - 4. Solve -2*j + j - o = w for j.
-2
Let v(r) = 41*r - 736. Let m be v(18). Solve 12 = m*j + 4 for j.
4
Suppose -38*u + 6 = -108. Solve -u*n - 2 = -5 for n.
1
Let x = 66 + -56. Solve x - 7 = -c for c.
-3
Suppose -2*c - 6 = -5*c. Let o be 2/(1/(-2)*2). Let z be 0 - -1 - o*1. Solve c = z*b + 5 for b.
-1
Suppose -2*a + a = -4*a. Let u = -14 - -22. Solve -u = -a*c - 2*c for c.
4
Let u(o) = 13*o + 731. Let b be u(-56). Solve -4*w + 15 = b for w.
3
Let o = -21 + 28. Solve o*s + 8 - 43 = 0 for s.
5
Let o be (-3)/6*-11*2. Let v = -7 + o. Solve 2 + v = 2*q for q.
3
Let d(i) be the third derivative of -i**4/12 - 5*i**3/2 + 3*i**2. Let l be d(-10). Solve -t = -l*t + 4 for t.
1
Let o(l) = -20*l - 3. Let t be o(3). Let m = t - -117. Suppose -6*d + 2*d - 14 = -3*u, -m = -5*u - d. Solve -4*h = -6 - u for h.
4
Suppose -16 = l + 3. Let m = l - -24. Solve 5*o = -20 - m for o.
-5
Let l be (-32)/(-14) - (-26)/(-91). Let k be l*2 - (-16 + 20). Solve k = q + 2*q + 6 for q.
-2
Let