3*a - 2*b + 10. Solve a = 5*s + u for s.
2
Suppose s + v - 2 = 0, -4*v + 2 + 9 = 5*s. Suppose 0 = -3*t + s, 76 = 3*h + 3*t + 61. Solve y = h - 2 for y.
2
Let f be (1 - (52 + -10)) + -6. Let j = 63 + -107. Let x = j - f. Solve 0 = -0*l - l - x for l.
-3
Let s = -11297 - -11299. Solve 137*g = 139*g - s for g.
1
Let i = 265 - 363. Let x = i + 104. Solve 0 - 6 = -x*o for o.
1
Suppose 3*v = -3*f + 1365, f - v - 644 = -193. Solve 59*u - f - 19 = 0 for u.
8
Let n = 9 - 0. Suppose 18*q + 3 = 39. Suppose -4*i + 2*i + z + 2 = 0, -z = q*i - 6. Solve -i*b = n - 1 for b.
-4
Let d(n) = -9*n**2 + 16*n - 16. Let l(m) = m**2 + 2. Let b(v) = d(v) + 6*l(v). Let q be 1/(-3) - 16/(-3). Let c be b(q). Solve 1 = f - c for f.
2
Let b be 42 - ((-5 - -3) + -5). Let z be (3/3)/(7/b). Solve 0 = 2*q - z*q - 10 for q.
-2
Suppose 79 = -7*x + 9*x + 5*s, -x + 5*s = -2. Suppose x*f = 170 + 127. Solve f = -7*n - 10 for n.
-3
Suppose 0 = 216*i - 187*i. Solve i = 14*t - 989 + 1073 for t.
-6
Let k = -7045 + 8853. Solve -k*z = -1815*z - 28 for z.
-4
Let z be (2/5)/(6/30). Suppose 2*n + 1 = 4*n + 3*m, z*n + 5*m = -5. Suppose 1 = 6*d - n. Solve d = 4*u - 15 for u.
4
Let s be (-11 - 1330/(-126)) + -1 + (-1718)/(-18). Solve 2*q - 94 = -s for q.
0
Suppose 5*b = -4*z, b - 5*z + 0*z = 29. Suppose -g - 3 = -3*r - b, 4 = r + 4*g. Let d(s) = -5*s + 3. Let p be d(r). Solve -3*m - p = -15 for m.
4
Suppose 2*w - w = -4*q + 262, -5*q + w + 323 = 0. Suppose 4*g - q = 15. Solve 2*b = -2*b - g for b.
-5
Let y = 4931 - 4826. Solve -y + 109 = 4*x for x.
1
Let c = -108 + 121. Suppose -3*u = p - c, 3*p + 4*u - 4 - 20 = 0. Solve p*g - g = 0 for g.
0
Let v = -3 + 7. Let c(a) = a**2 + 8*a + 7. Let t be c(-7). Suppose 0 = -4*y - t + 8. Solve 0 + v = y*o for o.
2
Let h(w) = -11*w - 85. Let i be h(-8). Let p(v) = v - 32. Let y be p(10). Let u be ((-8)/10)/(y/165). Solve 0 = 3*t + i + u for t.
-3
Suppose -16*x - 11 = -5*h - 17*x, x = -2*h + 2. Suppose y + 2 = 2*d - h, 2*d - 11 = 3*y. Solve d = r - 2 for r.
3
Let u = 409 - 404. Suppose -5*c + 25 = -4*c. Solve 0 = u*v + c - 5 for v.
-4
Suppose 8 = 4*a, 3*q + 0*a + 592 = 5*a. Let c = -178 - q. Let d = -1 + 3. Solve -d*o - c = -6*o for o.
4
Suppose -3 = 3*q, 7*k - 5*k = -5*q - 5. Let r = 20 - 14. Solve 5*i - r + 1 = k for i.
1
Let g(y) be the first derivative of y**3/3 - 5*y**2/2 + 3*y + 14. Let r be g(2). Let f be 6 - (3 - (r + 3)). Solve 4*n - f*n = 0 for n.
0
Let t(j) = -j**2 + 7*j + 234. Let x be t(-9). Solve -99*u + x = -84*u for u.
6
Let p(d) = -2*d**2 + 30*d + 4. Let n be p(15). Let a be 0 + n*5/40*4. Solve -a*f - 15 = f for f.
-5
Let c(l) = 2*l**2 - 68*l + 273. Let o be c(4). Solve o*v + 30 = 39*v for v.
5
Suppose 2*y - 12*y = 5420. Let d = y + 551. Solve 14*g - d*g - 20 = 0 for g.
4
Let a be (-10)/(((-43)/(-2))/(-43)). Solve 59*j = a*j + 195 for j.
5
Suppose 33*d - 42*d - 27 = 0. Let h(o) = 4*o + 16. Let t be h(d). Solve t*x - 5 = 3*x for x.
5
Suppose 0 = 153*p - 4*p + p - 2700. Solve -p = 13*q + 60 for q.
-6
Let o be (-2)/(-4) + (-63)/(-2). Let l = o + -32. Suppose b + 0 - 8 = l. Solve -4*t = -b*t - 8 for t.
-2
Suppose -23*v - 447 = -760 - 1458. Solve v*n - 89*n = 24 for n.
-2
Let h(r) = -r**2 + 11*r + 15. Suppose 3*y + 63 = 11*a - 7*a, 25 = -5*y. Let b be h(a). Solve 0 = b*v + 2 + 1 for v.
-1
Suppose -18*n = 21*n - 585. Solve 5*d - 8*d = n for d.
-5
Let y be (-78)/117*(0 - 3). Suppose -25 = -5*z, -y*c = z - 10 + 1. Let r(t) = t - 8. Let v be r(8). Solve 4*j - c - 2 = v for j.
1
Suppose 82 = 20*w - 318. Solve 60 = w*l - 0*l for l.
3
Let x = -1 + 4. Let b = -127 + 103. Let o be (-1)/(b/160)*12/10. Solve -f - o = -x*f for f.
4
Let c be 4/((3/6)/((-12)/(-48))). Solve 0 = c*q + 7*q + 45 for q.
-5
Suppose 5*b + 3*o = 40, -5*b - 5*o + 23 = -27. Suppose 2*l + 3*l = b. Let c be (-18)/(-63) - l/7*-5. Solve -3*m + 4*m = c for m.
1
Suppose -83*s = -5*j - 87*s + 47, j + 3*s - 5 = 0. Solve -j*g + 18*g + 42 = 0 for g.
-6
Let b be -5 + (9 - 7) - (10 + -18). Solve -26 = -b*y + 4 for y.
6
Suppose -106*c + 195 = -101*c. Suppose -c*q + 1930 - 370 = 0. Solve -3*l - 25 = -q for l.
5
Let b(p) = -p**2 + 6*p - 6. Let h be b(4). Let o(i) = 2*i + 70*i**h - i**3 - 33*i**2 - 12 - 29*i**2. Let v be o(8). Solve v*s = -7 - 1 for s.
-2
Let b be (-6)/75 - (49588/(-275))/4. Solve 42*r - 9 = b*r for r.
-3
Suppose 34*j - 12*j = 7*j + 195. Solve j*z + 24 = 7*z for z.
-4
Let j be (6 + -1)*(-16)/(-10). Let g be 4 - ((-234)/(-120)*2 - 4/(-40)). Solve -4*y - 4 - j = g for y.
-3
Let q(t) = -59*t - 227. Let r be q(-8). Suppose m - r = -34*m. Solve 33 = m*i - 2 for i.
5
Suppose a - 18 = -5*g, 3*g - 24 = -5*a + 22. Let d(h) = 3*h**2 - 5*h - 2*h**2 + 0 - 23. Let s be d(a). Solve 3 + s = -4*p for p.
-1
Let m(p) = -p**3 + 14*p**2 + 5. Let c be m(14). Suppose -3*h + 2*b + 31 = 0, -5*h - 4*b - c = -20. Solve 1 = -3*a + h for a.
2
Let b be (-389 + 376)*(-10)/13. Solve 14 + b = -6*u for u.
-4
Let d(t) = 4*t**2 + 8 + 5*t**3 - 16 - 4*t**3 - 8 - 5*t. Let o be d(-4). Solve 7*s = 11*s - o for s.
1
Suppose 4*a - 191 - 37 = 0. Let f = a - 57. Suppose 3*c - 4*i = -2*c - 4, -4*c - i + 1 = f. Solve 15 = -c*b + 5*b for b.
3
Let w = 889 + -887. Let c(f) = 2*f**2 - 2*f - 11. Let g be c(5). Suppose -4*x - 4*v + g = -x, -w*v + 7 = -x. Solve -2*y = x*y for y.
0
Suppose 2*a + 5*d - 11 = 0, -3*a - 2*d = -a - 8. Let w = -776 - -766. Let j be a/(135/(-18)) - 14/w. Solve 0 = h - j + 5 for h.
-4
Let k = 2 + -4. Let c be k/(-8) + (-11)/(-4). Let r be ((-21)/35)/((-51)/425). Solve r*x = c*x + 8 for x.
4
Let h(g) = 3*g**2 - 109*g + 160. Let x be h(35). Solve -303 + 263 = -x*m for m.
2
Let u = -232 + 235. Suppose 2*g - f = 4*g - 2, 16 = 5*g - u*f. Let o(b) = -b + 5. Let v be o(4). Solve z - g + v = 0 for z.
1
Let q = -765 + 1206. Let j = q + -428. Solve -o = j - 11 for o.
-2
Suppose -p + 5*g = -28, -17*g + 14*g - 15 = 0. Suppose -5*y + 8 = -p*h + 20, 0 = -y + 3*h - 12. Solve -5*l + 4*l - 2 = y for l.
-2
Let q(x) = x**3 + 8*x**2 - 64*x + 16. Let m be q(-13). Suppose 0 = -5*h + 4*z - m + 18, 5*h + 5*z = 15. Solve -11*t = -h*t for t.
0
Suppose 0 = -2*z + 4*a + 18, z - 1 - 4 = -2*a. Let p(y) = y**3 - 8*y**2 + 7*y + 11. Let i be p(z). Solve 4*u + 3 = i for u.
2
Suppose 7*t - 3 = 18. Let z(j) = 7*j**2 + 6 + t*j**3 - 23*j + 46*j**2 - 29*j**2 - 4*j**3. Let y be z(23). Solve y = -2*x - 4 for x.
-5
Let r(s) be the first derivative of -s**2 + 12*s + 13. Let d = 38 + -33. Let f be r(d). Solve 2*l - 8 = -f for l.
3
Let x be ((-8)/2 - ((-2646)/99)/7)*-11. Solve 0 = x*g + 269 - 273 for g.
2
Let f(d) = -d**3 - 5*d**2 + 16. Let j be f(-4). Let q be 0/(-8) - (j + -1)*5. Solve 0 = p - q*p + 12 for p.
3
Let k be (114/24 + -5)*-44. Solve k*c - 48 = 27*c for c.
-3
Suppose 21*z - 2*q + 732 = 23*z, 0 = -3*z + 4*q + 1098. Let m be z/61 + (-1 - 5). Solve 16 = -m*j - 8*j for j.
-2
Let m(l) = -4 + 5*l**2 - l**2 - 5*l + 2*l**2 - 5*l**2. Let s be m(8). Let j(h) = -h**2 + 4*h - 1. Let n be j(3). Solve -s = -3*g - n*g for g.
4
Suppose 0 = 5*p + 2*l + 2, -11*l + 29*l = 4*p - 116. Suppose -9 = 2*s + 5*i, 3*s = -4*i - 5 + 2. Solve q + p*q = s for q.
1
Suppose 4*n - 2*z = 16, 3 = 3*n - 4*z - 9. Suppose 16 = 4*u + n. Suppose -t = 2*g - 14, -u*g = t - 6*g + 1. Solve -t*y = -11*y + 15 for y.
5
Suppose 9*n + 33 = 12*n. Let k be 3/(-5)*240/(-72). Suppose -b - k = 2*m + b, -3*b = -5*m + 35. Solve -m*r - n = -27 for r.
4
Suppose 797 + 533 = 12*r + 934. Solve 0 = -3*t + r - 39 for t.
-2
Suppose -d - 4*u - 118 = 0, d + 5*u + 50 = -65. Let n be (-4)/(-10) - d/50. Suppose 3*z = -n*z. Solve z*y = y for y.
0
Let g = -82 - -170. Let o = 92 - g. Solve o*i + 1 = 3*i for i.
-1
Suppose 2*z - z - 241 = 2*u, 0 = -u + 3*z - 118. Let l = -111 - u. Solve 9*k - 4*k + l = 0 for k.
-2
Let y(m) = -23*m - 125. Let j be y(-7). Suppose 0 = 10*z - 4 - j. Solve 0 = -z*g + 4 + 12 for g.
4
Suppose 76 = -11*b + 230. Suppose -l - 8 = -2*g, -5*g + 21 = 4*l + b. Let d be 6 + 3*1/3. Solve -d*a - g = -4*a for a.
-1
Suppose -3*s - 6*c + 20 = -c, 4*c = -3*s + 19. Solve -19 = -s*l - 39 for l.
-4
Let j be 434*(1620/140)/27. Solve -17*x - 14*x - j = 0 for x.
-6
Suppose 4*r - 12 = 2*r. Suppose 84*a - 371 + 26 = 15*a. Let h(w) = w**2 + 2*w - 1. Let n be h(-3). Solve 0 = -n*c + a*c + r for c.
-2
Let x(u) = u - 2*u + 9*u + 28 - 5*u. Let g be x(-9). Suppose -2*f - g = -1. Solve 5*o = -f*o + 15 for o.
3
Suppos