Solve 0 = -3*t - 5*d + z, 4*t - 13 = 3*d - 2 for t.
2
Suppose 4*n = 5*c, -3*n = -0*c + 3*c. Let i(o) = o**3 + o**2 + o + 5. Let z be i(c). Suppose 0 = -z*t + 13 - 3. Solve -5*g + 25 = 5*u, t*u + g = -0*g + 6 for u.
1
Suppose q - 68 = 5*q. Let w = -8 - q. Solve 2*f + w = -4*n + 27, 5*n = 25 for f.
-1
Suppose -4*m + 48 = 4*n, 0*m + 5*m + 3 = 4*n. Let g = 7 - n. Suppose 2*k = -g*k. Solve k*d + d + 5 = -2*c, -2*c = 6 for d.
1
Suppose -5*h + h = -8. Let y = -258 - -264. Suppose i + 2*m + y = 16, -h*i - m + 8 = 0. Solve 4*g - c = -16, -g - i*g + 4*c - 12 = 0 for g.
-4
Let q = -17 + 65. Suppose 54*h - 12 = q*h. Solve 0 = -3*y + 3, 4*y - 4 = -3*n - h*n for n.
0
Let k = -56 - -58. Solve -6 = -3*z, 2 = k*g + 4*z - 4 for g.
-1
Let y = -47 - -23. Let f = 27 + y. Solve f = c, 8 = u + 2*c + c for u.
-1
Suppose 2*d - 5*s - 12 = 6, 3*d + s - 44 = 0. Let h be d/4 - 6/(-4). Suppose -h*b = -9 - 16. Solve 4 = 4*l - 4, b*l = 2*y + 18 for y.
-4
Suppose 0*y - y = -5. Suppose -4*r = 2*c - 0*r - 24, 0 = -5*c + y*r. Suppose 0 = 4*w - 122 - 6. Solve -5*d = c*i + w, 0 = -3*i - 5*d - 2 - 27 for i.
-3
Let h(b) = -b**3 + 9*b**2 - 13*b - 2. Let d be h(6). Suppose 2*m + 4*u = 20, 7*u - 2*u = -4*m + d. Solve 0 = -3*v - m*a - 25, -3*v + 5 = v - 5*a for v.
-5
Let o = 188 - 182. Solve 3*y = 3*g - o*g, 3*g = y + 8 for y.
-2
Let l = 239 - 239. Solve 0 = 4*c + 3*u + 13, l = 2*c + 5*u + 17 for c.
-1
Let a be 21/28 - 45/12. Let f be (4 + a)*7*-5. Let v be ((-4)/(-10))/((-7)/f). Solve n = 3*t, v*n = n + t + 2 for n.
3
Suppose 3*a = 1 + 17. Suppose -7*i + 195 = a*i. Solve -z - z - 5*o = i, -2*o - 6 = 2*z for z.
0
Suppose -5*t + 3*t = 0. Solve t = -5*q + 15, 15 = 4*x + 7*q - 2*q for x.
0
Let i be 2/(-6) + (-138)/(-9). Let y(b) = b**2 + 3*b - 3. Suppose -3*l - 27 = -12. Let q be y(l). Solve -m = 2*w + 5, 0 = 2*m - q*m - i for w.
-1
Suppose -16 = 4*t + 4*r - 44, r = 5*t - 17. Solve 5*c + 14 = -q, -22 = t*q - 2*c + 5*c for q.
-4
Let a(z) be the second derivative of -z**4/12 + 13*z**3/6 - 19*z**2/2 - 14*z. Let b be a(11). Solve -7 = -l + j, 2*j - j - 1 = -b*l for l.
2
Let t(l) = -2*l + 4. Let a be t(-5). Let c = a + -25. Let h be (-10 - c)*(-2 + 19). Solve h = -3*p - g, -p = 2*p - g + 13 for p.
-5
Suppose 4*f - 19 = 61. Suppose 2*q - f = -2*q. Solve w = -0*d + 2*d - 7, -11 = -2*d + q*w for d.
3
Let p = -147 - -151. Solve 4*k - 37 = p*u - 1, 3*u - 1 = -4*k for k.
4
Let o = 10 + -5. Suppose 2*a - 2 - 4 = -2*x, -5*x + 4*a = -6. Suppose h + 7 = 12. Solve -x*y + 9 = o*t, y = -3*y - h*t + 13 for y.
2
Suppose 4*l - 5*b - 5 = 10, 3*b + 9 = l. Solve l*p = -4*y - p - 5, 15 = -5*y - 3*p for y.
0
Suppose -3*c - 7 = -4*w - 4, 15 = 4*w + c. Solve -5*g + 2*n - 19 = 0, -w*g + n - 5 = 7 for g.
-5
Let l(i) = 2*i - 20. Let a be l(11). Suppose 4 = -3*w + j, 0*j - 4*j = a*w - 16. Solve w*p - p - 4*s = 23, 0 = -p + 3*s + 12 for p.
-3
Let u = -3028 + 3031. Solve -y = -r - 0*r - u, r + 5*y = 9 for r.
-1
Let q = 45 + -40. Let d be (q - 5)/(1 + -2). Solve -5*w + r + 25 = d, -3*w - 4*r + 15 = -7*r for w.
5
Let m = 12 + -8. Solve 5*j - m = -2*z, z - 4 = -5*j + 3 for z.
-3
Let s(d) = d + 24. Let x be s(0). Let j = x + -22. Suppose -4*y - r + 88 = 2*r, -j*y - 5*r + 58 = 0. Solve -2*b - 3*h - y = 0, -4*b + 7 = -3*h - 0*h for b.
-2
Suppose -2*c + 12 = 4. Suppose -5*p - c*x = -0*p - 30, -5*x + 23 = -p. Solve 4*f - 12 = p*z, -25 = -9*f + 4*f for z.
4
Suppose 0 = -21*w + 84 + 42. Solve 0 = 3*m - i - 2*i - w, -4*m - 4*i - 16 = 0 for m.
-1
Let c be 4/2 + 0/1. Suppose 35*l + 11 = 151. Solve c*i = l*v + 6, 4*v - 4 = 5*i - 1 for v.
-3
Suppose -4*u + 35 - 11 = 4*m, m = -4. Let j(p) = -p**3 + 9*p**2 + 7*p + 32. Let b be j(u). Solve b*x + 9 = 3*z + 2, 0 = -5*z - 5*x - 30 for z.
-1
Let r(y) = y**3 + y**2 + y + 1. Let f be r(-1). Suppose f = g + 3 - 0. Let t = g + 8. Solve -5 = -t*w - 3*o + 1, -2*w - 2*o = 0 for w.
3
Let z be 6 + -2*(-4)/(-4). Suppose l = 3*l + 2*k, 3*l + z*k = -4. Suppose -l*v + 3 = -x, -3*x + 3 = -4*x. Solve -2*f = v, d - 3*f + 1 = 2*d for d.
1
Let f be (-68)/(-7) + (-2)/(-7). Solve -s + f*y + 3 = 5*y, -s = y - 3 for s.
3
Suppose -4*d - 2 - 2 = -3*t, t = -4. Let h be (18/(-21))/(d/28). Let j be ((-8)/h)/((-2)/3). Solve -j*s = c - 2*c - 1, -4*c = 3*s - 7 for c.
1
Let y = 1105 + -1103. Solve 5*n - 13 = -y*i + 10, -2*i = -4*n + 22 for n.
5
Suppose -3*a = -4*a - 5*o + 8, 2*a - 2 = 4*o. Suppose 5*r + a*r = -80. Let d be (-4)/r + 32/20. Solve d*g = -2*x + g + 1, -x + 5*g = -17 for x.
2
Let c(f) = -f**3 - 13*f**2 - 11*f + 14. Let r be c(-12). Solve 2*a + 8 = -2*s - 2*s, -r*s - 4 = 3*a for a.
0
Suppose 0 = -l + 3563 - 3547. Solve 3*q + 0*t - 1 = 4*t, 2*q + 5*t = l for q.
3
Let s = 38 - 36. Let i be 5 - 0*s/10. Let v = 9 + -4. Solve r = -2*l + v, -19 = -i*l - 2*r - 8 for l.
1
Let p(g) = g**2 - 13*g + 2. Let q be p(13). Let z be -5 + (-7 - -8) - -9. Solve c = -c + z*s - 18, -4*c - 4 = -q*s for c.
1
Suppose -2*c = -5*f + 147, -5 = 3*c + 2*c. Suppose -f*j = -24*j. Solve 3*y + r + 9 = -2*r, -y + 5*r + 3 = j for y.
-2
Let z be (12 - 14)*(1 + -3) + -2. Suppose 2*j - z = 2. Solve 5*i = -5*b + 10, -1 = i + j*b - 0*b for i.
5
Suppose 0 = 5*d + 83 - 108. Solve 0 = -d*g + k - 16 - 7, -2*g + 2*k - 14 = 0 for g.
-4
Let o = 518 + -513. Solve 2*l - o*s - 6 = 5*l, 3*s = -9 for l.
3
Let f = -1237 - -1241. Suppose -7*z = -2*z - 10. Solve z*s = s + 5*w - 6, -f*s - 9 = -5*w for s.
-1
Let j(u) = 2*u**2 - 16*u - 17. Let n(x) = -x**2 + 15*x - 45. Let c be n(6). Let l be j(c). Solve 2*g = -3*a - 14, 4 + l = -5*g for a.
-4
Let t(s) = -8*s - 5*s + 20 - s**2 + 13. Let v be t(-15). Solve 5*a + 11 = v*j, -2*a + 0*j = j for a.
-1
Let i = 12 - 10. Let h(s) = s + 1. Let z be h(i). Let m = z - 0. Solve -2*c = -m*y + 3 - 1, -6 = -5*c + 2*y for c.
2
Let y(j) = j**3 - 8*j**2 + 3*j - 18. Let q be y(8). Suppose -6 - 18 = -q*i. Solve -3*g = 5*l + 17, i*g - 3 = 1 for l.
-4
Let y be (0 + 8)*(21/6 + -4). Let f be 1 + y/(1 + -2). Solve 5*i + 2*q = -14, f*i + 10 = i - 2*q for i.
-4
Let h = -1 + -11. Let n be (h/(-15))/(3/60). Solve 0*p + n = -2*c + 4*p, -c = p - 1 for c.
-2
Suppose t = 4, -t + 8 = -c + 7. Solve 4*d + 14 = -0*b + 3*b, 4*b + c*d = -23 for b.
-2
Let t = 62 - 58. Suppose 4*y - 13 = 35. Suppose -t*u + y = -u. Solve -12 = u*v - 2*h, -h = 2*v - 1 - 1 for v.
-1
Let x be (-128)/(-80) + 2/5. Solve -x*a + 18 = -5*q, 5*a + 16 = -2*q + 3 for q.
-4
Let t = 919 + -901. Suppose 5*b - 4*b = 3. Solve b*y = 2*y - 4, -p = -4*y - t for p.
2
Let z(i) = -12*i + 205. Let f be z(17). Solve 3*a - 2 - f = 4*q, -4*q + a = 1 for q.
0
Let y(u) = -u**3 - 5*u**2 + 4*u + 24. Let n be y(-5). Solve 3*p - 3 = -n*d, p - 2*d - 31 = -4*p for p.
5
Let s = 24 + -23. Let q(o) = 4*o**2 + 2*o - 2. Let l be q(s). Suppose b = -0*b + l. Solve 5*y - 1 = 2*j - b*j, -5 = -4*y - 3*j for y.
-1
Suppose -2*a + 0*a = -10. Suppose -5*q = 4*d - 49, 2*q - 6*q + 2*d = -34. Suppose -h + q = a. Solve -h = i - 2, 3*i + 9 = y for y.
3
Let r be -19 - ((4 - 4) + -4). Let i be -1*3/15 - 108/r. Solve -2*h = -h - 4*z - i, 2*h + z = -4 for h.
-1
Suppose 11*s - 48 = 3*s. Solve 3*n + 4*r = 26, -n = -s*n + 4*r - 10 for n.
2
Let b = 781 + -772. Solve 2*k = 3*k - 2*l - b, 5*k - 1 = -l for k.
1
Let h be (72/(-90))/(-1 - 6/(-10)). Solve 0 = -3*y - 4*u - 6, 0*u = -y - 2*u - h for y.
-2
Suppose 0 = -13*p - 0 + 26. Solve -17 = -5*k - 2*s, -3*k - p*s = 2*s + 1 for k.
5
Suppose -15*j - 69*j = -252. Solve j*v - 5*w = 15, 4*w = 5*v - 26 + 1 for v.
5
Let b(u) = -2*u**3 - 2*u**2 + 6*u + 7. Let i be b(-2). Solve -5*m + 12 = -t - i, 5*t = 0 for m.
3
Let x = 189 + -187. Suppose -5*t + 3*w = -131, -1 + 7 = -3*w. Solve x*r + s = -8, 5 - t = 2*r - 5*s for r.
-5
Suppose -43*h = -52 + 9. Solve -5 = -2*y - 3, -h = -b + 4*y for b.
5
Suppose 12*p - 20 = 8*p. Let f = -11 + 13. Suppose 0 = -f*u - 3*u + 10. Solve -u*l = -p*a + l + 24, -5*l = 2*a + 9 for a.
3
Let f be (-7)/((-70)/15)*6. Suppose 2*h = -h + f. Solve -3*w - 12 = -3*k, -h*k + 4*w + 16 = -k for k.
0
Let l be ((-1)/(-3))/((-13 - -6)/(-42)). Solve -u + 5*o + 27 = 0, -l*u - 3*u + 15 = -o for u.
2
Let d(g) = 7*g + 25. Let t be d(-3). Solve 4*q + 11 = -3*i, 4*q + t*i + 8 = -8 for q.
1
Let n = -12 - -7. Let m be (-20)/(-50) + (-8)/n. Let h = 0 - 0. Solve l - m*x - 9 = h, 2*x = 3*l + l - 12 for l.
1
Let w(l) = l**3 + 10*l**2 - 8*l - 9. Let g be w(-11). Let h be (-1)/(-7) - 3270/g. Let i be 