*i + 4*u + 7 for i.
3
Let f be ((-21)/63)/((-2)/(-12)). Let p(z) = z**3 + 2*z**2 - 2*z - 2. Let k be p(f). Suppose -t + k = -3. Solve t*v + 24 = l, -3*v = -2*l - 6*v - 17 for l.
-1
Suppose 5*n - 17 = -7. Let m(z) = -11*z**n - 15*z + 8*z**2 + 17 - 10*z**2 + z**3. Let r be m(14). Solve -r*s + 12 = 4*v, 5*s + 7*v - 4*v - 9 = 0 for s.
0
Let r(q) = -q**3 + 3*q**2 + 9*q - 27. Let u be r(3). Solve 2*t - 2*y - 5 - 3 = 0, 3*y + 9 = u for t.
1
Let r = 36 + -33. Solve -15 = r*x - 5*b, x + 20 = -3*x - 4*b for x.
-5
Let f = 1076 - 1074. Solve 2*s + 4 = 3*b, -f*b + s = 2*b - 2 for b.
0
Let q be (-4)/1 + 9 + 0/2. Suppose -2*n + 27 = -4*f + q*f, 5*f + 4*n - 111 = 0. Solve 5*o - v = -23, -5*v = -4*o - 4*v - f for o.
-4
Suppose -3*j + w = 20, 3*j + 2*w + 4 = -1. Let y = j + -2. Let i(q) = q + 9. Let l be i(y). Solve -d = -3*c + 2*d - 18, 3*c = l*d - 15 for c.
-3
Suppose 8*r + 440 = 456. Solve 0*w = -r*w + 5*g - 21, -w + 6 = 3*g for w.
-3
Let y(x) = 27*x - 24. Let h be y(1). Solve g = 2*o + 9, -h*o - 9 = 2*o + 2*g for o.
-3
Let h = 1238 + -1233. Solve 4*v - 8 = -2*s, h*v + 5 = 10 for s.
2
Let n(i) = 5*i**2 + 29*i + 22. Let f(u) = 9*u**2 + 57*u + 44. Let d(m) = -4*f(m) + 7*n(m). Let l be d(-24). Solve 3*b - 20 = -0*z - 5*z, 8 = -3*b + l*z for b.
0
Let p be 7 - (2 + 1 - 0). Suppose 4*v = -v + 320. Suppose 4*l = v + 80. Solve 3*g = p*s - 1, 5*g + 3*s - 1 = l for g.
5
Let k be -3 + (-52 - 0)/(-2). Suppose 0 = -i - 4*a - 9, 2*i = 4*a - 3 - 27. Let t = k + i. Solve -2*c = -t, -3*c + 0*c + 3 = -3*r for r.
4
Let y(z) = -9*z - 265. Let i be y(-31). Solve -h - 2*h + 3*s = -3, s = -2*h + i for h.
5
Let t = 42 + -37. Let z be 10*3*t/30. Solve 0 = z*x + 5, -4*i + 0*x + 3*x + 11 = 0 for i.
2
Suppose -21 = -4*m + 23. Let b = 13 - m. Solve 0 = -b*w - k + 2, 4*k + 13 = -w for w.
3
Suppose -183*j = -91*j - 460. Solve -m = j*l + 3 + 26, 5*m + 25 = -l for m.
-4
Let h(w) = -2*w + 9. Let b(v) = -v + 10. Let q(f) = 6*b(f) - 5*h(f). Let r be q(-3). Solve y = 4*m + 15, 2*y - r*m = 5*y for y.
3
Let k(y) = -y**2 - 13*y + 32. Let o be k(-14). Let n be (15 - 3)*6/o. Solve -h = n*c + 4, c + 0*h + 8 = -2*h for c.
0
Let c = -23 + 19. Let a be ((-6)/c - 2)*-4. Suppose 3*h = -4*o - 8, -a*o - h = 3 - 1. Solve -4*r + 2*j = -14, 2*j = 7 - o for r.
5
Suppose 34 = -64*i + 98*i. Solve -f - i = 3*g, 3*f + 0*g - 13 = -g for f.
5
Let t be 418/76 - (-1)/(-4)*2. Solve -4*r - t = -1, -2*m + 8 = -2*r for m.
3
Let j be (-4)/8 + 11/2. Suppose -5*n = -4*n. Suppose -2*g - 3*w + 7*w = n, 5*g - 40 = 2*w. Solve g = -2*m - 4*t, m - 38 = j*t - 8 for m.
5
Let y be (11 - 0) + (4 - 7). Suppose 4*v + 22 = l, 2*l - 6 = v + 3. Solve -y = -l*z, -4*s - 6 = -5*z + 6 for s.
2
Let i = 19 + -14. Let o(p) = -p**2 + 7*p - 5. Let h be o(5). Solve -7*v + 25 = -2*v, -i*q + 2*v = h for q.
1
Let t = 1127 + -805. Suppose -c = -326 + t. Solve 2*s + 28 = c*a, -2*s - 18 = -2*a - 0 for a.
5
Let k = -97 + 76. Let i = k + 21. Solve 8*a - 3*a - 2*h + 16 = i, 4*h + 28 = -5*a for a.
-4
Let m(n) = -n + 16. Let i be m(12). Let k be i/((-4)/5*-1). Solve 5*h + 2*q = -q - 3, 0 = -5*h - k*q + 5 for h.
-3
Let c = -259 - -276. Solve -c = -0*u + u - 4*b, -b = 4*u for u.
-1
Let a = 282 - 271. Solve -4*k + a = 5*u, 0 = u - 2*k - 8 + 3 for u.
3
Let t(g) = -g**3 + 27*g**2 - 25*g - 24. Let o be t(26). Solve o*k + 5*m = -2, 0*m + 2 = -2*k + 2*m for k.
-1
Suppose -4*n = -2*n + 60. Let b = 9 - n. Suppose b = -3*p + 6*p. Solve 4*c + 5*s = p, 0*c + s = 2*c - 3 for c.
2
Let m = 11 - 7. Suppose 0 = -10*t + 32 + 18. Suppose 3 = k + 1. Solve -24 = -4*o + k*g + 2*g, m*g + 26 = t*o for o.
2
Let z(b) = 4*b**2 - 2*b + 2. Let u be z(2). Let q = 34 + -29. Suppose -2*o - 4*c + 4 = 3*o, q*o = -5*c. Solve 0 = 2*w - 3*a, 2*w + o*a + u + 0 = 0 for w.
-3
Let i(v) = v**2 - 6*v + 32. Let t be i(4). Solve 2*z = -5*x + t, -2 = 4*z + 3*x - 22 for z.
2
Let f(z) = z**3 + 6*z**2 - 9*z. Let q be f(-7). Suppose b = -11 + q. Solve 0 = 2*s + 3*c + 11 - 3, 20 = -5*s + b*c for s.
-4
Let w(f) = 6*f**2 + 135*f + 72. Let t be w(-22). Solve 3*h + 11 = -5*q, -t = -2*h + 2*q + 8 for h.
3
Suppose 6*y + 11 = 23. Let t be (3 - (-4)/4) + -4. Solve t = -3*k - o + y*o + 3, 0 = -5*k + o + 7 for k.
2
Let g(u) = -8*u + 344. Let v be g(43). Solve -3*f - 5*w + 2*w - 15 = v, f - 5*w - 1 = 0 for f.
-4
Suppose -15 = -6*t + t. Suppose -4*s - 6 = 2*m, t*s - 5*m + 0*m = 2. Let f be (-6)/s*(-16)/(-24). Solve 2*j - f*p = p - 6, -2 = j - 2*p for j.
2
Suppose 6*h = 905 - 875. Solve -4*q - h*a - 7 = 0, -4*a = -3*q - 9*a - 4 for q.
-3
Suppose -150 = -9*d + 4*d. Suppose -32*p = -d*p - 16. Solve 3*y - q + p = -2*q, 2*y = 4*q + 18 for y.
-1
Let u(h) = h**3 + 6*h**2 - 7*h + 5. Let n = -10 - -12. Let b = n - 9. Let q be u(b). Solve 4*m = -5*d - 29, -5*d - 30 = q*m - 0*m for m.
-1
Suppose 0 = 3*g + g + 8. Let r be 0/(g + 6)*-1. Suppose r = 4*o - 2*p - 10, -4*p + 0*p + 12 = 0. Solve -3*s - o*v + 31 = 0, 5*v = -3*s + 18 + 17 for s.
5
Suppose -3*w - z = -w - 15, -4*z - 4 = 0. Let j(f) = -f**2 + 7*f + 8. Let u be j(w). Solve -x - 5*p - 22 = u, 5 = -3*x + 8*x + 2*p for x.
3
Let c(p) = 63*p + 763. Let n be c(-12). Solve -2*i = 3*k + 3, -n*k + 4*k = -2*i + 15 for k.
-3
Suppose 7*u + 80 = 15*u. Let j be (-9)/(-2) + (-3)/(-6). Solve 2*w + 3*r + 9 = j*w, -4*w + 2*r = -u for w.
2
Let l = 211 - 209. Solve -4*o - 4*n = -1 - 11, -12 = o - l*n for o.
-2
Let a = 0 - 6. Let d(r) = -r**3 - 8*r**2 - 11*r + 9. Let j be d(a). Suppose 1 = 5*u + z, -3 = u + 2*u - j*z. Solve 2*k + 8 = o, -12 = 3*k + 4*o - u*o for k.
-4
Suppose -4*r + u + 6 = 0, u + 5 = 3*r + 1. Let g be ((-57)/(-12) + 5/20)*1. Suppose -g*x + 13 = -12. Solve -b - r*b = -x*w + 32, 0 = -2*b + 3*w - 20 for b.
-4
Let u(b) = b**3 - 2*b**2 - 5*b + 15. Let j be u(2). Suppose 3*l - 5 = 3*t - 23, 4*l = -2*t - 6. Solve -19 = -j*d + 2*r, -13 = -5*d - t*r + 2*r for d.
3
Let z(u) = 51*u**3 - u**2 + 3*u - 3. Let w be z(1). Suppose -c = c - w. Solve 5*s + 2*r - c = 0, r + 10 = -s + 3*s for s.
5
Suppose -5*p + 5*t + 30 = 0, -6*t = -3*p - 9*t + 12. Solve 11 = 10*h - 11*h - 4*f, -p*f = 4*h + 11 for h.
1
Let j be 0/(-72)*2*(-1)/(-4). Solve j = 3*q - b - b + 14, 3*q + 3*b - 6 = 0 for q.
-2
Suppose 9 = 3*p - 0. Suppose 0 = -0*y + y - p. Let r(d) = 8*d + 37. Let q be r(-4). Solve -y*l = -4*f + 12, -q*l + 3*f - 15 = 5 for l.
-4
Let z be ((-15)/(-4))/(18/96). Suppose -4*x - z = -104. Suppose 0 = 2*i - 7 - x. Solve d - j = 5*d - 15, 4*d = -2*j + i for d.
4
Let z = 57 + -41. Let p(v) = v**3 + 6*v**2 + 6*v + 7. Let a be p(-5). Solve a*u + u - k = -2, 0 = 2*u - 5*k - z for u.
-2
Suppose 0*j - 2*j = -8. Let l = -282 + 285. Solve l*x + 11 = -r + 1, -r = -4*x - j for x.
-2
Let u be -6*7/(-2)*24/(-9). Let k = 57 + u. Solve k = x - 0*x, 2 = 2*c + 4*x for c.
-1
Let d = -15 - -14. Let a be (23 - 20) + 1*d. Let j = 2 - 2. Solve i - 1 = -a*k - j*k, k = -i - 1 for i.
-3
Suppose 6*q = -15 + 51. Solve -4*y = 12, 2*t - 4*y + 2 = q for t.
-4
Let u = 377 + -365. Solve -2*t = 2*t - u, -3*q - 2*t = -21 for q.
5
Let w be 2 + (45/30)/((-2)/4). Let l(t) = -9*t + 1. Let c be l(w). Let p be 4/(-12) + 14/6. Solve m = -0*i - p*i, -3*m = i + c for i.
2
Let g be (-1 - -1)*(-42 - -41). Solve -z + 1 = t - g, -5*t = -15 for z.
-2
Suppose 2*f = -2*f - 4*j + 36, f = -3*j + 11. Let p be (f - 5)/(9/222). Let l = -51 + p. Solve z + l = 4*z - 4*s, -2*z - s = 3 for z.
1
Let p = -1395 - -1398. Solve p*k + 3 = 0, 3*x + k - 8 = 3 for x.
4
Let z be ((36/15)/4)/((-21)/(-105)). Solve d = -f - 4*f + 9, -4*f + 11 = -z*d for d.
-1
Let b be ((-16)/(-36))/((-20)/(-90)). Solve 4 = -2*o, 5*d + 0*o = 4*o - b for d.
-2
Let u(t) = 2*t**2 + 4*t - 3. Let y be u(-3). Solve 5*n = -4*f - 20, -y*n - f = n + 16 for n.
-4
Suppose -13 = -5*s + 2. Suppose -s*f = 9, p - 4*f + 2*f - 31 = 0. Solve -5*q = p, 3*y - q - 2*q = 12 for y.
-1
Let y be (39/(-3) - -9) + 6. Solve -4 = 4*k, -2*k = y*i + 3*k + 13 for i.
-4
Let f(t) = -t**3 - 5*t**2 - t - 5. Let q be f(-5). Solve 5*x + 2*h - 7*h - 20 = q, -1 = -x + 4*h for x.
5
Let j be 6/9 - (-4)/(-6). Suppose 3*u - u = j. Let h(y) = -y + 16. Let g be h(u). Solve 0 = 2*a - 4*r + r + g, -2*a - r = 8 for a.
-5
Let r be -3 - 1 - (-10 + -2). Suppose r = -4*m, -4*y - 5 = -3*m - 19. Solve -w = 4*i + 5, 0*w - 4*w - 6 = y*i for w.
-1
Suppose -3*d - 4*g + 5 = 0, 0 = -2*d + 4*g + 15 - 5. Solve 4*a = 4, -5*a + 15 = d*m + 4 for m.
2
Suppose 5*x 