 + 12 = -4*s, z = -2*s - 6. Solve b = 3*t + 14 + 1 for t.
-5
Let f = -23 - -30. Let s = f + -3. Solve -5*d = -6 - s for d.
2
Suppose -2*h + 3 = h + 3*c, c - 1 = h. Solve 2*u + 2*u - 4 = h for u.
1
Let q be (-28)/(-35)*(-10)/(-4). Suppose c = q - 5. Let n be -4 + 6 + c - -5. Solve -n*o + 0*o - 16 = 0 for o.
-4
Let a(u) = -u**3 + 7*u**2 + 8*u + 4. Let y be a(8). Let b be (-10)/y*60/50. Let m(h) = -h**2 - 3*h + 3. Let v be m(b). Solve -o - 6 = -v*o for o.
3
Let d(l) = l - 13. Let w be d(15). Let j be 4/(3 - (2 - 0)). Suppose -j*o = -w*o. Solve o = -t - 2*t - 3 for t.
-1
Let t(i) = i**2 - 5*i + 13. Let z be t(4). Solve -2*s + 5*s = z for s.
3
Suppose -2*r = 3*r - 15, -5*o - r = -18. Suppose b - 4*p + 22 = 2*b, -2*b - 2*p = -14. Suppose 2 = -s + b*s. Solve -s*h = -5*h + o for h.
1
Suppose 0 = 9*u - 5*u. Solve m + u*m + 3 = 0 for m.
-3
Let h(u) = u + 1. Let j be h(8). Solve -2*m - m = -j for m.
3
Let d = 62 + -50. Solve 4*w + d = w for w.
-4
Let n be 42/15 - ((-27)/(-15) - 2). Let i be ((2 - 1) + -2)*-4. Let o be ((-6)/i)/(1/(-6)). Solve 0 = -n*q - o - 6 for q.
-5
Let r be 162/10 - (-4)/(-20). Let d be (9/3 - r)/(-1). Solve d - 1 = -3*l for l.
-4
Let l be 20/6 + (-4)/12. Solve -l*b = b + 16 for b.
-4
Suppose 3*y = -3*m, -4*y + 0 = 8. Solve -12 = -m*j - j for j.
4
Let s(r) = 7*r - 2 + 4*r**2 - 5*r**2 - 3 + 1. Let g be s(5). Suppose g*c = c + 10. Solve 0 = c*p - 1 - 3 for p.
2
Let l(j) = -j + 12. Let n be l(7). Let c(o) = 2*o - 6. Let h be c(n). Suppose i = -h*i + 10. Solve i*g = 4*g for g.
0
Let v(n) = n**3 + 2*n**2 - 5*n - 2. Let o be v(-3). Suppose 49 - 153 = -4*k. Suppose 4*a = 2*l + 16, -3*l + k = a + 2*l. Solve o*z - a = 10 for z.
4
Suppose -o + 15 = 2*o, 3*g = 2*o - 10. Solve 2 = u - g*u for u.
2
Suppose 0 = 3*m - 0*m - 27. Let n = 11 - m. Solve n*o = -2*o - 12 for o.
-3
Let w(z) = z**2 - 5*z + 9. Let j be w(4). Solve 2*s + j = -1 for s.
-3
Let o(p) = -2*p - 20. Let u be o(-10). Solve 0 = -x - u*x for x.
0
Let z = -59 + 63. Solve -4*c - z = 8 for c.
-3
Suppose 2*w - 16 = -5*y, -18 = -4*w - 2*y - 2. Solve -5*i + w = 23 for i.
-4
Let n(m) = 2*m**2 + m - 2. Let u be n(-2). Solve -3*r + u = r for r.
1
Suppose -5*n + 0*n - 35 = y, 4*y = -4*n - 12. Let m be (-8)/(3 - (-3 - n)). Solve m = -z - 1 for z.
-5
Suppose -4*p = -5*p - 5*p. Solve p*s = -2*s for s.
0
Let l be (-5 - -3)*(-10)/5. Solve -3*d - 13 + l = 0 for d.
-3
Let w be (-4)/10 + 372/5. Suppose 4*o = 426 + w. Suppose -i = 4*i - o. Solve 2*g = 7*g + i for g.
-5
Let m(f) = -4*f**3 + 1 + 5*f**3 - 2*f + f - f**2. Let g be m(1). Solve g = -c + 2 + 1 for c.
3
Let l be (-2)/8 - 17/(-4). Let z(m) = 6*m**3 - 3*m**2 + m + 1. Let a be z(1). Suppose -a*u = 3*h - 17, u = -l*h - 2*u + 19. Solve 5*o = o - h for o.
-1
Let k(r) = -r**3 + 8*r**2 + 7*r + 20. Let u be k(9). Solve u = 4*y - 2 for y.
1
Let b = 11 - 8. Solve -b*v = -3 - 0 for v.
1
Suppose 2*r + 17 = 3*g, 0 = 4*g + 7*r - 2*r - 61. Solve 0 = x + 2*x - g for x.
3
Suppose -4 = -0*p + p, -t - 3*p = -8. Solve t = 2*l - 6*l for l.
-5
Suppose -3 - 1 = -w, w = 2*s. Let a(f) = 3*f - 7*f - 2*f**2 + f**s. Let u be a(-4). Solve 0 = -u*n - n - 3 for n.
-3
Suppose 37 = 3*w + 1. Let s = w + -8. Solve -l - s*l = -20 for l.
4
Let u(x) = 2*x - 1. Let j be u(6). Solve j - 2 = -3*a for a.
-3
Let n = -93 - -49. Let m = 69 + n. Let i be m/10 + (-2)/4. Solve i*g + 15 = -3*g for g.
-3
Let z(q) = q - 1. Let w be z(1). Let k be (w/2)/(4/(-2)). Solve k = v - 4*v + 15 for v.
5
Let x = -91 + 97. Solve -5*h = -x*h + 3 for h.
3
Let c(q) = -q**2 - 5*q + 8. Let x be c(-6). Let t be ((-3)/((-12)/8))/x. Solve -2*d + 3*d + t = 0 for d.
-1
Suppose -2*n + 0 = -30. Solve g = -2*g - n for g.
-5
Suppose 16 = -4*c - 0*c. Let j be (-24)/9*6/c. Solve j*d + d = 20 for d.
4
Let w(r) = r**2 + 10*r - 19. Let s be w(-12). Solve q = -4*q + s for q.
1
Suppose 2*r + 2 = 14. Suppose h + 15 = r*h. Solve 2*k - h = 5*k for k.
-1
Let m = 43 - 36. Let g(r) = 2*r**2 - 2*r + 1. Let y be g(1). Solve m + y = -4*w for w.
-2
Suppose -5*j = -x + 4*x, -25 = 2*x - 5*j. Let z = x + 9. Solve 0 = -2*v + z + 6 for v.
5
Suppose -3*u - 3*q + 3 = 0, 0*u = 5*u - q - 29. Let j = 21 - 13. Suppose -o - j = -u*o + 4*x, 4*x + 8 = -4*o. Solve o*y = 5*y for y.
0
Let b(d) = -16*d**3 + d. Let o be b(-1). Suppose -7 = 4*j - o. Solve f - 6 = -j for f.
4
Suppose 2*k + 18 - 6 = 0. Let s(b) = b**3 + 7*b**2 + 8*b + 12. Let l be s(k). Solve 5*f + l*f - 10 = 0 for f.
2
Let u = 4 - 3. Suppose -l = -4*z - 4, 2*l - 7 = 4*z - 3. Suppose 4*j - 35 + 7 = l. Solve u = 2*v - j for v.
4
Suppose 5*h - 3*z - 13 = 71, 0 = 4*h + 2*z - 54. Solve 0 = 3*m + h - 0 for m.
-5
Let l be (-1)/(-4) - (-10)/(-8). Let x = l - -4. Let o(z) = z**3 - 6*z**2 - 7*z + 3. Let y be o(7). Solve 0 = -y*n + 2*n - x for n.
-3
Let w be (-1)/(-3) + (-46)/3. Let u be (3*w/(-9))/1. Suppose 7 = 5*d + 3*v, 0*d + 4*v + 2 = -d. Solve -k + u = d for k.
3
Let d = 6 + -4. Suppose -10 = -d*z - 3*z, 0 = -5*x - 5*z + 15. Let r be -1*(-3 + 2) - x. Solve -i - 1 + 0 = r for i.
-1
Let h be (2*1)/((-8)/(-16)). Let t be (-45)/10*h/(-6). Solve 3*c = t + 6 for c.
3
Let a(j) = j - 7. Let y be a(9). Suppose 4*w = -3*q - 12, 9 = y*q - q - 3*w. Solve 6*n - 2*n = q for n.
0
Let y(j) = j**2 + 8*j - 2. Let k be y(-6). Let d be 4/(-6) + k/(-3). Suppose d*s = 6*s + 2*l - 8, -4*l = -5*s + 65. Solve 0 = 3*m - 0 + s for m.
-3
Suppose 4*g = -5*y + 5, y - 7*g + 2*g = 30. Solve y*w + 25 - 5 = 0 for w.
-4
Suppose 3*g - 2*v = -3*v - 72, -4*g = v + 95. Let n = -23 - g. Solve -h + 0*h + 3 = n for h.
3
Let o(j) = 13*j**2 - 2. Let w(p) = -7*p**2 + 1. Let l(i) = 6*o(i) + 11*w(i). Let t be l(0). Let y be (4 - t - -2) + 1. Solve 5*r - 12 = y for r.
4
Let l be 0 + -3*10/6. Let m(s) be the second derivative of s**5/20 + s**4/2 + s**3 + 7*s**2/2 + s. Let t be m(l). Solve -t*b + 7*b + 20 = 0 for b.
-4
Suppose 4*j - 9 - 7 = 0. Let s = j + -1. Suppose -2*p - n + 15 = 3*p, -p + s = n. Solve 2*q - 5 = -p*q for q.
1
Let m be (0 + -1)/((-2)/(-4)). Suppose 0 = 4*i - f - 18, -f + 31 = 5*i + 2*f. Let n = i + m. Solve n*j = j + 2 for j.
1
Let x = 1 + 2. Let c = -139 - -226. Suppose 3*y - 3*g - 54 = 0, 0*g - c = -5*y + 2*g. Solve 5*b - y - x = 0 for b.
4
Suppose -7*b = -3*b. Solve -4 = -2*i - b for i.
2
Suppose -k - 1 = -3*v - 4, -2*v = 2*k - 14. Solve k = -2*p + 4 for p.
-1
Let i = 6 - 2. Let p = 31 + -6. Suppose 4*j = y + 2*y - 15, 5*y - p = -j. Solve 4 = i*h - j for h.
1
Suppose -2*l = 2*l + 4. Let f be (4 - 2)/(3 + l). Suppose 0 = 12*a - 49 - 11. Solve f = -2*v - a for v.
-3
Suppose -3*o - 2*o = 4*r - 76, -2*o - 2*r = -32. Solve -2*p = -4 + o for p.
-4
Suppose -108 = -4*h + 5*l - 0*l, -2*l = h - 14. Suppose 4*j + k - 23 = 0, 2*j - h = -k - 3*k. Solve j = 2*w - 5 for w.
5
Let r = -2 + 5. Let t = 5 - r. Solve 0*s + 4 = -t*s for s.
-2
Suppose 2*p + 5 = 3*p. Suppose 34 = p*c - 1. Solve 3 = g + c for g.
-4
Let y be -4 - (3 - 5) - 4. Let z be (y/(-8))/(1/4). Solve -z*s + 22 = 7 for s.
5
Let q(h) = -h**2 - 6*h + 2. Let c be (2 + -2)*(-1)/(-2). Let a = c - 6. Let g be q(a). Solve -g*b - 3 + 11 = 0 for b.
4
Let r be (-2)/(2 + (-24)/9). Let c = 8 - r. Solve 0 = -t + c - 2 for t.
3
Suppose -5*z = -n - 4, -n + z + 0*z = 0. Solve 2 + n = 3*p for p.
1
Let k(c) = c**2 - 5*c + 4. Let o be k(4). Solve -4*m + m - 15 = o for m.
-5
Let o be 0/1*(-1)/2. Solve 0 = -o*k - k + 3 for k.
3
Suppose 4*s = 6 + 6. Solve s*t + 3 = 6 for t.
1
Let w = -4 - -6. Suppose w*g - 36 = -5*c, -2 + 6 = -2*g + 5*c. Suppose -2*h - 4*k + 24 = 0, -4*h = 4*k - 9*k + 17. Solve 0 = -0*q - h*q - g for q.
-4
Suppose -4*l + 67 + 33 = 0. Solve 0 = -f - 4*f - l for f.
-5
Suppose 2*b + 1 = b. Let s be -2 - 0 - (6 + b). Let j be 4/(-14) - 2/s. Solve j = -4*m + 5*m - 4 for m.
4
Suppose 18 = -10*g + 16*g. Solve g*k = 6 + 9 for k.
5
Suppose 0 = -2*o + m + 12, 0 = -5*m - 0*m - 20. Suppose 4*g - 2*g - 20 = 4*q, -g - o*q = -16. Solve z + 3*z = -g for z.
-3
Suppose 26 + 24 = 2*q. Solve 0*o - 5*o = q for o.
-5
Suppose 0 = 4*a + 2*f - 8 - 12, 4*a - 4*f - 32 = 0. Let o(d) = d**2 - d. Let h be o(2). Let y be ((-2)/(-4))/((-1)/(-4)). Solve -y*r = -h + a for r.
-2
Let d(v) = -v**3 - 12*v**2 + v + 12. Let i be d(-12). Let f = -3 - -7. Solve i*t = t + f for t.
-4
Let s(i) = i**2 - 7*i - 11. Let j(k) = 2*k**2 - 5*k + 6. Let x be j(3). Let u be s(x). Solve 2*r = u*r for r.
0
Let d = -76 + 76. Solve q 