 = -3*x - 25, r*x = -x for t.
-5
Suppose 3*p + 0*b = 2*b + 21, 60 = 5*p + 5*b. Suppose 0*m = 3*m - p. Let h(i) = i - 3. Let t be h(5). Solve m*g = 2*g + 4*o + 8, 0 = -t*g - 4*o - 20 for g.
-4
Let q be 5/15*(-10 - -1). Let x be (-45)/(-10)*(-1 - 5/q). Solve -6 = 3*j + 3*z, x = 3*j - 2*z - 6 for j.
1
Let t = 8 + -11. Let b(f) = 9*f - 77. Let h be b(8). Let x = t - h. Solve -2 = 2*o + x, 3*o - 19 = 5*z for z.
-5
Suppose 1 = 3*t - 2*t. Let h be (0/t)/(6 + -8). Suppose h*b - 4 = -2*b. Solve -4*s - b*z - 10 = 0, 4*z + 4 = -8*s + 4*s for s.
-4
Let p be (10 - (-7 + -1)) + -11. Solve -u - 2*h = -p, -17*h + 14*h = 5*u - 28 for u.
5
Let b(w) = w**2 + 14*w + 26. Let f be b(-10). Let d = f - -14. Solve 10 = -5*k, -2*v - 2 + d = -2*k for v.
-3
Let z = -391 - -394. Solve 0 = 3*t - s - 11 - 1, 3*t = 4*s + z for t.
5
Let p(y) = y**3 + 14*y**2 + 13*y + 14. Let n be p(-13). Let a = 32 - n. Solve -2*w = -3*x - x - 10, -a = 2*w + 3*x for w.
-3
Let u(p) = p**2 - 8*p + 7. Let n be u(7). Suppose 5*b - 4 - 1 = n. Let j be (4/((-8)/(-9)))/((-24)/(-16)). Solve -5*o - b = j*v, 3*v - 2*o + 5*o = 3 for v.
3
Suppose -k + 3*b = -5, 0 = 2*k - 6*k - 4*b - 28. Suppose -5*f = 4*l + l - 30, -3*f - 5*l = -22. Let x = k + f. Solve -2*s = 3*p - 0*s, p + 3*s = x for p.
0
Let r(g) = -g - 9. Let n = 11 + -7. Let z(p) = p**2 - 7*p - 2. Let f be z(n). Let w be r(f). Solve -4 = o - h, 0 = 8*h - 3*h - w for o.
-3
Let j(z) = -6*z**2 - 2*z - 12. Let l(r) = r**2 + r + 1. Let b(n) = j(n) + 8*l(n). Let g be b(-4). Solve -g*x = -9*x - 15, -4*x = -u + 7 for u.
-5
Suppose 21*q - 387 + 303 = 0. Solve -q*x + 2*h = -26, -4*x = -h - 2*h - 29 for x.
5
Let z = 34 - 30. Suppose 3*x = x + 2*j + 16, 0 = -x + 2*j + z. Solve -4*v - 16 = o + v, o + 4*v = -x for o.
4
Suppose 10*l + 7*l = 34. Solve -4*d - l = -2*b - 2*d, -3*d = 3*b - 15 for b.
3
Let w(s) = -9*s + 4 + 6*s - s**2 + 2*s. Let c = -4 - -2. Let b be w(c). Solve -5*z + 5 = -5*k, 2 = b*k + 6 for z.
-1
Let m be ((-10)/20)/(1/(-10)). Suppose m*i + 18 = 2*v + i, -v = 2*i - 1. Solve s + v*o + 0 = -9, -5*s = 4*o + 3 for s.
1
Let c be (2 - 1) + (-8)/2. Let h(i) be the first derivative of -i**2/2 + 4*i + 4. Let x be h(c). Solve 3*w = 3*n + 24, -w - x = 2*n + 2*n for n.
-3
Let n(f) = f + 1. Let o be n(-9). Let g = o + 16. Let j be 57/21 + g/28. Solve -z - 16 = 4*p, -17 = -4*z + j*p - 5 for z.
0
Let t = -79 - -80. Let l be ((-2)/(-8) - 285/(-60))/t. Solve 3*j + 0*j - 12 = 3*s, -j - l*s + 10 = 0 for j.
5
Let t = -27 - -37. Let x(a) = -4 + a + 0*a + 0*a + t. Let z be x(5). Solve k = 4*f - z, 3*k = 3*f + 6*k + 3 for f.
2
Let l be ((-5)/(-4) + -1)/(2/16). Solve -l*y + 21 - 9 = 2*z, -3*z + 3*y - 12 = 0 for z.
1
Suppose 2*o = -5*n + 17, -3*o - 2 - 1 = -2*n. Let m be 3 + -7 + (o - -3). Suppose 1 + 0 = -i, -24 = -5*d + 4*i. Solve f - 2 = -b - 4, -b + f + d = m for b.
1
Let q(m) = m**3 - 7*m**2 + 6*m - 21. Let o be q(5). Let u = 44 + o. Solve 0 = -p - p - 5*n + 6, 0 = p + 5*n - u for p.
3
Let w = -11 - -19. Let l be (45/(-20))/(1/w). Let r be 143/117 + 4/l. Solve v + 3 = 5*f + r, -2*f + v = -2 for f.
0
Let h be (-33 + 1)*3/(24/(-10)). Suppose 0 = -4*w + p - 4 + h, w = -3*p - 4. Solve b + w = 3*f, 8*b = 3*b + 5*f for b.
4
Let j = 4 + -2. Let r = -73 - -76. Solve 3*f + 15 = 3*m, -15 = -r*f - j*m - m for f.
0
Let d be ((-24)/(-70))/(2/(-7))*-10. Solve -4*h + x = 10, 2*h - 2*x + d = 2*x for h.
-2
Suppose 2*s - 3*x - 8 = -4*x, s - 18 = 3*x. Suppose 0 = 3*y - s - 15. Let z be 4/14 - (-26)/y. Solve z*n - 14 = -5*l, 0 = 4*l - 5 - 3 for n.
1
Suppose 6 = -2*u + 3*h, -3*h = -5*u - 2 - 4. Suppose 0*m = -3*z + 4*m + 4, u = 4*z + 5*m - 26. Solve 4*i = 4*f - 28, i - 2 + 24 = z*f for f.
5
Let s(c) = -11 - 25*c - 25*c + 80*c - 25*c. Let h be s(3). Solve h*g = 2*y - 18, -2*y = -g - g - 14 for g.
-2
Let d be 13/((-2)/6*-3). Let j be 2/d + (-300)/(-78). Let t = 0 - -5. Solve 0 = a - 3*n + j, a - 25 = -a - t*n for a.
5
Suppose 2*z - 2 = 6. Let j(n) = -n**3 - 11*n**2 + 4*n + 49. Let q be j(-11). Solve -5*l - q = 0, -a + z*l + 9 = -2*a for a.
-5
Let u(q) be the first derivative of 3*q**2/2 + 44*q - 15. Let k be u(-13). Solve -a + 4*l = -7, -2*a = -5*a - 4*l + k for a.
3
Let p = 17 - 12. Suppose -10 - 35 = -p*h. Suppose -2*y - 3*o + 15 = 0, -y + o = -3*y + h. Solve 0 = 5*t - 2*i + 2, -4*i + y + 1 = 0 for t.
0
Suppose 0 = -5*u - 5*b + 40, -4*b = 5*u - 48 + 11. Let i = -658 + 662. Solve -m + i = -3*h, -4*h - h = -2*m + u for m.
-5
Suppose 163*p - 164*p = -2. Solve 0*j + 7 = -y + j, -4*j = p*y - 10 for y.
-3
Suppose 5*z = -1 + 16. Suppose 5*y = -5*v + 200, -123 = -5*y + 3*v + 37. Let x be 3*(-4 + y/5). Solve -a = -m + z, 4*a + m + x = 4*m for a.
0
Suppose 32 = -2*o + 4*o. Let r = o - 13. Solve -3*s = 4*p - 1, -s - 2*p + 0 = -r for s.
-5
Let u(g) = -g**3 + g**2 - g - 4. Let w be u(0). Let m be (w/8)/(2/(-20)). Let q = -109 - -111. Solve 5*j = -x + m*x - 3, 0 = q*x + 5*j - 9 for x.
2
Let k = -633 - -633. Solve -5*m + 18*g - 16*g = -7, k = -3*m + g + 4 for m.
1
Let i(x) = 2*x**3 - 6*x**2 + 5*x - 5. Let q be i(3). Solve -3*u - g + 3*g - 18 = 0, u = 2*g - q for u.
-4
Let j(o) = o**2 - 6*o + 3. Let h be j(4). Let v be 10 + h/(5/2). Solve 22 = -3*b + 5*k, k - 3*k = -b - v for b.
-4
Let n be (-30)/72*-3*4. Solve 4*p - 3 = n*j + 2, 2*p = 2*j + 2 for p.
0
Suppose -3*x - 20 = -c, -c = 5*x - 4*x. Solve -c*f + 3*d = -2*d, -5*f + 2 = -4*d for f.
2
Let y(d) = -2*d + 26. Let n be y(12). Suppose 4*a = -4*i - 0*i + 4, -n*i + 30 = -5*a. Solve -5*j = -3*w + 3, i*w - 6 = -5*j - 1 for w.
1
Suppose -4*r - a = -2*a - 157, 4*r - 163 = -a. Suppose r = 18*c - 16*c. Suppose 0 = -3*i + i + c. Solve p - i = w, 0 = -3*w + 7*w + 3*p + 5 for w.
-5
Let u(m) = 10*m**2 + 2*m - 6. Let y be u(-1). Solve -n = y*f - 3*n, -n + 10 = -3*f for f.
-5
Let q = -4 - -4. Suppose -3*b - 16 = -5*h, h + q = -4*b - 6. Solve 0 = -h*n - z + 7, z - 17 = -4*n + 2*z for n.
4
Let u(f) = -f**3 - 24*f**2 - 25*f - 42. Let o be u(-23). Suppose m = 6 + 4. Suppose -o*z + m = -6. Solve -y + 2 = 2*w - 3, 0 = -z*y + 4*w - 28 for y.
-3
Let a(l) = l + 12. Let q be a(-12). Let m(w) = -w**2 - w + 24. Let p be m(q). Let h = 3 + -1. Solve g = -h*v + 11, p = 3*v + 4*g - 5 for v.
3
Let d(o) = -2*o**2 + 7*o + 9. Let p be d(4). Solve -4*m + 12 = 0, 4*z + p*m - 15 = 8*z for z.
0
Let p(n) = -n**2 - 5*n + 1. Let t be p(0). Solve -m - 5*o = -t, -o = 4*o for m.
1
Let g be (-3)/(135/(-207)) - 12/(-30). Solve -k = 4*p - 3*p - 2, g*k + p = 14 for k.
3
Suppose -3*u + 4 - 1 = 0. Let n = 36 - 36. Suppose -2*y + o - u = -4, n = 2*y + 5*o - 21. Solve -3*s = -3*m, y - 7 = 4*s - 5*m for s.
4
Let t be (-14)/(-10) - (3 + 36/(-10)). Solve d = -3*z + 5, 3*d - t*z + 22 = -d for d.
-4
Suppose -2*i - 4*h = -21 + 3, 3*i - 12 = -h. Solve 4 + i = -5*k - z, -k = -4*z + 14 for k.
-2
Let s be 20/9 - (-4)/(-18). Let v(g) = -s*g + 5*g**2 + 6*g**3 - 2*g**2 + 7*g**3 - 12*g**3. Let k be v(2). Solve 4*p = -3*f + 20, -k = -6*f + 2*f for p.
2
Suppose h + 3*z = 40, -21 - 4 = -5*z. Solve 2*p + 1 = 3*p + 4*u, h = 4*p - 5*u for p.
5
Let n(o) = -o + 12. Let x be n(6). Suppose 3*y = y - x. Let i be 10 + 3*2/y. Solve -11 = -5*f - 4*d, -4*f - 7*d + i = -3*d for f.
3
Let n(l) = 3*l**2 - 11*l + 14. Let h be n(2). Solve 0 = -h*t + 4*d - 14 + 34, -4*t = -2*d - 12 for t.
1
Let a = 31 + -28. Solve 5*t = z + 7, 2*t - a*t - 3 = 2*z for z.
-2
Let p be 955/135 - 4 - 20/270. Solve 6*u + p*l - 27 = 3*u, 7 = -u + 3*l for u.
5
Suppose -21 = -3*a - 5*d, 0 = -3*a + 2*d - d + 3. Suppose a*i - 20 = 7*i, -5*j - 5*i = -5. Solve 0 = -j*t - 20, -5*s - 2*t + 6 = -t for s.
2
Suppose c - 2*i - 8 = -18, 2*c = -i + 5. Solve -2*a + 4*s + 24 + 2 = 0, -5*a + 5*s + 45 = c for a.
5
Let k = -18 + 12. Let a be 1/((2 - 4)/k). Let s(w) = -w**2 - 10*w - 12. Let n be s(-8). Solve -1 = -a*x + l, 2*x + 4*l = n*x - 4 for x.
0
Let b be ((-12)/20)/((-18)/120). Solve -13 = 3*y - y + 5*f, b*y - f = 7 for y.
1
Let v be ((-4)/5)/(3/(-15)). Suppose -2 = -2*n + v. Suppose -2*k + n + 3 = 0. Solve -3*s - w = k*w - 5, 3*s + 5*w - 4 = 0 for s.
3
Suppose 44*b = 61*b - 51. Solve -b*y + 2 = 5*z, -3*z = 5*y - 1 - 13 for z.
-2
Suppose 0 = 11*c - 12*c + 3. Suppose 0 = -5*g - 2*a + 12, 0*a = 2*g + c*a - 7. Solve -g = 2*z, 5 = -3*n - 2*z - 0 for n.
-1
Let z = -10 + 12. Let t be 15*z/18*6. Solve 0 = -2*f + 5*y + 10 + t, 5*f - 5*y - 20 = 0 for f.
0
Suppose 0 = -2*r + 3*w -