0*i for i.
5
Suppose 3*b - f + 2*f + 12 = 0, 15 = -5*f. Let m be 34/6 - 1/b. Solve -p = p + m for p.
-3
Suppose 29 = -z + t, 3*z - 2*t = -69 - 16. Let w = -27 - z. Solve w*o = -4*o + 4 for o.
1
Let s(w) = -w**2 - 8*w - 7. Let a be s(-6). Suppose -a*g - 4 = 1. Let j = 2 - g. Solve -j*p - 12 + 0 = 0 for p.
-4
Suppose -r - 2*r = 0. Solve r*g - 5*g + 10 = 0 for g.
2
Let s be (-1)/((-3)/6)*1. Suppose -x + s = x. Solve -x = -l - 4 for l.
-3
Suppose -6*d + 4 = -2*d. Let s(q) = q + 1. Let m be s(d). Solve -m*w = -0*w for w.
0
Let j be (-16)/(-32)*(0 - 0). Solve 0 = -4*a - j*a - 8 for a.
-2
Suppose -x + 3*r - 7 = -3*x, -18 = -3*x + 3*r. Suppose -2*s - 3 = -x. Solve -2*z = s + 1 for z.
-1
Let m(o) = -3 + 0*o - 2*o - o + 0. Let s be m(-8). Suppose -3*c - 3 = -s. Solve -c = -2*g - g for g.
2
Let u be -6*((-3)/3)/3. Suppose -2*v - u*v = -16. Solve n - v = -n for n.
2
Let b = -24 - -16. Let q be b/(-10)*15/6. Solve z + q = -0*z for z.
-2
Suppose 0*x + 43 = 2*x + 5*z, 2*z + 35 = 5*x. Solve -5*w + 11 + x = 0 for w.
4
Let l be 2/(-6)*-3*1. Let v = -1 + l. Let o(f) = -f**2 - 4*f + 1. Let p be o(-2). Solve v = w - p*w + 16 for w.
4
Let d(a) = a**2 - 2*a - 4. Let x be d(-2). Solve 0 = -2*r - 2*r + x for r.
1
Suppose -2*g + 46 = g + 5*q, -4*q = 4. Solve 5*a - 2 + g = 0 for a.
-3
Let q(k) = -k**2 + 10*k + 13. Let n be q(11). Suppose 4*i = -n*i + 24. Solve i = 4*p - 8 for p.
3
Let i = 3 - 1. Let b(x) = -5*x**2 + 3*x**i + 3*x**2. Let w be b(2). Solve 10 = w*j - 10 for j.
5
Let z(t) = -t + 2. Let o be z(-2). Suppose 53 = 2*f + 5*s - 21, -2*f + o*s = -56. Solve 5*j + 12 = f for j.
4
Let n = 40 + -23. Suppose 2*d - n = k, -2*d + 2*k + 5 = -17. Solve 3*o + 12 = d*o for o.
4
Let k(v) = 2*v - 4. Let p be k(5). Let d = p - 6. Solve d*w = -4*w + 16 for w.
4
Let p = -30 + 31. Let q(i) = 4 - i**2 + 0*i**3 + 8*i**2 - i**3. Let u be q(7). Solve p + 15 = u*o for o.
4
Suppose 0 = -y - y + 40. Suppose -2*l - 4*m + y = 0, -3*l - 9 = -4*m + 1. Let p be ((-1)/(-1))/(l/10). Solve p = n - 0 for n.
5
Let b be (1 - -19)/(7 - (2 + 3)). Solve 5*p = b - 0 for p.
2
Let b be (-2 - -1)*(10 + -13). Suppose 17 = 3*j + 2. Solve -7 = -j*o + b for o.
2
Let l be (2/6)/((-1)/(-15)). Suppose 0*m + 3*m = -2*w - 6, 3*w = m - 9. Solve l*z - 5 = -m for z.
1
Suppose -35 = -5*q - 3*h, -28 = -q - 3*q + 2*h. Let v = q + -13. Let g be 34/6 - v/(-9). Solve 3*x + g = -4 for x.
-3
Suppose -5 + 14 = 3*n. Suppose 12 = n*s, 3*v = 8*v - 4*s + 1. Suppose -c - o = -8, o - 4 = -v*c + 12. Solve -i - 1 = c for i.
-5
Let v = -20 - -23. Let x be v*6/9 + 25. Let o be (2*1)/((-2)/(-7)). Solve 5*k - x + o = 0 for k.
4
Let f(w) = w**3 + 12*w**2 - 13*w - 4. Let c be f(-13). Let z = -1 - c. Solve 1 = -z*d - 8 for d.
-3
Suppose 20 = -4*z, -5*n + 2*n = 4*z + 26. Let j be 2 + 2 - n/(-1). Solve -j*w + 0*w - 2 = 0 for w.
-1
Suppose -2*x + 18 = 2. Solve -x + 12 = j for j.
4
Let v be (1 - 3)/(6 + -7). Let w be (-1)/(-4)*0 + 12. Solve v*f = -f + w for f.
4
Let i = -3 + 5. Let u(b) = 0*b**i - 2*b + 4*b**2 + 1 - 3*b**2. Let w be u(3). Solve 0 = -2*m + w*m for m.
0
Let x be 6 + -2 + 0 + 1. Let l = 7 - x. Solve -4*d - 6 = -l*d for d.
-3
Let f(j) = -2*j - 6. Let h be f(-4). Solve 1 + 9 = h*s for s.
5
Suppose 33 = 10*s + 23. Solve -d + 0*d = -s for d.
1
Let f(t) = -2*t**3 - 3*t**2 - 3*t - 3. Let c be f(-2). Suppose -k - 6*d + d = 22, -k - 2*d - c = 0. Solve 4*r + k = 3*r for r.
-3
Let d(j) = 2*j - 16. Let v be d(13). Let m be (-9)/(-15) + 24/v. Let c be (16/(-10))/(3/(-30)). Solve m*w = -w - c for w.
-4
Let q be (-1)/3 - 1/(-3). Let a(z) = z + 4. Let m be a(q). Solve -m*v - 11 - 5 = 0 for v.
-4
Let i(k) = k**3 + 9*k**2 + 6*k + 4. Let a be i(-7). Suppose 0 = 5*t - 2*t - a. Solve 4*l + t = -0*l for l.
-5
Suppose -2*m + 5 = b + m, -2*b - 5*m + 9 = 0. Suppose b*i = -0*i + 40. Suppose 0 = 3*s + 9, -j + 0*j = -5*s - i. Solve -j*a = 1 + 9 for a.
-2
Let t be (10 - 2)*(-21)/(-28). Solve 3*q - t*q = 0 for q.
0
Suppose 2*p - 4*p + 5*x + 20 = 0, -5*p = -x - 4. Suppose p = -3*i + i. Solve i = -c - c for c.
0
Let s = -67 - -69. Solve -c - s*c = -6 for c.
2
Suppose z - 2*z + 3*g + 8 = 0, z - 4*g = 11. Let u be z/(((-3)/(-5))/(-3)). Let n = u + 0. Solve 2*q - n*q = -12 for q.
4
Let q be 2/6*6/(-1). Let d(k) = k**3 + 4*k**2 + 2*k - 1. Let l be d(q). Let i be (1 - -4)/(1 - 0). Solve i = l*p + 20 for p.
-5
Let h(y) be the first derivative of -y**2 + y - 1. Let m be h(-3). Let t be m - (2/2 - 2). Solve t = -4*o - 4 for o.
-3
Let h(u) = u**2 - 3*u + 2. Let b be h(4). Suppose 5*d - 4 = b. Solve -2*x - d = -x for x.
-2
Let y be (13 - 19)*1/(-3). Solve 0*v + 6 = y*v for v.
3
Let c be (-16)/(0 + 1)*-1. Suppose 16 = -4*x + 4*t, 0 = -6*x + x - 4*t + c. Solve x - 6 = -2*l for l.
3
Let n = -178 + 193. Let s(v) = 2*v + 2. Let x be s(3). Solve 0 = -x*q + 5*q + n for q.
5
Let n = -7 + 6. Let x = -2 - n. Let z = 2 - x. Solve -3*w + 6 = -z for w.
3
Let n = 64 - 61. Solve n*x - 5*x = -6 for x.
3
Suppose 6 = 4*x + 5*l, x - l - 2*l - 10 = 0. Let g be x/14 + 14/(-49). Suppose g = c - 0*c - 6. Solve c = y + 2*y for y.
2
Suppose -6*y + 3*y = -18. Let b = 8 - y. Solve -n + 4 = b for n.
2
Let d be 2/(-3)*30/(-4). Let m = d + -5. Suppose -3*u = 2*t - 7, 2*t - 2*u - 1 = u. Solve z + m = -t for z.
-2
Let v(b) = -9*b - 3. Let w = -5 - -3. Let l be v(w). Suppose -3*d - 20 = -5*o, 8*d = 4*d - o + 4. Solve 3*q + d*q = -l for q.
-5
Let x(v) = -2*v**2 + 2*v. Let j be x(2). Let o be j/(-3)*3/2. Solve -c - o*c - 12 = 0 for c.
-4
Let f(w) = -2*w - 1 + 4*w + 1. Let n be f(1). Solve 0 = -3*r + 2*r - n for r.
-2
Suppose 0 = 2*w - l - 5 - 1, 4*l + 12 = 4*w. Let b be 4 - (-5)/((-5)/2). Let y be (-2)/b - w/(-3). Solve -p = -y*p + 2 for p.
-2
Let c = -2 + 2. Let k = 42 + -24. Suppose 2*t - 2*f - k = 0, f = 2*t - 15 - 0. Solve c = -t*w + w + 5 for w.
1
Let p = -6 + 2. Let w = 0 - p. Suppose 4*j - o = -j + w, -o = -j. Solve -j = -m - 0 for m.
1
Suppose 0 = 3*j - 6 - 9. Solve 2*a = 3*a + j for a.
-5
Suppose 0 = -5*o + 2 + 8. Let t(c) = c**2 + 7*c - 7. Let m = 8 - 16. Let s be t(m). Solve s + o = r for r.
3
Suppose 4*d + 6 + 4 = -s, -3*d = 4*s - 12. Solve -c - s = 2*c for c.
-2
Suppose 2*i + 20 = 5*f - 14, 0 = -i + 3. Suppose 4*b + 5*s = -f - 12, 0 = -b - s - 4. Solve -x - x + 10 = b for x.
5
Suppose -2*w - w + 6 = 0. Solve 1 + 9 = w*v for v.
5
Suppose 4*c + 8 = 2*y, 2*y - 11 + 1 = 5*c. Solve y = 5*q - 0*q + 5 for q.
-1
Suppose 5*c - 5 = 0, -4*k + 3*c + 13 + 20 = 0. Suppose 1 = -4*y + k. Solve 2*j + 12 = -y*j for j.
-3
Suppose -4*x + 591 - 191 = 0. Suppose 5*c = 3*u + x, 5*c - 56 = -4*u + 44. Let b(v) = -v - 6. Let o be b(-6). Solve o*s + 5*s = c for s.
4
Suppose -4*y + 1 = -3. Let t be (-4)/8*(y + -11). Suppose -3*q = -t*l + 4 + 2, 3*l - 3 = 2*q. Solve 6 = l*v + 3 for v.
1
Let m(c) = c**3 - c**2 - 3*c - 6. Let w be m(3). Let p(r) = 4*r**2 + 3*r. Let u be p(-2). Solve -u = 5*v - w*v for v.
-5
Suppose -11 + 6 = 5*t. Let k be t + 1 + 8 + -3. Solve -3*z = -k*z - 10 for z.
-5
Let t = -2 - -4. Suppose -t - 1 = 3*k. Let x be (-2 + k)*(-2)/3. Solve 0 - x = -y for y.
2
Suppose 5*l - 12 = l. Solve -v = -2 - l for v.
5
Let y(z) = -z**2 + 2*z - 1. Let i be y(1). Solve 3*q + i - 12 = 0 for q.
4
Suppose 0 = 3*x - 3*n - 4 - 26, 22 = 3*x + 5*n. Solve -4*d - x = -25 for d.
4
Suppose -3*c = 3*h, 5*c - 4*c - 5*h - 12 = 0. Suppose -c*b = b - 27. Suppose -5*o = -b*o + 8. Solve 4 = -o*u + u for u.
-4
Let c be (0/(1 - 2))/3. Solve -3*x + 6*x - 3 = c for x.
1
Let l = -15 + 20. Suppose -l*y + 10*h = 5*h + 25, -5*y + h - 5 = 0. Solve -5*c = -y*c - 5 for c.
1
Let k be 4 + -3 + 1 + 2. Solve -4 = k*d - 0 for d.
-1
Suppose -2*f + 2*q = 6*q - 16, 2*q = 10. Let b be (-2 - 3)/(5/f). Solve -b*h = -7*h for h.
0
Let d = 35 - 32. Solve -1 = -2*g + d for g.
2
Suppose 0 = -y - 0*y. Suppose 2*z = -y*z + 2. Let p = 1 + z. Solve -p*m = 3*m - 20 for m.
4
Let g = 2 + 8. Solve h - 3*h = g for h.
-5
Let k = -18 + 25. Solve 3*z - 8 = k for z.
5
Let i(n) = 4*n - 2*n**3 - 2*n**3 + 1 + 2*n - 5*n. Let u be i(-1). Solve -3*v - 5 = u for v.
-3
Suppose -g = 3*g - 24. Suppose g = 3*c - 0. Solve c = k + 7 for k.
-5
Let p(a) = -2*a + 45. Let y be p(21). Solve 3*o - y = 3 for o.
2
Suppose -12*x - 27 = -75. Solve -h = x*h for h.
0
Suppose -3*c = -0 - 6. Suppose 2*u + 2 = 0, -3*s + 0*s + 14 = u. Suppose r + 4 = z, 3*z - 4*r - 16 = s*z. Solve c*n - 4*n = z for n