 t.
-3
Suppose c + 1 = 4. Let n = c + 10. Suppose 0 = -5*d - 3 + n. Solve d*p + 1 = 7 for p.
3
Let p = 6 + -3. Let v be 30*-2*(-2)/12. Let q be (-81)/6*v/(-15). Solve q = p*b - 6*b for b.
-3
Let y(m) = -m**3 - 15*m**2 - 13*m + 17. Let u(r) = -r**3 - 13*r**2 + 3*r + 6. Let q be u(-13). Let c = -47 - q. Let t be y(c). Solve -t = -2*x - 7 for x.
-2
Let s = -14 + 16. Suppose -3*z - 6 = 0, -4*i + s*i - 3*z - 4 = 0. Solve -d + 3 = i for d.
2
Let b = 2417 + -2404. Solve 8*l - b - 3 = 0 for l.
2
Let k = -29 + 33. Suppose -3*n - 2 = 2*a - a, -k = 2*a. Solve n = -6*c + 4*c for c.
0
Let p = -9 - -9. Let q be 2 - (-3 - (p - 2)). Suppose -3*y = -q*m - 12, -y = 4*m - 1 + 7. Solve -y = -4*n + 2 for n.
1
Let a be 4 + (-94)/6*-3. Let c = 51 - a. Solve -4*d - 16 = -c*d for d.
-4
Let o = -830 + 963. Solve u + o = 134 for u.
1
Suppose 13*w - 256 = 5*w. Solve h - 9*h = -w for h.
4
Let d(r) be the third derivative of r**5/60 + 7*r**4/24 + 7*r**3/6 + r**2. Suppose -6 + 24 = -3*o. Let l be d(o). Solve -l - 7 = 2*g for g.
-4
Suppose 62*d = 15*d + 705. Solve -17 = -k - d for k.
2
Suppose -450 = 19*r - 37*r. Solve r*c + 6 = 22*c for c.
-2
Let f(r) = -r**3 + r**2 + 49*r - 16. Let y be f(7). Solve -9 = -y*w + 30*w for w.
3
Suppose 0 = -h + 6*h - 10. Suppose 0*p = h*p. Solve -3 = -m - p for m.
3
Suppose 14*b - 121 = 3*b. Solve 0 = b*l - 7*l + 8 for l.
-2
Let t = -10 - -12. Let n = -47 - -64. Solve -5*h = t - n for h.
3
Let v = -36 - -40. Solve v*a = 7*a + 6 for a.
-2
Let t = 12 + -9. Suppose t*k + 16 = -k. Let c be 5*(9/(-3) - k). Solve 3 - c = q for q.
-2
Let w = -6 - 65. Let l = w + 84. Solve 4*q - l = 7 for q.
5
Let l = 15 - 11. Suppose -4*h - 4*a + 28 = 0, 4*a - 18 = 4*h - 3*h. Let m be ((1 - 30/9) + h)*-9. Solve -m*u + l = 16 for u.
-4
Let f(q) = -3*q**2 + 45*q + 5. Let y be f(15). Solve 0 = w + y - 3 for w.
-2
Suppose -2 - 4 = -3*m. Let z(p) = -168*p + 2357. Let y be z(14). Solve -y*g + m*g = -6 for g.
2
Suppose -4*j = 4, 3*l - 2*j + j = -11. Let f(q) = -q**3 - 2*q**2 + 6*q + 1. Let a be f(l). Suppose a = 2*h + 3. Solve p + h*p = 8 for p.
2
Let y(o) = -19*o + 100. Let a be y(5). Solve -11 + a = 2*g for g.
-3
Suppose -w + 9 = 4. Suppose 3*i - 21 = -w*z, 0 = 2*i + 2*i + 4*z - 20. Solve i*k = 7*k - 10 for k.
2
Let i(x) = -x**2 - 24*x - 10. Let z be i(-23). Solve 37 = -z*f - 28 for f.
-5
Let c(n) = 0 - 2*n - 6 + 3*n. Let u(l) = l**3 - 2*l**2 - 3. Let f be u(3). Let s be c(f). Solve 0*q + q - 5 = s for q.
5
Suppose -65 = -18*d + 61. Solve d*r = 5*r for r.
0
Let q be (8 - 0) + 22/11. Suppose o + 44 = 4*x - 3*o, -2*o - q = -x. Solve -3*z - x = -3 for z.
-3
Suppose -x + 0*x + p = 8, 0 = 4*x - 5*p + 36. Let f be (-32)/(-24)*((-18)/x + 0). Solve 2*a - 2 = -f for a.
-2
Let v(d) = -3*d + 42. Let p(t) = -t**3 - 9*t**2 + 3*t + 40. Let m be p(-9). Let u be v(m). Solve -u*a = 2 + 7 for a.
-3
Let s = -298 + 437. Let g = s - 134. Solve -1 + g = 4*y for y.
1
Let n(f) = -f + 1. Let q(b) = 7. Let c(y) = 2*n(y) - q(y). Let u be c(-6). Let g(z) = -z**3 + 6*z**2 + 4*z + 3. Let h be g(6). Solve 5*j + u = h for j.
4
Suppose -33 = -d - 2*v, 9*v - 175 = -5*d + 4*v. Solve -d*x + 42*x = -10 for x.
-2
Suppose 181 + 29 = 21*q. Solve q = -2*v - 0*v for v.
-5
Let y = 6 + -4. Suppose 5*x + o = -76, -2*x + 5*x + 40 = -2*o. Let q be (x/(-10))/((-4)/(-10)). Solve -y*p + 4*p = q for p.
2
Let n(o) = -o - 39. Let u be n(-39). Let t be 3/1*(4 - 3). Solve 2*s - t*s + 1 = u for s.
1
Suppose -6*z = -7*z - 3*f - 1, -16 = 4*f. Suppose 116 = z*i + 39. Solve 3*v - i*v = 0 for v.
0
Let w be 50/(-20)*(-19 + 9). Solve w - 20 = i for i.
5
Suppose -23 = b + 4*u, -2*b - 3*b - 96 = u. Let f = b + 21. Solve 1 = f*t - 3*t for t.
-1
Let s(c) = -11*c - 623. Let d be s(-58). Solve 9*f = d*f + 6 for f.
-1
Let k = 0 - -2. Suppose 67 = -25*a + 92. Suppose -2*s = -6 - 0. Solve -k*h - a = -s for h.
1
Suppose 8*h - 3*o = 3*h - 280, 4*o = -5*h - 245. Let k = -40 - h. Solve -1 = 4*r - k for r.
3
Let n(a) = -a**3 - 3*a**2 - a + 3. Let j be n(-3). Suppose 14 = j*q - 16. Solve -q*b = 1 - 6 for b.
1
Let p(x) = x + 1. Suppose -4*l + 14 = -2*c, -6 + 21 = 5*l - 5*c. Let z be p(l). Solve -2*q + z*q = 3 for q.
1
Let g = -11 - -25. Let o = g + -10. Suppose 0 = t - 0*t - 3*s + 8, o*t - 3*s - 4 = 0. Solve -t = d - 1 for d.
-3
Let j(x) = -x**3 - x**2 - x + 1. Let w(r) = 3*r**2 + 3. Let y(z) = -j(z) + w(z). Let o be y(-2). Solve -b = -3*b + o for b.
4
Let l(q) = -q**2 + 3*q + 20. Let p be l(6). Suppose 4*u + 5*n = 13 + 42, 4*n - 26 = -2*u. Let g be (-6)/u + (-24)/(-10). Solve -g*y = p*y - 20 for y.
5
Let l be (-15)/(-3) + -8 + -33. Let b(s) = -s**3 - 36. Let z be b(0). Let x = l - z. Solve h = -x*h for h.
0
Let j(x) = 2*x**2 - 8*x - 18. Let a be j(6). Suppose -a*n - 40 = -16*n. Solve -n*i + 1 = -3 for i.
1
Let l = 124 - 75. Let j be 812/l + 4/(-7). Solve -u = 3*u - j for u.
4
Let x be -7*((-40)/(-14))/(-4). Solve 6*f - 4 = x*f for f.
4
Suppose -5*r + 5*o + 30 = 0, 6*o - 10*o - 4 = 0. Solve -3 = -4*a + r*a for a.
-3
Suppose -4*b + 2*s = -32, 0*b - 5*b - 4*s = -40. Solve -3*k = 8 - b for k.
0
Let x(t) be the first derivative of t**3/3 - 5*t**2/2 - 2*t + 5. Let p be x(5). Let n be (-5)/p*12/15. Solve 4 = n*l - 4*l for l.
-2
Suppose 5*a + 11 = 3*c + a, 0 = -4*c - 3*a + 48. Let u be 4*1 + (c - (1 + 6)). Solve 0*j + 2*j = u for j.
3
Let o be 2 + (-1 + 1 - 2). Suppose -2*a + 3*z - 4 = -a, o = a - 2*z + 2. Suppose -5*m - a = -6*m. Solve 0 = -g + m - 1 for g.
1
Let x be (18 - (-189)/(-18))/(1/2). Solve -15*d + x = -0 for d.
1
Suppose -3*h - 12 = 4*s, -3*s + 5*s + 6 = 5*h. Solve 7*m - 1 + 15 = h for m.
-2
Let g(l) = l**2 - 16*l + 18. Let u be g(15). Suppose -u*v - 5*w = 0, 5*v - 40 = -0*w + 5*w. Suppose -3*o = -2*c + o, 3*c - o - v = 0. Solve -z = c*z - 12 for z.
4
Suppose -5*v + 3*f + 25 = -11, -v + 10 = -2*f. Suppose -4*m = -12 - 4. Suppose -4*w = -3*b - 15, -m*w + 2*b - 6*b - 20 = 0. Solve w = 3*u - u + v for u.
-3
Let c be 255/(-187)*(-2 + -9). Solve -8*g + 46 = c*g for g.
2
Suppose -3*h + 9 = 2*t, 2*h = -h + t + 9. Let m(d) = d + 3. Let r be m(10). Suppose 0*l = l + 4*s - r, 4*l + s = 7. Solve p - l = -h for p.
-2
Suppose -6*g + 0*g + 18 = 0. Let k be -8 + 4 + (7 - g). Suppose -f - 2*d - 4 = 0, 0 = -f - k*f + 4*d + 8. Solve 5*w - w - 12 = f for w.
3
Let j(l) = l**3 + 32*l**2 + 60*l + 3. Let y be j(-30). Solve -1 = -y*m - 10 for m.
-3
Let r be ((-336)/(-36))/((-4)/(-3)). Suppose -4*s + 7*s + 11 = -2*g, 5*s = g - 27. Suppose -g*v = 5*v - r. Solve -d - v + 2 = 0 for d.
1
Let b(q) = -q + 3. Let h be b(-7). Suppose 4*k = i - k - 17, -4*k = -2*i + h. Let v be 48/(-36)*1*i. Solve 0*d + 16 = v*d for d.
4
Let o(l) = -l**2 - 19*l - 33. Let r be o(-16). Suppose -r*h = -18*h + 9. Solve -2*q + 10 = h*q for q.
2
Let r = 49 + -49. Solve r*z = 4*z + 8 for z.
-2
Let s = -499 + 515. Solve s*c + 16 = 12*c for c.
-4
Let o be 25/(-2)*(8 + 126/(-15)). Solve o = 3*x - 10 for x.
5
Let f(m) = 5*m - 20. Let v be f(6). Let i = -7 + v. Solve -i*k - 10 - 5 = 0 for k.
-5
Let i = 6 + -2. Suppose 4*n + 26 = -2*l, -3*n - 4*l - 36 = n. Let f be 5*n/(-16)*i. Solve 0 = -f*k + 5 - 0 for k.
1
Let a = -1 + 6. Suppose 0 = -z, -5 = 4*j + a*z - 17. Solve j*p = -p for p.
0
Let p(y) = 2*y**2 + 30*y + 32. Let d be p(-15). Solve -7*n + 4 = d for n.
-4
Let f = 12 - 12. Suppose f = 6*m - 5*m. Solve -o + 2*o + 5 = m for o.
-5
Let a be 210/55 + (-14)/(-77). Solve -i + a = 3*i for i.
1
Let s be -3 - (-2 - -103) - -4. Let t = -80 - s. Solve 0*k + t = -5*k for k.
-4
Let q be (-220)/2 - (2 + -4). Let s = -106 - q. Solve s*b + 13 - 3 = 0 for b.
-5
Let m be -8 + (6 - -14) + 5. Solve m*i = 19*i + 8 for i.
-4
Let j(r) = -r**2 - 23*r - 58. Let t be j(-20). Solve 2*u = -t*u - 16 for u.
-4
Let p(f) = 4*f**3 - 19*f**2 - 3*f - 1. Let x(u) = 7*u**3 - 38*u**2 - 5*u - 1. Let w(r) = -5*p(r) + 3*x(r). Let y be w(19). Solve y*s - 5*s = 9 for s.
-3
Let w be (-14)/105 + (292/30)/(-2). Let s = 12 + w. Solve -2*f = -s*f - 15 for f.
-3
Let q(h) = -h**3 - h**2 + 5*h + 2. Let t be q(-3). Let b be (t/((-5)/(-8)))/2. Suppose -y = -6*y + 3*o + 12, y - 16 = 4*o. Solve -b*a = -y*a for a.
0
Suppose 6*b + 59 = 7*b. Let v = b - 59. Solve v = -3*g - g - 4 for g.
-1
Let y = 35 + -29. Suppose p = y*p - 10. Suppose 2*f + 10 = -2*h, p*h + 5*f + 25 = -2*h. Solve 0 = -2*q - h - 4 for q.
-2
Let y = -27 - -139. Let h = y + -102. Solve 5*s 