c + s*l, -5*l + 14 = 2*c for c.
2
Let m be (0 - (2 + -3))*2. Let a = -1523 - -1531. Solve -m*b = -2*k - a, -4*k = -4*b + 3*b + 13 for b.
1
Let t = -545 + 550. Suppose -t = -10*o + 55. Solve o*v - v + 15 = 2*r, 0 = 4*v + 5*r + 45 for v.
-5
Let u = -8180 - -8234. Solve -53*r + u*r - 5 = 0, 0 = -i - 5*r + 22 for i.
-3
Let i(y) = -244*y - 728. Let p be i(-3). Solve c - 16 = 3*f - c, p*f + 12 = -2*c for f.
-4
Let z = 4 + -4. Let m = -2 + 51. Let c be z/(112/m - 4/14). Solve 3*x + c*k = 2*k + 2, 3*x = 5*k + 14 for x.
-2
Let f(o) = -2*o**2 - 3*o + 107. Let v be f(-8). Solve -6*y + 2*y = -16, 3*k = -v*y + 3 for k.
-3
Let a = 815 - 588. Suppose 0 = -9*o + a - 209. Solve -3*l - 2 = 4*y, -l - o*y + 1 = y for l.
-2
Suppose -50*p + 53*p + 3*q + 3 = 0, -q - 5 = 0. Solve 18 = -4*w - 6*m + p*m, -5*w = 4*m + 21 for w.
-5
Let a(v) = -v + 30. Let h(i) = -2*i**2 - 8. Let s be h(0). Let r be (13/(-52))/(2/s) + 19. Let t be a(r). Solve 0 = 3*u - u + g - 4, t = 5*u - g for u.
2
Let u be 1/(-6) + (-234)/(-108). Let w be (-7 + 3)/2*-1. Solve -3*j + 5 = 5*o + w*j, -u*o - 5*j = 7 for o.
4
Suppose 41 - 3 = 2*u. Let q(n) = -u + 99*n - 207*n + 102*n. Let i be q(-4). Solve 0 = i*l - 5*o - 10, -3*l = -7*l + 2*o + 10 for l.
3
Let d(y) be the first derivative of y**3/3 + 2*y**2 + 6*y + 136. Let h be d(-2). Solve 3*j + 4*u + 17 = -h*j, 2*j - 5*u = 13 for j.
-1
Let h = 56 - 89. Let f = 35 + h. Solve b + 3 = -4*d - 6, -4*d = f*b + 6 for b.
3
Suppose -26 = 2*t - 42. Suppose 2*k + 4*n = -t, 7 = -2*k - 2*n + 5. Solve -5*q = -2*v, k*q = 2*v - q + 4 for v.
-5
Suppose -4*y = -3*n + n + 14, -3*n = 2*y - 29. Let d(m) = -m**2 + 9*m + 6. Let s be d(n). Solve 13 = 3*i + 2*x, -4*i + s = x - 3 for i.
1
Let k = -48 + 51. Suppose -4 - 2 = 3*i - k*b, 4*i - 27 = -3*b. Let g(w) = w + 16. Let f be g(-9). Solve -3*v - i - 8 = q, -5*q - f = -v for q.
-2
Let t = 267 - 120. Let h = t + -145. Solve 0 = v + h*z + 3, -5*v + z - 3 = -4*v for v.
-3
Suppose z + 5*k + 1 = -0*k, 2*k + 58 = 2*z. Let m = -3853 + 3857. Solve z = -3*c + 3*r, r - 5*r = 3*c - m for c.
-4
Let s(c) = 6*c**2 - 39*c + 49. Let v be s(5). Solve 2*d - 10 = 2*x, -v*d - 3*x + 5 = -2*d for d.
4
Let i be (-1170)/(-60)*(1 + 31). Suppose 20*y - i = -6*y. Solve -3*o - 18 = 3*q, -o + 2*q + y = -3*q for o.
-1
Let r(t) = -t**2 - 2*t - 14. Let y be r(-8). Let x be (5/((-40)/y))/((-2)/(-8)). Let k = -27 + x. Solve -3*a = -2*w - 25, -10 = -k*a - 4*w + 2*w for a.
5
Let t be -4 - (-3)/(15/40). Suppose 4*b - t = 8. Suppose 40 = b*i - 5*v, -i + 5 = 2*i + 2*v. Solve -4*d - 2*o = -8, o - i*o + 5 = -3*d for d.
1
Let y(f) = -f**3 - 3*f**2 + 6*f + 2. Let p be y(-5). Suppose -4*i - 7 = -3*h, 0 = p*h - 19*h - 5*i - 8. Solve -k = 5, 4*j + k = -h + 4 for j.
2
Let k = -61 + 61. Solve k = -3*p + 2*j - 2, -3*p = -j + 1 + 6 for p.
-4
Let b be ((-9)/6 - 0)*(-2 + 0). Suppose -3 = -2*w - b*d, -18*d - 13 = -3*w - 14*d. Solve -15 = -4*n - w*r, 2*r - 3 = -1 for n.
3
Let f = -2 - -4. Suppose -29 = 3*c - 44. Suppose 2*w + 5*t + 0 = 4, c*w + 2*t - 10 = 0. Solve 4 = 4*g + 3*s, w = 2*g - 2*s - f*s for g.
1
Let c = -1425 + 1434. Solve -c*j - 19 = -6*j - 5*t, -4*t = -3*j - 17 for j.
-3
Let l(k) = -3*k**3 - 30*k**2 - 110*k - 45. Let b be l(-5). Solve 0 = -h - 2, -132*h = 5*w - b*h + 14 for w.
-2
Let s be 3/(-1) - (-1 + -18). Suppose -3*d + s = i, d = 5*i - 0*i. Solve 3*l - 2*j - 3*j = -7, -l - d = -3*j for l.
1
Let k(f) = f**3 - 18*f**2 + 17*f + 14. Let n be k(18). Let r be (1*-1)/((-80)/n). Solve 0 = -4*u + 3*x + 2, -u - 1 = r*u - 2*x for u.
-1
Let v(n) = n - 11. Let f be v(5). Let o = 47 + f. Suppose 4*z - 4*w = 15 + 5, 4*z = -w + 10. Solve o = -5*k + 4*c, z*k + 13 + 6 = c for k.
-5
Let v(l) = -2*l**2 + 30*l - 23. Let q be (-124)/(-72)*8 + (-2)/(-9). Let g be v(q). Solve g*j = 3*n + 7, 4*j - j = -5*n - 23 for n.
-4
Let d(p) = p + p**2 + 6*p**2 + 37 + 49 + p**3 - 8 - 3. Let g be d(-8). Solve 5*c = -2*m, 0 = -c + g*m - 5*m for c.
0
Suppose -s - y = 2*y - 8, 5 = s + 2*y. Let n be s/(-3) + (-220)/(-15). Solve 2*f - n = -4*r - 1, -4*f + 16 = 2*r for r.
2
Let z(f) = f**2 + 20*f + 53. Let i be z(-17). Let w be (-11)/((-55)/(-60))*i/(-6). Solve 0 = -4*p + 7*p - w*g + 7, 12 = 3*g for p.
3
Let j = 5426 - 5421. Solve -4*a = 2*v + 4, 0 = j*v + 11*a - 5*a + 6 for v.
0
Suppose 12 = 3*j + j. Let z(h) = -h**3 + 16*h**2 - 18*h + 35. Let l be z(11). Let p = 468 - l. Solve 0*a + 5*r = -4*a + p, -j*a + 2*r = -8 for a.
4
Let h(g) = 2*g - 30. Let k be h(22). Suppose 0 = -2*w - 1 - 7. Let f = k + w. Solve -3*i - f = -5*j + 6*j, 3*i - 4*j = -5 for i.
-3
Suppose k - 31 + 13 = 0. Suppose 4*l - 3*l + 19 = 2*g, 3*g - k = -2*l. Solve -3*q + g = 4*m, 4 = 3*m + q - 2 for m.
2
Suppose 46 = -5*s + 71. Let j(c) = -6*c + 43. Let m be j(7). Suppose x - 5*x + 3*u = -9, -x = -3*u - 9. Solve -3*z + x*b = b - m, -s*z = -b + 1 for z.
0
Suppose 3*t - 2*r + 36 = 0, -r = -3*r + 6. Let k be t - (8/(-2) - (-12)/6). Let p be (60/k)/((-4)/8). Solve -3*d + 5*i = -8*d - p, -3*d + 6 = -2*i for d.
0
Let j = -30020 + 30025. Solve -4*v = j*y - 3*v, 0 = 3*y + 3*v for y.
0
Let l = -6050 - -6054. Solve 7*p - 10*p - 10 = 2*s, -s = l*p + 10 for s.
-2
Suppose -5*m = 2*h - 4, -5*h + 3*h + 4 = m. Solve 45 = -2*d + 2*c + 41, -13 = -d - h*c for d.
3
Let a(u) = -u**2 + 14*u + 97. Let b be ((-1)/(-2))/((-21)/210). Let f be a(b). Solve -2*l - 4 = l + f*c, -2*l = 5*c + 21 for l.
2
Let g(o) = o**3 + 4*o**2 + o + 1. Let d be g(-2). Let j be (66 - 2940/45)*6/2. Solve j*h + d = w - 4*w, -5*w = -2*h - 15 for w.
1
Suppose -8*g + 6 = -266. Suppose -g = y - 53. Solve x = 3*b - 12, -2*x = x + 2*b - y for x.
3
Let z = -141 - -225. Suppose 2 = -2*g + 6, z = 3*v - 3*g. Suppose -o - 4*o + 5*c = -v, 2*o = -c + 9. Solve -4*a - h = -o, -4*h = -2*a - a - 1 for a.
1
Let o be 3*(6/(-3))/(-2). Suppose 3*p + 13 = z, -3*z - 6 = 5*p - o. Suppose 63*m - 490 = 14. Solve -z*n - 20 = l, -2*l - 3*n + m = -7*l for l.
-4
Let n = -715 - -717. Suppose -906 = n*t - 912. Solve v - 5 = -y, v + t*y - 11 = -v for v.
4
Let s(t) = t**2 - 9*t + 13. Let j be s(6). Let a be (-2 + (-16)/(-3))*(-9)/j. Suppose -4*h + a = -2*h. Solve -5*b + 2*l = h + 18, 5*b + 12 = -l for b.
-3
Suppose 5*x = -0*x - 2*m + 171, 4*x - 4*m = 148. Solve 4*w = -5*p - 11 - 20, x = -5*w - 5*p for w.
-4
Let k(h) = -33*h**3 - 7*h**2 - h + 1. Let q be k(-2). Let d = -237 + q. Solve w + 2*f + f = -d, -5*w = -4*f - 28 for w.
4
Let q = 36 - 31. Suppose 0 = -z - 2*s - 14, -2*z - 5*s = 5 + 24. Let d be (-3)/z*-4 - -29. Solve -5*h - p + 6 - d = 0, q*p = -4*h - 26 for h.
-4
Let s(h) = h**3 + 15*h**2 - 7*h - 292. Let y be s(-14). Let i(c) = 3*c**2 + c + 1. Let l be i(-1). Solve -36 = 4*n - y*k - 2*k, -3*n = l*k + 3 for n.
-5
Suppose -3*t = -3*c - 39, 5*t + 4*c - 5*c = 41. Solve -4*g - t*m + 6*m - 12 = 0, -5*g + 3*m - 15 = 0 for g.
-3
Let c(p) = 28*p - 276. Let s be c(12). Let b be 38/10 - ((-732)/s + 12). Let o(m) = m**2 - 9*m + 11. Let y be o(8). Solve 4*w + u + y = -4, -b*u = 2*w for w.
-2
Let b(x) = -34*x + 68. Let f be b(2). Suppose f = 76*w - 43*w - 36*w. Solve -5*s + 9 = 3*a, -s - a + 6*a + 13 = w for s.
3
Let b be (8/6)/((-48)/(-72)). Let r(l) = -l**2 + 25*l + 56. Suppose -7*u + 76 = -106. Let k be r(u). Solve b*f + 4 = -g - 1, -k = f - 5*g for f.
-5
Suppose -23*c + 11*c - 29*c = -0*c. Solve -3*v + 2*k + 48 - 40 = 0, c = -2*k - 2 for v.
2
Let j be 2032/80 + 8/(-20). Suppose i - j = -4*i. Solve -4*c + i*t = 30, -3*t + 10 - 4 = 0 for c.
-5
Let l = 13 - -24. Let m(f) = f**2 - 7*f + 19. Let v be m(4). Suppose -v = 6*t - l. Solve -u - t*r - 6 = 2*u, 0 = 3*r for u.
-2
Let a be 4/(-6) - ((-2000)/(-75))/(-10). Solve -2*g = a*d + 4, -3*d - 12 = -6 for g.
0
Suppose 4*o = 3*g - 28, 4*g = 1132*o - 1128*o + 36. Solve 4 = q + 2*t, g - 10 = -2*q - t for q.
0
Let k = 455 - 463. Let x be 15/10*(k/(-3))/1. Solve x*t = -t, -2*j = 4*t + 8 for j.
-4
Suppose 0 = -23*m + 28 + 18. Solve m*p + 2*p = -5*i + 31, -4*p = 2*i - 22 for p.
4
Suppose 0 = -8*a - 13 + 53. Suppose -2*v = 4*z - 42, 0 = 3*z - 2*z + v - 9. Suppose 7*u = u + z. Solve 4*w - u*m = 0, 10*m - a*m - 16 = 2*w for w.
2
Let g be 345/138 + 1/2. Solve 4*p - 4*a = 8, -10 = -p - g*a + 8 for p.
6
Let h = 354 - 342. Suppose 486*q + h = 489*q. Solve -4*y = q*i - 28, -3*y - 2*y + 10 = 0 for i.
5
Suppose 47*b - 62 - 41 = -9. Solve -b*t = 3*d + 9, -d + 5 = -t + 8 for d.
-3
Suppose -5*m = -