4
Suppose 2*x = -q + 3, 4*q - x = -q + 15. Suppose 0 = -2*f + 3*o + 15, 5*f - 30 = 5*o - 0*o. Solve 4*r = 2*r - q*p + f, -4*r - 9 = p for r.
-3
Let c = -707 + 711. Solve -20 = 4*d - 2*p, 6 = -c*d - 6*p + p for d.
-4
Suppose -i = 3*m - 19, -7*i + 4 = -3*i. Solve -2*h + 6*h + r + m = 0, 3*h = -3*r for h.
-2
Let d = 18 - 15. Suppose -6*g + 5*g = 0. Solve 2*v + 3*z + 17 = g, -7 = -v + d*z + 7 for v.
-1
Let r(o) = 8*o + 66. Let m be r(-8). Solve 10 = 2*l + m*l + v, 11 = 5*l + 2*v for l.
3
Let c be 9/(81/(-6))*-3. Solve -2*u = 5*f + 14, c*f + 20 = 4*u - 0*u for u.
3
Suppose 8 = 6*q - 34. Suppose -q + 5 = -z. Let s be (2/5)/((-2)/(-20)). Solve -4*m - h = 5, z*h = m - 6*m - s for m.
-2
Let y be (391/46)/((-2)/(-4)). Solve 2*u = x - 3, 3*u + y = 5*u + 3*x for u.
1
Let t = 4 - 4. Suppose -5*x + 2*c = -6, t = -5*x - 2*c + 9 + 5. Suppose 3*l + 15 = 4*g, -3*g + 5*l = g - 17. Solve 3 = -x*q + 3*y + 4, g*y - 11 = 5*q for q.
-4
Suppose -3*t - 3 = -0. Let p(y) = 25*y**2 - 1. Let k be p(t). Let q = 36 - k. Solve 6*c = -4*d + c - q, 0 = 5*d + 2*c + 15 for d.
-3
Suppose -12*f + 57*f - 540 = 0. Solve r = -3*r + 4*p, -4*p = f for r.
-3
Let u(l) = -l**3 + 16*l**2 - 15*l + 2. Let b be u(15). Suppose 2*t - i = -b*t + 59, 0 = 5*t + i - 76. Solve -5*g + t = -2*x, 0*g - 9 = -5*x - 3*g for x.
0
Let o be (-30 + 30)/(2/(-2)). Solve 5*v = -2*w + 10, 0 = -o*w - w - 5*v + 5 for w.
5
Let d be (-1)/(30/(-24))*(1 - -9). Suppose -v + d*v = 35. Solve 4*q - 8 = 0, -z + q = -0*z + v for z.
-3
Let o be 9280/203 - 4/14*-1. Let h = o + -31. Solve b + 3*b = -5*k - 15, -5*k - h = -b for b.
0
Let i(a) = a**3 - 18*a**2 - 19*a + 2. Let n be i(19). Solve -5*s + 3*g = 8, n*g + 3 = s - 1 for s.
-4
Let o(y) = -y**3 + 7*y**2 - 3*y - 6. Let u(x) = -x**2 + 8*x - 9. Let m be u(5). Let c be o(m). Solve 4*d - 2*d = r + c, r - 3 = -d for r.
-2
Suppose 7*p = -5*p. Solve v + 5*z = -30, -4*v - 25 = -p*v + z for v.
-5
Let a(v) = v**3 - 3*v + 1. Let k be a(2). Suppose -4*y + 2*m + 16 = 0, y + y + 2*m - 20 = 0. Let z = 0 - 0. Solve -2*q - 5*s + y = 0, k*s + z*s = 0 for q.
3
Let h be (1 - 0)*24/8. Suppose 0 = d + g + 4*g + 25, -2*g - 118 = 4*d. Let x be (2/(-2))/(6/d). Solve 0 = h*b - x*n - 28, 4*b = 3*n - 2*n + 9 for b.
1
Suppose 5*y = -222 + 242. Solve 0*x - 3 = -y*x - l, 6 = -2*x - 2*l for x.
2
Suppose 0*j + 5*j = -5, 3*g - 3*j = 78. Let f = g + -21. Solve f*a + h + 10 = 0, 5*a + h + 9 = -3 for a.
-2
Let q(h) = h - 4. Let o be q(12). Suppose 2*k = 5*p - o, -4*k + 1 - 17 = -2*p. Let s = 5 + p. Solve -s*x = 5*r - 35, x + 3*r - 18 = -x for x.
3
Let x be 5 + -6 - (1 + 1 + 49). Let v be (-6)/(-8) + x/(-16). Solve -d - 8 = -5*f + 3, -v*d - f + 19 = 0 for d.
4
Suppose 5*l = -m + 4*m + 1, -m = 2*l - 18. Let f = 10 - m. Solve 2 = x - 2*r, 3*r = -f*x - 1 + 5 for x.
2
Suppose 13*x = 6*x. Suppose x = 4*f - 86 + 22. Solve f = -5*j - 0*w + w, 5*j + 19 = 4*w for j.
-3
Let n = 10 - 2. Let h = -5 + n. Solve h*v + 12 = -2*a, 3*v + 25 = -2*v - 5*a for v.
-2
Suppose 297*k = 280*k + 153. Solve -l + 2*y = 6 + k, 40 = -5*l + 3*y for l.
-5
Let m(b) = 3*b - 5. Suppose 1 = -s - 3. Let x(h) = -3*h + 6. Let r(n) = s*x(n) - 3*m(n). Let c be r(13). Solve -2*j - j = 2*d + 17, 0 = -5*d - 5*j - c for d.
-1
Suppose -g = g - 10. Suppose -k - 3*a + 2 + 2 = 0, -4*a + 6 = k. Let x be (12/(-8) + 0)*k. Solve -y - 7 = -c, 4*c - 2 = -x*y + g for c.
4
Suppose 0 = 4*w - 3*x - 11, 2*w - 7 = 3*x - 0*x. Suppose -4*d = -8*d + 4*p + 36, -2*p - 57 = -5*d. Solve -2*n = -c + d, 4*c = 7*n - w*n + 40 for n.
-4
Let z = -1421 + 1426. Solve -f - f = -2*l + 2, 26 = -z*f - 2*l for f.
-4
Suppose 11*t = 13*t. Let i = 3 - t. Suppose -3*r = -2*k - 24, 1 = -5*r - 3*k + 22. Solve 0 = -i*f - 9, f - 6 = 3*j + r for j.
-5
Let k(s) = s**2 + 9*s - 12. Let r be k(-11). Suppose -r*l + 8*l = -6. Solve u = -0*u - 5*x + 15, 3*u + 3*x + l = 0 for u.
-5
Suppose -6*a - 7*a = -65. Solve 2*p + 3 = -3, -40 = 5*w + a*p for w.
-5
Let c(x) = -11*x + 13. Let j be c(-6). Let y = j + -76. Solve 12 = 4*w + y*d, -2*w + 2*d - 2 = -8 for w.
3
Suppose 5*c + 2*p = -30, -4*p - 4 = -0*c + 3*c. Let a be (-1)/(-4) - 22/c. Solve 0 = a*z - 4*s + 3 - 20, -5*s = z + 26 for z.
-1
Let u(w) = 7*w - 4. Let c be u(-1). Let p = 13 + c. Suppose -p*q + 20 = 10. Solve -q*z - 10 = y - 4*y, 2*y = -3*z - 6 for z.
-2
Let d be -1*0/(-3 + 0). Suppose d = 4*g + 4*m - 24, m - 10 = -g - m. Solve v - 3*p = -17, 2*p = g*v + 2*v + 28 for v.
-5
Suppose -2*k = -4*k, -18 = -x + k. Let g be ((-3)/(-9))/(57/x + -3). Solve -5*j = -5*z - 15, -j - 7 = 5*z + g*j for z.
-2
Let b(a) = -10*a**2 + 831*a - 67. Let s be b(83). Let k be ((-12)/(-9))/(1/3). Let j be (-2)/(-8) - (-27)/k. Solve 3*l - 24 = 2*x + j*l, 2*l = -3*x - s for x.
-2
Let v(f) be the first derivative of -f**2/2 - 8*f + 8. Let z be v(-10). Solve -b - w + z = 2*b, 0 = b + w - 2 for b.
0
Let c = 63 - 56. Suppose -y - 6*y = -c. Solve 4*n - 7 = -5*j, 4*j - 2*j = -n + y for j.
-1
Let h(f) = 4*f + 15. Let s be h(-3). Solve 2*u = q + 4*u - s, 2*u = -3*q + 9 for q.
3
Let w be (-105)/(-6)*(-24)/7. Let t be 1 + 1 + w/(-20). Solve -t*i + 13 = 3*y - 10, 12 = 3*i for y.
1
Let t be 1/((-1)/2 - -1). Let d be (7 + -11)/8*-4. Solve 4 = -2*r - 5*g, r + g + t = -d*g for r.
-2
Let t = -1160 + 1165. Solve 3*q - 16 = -t*g, -2*g = 4*q + g - 14 for q.
2
Let z(n) = 3*n + 2*n**2 + 4*n**2 - n**3 + n - 6 - 8*n. Let x be z(5). Let d be x*(-7 - (-4 - -2)). Solve 3*y - c - 4 = y, -4*c - 4 = -d*y for y.
4
Suppose 0*s + s = 2*o - 5, -o - 4*s + 16 = 0. Solve -4*j + o*p = 33 - 9, 0 = -3*j - 3*p - 6 for j.
-4
Let k(w) be the first derivative of -w**2/2 + 4*w - 22. Let o be k(0). Solve 5*m = 5*s + 40, -o*s - 6*m + 13 = -m for s.
-3
Suppose 13*j - 6*j = 0. Let h = 44 + -44. Solve h = 3*r + r + b + 5, j = -r + 2*b + 10 for r.
0
Suppose -138 = 3*z + 93. Let r = 78 + z. Solve -x = -2*a - 7 - 2, 5*x - r = -a for a.
-4
Let l be 1/4 - 6/(-8). Let b(u) = 40*u - 31*u - u**2 + 3 - l. Let a be b(7). Solve 4*f + 2*z + a = -2*z, 5*f + 2*z + 23 = 0 for f.
-5
Suppose -3*t = 3*d - 27, -2*d - 31 + 65 = 4*t. Solve -4*p = 4*o - 2*o - 6, -5*o - 3*p + t = 0 for o.
1
Let o = -4 - -9. Let a(z) = -3*z + 5. Let g be a(-2). Solve -g = -2*s - 5*p, -p + 5*p - 2 = -o*s for s.
-2
Let i(u) = u**2 + 6*u - 20. Let c be i(-9). Let b(m) = m**2 - 4*m - 9. Let o be b(c). Solve -o = -h + 6*n - 2*n, 16 = 3*h - 2*n for h.
4
Let p(z) = 2*z - 1. Let f(d) = -d + 1. Let x(s) = 7*f(s) + 6*p(s). Let j be x(1). Suppose 2*t = -0*t + 6. Solve -g = t*h + 2, -j = -2*g + 2*h - 3*h for g.
4
Let z = -4 + 13. Suppose j - 28 = 5*p, -2*j + 3*p = -12 - z. Let k be (-2*j)/(-4 + 2). Solve -a - 3 = 0, -k*t - 9 = -t + a for t.
-3
Let f(k) = -4*k + 27. Let h be f(6). Suppose -h*w = -4*n - 6, 0 = -0*w - w + 2*n. Solve -q = c + w, 16 = -4*c - q - q for c.
-2
Let d = -3 - 2. Let k(p) = -p**2 + 3*p - 1. Let b be k(d). Let a be b/(-13) - (-10)/(-65). Solve -3*w = -3*n + 12, 2*w + w + a*n - 12 = 0 for w.
0
Suppose -g + 8 = -3*g + 5*x, 0 = 2*x - 8. Suppose -5*m = -19 - g. Let v be 2 + 3 - -3*1/(-3). Solve -w = 5*f - m, 4*w + f = v*f - 3 for w.
0
Let n(a) = 2*a**2 + a - 3. Let p be n(-3). Suppose 3*o + p = 5*b + o, 5*b + o = 9. Suppose -b = q - 5. Solve 25 = -5*w, -q*w = -2*x + 2*w + 27 for x.
1
Suppose 18*y - 4*l = 20*y - 22, 0 = -4*y - 4*l + 28. Solve -3 = -3*o + y*q, -2*q + 0*q = 4*o - 4 for o.
1
Let v be 2/(-3) - (-10)/45*3. Suppose 17 = 4*m + 3*g, v = -m - g - 0 + 5. Solve -5*n - 2*h = -m - 23, -3*n - 3*h + 24 = 0 for n.
3
Let f(g) = 2*g**2 + g - 1. Let i be f(1). Suppose -4*r + 12 = -i*r. Suppose 10 = 4*z - r. Solve -2*x - 14 = d, 6*d = z*x + d for x.
-5
Let f = -10 - -7. Let v be -10 + (-1 - (2 + f)). Let n = v - -12. Solve 5*x - n*h = 15, 9 = -5*x - 4*h - 6 for x.
1
Suppose 37 = -4*u + 197. Solve -u = -5*b - 5*l, 4*b - 20 = 2*l - 3*l for b.
4
Suppose 4*m - 20 = 4*y, 2*y - 28 = -3*m - 8. Let i be 1/m*-3*-2. Solve 5*f = 3*f, t - 4*f = -i for t.
-1
Let t(l) be the second derivative of -l**4/12 - 7*l**3/6 + 9*l**2/2 + 3*l. Let s be t(-6). Let f = s - 11. Solve x - 7 = 2*d, 0*x = f*d + 4*x - 4 for d.
-2
Suppose 19*b = 21*b - 22. Solve 2*a - 10 = a - 4*q, 4*a - q + b = 0 for a.
-2
Let x be (6/2)/((-42)/(-112)). Suppose -x = -2*h + 2. Solve 0 = 4*l - 5*b - 24, 10*l - b = h*l + 9 for l.
1
Let b be (-1)/(2 - (-25)/(-10)). Let v be (-412)/(-28) - (16/(-7) + b). Solve 0 = 3*d 