 Solve 0 = u*x - t + 14, 3*t - 4 = -x + 3 for x.
-5
Let a = 2 + 0. Let v(r) be the second derivative of -r**4/12 + 23*r**3/3 - 261*r**2/2 + 8*r - 1. Let p be v(7). Solve p = -4*z - 3*q, -6 = 2*z + q - a*q for z.
-3
Let z(w) = 25*w - 1045. Let o be z(42). Solve 0 = -3*m - j - 6, 2*j + 14 = -o*m + 4 for m.
-2
Let b = -231 - -220. Let w(a) = -4*a - 42. Let y be w(b). Solve 4*z + 14 = -z - y*u, -2*z = -5*u - 6 for z.
-2
Suppose -24 = 8*y - 80. Let g = 0 - -2. Suppose y = w + g. Solve w*m + 4*s - 7 = 0, 5*m + 3*s - 11 = s for m.
3
Suppose 4*f - 52 = -2*r, -r + 270 - 244 = -f. Solve -5*g + 11 = 3*j - 11, 0 = 5*g - j - r for g.
5
Suppose 0 = 5*x - 23 - 2. Let o be x + (-5 + 6)*-1. Suppose 4*s = -o*h + 8, 4*h + 7 = 2*s + 5*h. Solve 2*f - 9 = -s*u - 32, 3*f = -3*u - 12 for f.
1
Let m be 4/18 - 8/36. Suppose -12*p + 0 = -62 + 26. Solve 2*k = -f - 12, f + m = -p*k - 17 for k.
-5
Let p(v) = 1202*v - 2401. Let o be p(2). Solve 2*z + h = -5 - 2, -4*h = o*z + 3 for z.
-5
Suppose 14*z - 9 = -k + 16*z, 3*z = -3*k + 9. Suppose -24 = 124*q - 128*q + 4*a, 3*q + k*a = -6. Solve 4*w - 19 = 3*p + 4, 0 = q*p - 3*w + 21 for p.
-5
Let f be (-217)/1085 + 16/5. Solve 0 = -4*z, 6*z - f = -3*o + 3*z for o.
1
Let y(d) = -d**3 - 18*d**2 + 27*d - 255. Let n be y(-20). Solve 13 = -c + 3*i, -n = 5*c - 4*c - i for c.
-1
Suppose 84 = 4*y - 2*u, 0 = -30*y + 35*y + u - 98. Solve 0 = -y*w + 19*w + f - 1, -4*w - f = 9 for w.
-2
Let z = 35 - 33. Let s be z/((-4)/(-104)*-4). Let a(c) = -c**2 - 11*c + 27. Let n be a(s). Solve 3*t = 2*w + 17, -4*w - n = 2*t + 3*t for t.
3
Let a be (-1 + 7)/((-30)/(-40)). Suppose 32 = 2*f + a. Suppose 0 = 7*t - f - 16. Solve t*w - 18 = 2*y, w + 8 = -3*y - 5 for y.
-5
Let v be (3/(-6))/(100/(-200)). Solve -7 = -5*y - 0*k - k, -k = y + v for y.
2
Let w be (-6)/5*(-15)/6. Suppose -2*c = b + 2*b - 33, 3*b = 4*c - 57. Let a be 2/(10/c) - 3. Solve -2*m + a*d = -w*d + 11, 0 = 3*m - d - 1 for m.
2
Suppose -35*s + 32 = -34*s. Solve 5*m + 12 = 2*u, -s*u - 2*m = -27*u + 28 for u.
-4
Let p(s) = -s**3 + 2*s**2 + 5*s + 3. Let z = 20 + -22. Let g be p(z). Suppose -25*t = -10*t - 285. Solve 4*c + d = t, -d - g = -3*c - 0*c for c.
4
Suppose -10 = 4*u - 2. Let f(g) = 2*g**2 + 9*g + 10. Let k be f(u). Solve 3*w - 2*s + 0 + 5 = k, 2*s + 10 = 0 for w.
-5
Let m = 7310 - 7310. Solve 32*w - 2*h + 7 = 35*w, -2*w + 5*h + 30 = m for w.
5
Let b be ((-15)/12)/((-54)/216). Suppose 5*o - 9 = -3*l, -4*o + o + 3*l - 9 = 0. Let t = 23 + -21. Solve -45 = 4*z - b*i, 3*i - 25 = -o*z + t*z for z.
-5
Let u(o) = 56*o - 160. Let z be u(3). Solve 4*m = 5*v + z, 3*m = -v + 5 - 18 for v.
-4
Suppose -36 = -29*l - 6*l + 139. Solve -j = -l*c - 1, -2*c - 2*j - 4 = -6*j for c.
0
Let u be -10*(-3)/(5 - -1). Let w be 321/(-107)*2/(-3). Solve 2*v + 16 = w*i, v + 0*i = u*i - 24 for v.
-4
Suppose 5*s = -2*p + 9 + 25, 3*p - 60 = -3*s. Suppose 5*o - 2*m - p = 0, -11 = -6*o + 2*o - 5*m. Solve t + x + o*x = 4, 0 = 3*x for t.
4
Suppose 2*v - 24 = -k - 6, -4*k + 37 = v. Suppose 27*w + 8*w + 3971 = 4111. Solve -k = m + 2*d + d, -w*m - 3*d - 23 = 0 for m.
-5
Suppose -5*t + 8*t - 5*f - 2 = 0, f = 2*t + 1. Let w be (19 - 19)/(t + 0). Solve -o + p - 8 = 0, 4*o + 2*p = -w*p - 8 for o.
-4
Let a(t) = -t**2 - 8*t - 7. Let j be a(-7). Suppose -59 + 29 = 49*h - 30. Solve -4*s + h*d + 18 = 2*d, 2*s + 3*d - 11 = j for s.
4
Let f be (4 + (0 - 2))*2. Let z be -31 + 59 - 24 - (0 + -1 - 3). Solve -3*o + z = -b, f*b - 2*o + o = 1 for b.
1
Let j = -41 + 49. Suppose -j = -5*a - 58. Let i(y) = y**2 + 12*y + 23. Let h be i(a). Solve 0 = h*g - g + 3*k + 3, -3*k - 3 = 0 for g.
0
Let v(f) = 17*f - 4. Let a(t) = t**3 + 6*t**2 + 8*t - 2. Let j be a(-4). Let l be v(j). Let d = 42 + l. Solve 0 = 2*i - 5*g + 5, -6*g + d*g + 2 = -5*i for i.
0
Suppose -2*h + g = -6 + 12, -h = 4*g - 24. Let k = 2 - -3. Suppose h = 3*q - 7 - k. Solve 11 = -u - q*y - 3, -5*u + 5*y + 5 = 0 for u.
-2
Suppose -u = -1 - 2. Suppose 0 = 9276*j - 9284*j - 72. Let r be 15/9*-1*j/u. Solve 2*m - 2*p + 2 = -0*m, r*m - 4*p + 6 = 0 for m.
-2
Let p = 20 + -28. Let a = -4 - p. Suppose 30 = 2*c + a*c. Solve -t = -4*w - 23 - 1, -25 = w - c*t for w.
-5
Suppose -2*n + 4*y + 2 = -y, 0 = 3*y. Let x(g) = 41*g + 73. Let d be x(5). Let b = d + -276. Solve -4*w = -5*v - n, 3*w - b*v - 4 = 2 for w.
4
Let n = 3 + -3. Let c be (81/12)/(-9)*4 + 115. Suppose z = -91 + c. Solve 0 = -s - 5*v + z, -4*s + n*v + 5*v = 41 for s.
-4
Suppose 21 = 3*q - 2*f, -3*f = -2*q - 0*f + 14. Let j be ((-6)/q)/(6/(-252)*4). Solve v - 3*v - 3*a = -j, 2*v - 4*a - 2 = 0 for v.
3
Suppose 5*k - 5*t = 245, 5*k - k - 160 = -5*t. Suppose -m + 42 = -s - 2*m, 4*m - 105 = 3*s. Let j = s + k. Solve -6*x = -4*x + 2*w + 10, -3*w - j = 0 for x.
-3
Let g = 68 - 44. Suppose 28*a - g*a - 76 = 0. Let y(t) = t**3 - 11*t**2 - 13*t + 22. Let k be y(12). Solve -3*d + k + a = 4*p, 0 = p - d - 2 for p.
5
Suppose 10*n - 253 = -n. Suppose -2*f - n = -5*c, 3*c - 2 - 11 = f. Solve -c*o - 5*h = -5*o + 27, 2*h + 10 = 0 for o.
1
Let a be (8/3 + 2/(-1))*6. Suppose 3*i + 4*p - 4 = 0, a*i + 3*p = 5*p + 42. Solve 3*w - 4 = -5*b, -w = -4*b - b - i for b.
-1
Suppose 69*a + 1100 = 228*a - 1444. Solve 15*z - 20*z - 4*r = -a, -5*z - r = -19 for z.
4
Suppose 2*u = -8, f - 9 = 4*u + 12. Let y = -19 + 21. Suppose 4*b = -4*j + 4, -y*b + 5*b + 18 = 4*j. Solve 0 = -x - f*l + 2, l + j*l = 0 for x.
2
Let m = -240 + 244. Let g be m/(24/3)*8. Solve -g*i + p = 11, 5*p - 3*p = -5*i - 17 for i.
-3
Let y = -2515 + 2531. Solve 4*p - 2*o - y = 0, 3*o + 8 = 3*p - p for p.
4
Suppose -4*h + 36 = -4*p, -h - p = 2*p + 11. Let q = -2951 - -2953. Suppose 5*t - 3 - 17 = 0. Solve h = z - f, -f = 4*z - t - q for z.
2
Suppose 5*i - 14 = 10*p - 11*p, p = 5*i - 6. Solve 14 = -i*u - 5*j + 1, -5*u + 3*j = 17 for u.
-4
Let n be (1/5)/((-2)/(-10)). Let m be n + (-4)/(-8)*-4. Let s be ((-90)/105)/(m/21). Solve 4*q - 6*q + 4*g - s = 0, -11 = -q - 2*g for q.
1
Let t be (3 + (-35)/14)*4. Solve -t*d + 25*x = 24*x + 6, 0 = -3*x for d.
-3
Suppose 28*h - 63 = 7*h. Solve 5*m - h = 12, -3*m = 3*t - 6 for t.
-1
Let k(f) = f - 19. Let v(b) = 21. Let y(u) = -3*k(u) - 2*v(u). Let q be y(4). Solve -j = -a + q*j + 20, -5*a - 5 = j for a.
0
Let z(u) = 23*u + 422. Let w be z(-18). Suppose -j = -3 - 57. Let s be (-28)/(-15) + w/j. Solve 2*n - s*c - 1 = 3*n, 5*n + 2*c = 3 for n.
1
Let g = -18 - -22. Suppose -v + 14 = v - 4*t, -v = t - g. Let n(f) = -f**2 + 4*f + 34. Let d be n(8). Solve -j - d*m = 9 + 2, j + v*m + 20 = 0 for j.
-5
Let p(v) = -5*v + 4. Let r(u) = 2*u. Let j(m) = -p(m) - 3*r(m). Let n be j(-7). Solve -n*b - b + 13 = -s, -3*b + 6 = 0 for s.
-5
Let a = -271 - -277. Let g(v) = 13*v + 202. Let m be g(-15). Solve 4*z - 2 = -2*p, z + m = a*z + 4*p for z.
-1
Let a(s) = -s**2 + 6*s + 75. Let c be (-3 - 7/(-2))*-6 + -3. Let z be a(c). Solve 0 = -3*j - z*u + 15, 3*j + 0*u - 3*u = -9 for j.
1
Let m(t) = -12*t + 746. Let o be m(62). Solve -o*b + 34 = -5*r + 47, 5*r = 4*b + 11 for r.
3
Let x(u) = -u**2 - 4*u + 5. Let o be x(-5). Let l(n) = n**2 + 4*n - 17. Let p be l(o). Let c = 17 + p. Solve k + 0*k - 2 = -2*j, 4*j + 4*k + 4 = c for j.
3
Let d = -5 + 9. Suppose -10 - 185 = -15*r. Let b(u) = -3*u**2 + 36*u + 40. Let g be b(r). Solve -a + 4 = -l, -2*a + 7 = -d*l + g for a.
5
Let u(y) = 2*y - 7. Let d be u(6). Let q = -6999 - -7004. Let g = 18 - 13. Solve -p = -q*p - 4*i, g = -d*p - 4*i for p.
-5
Let o be (-3)/((-3)/(-15) - 33/(-60)). Let q be 15 - (12/(-8) + o/8). Solve -4*j + 0 = 5*y + 7, 4*j + q = 5*y for j.
-3
Suppose -689*d = -815*d. Solve -4*p - 20 = 0, 0 = 3*x - 4*p - d*p - 23 for x.
1
Let n be (-15)/25*(8 - 1)*-35. Let k be (-2)/9 - (-195)/27. Let s be k/(n/12)*7. Solve 0*a - 2*a - 24 = s*y, -a - 8 = y for a.
-4
Suppose -4*n = 4, 3*n = k - 137 + 861. Let i = 745 + k. Solve 0 = -3*l - 2*q - i, 5*q + 16 = 1 for l.
-4
Let s(p) = 11*p**2 - p. Let z be s(1). Let g(i) = 8*i**2 - 10 + i**3 - 2*i + 8 - 11. Let k be g(-8). Solve -2*y - 4 = -3*m + 4, 4*m - z = k*y for y.
2
Let f be -9 + 5 + (5 - 5). Let n be (85/(-20) - f) + (-218)/(-8). Let m be (-46)/(-11) - (-22)/(-121). Solve -m = 2*l - 0*l, l + n = -5*y for y.
-5
Suppose 275 = 31*h + 151. Solve 5*o = -3*c, -h*o + 0*c + 37 = -5*c for o.
3
Let k = 5131 - 5129. Solve -4*w + 4 = -k*g - 14, -5*g = w + 23 for w.
2
Let s(o) = -o**3 - 16*o**2 + 24*o + 71. 