t for p.
1
Let h = 17 + 3. Let x be (-66)/(-5)*(-20)/(-6). Suppose 0*f - 5*k = -2*f - 8, -x = -4*f - 5*k. Solve h = -f*m + m for m.
-4
Suppose 0 = -4*r + 15 + 1. Let h be 3 - 9/3 - 0/(-3). Let k be (5 - 0) + -1 + 2. Solve -r*l + k + 6 = h for l.
3
Let d(a) be the third derivative of -a**5/60 + a**4/24 + 5*a**3/3 - 6*a**2. Let l be d(0). Let m be (-10)/(-2)*(-8)/(-10). Solve 22 = m*w + l for w.
3
Let k = 31 - 24. Suppose k*f - 2*f = -2*v + 15, -f - 24 = -5*v. Let g(p) = -p + 2. Let q be g(0). Solve 0 = -d + f - q for d.
-1
Suppose 3*g - 79 = -g + 5*d, 4*g = 2*d + 70. Let m = -12 + g. Let q = -1 + m. Solve 0 = q*t + 5 + 1 for t.
-2
Let b(k) = -12*k - 148. Let f be b(-16). Solve 4*d - 40 = -f for d.
-1
Let v = 7 - 1. Suppose -v = -7*m + 4*m. Suppose 3*n + d = 4, n + 6 = 2*n - m*d. Solve -3*z = -n*z for z.
0
Let o(z) = 22*z + 198. Let v be o(-9). Solve v = 2*f + 6*f + 24 for f.
-3
Let m = -557 - -567. Let i be (10/(-4))/(4/(-8)). Solve -i*q - m = -0*q for q.
-2
Suppose 0 = 53*a - 48*a - 25. Solve -8 + 18 = a*o for o.
2
Let c(v) = 8*v**2 + 11*v - 19. Let q be c(2). Solve 12*y + 25 + q = 0 for y.
-5
Let g = 106 + -91. Solve -o = -6*o + g for o.
3
Let r = 3 + 28. Suppose -r = -3*t + v, 2*t + 3*v = 5*t - 27. Suppose -2*m + 5 + t = 0. Solve u = -u - m for u.
-4
Suppose -p = 2, -q + p + 7 + 1 = 0. Suppose 0 = b - q*b. Suppose b = 3*a - 5*a. Solve x + a = 3 for x.
3
Suppose 5*a = 19*w - 16*w - 8, -4*a = 4*w. Solve 0 = -6*p + w + 5 for p.
1
Let d be (0/(-1))/((-16)/8). Solve -6*t = -0*t - d*t for t.
0
Let i be (0/(-14))/((-2)/2). Solve -5*u + 3 + 22 = i for u.
5
Suppose 8*z - 6*z = d - 38, -3*d + 82 = 2*z. Solve 27*q = d*q for q.
0
Let l(v) = -v - 3. Let r be l(14). Let t(w) = -w - 15. Let j be t(r). Solve -2*i = j*i for i.
0
Let y be 3/11 + (-722)/(-418). Solve -5*g = y*g + g for g.
0
Suppose -2*h = -8*v + 12*v, 3*v = 5*h. Solve v = 8*x - 9 - 7 for x.
2
Suppose 2*f + 4*h = -82 + 98, 5*h - 30 = -5*f. Let x(j) = j**3 + 2*j**2 - 2*j - 3. Let b be x(-2). Solve f = -d + b for d.
-3
Let u be (-1)/(-3 + 4) + (-20)/(-1). Let d = 51 + -36. Let x = u - d. Solve 3*w - x = 5*w for w.
-2
Let s = -739 + 785. Solve -5*n = s - 51 for n.
1
Let o = 711 - 695. Solve -3*h + 4 = o for h.
-4
Let w(a) = a**2 + 7*a - 13. Let f = -33 + 24. Let v be w(f). Suppose -2*l + 5*l = 0. Solve l = v*o - 6 + 26 for o.
-4
Let b(s) = 5*s**2 - 17*s + 12. Let w be b(3). Solve 14*m - 11*m = -w for m.
-2
Let o = -735 + 758. Solve -15*k - o = -23 for k.
0
Let i = -1 + 1. Suppose 2*r - 37 + 11 = i. Let t(q) = 3*q**2 - 16*q - 8. Let v be t(6). Solve -5 + r = -v*f for f.
-2
Suppose -7*w + 0*w = 0. Solve g - 2 + w = 0 for g.
2
Suppose -2*b = -4*t + 96, 3*b - 4 = 2*b. Let a = t - 11. Let k = 5 + -1. Solve -a = -y + k*y for y.
-5
Suppose 6*m - 9 - 3 = 0. Let w = 77 - 74. Solve -m*r = r + w for r.
-1
Let j be (0 + 0)/(-3 - -2). Suppose j = -0*h - 2*h. Suppose h = -5*g + 9*g - 36. Solve 4*i = 7*i + g for i.
-3
Let j be (-84)/(-168)*0/(-1). Solve s + 5 - 1 = j for s.
-4
Let r(z) = -z**2 - 7*z - 4. Let x be r(-6). Suppose 0 = 4*g - g - 15. Suppose -5*s + 31 = j, -5*s + 3*j + 44 = -3. Solve x = -g*n + s for n.
1
Suppose -4*c + 0*c - 8 = 0. Let m be 2 - (c + -1 + 2). Suppose -a + 4*n = 6, -24 = -3*a + a - n. Solve 0 = m*k - 5*k - a for k.
-5
Let o be 48/(-18)*(-6)/4. Let l be (2/o)/(5/10). Solve -3*x - 14 = l for x.
-5
Let j(m) = m**2 - 13*m - 10. Let t be j(14). Let z be (-4)/22 - 26/(-22). Let w = z - 1. Solve t = -4*u - w for u.
-1
Let h be (-2)/(-7) + 552/(-21). Let p = h + 30. Solve -2*s + p = -3*s for s.
-4
Let t(b) be the second derivative of b**3/3 - 3*b**2 + b. Let c be t(4). Let z be (-5080)/1905 + 3*(-14)/(-9). Solve z*m - 4 = -c for m.
1
Let w = -5 + 1. Let p = w - -4. Suppose p*a = -3*a. Solve a = n - 3 - 0 for n.
3
Let r be 1 + 9/(-3) + 6. Suppose 19 = r*y - 21. Let w(p) = p - 1. Let g be w(y). Solve -o - 2*o = g for o.
-3
Let t = -2 + 4. Suppose -l + 5*n + 21 = 10*n, 2*n = 5*l - 51. Solve -t*p + l = 1 for p.
5
Suppose 21*j - 40 = j. Solve x - j = -0*x for x.
2
Let d = -397 + 412. Solve -5*k = -d + 35 for k.
-4
Let k = -10 - -13. Suppose -4 = b + 3*g, -2*g + k*g = -b. Let o be (2/(-6))/(b/(-18)). Solve o*x + 10 = -2*x for x.
-2
Suppose 26*q = 25*q. Solve -2*g - 2*g + 4 = q for g.
1
Let r(h) = -h**3 + 8*h**2 - 6*h - 7. Let o be (3 - 4)*-3 + 4. Let u be r(o). Solve 0*q - 4*q - 20 = u for q.
-5
Suppose 0 = 7*n - 185 + 535. Let o = -45 - n. Solve 8 = -o*q + 7*q for q.
4
Suppose 2*c - 3 = 17. Solve c*j = 7*j for j.
0
Let c(q) = -q + 10. Let w be c(5). Suppose 40 = 3*s - w*s. Let z be -1*(s/4 + 2). Solve b + z*b = -4 for b.
-1
Suppose -3*h = -4*h + 6. Let w be 4/(-12) + 20/h. Suppose 0*n - w*n = 0. Solve n = 4*f - 33 + 13 for f.
5
Let w(g) = 89*g**2 - 2*g**3 - 7*g - 54*g**2 - 11*g + 21. Let a be w(17). Solve c = 5*c - a for c.
1
Let f be (1 + 0 - 1) + 2. Suppose 5*l = -4*d + 27, 0 = -f*l + d - 6*d + 21. Suppose -5*q + l*p + 20 + 11 = 0, 52 = 5*q + 4*p. Solve b + 3*b = -q for b.
-2
Suppose 0 = -19*j + 1170 + 464. Solve j = -11*v + 31 for v.
-5
Let d = -5 - -20. Let c be 10*6/d*1. Solve c*n - 2*n = 0 for n.
0
Let n(k) = 2*k**2 - 31*k + 19. Let c be n(15). Suppose -14 = -a + 4*l, c*l - l = -5*a + 1. Solve -a*o + 1 = -3*o for o.
-1
Suppose 0 = -7*g + 42 + 70. Solve -2*a = -6*a - g for a.
-4
Let r be 1 - (-27)/6*32/72. Solve 3*a = 4*a - r*a for a.
0
Let x = -17 + 20. Suppose -x*c = -4*y + 10, -10*c + 8 = -6*c. Solve -y + 0 = 4*t for t.
-1
Suppose 24*a = 25*a - 4. Solve 12 = -4*n - a for n.
-4
Let j be (2 + -1)*(-1 + -2). Let s be -1*4/(-2)*(-30)/(-12). Let q = s - j. Solve 5*w - 3 = -q for w.
-1
Suppose -47*q - 60*q + 321 = 0. Solve -9 = -q*i - 15 for i.
-2
Let a = -25 - -31. Let c = 15 - a. Solve 4*z + c = -3 for z.
-3
Suppose 0 = 4*z + 140 - 20. Let h = z - -51. Suppose 3 = 5*k - 2. Solve -4*b = -h + k for b.
5
Suppose -9*r + 3 = -87. Solve -2 = 4*h + r for h.
-3
Let q(b) = -13*b - 1. Let d be q(-1). Let r = 16 - d. Solve r + 4 = -4*a for a.
-2
Let b = 75 + -67. Suppose 11 = b*l + 3. Solve l = t - 0 for t.
1
Suppose -4*y + 28 = -4*r, -4*r + 4 = -5*y + 38. Suppose -3*g = -y*g. Let a be g/(4/(-1) - -5). Solve a*w + 2 = w for w.
2
Let h be (4 - 11)*-1 - 1/1. Suppose l = -2*l + 9. Solve -h = -l*j - 0 for j.
2
Let z = -13 - -12. Let x be 5/10 - z/2. Suppose x + 3 = y. Solve y*b + 9 - 1 = 0 for b.
-2
Let k(v) = v + 6. Let i be k(-4). Suppose -o + 2*n = -0*n + 6, i*o - n = 3. Solve 2*c = 4*c - o for c.
2
Suppose 3*c + 3 = 0, 84*u - 79*u - 2*c - 12 = 0. Let k(g) = g**2 + 6*g + 2. Let i be k(-6). Let h be (0*u/(-10))/i. Solve h = 6*a - 2*a + 8 for a.
-2
Suppose 5 = 5*b - 20. Suppose -o - 3 + b = 0. Solve p + 5 = o*p for p.
5
Let i be -2 - 44/(-8)*6. Suppose -i = -2*q - 9. Suppose 2*h - 1 - 9 = 0. Solve q = h*u - 4 for u.
3
Let m = -900 + 905. Solve m*b - 3*b - 6 = 0 for b.
3
Let v(m) = -2 - m + 8 + 9. Let j(a) = 3*a + 4. Let g be j(3). Let r be v(g). Solve -6*z = -r*z - 4 for z.
1
Let d be (-15)/12 - 42/(-8). Suppose -5*q + 32 = 3*y, d*q + y = -q + 24. Solve -q*t + 9*t = -25 for t.
-5
Let p(q) = 2*q - 15. Let n be p(10). Suppose -5*x + n*h = -1 - 4, -7 = -2*x + h. Suppose -x*v = -11*v + 15. Solve 3 + 0 = -v*k for k.
-1
Let v(f) = -11*f + 8. Let l be v(3). Let q = l + 34. Solve -s - 2*s = -q for s.
3
Suppose 2*h = 2*r - 32, 0 = 2*r + 10*h - 8*h - 20. Solve r*q - 4*q - 36 = 0 for q.
4
Suppose 14 = 4*j + 2*s, -3*j - 3*s = -27 + 18. Solve y + y - j = 0 for y.
2
Suppose -8 = -62*z + 58*z. Solve -z*u + 363 - 365 = 0 for u.
-1
Suppose 10 = 5*b, 4*v - 52 = -0*v + 4*b. Let n = v - 11. Solve -n*k = -2*k + 10 for k.
-5
Let o be (6/(-5))/((-1)/(-10)). Suppose 4*l - 5*d + 45 = 0, 4*d - 54 = -3*l + 8*l. Let c = l - o. Solve c*a = 4*a - 8 for a.
4
Let r(f) = -98*f + 493. Let b be r(5). Solve 0 = 92*g - 91*g - b for g.
3
Let d = 6 - 1. Let v(b) = 6*b**3 - b**2 + 1. Let p be v(1). Solve p*j - 4 = d*j for j.
4
Let o(s) = -5*s - 24. Suppose 30 = -5*j + 5. Let q be o(j). Solve -3 = -d + q for d.
4
Suppose -4*l = 5*c + 22 - 1, -l = -5*c - 26. Let h be (10 + -11)*l*-1. Let g = 12 + h. Solve 3*d - g + 1 = 0 for d.
4
Let a be ((-24)/15)/(3/(-15)). Let m = -8 + a. Suppose m*r + r - 1 = 0. Solve 0 = 4*z - 3*z + r for z.
-1
Let q = 23 + -35. Let b be (-5)/(-20) + (-21)/q. Solve b*t - 6*t = 16 for t.
-4
Let z = 3 - 1. Suppose 0*c + 22