b for s.
2
Let c be 7*((-966)/(-105) - 4 - (-2)/(-10)). Solve 223 = -43*a - c for a.
-6
Suppose -y - 65 = -4*q, -8*y = -5*q - 9*y + 88. Solve -q + 19 = -2*x for x.
-1
Let u be ((-210)/(-9))/(-5)*(-2 + -1). Suppose 0 = v + u - 23. Solve 3*t - v*t = -6 for t.
1
Let z(h) = -3*h**3 - 18*h**2 + 162*h - 14. Let u be z(-11). Solve -35*g + 32 = -u*g for g.
2
Let w = 30 - 6. Let m be (-20)/w*1*-6. Suppose m*c - 48 = c. Solve 2*y = -y + c for y.
4
Let i(l) = 1262*l - 12612. Let q be i(10). Solve 636 = q*s + 644 for s.
-1
Let y(k) = -k**3 + 14*k**2 + 14*k + 19. Suppose o - 3*w = -w + 17, -47 = -3*o + 4*w. Suppose -o*h + 128 = -67. Let v be y(h). Solve -7*j + v*j + 6 = 0 for j.
2
Suppose 4*x - c + 19 = 0, 0 = -3*x - 2*c - c - 33. Let u be ((-535)/(-30) - 1/x) + -3. Suppose -48 = -5*z - 2*a, 0 = -z - 4*a + u + 9. Solve b + z = -b for b.
-4
Let w = -16 - -18. Let y be (-2)/(-22)*2 + 19136/143. Let p = -132 + y. Solve -p*n + w = 12 for n.
-5
Suppose 4*u + 3*i + 12 = 48, 4*i + 64 = 4*u. Let q = -6 - -9. Let o(g) = g - 3. Let n be o(q). Solve -3*f = -n*f - u for f.
4
Let t be (1*(3 + -2))/(-6 + 5). Let y be 9/3 + t - 5. Let x be y/(-15) + (3 - 118/(-10)). Solve x = 3*m - 0*m for m.
5
Suppose 5*v = 4*t + 116, 5*v = -2*t - 106 + 198. Solve 189*b = 185*b - v for b.
-5
Let a(r) = -r**2 + r + 1. Let d(x) = -x**3 + 6*x**2 - 6*x - 7. Let w(q) = -4*a(q) - d(q). Let f be w(0). Solve 12 = f*p - 0*p for p.
4
Let y be ((-12)/15)/(63/65 - 1). Suppose -22*a - 8 = -y*a. Suppose 4 = a*g - 4*f, 0*f = -g + 4*f + 4. Solve 0 = i - 3 - g for i.
3
Suppose -3*f - 4 + 19 = -b, 6*f - 12 = -b. Solve 14 + 7 = -f*i for i.
-7
Let n = -3024 - -3041. Solve -6*f + 7 = -n for f.
4
Let k = -9381 + 9381. Let q(h) = -1 + 1 + 1 + 2*h. Let r be q(1). Solve v + r - 5 = k for v.
2
Let u = 1379 - 1371. Solve -3*c - u = 7 for c.
-5
Let g = 642 - 619. Suppose -q + 169 = 3*o, g*q = 4*o + 19*q - 220. Solve 0 = -60*i + o*i + 4 for i.
1
Let p(x) = 5*x**2 + 8*x + 5. Let n be p(0). Solve 25 = 10*z - n*z for z.
5
Let r be 15 - (-15)/75*745. Solve -49*z = 130 + r for z.
-6
Let z(m) = -20*m - 598. Let r be z(-31). Solve 2*c + 14 = r for c.
4
Suppose 87 = 8*k - 273. Let o = k - 41. Suppose o*i + 1 = 1. Solve r - 4 = -i for r.
4
Suppose 77*r + 326 - 82 = 199*r. Solve b = r*b for b.
0
Suppose 0 = 13*n - 26*n + 52. Suppose 0 = -11*a - n*a + 45. Solve a*c + 5 - 2 = 0 for c.
-1
Let f = -8649 + 8743. Solve 52*j = -10 - f for j.
-2
Suppose z = 3*z - 288. Let r = 83 - z. Let o = 61 + r. Solve 7*y - 3*y - 16 = o for y.
4
Let u be 15/(-5)*50*-3. Let p = -445 + u. Solve -p*z = 21 - 1 for z.
-4
Let a(g) = -5*g**2 - 44 + 46 - 2*g**3 + 2*g**2 + g**3 + 34*g - 12*g**2. Let t be a(-17). Solve 3 = t*z + 5 for z.
-1
Let l = -240 + 238. Let f be 115/10 - ((-1)/l - 1). Solve f*o = 17*o for o.
0
Suppose 2*h - 4 = 2*s - 0*h, -4*s - 2 = 2*h. Let f be (41 - 7)*s/(-2). Let q = f + -15. Solve -12 = -q*j - j for j.
4
Suppose 2*i = 10, 3*i = -5*j + 6*j + 176. Let l = j + 163. Solve -l*v - 7 = -3 for v.
-2
Let l(w) be the second derivative of -w**3/6 + 6*w**2 + 27*w - 3. Let s be (1/(1/(-20)))/(-2). Let t be l(s). Solve 3*b - 11 = -t for b.
3
Suppose -97*x + 85*x = -7296. Let q = 628 - x. Solve -6*i + 2*i - q = 0 for i.
-5
Let u(a) = -4*a - 15. Let k be u(-17). Suppose k = 2*b + 41. Solve 2 = 4*f + b for f.
-1
Let o be 0*1/2 + 2. Let k be ((-4)/(-24))/((-2)/(-24)). Suppose -5*v = t - 24, 5*v + t - k*t = 16. Solve 0 = -2*s + v*s + o for s.
-1
Suppose -3*h = 6*h + 1224. Let d = h - -139. Solve 2*y - d - 3 = 0 for y.
3
Let q be 9 - (-25 - -11 - -13)*(-3 + 3). Solve -q*x + 78 = 123 for x.
-5
Let f = 2010 - 1950. Solve 37*c + f = 22*c for c.
-4
Suppose -4*d = -16, -d = z - 57 - 40. Solve -13*f + z = 28 for f.
5
Suppose -9*i = 43*i - 57616. Solve -1072 = -9*l - i for l.
-4
Let b(w) = 429*w - 1704. Let f be b(4). Solve 4*u = f*u + 32 for u.
-4
Suppose -18*q - 196 = -556. Solve -7*k = q - 41 for k.
3
Suppose -18 = -11426*g + 11425*g. Solve 72 = -g*a + 90 for a.
1
Let x be 4 + -4 + 4 + 0. Suppose 1 = a, -x*g + 5*a + 9 + 2 = 0. Suppose g*j - 28 = 4*n - 4, -4*j - 4*n = 0. Solve -2*c - 5 = j for c.
-4
Let z be (8190/(-50))/((-9)/30). Let s = -543 + z. Solve s*q - 11 = -2 for q.
3
Suppose 5*j - 2 - 18 = 0. Suppose -v + 16 = j*z, z + 2*z + 2*v - 7 = 0. Suppose -p + 12 = p - 3*c, z*p + c = -4. Solve p = d - 2*d - 4 for d.
-4
Let w be (-6)/(-4*6/72). Suppose -w*h + 9*h = -36. Solve h*n - 6 = 2*n for n.
3
Let q be (((-10)/15)/2)/((-2)/30). Suppose -3*a - 6 + 0 = -3*w, -4*a = q*w - 55. Solve -4*j + w = 3 for j.
1
Let t = 38695 + -38619. Solve 55*y + t*y + 917 = 0 for y.
-7
Let j(n) = 5*n + 291. Let h be j(-10). Let c = -239 + h. Solve 4*z + c = 2 for z.
0
Let y be (-1)/(1/(-6)) - (5 + -1). Let b be (-2 - -4)*y*1. Solve 0 = 2*u - b + 2 for u.
1
Let y = 22013 + -21968. Solve y*a - 378 = -18*a for a.
6
Suppose -5623 = 26*t + 3477. Let y be 60/t*-28 + (-2)/(-10). Solve -13 + y = -4*l for l.
2
Let z be ((-1)/(-3))/(24/1584). Suppose 2*u = 3*p - 28, -z = 4*p + u - 74. Suppose 4*s + x - p = -0*x, 3*s + 2*x = 4. Solve s*y = 6*y for y.
0
Let c be (1 - -2 - 2) + -12. Let j(i) = 8*i + 12*i**2 + i**3 + 4*i - 7 - 3*i. Let t be j(c). Solve -l = 2*l + t for l.
-5
Let w(a) = -4*a - 48. Let j be w(-12). Let u be 5 + (-36)/10*(-100)/12. Solve h + 6*h + u = j for h.
-5
Suppose 0 = -5*n + 5*i - 4*i - 691, 0 = 3*n - 2*i + 416. Let v = n + 143. Solve 13*l = 18*l + v for l.
-1
Suppose 0*g + 35 = 3*g - 2*g. Solve 29*c = g*c + 12 for c.
-2
Suppose 0 = 29*v - 26*v - 198. Suppose -v*a - 15 = -71*a. Solve o + a*o - 4 = 0 for o.
1
Suppose 2*v + v - 18 = 0. Let l be (80 + -77)/((-3)/356). Let x be ((-2)/(-5))/(v + l/60). Solve -s - x = s for s.
-3
Suppose 5*p = -3*s + 78 - 58, 5*p = -s + 20. Solve p*y = 124 - 132 for y.
-2
Let o be (1/(-3))/(3*1/(-621)). Suppose o*r + 4*j = 72*r - 12, 0 = -2*j. Solve a = -0 + r for a.
4
Let d = -383 + 382. Let u be (d/(-4))/(31/124). Solve -h = -0 - u for h.
1
Suppose 3*p + 4*d = -p, p = 4*d. Let x be 22 - (3 - (1 - p)). Let g be 4/42 - 927/(-189). Solve g*c - 5 = x for c.
5
Let b = 124 - 120. Suppose 6*g - 9 = b*g + 5*s, 4*g + 5*s - 3 = 0. Solve -5*y = 3 + g for y.
-1
Suppose -162 = -5*j - f, 7*j + 5*f - 138 = 3*j. Let r = 34 - j. Suppose 2*a + 4*g + 14 = 0, 3*a + 25 = 8*a - r*g. Solve a*u + u = -4 for u.
-1
Let r be (-1 - 0)*(1155/(-165) + 67*-1). Solve 2*u - r*u = -576 for u.
8
Let k = 6676 - 6554. Solve -k = 45*z - 32 for z.
-2
Suppose 12*u - 9*u - 4*z - 191 = 0, 0 = 5*u - 3*z - 333. Solve 54*g - u*g = -105 for g.
7
Let o(x) = -x**3 - 4*x**2 - 17*x - 7. Suppose 7*r + 66 = -15*r. Let z be o(r). Solve -3 = -z*n + 38*n for n.
-1
Suppose -5801 = -20*d - 710 + 909. Solve -d*p - 60 = -285*p for p.
-4
Suppose -48*h + 6391 - 535 = 0. Let o = 287 + -165. Let z = h - o. Solve -5*s - 10 = -z*s for s.
-2
Suppose -6522 = -61*t - 910. Solve 134*l = t*l - 336 for l.
-8
Let m = -859 + 595. Let i = m - -265. Solve -5*v + i + 24 = 0 for v.
5
Suppose -j - 5*d - 27 = -5*j, 0 = j - d - 6. Suppose -j*m = -23*m + 120. Solve 3*q + 0 = -m for q.
-2
Let l(k) = k - 17. Let j be l(22). Suppose 0 = -j*a + 3*m + 7, 5*a + 0*a + m = 11. Suppose 2*b + a*p = 4, -b + 2*p + 2*p + 7 = 0. Solve -b*q + 4 - 1 = 0 for q.
1
Suppose 2*z - 1 + 5 = 4*g, -5*g = 5. Let p be (-9)/6*z/(-3)*-4. Solve l + p = -l for l.
-4
Let z be 7917/14*(-48)/(-72). Solve 16 = 373*s - z*s for s.
-4
Suppose -4*t = -4, 9*j - 64 = 7*j - 2*t. Let c(o) = o**2 - 29*o - 62. Let d be c(j). Solve 0*i + 7*i + 14 = d for i.
-2
Let a = 11 - 3. Let q be (-74 - 16954/(-245))*(-15)/9. Solve 0 = q*t - a - 8 for t.
2
Let x = -5232 - -5244. Solve -7 = -x*q - 31 for q.
-2
Let p be (2*(-57)/(-152))/((-1)/(-20)). Solve -17*t = -p*t + 10 for t.
-5
Let z(x) = -x + 2. Let p be z(6). Suppose 267 = 20*n - 53. Let a be p/(-10) + n/10. Solve 4 = 3*i - a for i.
2
Let c(o) = -o**3 - 3*o**2 + 70*o. Let f be c(7). Solve 77*x - 74*x - 18 = f for x.
6
Let k = 1464 - 1463. Solve q - 3 = -k for q.
2
Suppose 466*i + 60 = 471*i. Let c(k) = -8*k + 99. Let d be c(i). Solve 13 + d = -4*n for n.
-4
Let n = -179 - -215. Let s be (-4)/(-80)*5*n. Solve 9 = 9*v - s for v.
2
Suppose 4*w = -5*h + 174, 295*h - 293*h - 4 = 0. Solve -21 + w = -10*u for u.
-2
Let h = -46086 - -46095. Solve -h*w = -2*w - 21 for w.
3
Let j be (3 - 3)/(4 - 2). Solve j = -165*n + 17