 + 27 for t.
3
Let z(d) be the first derivative of 2*d**2 - 12*d - 16. Let l be z(4). Solve -5 + l = -r for r.
1
Let t(o) = -3*o**3 + o**2 + o + 1. Let h be t(-1). Let x(u) = -u**3 - u**2 + 4*u - 5. Let r be x(-3). Let g = 5 - -4. Solve h*m + r = g for m.
2
Suppose 4*l = -2*f - f - 83, 79 = -4*l + f. Let u = l - -30. Let m be ((-17)/(-5) - 3)*u. Solve 4*i + m = -0*i for i.
-1
Let a = 2 - 0. Solve -a*n - 3 = 1 for n.
-2
Suppose 3*m - 2 = -4*t + 13, 5*m = -5*t + 25. Suppose 3*q + 2*i - 15 + 186 = 0, -2*i = -5*q - 269. Let a be (-10)/q - 53/(-11). Solve t*g = a*g - 5 for g.
1
Suppose -2*z + 5 = o + 2*o, -4*z + 2*o = -34. Solve -2 + 23 = -z*j for j.
-3
Let t = -362 + 362. Solve t = -p + 6*p + 10 for p.
-2
Suppose -4*o = 3*i + o + 1, 4*i + 2*o + 6 = 0. Let x be (-4)/8*-2 - i. Let a be (-3)/(-4)*8/x. Solve -8 = -a*p - 2*p for p.
2
Suppose 11*z + 52 = 184. Solve -8*i + z*i + 4 = 0 for i.
-1
Let g be 220/33*((-26)/(-4) + 1). Solve 2*z + 8*z + g = 0 for z.
-5
Let i = -10 - -25. Suppose -5*x - o = o + i, -2*x - 12 = 2*o. Let l be 2 + x + 3 + 0. Solve 0 = -n - l*n for n.
0
Let w(x) be the second derivative of x**4/12 + x**3 - 3*x**2/2 + 3*x. Let p be w(-7). Suppose -p*f + 24 = -f. Solve 0*b - f = -2*b for b.
4
Let g be 4 + (8 - (5 + -1)). Suppose 0*j + j = -g*j. Solve j = -0*v + v for v.
0
Let s be (0 - (-6)/(-5))/(6/(-15)). Suppose -3*d - q - s = d, 0 = d - 5*q - 15. Solve d*c = -2*c for c.
0
Let c be (-817)/(-301) - (0 + 2/(-7)). Solve -2*v + c = 1 for v.
1
Let c(q) = -q - 1 + 0*q - q**2 + q + 6*q. Let v be 517/99 - 4/18. Let n be c(v). Solve n*b + 0*b = -20 for b.
-5
Let q be (-6)/5*(-150)/9. Let h(u) = u + 14. Let b(a) = -3*a**2 + 2*a - 3. Let f be b(2). Let n be h(f). Solve n*x + 8 - q = 0 for x.
4
Let p be -3 + (-1 + 2)*12. Let u be 1*(-4)/(-12)*p. Let k be (-67)/(-7) - (-4)/(-7). Solve -3*s - u - k = 0 for s.
-4
Suppose -2*l - 3 = l. Let o be (-2)/(-2) + 9/(4 + l). Solve -g - o = -0*g for g.
-4
Suppose 0 = 5*k + 25. Let w be 2/k - 52/(-5). Suppose -8 = -158*l + 157*l. Solve -l*n - w = -3*n for n.
-2
Let b = 1357 - 1351. Solve 0 = -8*g + b*g - 6 for g.
-3
Let v be 1*(-3)/6*0. Let c(w) = w. Let p be c(v). Let l be (1 + 1)/2 - -2. Solve p = -z - l*z - 16 for z.
-4
Let j(c) = -c**3 - 5*c**2 - 5*c + 1. Let r be j(-4). Suppose -9 = 72397*o - 72400*o. Solve 7 = -r*s - o for s.
-2
Suppose -3*p - 3*d - 7 = -25, -3*d + 26 = 5*p. Solve p*y - 3*y = 1 for y.
1
Suppose -v - 2*v = -s - 12, -2*v = -2*s - 12. Let p be ((-5)/5 - s)/1. Solve p = w + 3 for w.
-1
Let t(i) = -3*i - 19. Let z be t(-8). Suppose -3 = z*x - 18. Solve f + x = 2 for f.
-1
Suppose -31 = u + f - 42, -26 = -u + 2*f. Solve -u*r - 2 = -14*r for r.
-1
Let k be (-13)/(-6) + (-6)/36. Suppose 0 = -4*z - k*l + 7 + 9, -5*z - l + 17 = 0. Solve 0*w + 6 = z*w for w.
2
Let u(k) = -k**2 - k + 3. Let d be u(-2). Let h = d - -3. Solve h*j = 8*j for j.
0
Let u(g) = 2*g**3 + 39*g**2 + 18*g - 17. Let r be u(-19). Solve -d - r*d = 3 for d.
-1
Suppose 2*a = 449 - 431. Solve -a + 12 = -v for v.
-3
Let s = -67 - -117. Suppose s*a = 48*a + 6. Solve -3*u + a = -3 for u.
2
Let z = 122 + -120. Suppose 2*s + 2 = -z*n, -4*n - 15 = -2*s + 7. Solve s = j + 6 for j.
-3
Let a be 0/(3/((-9)/(-6))). Suppose -9*i + 3*i = a. Suppose 5*o - 16 = -3*m, 4*m - 1 + 13 = 0. Solve i = 4*g - o*g + 3 for g.
3
Let h(x) = x + 6. Let m be (-33)/9 - 6/(-9). Let b be h(m). Suppose 4*f = -l + 7, -1 + 0 = f + b*l. Solve 0 = -f*p + 7*p + 15 for p.
-3
Suppose 86*d - 90*d - 5*z = 7, 0 = 3*d + 2*z. Solve s = -0*s + d for s.
2
Suppose -15 = 5*u - 4*x, 0 = -23*u + 22*u + 2*x - 9. Solve -7*p - 22 + u = 0 for p.
-3
Suppose -17*u + 256 = 15*u. Solve 17 - 1 = -u*f for f.
-2
Let o be ((-312)/(-36) - 7)*18/10. Solve o*w - 19 + 10 = 0 for w.
3
Let c = -148 + 153. Suppose -4*i + 0*h - 9 = 5*h, -5*i + c*h + 45 = 0. Solve -i*j + 3*j = -2 for j.
2
Let x be 6*(-5)/(-135) - (-52)/9. Suppose -4*f = -5*a - 18, -a + 3*a + x = f. Suppose 15 = 2*p + p + 2*o, 2*p = -5*o + 21. Solve -j - p = -f*j for j.
3
Let d(u) = -u**3 - 6*u**2 - 5*u + 5. Suppose 10 = -g - g. Let b be d(g). Suppose -b*l = 4 - 14. Solve 2 = -0*a + l*a for a.
1
Suppose j + 105 = 4*t, 0 = t - 2*t + 2*j + 28. Suppose 2 = 4*s - t. Suppose -19 = -5*f + 2*h, -4 = f - 3*f + 2*h. Solve 8 = f*d - s for d.
3
Suppose 6*m + 61 = 85. Solve -9*o = -m*o + 25 for o.
-5
Suppose 0 = k - 11*f + 7*f + 13, -4*k = -3*f. Solve 2*h + k*h = -25 for h.
-5
Suppose h = 8*h - 28. Let y be -3*(h/(-2))/2. Solve -6*k = -3*k + y for k.
-1
Let d be (-15)/(-180) - (-1401)/36. Solve -37*n = -d*n + 6 for n.
3
Suppose 14 = -2*q + 18. Let o(i) = -22 - 8*i + 3*i**q + 2*i**2 - 6*i**2 - 6*i. Let r be o(-12). Solve -r*g - g = -3 for g.
1
Let v(z) = 3*z + 7. Let c be v(11). Let s be c/22 - 26/(-143). Let d(h) = 2*h**3 - 3*h**2. Let m be d(s). Solve -m*p = -p + 6 for p.
-2
Suppose 20 = -r + 3*r + u, 0 = -2*r + 3*u + 20. Let x be (-2)/(-7 + -1)*0. Solve x = 2*t - 0*t - r for t.
5
Let y = 271 + -269. Solve y*p + 11 - 15 = 0 for p.
2
Let r be (8/(-6) - -2) + 16/12. Let s be 6 - 3 - (r - -1). Solve s = -3*p + p for p.
0
Let w(q) = 3*q**2 + 4*q - 3. Let d(i) = 12*i + 8*i**2 + 3 - 11 + 0*i. Let v(u) = 4*d(u) - 11*w(u). Let r be v(3). Solve -r*n + 0*n = 12 for n.
-3
Let p(j) = -j**3 + 6*j - 3. Suppose 8*x = 6*x - 6. Let r be p(x). Suppose 0*i - 3 = -2*i - n, -i = 3*n + r. Solve -5*s - 4 = -i*s for s.
-2
Let q = -57 + 37. Let j be -22*(-1)/10 - (-4)/q. Solve -3 = -j*x - 1 for x.
1
Let k = -19 - -27. Let j(s) = -7*s**2 - 2*s + 1. Let f be j(1). Let d = f - -11. Solve 5*v - d = -k for v.
-1
Let a be (2 + 0)*(-72)/(-16). Solve 0 = 13*t - 61 + a for t.
4
Let z(y) = -2*y**2 + 29*y + 85. Let k be z(17). Solve k = 6*a - 19 + 1 for a.
3
Let v = -700 + 703. Solve -v*n - 29 + 17 = 0 for n.
-4
Suppose 9*g = 13*g - 64. Suppose 4*u = g, 0 = x + 5*u - 42 + 17. Solve 3 - x = r for r.
-2
Let z = 19 - 15. Suppose z*c - 11 = 9. Solve -k - 4*k + c = 0 for k.
1
Suppose 4*n = 2*z - 6*z + 112, -5*z = 0. Let x = 31 - n. Solve -10 = -x*v + 5 for v.
5
Let l(w) = -w**2 + 83*w + 539. Let f be l(-6). Solve 17 - f = -6*m for m.
-2
Let i(h) = -h**3 + h**2 + 4*h - 3. Let z = -56 - -58. Let n be i(z). Solve -1 - n = 2*x for x.
-1
Let d(h) = 31*h + 192. Let r be d(-6). Solve -10 - 2 = r*m for m.
-2
Let w be (-22)/143 - (-134)/26. Solve 1 - w = 4*n for n.
-1
Suppose -21*k + 94 + 32 = 0. Solve 0 = -k*w + 7*w - 4 for w.
4
Let i(b) = -3*b - 2. Let p be i(-5). Let a(t) = -t + 16. Let v be a(0). Let x = v - p. Solve x*y - 3 = 2*y for y.
3
Let m(f) = 3*f**2 - f + 5. Let l be m(-3). Let k = l + -20. Suppose -k + 21 = 2*n. Solve -2*v = n + 5 for v.
-4
Suppose 4 = -2*d, 0*t = 4*t + 4*d. Solve -1 - 3 = -t*j for j.
2
Let t(p) = 3*p**2 - 2*p - 20. Let m be t(4). Solve -m*s + 19*s = 1 for s.
-1
Let v(l) = -l**3 - 3*l**2 - 7*l - 5. Let s(q) = -q**3 - 3*q**2 - 8*q - 5. Let r(n) = 3*s(n) - 4*v(n). Let m be r(-2). Solve -5 + m = -2*c for c.
2
Suppose -6*u + 20 = -11*u + 4*y, y - 5 = -4*u. Let o(c) = -c**2 - 2*c + 3. Let h be o(2). Let i = h - -11. Solve u*f - i = 2*f for f.
-3
Suppose -16*f + 162 = 11*f. Solve f*h = 22*h - 32 for h.
2
Let j = 1598 + -1585. Solve -39*w - j = -26*w for w.
-1
Let v(q) = -q**2 + 7*q - 1. Let j be v(6). Suppose 2*g = g + 3*t - 2, j*t - 22 = -3*g. Solve -g = 5*m - 24 for m.
4
Let q(v) = -v + 15. Let p be q(-9). Let u = p + -23. Solve c = -u - 0 for c.
-1
Let r = 28 - 10. Suppose 0 = -10*y + r + 2. Solve 10 = -3*d - y*d for d.
-2
Suppose 380*o - 130 = 367*o. Solve 3 = 11*d - o*d for d.
3
Suppose -18 = 4*g + 22. Let y be (-8)/20*g/1. Solve -y*f = -f - 15 for f.
5
Let m be (-11 - -6)/(-5)*2. Solve -6 = m*v + v for v.
-2
Suppose -i + 152 = -5*u, 63 = 3*i - 4*u - 360. Let n = -133 + i. Solve f + 15 = -n*f for f.
-3
Let l(w) = w**2 - 14*w + 24. Suppose 3 = -2*t - 25. Let i be -2 - t*(-4 - -5). Let c be l(i). Solve 3 + c = 3*k for k.
1
Suppose -3*q + 2*o - 1 = -8, -5 = o. Let b(v) = 4*v**2 + 2*v + 2. Let x be b(q). Solve 3*y - x = -16 for y.
-4
Suppose -7*y - 50 = -8*y. Let w = y - 46. Solve 9*n + 5 = w*n for n.
-1
Suppose -2*p + 7 = -3. Suppose -2*q - 74 = 86. Let c be (1 + -4)*q/12. Solve -p*s + s - c = 0 for s.
-5
Let i = -57 + 57. Solve i = 16*j - 12*j for j.
0
Let w be 3 - (0 - -1) - 0. Suppose 7*f + 5*f = 24. Suppose f*s = -s - 0*s. Solve s = d + 5 - w for d.
-3
Suppose 0 =