p for t.
2
Let p(u) = 2*u**3 + 41*u**2 + 4*u - 33. Let i be p(-20). Solve 0 = 28*d - i + 63 for d.
8
Suppose 5*c - 1301 = -7*v, -7*v + c = -11*v + 736. Solve -2 = -37*a + v for a.
5
Suppose -15*w = -14*w - 8. Suppose -714 = 13*o - 47*o. Solve 0 = -w*l - o - 3 for l.
-3
Let p = -124 - -125. Let s be -4*-3*2/12 + p. Let o(n) = n**3 + 4*n**2 + 4. Let y be o(-3). Solve 0 = s*b - 4 + y for b.
-3
Let k(z) = 2*z**2 + 3*z - 1. Let j be k(-12). Let u = -244 + j. Solve -u*r + 27 = 6 for r.
3
Let r = 7335 + -7335. Solve -82*q + 63*q + 133 = r for q.
7
Let w(x) = x**2 + 34*x + 294. Let i be w(-15). Solve i*q + 12 - 12 = 0 for q.
0
Let p(l) be the second derivative of -l**3/3 + 4*l**2 - 17*l. Let q be p(0). Suppose 0 = -4*a + q*a. Solve a = -3*c - 0*c for c.
0
Suppose 0 = 5*n - 421 - 219. Suppose -22*q = -24*q - n. Let l = -63 - q. Solve f = -2 - l for f.
-3
Let t = -349 - -354. Suppose -t*j - 18 + 73 = 0. Solve -h - j = -7 for h.
-4
Let w(z) = 136*z + 75. Let g be w(0). Solve -2*j - 67 = -g for j.
4
Let q(r) be the second derivative of -r**5/20 - 11*r**4/12 - 11*r**3/6 - 7*r**2/2 + 5*r. Let a be q(-10). Suppose -a*m - 2*m = -70. Solve m + 2 = 4*g for g.
4
Let u = 414 + -411. Suppose -2*t - 28 = -7*t - 3*g, u*t - 16 = -g. Solve -t*i + 9 = -6 for i.
3
Let t = -153 - -152. Let s(y) = -13*y**3 + 3*y + 2. Let d be s(t). Suppose -2*b + 2*q = b - 4, -28 = -2*b - 5*q. Solve -b = 4*j - d for j.
2
Let j(t) = -285*t - 1648. Let s be j(-6). Solve -5*i - 57 = -s*i for i.
1
Let w(a) = 2*a**2 - 198*a - 1703. Let s be w(-8). Solve 0 = 3*g - s + 12 for g.
-1
Let h(f) = f**3 + f**2 - 3*f + 3. Let p be h(1). Suppose 2*b = p*o - 0 - 22, -3*b - 45 = -5*o. Solve -o*z = -1 - 23 for z.
4
Let o(u) = u - 1. Let h = -8 + 11. Let p be h/(-2)*8/(-3). Let d be o(p). Solve 0*c + d*c = 9 for c.
3
Suppose -39*c + 585 = -0. Solve 15 + 15 = c*j for j.
2
Suppose -2*u - 56 = 38*u - 1256. Solve 24*c + 6*c + u = 0 for c.
-1
Let q = -11124 + 11180. Solve q = 29*w - w for w.
2
Let g(o) = 73*o**2 + 138*o + 3. Let u be g(-2). Solve 32*x - u*x = -13 for x.
-1
Let h(j) = j**3 + 6*j**2 - 2*j - 8. Let o be h(-6). Suppose -2*z + 11 = -o*l - 3, 0 = z + 1. Let t be (0 - l/(-4))/(-1). Solve -t - 2 = -y for y.
3
Let h(z) be the first derivative of -z**2 + 98*z - 51. Let u be h(49). Solve u = -2*k + 10 for k.
5
Suppose 2*a - 3 = -5*s + 8, a + 3*s = 5. Suppose 0 = 4*w - 0 - a. Suppose -11*g = 8*g - 38. Solve g*t - 4*t = -w for t.
1
Suppose -130 = -2*v - 3*b, 2*v - 375 = -3*v + 5*b. Let r = 80 - v. Suppose 4 - 4 = r*q. Solve -k + 6*k = q for k.
0
Let d be 2*(-2)/(-20) + 136/(-5). Let t be ((-18)/8)/(d/36). Suppose 0 = -5*y + u + 28, 2 = -5*y + t*u + 36. Solve 0*p - y = p for p.
-5
Suppose -50 - 50 = 11*j - 122. Let b be 2/7 - 52/(-14). Solve j*f - b = f for f.
4
Let y = -30906 + 30912. Suppose -5*v = -2*v - 6. Suppose 2*g + 3*p + 0*p - 14 = 0, -g + 3*p = v. Solve -x + g*x = -y for x.
-2
Let q = -697 + 1422. Let l = q - 703. Solve -5*i - l + 2 = 0 for i.
-4
Let j(g) be the first derivative of 3*g**2/2 + 113*g + 34. Let y be j(-37). Solve y*r = 6*r + 4 for r.
-1
Let a be (-10 - (-11 + 4))/(-1). Let g = 0 + 2. Suppose -a*s = 3*i - 0*i - 3, 0 = -g*s + 3*i + 12. Solve -6*q - 12 = -s*q for q.
-4
Let j(i) = -6*i**3 - i**2 + i + 1. Let q be j(-1). Let a(n) = 2*n + 27. Let k be a(-12). Suppose 5*m + 30 = k*t + 7, 0 = t - 2*m - 7. Solve -4*h + t = -q for h.
4
Suppose -72*q - 16 = -76*q. Solve -9 = -q*m - 17 for m.
-2
Let f(r) = r + 38. Let l be f(-16). Let i(c) = -c**3 - 7*c**2 + 22*c + 46. Let j(u) = u + 15. Let h be j(-24). Let z be i(h). Solve 3*w - l = -z for w.
4
Let o(z) = z**2 - z - 2. Let n be o(2). Suppose -53 = -3*m - 35. Suppose n*c = -m*c. Solve c = p + p - 4 for p.
2
Suppose -522 = 24*t - 198*t. Solve 275 = t*s + 290 for s.
-5
Suppose -3233 = -61*u + 488. Solve 47*t - 14 = u*t for t.
-1
Let r = -1472 + 1547. Solve 28*l + r = 327 for l.
9
Suppose 27 - 19 = 2*v, -r - 2*v + 26 = 0. Solve -46*i - r*i = 448 for i.
-7
Let q(t) = t**3 + 7*t**2 + 9*t + 2. Suppose 30 = -0*i - 15*i. Let n be q(i). Solve l = -n*l for l.
0
Let s be (5 - 45/10)/1*2. Let y(q) = q**2 - 2*q + 3. Let x be y(s). Solve x*r - 7 = -1 for r.
3
Suppose -3*q = 3*g - 30, 0 = 5*q + 42*g - 47*g + 10. Let b = 11 + -7. Suppose 4*p + 2 = -2*x, -2*p + 0*x - b*x - 4 = 0. Solve p = 3*h - q*h + 3 for h.
3
Suppose -g + 3*w + 2*w + 172 = 0, 3*w = -4*g + 619. Suppose 149*m - g*m = -72. Solve 2*r + m = -1 for r.
-5
Let r(z) be the first derivative of z**4/4 - z**3 - 17*z**2/2 + 20*z + 71. Let s be r(6). Solve s*c = 23*c + 9 for c.
3
Let r = -26263 - -26565. Solve 0 = 31*a + r - 209 for a.
-3
Suppose -8 = 22*y - 24*y, -75 = 5*u + 5*y. Let x(l) = -5*l - 91. Let a be x(u). Solve -3*h - 10 = -a for h.
-2
Let t(p) = p**3 - 10*p**2 + 21*p - 34. Let n be t(9). Solve k = 77 - n for k.
3
Suppose 565 = -39*t + 5245. Solve -96 = 6*u - t for u.
4
Suppose 1075 = -5*c + 2*c - g, -4*c = -2*g + 1420. Let i = c - -366. Solve 4*j = j - i for j.
-3
Let j be (9 + -15 - -4)*(-138)/4. Solve -j = -14*v - 111 for v.
-3
Let b(k) = 126*k**3 + k**2 + k - 1. Let i be b(-1). Let d = -126 - i. Solve -2*f + d = -f for f.
1
Suppose 0 = 13*t - 6*t - 14. Suppose -5*x = -x - m - 58, 4 = t*m. Solve -5*u = -8*u + x for u.
5
Let z be (1 - 0)/(7/63). Suppose 11*f - z*f = 3*i, -3*f + 3*i = 0. Solve f = -5*q + 8 + 7 for q.
3
Suppose 202*q - 4158 = 193*q. Solve -456*a - 6 = -q*a for a.
1
Let f be (732/549)/(2/4 - (-447)/(-918)). Solve -75*a - f = -27 for a.
-1
Suppose 109*y + 30*y - 1351 = -54*y. Solve 50 = y*v + 36 for v.
2
Suppose 2*s + 3*i - 45 = 0, 5*s - 41 = -2*i + 66. Solve s*f = -2*f for f.
0
Suppose m - 358 = -5*f, f - m - 41 = 33. Solve -54 = -21*l + f for l.
6
Let l(n) = -1. Let y(d) = d**2 + 4*d - 6. Let p(f) = 3*l(f) + y(f). Let v be (75/(-10) + 8)*-12. Let t be p(v). Solve 2 - 5 = -t*m for m.
1
Suppose -5*o - 810 = -5*c, -44*o = 4*c - 42*o - 666. Solve 129 - c = -9*j for j.
4
Let y = -22 + 25. Let g be 1*(y - -14 - (4 + 0)). Solve g = -4*p + 1 for p.
-3
Suppose -3*u + 51 + 4 = q, 0 = -u + 4*q + 1. Let c(w) = w**3 - 17*w**2 - 2*w**3 + 11 - w + 6 + 2*w**3. Let b be c(u). Solve h + 3*h = b for h.
0
Suppose 0 = 5*g - 2*t + 2, 5*g - 4*t = 10*g - 4. Suppose 3*l + 171 = -g*l. Let w = -57 - l. Solve -j + 3 = -w for j.
3
Suppose -170 - 58 = -19*n. Let d(c) = -3*c**2 + 37*c - 6. Let q be d(n). Solve -4*b - 2*b = -q for b.
1
Let f(g) = -10*g**3 - 9*g**2 - 30*g - 59. Let u be f(-2). Solve u - 33 = -4*z for z.
-3
Let v = 561 - 87. Let t = v - 471. Solve -t*a = -0*a + 3 for a.
-1
Let h(p) = 7*p - 4. Let l be h(1). Suppose -2*z - 20 = -l*b, -4*b - 27*z + 22*z - 4 = 0. Solve b*r - 4 = -0 for r.
1
Let q = 5308 - 5258. Solve 2*f + 34 = q for f.
8
Let j(s) = s**2 + s + 46. Let l be j(0). Let o = 51 - l. Suppose 7 = c + o. Solve 0*k = -c*k - 8 for k.
-4
Let c(u) = 54*u - 409. Let j be c(8). Solve -j = -10*z + 7 for z.
3
Let d be 3/(-2) + 42/12. Let m be (1 - d)*-3*13 - -2. Let c = -37 + m. Solve 0 = r - c*r + 15 for r.
5
Let n = -224 + 214. Let r be -4 + (-5)/n*20. Solve 3*o = 5*o - r for o.
3
Let g = 591 - 536. Suppose 61*n = g*n + 18. Suppose -4*c - 2*v + 54 = 0, -c + 0*c + 17 = 4*v. Solve 2*a + n = c for a.
5
Suppose -4*s = 2*o - 304, -2*o = s - 4*o - 71. Let n = s - 74. Solve 6*a - 17 = n for a.
3
Let h = 147 + -140. Let g = 18 - -2. Let q be 34/9 + g/90. Solve -h*u = -q*u - 9 for u.
3
Suppose 4*p - n = 333, -5*n + 67 = p - 11. Solve p*t - 62*t = -84 for t.
-4
Suppose 83*u - 67*u - 288 = 0. Solve 27*g + 36 = -u for g.
-2
Suppose 0*q + 2*p = -3*q + 149, 2*q - 4*p = 126. Let j = q + -43. Suppose 15 = 4*n - 5*h, 4*n = n + 5*h + j. Solve -n + 0 = -5*m for m.
1
Let l(a) be the third derivative of a**5/60 + a**4/12 + a**3/2 - 3*a**2. Let q be l(-2). Let j be (-48)/(-32)*16/12. Solve q = d - j for d.
5
Let z(a) be the second derivative of 5*a**4/6 + a**3/6 + a**2/2 + a. Let d be z(2). Suppose 123 = 10*t + d. Solve 0 = -5*g - 7 - t for g.
-3
Let o = 269 + -267. Suppose 5*p - 4*s = -61, 23 = -2*p - 2*s + 5*s. Let j = p - -13. Solve j = -r + o + 2 for r.
4
Let o be (-4)/(-2)*(18 - 1401/(-2)). Solve 1439 = -d + o for d.
-2
Let f(z) = -z**2 - 4*z + 3. Let y be f(-4). Suppose -2 = -5*x + y*x. Suppose -275*c = 144*c + 208*c - 3135. Solve x = c*t + 11 for t.
-2
Suppose 11*k + 17 = -12*k + 638. Solve 25*p - k*p = 1