d - 15 for b.
5
Let s = -1712 + 1724. Solve -3 = -9*g - s for g.
-1
Suppose 867 = 3*r - 7*r + j, 2*r + 441 = -j. Let b = -191 - r. Solve 31*f - b*f + 4 = 0 for f.
-1
Suppose -8 = 7*y - 8*y. Let f = 3 + y. Suppose 21 + 1 = f*u. Solve u*q = 7*q + 25 for q.
-5
Let x = -3 - -97. Suppose 4*q + 3*h + 20 = x, 2*q - 34 = -3*h. Let b be 2/5 + 6 + (-8)/q. Solve 0 = -3*p + b + 6 for p.
4
Suppose -31 = k + 19. Let t be 40/k*(14/(-4) - -1). Suppose 5*z + t = -18, -4*z - 9 = v. Solve 3 = -5*i - v for i.
-2
Let n = -1381 - -1394. Solve 12*i - 13 = -n for i.
0
Let b(y) = 260*y**2 + 2*y + 4. Let j be b(-2). Suppose 1044*z = j*z. Solve -6*c - 4 + 16 = z for c.
2
Let g(a) = a + 1. Let q be 3/((-2)/12*2). Let b be 3*q/((-9)/3). Let z be g(b). Solve u - z = -u for u.
5
Let k = -70 - -96. Suppose 0 = 2*f - 0*f - k. Let y be (6/7)/(((-195)/(-70))/f). Solve -y = -w + 1 for w.
5
Let h be 3*(555/(-9))/(-37). Let s(t) be the third derivative of t**4/24 - t**3/3 - 2*t**2. Let x be s(4). Solve h*i - x*i = 6 for i.
2
Suppose 0 = 4*u - 5*b + 7 + 5, 4*u + 5*b = 28. Suppose -6 = k - u. Let g be (1/(-4)*2)/(2/k). Solve h + g = -0 for h.
-1
Let u = -4662 - -4669. Solve -u*j + 243 = 222 for j.
3
Suppose 2*j = -3*z - 4, 2 = 4*z - 5*j - 8. Suppose -5*r - 3*n = -35, n = -r - z*n + 5. Solve -8 = -k - r for k.
-2
Let y be (-1)/(-1)*(-19 - -5). Let z be 4/(-14) - (-768)/42. Let w = y + z. Solve 0 = -g + w*g - 3 for g.
1
Suppose 7*j = 5*j - 4*y + 2, -3*j + 5*y = -14. Let f = 18 + 22. Suppose -3*k - 2*k - 4*r + 105 = 0, -2*k + f = 2*r. Solve -j*z - k = -8*z for z.
5
Let w = -51 - 19. Let s = 76 + w. Suppose 4*h - 18 - s = 0. Solve -h*v = -5*v for v.
0
Let m(t) = -t**2 - 15*t + 38. Let y be m(-17). Let d be (-2)/6*(-1 + y)*-2. Suppose d*c - 34 = -24. Solve c*r + 0*r - 10 = 0 for r.
2
Let u be (16/(-28))/(((-12)/(-3))/(-308)). Suppose 40*n = u*n - 32. Solve n*t = 2*t + 12 for t.
2
Suppose 0 = -5*q + o + 45, 0 = q - 4*q + o + 25. Let u be ((9/3)/3 - -3) + 12. Solve q*d - u = 14*d for d.
-4
Suppose -n = -j - 2, -n + 2*j + 4 = -2*n. Suppose -50*z + 398 + 102 = n. Solve z - 5 = x for x.
5
Suppose -18*p + 345 = -249. Solve 0 = -9*w - p + 6 for w.
-3
Let l = -14306 - -14423. Solve -115 = -2*h - l for h.
-1
Suppose 0 = -3*v - 3*z, 2*v + 0*v + 4*z + 12 = 0. Solve v*d - 2*d = -0*d for d.
0
Suppose 3*q - 12 = -i, 4*i - q + 0*q - 22 = 0. Suppose 0*k + 5*k + 13 = -a, -a = 3*k + 7. Solve 0 = a*r - 4*r + i for r.
3
Let z be 13 + 214 - (1 + 1). Let j be (12/10)/(10/z). Let v = j - 24. Solve v = -2*d + 9 for d.
3
Suppose -10*v + 46 = 13*v. Solve 0 = v*j - 16 + 8 for j.
4
Let a = -195 - -199. Suppose 0 = 2*d + 2*v - 18, -2*d + 3 + 15 = -a*v. Solve -d = -4*f + f for f.
3
Suppose 3*x + z - 42 = 78, 2*z = x - 33. Suppose 31*s + 24 = x*s. Solve 8 - s = -b for b.
-5
Suppose 5*j - 5*l - 50 = 0, 5*j - 70 = -8*l + 9*l. Suppose 0*d = j*d. Solve 0*f - f = d for f.
0
Let j be (-468)/(-108) - (-4)/6. Solve -2*n - 9 + j = 0 for n.
-2
Let t(x) = -94*x + 568. Let i be t(6). Solve i*m + 9 = 33 for m.
6
Let h = 10479 + -10461. Suppose 0 = 2*s - i - 8, -2*i - i = s - 11. Solve g = -s*g + h for g.
3
Suppose b - 11 = 2*f, -6*b + 4*b - 2*f = -4. Let y(t) = -t**2 - 4*t + 16. Let k be y(-16). Let a = -164 - k. Solve b*c - c - a = 0 for c.
3
Suppose -3*w + 0*w = -66. Suppose 36 = 4*u + 4*b, 2 = -3*b - 7. Let q(g) = -3*g + 41. Let p be q(u). Solve p*m - 2 = -w for m.
-4
Let w = -418 + 428. Suppose 8*u - w = 14. Solve 0 = -2*z + u + 3 for z.
3
Suppose -3*a - 5*a + 224 = 0. Suppose -12*w + a*w - 320 = 0. Solve 7*c - w = 11*c for c.
-5
Let m(y) = 3*y**3 + 8*y**2 - 8*y - 3. Let n be m(-3). Solve n*z = -3*z + 75 for z.
5
Suppose -88*n = -90*n - c + 10, 40 = 5*n - 5*c. Solve n = -281*i + 282*i for i.
6
Let n(z) = z**3 + z**2 - z + 9. Let w be n(0). Let s(i) = -2*i + 54. Let b be s(19). Suppose 0 = -6*g + b - 4. Solve g*v + 1 = -w for v.
-5
Suppose -2*s - 5 = -15. Suppose s*j - j = -p - 12, 9 = -4*p - 3*j. Let x(c) = 7*c**3 - 18*c**2 + 16*c + 3. Let a be x(1). Solve p = 5*r - r - a for r.
2
Suppose 46*f - 902 + 65 = 19*f. Solve f*y = 16*y + 135 for y.
9
Let w(a) = 4*a**2 - 19*a + 84. Let t be w(8). Let x = -183 + t. Let f(j) = -2*j - 2. Let r be f(-3). Solve r*q - x*q = 0 for q.
0
Suppose 273 = 30*k - 327. Let h be 18/27*12/2. Solve -h*c + 9*c - k = 0 for c.
4
Let y(f) = -5*f**2 + f + 3. Let i be y(3). Let l be ((-18)/12)/((-338)/(-172) - 2). Let r = i + l. Solve r*t - 11 = 1 for t.
3
Let x(m) = m**2 + 19*m - 17. Let g be x(-19). Let v(o) = -o - 25. Let r be v(g). Let f be (-6 + 3)*r/12. Solve -2 = -f*h + 6 for h.
4
Let x(v) = v + 20. Let f be x(-18). Suppose 0*n + 3*u - 14 = -n, -f*u + 8 = 0. Solve -2*a - n = -8 for a.
3
Suppose -31*i - 142 = -46*i - 56*i. Solve -6 = c - i for c.
-4
Let d(f) = -f**3 - f**2 - f + 1. Let v be d(0). Let y = v - -17. Suppose -j + 3*n - 3 = 0, 2*j + 2*n = 6*j - y. Solve b - j*b = 25 for b.
-5
Let k = 274 - 260. Let v(t) = 2*t - 21. Let b be v(k). Solve b*w + 2*w = 45 for w.
5
Let i = -41 + 46. Suppose 3*x + 0*a - 90 = 2*a, -15 = -i*a. Suppose 22 = 4*g + 2*q, -3*g - 4*q = 2*g - x. Solve -3*d + g*d - 3 = 0 for d.
3
Let z be ((-69)/46)/((-3)/(-6)) + 5. Suppose -c - 96 = -5*b, 2*c = 2*b + 2*b - 72. Suppose 5*l - b + 0 = 0. Solve -z*m - 2 = -l for m.
1
Suppose 56 = 5*t + 10*v - 49, 3*t + 5*v = 67. Solve t*p - 24*p - 10 = 0 for p.
2
Let s(x) = x**2 + 19*x + 80. Let g be s(-13). Suppose -9*v + 32 = -5*v - 4*w, 0 = -g*w. Solve p + 35 = v*p for p.
5
Let i(o) = -2*o - 268. Let k(m) = -2*m - 536. Let n(d) = -13*i(d) + 6*k(d). Let f be n(-19). Solve -20 = f*t - 7*t for t.
4
Suppose -2 = 4*a - 2*h - 0, -3*h + 3 = a. Let k(f) = 6 - 3*f + 16*f - 3*f**2 + f**2. Let b be k(6). Solve a*j + 4*j - b = 0 for j.
3
Let c(m) = -22*m - 138. Let q be c(-9). Let u be q/5*4/((-48)/(-3)). Solve -1 - u = -4*y for y.
1
Suppose 7*l - 32*l + 4650 = 0. Solve u = l - 184 for u.
2
Let z be ((-2)/4)/(-5*(-3)/(-240)). Solve 0 = 33*v - z*v + 25 for v.
-1
Suppose a + p = 121, 0 = -3*a + 22*p - 20*p + 383. Solve 8*f - a = -17*f for f.
5
Let x(f) = -81*f + 84. Let d be x(1). Solve 0 = 13*q - d - 62 for q.
5
Let c = -5934 - -6375. Solve -433*a + c*a - 16 = 0 for a.
2
Let k = 37 + -24. Let w(c) = 10 - k*c + 25*c - 6*c - 5*c. Let x be w(-9). Solve 4*d - 17 + x = 0 for d.
4
Suppose 0 = -3*w - w - 4, -4*w = r + 29. Let s = r - -26. Let a be (5 - (2 - s))*3. Solve -y - a = 2*y for y.
-4
Suppose -4*s = 4*c + 1136 - 72, 0 = 3*s - 5*c + 830. Let b = -265 - s. Solve 4*o - b = -o for o.
1
Let i(n) = -n**3 + 28*n**2 + 26*n - 1269. Let x be i(27). Solve 157*v = x*v for v.
0
Let f(k) = -k**2 + 8*k + 3. Let g be f(9). Let t be (-2 + 4)/((-1)/g). Solve t = 5*d + 2 for d.
2
Let t(f) = -9*f + 314. Let c = -575 - -609. Let y be t(c). Solve -y*u = -6*u + 10 for u.
-5
Suppose 38*u = 30*u + 16. Suppose 2*z + 2*z = -24. Let g(m) = m**3 + 6*m**2 - 2*m - 6. Let o be g(z). Solve 16 = u*f + o for f.
5
Let n = 13749 - 13721. Solve p = 8*p + n for p.
-4
Suppose -17*a = 126*a - 4147. Solve -a*v = -21*v - 48 for v.
6
Let f = 113 - 107. Suppose 3*m = 2*p + 10, -m + 4 = -4*p - f. Solve m*c + 15 = -3*c for c.
-3
Let o(b) = -2*b**2 + 30*b - 38. Let p be o(13). Suppose 5*w + 18 = -y - 1, 4*w = -y - p. Solve -t + y = t for t.
3
Let c(y) = y**2 - 42*y - 546. Let l be c(-11). Solve 132 = -l*a - 127 for a.
-7
Suppose -100 = -3*n + 5*m, 4*n - 50*m + 51*m = 118. Solve -23*q = -29*q - n for q.
-5
Suppose 76 = 80*x - 244. Let j = 15 - 11. Suppose j = -x*h + 4*i, 2*i - 4*i + 8 = h. Solve h = 4*r - 2 for r.
1
Let s(f) = f**3 + 15*f**2 + 27*f + 11. Let o be s(-13). Let m be 15 + -11 + o - 1/1. Solve 5*g = -m + 6 for g.
1
Let t(g) = -548*g + 575. Let l be t(1). Solve l = -25*d - 98 for d.
-5
Let g be -2 - 9/(-3) - 1. Suppose 0 = 25*i + 25 - 150. Suppose i*w + 3*p - 7 = 0, 5*w + 4*p - 2 - 4 = 0. Solve g = -w*u - 2*u for u.
0
Suppose 0 = y - 6*y + l - 6, -4*y - 5*l = -30. Solve 10*c + 192 - 222 = y for c.
3
Let l be (4/(-6))/((-2)/6). Let z = -3310 - -3313. Suppose 0*h - h + 8 = x, l*x - 20 = -z*h. Solve -h*i = -i - 15 for i.
5
Let y(i) = 4*i + 48. Let k be y(-7). Suppose 97*w - 93*w = k. Solve 0 = 11*z - w*z - 30 for z.
5
Let w = -8589 + 8705. Solve 48*u + w = -10*u for u.
-2
Let z = 312 + -306. Suppose k + k - z = 0. Solve -1 = k*p - 16 for p.
5
Suppose 3 = -2*y + 9. Suppose -4*k = -a - 25,