 for t.
-5
Let r = 4 + -8. Let k be (r - -7) + (2 - 0). Solve -k = -5*v - 0*v for v.
1
Suppose 13 = 5*g + 3*l - 22, 2*g = -2*l + 18. Solve -k - 15 = g*k for k.
-3
Let x(v) = v**3 - 4*v**2 + 5. Let w be x(4). Suppose 0 = -0*t + w*t. Solve t = -2*y + y for y.
0
Let j(r) = -r - 4. Let y be j(-4). Let m be 2 - (y + -4) - 0. Solve -m = -5*o + 2*o for o.
2
Suppose -4*i + 0*i - 16 = 0. Let u(k) be the third derivative of -k**6/120 - k**5/15 + k**3/3 + k**2. Let j be u(i). Solve -j*g + 7*g = -10 for g.
-2
Let n be 1 - (-2 - (2 - 2)). Let s = 5 + -6. Let t = -1 - s. Solve -n*y + 2*y + 2 = t for y.
2
Let i be 2/3*3 - 1. Let t be (-14)/4*(-1 - i). Let v = 9 + -4. Solve -v*x + t = -3 for x.
2
Suppose 4*w = 3*g + 45, -2*w = g - 4*w + 17. Let o(f) = f + 13. Let m be o(g). Solve -4 = -0*x - m*x for x.
2
Let k(j) = -j**3 - 6*j**2 - j - 4. Let h be k(-6). Let x(u) = -u + 6*u**h - 2*u - 3 - 5*u**2. Let n be x(5). Solve n = 3*i - 8 for i.
5
Suppose 4 = -4*o - 0. Let i = 0 - o. Let u(d) = 5*d - 1. Let w be u(i). Solve 0 = 5*y + w + 1 for y.
-1
Let q be 1/(-2)*(-1 - -1). Let f(z) be the first derivative of z**3/3 + z**2/2 - 3*z - 1. Let n be f(-3). Solve -3*c + q*c = -n for c.
1
Suppose -16*o + 14*o + 8 = 0. Suppose 4*g + 4*u - 24 = 0, 2*g + 2*g - 4*u = 0. Solve 0 = -g*d - d + o for d.
1
Suppose 0 = p + 36 - 38. Let h be (-2*3)/(1*-2). Solve 2*i + p = h*i for i.
2
Suppose 0*s - 2*s + 4 = 0. Solve 3*v - 2 = s*v for v.
2
Let i be ((-6)/15 + 0)*-10. Suppose 0 = -i*a - 3*p + 6, -5*a + a + 8 = 4*p. Solve 2*q + 0 - 8 = a for q.
4
Let r be 2/(-6)*-3 + -1. Let l = r + 2. Suppose -5*i + l*i + 30 = 0. Solve -3*x + x + i = 0 for x.
5
Let d = 2 - 4. Let q = d - -4. Let y be 5*(q + (-2)/2). Solve 5*o = y - 0 for o.
1
Let l(c) = c**3 - 5*c**2 + 2*c - 6. Let g be l(5). Let f be 1 + (2 - 2)/2. Solve d + g = -f for d.
-5
Let m be -5 + 1 + -1 - -1. Let k = 6 + m. Suppose 0 = y + k*y. Solve y - 5 = f for f.
-5
Suppose 2*s - 6 = 6. Let d be s/(6/5)*1. Solve -2*l + 3*l = d for l.
5
Let j(u) = u - 5. Let v be j(-5). Let r = v + 14. Solve 6*s = r*s + 2 for s.
1
Let u = 275 + -275. Suppose -4*t + i + 3 = 0, 4*t + 0*i = -2*i + 6. Solve u = 3*l - t + 10 for l.
-3
Let a = -3 - 1. Let j be 6*a/(-10)*5. Solve 5*n - j = 2*n for n.
4
Suppose -4*f + 12 = 4. Let o(z) = z**3 - z**2 + z. Let x be o(f). Solve -2*j = -0*j - x for j.
3
Let t(h) = -h**3 - 5*h**2 - 3*h + 4. Let m be t(-4). Solve -3*x + 2*x = m for x.
0
Suppose -1 = -4*q + 3. Let w be ((-14)/(-2*1))/q. Solve 8 + w = 5*z for z.
3
Let h be (3 - 1) + 0/(-1). Suppose -3 = h*r + g, -4*r = -r - 2*g - 6. Solve 2*c + 6 = -r*c for c.
-3
Let r(i) = -3*i + 1. Let t be r(-1). Solve 2*l - t*l + 8 = 0 for l.
4
Let a = 69 - 66. Solve -g = a*g + 8 for g.
-2
Let w(a) = a**2. Let u be w(-5). Solve -3*b - 2*b - u = 0 for b.
-5
Suppose -4*n + 12 = -0. Let w = n - 0. Suppose -k + 1 + w = 0. Solve 0 = -k*v + 3*v + 4 for v.
4
Let y(d) = d**2 + 9*d - 8. Let s = 22 + -32. Let n be y(s). Solve 6 = n*b + b for b.
2
Let k(v) = -v**2 - 7*v + 13. Let b be k(-9). Let w = -4 - b. Let r be 0 + -2 + w + 6. Solve r*q - 14 = -4 for q.
2
Let u(l) = 3*l**3 + l**2 - l. Let a be u(1). Suppose -n - 1 = -a*h, -3*n - 2*h = -n - 14. Solve -10 = 3*q - n*q for q.
5
Let l(t) = 6*t**2 - 2*t - 2. Let f be l(2). Suppose 0*a + 2*a - f = 0. Solve 0 + a = 3*o for o.
3
Suppose 0 = 2*t - 4*y + 24, -4*t + 2*y = -t + 16. Let x(h) = h + 4. Let z be x(t). Let q be 0*(-3)/(-12)*-2. Solve 3*i + z*i = q for i.
0
Let x = 6 - -14. Let f = 22 - x. Solve -j - f*j = 12 for j.
-4
Suppose 5*t + 4*i - 16 = 0, 0*t - 4*i - 12 = -2*t. Solve -t*x + 1 = -3*x for x.
1
Suppose -4*l = -0*l - 12. Let y be ((-10)/(-25))/(1/(-5)). Let i = y - -4. Solve a - i*a = -l for a.
3
Suppose 5*c = -2*s - 0 + 10, -6 = -3*c - 5*s. Solve 0*q + c*q - 4 = 0 for q.
2
Let v = -38 - -41. Solve 10 = l - v*l for l.
-5
Suppose r + g + 37 = -0*g, 3*g + 69 = -2*r. Let p be 18/(-4)*r/9. Solve -p = -5*w + 4 for w.
5
Let d(z) = z - 3. Let k = -2 - -5. Let a be d(k). Suppose m + g - 2*g = 0, a = -5*m - g + 18. Solve m*x = x for x.
0
Let p = 11 + -15. Let j(w) = w + 5. Let v be j(p). Let k = 2 + v. Solve -k = 2*x - 5*x for x.
1
Suppose 0 = -3*v - 3 + 9. Suppose 0 = -4*t + 3*i - 7, 1 = -4*t - i - 2*i. Let f = v - t. Solve 0*l = f*l - 15 for l.
5
Let c(o) = 4*o - 4. Let d be c(2). Solve -t = t - d for t.
2
Let i = 15 - 11. Let c = 0 - i. Let r be c/8*(0 - 2). Solve 9 = 2*d - r for d.
5
Let t = 6 - 2. Solve t*s - 5 = 3 for s.
2
Let z = -24 + 27. Solve -4*l + z = -l for l.
1
Suppose 20 = 4*y - 0. Let i be 6/y + (-2)/10. Solve 3*v = 5 + i for v.
2
Suppose 4*q + q + 3*n - 4 = 0, -2*n - 2 = q. Solve 20 = 7*v - q*v for v.
4
Suppose -8*s = -11*s. Solve 0 = -s*f - 5*f for f.
0
Let c(h) = 3*h**2 - 4*h + 2. Let f be c(4). Let t = f - 19. Let k be (-16)/(-6)*t/20. Solve 0 = -a + 3 + k for a.
5
Let d = 1 + 1. Suppose 0 = 2*z - z - 4*r + 5, 0 = r - 2. Solve 0 = d*q + z*q for q.
0
Let m = -6 - -9. Let x = m + -1. Solve 2*v - x = 3*v for v.
-2
Let z = -22 + 36. Let s be (11 + -1)*(-8)/(-16). Let d be (-3)/15 - 2/(-10). Solve -s*j + z + 11 = d for j.
5
Let j = -47 - -50. Solve -m + 16 = j*m for m.
4
Let k(t) = 2*t - 6. Let b be k(8). Suppose -2*q + 2*f = -4, -16 = -5*q + f + b. Let x be 1 + -1 - (0 + -4). Solve q*s + x = 2*s for s.
-1
Let b be 1*5*2/2. Let w be (-68)/16*-1 - 7/28. Solve b*z + w = -16 for z.
-4
Let f be (2 + -1)/(1/9). Solve -2*p + f = -5*p for p.
-3
Let v = -16 - -7. Let c be ((-9)/6)/(v/30). Suppose -8 = -c*b + b. Solve 1 - 3 = b*w for w.
-1
Let i(j) = 2*j - 10. Let u be -1*7 - (-2 - 0). Let d(w) = -3*w + 15. Let z(t) = u*d(t) - 8*i(t). Let l be z(5). Solve 0*s + s = l for s.
0
Let w = 14 + -12. Suppose l + w = 5. Solve 1 = 2*p - l for p.
2
Suppose 0*b = b - 8. Solve b = -2*c - 0*c for c.
-4
Let o = -77 + 93. Solve -t + 5*t + o = 0 for t.
-4
Let v be (2 + 26/(-10))/((-7)/35). Solve 3 - 15 = v*k for k.
-4
Let h = 4 - -1. Suppose 4*n - 2*d - 34 = 0, -4*n - 4*d + 62 = n. Let k be h/(n/16) + 2. Solve -v - v = -k for v.
5
Let i be (2 - 1)*(1 + -2). Let b(r) = -r**2 + 1. Let g(h) = 3*h**2 - 3. Let l(k) = 8*b(k) + 3*g(k). Let v be l(i). Solve v*y = -y for y.
0
Let k be (0/(-4))/(4/(-2)). Solve k - 5 = h for h.
-5
Let o = -26 - -30. Solve 0 = -o*t - 0*t - 4 for t.
-1
Suppose 7 = -2*p + 9*p. Solve p = -2*x + 3 for x.
1
Suppose -6*j + 9*j - 6 = 0. Solve j*v - 2 - 2 = 0 for v.
2
Suppose -7*w - 12 = -9*w. Suppose t + t = -22. Let d = -7 - t. Solve -w*k + d*k + 6 = 0 for k.
3
Let w be 3*(-4)/(-12)*2. Solve w*r = -4 + 2 for r.
-1
Let x be 2/(-10) + 2/10. Suppose 4*f + f - 10 = x. Let d be (f/4*0)/1. Solve d = 3*z - 2*z for z.
0
Suppose 4*y + 4 - 32 = 0. Let g = y - 4. Let h = -1 + 6. Solve h*i = g*i - 8 for i.
-4
Let a(n) = -n**2 + 16*n + 8. Let m be a(16). Solve 0 = w + w - m for w.
4
Let v = 16 + -1. Let d = 19 - v. Solve -2 - d = -3*r for r.
2
Suppose 1 + 2 = -a - f, 3*a - 5*f = 15. Solve -2*r - r - 15 = a for r.
-5
Let d(i) = 5*i**2 - i. Let z be d(2). Let m(q) = 23*q**2 + 6 - q**3 - 9*q**2 + 0. Let c be m(14). Solve 4*l = z - c for l.
3
Let k(p) = -2*p**2 - 9*p + 18. Let a be k(-6). Solve -3*d - 6 = -a*d for d.
-2
Let a = 27 - 24. Solve -a*h + 16 = 4 for h.
4
Let a = -32 + 36. Solve -a*h - 2 = -5*h for h.
2
Let r be 11/(-4) + (-27)/(-36). Let y be (0 - (2 - 3))*1. Let g be (-2 - r)/(y - 2). Solve m = -g*m for m.
0
Suppose -m + 2 = -0*m. Suppose -m = -a - 0*a. Solve -t = a*t for t.
0
Suppose -4*r - 3*t + 30 - 2 = 0, -5*r + 4 = -4*t. Suppose -2*q - 10 = -r*w, 0 = 2*q - 5*q - 2*w + 17. Solve -2*s - q = -s for s.
-3
Suppose 2*i = -0*i + 6. Solve -h - 2 = -i*h for h.
1
Suppose 0 = -3*h + 2*h + 11. Let p = h + -7. Solve 7*b - p*b = -9 for b.
-3
Suppose 4*p - 33 = -7*p. Solve -2*b - 7 + p = 0 for b.
-2
Let u(o) = -o**3 + 5*o**2 + 2*o - 2. Let h be u(5). Solve -4*g - h = -0 for g.
-2
Suppose 3*y - u - 5 = 4*u, -2 = -2*y + 2*u. Solve y = 5*i - 3 - 22 for i.
5
Let x(u) = -3*u**3 + u**2 - 1. Let c be x(-1). Let v(z) = -z**2 - 12*z - 8. Suppose -6*k + 11*k = -50. Let n be v(k). Solve -3*s + c = -n for s.
5
Let d(n) = n + 9. Let a be d(-6). Solve 3*g = -6 + a for g.
-1
Suppose -24 = -u - 11*u. Solve -u*y + 5*y = 0 for y.
0
Suppose -5*z - 3*t + 9 = 0, 3*z + 0*t - 3*t - 15 = 0. Let r be 0 + z + (-17)/17. Solve 4*m - r*m = 0 for m.
0
Suppose -5*r = -r. Solve 0*q -