*f - 4, 4*j + o*f - 8 = 0 for j.
2
Suppose 0 = 3*p + p + 28. Let j(c) = c**3 + 8*c**2 + 8*c + 6. Let w be j(p). Let k be 6*w/4*-2. Solve 4*q - 3*r = -8 + k, q - 3*r = 1 for q.
-2
Suppose v - 3 = -0*v. Suppose 0 = -29*r + 101 - 14. Solve 4*j - 1 = v*z, 3*z - r = -4*j + 28 for j.
4
Let z be (8/(-2))/(2/(-8)). Let q = -119 - -130. Let t = z - q. Solve 13 - 2 = -5*g + 3*p, 4*p - 8 = t*g for g.
-4
Suppose 3*l - 4 = -0*f + f, 0 = f + 5*l - 12. Solve -2*o + 16 = 3*o - f*k, 5*o - 4*k = 12 for o.
4
Let a(z) = z**2 - 5*z + 8. Let b be a(3). Solve 3*q + l + b = 3*l, 5*q + 4*l = 26 for q.
2
Let p(a) = a**2 - 2*a - 4. Let x be p(5). Let y = x - 9. Let n be 3 + -5 - (-3 + -2). Solve y*d - 3*d = m - n, 15 = 3*m - 3*d for m.
4
Suppose 11*j + 41*j = 156. Solve 5*d - j*y = -2 + 8, y = -2 for d.
0
Let b be 8/(-20) + 126/15. Suppose l = -2*c + 4, -3*c - l + b = l. Solve u + 3*p - 19 = -0*u, c = -4*p + 20 for u.
4
Let r = 1121 - 1091. Solve -5*z = -5*q - r, -2*q - 26*z = -23*z + 2 for q.
-4
Let o be (-2)/(-8) + 7/4. Suppose 2*c - c = -5*h + 25, -2*h + 4*c = 12. Solve o*f + 3*w + h = 8*w, 14 = 2*f + 4*w for f.
3
Let l(t) = -80*t - 478. Let b be l(-6). Solve 20 = 5*k, 0 = b*u - 0*u - k + 14 for u.
-5
Let b = 17 - 12. Let i = 0 - -2. Let j be (-4*1)/((-860)/60 - -13). Solve -m = i*u - 6, -j*m - 1 = -u - b for m.
2
Let a(n) = -n**3 + 9*n**2 - 6*n - 10. Let f be a(8). Suppose 4*j - f = 42. Solve -5*c + j = -3*w, 1 = 2*w + 2*c + 9 for w.
-4
Let x be 105/(-6)*88/(-55). Suppose -27*n = -x*n + 2. Solve -n*a - 7*s = -2*s - 8, -a + 3*s - 7 = 0 for a.
-1
Let n(w) = -w**2 + 15*w - 23. Let d be n(13). Solve d*q - 14 = -3*m - m, 3*q - 3*m + 21 = 0 for q.
-2
Let y(h) = h**3 - 4*h + 3. Let p be y(2). Suppose 2*r + 9 = -1, 25 = 3*s - 5*r. Solve s = -5*o - n + 2, p*n - n = 3*o + 4 for o.
0
Let b = 7 + 6. Let n(f) = 5*f**3 + 17*f**2 + 53 - 17 - 12 - 4*f**3 - 17*f. Let c be n(-18). Solve -v - c*z = -2*z + b, 5*z + 8 = -4*v for v.
3
Suppose -2*l + 2*c + 14 = 5*c, -c + 2 = 0. Let v be 1*l*2/8. Solve w - 4*r - v = 0, 3*r + 10 - 1 = -2*w for w.
-3
Suppose -16*f + 209 + 47 = 0. Solve -5*c = -3*g - 5, 0*c - c = -4*g + f for c.
4
Suppose 0 = -14*v + 504 + 2702. Suppose -v + 234 = m. Solve -2*h - 14 = -5*a, 3*h = -2*a + 3*a + m for a.
4
Suppose 6*k - 2*k = 16. Let o(d) = -8*d**2 + 2 - 5 + 13*d + d**3 + 1. Let w be o(6). Solve -3*x = -4*n - 2, 0 = -k*x + w*n - n - 2 for x.
-2
Let g = -4 + 12. Let s be 2/g + (-15)/(-20). Let i be 0/(s + (-1 - -1)). Solve -3*d - 5*o + 27 = 0, -5*o = -5*d - i + 5 for d.
4
Suppose -5*x - 3*x = -3*x. Solve 2*d + 4 = 3*t, -2*d - 4*t - 4 = -x*d for d.
-2
Suppose 6*y - 25 - 5 = 0. Solve -h - 2*h = 9, y*h = -r - 13 for r.
2
Suppose -34*p = -9*p - 75. Solve 5*j - p + 33 = 5*w, -j = w - 2 for w.
4
Let q = 23 + -18. Suppose 10*y - 45 = q*y. Solve -i = 3*c + c - y, 2*c - 9 = i for i.
-3
Let s = 14 - 2. Suppose 7*w - 86 = s. Suppose -10*r = -w*r. Solve -3*f + b + 4 = 0, -2*f = -r*b - 5*b + 19 for f.
3
Let v(q) = 10*q**2 - 1. Let m be v(-2). Let r = m + -36. Solve 4*a - 20 = r*w, -2 + 4 = -2*w - 3*a for w.
-4
Let s(t) = 4*t + 21. Let h be s(-11). Let f = 30 + h. Solve 4*k + 8 = 4*v, f*v = 8*v + k for v.
1
Let c(w) = w - 2. Let b be c(5). Let o(m) = -m**2 - 34*m + 48*m - 25 - 4. Let s be o(10). Solve -z = -3, j + s = -4*j - b*z for j.
-4
Suppose -5*v + 130 = -3*k, 16 + 9 = -k - 2*v. Let l = k - -37. Solve 5*s - l*f + 3 + 1 = 0, -3*f + 6 = s for s.
0
Suppose -21*i = -16*i + 40. Let f be 9/(-12) + (-30)/i. Let b be (9/(-3) + 3)*-1. Solve -5*l - 2 = -t, f*l + 2 + 1 = b for t.
-3
Suppose 6*t - 4*t + 12 = 0. Let b be (8/t*1)/((-2)/3). Let j = 8 + -1. Solve b*v - 5*i + 3 = -1, 5*i = v + j for v.
3
Suppose 0 = 2*p - s + 7, -5*p - s = -3*s + 18. Let g be 2/(-2)*2/p*10. Solve -g*n - 4*j = 6, 2*j = -j - 12 for n.
2
Suppose -23 = -3*m - s, -2 = 5*m - 4*s - 29. Solve 3*w + z + 12 = 0, 0 = 3*w + 4*z + 28 - m for w.
-3
Suppose 6*q = -102 - 246. Let o = -56 - q. Solve 0 = 2*d - o*y + 2, -3*y - 5 = -2*d - 8*y for d.
0
Let i = 22 - 4. Suppose -4*t + 22 = 3*w, -3*t + 0*w + i = 3*w. Suppose r = -5*g + 5*r + t, 0 = r + 1. Solve g = -2*y - 2, -y = -4*u + 3*y + 8 for u.
1
Suppose -3*z = 4*h - 4, -5*z + 4*z = -4*h - 12. Let i = 27 - 9. Let l be i/4 - (-8)/(-16). Solve 1 = t - 2*o, -l*t - o = o - z for t.
1
Suppose 2*q + 31 + 55 = 4*d, 3*q = -15. Suppose d = -2*u - 17. Let b be (-6)/9*3 - u. Solve b = -4*g + 2*y, 4*g - 2*y + 10 = 3*y for g.
-5
Let x = -120 + 164. Solve 0 = -2*v + 4*g + 10, 5*v - 14 = -g - x for v.
-5
Suppose 125*t - 15 = 120*t. Solve t*s - 6*a + 5 = -a, -s + 3*a = 3 for s.
0
Let n(j) = j**3 - 12*j**2 + 9*j + 22. Let y be n(11). Solve -2*p + 10 = y, -5*k - 4*p + p = -40 for k.
5
Let p(a) = -a**3 + 6*a**2 - 4*a - 3. Let r be p(5). Solve 12 = -5*i + i, t + r*i = -3 for t.
3
Suppose -d = -9*d + 32. Suppose 0*g - d = -4*g. Suppose 19 = 4*f - 17. Solve -3*c - f = 3*v, -2*v - c + 4*c - g = 0 for v.
-2
Let k be (152/18)/2 - (-30)/(-135). Solve -4*f + 3 + 4 = 5*c, -k*f = 4*c - 8 for c.
-1
Let z(y) = -2*y**2 + 1 + 5*y - 1 - 1 + 4*y. Let g be z(4). Let l = 1 - -4. Solve -u + 2*m = 2*u - l, g*u - 9 = 3*m for u.
-1
Suppose 0 = -4*r, -2*r = 4*z - 0*r - 20. Suppose -5*s - 14*f = -9*f - 25, -2*f + 4 = 0. Solve -11 = -s*i - m + 3*m, -z*i + 9 = -m for i.
1
Let x = -15 - -17. Suppose x*y = -2*y. Solve 4*q = -3*u - 1, 5*u + q - 21 = -y*q for u.
5
Let k be (-1 + -1)/(12/702). Let y be (-611)/k - (-2)/(-9). Solve 2*o - y*p = -15, -6 = -o - 4*o - 2*p for o.
0
Suppose 11*a = 7*a - 8. Let m be 17 - a*(3 + (-20)/8). Solve -4*o - 2*z - m = 0, -z = 2*o + 2*z + 11 for o.
-4
Suppose -12 + 2 = -5*n. Let r be (816/(-68))/(8/(-6)). Solve 0 = -f - 5*j - r, n = 4*f + 2*j - j for f.
1
Suppose 4*h + 12 = -3*t, 4*t = -0*h + 2*h - 16. Suppose -4*s + 2*a = -14, -2*a + 4 = 2*s - h*s. Solve 0 = s*n - c + 4, -4*c + 16 = 6*n - n for n.
0
Suppose 3*d + 7 = 13. Suppose -5*v - d*n = -5, 4*v = -v - 4*n - 5. Solve -v*j - 5*o = 0, -o + 6 = 3*j + 2*o for j.
5
Let t(g) = -g**3 + 4*g**2 + 3*g + 1. Let f be t(4). Suppose 0 = -4*y + 11 + f. Suppose 2*c = c. Solve 4*m - y = m + 2*w, -4*w = c for m.
2
Let m be (-2)/3 - 44/(-12). Suppose -4 = m*d - 13. Solve -30 = 5*t - 3*r, d*r - r - 7 = -t for t.
-3
Suppose u + 3*j - 16 = -j, 5 = 5*j. Suppose -98*f - u = -99*f. Solve -h = 4*p - 7, -8*p + f = -2*h - 3*p for h.
-1
Suppose 2*z = c + 28, -4*c - 5 = 2*z - 13. Solve -m + 12 = -5*x, -4*m + m - x - z = 0 for m.
-3
Let l be 144/10 - (-33)/55. Suppose 3*j + 7 = 2*u + 27, -2*j + 20 = -3*u. Let d(y) = y**2 - 4*y + 4. Let g be d(4). Solve x + g = -h, -4*x - j = h + l for x.
-5
Suppose 6 - 267 = -9*m. Suppose -m*x + 32*x - 12 = 0. Solve -3*a - x*q = -7, 4 = 5*q - 1 for a.
1
Let i be (-14)/(-10) + (-5 - 224/(-40)). Let u(m) = m - 2. Let p be u(4). Let b be (-1 + p)*(2 - 0). Solve b*f = 4*f - 2*t, -t + 6 = i*f for f.
2
Let b(c) = -c**3 + 3*c + 2. Let q(a) = a - 1. Let f be q(-1). Let u be b(f). Solve 2 = -u*n + s, s = -4*n - 3*s - 12 for n.
-1
Let x(y) = -44*y - 42. Let m be x(-1). Solve -5 = 2*i + 3*i - m*p, -i = -2*p - 7 for i.
-3
Let w be (-4)/(3/((-9)/(-3))). Let x be (-104)/(-24) - w/6. Solve -2*z = 3*s - 8, x*z = 4*s - 14 + 34 for z.
4
Suppose 114*h = 118*h - 8. Solve -14 = i + h*i - a, 0 = -i + 5*a - 28 for i.
-3
Suppose -13*s - 8*s + 63 = 0. Solve 6*d - 14 = 2*w + 2*d, s*d = 15 for w.
3
Let y(k) = 2*k - 22. Let n be y(16). Let u(v) = -v**3 + 9*v**2 + 9*v + 14. Let f be u(n). Solve 0 = 5*r + 4*b + 7, -1 = -f*r - b - 0*b for r.
1
Suppose 73*p - 1307 = 153. Solve -v = -5*v - 3*u - 17, 5*v + 5*u = -p for v.
-5
Let k(q) = -q**2 - 3*q + 5. Let y(u) = u + 1. Let a(n) = -k(n) + 5*y(n). Suppose -16 - 8 = 3*p. Let s be a(p). Solve s = 3*o - g + 7, 2*o - g + 10 = -3*g for o.
-3
Let m(g) = -g**2 + 29*g + 210. Let x be m(35). Solve -4*k - 5*c + 36 = x, k = 2*c - 6 + 2 for k.
4
Let a(v) = -2*v**3 - v**2 + 2*v + 3. Let y be a(-2). Suppose -54 = 2*f - y*f. Solve -f = -2*b + 4*l, 6 = -0*b - b - l for b.
-3
Let y be (-2162)/(-846) - (-4)/9. Let a be 3 + -3 - -2 - -3. Solve -a*t - 33 = -4*x, 2*t - t = -x - y for x.
2
Let s be 352/132*3/4. Solve w = s*l + 6, -6 + 0 = 2*l + w for l.
-3
Let a = 13 + -3. Let o = a + 8. Let y be (12/o)/(2/36). Solve y = 4*n + 4*l, -3*l - 8 = -n + 3 for n.
5
Suppose 45*s - 63 = 38*s. Let r = 14 - 20. Let v = -3 - r. Solve 3*q - 5*g