+ 10 for x.
3
Let b be 5 + (-104)/24 + (-26)/(-6). Solve 3*v = -0*v + 5*j - b, 0 = -v - 2*j + 2 for v.
0
Suppose 4*i + 2*b = -b - 10, i + 3*b + 7 = 0. Let k be 28/6 - i/3. Solve -4 = -3*v + k*v, -5*d - v = 12 for d.
-2
Suppose -3*c = 2*k - 237, -c + 3*k = k - 79. Suppose -5*z + 98 = 4*a, 2*a - 4*z + 17 - c = 0. Let s = a + -23. Solve -s*j + j = -2*y - 4, -y = 2*j - 5 for y.
1
Let z = -29 - -32. Suppose 0 = 2*d + 3*m - 9, -5 = -3*d + z*m + 1. Solve 0*k - k - 3 = 0, -d*x - 12 = 3*k for x.
-1
Suppose -144 = -6*x - 3*x. Solve -o - o = t + 9, 4*t - 5*o = x for t.
-1
Let n be 3*(-25)/(-30)*2. Solve l + 2*c - 5*c - 7 = 0, -2*c + 4 = -n*l for l.
-2
Let u = -39 - -59. Suppose 3*i + 2*i = -3*f - 94, 5*i + 2*f + 91 = 0. Let o = u + i. Solve 2*y = o*p + 2*p + 5, 2*y - 4*p - 2 = 0 for y.
-5
Suppose -16*y = -21*y + 10. Suppose -2*g + 36 = 2*g + 4*f, g + y*f = 4. Solve -7*l = -3*l - s + g, 2*l = 4*s for l.
-4
Suppose 3*n = 4*n + 2, 2*v + 3*n - 2 = 0. Suppose 0 = -5*w + 2*l - 8, 2*l + 0*l - 8 = 0. Let r be 114/42 - 4/(-14). Solve w*b + r*j - 27 = 5*b, v = j for b.
-3
Let s(x) = -x**3 - 2*x**2 + 2*x. Let p be s(-3). Let q be (15 + -6 - 4) + 0. Solve 8 = 2*c - c - q*t, 2*c - p*t = 2 for c.
-2
Let p be 9/54 + 245/6. Suppose p = 5*o + 96. Let k = 11 + o. Solve 4 = g - 0*n + 3*n, -2*n = k for g.
4
Let n be (1/2)/((6/216)/1). Let y(d) = d - 13. Let f be y(n). Solve o = 3*j + f, -4*o + o + 2*j - 6 = 0 for o.
-4
Let k(j) = j + 2. Let w be k(-2). Suppose 4*l = -4*d, -5*d + w*l = -3*l. Solve d = -z + r + 2, 5*z - 32 = -4*r - 13 for z.
3
Let l(r) be the first derivative of 1/2*r**2 - r - 1. Let g be l(5). Solve -4*m - 28 = g*j, -4*j - 2*m - 24 = -4 for j.
-3
Let a(h) = -5 - 7*h**2 + 10*h**2 + 3*h - 2*h**2. Let t be a(-5). Let u(k) = k**2 - 2*k - 8. Let c be u(t). Solve -6 = -4*i + 2*v, 3*i - 37 = -c*v + 2*v for i.
4
Let j = -116 + 118. Suppose 0 = -5*o + 7 + 3. Solve 0 = c + f - 2, o*c + 0 = j*f + 4 for c.
2
Let v(r) = -r + 7. Let w(a) = 7*a**2 + a - 1. Let f be w(1). Let p be v(f). Let i = 3 - p. Solve 4*z - g - 9 = -i, -g = -z for z.
2
Let o(j) = j**3 + 5*j**2 + 8*j + 8. Let b be o(-3). Suppose 15*d + b = 16*d. Let p = -1 + 5. Solve 4*h = p*z - 2*z - d, -11 = 2*h + z for h.
-3
Suppose 5*a + 2*u = 2, 4*a + 4*u - u = 3. Solve q + a = z + 5, -15 = -z - 4*q for z.
-1
Suppose -59 = -10*z - 59. Solve -k - t - 6 = z, 2*t + 5 + 11 = -3*k for k.
-4
Let x(a) = -a**2 - 32*a - 98. Let w be x(-28). Solve 3*n - 2*k = -n, 5*k = 3*n + w for n.
2
Let r be (-2)/(2/1)*-7. Let l be 1/r - (-100)/(-14). Let u = -2 - l. Solve 2 = -u*v + 4*v, -4*j + 22 = -3*v for j.
4
Suppose -12 = 38*m - 44*m. Solve 3*o - 3*z = -12, -3*o - 4*z = -m*z - 3 for o.
-1
Suppose -173*a + 403 = -48*a - 722. Let h be -9*(4/6 + 0). Let x be ((-16)/h)/(4/42). Solve -5*v + 12 = k - a, -4*v + x = -2*k for k.
-4
Let y = -22 - -24. Suppose y*a = -6 + 8. Solve 4*u - 3*r = -13 - a, -4*u + 2*r - 16 = 0 for u.
-5
Let v = 13 - -17. Suppose 107 = 9*w - 64. Suppose 0 = -14*j + w*j. Solve -2*y = -4*o - 0*o - v, j = -o + y - 10 for o.
-5
Let d = -1226 - -1230. Solve -3*o + 2*p - 1 = 18, 0 = d*o - p + 22 for o.
-5
Suppose 41 + 11 = 4*v. Let o = -6 + v. Solve z - 3*s = -4, -5*z + 10 = 2*s - o*s for z.
5
Suppose q - 5*n + n = -20, 0 = -5*q + 2*n - 46. Let r = q + 11. Solve -2*d = -7*d + i + 5, 25 = 5*d + r*i for d.
2
Suppose 17 = -o + 22. Suppose -v + 0 = -4. Suppose 0*k = -o*k + v*m + 8, -4*k - 3*m - 6 = 0. Solve k = b - 4*j + 6, 3*j = -2*b - 2*b - 5 for b.
-2
Let a(t) = t**2 - 15*t + 14. Let c be a(14). Solve 0 = -5*r - 3*g - 6, 2*g = -c*g - 4 for r.
0
Suppose -187 = 4*c - 215. Solve 5*u + 2*a - c*a + 10 = 0, -4*u = -a - 4 for u.
2
Suppose -18*s - s + 152 = 0. Solve -3*u - u = -2*t - 16, s = -4*t for u.
3
Suppose -1 = -p - 0. Let b be (2 - -1)*(-16)/(-12). Suppose 35 = 5*z - 5*i, -118*i = -4*z - 120*i - 14. Solve -v - 2*g = z, b*g = -3*v + 5 - p for v.
4
Let l(k) = 6*k + 21. Let o be l(-3). Suppose 2*s = n + 1 - 0, 0 = -o*n + 5*s. Solve -5*w + 5*p = 0, -3 = -2*p - n for w.
-1
Let h(s) = 236 + 25*s - 9*s - s**2 - 231. Let w be h(16). Solve b + 2*n - 7 = 0, -b + 16 = w*n - 3 for b.
-1
Suppose -30 - 50 = -16*j. Solve 1 = 4*m + j*n - 0, 0 = -3*m + 3*n - 6 for m.
-1
Suppose -2*v + 60 = -2*n, -2*v + 61 = 2*n - 3*n. Let s = -29 + v. Solve 10 = 5*y - 4*d, s*y - 4*d - 4 = -d for y.
2
Let j = 1700 - 1680. Solve 20 = 14*z - 11*z - 4*h, -3*z - j = 4*h for z.
0
Suppose -4*s + 22 = 2*q, 3*s - 6*s + 34 = 5*q. Solve 2*f = -q*a - 17, 0 = -5*a + f + 5 - 19 for a.
-3
Suppose 5*b - 120 = -5*b. Solve -4*i + b = 4*n - 12, 0 = -3*i + n + 6 for i.
3
Suppose -13*t + 70 = 18. Suppose 4*z + 12 = t*f, 3*f = 2*z + 1 + 8. Solve 2*r + 5*x = -5, 4*x + x + 5 = z for r.
0
Let w = 1149 + -1146. Solve 3*h + w*n = -9, -4*h - n = -0*n + 18 for h.
-5
Let z(n) = n**3 + 5*n**2 - 6*n + 17. Let r be z(-6). Solve -2*s + r = -4*t - 1, -3*s = 3*t - 9 for s.
5
Suppose a = 2, -5*s + a + a = -36. Suppose -f - 20 = -6*f. Suppose s = b + f. Solve -3*w = 2*p, 2*w = -b*p - 0*p - 8 for w.
2
Let b = -208 + 208. Solve b*h + 2*h - 5*u = -25, -10 = -h - 5*u for h.
-5
Let r be 0 + 18/3 + -4 + 2. Suppose 3*o = 3*i - 9, 0 = -2*i - i - r*o + 9. Solve -f = 4*f, -i*u + 5*f = 0 for u.
0
Let r(s) = -s**3 + s**2 + 5*s - 3. Let x be r(2). Suppose 5*q - o - 13 = -4*o, -2*q + 2*o = -2. Solve -6 = -3*a + y + q, y + x = -2*a for a.
1
Let l(y) = -3*y**3 - 23*y + 2*y**3 + 0*y**3 + 4*y + 9 + 12*y**2. Let i be l(10). Solve -s - 2*v + 1 = 4*s, i = -4*s + 5*v for s.
-1
Let k(q) = -q**3 - 10*q**2 - 6*q + 29. Let j be k(-9). Solve j*f - 19 = -5*i, 0 = -2*f + 4*f + i - 7 for f.
2
Suppose 3*z + 6 = 3*k - 0*k, 3*z + 6 = -2*k. Suppose k = g + 5*h - 3, 4*g = h - 0*h + 12. Solve 2*i - 3*p = 2*p + 5, -3*p - g = 3*i for i.
0
Let m = 121 + -38. Let h = 54 - m. Let s = -27 - h. Solve -c + k - s = 3*k, -3*k - 17 = -2*c for c.
4
Suppose 4*t - 3*x = 21, -2*x = -2*t + 3*t + 3. Solve 2*l = 2*v + 12, -2*v + 2*l = t*l for v.
-2
Let l(j) = -14*j + 6. Let z be l(-3). Let t be (z/4)/(6/(-27)). Let p be (-144)/t*(-3)/(-2). Solve 2*q + 4*u = p, -q - 5*u + 4 = 5 for q.
4
Suppose 3*q - 10 + 4 = 0. Suppose 9 = k - 2*l, 0 = l - q + 5. Let n = k - -2. Solve -n*w - 2*b - 1 = -b, 0 = -2*w - 2*b + 6 for w.
-1
Let q(a) = -a**3 - 7*a**2 + 8*a + 5. Let i be q(-8). Solve -i*j - 3*m + 28 = 0, 3*j + 6 = 4*j + m for j.
5
Let p(f) = f**3 - 9*f**2 + f - 7. Let d be (1 + -12)*-1 - (4 - 2). Let k be p(d). Solve -10 = k*v - q, v + 3 = 3*q - 7 for v.
-4
Suppose z - 2*p - 4 = -z, -5*p - 2 = -3*z. Solve 0 = z*g + 2*k - 16, -5*k - 34 + 14 = -5*g for g.
4
Let l(p) = 7*p + 5. Let x be l(-3). Let i = 20 + x. Let d be 5 - -6*(-2)/i. Solve -v + 6 = 3*u - 9, 0 = u + d*v - 10 for u.
4
Let g = -3 - -5. Suppose 3*h = 5*h - 92. Let r be h/8 - (-2)/8. Solve -3*k + r = 6*c - g*c, 5*c - 11 = -2*k for c.
3
Let u = -860 + 869. Solve 6 = -i - 3*t + t, 0 = 5*i - 3*t - u for i.
0
Suppose 5*k - 4 - 11 = 0. Solve -j + 12 = 2*j, 2*v + k*j - 12 = 0 for v.
0
Let t = 19 + -4. Let f(h) be the first derivative of h**2/2 - 10*h + 2. Let c be f(t). Solve 2*u - c = -3*o + 2*o, 5*o + 19 = u for o.
-3
Let l = -219 - -145. Let v = 78 + l. Solve -v*x = 4*h - 8, -h - 8 = -0*x - 4*x for x.
2
Let i(z) = -3*z**3 - 3*z**2 + 3*z - 2. Let k be i(-2). Solve -1 = f + t - 6, k*t - 10 = -2*f for f.
5
Suppose 0 = 2*u + w + 22, -3*u - 85 = 2*u - 5*w. Let r = 15 + u. Solve -3*i = -x - 1, -r*i - 29 = -5*x - 4*i for x.
5
Let q = 511 + -498. Solve -5*f = -5*x - 15, 0 = 3*x - 6*f + f + q for x.
-1
Let k(g) = -51*g - 253. Let z be k(-5). Solve -3*t = r - 1, 5*r - 6 = -z*t - 1 for r.
1
Suppose 84*w + 30 = 90*w. Solve s = 3*s - 3*k + 2, -w*s - 12 = -4*k for s.
-4
Suppose 11*v - 275 = -0*v. Solve -4*r - 3*o + v = 5, 10 = 2*r - 5*o for r.
5
Let l = 11 + -8. Let t be (-16)/l - 12/18. Let b be (-22)/t - 7/(-21). Solve -4 = -2*v + b*v - y, v - 2*y = -5 for v.
-1
Let d(q) = 43*q + 53. Let n be d(-1). Solve -5*z = -20, 3*z + 1 = -c + n for c.
-3
Suppose -16 + 7 = -o. Suppose -o*y + 7*y = 8. Let s be (y - (-58)/6)*3. Solve -2*g - g = 5*b + s, b = -4*g for g.
1
Suppose 11 = -2*t + 17. Solve 2 = -l + 3*z + 9, 3 = -t*l - 3*z for l.
1
Suppose 4*r - 4*z - 10 = 66, 0 = 5*r - z - 79. Let m be r + 1/(-3 - -2). Solve 0 = -w + 5*x + 16, -w + 4*x = w - m for w.
1
Let u = 4 + 1. Let p = -5842 + 5845. Solve -5*f + u*m + 15 