 = -18 for d.
4
Let t(p) = p**3 + 5*p**2 + 2*p + 2. Let j be t(-4). Let l be 2/4 - (-195)/j. Solve 0 = o - 5*o + l for o.
5
Let j = -31 + 51. Let p = -17 + j. Suppose -b - p*b = -16. Solve 0 = -b*x + 6*x for x.
0
Suppose 106 + 14 = 4*o. Suppose 0 = -2*h + 7*h + 5*z - o, 5*h + 3*z = 28. Suppose 24 - 98 = -3*j - 5*a, 4*j + h*a - 102 = 0. Solve 8 - j = 4*l for l.
-5
Let r be (5 + -16 - -10)*-1*5. Suppose -4*w - 3*d = -19, -w + 5*d + 3 = 4*d. Solve 1 = -r*z - w for z.
-1
Suppose 0 = 7*g - 10*g + 12. Suppose -5*v - 13*q + 14*q = -28, 26 = 4*v + q. Solve v*m = g*m for m.
0
Suppose 360 = 18*v + 162. Solve -v*n + 3 = -14*n for n.
-1
Suppose 0 = -x - 4, 2*x + 21 = f + 4. Solve 0 = -f*w + 4*w for w.
0
Let k be (4/(-8))/(3/30). Let m be 5/k + 3 - 0. Solve 0 = -m*y + 5*y for y.
0
Suppose -2*i - 4*u - u = 16, 0 = 4*u + 16. Solve -3*w - i = -4*w for w.
2
Let w = -14 - -9. Let a be (-24)/(-6) - (w + 0). Solve b - 4*b = -a for b.
3
Let g = -207 + 207. Solve g = -4*p - 3 - 1 for p.
-1
Let i = 15 - 0. Let x = 427 + -425. Solve -o - i = x*o for o.
-5
Suppose 4*s = -2*q + 14, -3*s + 3*q - 5*q + 10 = 0. Solve -s*j - 1 = -13 for j.
3
Let p = -805 - -1162. Let g = p - 533. Let u be (-2)/(-9) - g/99. Solve u = -4*d - 2 for d.
-1
Let i(u) = u**3 - u**2 + 1. Let v(z) = -3*z**3 - 5*z**2 + 9*z + 2. Let a(p) = -2*i(p) - v(p). Let y be a(-8). Solve y*s = -0*s + 16 for s.
4
Let g(y) = y**3 - y**2 + 3*y - 1. Let b be g(2). Solve -b*x = -4*x for x.
0
Let u(a) = 3*a - 9. Let l be u(5). Suppose l*o = 8*o. Solve o = 3*j - 3 + 6 for j.
-1
Let d be 8/(-28) + (-141)/21. Let m(p) = p**2 + 9*p + 16. Let i be m(d). Solve 5 = i*q + 3 for q.
1
Let g(y) = 11*y**2 - 2*y - 2. Let n be g(-1). Let f(c) = c - c**3 + 3*c + 7*c + 4 + 10*c**2. Let m be f(n). Solve -z = -m*z for z.
0
Suppose 12*h - 10 = 50. Suppose 0 = 5*r - h*l - 50, 0 = r + 4*l - 3*l. Solve -r*x = -4*x for x.
0
Let y be -3 - -3 - 147/(-3). Suppose -5 = -6*w + y. Solve w = -5*p - 11 for p.
-4
Let a(j) = j**3 - 3*j**2 - 4*j + 3. Let c = 22 - 18. Let z be a(c). Let d be (10 + -8)*(-1)/(-2). Solve t + z = d for t.
-2
Let j = -189 + 192. Solve 4 = j*h - 11 for h.
5
Suppose 17*t - 9*t = 0. Solve 0*r - 2*r + 8 = t for r.
4
Let j(y) = -5 + 2*y + 1 - 3. Let k be j(5). Suppose p - 2*c = c - 3, -p + 12 = 2*c. Solve k*h - p = -0*h for h.
2
Let z(x) = x**3 - 2*x**2 - 2*x. Let b be z(4). Let a(w) = 5*w**2 - 7. Let v be a(-3). Let t = v - b. Solve -5*q - 1 - t = 0 for q.
-3
Suppose 0*x + 10 = q - 3*x, -3*q + 6 = 3*x. Suppose 0 = -q*f - 8, 2*f + 10 = -4*o - 3*f. Solve 0*u + 2*u + 2 = o for u.
-1
Let l = 9 + -4. Suppose 10*s - l*s - 30 = 0. Solve 2*x = -4 - s for x.
-5
Let w = -11 - -15. Suppose 5*r = -v + 3 + 7, 10 = 5*r + 4*v. Solve 6*g - r = w*g for g.
1
Let m = 22 + -16. Let h be (-35)/6 + (-1)/6. Let s = m + h. Solve s = -3*y + 6*y for y.
0
Suppose 3*i = 6*i. Suppose 2*q + 20 = -5*p, i*q - q = 2*p + 8. Solve 3*r - 16 + 1 = q for r.
5
Let v = -22 - -25. Solve 7 = y + v for y.
4
Suppose 2*j + u = 14, 0*j + 5*j - 2*u = 44. Solve 7 = j*a - a for a.
1
Let r = -28 + 64. Suppose 0 = 9*w - 5*w - r. Solve -c - w = 2*c for c.
-3
Suppose 3*h - 24 = -0. Solve s - 11 = -h for s.
3
Let x(b) = b**3 - 6*b**2 - 6*b - 1. Let w be x(7). Solve w*r - 1 = 11 for r.
2
Let c = -140 - -150. Solve 0 = -10*w - 0 + c for w.
1
Let g = 2061 - 2041. Solve 0 = 11*r - g*r - 18 for r.
-2
Let i be (46 + -47)/((-2)/8). Solve 6 = i*d - 2*d for d.
3
Suppose -10 = 3*i + 4*w + 3, 5*w = -5*i - 20. Let t(z) = z**2 + z. Let x be t(i). Solve 0*v - x = -3*v for v.
2
Let i(t) = t**3 + 8*t**2 + 9*t - 15. Let f be i(-5). Solve -6*w = -3*w + f for w.
-5
Let l = 882 - 871. Let o be (12/(-10))/((-2)/(-10)). Let k = l + o. Solve -5 + 20 = k*m for m.
3
Let c(v) = -v**3 - 20*v**2 + 22*v + 23. Let s be c(-21). Solve 6*i + s - 2 = 0 for i.
0
Suppose 5*a = -3*p + 88 - 63, -p + 23 = -2*a. Solve 3 = 6*u - p for u.
3
Let o = -2566 - -2585. Solve -o*t = -14*t for t.
0
Let t be -1 + 3 + (-2 - -13). Suppose -t*m = -8*m - 120. Let i = -22 + m. Solve -i*x + 7 = -3 for x.
5
Let c(m) = m**2 + 2*m - 39. Let t be c(-8). Solve 11*d - t*d + 10 = 0 for d.
-5
Suppose 10*c + 152 = 14*c. Let d = -21 + c. Let p = d - 11. Solve 3 = -3*v - p for v.
-3
Let c(v) = -v**3 + 4*v**2 + 3*v + 20. Let f(d) = d**3 - 3*d**2 - 2*d - 20. Let q(y) = 4*c(y) + 3*f(y). Let n be q(8). Solve -j = n*j + 15 for j.
-3
Let t(h) = -2*h**2 + 2*h - 4. Let w be t(3). Let u(p) = -26*p - 292. Let y be u(-12). Let m = y + w. Solve -a - m*a = 5 for a.
-1
Let t be (-1)/((-3)/(-6)*-2). Let b be (t/(-2))/((-5)/200). Let w be (-26)/(-4) + (-2 + 6)/(-8). Solve -w*x - b = -2*x for x.
-5
Let x(r) = -r**2 - 28*r - 8. Let u be x(-24). Let k = 103 - u. Solve 31 = 4*p + k for p.
4
Let m = -3024 + 3024. Let z(g) = 2*g**2 + g - 2. Let p be z(-2). Solve -j - p*j + 25 = m for j.
5
Suppose -8 = 4*a + 40. Let g = -9 - a. Suppose 5*m - g*y - 11 = 0, 4*y - 34 + 2 = -5*m. Solve -v = m*v for v.
0
Suppose -p - 2*p = 3*j - 12, -20 = -5*j + p. Suppose 2*a + 2*h - 10 = 0, -4*a - 11 + 1 = -2*h. Solve a = -3*d + j + 8 for d.
4
Suppose -152*i + 96 = -104*i. Solve 0 = i*r - 17*r - 75 for r.
-5
Let p(g) = 3*g**2 - 8*g + 3. Let v be p(5). Suppose 0 = -4*o + 46 + v. Let r = -15 + o. Solve 4*i + r = 6*i for i.
3
Suppose -3*b + 35 = 2*o, -2*o - 12*b + 14 = -16*b. Solve 6 = 19*k - o*k for k.
1
Suppose -44*u + 49*u = 5. Let o(n) = 3*n**2 - 1. Let k(i) = i**2 + 1. Let j(y) = 4*k(y) - o(y). Let b be j(0). Solve b = s + u for s.
4
Let g(l) = -l**2 - 6*l + 9. Let i be g(-7). Let h = i + -4. Let r = h - -4. Solve r*s = -4 - 6 for s.
-5
Suppose -4*y - 5*o = 18, -2 = -y + 5*o + 6. Let f(d) = d**3 + d**2 - d + 3. Let k be f(y). Solve n - 1 = k for n.
2
Let f = -24 + 27. Let l be f/(6/8) + -20. Let i = l + 17. Solve i = -m + 2*m for m.
1
Suppose -17 = -5*o - 2*z, 2*o = 3*z + 8 + 14. Suppose 73 = 5*q - 107. Let l = q - 36. Solve -2*x - o - 5 = l for x.
-5
Let i be -15*(6 + -5 - 24/9). Solve -3*f - 2*f - i = 0 for f.
-5
Suppose -7*g + 110 - 75 = 0. Solve g = -4*y - 7 for y.
-3
Suppose 0 = -2*c - 8, w = -c - 17 + 73. Let a = -54 + w. Solve -n + a = 2 for n.
4
Let u(o) = -o**3 - 8*o**2 - o - 5. Let h = 31 - -14. Suppose -5*w - h = -5. Let i be u(w). Solve -3*p + 0 = -i for p.
1
Let p(a) = -3*a - 6. Let r be p(-2). Solve r = h + 33 - 38 for h.
5
Suppose -3*a = -2*s - 20, -3*s = s + 16. Solve 0 = a*t + 2*t - 30 for t.
5
Suppose -4*b - p + 0*p = -4, 2*b = 3*p - 12. Solve 5*u + 3 + 7 = b for u.
-2
Let c(k) = -k + 25. Let t be c(18). Let x(z) = -z**3 + 7*z**2 + 4. Let n be x(t). Solve n*b - 2 = 2 for b.
1
Suppose 180 = -33*u + 246. Solve u = 17*b - 49 for b.
3
Suppose 3219 = -12*p + 3267. Solve -147*v + p = -148*v for v.
-4
Suppose 0 = -3*v - 6*j + 2*j + 11, 29 = 5*v - 4*j. Suppose 4*k - v*l = 55, -3*l - 24 = k - 59. Solve m + k = -3*m for m.
-5
Let d(b) = b**3 + 13*b**2 + 10*b + 27. Let n be d(-12). Let i = n + -31. Solve 0*q - i = 5*q for q.
-4
Suppose 2*u + 2 = 0, -4*u - 9 = -2*a + a. Solve -7 = -6*g + a for g.
2
Let r = 3 - 3. Let a(v) = 2*v**2 + 4*v - 3. Let t(d) = d + 5. Let f be t(-8). Let q be a(f). Solve r = -q*m + 6*m - 6 for m.
2
Let r = 6 - 3. Let f = -29 + 33. Suppose -3*l = -2*l - 5*c - 5, -f*c = 2*l + 4. Solve -w + r - 6 = l for w.
-3
Let v(q) = -3*q - 14. Let j be v(-5). Let h be -13 + 10 - ((-4)/j + 1). Let s = -8 - -11. Solve -w - s + h = 0 for w.
-3
Let b be 4/(-40)*-106 - (-4)/10. Solve -4*p - 3 + b = 0 for p.
2
Let t(v) = v**2 - v + 4. Let c be t(0). Suppose 3*g - 3 = c*k - 20, 4*g + 20 = 4*k. Suppose 0 = -i + k*i - 4. Solve -2*y + 0*y = -i for y.
2
Let b(d) = d + 3*d - 1 + 4 - 9. Let y be b(3). Solve -26 = 5*j - y for j.
-4
Suppose 4*m - 711 = -663. Solve -18 - m = 10*c for c.
-3
Suppose -2*y = -4*r - 240, 3*r + 4*y + 205 = 25. Let t = 60 + r. Solve -n + t*n + 2 = 0 for n.
2
Suppose -3*s = -4*l - 27, 1 = s + 2*l - 18. Suppose 3*q = -2*f + 15, 5*q - 8 = -2*f + s. Solve i = -0 + f for i.
3
Suppose -119*i + 203*i = 1680. Let z = 6 - 1. Solve 0*v + i = -z*v for v.
-4
Let d be -1*(-24)/44*(-5)/(-15)*33. Let o = 3 - 1. Solve -d = -0*t + o*t for t.
-3
Let o(h) = 2*h**2 - 3*h - 23. Let c be o(-3). Suppose 3*n - 8*n + 10 = k, -k - 2*n = -4. Solve k*p - p = -c for p.
4
Let c = 453 + -448. Solve 0 = -10*a - 25 - c for a.
-3
Suppose -3*b = -4*b + 3. Suppose -4*q + 3*q = -b. Solve 2*k 