 + 4, 2*p + 6 = -2*l for l.
1
Let w = 144 + -142. Let s be (9/(-9)*0)/(1*w). Let b = -1 + 4. Solve -b*t + 2*t + 3*u = -13, t + 3*u + 11 = s for t.
1
Let q(k) = -201*k**3 + 202*k**3 - 9*k - 2*k**2 - 6*k**2. Let z be q(9). Solve 0 = -a + 5*u - 18, 4*a - 3*a - 3*u + 10 = z for a.
2
Let u = 1457 - 970. Let w = u + -475. Solve c + 4 = 3*c - y, -w = 5*c + 3*y for c.
0
Suppose 4*g - b = 3 + 1, -g - b = -6. Suppose -s - x = -7, -5*x + 0*x + 5 = g*s. Solve 2*q - 2*i - s = 2*i, 3*q = -3*i - 30 for q.
-5
Suppose 2*b - 8 = -12, -3*b = 2*z - 22. Solve 0 = 2*p + 4*c, -10*p - 3*c = -z*p + 11 for p.
2
Suppose 132*i = 34*i + 4508. Solve 3*r - j + i = 38, -r = 4*j - 19 for r.
-1
Suppose -131*v = 27*v. Solve a + 9*h - 10*h = v, -5*h = -3*a - 8 for a.
4
Suppose -3*n = -h + 59, 0 = 4*h + 65*n - 63*n - 292. Solve -i + 68 - h = 2*q, 2*i - 3*q - 15 = 0 for i.
3
Let j(n) = 2*n**2 + 6900*n + 27582. Let i be j(-4). Suppose 4*w = -f + 6 + 4, 2*w + 3*f = 0. Solve 2*g + 25 = 5*q, 2*q = -g - w*g - i for g.
-5
Suppose -4*q + 80 = -4*l, 12*q - 10*q + 80 = -4*l. Let r be 2/l + (-9)/(-90). Solve r = -2*z + 2*d + 10, 5*z + 2 = d + 11 for z.
1
Let s = -19967 - -19972. Solve k - 9 = -3*l, 17*l - 5*k + s = 22*l for l.
4
Suppose 82*z = 37*z + 36045. Let s = z - 790. Solve -2*v - 3 = -k - 14, 5*v = -3*k + s for k.
-3
Let r(g) = -g**3 + 14*g**2 + 31*g + 21. Let w be 4/((-16)/12) + (21 - 2). Let v be r(w). Solve -5*p - 5*b = -5, 18 = v*p + 3*b + 5 for p.
5
Let c be -1 + (5 - 5) + -185. Let r = c - -207. Solve 31 = 6*n - 2*n + 3*g, 5*g = n + r for n.
4
Let f be -8 + (-2 + 1)*(1 + (18 - 32)). Solve 20 = -f*p + 5*d, -32*d = -2*p - 35*d + 7 for p.
-1
Let g be 2*((-1 - -3) + 2). Suppose 0 = 9*v - 23 - 31. Suppose v = 11*o - 38. Solve -3*y = 5*b - 1 - 8, -2*y = o*b - g for y.
-2
Suppose -12*t = -11*t - 8. Let c be (-2)/t + (-42)/(-8). Suppose 8*i - 27 = c. Solve 3*n - 3 = -0*n, 2*g = -i*n + 4 for g.
0
Let z = -15 - -8. Let t = 22 - z. Suppose -50*h - 758 = -908. Solve -t = 5*m + 2*q, 4 = m - 3*m + h*q for m.
-5
Suppose -r = 3*u - 22, 30*r - 28*r = 4*u - 6. Solve 3*j - 16 = u*k, 67 - 85 = -4*j + 5*k for j.
2
Let j be ((-1)/15*5)/(1/(-24)). Suppose 0 = -5*s - 3*n + 13, 11*s - 2*n = 14*s - j. Solve -4*q + 5*m - s*m = 2, 5*m = -10 for q.
-2
Let a = 48 - 53. Let q(o) = 10*o + 22. Let n(x) = -6*x - 15. Let m(p) = a*q(p) - 8*n(p). Let u be m(3). Solve -g - 3 = -u*h - 2*g, h - g - 2 = 0 for h.
1
Let u be 2/(-11) + (-6)/(66/2099). Let q = u + 196. Let w(t) = t**2 + 4*t - 2. Let k be w(-5). Solve -2*n = -z - 13, -q*z = -k*n + 22 + 15 for n.
4
Suppose -4*i - 32 = 0, 5*g + 6*i = 10*g - 63. Solve g*v - 31 = 5*u, -2 + 9 = -3*u - 4*v for u.
-5
Suppose -5*l + 3*v + 47 = 0, -4*l + 4*v = -45 + 1. Let s be ((-12)/l)/(4/(-28)). Let c be s/28 - (-186)/7. Solve -4*y - 6 = -5*g - y, c = 4*g + 5*y for g.
3
Let l(h) = h**3 - 7*h**2 - 10*h + 15. Let r be l(8). Let v be ((-45)/4)/r + (-351)/(-468). Solve -b + v = -4*x + 1, -x - 2 = 0 for b.
3
Let w(f) = 29*f - 607. Let l be w(21). Solve l*t = -4*m - 8, -4*m - 3*t - 6 + 0 = 0 for m.
-3
Let p(f) = -f**3 - 34*f**2 - 257*f - 87. Let l be p(-23). Solve 7 - 1 = 2*s, l*s = 6*c + 33 for c.
-3
Let c(h) = -6*h**2 - 81*h + 45. Let d be c(-14). Solve -4*f + 7 = -2*r + 15, 5*r - 20 = d*f for f.
0
Let u(s) = s**2 - 6*s + 5. Let l be u(5). Let m = 566 - 561. Solve -m*n + a + 23 = l, 0 = -2*n - a + 6*a for n.
5
Suppose 79*k = -196*k. Solve -2*q - 17*w + 15*w - 8 = k, w + 7 = -2*q for q.
-3
Let b be (-43)/(8428/(-56))*14. Solve 13 = -r - b*v, 4*r - v + 14 = -21 for r.
-9
Let f(c) = 7*c - 2. Let u(r) = -r**2 - r + 1. Let y(q) = f(q) + 3*u(q). Let v be y(1). Solve 3*t + 3*o + 18 = 0, -2*o + 6 = -v*t - 2 for t.
-5
Let v = 3406 - 3402. Solve v*d = 5*x - 26, 2*x - 3*d - 4 = 12 for x.
2
Let k = -282 - -286. Suppose 0 = -2*a - k*b + 9*b - 1, -3*b - 5 = -4*a. Solve u - 2*u = 5*m + 22, -m - a*u = 8 for m.
-4
Suppose -20 - 7 = u. Let p = 53 + u. Let i be (-6)/4*(p/(-6) - -3). Solve -6*z + 12 = i*q - 2*z, -3*z = -2*q + 5 for q.
4
Let k = 2440 + -2435. Solve 23*q - 15 = 28*q + 5*f, -5 = 3*q + k*f for q.
-5
Let f be 684/(-2964)*(-39)/9. Solve 3*r - 9*l = 0, f - 7 = -r - 3*l for r.
3
Suppose 24 - 39 = -3*k. Suppose -q = -6*q - k. Let u be (4 + q)*(-14)/(-6). Solve -4*z - 2 = -3*o, -z - 5*o = -4*z - u for z.
1
Let t be 21/14*(0 + 14/3). Let x = t - 19. Let c be (-4)/x + ((-40)/(-6) - 2). Solve 45 = -5*r + 5*s, 3*s = -2*r + 2 + c for r.
-4
Let x be 77/55 + (-84)/60. Suppose 3*k + 29 = 4*h + 4*k, 2*k = 2*h - 22. Suppose -2*p + h = -0*p. Solve 0 = -4*d - o - 18, x = -p*d - 3*o - 0*o - 22 for d.
-4
Suppose -r = -3*r + 36. Let m be ((-378)/(-90))/((-35)/(-25)). Solve -4*n + 15 = -s - m, -5*n - s + r = 0 for n.
4
Let w(p) = -198*p + 796. Let i be w(4). Solve -b + 16 = -4*u, 20 = b + b - i*u for b.
4
Let y(i) = i + 18. Let m be y(0). Let x(j) = -j**2 + 3*j - 2. Let b be x(2). Suppose 12*p = -b*p. Solve p*l = 3*l - f + 12, l + m = 5*f for l.
-3
Let z = -195 + 320. Let t = 139 - z. Solve 5*x = -3*p - t, 0 = -5*p - 3*x + 2*x - 16 for p.
-3
Let b = 278 - 463. Let g = b + 186. Solve s = -2*r + 4, -5*s + r - g = 23 for s.
-4
Suppose 0 = -84*u + 432 - 96. Solve 4*g - u*m - 13 = -21, -2*g - 3*m + 21 = 0 for g.
3
Let m be ((-54)/(-4))/((-2)/(-8)). Let i = m + -62. Let l be (-27)/(-18)*i/(-6). Solve 2*s - 4*k = 18, 17 = -s - 4*k + l for s.
1
Let p(w) = w - 17. Let s = -19 + 41. Let u be p(s). Solve 2*j + 4 = -4*o + 20, u*j - 2*o = -8 for j.
0
Suppose -g = 48 - 58. Suppose g = 3*n - n. Suppose 24 = h + 3*h. Solve 3*v + n*c + 22 = 0, 2*v - h*c + 4 = -4*c for v.
-4
Suppose 10*p + 1200 = -0*p. Let t = 116 + p. Let h be -22*t/24 - (-4)/(-6). Solve 12 = -h*q - 3*u - 0*u, -4*u + 16 = -4*q for q.
-4
Let d = 42 - 37. Suppose 4*p - 10 - 6 = -4*z, -20 = -d*p + 2*z. Solve p*h + 3*i = 0, 3*h - 5*i - 26 = 3 for h.
3
Let p(k) be the first derivative of -3*k**2 + 64*k - 34. Let n be p(8). Let j(f) = f + 2. Let b be j(0). Solve -n = 4*q, b*q - 16 = 5*u + 6*q for u.
0
Let u(x) = -x**2 - 2*x + 52. Let z be u(-6). Let n(v) = 2*v - 51. Let l be n(z). Solve 2*o - 1 = 3*o - 2*y, 4*y = -l*o - 19 for o.
-3
Let t(l) = 2*l**2 + 16*l - 355. Let g be t(-18). Solve r - 6*r + 13 = -h, -11 = -g*r + 2*h for r.
3
Let v be ((-13)/(195/(-6)))/((-3)/(-45)). Let s be v/12*0/(-5). Solve 0 = p - 3*o + 4 + 4, -3*p + 2*o + 4 = s for p.
4
Let g(b) = -b**2 - 10*b + 42. Let s be g(3). Let m be (4/3)/(-4) - (-16)/s. Solve 5*f = m*t - 5, -4*t - 21 = 5*f - t for f.
-3
Let i = 527 + -419. Suppose i = -7*h + 143. Suppose -4*n + p = -0*n - 66, -4*n = -2*p - 68. Solve 5 = 4*r - h*j + 38, 0 = 2*r + 4*j - n for r.
-2
Let m(s) = -s**3 - 31*s**2 + 28*s - 44. Let p be m(-32). Let n be 280/p + (20/(-6) - -2). Solve 0 = 2*l + 4, -l = 4*y - 4*l - n for y.
-1
Let w(u) = 5*u**2 - 6*u - 5. Let p be w(-1). Suppose -p*n = -n + 7*n. Solve 2*m - 3*o - 6 = 0, n*o = 2*m + 5*o - 6 for m.
3
Suppose -4*y + 8 = -4. Let m be 0*(4/10 - 33/(-55)). Suppose m = -6*k + 15*k - 36. Solve -2*a = y*n - k*n, -5*n + 7 = -3*a for n.
2
Let g(y) = 2*y**2 - 79*y - 13. Let h be g(40). Suppose 0 = -6*k + h + 33. Solve 2*u + i = -5, -k - 3 = 4*u + 5*i for u.
-2
Let p(l) = -l**3 + 5*l**2 - 23*l + 262. Let u be p(7). Let s be (-638)/(-33) + (-2)/6. Let h = 24 - s. Solve 0 = -4*w + 4*a - 24, h*w - 7*a = -u*a - 25 for w.
-1
Let o(g) be the first derivative of -3*g**4 + g**3/3 + g**2/2 - 105. Let w be o(-1). Solve x = 3*f + w, -f = -3*x - x - 7 for f.
-5
Let b(r) = -3*r**2 + 13*r + 92. Let q be b(8). Solve -q*i - 4*h = 28, -5*i - 92 = 3*h - 61 for i.
-5
Let t = -43 + -12. Let i be (8/(-10))/(22/t). Suppose r - 10 = i*a + 3*r, 0 = 4*a - 5*r - 25. Solve -2*s - 12 = -5*j, 3*j + 4*s = -a*s + 2 for j.
2
Let h = -1301 + 1307. Solve 5*y = -5*q - 26 - 14, -3*y = -3*q - h for y.
-3
Let w(t) be the second derivative of -t**3/2 + 13*t**2/2 + 17*t - 2. Let d be w(3). Solve 5*s + d*b - 2 = 11, -5*s + 7 = b for s.
1
Let o(c) = 28*c - 1115. Let b be o(40). Solve 0 = 4*p - 4*a, 5*a = -25 + b for p.
-4
Let q = 2313 - 2309. Solve q*x = x + b + 6, 12 = -3*x - 5*b for x.
1
Let s = -21762 - -21780. Solve 5*k - 8 = -p, 0 = -2*k - 3*p + s - 7 for k.
1
Let b be 49/3 + (-4)/12. Suppose b*l = 25*l - 279. Suppose -l*k + 38*k - 84 = 0. Solve -t = 0, 0 + k = 3*w + t for w.
4
Let b(r) = 3*r + 50. Suppose -3*t = -3, 0*t - 51 = 5*u - t. 