+ 10 = 0 for b.
2
Let k be (6 - 7)*(-10 + 2). Suppose q - 252 = -249. Solve -q*b + 7*b = k for b.
2
Suppose 84952*q + 234 = 84954*q. Solve -23*x - 16*x - q = 0 for x.
-3
Let c(z) = 194*z - 8316. Let g be c(45). Solve 7*r - 414 = -g for r.
0
Suppose -5*b + 25 = 5*k, 3*k + 5*b - 27 + 12 = 0. Let s = -7388 + 7412. Solve p + k*p = -s for p.
-4
Let r = 175 + -348. Let o = r - -182. Solve 5*v - 6 - o = 0 for v.
3
Suppose -4*h + 50 = 2*r - 5*r, 0 = 5*r + h + 45. Let o be 0 + r/25 + (-435)/(-25). Solve -2*q + 23 - o = 0 for q.
3
Suppose -5*x = 3*i - 54, -i - 3*x + 21 + 1 = 0. Suppose 330*g + 60 = 340*g. Solve i + 17 = g*a for a.
5
Suppose -g - 3*o + 16 = -104, -g + 108 = -3*o. Solve -g = -20*x + x for x.
6
Let w be (-10)/35 + 5844/(-28). Let h = w - -257. Solve -h = -p + 13*p for p.
-4
Let l be -12 - ((-58)/(-145) - (-728)/(-20)). Solve 196 = l*x + 52 for x.
6
Let p be 6 - (0 - (-1 + 136)). Let q = p + -118. Solve 8 = 3*r + q for r.
-5
Let z(c) = 2*c**3 - c**2 + 43*c + 24. Let d be z(0). Solve -11*w + d = -17*w for w.
-4
Suppose 15 = 2*u - x, -6*x - 8 = 22. Solve 12*c - u*c - 42 = 0 for c.
6
Let q = -9178 + 9230. Solve -8 - q = 20*g for g.
-3
Suppose 4*z = 4*y - 104, -2*y - 30 + 84 = -z. Let t = 28 - y. Let r be t/(3 + -7) + 3. Solve m = r*m - 10 for m.
5
Let g be -1 - (-2)/(4/24*3). Suppose -g*d = -12*d + 108. Solve -2*o = o + d for o.
-4
Let k be (-2)/4*(1 + -7). Let o = 30 - -30. Let t be (-6 - o/(-9))/(2/3). Solve 0 = -j - k + t for j.
-2
Let b(f) be the third derivative of -f**5/60 - 13*f**4/24 + 16*f**3/3 - 24*f**2. Let z = 9 + -24. Let c be b(z). Solve 3*p - p = -c for p.
-1
Let r(z) = -z**3 - 4*z**2 - 4*z - 12. Let v be ((-2)/2)/(17/68). Let o be r(v). Solve -o*n + 23 = 3 for n.
5
Let l = -12373 - -12416. Solve -l*z = 13*z + 112 for z.
-2
Suppose 0*n - 1 = 2*n + o, 3*o + 3 = -2*n. Let j be n + -3 + (-30)/(-5). Solve -7*x + 10*x + j = 0 for x.
-1
Let v be ((-98)/(-588))/(1/(-2) + 1)*51. Solve -v*s = 2 + 49 for s.
-3
Let u be ((-1456)/(-78))/(2/3). Solve 0 = 5*r + u - 8 for r.
-4
Suppose -3*n = 2*j - 113, 4*n = -3*j + j + 150. Suppose n = -12*g - 47. Let x be 1*6 - g/(-7). Solve 20 = s - x*s for s.
-5
Suppose -1229 = -33*d - 46*d + 2168. Solve 28*u = -15*u - d for u.
-1
Let v(t) be the second derivative of -5*t**3/6 - 5*t**2/2 + 146*t. Let a be v(-4). Solve 0 = 5*k - a for k.
3
Let x(q) = 24*q - 34. Let k be x(2). Let y(l) = -l - 3*l + 2*l + 40. Let w be y(k). Solve -w = -2*n - 2*n for n.
3
Let k(y) = y**3 - 4*y**2 + 4*y - 3. Let c be k(5). Let d = c - 44. Let j = 2 + d. Solve j*m = -5*m for m.
0
Suppose 18 = -840*c + 843*c - 3*y, -2*c + 4*y + 24 = 0. Solve c = 36*d + 17 + 163 for d.
-5
Let a be 3/((-6)/(-4)) - (3 - 56). Suppose a*c - 50*c = 15. Suppose -c*l + 21 = 3*v, 4*v + 5*l = 13 + 20. Solve v*k + 2 = 8 for k.
3
Let l = -43 + 43. Suppose 5*c = -0*c - 3*t + 44, l = -4*c - 5*t + 30. Let a = -9 + c. Solve -a = -k + 3 for k.
4
Suppose 41 = k - y, 0 = 4*k - 17*y + 14*y - 170. Solve k = -15*x - 58 for x.
-7
Let t(l) = 5*l + 102. Let u be t(-21). Let i be (-3 - -2) + (15 - (u + 3)). Solve 0 = i*n - 10*n - 20 for n.
5
Let y(v) = -12*v + 60. Let o be y(4). Let t be ((-1)/1)/((-6)/78). Solve 5*w = o + t for w.
5
Suppose 0 = -h + 4*v - v + 14, -4*v = 2*h + 2. Let z = 61 - 43. Suppose 7*l - z*l = 0. Solve -5*t + 0 - h = l for t.
-1
Suppose 3*l = -5*u + 44, 3*l + 0*l + 6 = 0. Suppose 100 = 26*o - o. Suppose 0 = 3*s - 3*i - 3, -o*i + 5 = 2*s - 3*i. Solve s*a + 18 = u for a.
-4
Suppose -261 = -1157*g + 1148*g. Solve -45*c = -g*c - 16 for c.
1
Let y = 7 + -1. Suppose 3*x + 2212 = 161*x. Solve -y*p + 16 = -x*p for p.
-2
Let v be ((96/10)/(57/(-266)))/((-4)/10). Solve -17*d - 11*d - v = 0 for d.
-4
Let u(g) = 4*g - 84. Let o be u(23). Suppose 0 = -o*r - 2 + 10. Solve -r - 8 = 9*t for t.
-1
Let t(k) = -k - 12. Let z be t(22). Let v = z + 43. Solve v = 5*x - 16 for x.
5
Let u = -34355 - -34470. Solve -u*h = -241 - 219 for h.
4
Let h(d) = d**3 - 12*d**2 + d + 21. Let s be h(12). Let j be 11/(s/(-4))*(-27)/4. Solve 4*b = j*b + 20 for b.
-4
Let l = 4673 - 4659. Solve -l*r - 8 = -22*r for r.
1
Suppose -31*w - 41148 = -139*w. Solve -36 = -399*x + w*x for x.
2
Suppose a - 495 = 3*j + 208, 2*j = -5*a + 3430. Let h = 688 - a. Solve -5 + h = -p for p.
5
Let y = 131 - 126. Suppose 4*u = -s + 17, 0 = 8*s - 3*s - y. Solve 10 - 6 = u*c for c.
1
Suppose -103 = -5*n - 3*m, 5*n - m + 2*m = 101. Suppose -n*l + 20 = -15*l. Solve 2*s + l - 4 = 0 for s.
0
Suppose 21 = 123*d - 120*d. Solve 13 = 6*c + d for c.
1
Let b(f) = 7*f + 135. Let m be b(-17). Solve m = 10*d - 4 for d.
2
Suppose -89*w - 56*w + 24*w - 15*w = 0. Solve 5*c + 6*c = w for c.
0
Suppose 0 = -4*b - k - 3 + 13, 4*k = 8. Let q be 6/(-5)*((-38)/6 + 3). Let z be 31/b + q/(-8). Solve -z + 3 = 4*p for p.
-3
Let d(n) = -76*n**3 - 3*n**2 - 3*n - 1. Let f be d(-1). Let k = -72 + f. Let l be 1 + (k + 1 - 3). Solve -l*i = -3*i + 1 for i.
1
Let b be -3 + 5/(10/(-58)). Let m be ((-4)/b*4 - 1)*-6. Suppose m*g = -4*f - f - 22, 4*f = -20. Solve -a = -6 + g for a.
5
Let y(a) = 346*a - 109. Let z be y(1). Solve -z*u + 228*u = -9 for u.
1
Let t = -26883 + 27515. Solve -10*o - 652 = -t for o.
-2
Let h be (-1)/3*(-25 + -2537 + -15). Solve 873 = 7*y + h for y.
2
Let t = 14383 - 14383. Solve 762*j - 754*j + 72 = t for j.
-9
Let s = 10633 - 10630. Solve -2153*k - s = -2150*k for k.
-1
Suppose 49 = 4*t - 67. Let s = 146 - 163. Let f = t + s. Solve f = m + 3*m for m.
3
Let v be (3/5)/1 + 3072/30. Let m = v + -97. Solve -m*o + 20 = -o for o.
4
Let s be ((-572)/88)/((15/(-12))/5). Solve 0 = -s*z + 20*z + 12 for z.
2
Let y(p) = p**3 + 12*p**2 - 10*p - 114. Let v be y(-12). Let a be (5 - 1) + 5 + -8 + v. Solve 0 + 21 = a*w for w.
3
Suppose -5*z + 2*h - 19 = -276, -5*z + h + 256 = 0. Suppose -4*b + z = 5*w, 3*w - 6*w - 5*b = -28. Solve w*s - 10 = 13*s for s.
-5
Let w(x) be the second derivative of x**4/12 - 6*x**2 + 4*x. Let r be w(5). Let p be 10/2 + (-13)/r. Solve 7*u = 3*u + p for u.
1
Suppose 9 = -12*l + 15*l. Suppose 0 = -k + l, 3*x - 23*k = -24*k + 33. Solve 3*p - p + x = 0 for p.
-5
Let k = 145 + -105. Suppose o + k = 11*o. Solve -25 = u + o*u for u.
-5
Let r be (39/((-1170)/48))/((-4)/160). Solve 1116*p - 1108*p - r = 0 for p.
8
Suppose 0 = -3*y - k - 211, -5*y - 141 = -3*y + k. Let n be (-84)/(-22) + y/(-385). Solve -u = -n*u + 15 for u.
5
Suppose -10*o = -21*o - 24 + 3038. Solve k - o = -277 for k.
-3
Let q = 21 - -11. Suppose 0 = -5*a + 2*o - q, 0 = -a - 4*a + 3*o - 28. Let c = -8 - a. Solve c = -u - 3 - 2 for u.
-5
Suppose -235 = 6*i - 217. Let b be 2 + i + 1 + 0. Solve c - 3*c = -b*c for c.
0
Let l be (-8)/48 + 31*2/12. Suppose -q = -5*o + 5 + 13, 2*o - 18 = -l*q. Suppose 5*f - 2*b = 44, -f + 4 = 3*b + 2. Solve -2*t + q = f for t.
-3
Let v be 3*((-740)/(-30) - (-1 - 1)). Let f = v - 73. Suppose -i - 5*m = -2, -6*m + f*m = 4*i - 8. Solve c + 3 = i*c for c.
3
Suppose -192 = -2*d - 3*n, -2*d + 16*n = 20*n - 200. Solve d = -818*g + 830*g for g.
7
Let g = -73 - -73. Suppose 30 = k - 5*l, 3*l + 48 = 3*k + 2*l. Solve -k = -3*b - g*b for b.
5
Suppose -8*i = -361 + 321. Suppose w + 2*w - 7 = -5*y, -2*y = 4*w. Suppose -y*x + 0 + 10 = 0. Solve -i*g - x = 5 for g.
-2
Let z(d) be the first derivative of -d**3/3 + 19*d**2/2 - 22*d + 11. Let u be z(7). Let k = -59 + u. Solve 0*a + a = -k for a.
-3
Suppose -5*y + 60 = 7*d - 6*d, 6*d = 3*y + 195. Solve -7 - d = 7*k for k.
-6
Let c(s) = 2*s**2 + 11*s - 1210. Let u be c(22). Solve -20*b - 258 + 318 = u for b.
3
Let h(b) = -b**3 + 20*b**2 - 35*b - 263. Let g be h(17). Solve g = -7*f - 5 for f.
-2
Suppose 7*c - 4*c = -24. Let a be (20/c)/(1/(-2)). Suppose -5*r + 31 = 5*n + 6, -4*r + n + a = 0. Solve -r*d = -3*d for d.
0
Let q(o) = -o**2 - 9*o - 16. Let r be q(-7). Let v be 2/(-1*(-4)/(-8)). Let i be (-2)/(-5) + v/10 - r. Solve -i*f = -1 - 3 for f.
2
Let p be -1 - (92/24 - (-3)/18). Let s = p - -12. Suppose -18 = -5*d + s. Solve -d*l = 4 + 6 for l.
-2
Suppose -92*l + 7110 = 48*l - 6610. Solve 0 = 6*p + l - 134 for p.
6
Let g be 79/237*(31 - -5). Solve -3*a + 15 = g for a.
1
Suppose -13*q + 4*y + 60 = -9*q, -2*y = -8. Solve -q*v - 28 = -26*v for v.
4
Let u = 1123 - 1082. Let n be (-9)/6*(-92)/3. Let m = n - u. Solve -2*p + m = -1 for p.
3
Suppose 4*f - f - 4*o = 56, 5*f + 3*o = 74. Suppose 0*l = -f*l 