-1 = w*i - 4*s, -3*i + i + 4 = 2*s for i.
1
Suppose 22*o - 4 = 21*o. Suppose -5*q + 85 = -5*r, -o*q + 3*r = -2*q - 35. Solve -c - c = -4*f - q, 2*f + 3*c = -16 for f.
-5
Let q = -63 + 64. Let r be ((-15)/12)/(3/(-12)). Let t be (r - 2) + (3 - q). Solve -3*n = k - 11, 0 = 5*n + t*k + 1 - 26 for n.
3
Let d be (-4)/(-5)*(-90)/(-4). Suppose -d = -4*y - k - k, 2*y = -2*k + 4. Let s = 8 + -5. Solve -3*t + 2*i + y = 0, -1 = -2*t - 2*i - s for t.
1
Let m(r) = r**3 - 8*r**2 + 10*r + 30. Let w be m(5). Solve w*g = 4*o + 4 + 7, g + 13 = -3*o for g.
-1
Suppose -6*r + 8 = -2*r. Solve s = -5*z - 1 - 13, -10 = r*s + 4*z for s.
1
Suppose -3*k + 2 = 4*w + 1, -k = -w - 5. Let c(h) = 7*h - 5. Let d be c(k). Suppose r - d = -3*r. Solve -p - r*m - 13 = 4*p, 0 = -p + 4*m + 7 for p.
-1
Let a(x) be the first derivative of 2*x**2 - x + 1. Let r be a(1). Let p be (0/(1 - -2))/((-4)/2). Solve -o = -r*i - 1, 4*o = -i + 4 - p for o.
1
Let b be 2/(-3)*2*(-15)/10. Solve -4*q - g + 16 = -b*g, -g + 4 = q for q.
4
Let m be 8/1*(-5)/(-10). Let o be m/(-7)*7/(-2). Suppose -5*a - o*f - 10 + 35 = 0, 5*f = 0. Solve -a*u + d - 25 = -4*d, -u - 3*d = -3 for u.
-3
Suppose 5*c - 2*n = -5*n + 3, -n = -c - 1. Solve c = -5*q - 20, z + 3*q = 3*z - 6 for z.
-3
Suppose 5*d - 5*v = 2*d + 20, d - 8 = 3*v. Solve 0 = 2*j - j - 5*t - 29, 0 = 4*j + d*t + 9 for j.
4
Suppose 19*f - 12 = 3*c + 22*f, 3*f = -2*c - 13. Solve 2*d = -i - c, d - 7 = -i - i for d.
-3
Let f = -415 + 417. Let l(t) = t + 6. Let z be l(-5). Let x = 3 + z. Solve y = -3*b + 7, f*b + y = -0*y + x for b.
3
Let h = -194 - -198. Solve -a = 2*v - h*a + 6, 5*a - 10 = 2*v for v.
0
Suppose 3*v - 29 = -5*l, 31 + 6 = 4*v + 5*l. Solve -v*g = -3*g + 5*b - 10, 3*g + 2*b = 5 for g.
1
Let t = 1310 - 1297. Solve -2*x - t = -10*s + 15*s, 22 = -2*s - 5*x for s.
-1
Suppose -4*t + t + 9 = 0. Suppose 9 = 3*y + t. Suppose -60 = -5*i - 5*h, i + y*i = 4*h + 36. Solve -3*u + i = 0, -3*m + 0*u - 2*u = -17 for m.
3
Suppose 2 = -4*x - 90. Let p(q) = 4*q**2 + q - 1. Let w be p(3). Let i = w + x. Solve -t + 6 = -3*z + i, 2*t + 4 = -z for z.
2
Suppose 5*x - 6 = 24. Let k(q) = -18 + 4 - q + 4*q. Let w be k(x). Solve -5*f = 3*t - w, 5*f - 7 = -4*t - 0 for t.
3
Let z be 12 + (3 - 0) + 2. Let v = 27 - z. Let u = v + -6. Solve -3*m + 3 = -0*m - d, 0 = -u*m + 4*d + 12 for m.
0
Let o(w) = -w**3 - 5*w**2 - 11*w - 54. Let h be o(-5). Solve 3 + h = 2*v - 2*r, 0 = 2*v - 3*r - 9 for v.
-3
Suppose 0 = 4*j + 2*t, 0 = -3*j + 5*t - 3*t + 14. Solve 0*v - w - 7 = 4*v, j*w = v + 13 for v.
-3
Let r(o) = o**2 - 3*o. Let b be r(4). Let a be 2/b*6 - 1. Solve 5*k + 6 + 25 = 4*d, 0 = a*d + 4*k + 4 for d.
4
Let m be ((-16)/(-6))/((-168)/(-252)). Solve -5*g - 15 = -5*h, -3*g = -m*h + 16 - 4 for h.
3
Suppose 0*n = 5*o + n - 10, -o + 4*n + 23 = 0. Solve -4*s + 3 = -5*i - 5, 2*i - o*s - 1 = 0 for i.
-4
Suppose 6*x = 2*x - 4*x. Suppose 4*u + 22 - 34 = x. Solve 4*n - 3*b - u = -0*n, 4*n = -5*b + 27 for n.
3
Let d = -20 - -24. Suppose 0 = -2*s, -s - 72 = d*n + 3*s. Let p be (n/12)/((-2)/4). Solve 3*b + 4*x + 12 = x, -p*b - 12 = -3*x for b.
-4
Suppose -4*t = -2*d - 59 + 23, 5*d = 20. Solve -t*g = -5*y - 14*g + 14, 0 = 3*y - 2*g - 16 for y.
4
Let a = 2 - 31. Let p = 46 + a. Let r(g) = -g**3 + 17*g**2 - g + 25. Let s be r(p). Solve -5*h + 4*f = 23, 0 = -5*h + f - s - 9 for h.
-3
Let h(c) = c. Let i be h(2). Suppose -8 + 29 = 3*z. Suppose 3 = -z*y + 3. Solve 0 = 5*l - 20, y = i*k + 3*l - 4*l - 6 for k.
5
Let n be 45/12 - 1/(-4). Suppose -2*m - n*p + 0*p = -6, 4*p + 3 = m. Let s = 1 + m. Solve -2*u - 4*j = -u - 9, -s*u + 3*j - 21 = 0 for u.
-3
Let z be (6/5)/(48/(-3680)). Let d = z + 96. Solve -3*t - g - 9 = 0, 4*g - d = 8 for t.
-4
Let u(l) = -3*l - 1. Let h be u(-3). Let n be 8/6*(h - 5). Solve 4 = -4*c + n*x, 9 = -c + x - 4*x for c.
-3
Let z(y) = y**3 - 14*y**2 + 34*y - 118. Let i be z(12). Solve -8 = n + a, -n = -i*a - 3 - 1 for n.
-4
Let h = 213 - 211. Solve 0 = h*p + 4*g + 11 + 5, 0 = g + 3 for p.
-2
Suppose -173 + 49 = -31*u. Solve u*d + 3*j = -6 + 14, -5*j = 20 for d.
5
Let p(h) = -h**3 - h**2 - 2*h. Let v be p(-1). Solve 4*i - 3*i = -3*a + 14, -8 = -v*a for i.
2
Let y(r) = 8*r + 4. Let l be y(4). Suppose -l = -6*j + 2*j. Solve -3*n = 3*g - j, 3*g + 8 = n - 3 for n.
5
Let w(q) = 3*q**2 - 6*q + 5. Let z be w(2). Solve 3*h = -2*h + 5, -z*n = -3*h - 12 for n.
3
Let x(o) = o**2 - 7*o + 9. Let j be x(6). Suppose 4*l - 4*q - q - 45 = 0, 30 = 3*l - j*q. Solve -5*p + 15 = 2*t + l, p = 2*t + 2 for p.
2
Suppose 300 - 339 = -3*u. Solve 5*z - c + 20 - 3 = 0, 0 = -4*z + c - u for z.
-4
Suppose -15*u = -2*u. Suppose a - 64 = -a. Solve 4*b - a = 5*f, f + u*f = b - 7 for f.
-4
Let h(f) = 3*f - 13. Let t be h(6). Suppose 2*w = -5*r - t, -5*w + 1 + 0 = -r. Solve -s - y + 2 = s, w = 3*s + 3*y for s.
2
Let x = -23 - -15. Let m(r) = -r**2 - 8*r + 15. Let i be m(x). Solve o - 25 = -4*b, 0*o - i = -3*o for b.
5
Suppose 3*m = 3*p - 3, -232*p + 235*p + 2 = -2*m. Let a be (-19)/(-4) + 3/12. Solve -o - 2*s + 4 = -1, p = 2*o - a*s + 8 for o.
1
Let k = 269 - 269. Solve 5*d + 35 = 5*n, 2*d + 2*n - n + 8 = k for d.
-5
Suppose 2*c - 4 = -5*g - 2*c, 4*g - 5*c + 5 = 0. Suppose -u = 4*w - 24, g*u - 3*u = w - 17. Solve l = 2*l + j + 3, 4*j + 14 = -w*l for l.
-2
Suppose -388 + 402 = 7*r. Solve -3*c - 3*y = 3, -4*c + 2*y + r + 0 = 0 for c.
0
Let g(l) = -l**2 + 21*l - 52. Let r(a) = -6*a - 18. Let f be r(-6). Let h be g(f). Solve h*v = 2*j - 0*j + 14, -25 = -5*v for j.
-2
Suppose -2*x + 2*q = -q - 2, -q = -x + 2. Suppose -5*d + 4 = -2*a + 9, -x*a = 5*d - 85. Solve 2*i - 2*g + 1 = -a, g = -3*i - 4 for i.
-3
Let j(m) = 6*m + 21. Let c(y) = 9*y + 32. Let x(l) = -5*c(l) + 7*j(l). Let g be x(-6). Solve -3*t = 2*p - 7*p - 11, -g*p = 3*t - 1 for t.
2
Suppose -4*j + 13*j = 6*j. Let v(s) = 3*s + 12. Let y(r) = -1. Let i(z) = -v(z) - 15*y(z). Let w be i(j). Solve 3*a = w*h + 3, -h + 1 = -0 for a.
2
Let v(g) = -g**3 - 5*g**2 + 2*g - 22. Let z be v(-6). Solve -3 = b, -t - b + z = -2*t for t.
-5
Let d = 74 - 77. Suppose -2*q - 9 = 6*a - a, -5*a - 15 = 0. Let r be (q + d)*(-2)/(-4). Solve 3*x = 5*c + 4, x + 8 = -3*c - r*x for c.
-2
Let x = 107 - 126. Let b = 23 + x. Let q(r) = r**3 - r**2 - r + 1. Let v be q(2). Solve -4*u - 5*c + 7 = 0, -u - b*u = -v*c - 18 for u.
3
Suppose -3*j + 15 = 0, 0 = -4*v - 2*j + 4*j + 86. Let q = 33 + -57. Let p = v + q. Solve 0 = i + 2*t + 9, 5*i + 4*t + p*t + 33 = 0 for i.
-5
Let u be ((-1 - -13)/3)/1. Let w(z) = -z**3 + z**2 + z + 40. Let k be w(0). Let i be (4 + k/4)*1. Solve -q = 4*l - 21, l + l = -u*q + i for l.
5
Suppose -2*w = -2*z - 18, 18 = 4*w - 5*z - 20. Solve 3*s - s = 5*k + w, s + 4 = 0 for k.
-3
Let t(c) = -c**3 - 8*c**2 + 8*c - 6. Let w be t(-9). Suppose -16 = w*f - f. Let x be (18/(-24))/(2/f). Solve -4*u - x*y - 22 = 0, y + 1 = u + 3 for u.
-4
Suppose -20*r = 32*r - 884. Solve -r = -4*w - 5*l, -l + 0 + 13 = -4*w for w.
-2
Let i(v) = -v**3 - v - 15. Let l be i(0). Let q = 20 + l. Suppose 2*k + b - 1 = 0, q*k + b + 2*b = 2. Solve -4 = -3*o - k, -2*g - 3*o + 7 = 0 for g.
2
Let o be 0/(3/6*-2). Suppose -4*a = -2*f - 116, o = 4*a - 3*a - 2*f - 26. Solve 3*p = -3*z + a, p - 3*p = 4*z - 30 for z.
5
Suppose -z - z + 4 = 0. Solve 4*u = -3*l - 7, -l = z*l - 5*u - 2 for l.
-1
Suppose -3*a + a + 2 = 0. Suppose -4*u + 2*u + 4 = 0. Let c be a/(u/(3 + 3)). Solve -12 = -4*i - 4*r, 5*i - r = c + 6 for i.
2
Let l be 2/(-4)*-2 + -1. Suppose l = 2*p - 8 - 0. Suppose 3*a = 8 + p. Solve 5*u = -2*k - 17, 0 = a*u - 2*k + 6 + 4 for u.
-3
Let m = -1 - -16. Suppose -25*l + 21*l + 120 = 0. Let x = l - 26. Solve -u = x*f + m, 5*f - 5*u = f + 3 for f.
-3
Let a(t) = -16*t + 1. Let o be a(2). Let u = o + 35. Solve -5*l = -10, z - 16 = -3*z - u*l for z.
2
Let k = -20 - -27. Let x be (-4)/16*(-6 - -2)*k. Solve 3*i - 4*t = 2 - x, 35 = 5*i + 2*t for i.
5
Suppose -5*r + 16 = -3*g, -2*r - 3 = -13. Solve -g*d = s + s - 22, 16 = 4*d for s.
5
Let d be (2 - 12)*1/(-2) + 5. Solve -q + 0*p - 3*p - d = 0, -2*q = -p - 8 for q.
2
Let o(u) = -2*u**3 + 3 - u**3 + 2*u + 2*u. Let w be o(-1). Solve 3 = 2*a + 13, -2 = 4*r + w*a for r.
2
Suppose -3*v + 114 = -0*v. Let l = v - 33. Let p = l - 0. Solve w + 3*q + 3 = -0, -4*q = -p*w - 15 for w.
-3
Let j(b) = b - 4. Let w be j(6). Suppose 0 = -p - w. Let u be 3/(-15)*p*5. Solve -a - 2*y + 4*y = -6, 