 0 for t.
-4
Let a be 4/(-16) - 1/(-4). Suppose a = 4*u + 5 - 25. Solve -9 = -2*w + u*w for w.
-3
Suppose 5*z + 2 = -3*w - 5, 0 = -3*w + 5*z + 13. Solve w = c + 5 for c.
-4
Suppose -55 = -z - 37. Let o be 48/27 + -2 - (-76)/z. Solve -1 = 3*r - o for r.
1
Let c = -42 - -3. Let o = c + 42. Solve 0 = -6*a + o*a for a.
0
Let t be -1 + 20/(40/8). Solve t*n + 5*n - 2*n = 0 for n.
0
Let m = -40 - -36. Let n be m/(-7) - (-314)/(-42)*-3. Solve -5*b = n - 8 for b.
-3
Let o be 10 - (5 - (-10 + 8)). Solve o*t = -7*t + 5*t for t.
0
Suppose -j + 3*g - 5 = g, 3*j - g = 5. Let z(s) = -7*s**2 + 43*s + 6. Let t(d) = d**2 + 6*d - 21. Let x be t(-9). Let p be z(x). Solve u + j*u - p = 0 for u.
3
Let r be (24/8)/((-3)/(-5)). Suppose -4*c = h - 4, -5*h = 3*c + 9 + r. Solve c + 8 = 5*l for l.
2
Let w(a) = -3*a**2 - 18*a + 5. Let p be w(-6). Suppose 4*n = -2*y + 26, 0 = -n - 4*n + 5*y - p. Suppose -o + 31 = n. Solve -5*k - o = -2 for k.
-5
Let c = 566 - 564. Solve -59 + 53 = c*a for a.
-3
Suppose 2*v - 2*g + 2 = 0, -10*g + 8 = -3*v - 6*g. Solve 9 = 5*x + v for x.
1
Suppose 0 = -w + 5 + 9. Let k = -9 + w. Suppose k*j + 5 - 30 = 0. Solve 12 = j*a - 8 for a.
4
Suppose -74 = -3*p + p. Suppose p - 7 = 6*t. Solve t*x = 7 - 27 for x.
-4
Suppose d + d - 28 = 0. Let k(o) = -o**3 - 21*o**2 - 22*o - 24. Let a be k(-20). Let y = a - d. Solve 2*q - q - y = 0 for q.
2
Let k = 15 - 15. Suppose k*w = -w - 2*w. Solve -7*i + 2*i = w for i.
0
Suppose 250 = -22*h + 47*h. Let s(n) be the first derivative of -n**2/2 + 9*n + 2. Let f be s(5). Solve 0 = f*d - 2*d + h for d.
-5
Let l(u) = -u**2 - 47*u - 474. Let f be l(-16). Solve 28 - f = -6*h for h.
-1
Suppose m - 211 = 5*m - 5*x, -5*m - 3*x - 273 = 0. Let p = m + 59. Solve p*d = 4*d + 4 for d.
4
Suppose 4*u = a + 12, -3*a + 4 = 4*u - 8. Suppose -21*q - u = -22*q. Solve 4*r - q = 5 for r.
2
Let i be (-1)/((-3)/8*(-4)/6). Suppose 0 = 4*w - 16 - 20. Let j = i + w. Solve t = j*t for t.
0
Let m be 2/8 + (-132)/144 - 8/(-3). Let g be (-2)/(-5) + (-48)/(-5). Solve g = -0*d - m*d for d.
-5
Let y be 6 + -1 - 0 - -1. Suppose 3*b - 27 + 18 = 0. Suppose b*c - y = c. Solve 0 = t - c*t for t.
0
Let p = -1686 + 1692. Solve -3 = -p*h - 15 for h.
-2
Let t(q) be the third derivative of -q**5/60 + q**4/8 - q**3/3 + 4*q**2. Let v be t(2). Solve v = 3*d - 0 + 3 for d.
-1
Let o be 8/((-24)/6) + 5. Let c be 2/(-8) - (-26)/8. Solve c = -2*n + o*n for n.
3
Let s(w) = w + 2. Let b be s(6). Suppose 0 = -4*c - b + 12. Suppose c = 3*x - 5. Solve -4 - x = -2*f for f.
3
Let y(x) = -x**3 + 1. Let s be y(-1). Let u be s + (1 - -1) + 1. Solve 7 + 8 = -u*k for k.
-3
Let x = -512 - -516. Solve -44*v + x = -46*v for v.
-2
Suppose 12 = -2*a + 36. Let o be (9/(-3))/(a/(-4)). Suppose 5*d - 13 = -2*c, 2*c = -d - 2*c - o. Solve i = d*i - 8 for i.
4
Let v be (18/(-15))/(6/(-15)). Let h = v - 1. Solve 0 = -i + h*i - 2 for i.
2
Let w be (2/4)/((-1)/(-10)). Suppose -o + 1 - w = 0. Let l be 3 + o*(-4)/16. Solve -5*u + u = l for u.
-1
Suppose 2 = 3*h - f - 2, h + f - 4 = 0. Suppose -72 = -5*l - r, -44*r = l - 47*r - 8. Solve h*t = l - 10 for t.
2
Let h(k) = k**3 + 3*k**2 + k + 3. Let q(u) = u**2 + 6*u. Let p be q(-7). Let i = -10 + p. Let r be h(i). Solve r = g - 4 + 3 for g.
1
Let r be 21/6 + (-2)/(-4). Let t = -35 - -38. Suppose 6 = t*f - l, 2*l - 9 = -4*f + 3*l. Solve -f = -r*u + 1 for u.
1
Let w = 771 - 761. Solve -w*a - 20 - 10 = 0 for a.
-3
Let v be -1 - 62*5/(-10). Let y be v*(2/6 - 0). Solve -y*n + 12*n - 10 = 0 for n.
5
Let g be 336/108 + 2/(-18). Suppose 2*b = -4*k + 76, 41 = 2*b + 3*k - 30. Solve -5*m = -g + b for m.
-5
Suppose 2*c - x = 22, -47 = -3*c - 0*c - 2*x. Suppose 10 = -5*n, -8*n - c = -z - 3*n. Suppose 0 = -z*f + 3*s + 6, s = -4*f + f + 18. Solve -3 - 22 = f*a for a.
-5
Let d = -38 - -74. Let t = d - 34. Solve 3*v + t = -1 for v.
-1
Let v(b) = b**2 + 7*b + 4. Let c be v(-7). Suppose -3*l = -14 - 55. Let w = -21 + l. Solve -2*g = -c - w for g.
3
Let i = -459 - -468. Solve -4*g = i*g for g.
0
Let z(w) = 16*w**2 + 2*w - 3. Let y be z(1). Suppose 4*i - 5*t = 34, -t - 5 = -3*i + y. Let m(r) = r**2 - 2*r. Let j be m(3). Solve -j*n + i = -3 for n.
3
Suppose -r + 7 = o, 8 + 21 = 2*r - 3*o. Solve 3*b - 22 + r = 0 for b.
4
Suppose 5*w + 3*j - 29 = 4*j, 5*w - 33 = 2*j. Let i = 104 + -79. Solve -i = -w*b - 0*b for b.
5
Let u(d) = -d**2 - 6*d + 18. Let v be u(-8). Suppose y + 3*y = -4*o + 20, -o + 2 = -v*y. Solve 6 = o*p - 6 for p.
3
Suppose -180 = -20*x - 0*x. Solve 0 = -2*p + 5*p + x for p.
-3
Suppose -u + 1 = 5*a, 7*a - 2*a - 4 = -4*u. Suppose 5*q - 59 - 6 = a. Solve -3 + q = 2*n for n.
5
Suppose -86*w + 81*w + 2*a + 58 = 0, 0 = -4*w - a + 49. Solve 15 = w*b - 7*b for b.
3
Let u(t) = -3*t**2 - 4*t + 8*t**2 + 3 - 6*t**2. Let f be u(-5). Let g be (4 + f)*(-2)/(-4). Solve 2*o = 7 + g for o.
4
Suppose 0 = 4*f - 2*f + 2*f. Suppose f = -14*c + 17*c - 6. Solve -c*g + 10 = 3*g for g.
2
Suppose -3*o - 156 = 3*s - 165, 0 = -s + 3*o + 11. Solve -3*y + 4 = -s for y.
3
Let z(x) = -22*x - 154. Let k be z(-7). Suppose 3*u = u + 16. Suppose -3*h + 1 - u = -4*g, -24 = -3*g - 4*h. Solve g*p - p + 12 = k for p.
-4
Let b be (2/(-4))/((-5)/10). Suppose -w - 2 = -b. Let y be 0 - (w + (-4 - -2)). Solve -y*r + 6*r - 9 = 0 for r.
3
Let y(n) = -n**3 + 19*n**2 - 34*n + 16. Let u be y(17). Solve u = -5*l - 4 for l.
-4
Let i(r) = 3*r**3 - 2*r - 1. Let h be i(-2). Let q = h - -15. Let t be q/(-21) + (-103)/(-7). Solve -4*y = y - t for y.
3
Suppose 100 = -6*i + i. Let x be (i/12*-9)/1. Solve j = -4*j + x for j.
3
Let m(v) = -3*v + 10. Let b be m(5). Let i = b - -9. Suppose -4*y = -i*s - 9 - 7, 0 = 3*y + 5*s + 4. Solve -3 = -y*u - 5 for u.
-1
Suppose 10 = 5*q, -k - 2*q + 19 = 4*k. Let j be (-3 - 12)*12/(-5). Suppose k*w = 6*w - j. Solve -2*x + w = 2*x for x.
3
Suppose -2*t + 12 = -6*t. Let q be 2 + (-2 - t) - -3. Solve -4*o + 14 = -q for o.
5
Suppose -13 - 7 = -5*s. Let k = -400 - -408. Let u = k - s. Solve -p + u*p - 9 = 0 for p.
3
Suppose 5 = 4*p - i, -4*p = 2*i - 2 - 12. Solve 54*h - 52*h = p for h.
1
Suppose -18*s + 65 = 11. Solve 8 = -a + s*a for a.
4
Let l(v) = -2*v**2 - 9*v - 2. Let d be l(-4). Let p(g) = -11*g - 2. Let x be p(-2). Solve 3*n + d*n = x for n.
4
Let n be 5 - 2 - (10 + -15). Solve -n*t + 53 = 93 for t.
-5
Let c(k) = -2*k + 4. Let s(r) = -r + 2. Let d be s(-5). Let y be c(d). Let w be y*(3 - (-14)/(-4)). Solve 3 = -2*n + w for n.
1
Let r(t) = -2*t - 22. Let c be r(-13). Let z be (-5 + 12)/(2/c). Let o(i) = -i**3 - 12*i**2 + 13*i. Let j be o(-13). Solve -2*n - 4 + z = j for n.
5
Let b be (-6)/8*(-112)/12 - 2. Solve -6 = -b*f + 9 for f.
3
Let c be ((-10)/6)/((-13)/39). Suppose 12 = c*h - 3. Solve -h*a - 5 = 2*a for a.
-1
Suppose 17*s - 4 = 15*s. Let a = -96 - -100. Solve a*d = s*d for d.
0
Let c = 150 + -143. Solve 0 = 4*g - c - 1 for g.
2
Let a = 3 + 3. Solve 10*p - a*p + 4 = 0 for p.
-1
Suppose -k - 468 = -5*o + k, -2*o + 4*k + 200 = 0. Let z = o - 89. Solve g - 2*g = -z for g.
3
Let r = 724 + -717. Solve 7 - 28 = r*v for v.
-3
Suppose -3*m + 4*j - 44 = -13, -5*j + 14 = -m. Let g = m + 12. Let l = -26 - -28. Solve l*i = g*i + 2 for i.
-2
Let y(c) = 3*c**2 + 12*c + 11. Let t be y(-3). Solve t*v = 235 - 227 for v.
4
Let b be -4 - ((-1 - 3) + 1). Let v be (b/(-2))/(2/4). Suppose 3*w = -0*w + 42. Solve -3*a = v + w for a.
-5
Suppose 0 = 935*l - 941*l + 24. Let d = 10 - 20. Let o be 3/(-15) - 42/d. Solve -l*b = -3*b - o for b.
4
Let s(v) = v**3 - v**2 - v - 1. Let j(b) = 3*b**3 - 2*b**2 + 2*b + 4. Let i(w) = j(w) - 4*s(w). Let a be i(4). Solve a = -0*z + 3*z + 3 for z.
-1
Let w(j) = j + 13. Let a be w(-10). Let u be -12*(-3)/(6 + a). Solve -5*g - 5 = -u*g for g.
-5
Let g be (1 + 1/(-2))/(84/336). Solve 0 = k - g for k.
2
Suppose 35*o + 154 = 2744. Solve 21*r - 31 = o for r.
5
Suppose 0 = 2*b - 2 + 2. Suppose -q + 7 = -b. Let x = 5 + -3. Solve -3*l - q = x for l.
-3
Let c = 193 + -189. Solve -c*q = -5*q - 2 for q.
-2
Let t(r) = 3*r**2 + 6*r + 1. Let w(x) = -x**2. Suppose 0 = -3*p - 2*l - 1, -3*p - 4*l + 2 = l. Let c(q) = p*t(q) - 2*w(q). Let f be c(-5). Solve -m = f*m for m.
0
Let q(w) = w**3 - 11*w**2 + 6*w - 6. Let a be q(9). Let k = -110 - a. Solve 3 = k*i - 3*i for i.
3
Suppose 3*x = -c - 11, 5*x = -0*x - 25. Suppose -c*t + 4 = -12. Let m(j) = 2*j - 7. Let n be m(5). Solve n*r + t = 