
2
Let p(j) = -j**2 - 11*j - 10. Let d be p(-10). Solve d = 2*a - 0 - 4 for a.
2
Let x = -104 + 141. Suppose -i - 4 = -5*l + 10, 5*l + 2*i - 2 = 0. Suppose -8 = -s - 4*v, v - l*v = -3*s + x. Solve -3 - s = -3*z for z.
5
Let w = 8 + -7. Let q(i) = -7 + 5*i**2 + 2*i - 6*i**2 - 10*i + w. Let v be q(-6). Solve l - v = -l for l.
3
Let p = 11 + -11. Solve r + p*r + 3 = 0 for r.
-3
Suppose 5*k = -5, 2*n + 2*n + 5*k = 43. Solve -t = 3*t - n for t.
3
Let s be 2/(-13) + 10/65. Solve m = -s*m - 2 for m.
-2
Let v(u) = -u**3 - 5*u**2. Let i be v(-5). Let r = i - 0. Suppose -5*x = -0*x. Solve r = -x*l - 2*l + 8 for l.
4
Let q = -20 - -20. Let w be q/(-5 + 1) - -4. Solve -3 = w*b + 5 for b.
-2
Let l(i) = -2*i**3 + i**2 - i - 1. Let h(f) = f**2 + f + 2. Let a be h(0). Let v be l(a). Let q be ((-10)/v)/(1/3). Solve -7*x = -q*x for x.
0
Let c be 25/5 - (2 + 0). Suppose c = -m + 2, 5*v = -m + 9. Suppose -3*g + 8 = g. Solve 0 = -v*f - g*f for f.
0
Let a = 13 + -34. Let m = -13 - a. Solve -m*n + 4*n = 12 for n.
-3
Suppose -1 = -2*l + 7. Suppose 0 = 3*q - 6 - 0. Solve -14 = l*c - q for c.
-3
Let c be (-2)/((56/(-12))/7). Solve 5 = -c*m + 8*m for m.
1
Suppose 2*u + v + 3 = 9, -36 = -4*u + 4*v. Suppose -5*a = -2*w - 12, -a + u*w = 2*a - 11. Solve 0*j - 6 = a*j for j.
-3
Let f = -4 + 7. Suppose f = -0*o + 3*o. Let t = -1 + o. Solve -4 = -k - t for k.
4
Suppose -4*c + 60 = -12. Solve 5*t - c = 2 for t.
4
Suppose -3*o - 4*f = 22, 5*f = -4*o - 19 - 11. Suppose 0 = 5*d - 2*p + 116, -3*p - 2*p - 7 = d. Let t = o - d. Solve -t = x - 5*x for x.
3
Suppose f + 2*f + s = 14, -f - 6 = -5*s. Let a(q) = -q**3 + 2*q**2 - 1. Let b be a(1). Suppose b = g - 1. Solve -r - f = -g for r.
-3
Let i(r) = 5*r**2 + r + 2. Let o be i(-1). Solve 0*a - 3*a + o = 0 for a.
2
Suppose -6 = y - 3*y. Suppose -2*u - y*u = 0. Solve -7*z + 3*z - 20 = u for z.
-5
Let i be 0 - (-7)/((-28)/(-12)). Suppose 3*b - 2*k - 42 = 2*k, -4*b + 49 = -i*k. Solve b*s = 5*s + 10 for s.
2
Suppose -9*k + 5*k - 64 = 0. Let a = k + 20. Solve -1 = a*l + 15 for l.
-4
Let k(t) = 4*t. Let j = 14 - 13. Let r be k(j). Solve 0 = -3*o - o + r for o.
1
Let d = 6 + -4. Let o = 146 - 143. Solve o*f - 1 = d*f for f.
1
Let p(q) = -q**2 + 3*q - 1. Let n be p(3). Let v(c) = 5*c**2 + c + 1. Let i be v(n). Suppose -j = 4*d - 15, -2*d - 5*j = -0*j - 3. Solve d = 3*b - i for b.
3
Let p(m) = -m - 10. Let d be p(-5). Let v = d + 10. Let q be 1/(v/2 + -2). Solve -q*j + 7*j + 25 = 0 for j.
-5
Suppose 0 = -5*w - w + 12. Solve -6 = g + w*g for g.
-2
Suppose 5*i + 5*n = 30, 6*i - i + 4*n = 26. Let m = 4 - i. Solve -k = m*k for k.
0
Let x(u) = -u**3 + 3*u**2 - 1. Suppose -w = 4*q + 2*w - 17, -5*q - 3*w = -19. Let a be x(q). Solve 2*s = 3 + a for s.
3
Let a(b) = -b**3 - 4*b**2 + b + 5. Suppose -3 = -j - 0. Suppose 0 = j*d + 11 + 1. Let u be a(d). Solve 0 = 5*g - u + 21 for g.
-4
Let l(k) = k**3 - 7*k**2 + k + 3. Let x be l(7). Solve 35 = -5*o + x for o.
-5
Let b = 11 - 6. Suppose z = b*z. Solve z = -t - 0*t for t.
0
Let u(s) = -4*s + 8. Let p(w) = -9*w + 16. Let f(h) = 3*p(h) - 5*u(h). Let x be f(6). Let k = 50 + x. Solve 3*r + r + k = 0 for r.
-4
Let q(y) = 24*y**2 - 2*y + 1. Let m be q(1). Suppose 5*j = -3*l - 3 + m, 0 = -3*j + 3. Solve -8 = -l*v + 12 for v.
4
Let j = 0 + 0. Let p = 0 - 0. Let f = p - -2. Solve f*x + j = 2 for x.
1
Let f(g) = -g**3 + 5*g**2 + 5*g + 8. Let t be f(6). Let b be -1*2*(1 - t). Solve 3*c - b*c = 4 for c.
4
Suppose -5*a + 0*r = -4*r - 8, 0 = -4*a + 2*r + 4. Suppose a*x - 2*x + 16 = 0. Suppose 0*s + x = 2*s. Solve v = -v + s for v.
2
Suppose -a - 4*a + 10 = 0. Suppose -y = a*y - 27. Let o be -2*y*(-4)/6. Solve -2*u - 2*u + o = 0 for u.
3
Suppose 2 + 5 = g. Let t be (-5)/(15/(-678)) + -2. Let b be (t/35)/(1/5). Solve -5*c = b - g for c.
-5
Let q be (-3 + 3 + 6)*2/2. Solve -11 = -5*r - q for r.
1
Let t(h) = h**3 + 2*h**2 - 3*h - 4. Let a be t(-1). Solve -3*k - 1 - 14 = a for k.
-5
Suppose 4*x = l + 2*l + 1, 2*x + l = 13. Let t(f) = f**2 - 4*f + 6. Let v be t(x). Solve -v*g = -g for g.
0
Let p be 6/9*30/4. Suppose -2*z = -3*z - 3*l + 10, -2*z + p = l. Solve 0 = f + 4 - z for f.
-3
Let u be (-150)/(-20)*(-2)/(-3). Solve 4*t + u = -3 for t.
-2
Let s(p) = 3*p - 1. Let w be s(2). Suppose -w*v + 3*v + 4*k = -18, -k - 3 = 0. Solve 2 = x - v*x for x.
-1
Let y = 3 - 5. Let d = -1 - y. Suppose -4*x + 9 = 4*u + d, 2 = -3*u - 5*x. Solve -3*t - u = -t for t.
-3
Let o be ((-14)/21)/((-4)/6). Suppose 0 = 2*k - o - 13. Suppose 8 - 4 = 2*g. Solve 0 = g*v - k*v + 25 for v.
5
Suppose 0*x + 3*x - 12 = 0. Let d(t) = t - 4 + x. Let o be d(0). Solve h + 0*h = o for h.
0
Let b be (0/1)/(-5 + 4). Solve -2*q + 5*q + 9 = b for q.
-3
Suppose 0 = k + w - 9 + 3, -w + 8 = 2*k. Let i = 3 - k. Suppose 2*a + i + 1 = g, 8 = g + 4*a. Solve -n - g = -5*n for n.
1
Let r = -54 + 86. Let b(n) = -n - 2. Let c be b(-6). Suppose -c*t = -2*t - r. Solve -y = 3*y + t for y.
-4
Suppose 0 = -4*i - 3*z + 71, 5*i - z - 9 - 94 = 0. Let c = 9 + -4. Solve c*r - i = r for r.
5
Let z be (-9)/(-9) + 3 + -1. Let j be (-102)/(-9) - (-2)/z. Let x be 1*(1*4 + 0). Solve -x*t = -t - j for t.
4
Suppose -10*m + 108 = -7*m. Suppose -4*q + m = -0. Solve 4*b - b = -q for b.
-3
Suppose 3*s - 4 = -4*q, 0 = 4*q - 5*s + 3*s - 24. Let w(n) = -n**3 - 4*n**2 + 4. Let m be w(-3). Let j = -5 - m. Solve 2*i - 6*i - q = j for i.
-1
Suppose -5*r = -0 + 5. Let c(p) = 19*p. Let i be c(r). Let w be 4/10*(6 - i). Solve 3*x = -4 + w for x.
2
Suppose 0*u + 4*u - 4 = 0. Solve -2*s - 11 = -u for s.
-5
Suppose 3*z - 5*z + 20 = 3*k, -4*k - 3*z = -28. Suppose 0 = -0*q - 2*q. Solve 0 = -u + k - q for u.
4
Let j be (-6)/4*(-8)/3. Suppose 2*n - 2*d = 5*n, 4 = -4*n - j*d. Suppose 0 = -3*u, -n*u - 5 = 4*x - 17. Solve 3*m - x = 6*m for m.
-1
Let m be (-1 - 1)*(6 - 7). Solve -4 = -m*z - 2*z for z.
1
Let w be (-1)/(-2) + 4/(-8). Suppose -3*d - 5*g = -15, -2*g - g = 5*d - 25. Solve w*m = d*m for m.
0
Suppose 0 = 2*p - 38 + 16. Let z(k) = k**2 - 12*k + 13. Let y be z(p). Suppose 0 = y*q + q - 6. Solve 2*h + q = -0 for h.
-1
Let y = 6 - 4. Solve 0 = -3*p - y*p - 5 for p.
-1
Let f(h) = 4*h**2 + 6*h. Let m(i) = i**2 + 1. Let c(y) = f(y) - 5*m(y). Let p be c(4). Solve -z + p*z = 2 for z.
1
Let q(h) = -h**2 + 3*h + 4. Let j be q(3). Let t be (22*1)/((-4)/2). Let r = -6 - t. Solve j = r*y + 19 for y.
-3
Let u = 6 - -70. Let r be 6/(-14) + u/14. Solve r*j + 17 - 2 = 0 for j.
-3
Let b(i) = i**2 + 9*i - 2. Let z be b(-9). Let c = -3 + 2. Let h be (z - -5) + c + 0. Solve 4*x + h = 18 for x.
4
Suppose -c + 9 = 2*c. Solve -2*j + c = j for j.
1
Suppose -j + 1 = 2*b - 17, 0 = -5*b + 4*j + 19. Solve -b = -3*w - 1 for w.
2
Suppose 0 = 8*h + 21 - 53. Solve -h*i = -2*i - 8 for i.
4
Let n be ((-6)/(-2))/((-22)/(-8) + -2). Solve 5*a = n*a + 3 for a.
3
Let c(o) = -o + 13. Let v be c(11). Suppose v = 4*x - 22. Solve 0 = x*l - l + 10 for l.
-2
Let i(m) = -3*m**3 + 3*m**2 + 3*m + 1. Let q be i(-1). Solve -2*h - q - 6 = 0 for h.
-5
Let i be (-4)/6*(-21)/2. Let p(q) = 1 - i + 2 - q. Let d be p(-5). Solve -d = -r + 4 for r.
5
Suppose 30*z = 33*z. Solve 0 = 6*i - z*i + 24 for i.
-4
Let p(l) be the second derivative of -2*l**3/3 - 13*l**2/2 - 2*l. Let b be p(-7). Solve -2*c = c + b for c.
-5
Suppose -5*l + 8 = -12. Let p(w) = 4*w - 35. Let b be p(10). Solve -l*u = -13 + b for u.
2
Let x(i) = i**2 - 4*i + 3. Let q be x(6). Suppose -q = -j - 4*j. Suppose -4*w = -j*k + 25, -w + 0 - 1 = k. Solve k*z = z for z.
0
Suppose 0 = 4*c + 3*h + 3, -3*c + 2*h + 3 - 1 = 0. Solve -4*j = -c*j - 20 for j.
5
Suppose 5*x = 5*o + 45, 0 = -4*x + 3*o - o + 32. Solve 10 = -x*u + 2*u for u.
-2
Suppose -3*j - 2 + 14 = 0. Suppose -10 = -5*h - 4*d, -j*h + 0*d + 8 = 4*d. Solve -3*m - 1 = h for m.
-1
Suppose 5*c = c - 28. Let n = c + 15. Solve 4 = 3*y - n for y.
4
Let v(y) = y**3 + 15*y**2 + 16*y + 29. Let x be v(-14). Solve -15*q = -16*q - x for q.
-1
Let b(q) = 78*q - 1. Let a be b(2). Suppose 3*z - 425 = 5*u - a, -5*z = -4*u - 437. Let w = z + -60. Solve 0 = 4*c + c - w for c.
5
Suppose x - 21 = -x - 5*m, -3*x + 2*m = -3. Suppose -i + 4*q = -12, -i + 5*q + 5 = -10. Suppose i = -4*h + 12. Solve 12 = -x*j + h for j.
-3
Let z be 9/3 - (-1 - -1). Suppose 4*j + 5*k = j + 9, 0 = 4*j - 2*k - 12. Suppose -5*r - j = 3*q, 0*r + 2*r - 3*q = z. Solve -n = -r*n for n.
0
Let b(l) = 2*l - 