+ 3*m - 2, -3*u + m = 4 for u.
-1
Let l(m) = -m + 12. Let d be l(19). Let r = d - -9. Suppose -r*a = -0*a - 10. Solve -z + 13 = 5*p, -a*z + 3*p = 7*p - 2 for z.
-2
Suppose 0 = -21*m + 78 + 6. Solve 2*j + 5 = m*j - s, j = 2*s + 7 for j.
1
Let m(x) = 3*x**2 + 19*x + 28. Let z be m(-4). Solve 3*v - 7*v - 20 = -3*s, z = -5*s - 4*v - 20 for s.
0
Let t = 795 - 771. Let r = t - 20. Solve 0 = 3*b + r*k - 4, 2*b + b = -5*k + 8 for b.
-4
Suppose -2*k - 3*s + 9 = 0, 4 + 12 = 2*k - 4*s. Suppose 43*n = 29*n + 2590. Let j be k/16 - n/(-40). Solve -j*x - 2 = 4*t, 0*t = -3*x - t - 4 for x.
-2
Let b(r) = -1 - 57*r + 25 + 60*r. Let h be b(-7). Solve -h*z + 4*t = -2 - 9, -z + 3*t + 12 = 0 for z.
-3
Let u = -2985 + 2996. Solve -9 = -z - 4*p, -6*z + 5 = -u*z + 5*p for z.
1
Let x(s) = -33*s - 192 - 256 - 185 + 1006 - 139. Let j be x(7). Solve -j*h + 2*r = -r - 3, -2*r = -4*h + 12 for h.
5
Let f = 41 - -19. Suppose 16*d = d + f. Solve -o + 2*o - 4 = 5*x, 0 = -4*x + d*o for x.
-1
Let h be (18 - 60)*(-2)/6. Suppose -36*j = -35*j - h. Let i = j + -10. Solve i*m = y - 7, y - m - 8 = 2*y for y.
-5
Let u be (-342)/(-266) + (72/189 - (-4)/(-6)). Solve 5*o + 4*t - 15 = 0, -2*t = 5*o - 14 - u for o.
3
Suppose -5*j - 29 = -m - 0*m, -38 = -2*m + 5*j. Let s be ((-2)/4)/((2 - m)/434). Solve -3 = -u - 3*g, 5*u - 4*g + s = 8 for u.
-3
Suppose -138 - 2 = -28*f. Solve -3*g + 4*s = -8*g + 32, 0 = f*s - 15 for g.
4
Let h = 8 - 4. Let q = 228 - -125. Let s = q - 351. Solve -h*n - 4 = -s*a, -2*a - a - 10 = 2*n for n.
-2
Suppose 5 = -2*b - z, 0 = b + 2*z - 1 - 1. Let m be ((-6)/b - 1/(-2))/(-1). Let j be -3 + 7/1 + m. Solve 0 = -5*q + 4*h - 7 - 2, -5*q = -j*h + 17 for q.
-5
Let n(l) = 3*l**2 + 5*l + 1. Suppose 5*k + 3*p = 6*k - 10, 12 = -3*p. Let v be n(k). Solve -4*z = -u + 4, 0 = -v*z + 4*u - 9*u - 26 for z.
-2
Let u be (-1470)/(-462) - 4/22. Solve 2*y = -3*r + 19 - 2, 12 = 3*r - u*y for r.
5
Let x be (6/4)/(3/6). Let s = x + -2. Let p be (-4 - -6) + (-1 - 7/(14/(-6))). Solve p*b - q - 10 = 0, 4*q - 1 = 2*b + s for b.
3
Suppose 15*v + 6 = 18*v. Let g = -608 - -612. Solve v*d + 24 = -4*l, -3*d - 2 = g for l.
-5
Let k = 146 - -164. Let w = 311 - k. Solve -m + w + 3 = -2*j, 3*m - 12 = -4*j for j.
0
Let u be (-1044)/(-58) + 1*-1*1. Let m(p) = p**2 - 18*p + 31. Let s be m(u). Let n(i) = -2*i - 4. Let x be n(-6). Solve -5*t = -3*g + s, t = 3*t + x for g.
-2
Suppose 5*g + 2 = -3*m - 3, 4*g = -3*m - 7. Suppose -4*z + 14 = -g. Solve 4*i + 31 = 3*q + 10, -z*q + 3 = 3*i for i.
-3
Suppose -17*m + 45 = -6. Let b = 1 + 3. Solve 4*o - 5*y + 11 = -b, -3*o - 12 = -m*y for o.
-5
Let k = 1885 - 1883. Solve -2*l + f = 11, l + f - k = -6 for l.
-5
Suppose -216*y + 213*y + 40 = -5*m, 3*m = 4*y - 35. Solve -4*i - 13 = -3*f - 19, -y*f + 7 = -i for f.
2
Let v(o) = -o**3 + 8*o**2 + 15*o + 54. Let q(z) = -z**3 + 6*z**2 + 10*z - 11. Let m be q(7). Let g be v(m). Solve g*c = -x, 3*x = c + 4*c for c.
0
Suppose 2*d = -5*a + 2 + 4, -2*a + 4*d + 12 = 0. Suppose -6*g = a*g. Solve -l - 4*n - 3 = g, -3*l - 23 = -8*l - n for l.
5
Suppose 0 = 238*t - 236*t - 72. Suppose 3*y + z - t = 6*z, 5*z = 2*y - 29. Solve 4*f = -2*r - 20, -3*f - 10 = 2*r + y for r.
-4
Suppose 0 = z + 3*z. Let l(p) = -p**3 + 3*p**2 + 57*p + 30. Let x be l(-6). Let u = 99 + -99. Solve 2 = -i - z*i, u = n - 5*i - x for n.
2
Let d = 181 - 171. Suppose -4*c = 4*h + 16, -13*h + 4 = -d*h - c. Solve 16 = 4*m - h, -3*v = 2*m + 4 for v.
-4
Let x(p) = -p**3 + 12*p**2 - 15*p + 16. Let j be x(9). Let v = -121 + j. Solve -2*q + 12 = 4*h, -v*h + 3*q = q - 23 for h.
5
Suppose 0 = 256*u - 261*u - 5*i + 60, 3*i - 27 = 0. Solve 2*k - 3*x = -u, x + 2*x - 27 = -2*k for k.
6
Let w be (-70 - -73) + 1 + 1 + 0. Suppose 9 + 10 = 4*v + x, 0 = 5*v + w*x - 20. Solve -2*a - 25 = -5*t, -4*t + 17 = -4*a - v*t for a.
-5
Suppose -208*b + 1027 - 125 = -138. Let z(o) = o - 10. Let s be z(10). Let l(r) = r**2 + r. Let j be l(s). Solve -p + 2*v + v - b = 0, p + 4*v - 16 = j for p.
4
Suppose 2*q = 4*s + 32, -2*s - 79 = -5*q + 25. Suppose -q*u + 20*u + 22 = 0. Suppose 17*f - 138 = u*f. Solve -5*m + 5 = 0, -5*x + 4*m - 1 - f = 0 for x.
-4
Suppose 0 = 5*y + o - 18, 9 = -224*o + 227*o. Solve 2*c - 2 - 4 = -3*l, 3*c = -y*l + 9 for l.
0
Suppose -47*r + 42*r = -d + 25, -5*r = -2*d + 25. Solve d = 3*m + 5*k, 4*m + 6*k = 8*k for m.
0
Suppose 4 + 775 = 118*m + 71. Solve -u = n + 8, -5*u - 21 = -m for n.
-5
Let f = -577 - -153. Let z = -419 - f. Solve 3*t - 4*a = 28, z*t - 4*a - 17 = 19 for t.
4
Let r = -16 - -20. Let v = -115 + 123. Let j be 2/(4 - v - -5). Solve 4 = -j*f + 6*f - 2*i, -f + r*i = -15 for f.
-1
Suppose 5*f + 329 = -x - 257, f + 114 = -x. Let u = f + 167. Suppose 3*v + 72 = 4*d, -5*d - 5*v + 41 + u = 0. Solve -3*j + d = -r, -3*j + 0*r - 4*r = -3 for j.
5
Let f(k) = -k**3 + 4*k**2 + 20*k + 25. Let p be f(6). Solve 3*q - p*h = -72*h, q = h for q.
0
Suppose 0 = b + k - 6, -5*k - 33 = -3*b - b. Suppose 2*n + 3 + b = 4*m, 0 = -4*m - n + 19. Solve 0 = -m*f + 16, 4*a - 2*a - 3*f + 8 = 0 for a.
2
Let n(p) = 7*p + 35. Let q be n(27). Let h = q - 212. Solve 5*a + 3*s = h, -4*s - s - 5 = 0 for a.
3
Let o = 250 + -243. Let i be (-3 + -3 + o)/((-2)/(-4)). Solve -c = 5*j - 10, -i*j - j - 2*c + 6 = 0 for j.
2
Let x be ((-85)/(-85))/(-4*1/(-140)). Solve 24*j = 28*j + h - 23, 0 = -4*j - 5*h + x for j.
5
Suppose -1032 = 15*s - 31*s + 328. Solve -18 = s*w - 82*w + 5*c, 2*w - c = -12 for w.
-6
Suppose -17*l = -20*l + 6. Suppose l*i = 3*i. Suppose i = 3*y - 0*y - 9. Solve 3*v + 9 = y*s, 17 = 3*s + 2*v - 7*v for s.
-1
Let f(q) = -6*q - 40. Let c be (-369)/54 - 2/12. Let u be f(c). Solve 2*g + 3*g - u*z + 10 = 0, z = 4*g + 8 for g.
-2
Let v be (-3)/12*-28 - 7. Suppose 34*m - 37*m = 33. Let o = 20 + m. Solve -o = -5*t + 2*l, 6 = -v*t - 2*t - 4*l for t.
1
Let k(h) = h**2 - 4*h + 7. Let x be k(2). Suppose -x*z - 27 = -0*z + 4*c, 3 = -c. Let b be 2 - 1 - 2 - z. Solve 4*u + u - 16 = -b*a, -5*u = 2*a - 18 for a.
-1
Suppose -875 + 791 = -28*t. Solve -t*u = 3*v + 15 + 3, 0 = v - 4*u + 1 for v.
-5
Let n(m) = -12*m**2 - 57*m + 15. Let w be n(-5). Solve w = 5*d - l - 4 - 17, -2*d + 9 = -l for d.
4
Suppose -27*f + 230*f - 406 = 0. Solve -m = -f*o - 1, 4*o - 5*m = -29 + 18 for o.
1
Let y = -303 + 315. Let m be y/18 - (-14)/6. Solve 3*k - m*c = c + 1, -4*k + 22 = 5*c for k.
3
Let s = -762 - -764. Solve -30 = 14*i - 9*i + 2*y, -5*y = s*i + 33 for i.
-4
Suppose 5*f + 70 = 5*q - 135, -3*f - 5*q = 115. Let g = f + 44. Suppose -g*t - 2 = -14. Solve 4*i + t*x + 3 + 3 = 0, -x - 13 = 5*i for i.
-3
Suppose 0 = -4*g + 2*o + 46, 2*g + 10*o = 7*o + 3. Solve 0 = -2*a + 3*n - 0 - 4, -5*a = 2*n - g for a.
1
Suppose 5*q = -2*i + 51, 15*q - 14*q + 3*i = 5. Let o = 3 - 1. Suppose 20 = a + o. Solve -v + 3*l + q = -0*l, 2*v = 4*l + a for v.
5
Suppose 9*d = 3 + 6. Let l(v) = -v + 1. Let n be l(d). Solve -3 = -5*s - 3*x, -5*s = -n*s - 5*x + 5 for s.
0
Let l(a) = a + 11. Let h be 38/(-5) - (-6)/(-15). Let i be l(h). Let n be (-2 + (-11)/((-330)/12))*10/(-4). Solve n = -5*w + i*f, 3*w - f - 3*f + 9 = 0 for w.
1
Let y be -1 + 3 + 1 - -23. Let r = y - 16. Let j be 3*16/(-12) + r. Solve 0 = 5*t - 3*c, -4*t + j*t - 3*c = 9 for t.
-3
Let w(k) = -2*k**2 + 88*k + 389. Let r be w(48). Let q = 14 + -11. Solve r*d = -4*o + 27, q*d + 1 + 5 = 5*o for d.
3
Suppose 55 = -3*n + 1. Let v be (-6)/n*(6 + -3). Solve 2*r = -2*x + 2, 3*x + r = -4 + v for x.
-2
Let z be -3 - (2/(-11) + (-2610)/165). Solve 5*a + 2*n = 27, 0 = z*a - 15*a - 3*n + 24 for a.
3
Suppose -18 = b + 45*p - 40*p, -3*b + 5*p = -26. Solve b*t + m - 3 = 3*t, -t + 2*m = 5 for t.
-1
Let y(k) = 2*k**2 + 19*k - 8. Suppose 0 = -d - 1, -2*v = -4*d + 3*d + 19. Let j be y(v). Solve -5*l + j*l + 2*o = 5, -o = 5*l + 30 for l.
-5
Let h = -104 + 108. Suppose 0 = 3*o - o + i - 25, h*o - 29 = 5*i. Suppose 2*x + 1 = -1, 0 = 3*z - 4*x - 10. Solve 4*s = -3*u - s - o, -z*u + 2*s = -14 for u.
3
Let k(u) = 4*u + 21. Suppose q + 15 = 3*q + 5*g, 5*q - 84 = 3*g. Let d be k(q). Let j = d - 81. Solve -18 = -3*t + 4*y, j = -2*t + 2*y + 17 - 7 for t.
2
Suppose 0 = 33*l + 180 - 840. Solve -9 = -f + 5*s, 0 = 16*f - l*f + 4*s + 4 for f.
-1
Let k = -29751 - -29761. Solve o - 2*w - 5 = 0, 5 = 3*o + 6*w - k*w for o.
-5
Let k = 4819 - 4814. Solve 3*l = -3*v + 59 - 65, -3*l = -k*v - 2 for l.
-1
Suppose 0 = -4*h - 3*d + 14, 3*h