1
Let c = 66 + -66. Solve c = -3*d + 8 - 2 for d.
2
Suppose 152 = 5*y - 3*t - 585, 4*t + 16 = 0. Let v = 242 - y. Suppose 2*q = -w + 9, 0*w + v = 5*w - 3*q. Solve 4*i - w = -1 for i.
4
Let f(o) = 9*o**2 + 4*o + 2. Let b be f(-1). Suppose 24 = 2*g + g. Solve -5*j + b = -g for j.
3
Let p = 15 - 13. Suppose y + q = 3, -3*q + 8 = p*y + 1. Solve 3*x = -y*x - 15 for x.
-3
Suppose l + 5*l = -354. Let u = l + 60. Solve -2*i - 3 = u for i.
-2
Suppose -n = -3*z + 17, -3*z + z - 17 = 5*n. Let x(t) = -3*t - 12. Let k be x(n). Suppose -3*g = -4*g + k. Solve -2*b = 5 - g for b.
-1
Let s = -136 - -133. Let x be 0*(1 - s/(-2)). Solve x*p + p - 2 = 0 for p.
2
Suppose 2*g = -g + 3*i + 6, -2*g = 2*i - 16. Suppose 5*p + d - 9 = 20, -5*p = -4*d - 9. Suppose 0 = 3*q - p*t, 0*t + 13 = 5*q - 4*t. Solve -g = -2*j + q for j.
5
Let o = 9 + -7. Let p = 6 - o. Let h be (-1 - (3 - p))/1. Solve h = 2*m - 3 - 5 for m.
4
Suppose -3*o + 3*j = 0, 5*j - 15 = -3*o + 17. Solve o + 0 = -2*v for v.
-2
Let c = -63 - -63. Solve 8*b - 3*b = c for b.
0
Suppose 0 = -94*r + 91*r + 27. Solve r*z = -0*z + 9 for z.
1
Suppose 3*q + 4*r = -8, -4*q + 7*r - 3*r = -8. Solve 0*f + 6*f - 6 = q for f.
1
Let x = 252 - 252. Solve 11*c - 7*c = x for c.
0
Suppose -62 = 3*d - 77. Suppose r + 2*x = -r, 2*r + d = -3*x. Solve 11 = r*s + 36 for s.
-5
Suppose -2*d - 92 = -6*d. Suppose -10 - d = 3*w. Let b = w - -15. Solve 0 = -3*l - b - 2 for l.
-2
Suppose 0 = -a - 4*v + 12, -3*a - 4*v + 12 = -6*a. Solve a = 3*h - 1 - 2 for h.
1
Suppose -5*i = -3*y - 2*i + 18, 0 = 2*y + i. Suppose 9 = o + y*o. Suppose -2*a + o*a = 7. Solve 5*g + a + 8 = 0 for g.
-3
Let q(w) = w**3 - 7*w**2 - 9*w + 10. Let y be 4/(-6) + 26/3. Let h be q(y). Suppose -3*s - 2*b = -s - 14, 5*b - 32 = -4*s. Solve -h*g = -7 + s for g.
2
Let k(m) = -4*m**3 - 3*m**2 + 18*m + 5. Let g(s) = 5*s**3 + 2*s**2 - 19*s - 4. Let v(t) = -5*g(t) - 6*k(t). Let r be v(5). Solve r = -5*q - 0*q + 5 for q.
1
Suppose -23*w = -20*w + 15. Let t(x) = 3*x + 20. Let a be t(w). Solve 0*j = -a*j + 20 for j.
4
Let x(k) = 2*k**2 - 6*k + 9. Let j be (-8)/(-2) - (8 + -6). Let r be x(j). Solve 6*t = t + r for t.
1
Let w(c) = 4*c - 21. Let t be w(7). Let g be (-2 - (t - 8)) + (-12)/(-2). Solve 5 = g*r + 30 for r.
-5
Suppose -1 = -2*y + 5. Suppose -1 = -5*n + 9. Suppose 4*k + 5*m = 10, 2*m - 8 = -n*k - 2*m. Solve k = -y*x + 8*x for x.
0
Suppose 0 = k - 6 + 7, -f + 2*k + 20 = 0. Solve -7 = 25*q - f*q for q.
-1
Let o(g) = -19*g + 42. Let t be o(2). Solve -t*r = 11 - 7 for r.
-1
Let h(a) = a**2 - 4*a - 8. Let i be h(6). Suppose j + d + 3 = -1, 20 = -4*d. Suppose -10 = -18*n + 16*n. Solve j = -n*o - i for o.
-1
Let f(u) = -u**3 + 9*u**2 + 13*u - 9. Let i be f(11). Let w = i + 108. Solve w = m - 4 + 7 for m.
-3
Let t(u) = -3*u + 71. Let d be t(20). Solve -d = -5*n - 21 for n.
-2
Let p = -1259 - -1270. Solve 0 = -p*x - 8*x - 19 for x.
-1
Let i(y) = -y**3 + 8*y**2 - 9. Let n be i(7). Let u = n + -38. Solve -u = -p - 1 for p.
1
Suppose 4*z - l = 33 - 14, 0 = -3*z + 4*l + 24. Let h(b) = -b**2 - 8*b - 9. Let m be h(-7). Let y be (1 + m)/(7/(-35)). Solve -y*j - 14 = -z for j.
-2
Let p be (2/8)/((-2)/(-8)). Suppose -3*j + 23 = -p. Let b(m) = m**2 - 7*m - 2. Let k be b(j). Solve 4*r + k + 2 = 0 for r.
-2
Let x(v) be the third derivative of v**6/120 - 13*v**5/60 - v**4/24 + 8*v**3/3 - 2*v**2. Let i be x(13). Solve -4*f + i*f - 3 = 0 for f.
-3
Suppose 6*r = 15*r - 1179. Let c = -130 + r. Solve -13 = -4*h - c for h.
3
Let w(x) = -2*x**2 - 23*x + 23. Let a be w(-12). Solve 16*m - 20 = a*m for m.
4
Suppose 42 = 4*s + 14. Let c be (s + -7)/(-2 + 1). Solve c = g + 3*g for g.
0
Let l be 44/10 - (-2)/(-5). Let w be (-406)/(-126) - 4/18. Suppose -w*s = -4 - 2. Solve -s*i + 2 = -l for i.
3
Let y = 1 - -6. Let c be (4/(-6))/(2/48). Let u be 9/6*c/(-3). Solve -3*b - u = y for b.
-5
Let z be (8 - (5 + -6))*1. Solve -z*o = -5*o - 12 for o.
3
Let p = -305 - -317. Solve w - 7*w + p = 0 for w.
2
Suppose 0 = 4*w - 3*u - 25, 3*w - 46*u - 21 = -43*u. Solve 35 = -w*r + 23 for r.
-3
Let y(s) = -s**2 - 6*s - 5. Let a be y(-5). Let l(f) = f**3 - 3*f**2 - 6*f. Let u = -2 - -7. Let o be l(u). Solve a = -3*p + 7*p - o for p.
5
Suppose -130*d - 15 = -133*d. Suppose 0 = -5*q + q + 20. Solve -q = d*z + 15 for z.
-4
Let y = 91 + -91. Solve 3*g - 6*g - 15 = y for g.
-5
Let a = 12 + -9. Let w be (7/7)/((-2)/(-44)). Suppose -g = -a*g + w. Solve -9 = -5*i + g for i.
4
Suppose 32*i + 40 = 42*i. Solve i*z = 7 - 11 for z.
-1
Suppose -23*c + 451 = -34*c. Let s = 44 + c. Let o = -6 - -11. Solve -s*f = -o*f - 6 for f.
-3
Suppose 2 = -2*f + 12. Suppose c - f + 5 = 0. Solve 0*w + w - 2 = c for w.
2
Let k(i) = i**2 - 1. Let l be k(0). Let d be l/(-2) - (-9)/6. Suppose 5*t + 0*o - 35 = -5*o, 0 = d*t - 3*o - 29. Solve -4*y = y - t for y.
2
Let k = -1 + 1. Suppose -2*m + 3*y = -32, 0 = -11*m + 10*m + 5*y + 16. Solve -5*h + h + m = k for h.
4
Let h be 7 - 3 - (-1 + 3). Let j be -2*(-1)/h*1. Let l(s) = 6*s**3 + s**2 - 3*s + 1. Let b be l(j). Solve 0 = b*d - 0*d - 20 for d.
4
Let a = -22 - -24. Let h(o) = o**3 + 9*o**2 + 15*o - 13. Let w be h(-6). Solve -a*s - 1 = -w for s.
2
Let c = -29 - -33. Suppose 4*a + 6 = 3*b, 5*a - c*b + 4 + 4 = 0. Let w be (-3 - (-3 + a)) + 6. Solve -w*j = -j for j.
0
Suppose 0*c - 18 = -3*c. Let g(n) = n**2 + 9*n - 6. Let d(j) = 3*j**2 + 19*j - 12. Let a(w) = 2*d(w) - 5*g(w). Let t be a(c). Solve -3*x + 7*x + 12 = t for x.
-3
Let c be 63 - (15 + 18/(-3)). Solve c*d = 48*d - 18 for d.
-3
Let s(b) = -b - 14. Let q be s(-12). Let h be 3 + ((-4)/1)/q. Suppose -h*c + 26 = 6. Solve c*f - 3 = 5 for f.
2
Suppose 3*v - 4*z - 13 = 0, 2*v - 4*z = 5*v - 5. Suppose 0 = -18*s + 19*s - v. Solve s*m = -2*m for m.
0
Let g(u) = -3*u - 4*u**2 + 7*u**3 + 0*u**3 - 6*u**3 - 7. Let z be g(5). Solve -z*a = 2*a for a.
0
Suppose 19 = 5*t - 11. Suppose 0 = -2*b - 0*r + 3*r + 46, -5*b = -4*r - 108. Solve t*c = c + b for c.
4
Suppose -4*i = -6*i - 28. Let s = i + 6. Let g(l) = l**3 + 10*l**2 + 13*l + 8. Let w be g(s). Solve -5*u + w = 7 for u.
5
Let r be (-39)/(-2)*(-4)/(-6). Solve 40 = r*j - 5*j for j.
5
Suppose 3*m + 20 = 7*m. Suppose -a = -m*c - 0*c - 28, 5*c + 25 = 0. Solve a*o + 2*o = 25 for o.
5
Let y(k) = k + 16. Let z(d) = 2*d + 33. Let b(j) = -13*y(j) + 6*z(j). Let w be b(-6). Let a be (-42)/4*w/6. Solve 2*i + 1 = a for i.
3
Let t(f) = -f + 13. Suppose -6*d - 4*p = -3*d - 308, 0 = -d - 5*p + 88. Let w be (4/(-12))/((-4)/d). Let i be t(w). Solve i*o = 2*o for o.
0
Suppose 0 = -h - 2*y - 3, 5 = h + 3*y + 13. Let i = -1 - -10. Solve -4*k + h = -i for k.
4
Suppose 16*k + 3 - 35 = 0. Let l(h) = 4*h - 6. Let f be l(k). Solve q + q = -f for q.
-1
Let c = 90 - 89. Let y be c - (0 + 6 + -4)/(-1). Solve y - 7 = -n for n.
4
Let z(m) = -m**3 + 3*m**2 - 1. Let a be z(2). Let y be (a/(-6))/((-8)/48). Solve 5*v - y = 2 for v.
1
Suppose -15*v - 84 = -174. Solve 0 = v*s - 2*s - 8 for s.
2
Let b(u) = u**2 + u - 1. Let q be b(1). Let k be q/(15/204) - (-15)/(-25). Solve 0 = 4*s + k - 1 for s.
-3
Let q = 304 - 296. Solve 7*f + q + 27 = 0 for f.
-5
Suppose 0 = -2*o - 0*o. Let y(p) = -4*p + 1. Suppose j - 3 = -2*r, 5*r + 4*j + 10 = 5*j. Let f be y(r). Solve o = 3*c + 2*c + f for c.
-1
Let w be -2 - (4/20 + 2254/(-70)). Solve 22 = 13*q - w for q.
4
Suppose -3*l = -5*w + l + 28, 0 = 3*w + 5*l - 2. Suppose -8*o = -5*b - 3*o - 200, -224 = 5*b + o. Let s = b + 49. Solve -w*z + 3*z = s for z.
-5
Suppose -2*z = 2*u - 134, 10*z = -4*u + 12*z + 280. Solve u - 81 = -4*x for x.
3
Let w be (0/(-2))/(3/1 + -5). Suppose 0 = 4*t - 2*h + 3 - 13, -4*t + h = -15. Suppose -y - 4*y + t = w. Solve z = y - 6 for z.
-5
Suppose 4*a - 3*s = 15, -s + 5 = -4*a - 2*s. Suppose -9*t - 61 = -142. Solve 3*z + a = -t for z.
-3
Let b = -34 - -8. Let h = 41 + b. Suppose h = -8*y + 11*y. Solve l = y*l - 8 for l.
2
Suppose -k - 3*a = -2*a - 10, 5*a = k - 40. Suppose -4*q = -9*q + k. Suppose 0 = q*j - 27 - 3. Solve j + 5 = 3*l for l.
5
Suppose 32 = 4*q + h, -7*h + 4 = -8*h. Solve 8*l - q = 11*l for l.
-3
Let s be ((-1 - 0) + 2)/(-2 + 3). Solve 5 = -2*k + s for k.
-2
Suppose 5 = -5*d, 7*y - 3*y = d + 17. Suppose -45 = b - y*b. Let o = 15 - b. Solve -2*x = -o*x - 4 for x.
2
Let g(q) = 69*q**2 - 412*q - 10. Let v be g(6). Let h = 55 - 35. Let r be 8/h + 86/10. Solve -r = -v*y - 1 for y.
4
Let 