 r = -j - j for j.
-5
Suppose 26 = d + d. Let a(g) = -2*g - 1. Let x be a(-7). Suppose -2*n - 3 = -x. Solve n*i - 12 - d = 0 for i.
5
Suppose 53 = 5*s - 7. Suppose 4*h = -0*h + s. Suppose 5*c - 96 = -d, h*c - 44 = d - 5*d. Solve -4*v + c = v for v.
4
Let a = 56 + -54. Let f = -1 - -1. Suppose f*k + k = 0. Solve a*z = -k*z + 4 for z.
2
Let f(a) be the second derivative of -a**5/20 + 2*a**4/3 + 3*a**3/2 - 2*a. Let i be (-2)/8 + (-37)/(-4). Let x be f(i). Solve -j - j = x for j.
0
Suppose -2*d + 14 = w, 5*w + 12*d - 44 = 15*d. Solve -8*g + 10*g = w for g.
5
Let c(t) = -t**3 - 9*t**2 + 21*t - 10. Let b be c(-11). Solve b = -5*v - 9 for v.
-2
Let t(j) = j**2 + 2*j. Let b be t(-3). Suppose -2*o + 1 + b = 0. Solve 5 = -3*i + o for i.
-1
Let s(y) = -y**2 + 4*y - 3. Let w be s(3). Suppose -5*q = m - 22, -5*m + 1 = 16. Suppose -3 = -q*d + 2. Solve w*x = -x + d for x.
1
Suppose t = 5*t. Suppose 4*w + 2 = -5*o, -4*o - 4 = 2*w - t*w. Solve 7*q = w*q for q.
0
Let x(o) = -o**3 - 4*o**2 - 2*o - 2. Let v be x(-3). Let g = 5 + v. Solve g = -u + 2*u for u.
0
Let j be 2/(-3)*15/(-10). Suppose -15 = -n + 3*m, 5*n - m = 2*m + 27. Solve -n*z = -14 - j for z.
5
Let y be (27/(-6))/(1/2). Suppose -4*o = o - 90. Let x = o + y. Solve x = 3*n - 6*n for n.
-3
Let n be -8 + 5 - (-10)/2. Solve 0*i = i + n for i.
-2
Let t = 110 - 108. Solve 0 = -t*b + b - 2 for b.
-2
Let s = 13 + -2. Let y = 0 + s. Solve y + 14 = -5*o for o.
-5
Suppose -4*l = -2*l - 30. Let z be l/2 + 5/10. Solve -4*k = -0*k + z for k.
-2
Let r(n) be the third derivative of -n**6/120 - 3*n**5/20 - 7*n**4/24 + 3*n**3/2 - 2*n**2. Let i be r(-8). Let z = 2 - i. Solve -2*s + z = -s for s.
1
Suppose -7 = x + 2*j - 6*j, -3*x - 4*j + 27 = 0. Solve x = 2*r - 3 for r.
4
Suppose -35 = -2*w - 5. Solve 0 = -4*c - 1 - w for c.
-4
Let a(w) = 7*w + 12. Let v(p) = p + 1. Let k(x) = -a(x) + 6*v(x). Let q(f) = -f**3 - f**2 - f - 6. Let j be q(0). Let b be k(j). Solve -5*i + 2*i - 6 = b for i.
-2
Suppose -3*n - 3*n + 12 = 0. Solve 0*y = n*y - 4 for y.
2
Let v = 83 + -68. Solve 6*m = m - v for m.
-3
Let g(a) = a**3 + 3*a**2 - 4*a + 3. Let m be g(-4). Solve 0*l - 12 = -m*l for l.
4
Let z be 24/(-6) + -1 + 10. Solve c = -4*c + z for c.
1
Let j(x) = -x - 1. Let w be j(-3). Suppose 3*i - 5*u + 13 = 0, -4*i + 6 = -4*u + 2*u. Suppose f + i*f = 35. Solve f*b = w*b + 15 for b.
3
Let h = 12 + -10. Let g be 33/(-22)*h/(-1). Solve 0 = 2*i + g*i for i.
0
Suppose 3*v + 18 = 6*v. Let g(a) = a**3 + a**2. Let m(f) = 7*f**3 + 7*f**2 - 1. Let r(i) = v*g(i) - m(i). Let c be r(-2). Solve -c*b + b - 20 = 0 for b.
-5
Let a = 19 - 7. Let i = 12 - a. Solve i*b + 3*b - 15 = 0 for b.
5
Suppose 0 = 5*m - 20, -16 = 5*w - m - 3*m. Suppose 3*r + y + 3 = w, 5 + 4 = r - 3*y. Solve 0 = 2*d - r*d + 10 for d.
-5
Let x be 26/12 + (-1)/6 - -4. Suppose 6 + 0 = 2*y. Solve -y*m = -0*m - x for m.
2
Let p = 39 + -39. Solve p = -0*t + t - 2 for t.
2
Suppose 4*x - 17 = -5. Solve 2*z = x*z + 5 for z.
-5
Suppose -2*f = 10, -f + 5*f + 44 = 4*u. Let w(b) = -11*b - 1. Let r be w(-1). Let l = r - u. Solve -1 - l = -c for c.
5
Suppose -i = -0*i + 2*n - 7, -2*n = 5*i - 19. Solve 5 + i = -4*m for m.
-2
Let i = 82 + -80. Solve 5*k - i*k = -3 for k.
-1
Let v be (-3)/(10/(120/(-9))). Let h(d) = -7*d**3. Let k be h(-1). Solve k*p = v*p - 9 for p.
-3
Let u(s) = 3*s - 1. Let h be u(-2). Let y = 3 + h. Let j = 6 + y. Solve 3*i - 5 + j = 0 for i.
1
Let j be (-3)/(-9) + (0 - 20/(-3)). Solve 2*a = j*a - 15 for a.
3
Let o be (-7 + -1)*(-6)/4. Suppose o = 2*d + d. Let x(n) = 4*n - 43. Let q be x(11). Solve d - q = 3*c for c.
1
Suppose 5*p + 4*q - 2 - 44 = 0, 4*p - 36 = -3*q. Solve 3 = -3*j + p for j.
1
Let n(a) = -a**2 - a - 2. Let v be n(-2). Let l = v + 6. Solve 6 - l = 4*u for u.
1
Suppose 0 = -i + 1 + 10. Solve 0 = 3*d - i - 4 for d.
5
Let h be (-2)/(-7) + (-2)/7. Suppose h = -0*l - 4*l. Solve -1 = c - l*c for c.
-1
Suppose 0 = -10*x + 14*x - 20. Solve -4*c = -x*c + 3 for c.
3
Let a = 8 - 3. Let c be (-5)/(a/(-22)) - 2. Solve -2*y - 3*y = -c for y.
4
Let k be 6 + -6*2/4. Suppose 5*d - 3*f = 38 + 11, -2*d = k*f - 7. Suppose 0*a - 5*p = -a + 28, -4*a - 4*p = d. Solve -c = a*c for c.
0
Let a(u) = -u - 6. Let b be a(-6). Let j be (b/1 - 2) + 10. Solve 0*c = 4*c + j for c.
-2
Suppose l = -0*l + v + 6, 0 = -2*l - v + 6. Solve 3*s + l = 10 for s.
2
Let t be ((-26)/(-65))/((-1)/(-5)). Solve 5*n + 7 = t for n.
-1
Suppose q - 13 = 5*v, 4*v + 22 - 8 = 2*q. Suppose x + q = 6. Suppose 12 = x*i - 0, 3*r - 25 = -4*i. Solve -r*s = -0 - 12 for s.
4
Let o = -3 + 6. Suppose 2 = -v + 2*y, o*v + 2*y = -2*y - 6. Let g = 4 + v. Solve u = -g*u for u.
0
Let d = -3 + 5. Suppose 0 = -3*a - s + 19, -5*a = -d*a + 3*s - 27. Suppose 0 = -l + a*w + 28, 3*l + w - 24 = 4*w. Solve p + l = 1 for p.
-2
Suppose 0*p - 2*a = -p - 6, 4*p + 2*a - 16 = 0. Suppose -3*r + 3 = -3*n, n = -n - p*r + 10. Solve 2*f + n*f = 16 for f.
4
Let o be 48 + -4 - 0/(-2). Suppose -s - o = -5*f, -4 = f - 4*f - 5*s. Solve -f = b - 4 for b.
-4
Suppose -4*b + 27 - 4 = -5*w, 2*b + 8 = -4*w. Let m be (-30)/12*8/(-10). Suppose 3*o - 4*n = 2*o, 0 = 4*o - m*n - 14. Solve -o*j = -b*j for j.
0
Let a(k) = k**2 + 3*k - 5. Let l be a(-5). Let b(h) = -h**3 + 7*h**2 - 5*h - 3. Let w be b(4). Solve w = -l*q - 0*q for q.
-5
Let u be (-5)/3*2/(-4)*6. Solve 2*i = -3 - u for i.
-4
Suppose -5*y + y + 44 = 0. Let a = y - 7. Let d = -3 + 3. Solve k + a = -d*k for k.
-4
Suppose 29*a = 22*a. Solve -4*z = -a*z for z.
0
Let v(l) = -l + 2. Let x be v(-3). Let c = 8 - x. Let w = 5 - c. Solve 1 = w*h - 5 for h.
3
Let j be 10/(-4)*(-42)/7. Let p(o) = 2*o**2 + 3*o - 2. Let r be p(-3). Let k = r - 1. Solve -k*i = -i - j for i.
3
Let b = 25 - 18. Let x = -2 + b. Let p be 1 + -2 - (-12)/1. Solve 1 - p = -x*z for z.
2
Let u be (-8)/60 - 107/(-15). Suppose 3*x - u*x = q - 28, 2*q = -3*x + 36. Solve 0*o - 3*o - q = 0 for o.
-4
Suppose -3*o - 2*o = -70. Suppose -t + 5*c = -5*t - 12, -o = 3*t + 5*c. Suppose b - 2*r - 1 = -11, -t*r = 2*b - 10. Solve b*y + y = 3 for y.
3
Let s(g) = -g**3 - 6*g**2 - 3*g - 3. Let b be s(-6). Let f be (b/(-10))/((-6)/80). Solve -6*d + f = -2*d for d.
5
Suppose 25 = -10*p + 15*p. Let r = p - 5. Solve r = -0*k + 4*k - 4 for k.
1
Let i = 6 + -1. Suppose 8 = 2*o + d - 2, 4*d + i = o. Solve 3*t = o*t for t.
0
Suppose -4*n + 73 - 13 = 0. Solve n = -6*c + c for c.
-3
Suppose -3*p + 2*p + 18 = 2*b, b + p = 10. Suppose 3*i - b*i = 0. Solve q - 3 = -i*q for q.
3
Let u = 14 + -12. Suppose 5*y - 16 = 3*y. Suppose -4*f = -s + 16, 2*f = 4*s - 3*s - y. Solve s*k + k = -u for k.
-2
Let c be (-3)/(1/((-21)/9)). Let g be (-2)/(-7) + 19/c. Suppose 12 = g*y - 0*y. Solve -v + y*v + 9 = 0 for v.
-3
Suppose -q + 2*n - 3*n + 3 = 0, -4*q + 3*n = 9. Let c = q - -2. Solve c*k + 2 = -0*k for k.
-1
Let l be -11 - -11 - -6*2. Solve 2*y + y = l for y.
4
Let y be ((-2)/(-2))/1 + 0. Solve y = g - 1 for g.
2
Let m be (-2)/(-4)*0*1. Suppose 10*q - 15*q = m. Solve -2*x - 4 + 2 = q for x.
-1
Suppose 2*w = w + 5. Solve w*c = -11 - 14 for c.
-5
Let i = -6 - -16. Let o be (-2)/5 - (-74)/i. Suppose -r = -2*b + 49, b + r - 86 = -2*b. Solve -o + b = -4*c for c.
-5
Let o(n) = n**3 - 6*n**2 + 5*n. Let h be o(5). Let z be (3 + h)*(-20)/(-6). Let p = z - 7. Solve 2*k = -p - 1 for k.
-2
Let r be 10/3*30/25. Solve -c = -r*c - 6 for c.
-2
Let t be (1 + 0)/(-1) + 13 + -8. Solve 0*l + 4 = -t*l for l.
-1
Let b be (-21)/(-6)*8/14. Solve -y + b*y = 0 for y.
0
Suppose 11 = h + 5. Solve 0 = -x + h*x - 10 for x.
2
Let q be 2/(-2)*3 + 15. Solve 0*t - q = 3*t for t.
-4
Suppose 15 = 3*t + 3*f, -4*t + 2*f = -0*f - 2. Solve -5*g - 3 = -t*g for g.
-1
Suppose 0 = -31*x + 22*x + 36. Let y be (-5)/(-2)*(1 + 1). Suppose y = k + 1. Solve -k*t - x = -0 for t.
-1
Suppose -4*k + 3 = -k. Let j = -1 + k. Solve -2*n + 3*n - 4 = j for n.
4
Let o = -29 - -29. Solve -4 + o = 4*n for n.
-1
Let u = 16 + -16. Solve u*p = -p for p.
0
Let w = -43 + 45. Solve -w*p - p - 12 = 0 for p.
-4
Let v be 0*((-20)/(-8) + -2). Suppose 2*k + 4*k - 42 = v. Solve -k = 5*b + 3 for b.
-2
Let o(z) = -z**3 + 7*z**2 - 6*z + 3. Let y be o(6). Let d be y/(3 - 42/15). Let v be 17/5 - 6/d. Solve -8 = -v*q + q for q.
4
Suppose 2*h - 2 = -8. Let o(l) = -2*l - 2. Let g be o(h). Solve g*x = 4 + 12 for x.
4
Let y be ((-10)/6 + 2)*15. Suppose 3*q + 0*q = 6. Solve q*