 5 = -1 for x.
4
Suppose -2*x + 160 = -0*x. Suppose 2*u - x = 3*r, 4*u - 2*r - 132 = 12. Let c = u + -24. Solve 2*g + g = w - 6, 2*w - c = 5*g for w.
0
Suppose 91 - 51 = 10*s. Solve s*l - 5*x + 0*x = -7, 3*x = -3 for l.
-3
Suppose -4*z - 2*d + 13 = -1, -4*z + 5*d + 7 = 0. Let p be (-6)/(0 - (-1 + z)). Solve -2*j = 4*o - 14, -5*j = -j - p*o - 17 for j.
5
Let s(a) = -a**2 + 9*a - 10. Let b be s(8). Let k be (-1 - b)*(0 + 1). Let p be -1 + 12/(3/k). Solve v - 5*f = -2*f + p, 5*f + 5 = 4*v for v.
0
Suppose -q = 3*q - 24. Let x be 36/48 + ((-7)/4 - 2). Let d = x + q. Solve -2*l = 3*p - 0*l - 19, -d*l = -15 for p.
3
Let h(r) = -r**2 + 15*r - 38. Let q be h(9). Solve 0 = 4*z - j + q, -2*z - 1 = -z - j for z.
-5
Let l(o) = o**2 + 27*o + 2. Let u be l(-14). Let w be -20*((-4)/(-6) - (-192)/u). Solve 3*x + 4 = -t, -2*t - w = -2*x + x for x.
0
Let q = -27 - -43. Suppose -f + d = 3*f - q, -2*d + 20 = 5*f. Solve -f*y - 5*x + 40 = 0, x + 7 = 3*y - x for y.
5
Let t(x) = -2*x**2 + 29*x - 12. Let c be t(14). Suppose -3*f + 6 = -4*a, -5 = -c*f + 4*a - 1. Solve -l - 5*k + f*k = 5, 1 = 3*l + k for l.
1
Let z be (-85)/(-20) - 1/4. Suppose -2*d - 90 = -2*q, q = z*d - 9*d - 225. Let c be (-1)/(-2) - d/18. Solve -v - 8 = -3*n, -25 = c*v - 5*n - 5 for v.
-5
Let l(u) = u**3 + u**2 + u + 8. Let b be l(0). Let g be -5 + b/2 + 6. Solve g*h - 5*m = -0 - 5, -2*m - 28 = 4*h for h.
-5
Suppose -4*o = 12, -2*u + 10 = -3*o - 17. Solve -u*v = -7*v - 6, -5*w + 2 = 4*v for w.
-2
Suppose -2*b + 4*b = 0. Let c be (2/4)/(3/36). Suppose c = 2*j, -3*q - 3*j = -b*j - 102. Solve 3*z + q = 4*k, -5*z - 22 = -3*k - 3*z for k.
4
Suppose -29*a + 171 - 26 = 0. Solve 2*b + 3*b + a = -2*n, 0 = 2*n - 10 for b.
-3
Let b = 576 + -576. Suppose -12 = -7*l + 4*l. Solve 0*v = v - 5, -l*c + 3*v - 11 = b for c.
1
Let r = 1184 + -1182. Solve -r*n + 3*w = -6*n - 20, 5*n - 2*w = -25 for n.
-5
Let j = 61 + -51. Suppose 2*a - 16 = -2*a. Suppose a*l = 5*l - 4. Solve -5*c + 4*m = -23, -j = 3*m - l for c.
3
Let r = 19 - -28. Let m = r - 23. Let y be (6/4)/(m/64). Solve -3*w + 2*h - 5 = -3*h, y*h - 11 = w for w.
5
Let c(m) = m**2 - m + 2. Let b be c(3). Let n = b + 3. Let i be 26/8 + (-2)/8. Solve g + i*z - 4 = n, 4*g - 3*z = 0 for g.
3
Let o = 24 + -22. Suppose 2*s - 5*m = 14, m = o*m + 2. Suppose -s*r + 5 + 7 = 0. Solve -3*z + 9 = 5*t - r*z, 0 = 2*t + z - 8 for t.
3
Let p(k) = -k**3 - 31*k**2 + 66*k + 3. Let d be p(-33). Solve 0 = 4*j - d*b - 5, -11 + 3 = -4*j + 4*b for j.
-1
Let s(i) = i**2 + 8*i + 3. Let d = -69 + 61. Let m be s(d). Solve -4*q + 16 = 0, -m*p + 13 = 5*q - 10 for p.
1
Let t = -17 + 28. Let f(x) = t*x**2 + 12*x**2 - 20*x**2 + 3 - 4*x + x**3. Let a be f(-4). Solve -m + 2 = -a*r, 0*r - 3*m = -2*r + 1 for r.
-1
Let d = 9 - 4. Suppose -3*s + p - 4 = 0, -3*p = -3*s - d*p - 10. Let u be (2 - 4)*s/4. Solve -2*t + u = -4*t + 5*f, -12 = 3*t + 3*f for t.
-3
Let s = -193 + 193. Solve -2*x - 6 = -4*l, s*l - 2*x = -l + 9 for l.
-1
Let b(i) be the second derivative of -i**4/12 + 5*i**3/6 + 5*i**2 + 12*i. Let r be b(6). Solve -3*q - 12 = 0, 2*s - r = -s + q for s.
0
Let o(p) = -2*p**3 + 13*p**2 - 16*p + 17. Let h be o(5). Solve 4*q + q + 18 = -3*i, h = -3*q - 3*i for q.
-3
Suppose -6*n - 5*d + 9 = -9*n, -3*d + 15 = 3*n. Suppose -l + 25 = -0*l. Suppose 0 = 5*c - 10, -2*k - 5*c + 7 = -l. Solve k = m - b - b, m + 9 = -n*b for m.
1
Let c be (9 + 1 + -18)/(-2). Solve 5*f - 2*g + 5 = 0, 2*f - 5*g + c*g = -1 for f.
-3
Suppose 6*u = 4*u. Suppose -5*k + 3*k - 2*f = u, 5*f = k. Solve k = 3*x - 2*g + g + 6, -4 = 2*x + 4*g for x.
-2
Let l = 16 + -14. Let b be (-10)/(-15)*9/l. Suppose 0 = b*m + 5 - 47. Solve -m = 3*z + 2*g + 4, -g + 17 = -5*z for z.
-4
Suppose 0 = 4*b + u + 457, 0 = b - 3*b + 2*u - 226. Let h = b + 126. Solve -i + 5*m - 5 = -25, 5*i - 3*m = h for i.
0
Let w(p) = 4*p + 9. Let m be w(-4). Let s = m - -11. Let y be ((-20)/3)/5*-3. Solve -5*x = -5*f + 20, -y*f + 7*x = s*x - 12 for f.
0
Suppose -114*u - 4 = -115*u. Solve 5*i + 5 - 45 = 4*q, -2*i - 12 = u*q for i.
4
Let d(k) = k - 1. Let m be 12/3 - (3 - 0). Let a be d(m). Solve a = -4*c + 5*f - 3*f + 10, -2*c - 7 = 3*f for c.
1
Suppose j = 5*j - 28. Suppose j*d = 2*d + 125. Solve 5*a + 5*f - d = 0, 0*a - 5*a - 2*f = -22 for a.
4
Let k be 16/2 + (-3 - -17) + -19. Solve h + 2*d = -2, -12 = 3*d - k for h.
4
Let r(x) = -2*x**3 + 9*x**2 - 2*x + 6. Let q be r(0). Solve -2*o + 4*a = q, 4*o + 3*a = -1 + 11 for o.
1
Suppose 5*h - 1 = 19. Let w = -562 + 564. Solve -o - 3*u + w - h = 0, -o = -3*u + 8 for o.
-5
Let u be 8/(-6)*6/(-4). Let k = 1 - -2. Let a = 3 - -8. Solve -3*h + g - 9 = 0, 0 = h - u*h + k*g - a for h.
-2
Let n be (-9)/((-2)/(12/18)). Solve 4*i - 3*a + 5 = 0, a = -n*i + 6*i for i.
1
Let o(q) = q**3 + 6*q**2 - q - 1. Let t = 11 - 17. Let y be o(t). Let n = y - 3. Solve -4*z = 5*s + 14 + 9, n*z = -3*s - 13 for z.
-2
Suppose 0 = 5*q - q + 5*v - 412, 5*v = 0. Let m = -95 + q. Solve -5*u + 4*w - w - m = 0, -3*w = -3 for u.
-1
Let p(s) = s**3 - 5*s**2 - 5*s - 1. Let n be p(6). Suppose 27 = 7*i - 4*i. Suppose -4 + i = 5*b. Solve -7*t + n*y + 10 = -2*t, -b = -3*t + 2*y for t.
-3
Let y = 33 + -23. Suppose -5*k - y = -30. Solve 36 = k*f - 5*b, 4*f - b - 25 + 5 = 0 for f.
4
Let b be 2/(-4) - 39/(-26). Let a be 1 + 4*b/4. Solve -m - h - 1 = 2, 2 = a*h for m.
-4
Let l(i) = -2*i + 3. Let q be l(0). Suppose 0 = -5*s + q*s. Solve s = 2*c + 5*u - 5 + 1, -5*c + 2*u = -10 for c.
2
Let b(c) = -c**2 - 9*c - 10. Let l be (-2)/(-1) + 1 - 10. Let v be b(l). Suppose m = -3 + v. Solve n = 2*d + 2, 3*n + 4*d = 3*d - m for n.
0
Let m(r) = r**2 - 11*r - 7. Let w be m(9). Let z = -23 - w. Solve g = z*g - 4*t + 15, -6 = -2*t for g.
-3
Let d(r) = -r**2 + 17*r + 24. Let p be d(18). Solve -5*o - 35 = 4*i, 3*i - o = 2*o - p for i.
-5
Let u = -158 - -266. Let n = u + -106. Solve -2 = -i, 4 = -r - n*i + 3*i for r.
-2
Suppose 2*p = -2*o - 20, -3*o + p = -o + 14. Let x(n) = -3*n**2 + 2*n**2 - 247 - 6*n + 266. Let c be x(o). Solve -2*z - 10 = -b + 3*b, 0 = -3*z + c*b - 9 for z.
-4
Let r(i) = i + 1. Let p be r(2). Suppose 8 + 4 = 2*q + t, -5*t = 4*q - 30. Suppose -h - 14 = -3*a, 5*a + h = 15 - q. Solve -a*c = -3*s, 4 = -p*s - s for c.
-1
Let k(j) = j**3 + 35*j**2 + 35*j + 34. Let t be k(-34). Solve 0 = 3*l + 4*o - 20, 2*o + t = 2*l + 10 for l.
0
Suppose u - 4 = -1. Suppose u*k - 2 = 4*n, 3*n + 23 = -4*k + 9. Let a be (n/(-4))/(2/16). Solve -3*b + 2*b - 13 = -a*p, 4*b - 3*p + 26 = 0 for b.
-5
Let g be (6 - 1)*3/3. Suppose 19*x = 50*x - 93. Solve -x*k = -g*q + 11, -4*k + 2*q = -0*q - 4 for k.
3
Let a(c) = 4*c + 86. Let z be a(-21). Solve y = 2*s - y, -z*s + y = 4 for s.
-4
Let s be 758/26 + 2/(-13). Let o = -24 + s. Suppose 0 = 3*x - 7*x + o*n - 5, -4*x = n - 1. Solve p - 1 = -x, p - 5 = 4*h for h.
-1
Suppose -275 = 6*f - 305. Solve -4*b + 16 = -5*o + f, 4 = b for o.
1
Let k = 488 + -484. Solve h + k = -o + 1, 5*h = -4*o - 11 for o.
-4
Let n(b) = -b**3 + 14*b**2 - 12*b - 9. Let k be n(13). Solve 4*t = k*f - 7 - 5, 0 = 4*t + 12 for f.
0
Suppose -k - s + 2 = 0, -3*k - 2*s + 11 = 5. Solve -5*n = -b - 25, -3*n - k*n - 3*b + 5 = 0 for n.
4
Let j = 1 - 1. Suppose m + 1 - 3 = j. Solve -7 = -m*f - k, 0*k + 11 = -4*f + 3*k for f.
1
Let a(z) = 3*z + 48. Let t be a(-15). Solve -s - t = 0, -4*w = s - 3*s + 2 for w.
-2
Let z(d) = 3*d**2 - 17*d + 14. Let a be z(5). Solve 0 = -n + 3*t, 0 = 3*n - a*t + t + 6 for n.
-3
Suppose -3*g = -3*p - 75, g + 2*p - 40 = -0*g. Let u be (-6)/(-4)*40/g. Let f = -3 - -6. Solve -w - f = -u*b, -3*w = w - 5*b for w.
5
Suppose 5*n - 9 = -2*l - 0*l, l + 4*n - 6 = 0. Solve 3*z + 11*i = 6*i + 25, -3*i + 15 = -l*z for z.
0
Let n = -148 - -150. Solve -1 - 5 = -a + 2*h, 2*a + n = -3*h for a.
2
Let u(w) = -6*w - 46. Let v be u(-8). Solve -4*p - 7*q = -2*q - 8, -v*q = -3*p + 6 for p.
2
Let x(u) = -u**3 + 12*u**2 - 12*u + 15. Let b = 2 - -9. Let y be x(b). Solve -5*v - m = 4, 4*v - 7 = -y*m - 23 for v.
0
Let p be (2/4)/(34/136). Solve -4*r - 7 = 2*w + w, -2*w + p = -4*r for w.
-1
Let n = 679 - 676. Suppose 11 = 5*p - 9. Suppose -6 = -2*x + p. Solve -x*k = -0*k, -n*t = 2*k - 3 for t.
1
Let p = -1326 - -1326. Solve p = -5*v + k + 13 + 16, 0 = -3*v + k + 19 for v.
5
Let c = -12 + 13. Suppose -3*u - 79 = -4*d, 4*d + 0*u + 4*u - 100 = 0. Let r = d + -15. Solve -5*g - 4*y + 1 = 0, 3*y = 3*g + c 