- y = -4*q, u = 5*q - 4 for u.
1
Let n be (3 + -5)*(-15)/6. Suppose -p - h = -4*p + 1, n*p = -2*h + 20. Suppose -c = -p*c + 4. Solve -2*v = -2*j, 3*v + 0*j - c*j = 3 for v.
-3
Let y = -12 - -16. Let b(z) = -z**3 - 7*z**2 - 7*z - 3. Let k be b(-6). Let m be k/(-2)*30/(-9). Solve -y*i - 8 = -0*i + 2*l, 5 = m*i - 5*l for i.
-1
Let z = 134 + -131. Let s(d) = -2*d - 10. Let u be s(-9). Solve 0 = c + 4*i - u, 2*c + z*i + i = 8 for c.
0
Let l = 126 - 23. Let r be l + (-4 - 1/(-1)). Suppose -8*i + 12*i - r = 0. Solve 3*v - 3*y + i = -2*v, -5*v + 2*y = 25 for v.
-5
Let f(o) = 3*o**3 + 24*o**2 - 3*o - 12. Let v be f(-8). Let d = -5 - -5. Solve 3*k - 3*m = -v, d = -3*m - m + 8 for k.
-2
Let q = -10 - -16. Suppose 0 = -0*i - 2*i + 2*g + q, -11 = -3*i + g. Suppose 3*y + h = 4*h + 6, 0 = 4*y + 2*h - 2. Solve z + y = -f, i*z + 7 = 2*f - 9 for f.
2
Let b = 388 + -386. Let w be (-2)/(-2) - (-5 - 0). Suppose b = m - w. Solve -4*u + 28 - m = -2*z, u = -z + 5 for u.
5
Suppose g + 1386 = 1390. Suppose 0 = l - 2 - 2. Let j be l/((-8)/(-6)) - -1. Solve g*t - t + 5*i = -27, 0 = j*t + 2*i + 22 for t.
-4
Let b = -13 - -27. Let h = 14 - b. Solve 2*i + 10 = h, 0 = -x - i + 6*i + 21 for x.
-4
Let h be (6/(-1))/1*(-70)/(-21). Let z be (-7)/2*h/35. Solve z*g + 5*p - 18 = 0, -g - 4*p + 8 = -2*p for g.
4
Suppose -2*y + 4*m = -4, y + 1 = -2*m - 1. Let g be y/1*((-9)/(-3) - 2). Solve p + g*p = -5*n - 10, -n = 4*p + 21 for p.
-5
Let p = -24 - -31. Suppose -y - 29 = -5*i, 5 = -3*y - p. Solve -i*s + 4*l - 30 = -l, s - 2*l = -7 for s.
-5
Let y(u) = 5*u**2 + 24*u - 40. Let q(i) = 6*i**2 + 25*i - 41. Let f(x) = -4*q(x) + 5*y(x). Let k be f(-22). Solve 0 = d + k*t - 6*t + 5, 2*t = -6 for d.
1
Let q = 3 + 1. Let s(w) = -w**3 - 7*w**2 - 13*w - 12. Let h be s(-5). Suppose 4*o = r - 12, -h*r + 2 + 8 = o. Solve r*f = 2*z + 24, -q*z + 0*z - 3 = f for z.
-2
Let g(c) = -3*c - 16. Let r be g(-8). Let f be 2/r - 54/(-8). Solve 0 = 5*q + i - f, -i = 2*q + 3*i + 8 for q.
2
Let t be ((-10)/(-6))/(-5) + 10/(-6). Let n = 0 - t. Solve n*f - 2*k - 4 = 0, 2*f + 15 - 4 = -3*k for f.
-1
Let h be (2 - -1) + 28/2. Solve -4*y - d = -h, -y - 10 = 3*d + 2*d for y.
5
Let a be (6/(-10))/((-1)/5). Suppose 5*y - 18 + a = 0. Suppose y*k = 2 + 1. Solve -k = j - 3*w, 4*j - 2*w = 3*j for j.
2
Suppose -4*n = -0*n - 2*s - 8, -3*s = 0. Suppose 3*i - 3*t + 32 = -t, -2*t = 4. Let u = i + 16. Solve w - n*w + 8 = u*b, -21 = 3*w - 3*b for w.
-4
Let c be (2 - (-3 + 2))*(-3)/9. Let r be 10 - 6 - 1*c. Let a(h) = h**2 + h + 5. Let x be a(0). Solve 6 = k + x*y, -33 = 4*k - r*y - 7 for k.
-4
Let n = 26 + -24. Suppose -2 = -n*h + 2. Suppose 0 = h*m - m. Solve 4*f - 2*f - t - 14 = m, 2*t = -2*f + 2 for f.
5
Suppose 64 + 14 = 6*m. Solve 3*b - 9 = 2*b - w, -5*b + 3*w = -m for b.
5
Let k = -140 - -201. Suppose -u + 6*u + k = -2*b, 3*u + 33 = -b. Let y be 306/81 - 4/b. Solve 0*f - 5*x = 5*f - 10, -y*x - 10 = -5*f for f.
2
Let a be (-1)/(-1) - (-3 + 3 + -3). Suppose 5*d + 3*z + 0*z - 88 = 0, 63 = a*d - 5*z. Solve 0 = -p + 3*t - 1 - 0, 0 = -3*p - t + d for p.
5
Let q(x) = 4*x**2 + 13*x. Let d be q(0). Solve g + d*z - 3*z = 0, -5*g = -3*z + 12 for g.
-3
Let g = -24 - -56. Suppose 3*l - g = -5*l. Solve 0 = 3*z - 2*q - 16, q = -l*z + 5*z - 7 for z.
2
Suppose -6*w = 5*w - 55. Let j be 16/6 - 2/(-6). Solve 30 = w*x + 2*r, 5 + 0 = 5*x - j*r for x.
4
Suppose 13*u + 5*u - 72 = 0. Solve -f + 11 + 0 = -4*z, -u*z - f - 5 = 0 for z.
-2
Let h = -112 - -114. Solve -2*o = -3*t - h, 3*o + t - 2 = 12 for o.
4
Let l(m) = 10*m - 478. Let h be l(48). Solve -4*f = n - 1, 3*n - 11 = -2*f - h*f for n.
5
Let n = 13 - 16. Let d = n + 6. Suppose -5*f + 35 = i, -d*i = -0*i. Solve 0 = 2*u + 4*x - 8, -5*u + 1 = -2*x - f for u.
2
Let p = -33 - -68. Suppose -5*l + p = 5*a, 0 = -2*l - 4*a + 7*a + 4. Solve l*h - 15 = 5*v, 3*v + 8 = 2*h + 2 for v.
0
Let p(n) = 3*n**2 + 12*n + 1. Let g be p(-5). Let h be (-72)/(-14) - 4/28. Solve 0 = -h*r + 4*r + 3*s + 16, -3*r + s + g = 0 for r.
4
Suppose 5*r + 15 = 3*d - 22, r + 4 = 4*d. Let p be -32*(44/r + 5). Solve -2*w - 2*w + p = -4*a, -4*w - 14 = 2*a for w.
-1
Suppose -7 - 3 = 5*y. Let m be (-12)/y + 2 + 1. Suppose 4*h + 7 = 5*o, -5*o + m + 6 = 0. Solve n + h - 1 = 3*j, 5*n + 24 = -4*j for n.
-4
Let f = -746 + 770. Solve -2*z = 4*t + f, 6*z = z + 2*t - 12 for z.
-4
Let g = 10 + -5. Suppose -g = -p - 2. Let q = -377 + 389. Solve -q = 4*a, 0 = -5*c - p*a - 2*a - 35 for c.
-4
Let a = 171 + -163. Solve -5*n + 5*w = -4*n + a, -3*w + 3 = 0 for n.
-3
Let d(a) = a**2 + 3*a + 11. Let y be d(-9). Let n = -58 + y. Solve -5*r = n*q - 3*q - 25, -5*q = 5*r - 25 for q.
0
Let f be 1 + 22/(-5) + 4/10. Let z be (45/10)/f + 7/2. Let q(a) = a. Let u be q(3). Solve p + s - 5 = z*s, -u*p + 17 = -5*s for p.
4
Suppose 5*j + 7*j - 120 = 0. Solve -5*y - q + 2*q - j = 0, -4*y = q + 17 for y.
-3
Suppose 4*r - 19 = -5*d - 3, -3*r = 4*d - 13. Suppose -2*j = -7*j + 20. Solve -5*x = 15, -j*w + x + d*x = -35 for w.
5
Let y be 30 + (-12*1)/4. Let b = -27 + y. Solve 3*l + 5*g = 4*g + 11, b = -2*l - 2*g + 10 for l.
3
Let s(l) = -l**2 + 2*l + 6. Let u(q) = q**2 + 4*q + 3. Let n be u(-4). Let y be s(n). Solve y*o + p = 4*o - 5, -10 = 5*p for o.
3
Let m(d) = -d**3 + d**2 - 2*d + 2. Let h be m(1). Suppose h = -6*s - 2 + 2. Solve 5*r + 3*k - 4 = s, -r - 2*k + 5 = -0*r for r.
-1
Suppose -4*r = 8*r - 48. Suppose -4*o + 93 + 0 = 5*a, -70 = -5*o + 3*a. Solve 5*y + 2*g + 9 = 4*y, -y - r*g = o for y.
-1
Let y be (-2)/(-5) + 0 - (-512)/320. Solve c = -0*c + u, -4 = -4*c + y*u for c.
2
Let j be 34 - (-3)/(-6)*-6. Suppose -5*p + j = 12. Solve 5*o - 2*d = p, -5*o = -0*o - 5*d - 5 for o.
1
Suppose 0 = -2*h - 2*n - 4, -2*n - 1 = 266*h - 263*h. Solve -b = -5*b + h*g + 3, -5*b - 30 = 3*g for b.
-3
Let w be ((-20)/15 + 0)/((-4)/6). Solve 0 = -3*c - w*q + 23, 6*c - 2*c - 24 = -q for c.
5
Let t(k) = -4*k + 24. Let o be t(6). Suppose -3*l + 0*l + 12 = o. Solve -l*h + p + 3 = 0, 0*h - 5*h = 5*p + 15 for h.
0
Suppose 7*l + 36 - 57 = 0. Let p be 2/2*8 + -2. Suppose 5*w - 15 = -p*r + 3*r, -3*r = -w + 21. Solve y - 2*n = -8, -3*n + l = -3*y - w for y.
2
Suppose 0 = -7*q + 1 + 20. Let h be (55/15)/(2/6). Solve 2*f + h = -3*f - q*r, -5*f - 5 = 5*r for f.
-4
Let v(o) = -3*o - 3. Let k be v(-5). Let p = 24 + -20. Solve -w = 3*f - k, -f - 12 = -p*w - 3 for w.
3
Suppose -3*n = -4*p - 6, 2*n = -2*n + 2*p + 8. Suppose 4*g = 3*c + 22, -4*c = 3*g - 3*c - 10. Solve -3*t - g*j = n*t - 40, -5 = 5*t - 5*j for t.
4
Let b(v) = -v**2 - 8*v + 12. Let s be 364/(-30) + (-6)/(-45). Let d = s + 3. Let y be b(d). Solve -3*a = -y*m + m - 1, -a = -3 for m.
4
Let i(k) = 2*k**3 + 10*k**2 - 8*k - 35. Let c be i(-5). Solve 2*z + z - c*s + 1 = 0, -z - 2*s - 4 = 0 for z.
-2
Suppose -22 = -c - 3. Let s(w) = -w**2 + 19*w. Let k be s(c). Solve -3*p - 3*n + 3 = k, 4*p - 9*p = -5*n - 35 for p.
4
Let g(v) = -3*v**3 - 3*v**2 - v + 1. Let w be g(-1). Suppose -i + 53 = f + w*f, 0 = 2*f - 3*i - 17. Solve p - 13 = 3*o - 4, -o - f = 4*p for o.
-4
Let n = 3280 - 3280. Solve -5*q + 3*m = -13 + 50, 2*q - m + 14 = n for q.
-5
Suppose -g - 7 = -v, 0*g - 2*g = -3*v + 24. Suppose -3 = 3*m, m + 3 = x + 2*m. Solve 0 = -x*a - 4*d + 2*d - v, -4*a - 7 = 3*d for a.
-4
Let w(m) = m + 1. Let f be (-4)/(-10) - (-6)/10. Let t(v) = 5*v + 16. Let u(k) = f*t(k) - 6*w(k). Let h be u(7). Solve -h*x + 2 = -4*x, -l = 2*x + 7 for l.
-3
Suppose -4*h + 117 = -3. Let w = -16 + h. Suppose -w - 6 = -4*s. Solve u - 25 = 5*d, 2*u = -3*d + s*u - 15 for d.
-5
Let b(r) = 2*r**2 + 5*r + 5. Let v be b(-2). Solve v*m = -3*z - 0 + 3, -2*z - 4*m - 6 = 0 for z.
5
Let d(n) = -n**3 + 19*n**2 + 40*n + 43. Let c be d(21). Solve 10 = 5*m - 4*k + 1, c = -m - 2*k for m.
1
Let z be (-1)/(6/(-36)) + 5. Suppose -8 = 3*d + 5*y, 5*y + z = 2*d - 17. Let o(x) = -x**2 - x. Let n be o(0). Solve 3*i + 12 = 3*s, -d*i - s - 5 - 16 = n for i.
-5
Suppose -6 = 2*x - q - 10, 12 = 3*q. Solve 2*y + x = -p - y, 2*p - 4*y - 2 = 0 for p.
-1
Suppose -f = 3*j - 6 + 16, 5*j + 12 = 3*f. Let t be -1*(f + 55)/(-6). Solve -l - t = 3*y, 1 = -5*y + 6*l - 3*l for y.
-2
Let g(n) = 13*n**2 + 35*n - 2. Let x be g(-3). Solve 0 = 5*l - k + x - 33, -2*k + 19 = 3*l for l.
5
Let n(y) = y**3 + 68*y**2 + 66*y - 63. Let f be n(-67). Solve 1 = -5*k - 2*p - 2, -2*k = -f*p + 6 for k.
-1
Let c be 7 - ((-80)/(-45) + 6/27). S