 - s*k + 5 for k.
-5
Let y = -118 - -121. Solve -2*z - y*z - 26 = 4*x, 5*z = 4*x + 6 for x.
-4
Let k(d) = -d + 7*d - 5 - 7*d**2 - d**3 + d. Let p be k(-8). Suppose 10 = 2*a + p*a. Solve 2*i + 2*u + a*u = 0, -5*u = 0 for i.
0
Let g be 2 - 28/12*-3. Suppose -6*o = -3*o - g. Solve i + 2*r - 2 = -2*i, 3*i - o*r = 12 for i.
2
Suppose 0*s - 28 = -2*k + 5*s, -3*k + 4 = 2*s. Let m be (k - 5)*0*(-3 + 4). Solve -c + 4*v + 21 = m, -4*v - 6 = c + c for c.
5
Let a = 749 - 747. Solve 4 + 1 = -y + a*n, 9 = -4*y - 3*n for y.
-3
Suppose -2*r + 6 = 0, 0*i + i - r = -1. Solve 5*d - 30 = -0*d - 5*m, i*d - 5*m = -9 for d.
3
Let m = 24 + -20. Let d be (28/10)/(2/10). Suppose 2*i = -4*j + 26, -2*i + 1 = -i - j. Solve -f = -i*r + 18, -r - m*f - 2 = -d for r.
4
Suppose 14 = 3*w + t, 12*t - 12 = -2*w + 10*t. Suppose 0 = 4*d - 67 + 19. Suppose -f = 2*f - d. Solve -w*u = g - 5, -f*g - g = -5*u for g.
1
Let d be 2 + 0 + (-46)/(-2). Suppose -4*x + h + 2 = -h, 5*x - d = -5*h. Solve 6*r + 3*f - 16 = x*r, 0 = -3*r - 2*f + 12 for r.
4
Let c(m) = -m**2 + m + 23. Let b be c(5). Solve 5*p - p = -4*d + 4, 2 = b*d + 2*p for d.
0
Suppose -k - 5*j + 18 = 2*k, k - 16 = -5*j. Let b be (10/4)/(k/6). Let i be b/2*(-20)/(-30). Solve -g = 0, 0*a - i = -a - 3*g for a.
5
Let g be -30*(-86)/(-215)*10/(-12). Solve 0 = -3*h - 4*t - g, t - 2*t = 2*h for h.
2
Suppose 25 = 5*w + 5*t, t + 1 = 5*w - 2*t. Suppose 0 = -w*a - a - 12, 4*a = -h - 11. Solve h*x = -4*i + 8, 0 = -i - 2*x + 5 for i.
-3
Suppose -2*x - 35 = -6*x - 5*d, -4*x + 8 = -4*d. Suppose -3*r + 10 = -5*o, r + x*o - 2 = 8. Solve 3*h + 5 = -1, -c - h = r for c.
-3
Let s(q) = -2*q - 12. Suppose -4*t - t = 35. Let w be s(t). Solve -15 = 4*b + 5*h + 3, 3*h - w = 4*b for b.
-2
Suppose 33*v - 31*v = -46. Let q = v + 27. Solve n = 4*a + 13, -q*a - 12 = -4*n + 16 for n.
5
Let m be ((-75)/20 - -4)*(-56)/(-7). Solve -h - 3*h - 4 = 4*j, 3*j - m*h = 7 for j.
1
Let i = 155 - 153. Solve -t + i*t - 6 = p, -4*t - p = -4 for t.
2
Let k(y) = 7*y + 44. Let f be k(-7). Let d be f*(-4)/50 + 28/5. Solve -m + 2*i - 1 = 2, 2*m + 5*i + d = 0 for m.
-3
Suppose 3*o = 5*l + 9, 0 = -o + 5*l - 18 + 21. Solve 2*q + 6 = -3*q - 2*x, 9 = -o*x for q.
0
Let a = -236 + 240. Solve v = -h, 0 = 2*h + 2*v - a*v + 8 for h.
-2
Suppose 10 = 1017*w - 1012*w. Solve 5*d = o + 5 - 3, 2*d + o = -w for d.
0
Let l = -18 + 26. Suppose k + 5 = l. Suppose -4*h = h. Solve h = -s + z - 3, k*z - 5 + 0 = s for s.
-2
Suppose 0 = 4*j + 3*t - 44, 0*t - t = 0. Suppose -j*n + 15*n = 12. Solve 0 = 2*u + 2, -2*m - u + n*u - 8 = 0 for m.
-5
Let t be 1/(3*(-1)/(-36)). Let f = 16 - t. Suppose 5*z + k = 24, k + 18 = f*z + 3*k. Solve 2*n + n = z*d + 13, 0 = 2*n + d + 13 for n.
-4
Let j = 5 - 6. Let l be (-2 - j) + -1 + 2. Let b = 10 - 6. Solve l = -r, k - 5*r = -b + 2 for k.
-2
Let w = -41 + 46. Solve -4*z + 5*g - 31 = 0, 8 + 3 = z + w*g for z.
-4
Suppose v + 25 = f + 6, -4*v = -5*f + 79. Let l(y) = -2*y - 30. Let x be l(v). Solve g + 12 = -3*g + 4*k, x*g + 3 = 5*k for g.
-4
Let i(v) = v + 5. Let p be i(0). Suppose -8 = -p*g + 3*g. Suppose -4*m + 9 = -a - 1, -22 = -g*m - 5*a. Solve b - 2*j = -m + 5, j + 10 = 5*b for b.
2
Let f = 31 - 100. Let u = 115 + f. Solve 3*v = 5*q + u - 19, 3*q - 4*v + 25 = 0 for q.
-3
Suppose 267 = 11*w - 162. Suppose -2*c + 5*r = -w - 15, 5*c = -2*r + 106. Let p(i) = -19*i + 1. Let s be p(-1). Solve -5*u + c = 4*y, -y - s = -4*u - 5*y for u.
2
Let l = -148 + 155. Suppose -l*q + 0*q + 7 = 0. Solve 2*d - 5*o - 4 = q, 0 = 4*d + 5*o + 35 for d.
-5
Suppose -21*j - 5*j + 78 = 0. Solve -2*l + 1 = 5*g, -4*g - j*l = -6*g - 11 for g.
-1
Let j = 314 + -122. Let d be j/36 + (8/(-6))/1. Solve -d*k = -4*z - 8, 2*z + 2*k = 4 - 0 for z.
0
Suppose 3*x + 38 - 11 = 0. Let q be -1*28 - (x - -5). Let j = q - -26. Solve -4*v - j*t = -10, -2*v = -v - t - 1 for v.
2
Let g(y) = y**2 + 8*y + 4. Suppose a = -3 - 5. Let c be g(a). Suppose -5*x - 13 - 7 = -c*t, -x + 25 = 5*t. Solve -t*b + 5 + 0 = 0, -4*d - 8 = -4*b for d.
-1
Let a be (-2)/4*-1*0. Suppose 7*k + k - 144 = a. Solve 2*i - k = 4*g, 0 = 5*i - g - 4 - 14 for i.
3
Let q(o) = -4*o**3 + o**2 + o. Let c be q(-1). Suppose c + 8 = 4*i. Suppose 0 = -i*j - 2*j. Solve j = a - 6 + 5, 3*b + a + 2 = 0 for b.
-1
Suppose -t - 4 = r, -3*t = -4*r + r - 6. Let v be 1 + t + 1 + 4 + -2. Solve -v*n = -l + 11, 2*l - 3*n = 4 + 3 for l.
-4
Suppose -4*d - 2*i - 115 = -d, -170 = 5*d - i. Let m be 15/d - 62/(-14). Let w be m/(2/8 - 0). Solve 4*s + 0*k - 4*k = w, 0 = -3*s + 2*k + 10 for s.
2
Let k = -5 - -9. Suppose -k*u = -19 + 7. Let x be 0*(-1)/u*-1. Solve x = w + 2, 2*w + 5 = 4*r + 1 for r.
0
Suppose -h + 3*q + 12 = 0, -4*h + 4*q = -3 - 21. Suppose i - 5*i = -32. Let z be (-8 + 374/85)*(-5)/3. Solve -z*t + 2 = -4*t - 4*b, h*t + i = -5*b for t.
-1
Suppose 5*l = 3*l + 40. Suppose -s = -17 + l. Let z be (-3 - -9)/s*-1. Solve 4*t + z*r = -t - 10, -25 = -2*t + 5*r for t.
0
Let d(u) = -u**2 - 26*u + 39. Let m be d(-27). Solve -2*j + m = 15*x - 13*x, 0 = 4*j + 3*x - 22 for j.
4
Suppose 53*b - 51*b - 212 = 0. Let k = -103 + b. Solve k*z + 0*z = 2*n - 9, -2*z - 11 = -3*n for n.
3
Let d be 24/80 + 963/90. Solve 3*m - d = -o, -3*m - o - 3*o - 1 = 0 for m.
5
Let g(s) = 40*s - 268. Let i be g(7). Solve 4*m - 2 = 4*k - 14, -i = -4*k - 2*m for k.
3
Let w be -8 - -5 - (-15)/3. Solve -27 = -5*g - 4*d, -d = -w*g - 2*d + 9 for g.
3
Let w = -448 - -452. Solve -4*r + 21 = -0*r - 3*n, 0 = w*r + 4*n for r.
3
Let m be (-17)/(-3) + (-2)/3. Suppose -17 = n - 2*j - 4, -3*j + 6 = 3*n. Let a be (10/(-7))/(n/21). Solve a = 5*d, 4*z - 2*z + 20 = m*d for z.
-5
Suppose -12*s + 2*i = -10*s - 14, -i = -5*s + 43. Solve -3*k - 11 = -4*n, -13*k = -s*k - 5*n + 13 for k.
3
Suppose 8*j - 9 = 7. Solve 3*w + 5*k = w + 29, -j*w + 4*k = 16 for w.
2
Let a(n) = -n**3 - 14*n**2 + 15*n. Let q be 2 + -19 + (-4 - -6). Let k be a(q). Solve 2*r + 3*y - 16 = k, 3*r + 6 = 2*y + 17 for r.
5
Let f = 505 - 500. Solve p = -s + 3*s + 6, s + f = 0 for p.
-4
Suppose -7*x = x. Solve v + 2 = -v, 2*n + 3*v + 5 = x for n.
-1
Suppose -25*t + 21 = -18*t. Solve t = p - 2*p + 2*v, 0 = 5*p + 5*v for p.
-1
Let r be ((-2)/(-4))/(9/18) - -2. Solve 0 = 4*h - 5*z - 18, r*h - 4 = -z - 0 for h.
2
Let c be (15*8/(-8))/(-1). Solve 5 + 0 = 5*l - i, -3*i = 4*l + c for l.
0
Let w be 2/7 - 45/35. Let f be (-1)/w - (3 - 5). Let t be 4 - 7/21*12. Solve f*a - 4*j + 8 = 0, 4*a = -t*a - 3*j - 19 for a.
-4
Let m(b) = b**3 + 4*b**2 - 7*b - 5. Let s = -10 - -5. Let x be m(s). Suppose x - 20 = -h. Solve -4*v - h = 5*u, -5*v + 2*u + 9 - 3 = 0 for v.
0
Suppose -4*f + 2*c = 3*c - 1, -5*f = -5*c - 20. Let g be 0/(3 - f) - -2. Suppose 2*o = -3*o + 10. Solve -o*l - 5*y + 6 = 2*l, g*y = l + 5 for l.
-1
Suppose 0 = -4*y + 9 - 1. Suppose y*k + 0 = 12. Suppose 4*r = 3*z - 21, -k*z + 5*r = -z - 30. Solve -2*f + 15 = -5*x, -x = -f + 3*f + z for x.
-3
Let v = -151 + 159. Solve 3*r + v - 21 = -u, 2*u = 3*r - 1 for u.
4
Suppose 4*l - 5*l = -26. Solve -b - 5 = -9*d + 4*d, l = 3*d + 4*b for d.
2
Let w(s) = s**2 + 7*s + 8. Let i be w(-7). Let v = i + -5. Solve 0 = v*g - 3*b, 2*g - 5*b = -0*b - 12 for g.
4
Suppose 736*k - 52 = 723*k. Solve 0 = 4*y + 4*f - 4, -4*f + 16 = k*y - 3*f for y.
5
Let j = 19 - -2. Let x(s) = 2*s**2 + 15*s + 23. Let p be x(-6). Suppose 2*g + p*g = 28. Solve -5*d - 4*u = -29, 0 = g*d - 4*u - j + 5 for d.
5
Let b(d) = d**3 - 2*d**2 + 4*d + 8. Let j be b(0). Solve 0 = 5*u + 3*t - 14, -5*t + j = -3*u - 4 for u.
1
Let g = -10 - -10. Let t = -1 - g. Let d be (t + 2)/(5/40). Solve 2*i + 4*w - 16 = -0*w, 3*i = 2*w - d for i.
0
Let z(g) = -g**2 - 14*g - 32. Let x be z(-10). Solve -b = -2*w - 5 - x, b = -2*w - 3 for b.
5
Let a = -120 - -128. Solve -5*i - 12 = -2*i + 3*l, -2*i - 4*l = a for i.
-4
Let a(i) = 17*i**3 - 2*i - 1. Let s be a(-1). Let m be (-3 - 0)*s/6. Suppose 4*c + 0 = m. Solve -5*r = -3*z - 3, 5 = 2*r - 7*z + c*z for r.
0
Let a be ((-165)/60)/((-2)/(-8)). Let w = -6 - a. Solve -2*x + 2*m - w = -1, -2*x - 4 = -5*m for x.
-2
Suppose 0 = -4*u - 5*q + 33 + 27, -3*q = 3*u - 48. Solve 2*s + 20 = 5*k, k - u = -4*k - 5*s for k.
4
Let z = 360 + -357. Solve -z*k - 24 = -3*t, -5*k = -t - 3*k + 13 for t.
3
Suppose 45*k = 8*k + 148. Solve 5*j = 4*f - 12, -f + 10 = -k*j + 2*f for j.
-4
Let m be (11/2)/((2 + -3)/2). Let h = -9 - m. Solve 5*j + 5*d = -30, -2*d - h*d 