
-2
Let g = -53 + 55. Solve -p = -g*p - 3 for p.
-3
Suppose -3*t = 2*o - 6, -5*o + 5*t - 2 = 4*t. Suppose 0*u - u = -10. Let r = 12 - u. Solve -r*v + 4*v + 4 = o for v.
-2
Let t(u) = u**2 + 2. Let n be t(-3). Let v = n - 9. Solve -d - 5 = -v*d for d.
5
Let c = 7 + -3. Suppose c*k = 6*k. Solve k = 2*t - 4*t for t.
0
Let k(m) = 8*m + 2. Let d be k(1). Let a be 64/10 - 4/d. Solve 0 = a*u - 3*u - 3 for u.
1
Let m(z) = -z**3 - 2*z**2 - z - 6. Let t be m(-3). Solve -t*g + 2 = -4*g for g.
1
Suppose r - 20 = -2*r - 2*y, -2*r = -3*y + 4. Solve v = -v - r for v.
-2
Let c be (-4)/((-8)/2 + 2). Let o be (-242)/(-6) - 1/3. Let r = o + -24. Solve -2*t + r = c*t for t.
4
Suppose u + 4*u = 4*n - 19, 0 = 4*n - 4*u - 20. Solve l = n*l for l.
0
Let z(c) = c**3 - 2*c**2 - 3*c + 4. Let w be z(3). Let s be 2/7 - 1233/(-21). Suppose -4*p - s = -5*j, 6*j - 5*j - 4*p = -1. Solve -j = r + w*r for r.
-3
Suppose 0 = -3*c - 13 + 22. Solve -g + c*g - 4 = 0 for g.
2
Let s(x) = x**3 + 7*x**2 - 10*x - 12. Let v be s(-8). Let q be (v/(-7))/(6/(-21)). Solve 0 = l + q*l for l.
0
Let n = -2 - -2. Let p be -1*6/4*-10. Solve n*u + 3*u = p for u.
5
Let v be (-4)/6 + (-22)/(-6). Let u(i) = 2*i + i**2 + i**2 - i**2 - v. Let x be u(-3). Solve x = -b - 4*b - 15 for b.
-3
Let f be 28/8 - 2/(1 + -5). Solve 0 = f*l - 6*l for l.
0
Suppose 4*c - 2*c = 2*t - 16, -3*c - 3*t - 24 = 0. Let y = -3 - c. Solve -y*z - 27 = -7 for z.
-4
Let o(v) = -v**2 + 18*v + 89. Let h be o(22). Suppose -4*q + 0 = -20. Solve 9 = q*u - h for u.
2
Let w be 0*((3 - 0) + -2). Let o be (-5)/1*(-18)/30. Let m = w + o. Solve 0 + m = v for v.
3
Let v(k) = 5*k**3 - 18*k**2 + 13*k - 12. Let t(y) = 2*y**3 - 6*y**2 + 4*y - 4. Let f(n) = 8*t(n) - 3*v(n). Let i be f(-7). Solve -8 = i*g + 4 for g.
-3
Let g = 55 + -51. Solve 0 = -c + 9 - g for c.
5
Suppose 2*p - 3*o + 0*o = 1, -5*p + 11 = o. Suppose 0 = -f - 5, -14 = 3*t - 7*t - 2*f. Solve -t*m = -p*m for m.
0
Let x be 74/14 - 4/14. Suppose x*m = -4*l + 29, 5*l = l + 4*m + 56. Let c = -7 + l. Solve c*j = -j - 15 for j.
-3
Suppose -11*l - 20 = -16*l. Solve 0*r = 2*r + l for r.
-2
Suppose 5*j - 8 - 22 = 0. Suppose 0 = -3*x + j, 5*b - x - 2*x = 134. Suppose -24 = -4*t + b. Solve -t + 33 = 5*z for z.
4
Let c = 11 - 9. Let s be 7 + (2 - 0) + -2. Let p = 9 + -6. Solve c*v - p = -s for v.
-2
Let n = 6 + -6. Suppose n = -3*r + 5*r - 4. Solve -r*a = -3*a + 4 for a.
4
Suppose -q = -2 - 6. Let f be (-9 + 17)*(-1)/(-2). Solve 4 + q = f*p for p.
3
Let o be 3/2*2 + -1. Let h be (-14)/(-77) - ((-72)/(-33) + -2). Solve 0 = o*r - h*r for r.
0
Let p = 20 + -14. Solve 2*r - p = -0 for r.
3
Let d(q) = -q**3 - 5*q**2 - 6*q - 5. Let n be d(-4). Let x = 5 - 3. Solve 0 = -5*f + x + n for f.
1
Let c be 2 - (0/(-3))/2. Suppose 0 = -n + c + 2. Suppose 0 = 2*m - 0*m - 8. Solve -m*y + 2*y = -n for y.
2
Let c be (1 + 0)/(6/(-30)). Let m = -3 - c. Solve -4*r = -m*r + 6 for r.
-3
Let p = 7 - 4. Let d = -3 + p. Suppose -w - 1 = 3*f + 3, d = -5*w - 2*f + 32. Solve 2*y + 2*y = -w for y.
-2
Let o = -26 + 25. Let p(i) = 5*i**2 + 2*i + 2. Let n be p(o). Solve 0*k - n*k = -10 for k.
2
Let z be 4 + 1 - 1/1. Suppose 3*m + 9 + 10 = 5*w, 4*m = -2*w + 18. Suppose -3*o + m = -7. Solve z*j = -o - 5 for j.
-2
Suppose 0*o = -o + 2. Let k(n) = -2 - n**o - 4*n**2 - 2*n**3 + 2*n**3 + 5*n + n**3. Let l be k(4). Solve -b + l = -0 for b.
2
Let j be ((-13)/3)/(-1) + 3/(-9). Solve -g = j*g - 20 for g.
4
Let t(o) = -4*o + 26. Let q be t(5). Solve 3*c = c + q for c.
3
Suppose 22 = 5*p + 2. Suppose w = p*c + 15 + 17, 4*w = c + 8. Let u be (-2)/8 + (-18)/c. Solve u = 2*h - 3*h for h.
-2
Let b be 1*-2 + 2 - -34. Let u be (-2)/8 - b/(-8). Solve u*h + 2 = 5*h for h.
2
Let k = -62 - -71. Solve -u + k = -4*u for u.
-3
Let r(y) = y + 1. Let q(g) = g**2 - 11*g - 2. Let i(w) = q(w) + r(w). Let c be i(9). Let x = c + 16. Solve j - 10 = x*j for j.
-2
Suppose -2*n + 2*o = -4, 3*n - 2*o = 4*n - 11. Solve 0 = -0*v - n*v + 5 for v.
1
Let l be 2/(-4)*0/(-13). Solve -4*y + 3*y - 2 = l for y.
-2
Let u = -31 + 31. Suppose -19 = 5*c - f + 13, -c = 4*f - 2. Let n be (-4)/(-6) - (-4)/c. Solve -a + n - 5 = u for a.
-5
Let v = 26 + -14. Let w = 11 + -11. Solve -v = -3*z - w*z for z.
4
Let z = 2 + 5. Let s = z - 5. Solve s*k + k = 9 for k.
3
Suppose 0*z = -4*h - z + 149, 0 = -2*h + z + 67. Let l be ((-8)/16)/(2/h). Let r be -4*(l/(-4) - 3). Solve r*s - s = 0 for s.
0
Let r(b) be the first derivative of -b**2/2 - 2*b - 2. Let v be r(-4). Solve 20 = -2*i - v*i for i.
-5
Suppose -2*k + 5*p = 12, -4 = 3*k + k - 5*p. Solve 6 = k*f + 2 for f.
1
Suppose 0 = j + 2*j + 60. Let o be 1/4 + (-75)/j. Solve 0 = -2*r + o for r.
2
Let q(w) = -w - 6. Let y be q(-9). Suppose y*a = 19 - 4. Solve 0*f = a*f - 5 for f.
1
Let k(r) be the first derivative of r**2/2 - 2*r + 2. Let v be k(5). Suppose v*o = -0*o. Solve o*d = d - 2 for d.
2
Let h be (-2 - 4)*1/(-2). Suppose -6 = -0*c - 3*c. Solve -c*n = h*n for n.
0
Suppose 2*a + 0*u = u + 6, 0 = -4*a - 4*u + 24. Let s(j) = j + 1. Let x(f) = -5*f - 4. Let l(m) = -4*s(m) - x(m). Let z be l(6). Solve a*w - z = 14 for w.
5
Let d = -94 - -97. Solve 0*v = d*v - 15 for v.
5
Let o = -36 - -38. Solve 15 = -o*i + 7*i for i.
3
Let j(n) = 4 + n - 2*n + 4. Let a be j(7). Let d be -10*a*(-4)/8. Solve -5*u + d = -15 for u.
4
Suppose 0*b + 9 = 3*b. Solve 2*k - b = -5 for k.
-1
Let g be -2 - (-1)/(-2)*14. Let j be 12 - 1/((-3)/g). Solve 3*l = -0 + j for l.
3
Let h be 14/(-2)*(-2)/14. Solve -h = 2*q + 3 for q.
-2
Suppose -15 + 21 = 2*a. Solve -d = a*d for d.
0
Suppose 3*j + 2 = -y, y = -3*j - j - 3. Let z be 4/(-3)*3/(-2). Let x be 6/(-3) + z/y. Solve v + 0 - 1 = x for v.
1
Suppose -2*h = 27*h. Solve h*d + 2*d = -2 for d.
-1
Let v be (-4 - (4 + -12)) + 3. Solve -v*c - 25 = -2*c for c.
-5
Let p = 7 + -5. Suppose -3*q + 5 = p*q. Solve 2*h + q = -5 for h.
-3
Let c be ((-10)/(-4))/(1/2). Solve -t = -0 + c for t.
-5
Let r(w) = -6*w - 8. Let o be r(-9). Suppose 0 = 5*k + 3*m - o, -2*k + 22 = 2*m + m. Suppose -4 = 2*y - k. Solve -3*n + y*n = 0 for n.
0
Suppose 0 = -4*f - 1 - 3, -2*v = -3*f - 7. Suppose 5*n = 17*n - 240. Solve 3*y - n = -v*y for y.
4
Let s(x) = -3*x + 34. Let c be s(10). Solve -c*p = 6 + 10 for p.
-4
Let r = -19 - -39. Let u = r - 17. Solve 6*n = u*n + 12 for n.
4
Let p be (8/(-10))/((-4)/10). Let x = 3 + -5. Let z = p + x. Solve 0 = -z*m - m - 1 for m.
-1
Suppose -6 = q - 2. Let n = q - -1. Let p be ((-18)/(-15))/(n/(-50)). Solve -3*s = -8*s - p for s.
-4
Let r(g) = -1 + 5*g - 4*g + 3*g. Suppose -x = 4*n + 3, -1 = 3*x + 2*n + 2*n. Let q be r(x). Solve -2*f = -1 - q for f.
2
Suppose 5*o + 4*k + 2 = 0, 1 = -4*o + 3*k + 18. Solve o = l - 0*l for l.
2
Let w be (20/6)/((-26)/(-39)). Solve -w*h - 5 = 20 for h.
-5
Let i = 0 + 3. Let v be (-1)/(6/(-16))*(-3)/(-2). Suppose -v*d + 9 + i = 0. Solve d*k = -k - 4 for k.
-1
Suppose 0 = 5*h - 17 - 3. Solve -h*z + 10 = -6*z for z.
-5
Suppose 2*i = -5*b + 52, -3*i + 0*i = -3. Solve 0 = k - 3*k + b for k.
5
Let x(p) = p - 10. Let d be x(12). Solve 0 = -d*b + 9 - 1 for b.
4
Suppose 3*t = -2*n + 16, 0 = 4*n - 2*t + t - 4. Suppose 2*u - 6*u = -20. Let z = u - n. Solve -z = 4*o - 3*o for o.
-3
Suppose 0 = 2*x - 3 - 7. Solve 2*d - 12 = x*d for d.
-4
Suppose 2*p - 6 = 0, 4*p - 8 = -b + 10. Let t(z) = -6*z + 1. Let q be t(b). Let w be 12/(-66) - q/11. Solve -j - 8 = -w*j for j.
4
Suppose -60 = -0*k - 6*k. Solve 0 = -2*i - 0*i + k for i.
5
Suppose -o = -4*j - 3*o + 18, 6 = -2*j + 2*o. Let f(x) = 2*x**2 - 2*x - 1. Let c be f(-1). Solve j = m - c for m.
5
Suppose 0*k - 17 = 2*k - 5*i, 0 = i - 1. Let b be 112/24*k/(-7). Solve s = b - 6 for s.
-2
Let y = -3 - -6. Suppose -4*x - 26 + 2 = 0. Let q be 0*(1 - (-3)/x). Solve -15 + q = y*t for t.
-5
Let l(u) = -u**2 - 2*u + 3. Let j be l(-4). Let z(r) = r**3 + 4*r**2 - 5*r. Let w be z(j). Solve w*d = 3*d for d.
0
Suppose 3*d = 5*b, 4*d - 4*b = 3*d - 7. Solve -a + d*a = 16 for a.
4
Let i be (-15)/(-6)*(4 + -2). Solve 3*x - 8*x - i = 0 for x.
-1
Suppose -4*p + q + 25 = 0, 22 - 7 = p - 2*q. Let k(n) = n - 1. Let h be k(p). Let m = 1 - 1. Solve m = t - 2*t - h for t.
-4
Let k(h) be the first derivative of -h**4/4 - 8*h**3/3 + 4*h**2 - 6*h + 2. Let a be k(-9). Solve -a = 3*t - 0 for t.
-1
Suppose 3*w = a + 5, 2*a - 7 = -2*w - 1. Suppose w*u = -u. Suppose 3*c + 0*c - 6 = u. Solve 2*