 for b.
0
Let v(r) = 1370*r + 2754. Let p be v(-2). Solve -p*z - 16*z = -27*z for z.
0
Suppose 2*w - 142 = -5*t, -w + 68 - 2 = 5*t. Solve -70*i + 6 = -w*i for i.
-1
Suppose -y - 10 = -4*x, -5*y - 4*x - 50 = -0*x. Let i be 3*1 + (y - -11). Suppose 20 = 8*k - i*k. Solve 5 = k*z - 0*z for z.
1
Let q = 514 - 706. Let t be 6/(-16) - q/512. Solve -20*r + 24*r - 12 = t for r.
3
Suppose 4*j - 3*d = 21, -7 = -3*j - d - 1. Suppose -2*y - 8 = 4*q, 0*y + j*q + 27 = 2*y. Suppose -7*k - y = -10*k. Solve 2 = -k*u - 6 for u.
-4
Suppose -6460*i = -6568*i + 18144. Solve 6*q - 30*q - i = 0 for q.
-7
Suppose a = -2*a + 33. Let b be (-5*(-28)/350)/((-1)/10*-4). Solve 5*v + b = a for v.
2
Let v = -13052 - -13071. Solve -v*q + 42 = 194 for q.
-8
Suppose 12 = 3*g - 168. Let h = g - 48. Suppose -5*n + 2*n - i - 4 = 0, 8 = n - 2*i. Solve n = 3*f + h + 3 for f.
-5
Let o be 364/30 - 2/15. Let w = -2468 + 2472. Solve -a - o = -w*a for a.
4
Suppose 0 = 4*d + 5*c + 65, -c - 86 = 4*d - 9. Let h be (15/d)/((-1)/8). Suppose 2*n - h = 2. Solve -n = -3*r + 2*r for r.
4
Let k(g) = g**2 + 215*g - 1529. Let p be k(7). Solve -52 = -11*z + p for z.
7
Suppose -3*y = 5*a + 113 - 7, 147 = -4*y - a. Let x = -33 - y. Solve 0 = x*f - 5*f - 4 for f.
-4
Let n(b) = 3 + b + 0*b - 1 - 5*b**3 + 4*b**3 + 5*b**2. Let d be n(5). Suppose -2*p + 25 = -5*f, 5*p - 226*f - 10 = -231*f. Solve p*z = d*z for z.
0
Let j = 7912 - 7897. Solve 28*b = j*b for b.
0
Let j(l) be the second derivative of 7*l**3/6 - 139*l**2/2 - 68*l. Let k be j(21). Solve k*g = 4*g for g.
0
Suppose k + o = 2*k + 70, -3*o + 15 = 0. Let c = k + 68. Suppose 0 = -3*b - c*b. Solve 4*p - 3 - 9 = b for p.
3
Let r = -440 - -445. Suppose 2*n - 14 = -4*z + 18, r*n = 5*z - 55. Solve z*p = -19 - 8 for p.
-3
Let i(d) = -3*d - 56. Let n(b) = -3*b**2 + 7*b - 13. Let m be n(3). Let p be i(m). Solve 0 = 4*y - p - 7 for y.
2
Let r(t) = -3*t**3 + 5*t**2 + 21*t + 240. Let j be r(-7). Solve 1357*u + 20 = j*u for u.
2
Let y(f) = -f**3 - 3*f**2 + 4*f + 3. Let b = -175 - -171. Let w be y(b). Solve -a + w = -1 for a.
4
Let z = -60 + 82. Suppose -4*h - 282 = -z. Let j = h - -67. Solve -k = j + 3 for k.
-5
Let q(u) be the third derivative of 0 - 2/15*u**5 - 1/120*u**6 + 0*u - 28*u**2 + u**3 - 1/2*u**4. Let h be q(-6). Solve -3*r + 9 = -h for r.
5
Suppose -2*p - 44 = -15*b + 12*b, 4*b = p + 57. Let k be (6 + 66/(-12))*b. Solve -18 = -k*i + i for i.
3
Suppose -16 + 8 = -4*r. Let j be (-2 - 2)*((-26)/(-8) - r). Let b(g) = -g**3 - 6*g**2 - 8*g - 10. Let l be b(j). Solve l - 4 = w for w.
1
Let t = 11 + -2. Let o = t + 1. Let m = -351 - -355. Solve 0 = m*z - 2*z + o for z.
-5
Let t = -720 + 717. Let y be 30/5 + (-6)/t + 2. Solve y = -10*z - 10 for z.
-2
Let a(g) = g**2 + 41*g + 204. Let q be a(-6). Let s be 0/(4/q*(-6)/(-4)). Solve -2*l - 2*l + 8 = s for l.
2
Suppose k + 63 - 65 = 0. Suppose -4*z + 4*g = -48, 0 = -17*z + 14*z + k*g + 32. Solve -14 = i - z*i for i.
2
Let y be (8*(-4)/(-24))/(2 - (-2786)/(-1407)). Solve -24*o - 5 - y = 0 for o.
-3
Let z = 1043 - 1031. Solve 5*o = -z*o - 68 for o.
-4
Suppose a - 4 = -3*a. Let r = 282 - 175. Let h = r - 105. Solve -a - h = -n for n.
3
Let m = 33 - 30. Suppose -3*z + 3*z = m*z. Suppose -d - 15 = -3*q, -q + 19 = -z*q - 5*d. Solve -q*n = n - 5 for n.
1
Let u(s) = -s**2 + 8*s - 9. Let a be u(4). Suppose -32*c = -22*c - 20. Solve -c*w + a = 5 for w.
1
Let s(u) = u - 111*u**2 + 52*u**2 + 66*u**2 - u**3 - 6. Let b be s(7). Solve b = -6*w + 25 for w.
4
Let i(g) be the third derivative of 1/6*g**3 + 7*g**2 + 0*g**5 + 0 + 1/24*g**4 + 0*g - 1/120*g**6. Let d be i(-1). Solve 0 = -5*f + 11 - d for f.
2
Let i = -736 - -755. Solve 0 = i*o - 29*o + 10 for o.
1
Let m(s) = 2*s**2 + 31*s - 34. Let c be m(-19). Let l = c - 87. Solve -l + 16 = -2*w for w.
-2
Suppose 0 = -14327*f + 14314*f + 234. Solve -f = 23*i - 5*i for i.
-1
Suppose 0 = -z + 3*z - 30. Let n(h) = h**2 - 798*h + 6329. Let d be n(8). Solve -d*s + 4*s = z for s.
-3
Let m(x) = -3*x - 2. Suppose 2*p = -5*k + 46, 5*p + 0*k + 3*k = 77. Suppose 3*v + 0*v = f - p, 0 = -v - 5. Let d be m(f). Solve -2*h = -h + d for h.
-4
Let s = 12061 + -12050. Solve 31*p = s*p + 40 for p.
2
Let p = 4216 + -4198. Solve 79*f - p = 82*f for f.
-6
Let t be 2/9 - -5*18/(-405). Suppose -2*b = -g + 4, 3*g - 28 = 2*b - t. Solve -6*m - g = -0*m for m.
-2
Suppose m = -2, -14*d = -19*d - 3*m - 6. Solve -25*t + 189 - 64 = d for t.
5
Let w = -48 - -46. Let y be (-1)/(9/108) + (-8)/w. Let z = 17 + y. Solve 13*h = z*h for h.
0
Suppose -3*r + 133 = 2*w, 0 = -4*r + 232*w - 231*w + 159. Suppose 2*m - 2*q - 36 = -2*m, -q + 52 = 5*m. Solve -36*u - m = -r*u for u.
2
Let v(g) = -g**2 - 57*g + 1003. Let x be v(14). Suppose -4*w = -0*w - 32. Suppose -2*i = 2*i - w. Solve -5*f + x = -i*f for f.
3
Let g(z) = -190 + 33 + 53 + 53 + 17*z. Let l be g(5). Solve -4*f + l = 38 for f.
-1
Suppose -28 - 22 = -10*z. Suppose 21 = 5*c - o, 3 = z*c + 3*o - 14. Solve -1 = -c*m + 3*m for m.
1
Suppose -y - 2*z - 1394 = 3*y, -1384 = 4*y + 4*z. Let m = y - -372. Solve -5*s - m = 4 for s.
-5
Let q be ((-13)/(-91))/((-148)/(-14504)). Suppose -t = 2 - 14. Solve q = 2*y + t for y.
1
Let m = -5 + 7. Suppose 4*k - 6 = m*k. Suppose -5*j - p = -3*j - 13, -k*j = -5*p. Solve u + 0*u = j for u.
5
Suppose 387*i - 18 = -2*z + 392*i, -3*i = 4*z - 36. Solve -z*h - 34 = 8*h for h.
-2
Suppose 7*w - 36 = 4*w. Let v = 1575 - 1575. Solve 5*r + r + w = v for r.
-2
Suppose -4*o + 12 - 1 = -5*l, -3*l + 3 = 0. Suppose 2*b - 4*h = -2, 5*b + 2*h = h + 50. Let m = 15 - b. Solve m = f - o*f for f.
-2
Let i be 12/(-22) + (1080/110)/18. Suppose i = 3*d + 5*n - 28, -d - 3 + 19 = -5*n. Solve 0 = -d*c + 8*c - 6 for c.
-2
Suppose 195*k + 187*k - 391*k + 405 = 0. Solve -5*m - k = -15 for m.
-6
Suppose 0 = 3*h - 4*c + 2 - 58, 3*h = 2*c + 64. Suppose 5*d - 2*f = -5, -4*f = 4*d - 0*f - h. Suppose -630*p + 646*p - 80 = 0. Solve g + d = p for g.
4
Let h(x) = -x**3 - 4*x**2 + 14*x + 66. Let z be h(-3). Solve 15 = z*w - 30 for w.
3
Let i = 27 + 18. Let t = i + -45. Suppose -3*q = -4*f - 3 - 17, t = -4*q + f + 31. Solve 0 = -2*c + 16 - q for c.
4
Suppose q + 101 = -0*b + 4*b, 140 = 5*b - 4*q. Suppose -288*a - b = -300*a. Solve -a*t = -6*t - t for t.
0
Let j be 7/((-7)/4668)*(-37)/(-555)*-10. Solve 3107*n - 5 = j*n for n.
-1
Let g(a) = -4*a - 52 - 17 - 6. Let f be g(-20). Let x be (3 + 5)/(2 - 1). Solve -f*p + 12 = -x for p.
4
Let m be (-2)/4 + (-5)/(-10) + 3. Suppose -v = m*v + v. Let r(x) = -x**3 + 6*x**2 + x - 4. Let o be r(6). Solve v = -o*h + 3*h + 4 for h.
-4
Let u(h) = 2*h + 22. Let n = 26 - 26. Suppose 3*j - 4 - 2 = n. Let l be u(j). Solve -5*f = -l + 1 for f.
5
Let a(p) = 41*p**2 + 36*p + 75. Let u be a(-2). Solve -u = -21*q - 62 for q.
5
Let c(d) = 3*d - 10. Let y be c(-6). Let s = -26 - y. Suppose 0 = -v + s. Solve v*r - 4 = -2 for r.
1
Let r be (176/(-20))/((-3)/(-15)). Let p = -40 - r. Suppose 0 = -p*a + f - 0*f + 2, a + 2*f + 4 = 0. Solve -5*v + 3 + 12 = a for v.
3
Let t = -14 + 2. Let n(d) be the second derivative of -d**4/12 - 17*d**3/6 - 29*d**2 - 83*d. Let l be n(t). Solve -o - 4 = -l for o.
-2
Let w be ((-1)/(-4))/(-1 - (-26)/24). Suppose w*n = -10*n + 143. Solve -2 = -12*c + n*c for c.
2
Suppose n - 3960 = -17*n - 0*n. Solve 0 = -24*t - 76 + n for t.
6
Let c(w) = w**2 - 9*w - 6 + 1 - 20*w - 2*w**2 + 19*w. Let s be ((-1 - 9) + 1)*1. Let r be c(s). Solve -3*f + 3 = -r*f for f.
-3
Suppose -396*p + 75 = -391*p. Solve 744 - 699 = p*t for t.
3
Let r = 6668 - 6604. Solve 25 - r = 39*z for z.
-1
Suppose -2*q - d + 16 = 0, q - 2*q = -d - 14. Suppose -q = -5*r - 0*r. Suppose -r*m = 6*m - 40. Solve -l + m*l = -16 for l.
-4
Let x(q) = 2*q + 19. Let o be x(8). Suppose -o*u - 14 = -36*u. Solve -5*c - 2*c = u for c.
-2
Let x(s) = -s**2 - 535*s - 3692. Let c be x(-7). Suppose 0 = -2*k + 3*k. Solve h = -k*h - c for h.
-4
Suppose 4*p - 6*p = -3*f + 4, 2*f = -2*p - 14. Let o be f + 0 - (1 - 6). Suppose -i - 10 + 32 = 5*j, 2 = o*j - 5*i. Solve j*z = -6 - 14 for z.
-5
Let c be (931/(-114) + (-5)/(-3))*-4. Solve -4*l - c = -14 for l.
-3
Let m(x) = x**3 + 7*x**2 - 20*x + 38. Let y be m(-11). Let z = 231 + y. Solve -4*n - z = 3 for n.
-2
Let d be (10/(-7))/(14/(-98))*(-87)/(-15). Solve -d*q - 11 = 395 for q.
-7
Let d(q) = -80 - 226 - 11*q + 63 - 40*q + 20*q. Let f be d(-8). Solve 0 