b for b.
4
Suppose -5*z + 65 = -5*c, -72 = 2*z - 5*c - 62. Let l = -17 - -40. Solve 0 = -l*j + z*j + 6 for j.
-3
Let b(y) = 8*y**2 + 567*y - 40. Let g be b(-71). Solve 0 = -6*u - 13 + g for u.
3
Let a(t) = 104*t - 307. Let g be a(3). Solve 0 = -g*i + 1 + 14 for i.
3
Suppose -a - 101 = -2*b, -258 = -16*b + 11*b - 3*a. Solve -b = -29*i - 22*i for i.
1
Suppose 4*b - 2*r - 100 = 0, 2*r - 333 + 323 = -b. Solve b*j - 7 = 15*j for j.
1
Suppose -12 = -2*b + 4*m, -3*b - 5*m = -5*b + 4. Solve 0 = -21*d + b*d - 1 for d.
1
Let b(z) = 18*z + 24. Let o be b(-6). Let f = -46 - o. Let i = f - 32. Solve k - i = 3*k for k.
-3
Suppose 0 = -89*z + 88*z. Solve 9*k + 7 + 2 = z for k.
-1
Let n(r) = 2*r**3 - 33*r**2 + 17*r - 9. Let c be n(16). Solve -c*a - 6 - 36 = 0 for a.
-6
Let c be -1 - 4 - (18/2 + -50). Solve 66 = -c*r + 47*r for r.
6
Suppose -15*a = 6*a. Suppose a = -4*i - 19*i + 138. Solve -8*l = -i*l - 4 for l.
2
Suppose -66720 = -43*n - 96*n. Solve -18*g = 372 - n for g.
6
Let z = -3 - -29. Let l(p) = -2*p + 57. Let m be l(z). Solve 9 + 16 = -m*u for u.
-5
Suppose -5*w = -5*b + 2010, 5*b - 561 = 2*w + 243. Let g be ((-2)/(-17) - w/51) + -3. Solve g = t + 4*t for t.
1
Let x be (12 + 29)/((-1)/(-3)). Let b = -103 + x. Solve 2*c + 18 = b for c.
1
Let j = -7 - -5. Let p be (1 - 4) + 16 + j. Let x(y) = -y**2 - 2*y + 198. Let o be x(-15). Solve p - o = 4*c for c.
2
Suppose 0*x - 5*x = 0. Let y be (2 - 410/(-15))*(-6)/(-2). Suppose 0 = 10*f + f - y. Solve x = 5*l + f + 7 for l.
-3
Suppose -66*h + 68*h + 52 = 3*v, h = 5*v - 89. Solve 1238*g - 1235*g = -v for g.
-6
Let i(c) = 19*c - 2. Let s be i(-2). Let o = s - -49. Let g = -4 + o. Solve -4*l = l - g for l.
1
Let r = -25 + 29. Suppose -2*s + r*v = -52, 6*s + 2*v - 70 = s. Suppose 8*c - s = 4*c. Solve 4*x - 2*x = -c for x.
-2
Let y be (-88)/396 + ((-43)/9 - -1). Let u be 126/54 - y/(-12). Solve 0 = -u*s + 8 for s.
4
Let g = -176 - -304. Suppose -5*u = -13*u + g. Solve 2*n + u = -2*n for n.
-4
Let q(t) = -t**3 - t**2 - 2*t + 2. Suppose 11*l - 8*l = -9. Let k be l/(3 + 0) + (-1 - -2). Let i be q(k). Solve -i*u - 2*u = 4 for u.
-1
Suppose 217*w - 12168 = 4541. Solve 5*h = w - 72 for h.
1
Suppose 6*j - j = -120. Let c = -26 - j. Let q be 1*c - (-35)/7. Solve q*s = -8 - 1 for s.
-3
Suppose -w - 89 - 59 = 2*m, -4*w = 0. Let n = m + 98. Suppose 5*u + 2*g = 9, 2*u - 4*g = -2*u + n. Solve -u = -d - 8 for d.
-5
Let q be (-2)/6 - (-39)/9. Suppose -22*y + 552 = y. Let m be 15/(-2)*25/((-375)/y). Solve -u + q*u = -m for u.
-4
Let x(p) = 2*p - 1. Let r(i) = 5*i - 1. Let h(a) = -4*r(a) + 7*x(a). Let l be h(-1). Let j be 2 + 1 + -1 - (-4 + l). Solve -3*t - j = -0*t for t.
-1
Suppose 94*s - 179*s = 929 - 6879. Solve 166 = -s*f - 114 for f.
-4
Let y(u) = -u + 1. Let i be y(1). Let m = -2414 - -2429. Let t = 24 - 21. Solve i*h + m = t*h for h.
5
Suppose -944 = -9*g + 361. Solve -138*p + 7 = -g*p for p.
-1
Suppose 39*z - 36 = 35*z. Suppose 3*w - 5*y = -11, -3*w = 4*y + z - 34. Solve 5*l = w*l for l.
0
Let c(s) = s**2 + 4*s + 12. Let b be c(-4). Suppose -5*n - b = -17. Let r(j) = -j**2 + 1. Let w be r(n). Solve 0*t - t + 3 = w for t.
3
Suppose -4*h = -7*h, 3*h = -8*l + 240. Solve -l*c = -8*c + 66 for c.
-3
Suppose -4*y - 1465 = -3*v, 4*v - y - 1960 = 3*y. Solve 491*m - 8 = v*m for m.
-2
Let y be -1 + 4 + (0 - 1). Let p(c) be the first derivative of c**3/3 + c**2/2 - 306. Let g be p(y). Solve -3 - g = -3*h for h.
3
Let s = 9694 + -9037. Solve -25*c - 48*c = s for c.
-9
Let s(w) = w**3 + w. Let b be s(0). Let v be (39/78)/(10/(-16)) - 87/(-15). Solve 0 = v*q - b*q for q.
0
Suppose -36 = 5*q - 441. Let a = q - 41. Let f = a - 37. Solve 2*h = -f*h for h.
0
Let y = 47 + -45. Suppose y*o = 2*f + 6, -4*o + 4 + 20 = 2*f. Suppose 4*v = -v. Solve -8 = f*t - v*t for t.
-4
Suppose -22*k + 24*k = -5*i + 33, 3*i = -2*k + 27. Solve -18*p = k*p - 27 for p.
1
Let o be ((-4)/(-8))/(10/260) - 4. Suppose -3*v + 9 + 36 = 4*p, 2*v - 10 = 4*p. Solve -5*u + o = -v for u.
4
Let d = 4150 + -4148. Solve -17*p + d*p = 105 for p.
-7
Let q be 1/((-17)/(482460/(-5736)) - (-2)/(-10)). Solve q - 148 = -65*a for a.
-5
Suppose 5*p + 60 = k, -p - 5*k - 19 = -7. Let c(t) = 3*t**2 + 36*t + 4. Let q be c(p). Solve q*v - 11 = 1 for v.
3
Suppose -h - 7*h = -0*h. Suppose -5*y = -2*o + 21, h = 3*y + y + 4. Suppose 0 = -4*m - 8 + o. Solve m = -5*n - 5 + 10 for n.
1
Let u = 24001 - 23947. Solve 52*f = u*f for f.
0
Suppose -39*q + 21 = -111 + 15. Solve -q*u = -5*u - 2 for u.
-1
Let z(q) = -2*q**2 + 12 - q**3 + 7*q**2 - 6*q**2. Let l be z(0). Let c(f) = -f**2 + 10*f + 27. Let w be c(l). Solve -w = -8*s + 5*s for s.
1
Suppose -4*k = 4*f - 28, -f - 4*f + 32 = 4*k. Suppose 5*z + 2*p - 17 = 4*p, f*p + 4 = 4*z. Let d = -3 + z. Solve -7*m = -d*m for m.
0
Suppose 0 = 7*k - 52 - 168 - 74. Solve -k*t = 123 - 333 for t.
5
Suppose 0 = 3*t + 5*i - 2*i - 6, 5*i + 2 = t. Suppose 6*c = 3*u + 3*c - 18, 0 = -t*u + 4*c + 22. Suppose -x = -7 + 6. Solve u = -n - x for n.
-2
Let d = 596 - 420. Let x = d - 171. Solve -x*l + 35 - 10 = 0 for l.
5
Let b = -43 - -51. Let k = b + -12. Let l be (-18)/k + -1*5/(-10). Solve -16 = -l*o + o for o.
4
Suppose q = 2*o + 113, -4*q - 2*o + 344 + 88 = 0. Solve -111*c = -q*c + 8 for c.
-4
Suppose 3*n + 218 = 2*u, 62*u - 562 = 57*u - n. Solve -130 = 18*t - u for t.
-1
Let c(p) = p**3 + 20*p**2 - 38*p + 151. Let i be c(-22). Let w be ((-1)/2)/(1/(-46)). Suppose i*s + 8 = w*s. Solve 0 = t - s + 4 for t.
-2
Suppose 1750*t - 1782*t + 38336 = 0. Solve 0 = 1192*x - t*x for x.
0
Suppose 56*d - 744 - 2914 = -690. Solve -d*k + 0*k + 424 = 0 for k.
8
Let b be (59 + 3)/2 - 0. Suppose 0 = -3*h + 3*c - 66, -8 = c + c. Let s = h + b. Solve -5*l + 4*l = -s for l.
5
Let p(g) = 556*g**2 + 14*g - 1. Let x be p(-1). Let n = -539 + x. Solve 0 = n*d + 1 + 5 for d.
-3
Let x(l) = -l**2 - 5*l + 14. Let h be 2/(4/(-10))*(-5 + 4). Suppose -3*j + 0*n = -2*n + 11, 0 = -h*j + 5*n - 10. Let y be x(j). Solve -3*w = -y*w for w.
0
Let q(j) = -j**3 - 13*j**2 - 13*j - 4. Let i be q(-9). Let o = -205 - i. Solve -m - o*m = -4*m for m.
0
Let k be ((-987)/(-14) - -6)*(-8)/(-18). Solve -38 = 18*o + k for o.
-4
Let c(p) = -7*p**2 + 13*p + 37. Let j(r) = 39*r**2 - 64*r - 185. Let w(k) = -11*c(k) - 2*j(k). Let t be w(-11). Solve -2*b + 20 = -t*b for b.
-4
Let l(w) = -4*w + 20. Let y be l(-9). Suppose 2*u = 2*s + 28, 0 = -u - 3*u + 5*s + y. Suppose -u*t = -13*t. Solve -2*x + 4 = -t for x.
2
Suppose 8*g - 6*g + 0*g - 4 = 0. Solve g*t - 10 = -8*t for t.
1
Suppose 0 = t - 4*n + 1, 11*n - 8*n = 2*t - 3. Solve 0 = -d - 7*d + t*d for d.
0
Suppose -4*p - 3*o + 49 = 0, 5*o + 17 = p - 1. Suppose -12*g - 8 = -p*g. Solve -5*f = g - 23 for f.
3
Suppose -101*u + 1246 = -370. Solve 13*p + 29 = u for p.
-1
Suppose -3*c + 3*w + 2*w = 114, 0 = 5*c - 5*w + 180. Let l be 3 + 0 + 1 + c. Let t = l - -30. Solve -2*h + t + 1 = 0 for h.
1
Suppose 0*q + 30 = 3*q. Let p(k) = -k**3 + 7. Let x be p(0). Suppose l - 3*u - x - 3 = 0, 3*l + 3*u - 30 = 0. Solve 4*b + l = -q for b.
-5
Let c = 7472 - 7455. Solve -c*o - 19*o = 144 for o.
-4
Let n(q) = -q**2 + 62. Let o be n(0). Suppose -3*r = -o + 215. Let w = r - -60. Solve w = -4*a + a for a.
-3
Suppose 5*t = -2*i + 242 - 94, 0 = -i + 3*t + 52. Solve 13*z + 116 = i for z.
-4
Let i be -2*(-2)/(-8) - ((-170)/20)/17. Solve i = -144*p + 132*p + 36 for p.
3
Let f(t) = 16*t - 40. Let q be f(3). Suppose 5*j = 2*m + 18, -21 = 3*m - 4*j - q. Solve -m - 2 = l for l.
-3
Let d = -9193 - -9576. Solve -163 - d = 91*p for p.
-6
Let p(l) = l**3 - 19*l**2 + 3*l - 22. Let h be 5 + -5 + (16 - -3). Let t be p(h). Suppose 0 = 4*i + t - 35. Solve -5*c + 13 - 3 = i for c.
2
Let j(k) = -2*k**3 + 43*k**2 + 69*k + 35. Let t be j(23). Solve 441*p - t = 448*p for p.
-5
Suppose 109*s - 5024 = 33*s - 81*s. Solve -28*d + 52 + s = 0 for d.
3
Suppose 2*c = 4*c, 5 = w + c. Suppose -w*g - 21 = -56. Solve 5*y - 22 + g = 0 for y.
3
Let h be ((-222)/(-21) - 10)*7. Suppose -2*r = -5*s + 50, -3*s + 8*s - 50 = -3*r. Let m = -3 - -5. Solve m*w = h*w - s for w.
5
Let a be (-168)/10*(-485)/194. Solve -6*i - 78 = -a for i.
-6
Let k(z) be the second derivative of 0 - 1/3*z**3 - 14*z + 9/2*z**2. Let w be k(3). Solve 0*x + w*x + 9 = 0 for x.
-3
Let v = -47 - 10. Let l = 61 + v. Solve 3*k - 1 = l*k for k.
-1
Suppose 0 = 5*i + 3*t - 137, 13 =