 = -j*x - 12 for k.
-3
Suppose q + 24 = 13*q. Solve -q*u - 5*a - 23 = 0, 2*u = u + 4*a + 8 for u.
-4
Let b = 83 - 20. Let k = b - 57. Solve 0 = g - 5*z - 20, g + z + 4 = k*g for g.
0
Let j = -150 - -143. Let l be j/(-2 - -1) - (-114)/(-38). Let d = -1 + 1. Solve -2*a + 25 = -5*a + l*p, -2*p + 8 = d for a.
-3
Suppose 0*i - i + 4 = 0. Let v be (-8)/(-6) - i/(-6). Suppose v*j + 3*a - 14 = 0, -3*a = 4*j - a - 20. Solve -3*z + 2*c = 18, j*z - 3*c = -8*c - 1 for z.
-4
Let y = 515 + -510. Solve -2 - 8 = -y*m - 5*d, 5*d = 4*m - 17 for m.
3
Let j be 143/4 + 6/(-8). Suppose 5*k - 6*k = 4*o - 15, -2*k - j = -5*o. Solve -7*l - 8 = 3*g - 2*l, o*l = g - 24 for g.
4
Let a(z) = z**2 + 7*z - 5. Let q be a(-8). Let v = -4 + -5. Let g = 13 + v. Solve q*s = 3*d + 12, -d + g*s - 16 = -4*d for d.
0
Let v(p) = 16*p**2 - 4*p - 1. Let n be v(-1). Suppose 4 = -5*j + n. Solve 2*x - 4*x + j*l = 11, 6 = -2*x - 2*l for x.
-4
Suppose 648*a = 658*a. Solve 5*w + i - 21 = a, 3*i + 18 + 14 = 4*w for w.
5
Suppose -5*d - 7 = -2*o, -d = 4*o + 2 + 17. Let y be (o/12)/(1/(-141)). Suppose -33 = -5*b + y. Solve -i - v - 4 = 0, 3*i - b = 5*v - 4 for i.
-1
Suppose 8*l + 5 = 13*l. Let i be l/1 - (-9 + 4). Solve 2*g - 3*a + 1 = -6, -4*g + 2*a + i = 0 for g.
4
Suppose 24*t - 465 = -7*t. Solve -5*h - 4*c + 11 = -19, t = -5*h + 5*c for h.
2
Suppose 4*j - 74 = 2*k, -5*k - 85 = -4*j + 4. Solve -3*c - j = 3*t - 1, 5*t + 3*c + 23 = 0 for t.
-4
Suppose 6*g - 2*g = 68. Let q = g + -12. Solve -2*n = 5*s - 4*s - 3, s - q = -4*n for s.
1
Let m be 5 + 3/(-1) + -1. Suppose 4*s - 7 = m. Solve -c - 4 = r - s, 0 = -r + 3 for c.
-5
Suppose 46 + 49 = 19*w. Solve -4 + 37 = -w*d + 4*c, -c = -3*d - 17 for d.
-5
Let i(n) = 2*n**2 - 18*n - 29. Let t(h) = -h**2 + 6*h + 10. Let d(f) = -3*i(f) - 8*t(f). Let a be d(-2). Solve 5*o + 8 = -x + 3*o, 0 = 3*x + a*o + 18 for x.
-4
Let x = 10 - -2. Let t be (x/15)/(2/10). Solve q + q + 4*c + 18 = 0, t*q - c = -18 for q.
-5
Suppose -85 = -2*h - 5. Let m = h + -18. Solve -5*q - 2*j - m = -3*j, 2*j = -q for q.
-4
Suppose 0 = -10*a + 7 + 103. Solve -u + 5*b + a = 0, 5*u - 4*b + 5 = b for u.
-4
Let f(h) = 2*h - 6. Let z be f(6). Suppose r = -3*i + 19, -r - z + 30 = 4*i. Solve 2*l = l - p, i*p = 0 for l.
0
Let o be -2*(-3)/(-4)*(0 + -2). Suppose -1 = -q - f, -3*q - o*f = -q. Solve 0 = a - 2*k - 7, -a - q*a + 13 = -3*k for a.
1
Let h = 335 + -335. Solve -3*p + h = 2*f + 2, 3*f = 2*p + 10 for f.
2
Let m(z) = 2*z**2 - 12*z + 12. Let t be m(5). Solve -s + 4*y = -4, -t*y + 20 = 5*s - 3*y for s.
4
Let j(f) = 3*f - 1. Let o be j(2). Let w be 1/((-6)/50)*-3. Let r = -23 + w. Solve 5*q + 8 = -n + r, o*n = 20 for q.
-2
Let y = 6 - 41. Let d be (-4)/20*1*y. Solve d = -j - 5*c + 3*c, -j = 3*c + 8 for j.
-5
Suppose -3*s - 8 + 20 = 0. Solve -4*r - p + 9 = 0, 10 = s*r + 5*p - 3*p for r.
2
Let n(j) = j**3 + j**2 + 3*j + 2. Let a be n(-3). Let w = -21 - a. Let h be (-1 + w)/(3/2). Solve 0 = 2*z - 2*r, -2 = 4*z - h*r - 0 for z.
-1
Let l = 180 - 165. Solve 5*k + l = 0, 6*b - b + 5 = 5*k for b.
-4
Let q be (-198)/6 - (-1 + 2). Let z = -20 - q. Solve 5*l - 2*g = -18, -6*l + l = -g + z for l.
-2
Suppose -3*x = -5*u + 92, 2*u + 1 = -x + 40. Suppose -3*w = -9*w + 258. Suppose 16 - w = -9*h. Solve -p = 2*q + 2*p + u, -h*p = -4*q - 11 for q.
-5
Let z = 70 + -68. Solve -z*u + 1 = -5*l, 4*u - 8 = -2*l + 9*u for l.
-1
Let x(d) = d**2 + 9*d + 17. Let p be x(-2). Let l = -13 - -13. Solve l = -3*o - p*q - 24 + 6, 0 = -3*o + 5*q - 10 for o.
-5
Let x = -121 + 122. Let n be 9 + (x - 5) - 2. Solve 0 = -f - 2*q - 1 + 2, n*f = 5*q + 25 for f.
5
Suppose -4*k = -0*k - 12. Suppose -2*y + 2*w + 11 = 43, 0 = k*w - 12. Let j be -1*4/(y/15). Solve -29 = 3*p + j*g, 3*p + 1 = -3*g + 5*g for p.
-3
Let v(u) = -u**2 + 2*u - 1. Let k be v(1). Suppose 0 = -k*b - b + 5. Let p = -3 + b. Solve 2*h = -p*h - 5*s + 1, -2*h + 14 = -2*s for h.
4
Suppose 2*c = 4*c + 16. Let b = 18 + c. Suppose -4*s + 265 = 169*s - 81. Solve -9 = -3*d + 5*x, d - 2*x = s*x + b for d.
-2
Let o be (21 + -25)/(-2*3/6). Solve -5*l = 5*j - 10, j = -3*j + o*l - 24 for j.
-2
Let m be 303/30 + (-18)/180. Solve -4*p - 2*i = m, 2*i = 17 - 7 for p.
-5
Suppose -12*h = -4*r - 14*h + 126, -3*r + 77 = -2*h. Solve r = 5*g - d, 3*g = -g - d + 16 for g.
5
Let u(j) = -11 + j + 5 + 5 + 0 + j**2. Let p be u(-3). Solve p*s = a, 2*s - 2*a - 23 = 3*a for s.
-1
Let s(l) = -2*l. Let r(x) = x**2 + 6*x + 5. Let t be r(-5). Suppose t*o = o + 1. Let n be s(o). Solve n*d + c = 6*d + 11, -2*d - 23 = 3*c for d.
-4
Suppose -20 = 8*i - 12*i, -4*j - 2*i = -26. Solve 0 = -w + 3*r + 7, -j*r - 6 = 3*w + 12 for w.
-2
Let n be (1 - -3)/((-67)/(-134)). Solve -16 = -4*u + 3*r, -20 = -3*u - 2*r - n for u.
4
Suppose 24 = -2316*o + 2324*o. Suppose 3*p = 8*p - 25. Suppose 0 = 2*f - 4*f + 8. Solve 6 = -p*u - f*r, -u = u + r + o for u.
-2
Let x = 26 - 12. Solve 4*h - 5*s = -x, 0*h + 11 = -3*h + 4*s for h.
-1
Suppose 0 = 6*o - 38 + 14. Solve o*m - 3*m = -2*f - 3, -3*f = 2*m + 4 for m.
1
Let r(p) = -7*p - 33. Let y be r(-6). Suppose m = -7 + y. Solve l + 1 = w, m*w + 0*w - 5 = 3*l for l.
-3
Suppose -65*n = -66*n + 1. Solve -4*c = -4*q, 3*c + n + 0 = 4*q for q.
1
Suppose -3*o - 25 = 3*w - 10, 2*w = -3*o - 10. Suppose o = -3*c + 9, -5*d + 25 = -4*c - c. Solve -4*i - 2*t + d = 0, -2*i + 5*t + 16 = -0*t for i.
3
Let d be 24/3 + -2 - 1. Suppose t + 16 = d*t. Let z be 14/t + 2/4. Solve 0 = 4*j + 2*m + z, 0 = -j - 3*j + 4*m + 20 for j.
1
Suppose -p + f = -4, 3*p = -3*f - 14 + 2. Suppose 3*j - 5*o - 30 + 0 = 0, 4*o + 12 = p. Solve 2*m = -8, -m + j = -3*r - 0 for r.
-3
Suppose 3*l + 16 = n, -2*n + 26 = 3*n + 3*l. Let r(b) = b**2 - 4*b - 18. Let a be r(n). Solve -a*v = 6, -q = -5*q - 3*v - 14 for q.
-2
Let b(y) = -125*y - 4. Let x be b(-1). Let g = -109 + x. Solve 5*v = -2*j - 14, 0 = 3*v - 0 + g for j.
3
Let n be (-160)/28 - 2/7. Let a be n - -8 - (-4)/(-2). Suppose 6*j + a*j = 30. Solve -3*u = -3*q + j + 4, -4*u = -3*q + 11 for q.
1
Let o be (-10)/(-6)*1*(-240)/(-40). Let k be 5 + -1 - (-10)/o. Solve i + 3*l + 8 = -6, 0 = -i + k*l + 10 for i.
-5
Let i(j) = j**2 - 6*j + 13. Let y be i(5). Suppose -10 = p - 2*p + 4*g, -y = -p + 3*g. Solve 13 = -x + p*q, 29 = -2*x - x + 4*q for x.
-3
Suppose 3*g = 25 - 31. Let b be ((-1)/g - 2)/(6/(-12)). Solve 2*k = f + 7*k - 12, 4*f = -5*k + b for f.
-3
Suppose -4*b + 3*i = -27, 3*b - 6*i = -i + 23. Suppose 33 = -3*u - b. Let a = -8 - u. Solve -5*j - 21 = -2*y, j + a = -2*y + 8 for y.
3
Suppose 19*n - 13 = 44. Solve 0*y - 12 = n*y, r = 4*y + 11 for r.
-5
Suppose -q + 7*i - 3*i = 16, -2*q - 3*i = -23. Solve 5*m - 8 = -3*u, 3*m = -2*u - 0 + q for u.
-4
Let u(v) = v - 2. Let i be u(1). Let o be 1 - (i + (1 - 1)). Suppose -2*g + o*f - 8 = -3*g, 4*g - 4*f - 68 = 0. Solve r = d + 3*r - 2, 0 = 2*d - 5*r + g for d.
-2
Let t be ((-18)/15)/((-4)/10). Suppose 4*u = 67 + 21. Suppose -14 = -4*x + u. Solve h + 3*b + 1 = -t*h, 0 = -3*h + b + x for h.
2
Let h(c) = c**2 - 5*c + 3. Let a be h(0). Let n(v) = -v - 4. Let o be n(-6). Suppose -a*y = -4 - o. Solve y*j - 3*j + 5*b + 13 = 0, -18 = -4*j + 3*b for j.
3
Suppose 2*a + 32*s - 37*s = -25, 0 = -a + 5*s - 25. Suppose 3*k - n - 3 = 4, -2 = 2*n. Solve a*r - k*r = 2*v, 2*v = -r + 2 for r.
-2
Let c be (-14)/(-4) - (3/2 - 2). Suppose -k = c*k - 10. Solve 3*l = -0*l - 4*v + k, -3 = 3*v for l.
2
Let p be (-3)/2*(-8 + -22). Suppose 5*r = r + 5*c + p, -r - c = 0. Suppose -2*b = 4*q - 16, -q + r = 2*b - b. Solve -5*x = 3*s + 18, 3*s = s - b for x.
-3
Let i be 156/(-27) - (-4)/(-18). Let g = i - -19. Suppose -4*j + 3*j + g = -3*f, j + 2 = -2*f. Solve -2*h = p, -2*h - j*p - 4 = 2*h for h.
1
Suppose -13*a + 124 = 59. Solve 0 = a*w + 2*i, w = -2*i - 3 - 5 for w.
2
Suppose -553 = 21*w - 616. Solve -w*j = 3, 4*j = 6*n - 11*n + 11 for n.
3
Let u be ((-26)/(-39))/((-2)/66). Let i be (-4)/(-24) + u/(-12). Solve -h = -3*h - 3*m - 2, -i*h + 2*m = -18 for h.
5
Let b be (4/5)/((-7)/(-280)). Suppose -f + 5*c = 0, -11 = 4*f + c - b. Solve 2*x = 4*x + 3*h - 4, f*x - 35 = 5*h for x.
5
Suppose 0 = -0*l + l - 6. Suppose 4*u + 49 = -3*q, -u - 25 = 2*q - l*u. Let z be q/2*(-24)/36. Solve 3*v = 2*v + 5*x - 26, 3*x = z*v + 20 for v.
-1
Let k = -31 + 57. Let b = k - 16. Let r = b + 4. Solve 5*y - 4*f = 28, -3*y - 3*f + r = -4*f for y.
4
Let f be 2/(-4)*-2 + (-4)/(-4). Solve -3*