0 for t.
2
Suppose 2*a = 5*d - 19, 3*a = 4*a + d + 6. Let p = a + 13. Let n be p - (0 + 0 + 3). Solve 4 = q, -5*c = -n*q - 0*q + 7 for c.
1
Let q be -34*9/(-18) - 9. Solve q*m - 7*m - 3 = -5*z, 3 = z - m for z.
1
Let l be 9/3 - (110 - 9). Let o = l + 110. Solve -4*v = o, 4*v + 2 = -2*g - 4 for g.
3
Let d(i) = i**2 + 2. Let f be d(-2). Suppose w - f - 1 = 0. Solve -2*b - t - w = 0, -4*t + 3*t = -b + 4 for b.
-1
Let a(r) = r**3 - 7*r**2 + 10*r - 9. Suppose -5*u + 0*u = 3*z - 8, 0 = -z + 5*u + 16. Let v be a(z). Solve -3*m - 3*f = -3 + v, -2*m - 4*f - 18 = 0 for m.
1
Let r be (3/9)/((-2)/(-12)). Let n be (-1 - (3 + -2))/(-1). Let u be (-1 + -3 - -9) + (2 - 2). Solve -2*c - r*c = u*v + 36, -12 = c + n*v for c.
-4
Let h = -8 - -15. Let m be 1 + (-4 + 8)*1. Suppose 3*i + l = -l + h, 45 = m*i - 5*l. Solve -4*y + 5*u = -36 - 9, 0 = i*y - 5*u - 50 for y.
5
Let z(x) = -21*x + 231. Let p be z(11). Let w(d) = d - 7. Let g be w(7). Solve 5*q = 3*l - 2, -4*l + p*q - 2*q + 20 = g for l.
4
Let d(p) = p**3 - 7*p**2 + 9*p - 16. Let b be d(6). Let u be (-30)/36*3*-2. Solve 4*m = m - u*c - 20, -b*m = 2*c + 8 for m.
0
Suppose 2*w = 3*r - 3, 213*r - 209*r - 4 = 3*w. Solve -4*y - 3*u = w, 5*y - 5*u = -26 - 9 for y.
-3
Suppose 2*q + 5*h - 2 = 0, 4*q - h - 3*h = 32. Suppose -11*w - 161 = -18*w. Solve 3*j + w - q = -2*a, 0 = j - 4*a + 1 for j.
-5
Let x be (3 + -3)*11/11. Solve -2*w = -2*t - 8, 4 = -x*w + 5*w - t for w.
0
Suppose 5*s - 7 = -4*y - 8, s + 5 = 0. Suppose -7 = -3*h + 2. Suppose 0 = -4*p + 23 + 1. Solve h*o - 2*o - y = a, 5*a + 3*o + p = 0 for a.
-3
Let n(c) = c**3 - 2*c**2 + 2*c + 1. Let d be n(2). Let h = 10 - d. Suppose h*j - 4*j = 0. Solve 5*b + 7 = -3*x - 16, -5*b + 3*x - 17 = j for b.
-4
Let y = 495 - 489. Solve -15 = -2*t - 3*n, -y*t = -5*t + 4*n - 20 for t.
0
Let x = 1551 - 1548. Solve -3*y = -7*y + x*i, 3*i = 0 for y.
0
Suppose -12 = -3*v - 3*f, -v + 5 = -2*f - 14. Let y(z) = -13 - 20*z + 14*z + 8*z. Let k be y(v). Solve 5*x + 35 = -k*b, b - 5*x = -8 + 31 for b.
-2
Suppose 0 = -g - 16*u + 19*u + 12, -5*g + 4*u + 49 = 0. Solve 4*q - 2*d - 17 - g = 0, -2*q = 3*d + 7 for q.
4
Let g be (1 + 13)*(5 - 372/84). Solve 5*u + 5*s = 0, 2*s = -5*u - g - 7 for u.
-5
Let r = 1820 - 1819. Solve 6*a = z + 4*a + 2, -r = -4*z - a for z.
0
Let x(h) = -h**3 + 5*h**2 + 8*h - 9. Let o be x(6). Let w be -3 - -26 - o/(1/1). Solve 3*y - 3*z = -15, 4*y + 0*z - 5*z = -w for y.
-5
Suppose c - g - 17 = -4*g, -5 = -c + g. Let y(b) = b**2 - 8*b + 5. Let l be y(c). Solve 2*h = 3*n - 9, -2*n - l*h - 13 = -0*n for n.
1
Suppose -2*d = 4*r - 16, 4*r = 5*d + 1 - 13. Solve 28 = -p + 5*p - 3*u, 2*u + 24 = d*p for p.
4
Suppose -3*p - 21 = 3*i, -9 = -0*i + 2*i + p. Let a be (-3 + 1)*3/2. Let y be 3*(i/a - -1). Solve -2*v + 4*u + y + 9 = 0, -2*v + 2*u = -4 for v.
-3
Let s(p) = 144*p + 158. Let x be s(-1). Solve 5*u = a + 13, 0*a - 2*u + x = 4*a for a.
2
Suppose 0 = 20*c - 18*c + 6. Let r be 18/(-8)*(-1 + c). Solve 5*n = -4*x - 33, -r*n = -5*n + 4*x + 28 for n.
-5
Suppose 117*d - 36*d - 162 = 0. Solve 4*g + 16 = -d*h, -h = -2*g + 4 - 12 for h.
0
Let k(f) = -f + 10. Let r(p) = p**2 - 10*p - 7. Let w be r(11). Let g be k(w). Suppose 12*v - g = 10*v. Solve -v*x - j - 3 = -2*x, -x + j = -3 for x.
0
Let x(j) = j**3 + j**2 - 4*j + 10. Let v be x(-3). Solve 4*s = -5*c - 11, 7*s - v*s + c = -11 for s.
-4
Let m(b) = 2*b**2 + 30*b + 31. Let d be m(-15). Suppose 2*c = -2*z + 18, 4*z + 8*c - d = 5*c. Solve 2*k = -z*j + 4, 0 = 5*j - 3*k - 9 - 7 for j.
2
Let v = 273 + -268. Solve 4 = 5*h - 21, v*p - 2*h = 0 for p.
2
Suppose 3*m - 5*m = -20. Solve -4*c = -3*l + 25, -23 = l + 4*c - m for l.
3
Suppose -2*k + 97 - 13 = 0. Let j = -39 + k. Solve 2*z - 1 - j = -w, 0 = 4*z + 4*w for z.
4
Let a(t) be the third derivative of t**6/120 - t**5/20 + t**4/12 - t**3/2 + 12*t**2. Let p be a(3). Solve 7*j - p*j - 14 = -2*x, -2*x = 2*j - 6 for j.
4
Suppose -31*x + 2 = 2. Solve 0 = -5*v + 2*h - 1 - 14, x = 4*h for v.
-3
Let z be 12/(-9)*(-6)/(-2). Let x be 14/6 + z/(-6). Suppose 24 = 4*y + 4*i, x*y + 0*y - 5*i - 2 = 0. Solve w + y*w = 5*f, f + 6 = -w for f.
-3
Let s be ((-3)/(-6))/(1/(-12)). Let o = s + 8. Suppose 2*b = 7 + 3. Solve -4*a + 3 + 8 = -3*j, -b = j - o*a for j.
-1
Let h(t) = t - 25. Let n be h(25). Solve n*o = 5*o - 3*w - 11, -2*o + w = -4 for o.
1
Let n = -24 + 53. Let z be 39*(-2)/9*3. Let g = n + z. Solve 4*x = v - 17 - 6, -g*x - 21 = -2*v for v.
3
Suppose 0 = 2*t + 7 + 7. Let a = 11 + t. Suppose -a*u = -2*u - 8. Solve -r = 4*k - 6*r + 21, -r = -u*k - 17 for k.
-4
Let l be -1*9/21 + (-87)/(-7). Solve -4*g = 4*d - l, 2*d + 2 = -g + 10 for g.
-2
Let k be 4 + -2 - (-4 + 4/2). Suppose 0 = o - k + 1. Solve 0*p - p + 5 = -2*j, -o*j + p = 5 for j.
0
Let n = -68 + 79. Let q be (11 - n - 8/6)*-3. Solve 0 = 3*d - q*h + 24, -12 = 3*d - 2*h + 6 for d.
-4
Let h be (-2 + 0)*21/(-14). Suppose 31 = y + 27. Solve h*j = 4*u + 15, -5*u + 9*j = y*j + 20 for u.
-3
Let r = 7 + 2. Let a be 16/(-12) + (-13)/(-3). Suppose -a*k + 5*z + 10 = -11, -5*z = -5*k + 25. Solve -q = -c - r, k*q = 3*c + 2*c + 30 for c.
-4
Suppose -3*z + 83 - 188 = 0. Let s = -21 - z. Solve -3*u + u = a - 8, -5*u + s = a for a.
4
Let q be 1960/588 - (-40)/6. Solve 3*f + 8 = -4*r - q, f = -3*r - 11 for r.
-3
Suppose x + 9 = 5*i, x = -3*i - i + 18. Solve -x = -2*g + 3*p, 3*g + p - 2 = 5*g for g.
-3
Let z(m) = 161*m - 1608. Let t be z(10). Let g be ((-8)/10)/((-2)/30). Solve 4*s + g = 5*c, s = t*c - 0*c - 3 for s.
-3
Let t be (4 - 8)*2/(-4). Suppose -3*v + 3 = i + 9, -4*v = t*i + 6. Suppose 0 = -i*o - 5 + 14. Solve o*q = 5*b + 12, 2*b + 4 - 3 = 5*q for q.
-1
Let g(z) = z**3 + 16*z**2 - 8*z + 161. Let n be g(-17). Solve -6*x + 12 = 3*h - 9*x, -2*h - 2*x + n = 0 for h.
4
Let s be ((-4)/2)/(-1 - -3)*7. Let x = 9 + s. Solve 5*k - 9 - 1 = 5*d, -x*d - k = 1 for d.
-1
Let f be 50/8 - (-3)/36*-3. Solve 0 = 2*s + 2*h - 8 - 0, 0 = -2*h + f for s.
1
Suppose -56*n + 42 = -35*n. Solve 0 = 4*f + 3*y - 32, 2*f - n = 4*f - 3*y for f.
5
Suppose -9 = -3*z + 3. Suppose -2 = -u + 4*n + 4, 3 = -3*n. Solve j = -g, -3*g = u*g + z*j + 5 for g.
-5
Suppose 17*b = -3*b - 1940. Let q = b - -102. Suppose -10 = -0*t - 3*t - v, t = 3*v. Solve -2*o = 4*a - t + 7, -q*o - 2*a = 18 for o.
-4
Let u = -91 + 96. Suppose u*q = 8*q. Solve -5*h = -q*h + 2*c - 3, -c = h for h.
1
Let s = 34 + -20. Let n = -10 + s. Let p be (-10)/(-2) + (-17 - -21). Solve n*b + 34 = -y + p, -4*b - 30 = 2*y for b.
-5
Suppose -1 = -2*x - 3*o + 3, -3*x + 5 = 5*o. Suppose -x*s = -3*s - 6. Solve -3*k + 4 = 1, s*k + 7 = -5*d for d.
-2
Suppose a - 2*q = -0*a - 4, q + 4 = 2*a. Solve 0 = p + l - 0 + 9, 0 = -a*l - 20 for p.
-4
Let o be (2 + 2)*(3/4 + 0). Suppose 5*r = o*b - 2, b + b - 10 = -r. Solve -12 = -4*u - r*m, -2 = 3*u + m - 9 for u.
1
Let g(s) = -4*s + 10. Let q be g(1). Solve i + 2*i - 4 = -2*v, 4*i - q = -2*v for v.
-1
Let a be (222/(-148))/((-6)/8). Solve a*h + 4 = -2*h + 4*p, p = -h + 9 for h.
4
Let i(n) = 3*n + 5. Let v(o) = -5*o - 10. Let g(m) = 7*i(m) + 4*v(m). Let b = 204 - 197. Let c be g(b). Solve -c*u + k - 3 = 10, -5*k + 15 = 0 for u.
-5
Suppose 0 = -4*c, -4*u + 28 = -3*c + 16. Solve 29 = -4*l - 2*y + 7, -u*l - 11 = -4*y for l.
-5
Let j(a) = -a**3 - a + 3. Let k = 19 + -16. Let i be j(k). Let s = 36 + i. Solve -r + 21 = 4*n, 0*n + n - s = -r for r.
5
Let t = 5 - 5. Let g be 0/6 - 1/(3/(-9)). Suppose -u - g*u + 8 = t. Solve u*y + 10 = -s, -3 = -3*y + 4*s - 18 for y.
-5
Let b be 8/14 + 40/(-70). Let v(d) = -3*d - 6. Let n be v(-3). Solve -n*r + 7 = -6*r - s, s - 2 = b for r.
-3
Suppose -y - 3*g + 6 = -6*y, 6 = -3*y + 3*g. Suppose y = -0*v + 5*v - 20. Solve 2*k = -v*b, b - 9 = k + 3*k for k.
-2
Let g be (-1620)/42 - (-6)/(-14). Let d = g - -44. Solve x - 4*a = 9, d*x + 20 = -2*a - 1 for x.
-3
Let q = 4 - -1. Suppose 6 = -3*t, 5*t + q = -2*v + v. Solve -v*d + 5*y + 5 = 0, 2*y = -3*y for d.
1
Let j be 0*(-12)/(-132)*11. Solve -4*s = -4*r + 12, j = 5*r - 14 + 9 for s.
-2
Suppose -4*s - 4*a = -s - 26, 0 = -5*s + 4*a + 22. Let g be (-1 - (-69)/s)*2. Solve -4*q - 9 = -5*q - 2*y, -q = 5*y - g for q.
1
Let t = -22 + 27. Suppose -2*z = -3*l - t*z + 12, -l - 5*z = -12. Solve 5*a + 14 = -5*q + l*q, 5*q - 4*a = 26 for q.
2
Let f(j) = 2*j - 16. Let d(z) = -3*z - 13. Let a be d(-9). Let s be f(a). Let g = 57 - 54. Solve -4*c -