
0
Let b = -1 + 1. Suppose -4*x = x + 10. Let j be (-17)/(-5) - x*1/(-5). Solve 0 = -j*d + 9 - b for d.
3
Let c(r) = 2*r**2 + r - 4. Let t be c(-3). Let j be (2 - t)*8/(-36). Solve -4*l = j + 10 for l.
-3
Let l(x) = -x**3 - 6*x**2 + 13*x + 114. Let v be l(-5). Solve 0 = p - 7*p - v for p.
-4
Suppose 5*w + 5*f - 10 = 0, -4*w + 0*w + 8 = -2*f. Let m be (w - 3)/((-1)/6). Solve 2*d = m*d for d.
0
Let a = -9 - -15. Suppose -m - a = -3*m. Suppose -4*u + 3*f = -48, u - m*f + 87 = 6*u. Solve -5 = -2*y - u for y.
-5
Let q be 51/3 - (-23 - -36). Solve -2*t + 4*t = -q for t.
-2
Let l(c) = c. Let w be l(2). Let h be 3/2*(-170)/51. Let u = h + 10. Solve -w*b + u*b = 3 for b.
1
Let t be 10/(-60)*-3 - 58/(-4). Solve 0 = 8*p - 13*p + t for p.
3
Let h be 54/(-351) - (-3516)/39. Solve 20*v = 10 + h for v.
5
Let m = 18 - 13. Suppose m*a + a = 0. Solve -4 = -2*w - a for w.
2
Suppose 4*s + 7*s - 5*s = 0. Suppose -4*j - 8 = 4*w, -2*w + 4*w - j = 8. Solve s*a = -w*a for a.
0
Let i(f) = 2*f**3 + 12*f**2 - 23*f - 21. Let r be i(-7). Solve 0 = -26*m - 172 + r for m.
-5
Suppose -4*a - 76 - 8 = 0. Let l be a/(-4) - 3/12. Solve l*p - 4*p = 0 for p.
0
Let k = -299 + 300. Solve 2*w = -k + 3 for w.
1
Let p be -8 + 7 - (6/2)/(-3). Solve -5*k + k - 16 = p for k.
-4
Let f(y) = y**2 - 2*y - 3. Let x be f(4). Suppose 0 = x*j + 3*q, 0*j + 3*q + 27 = 4*j. Suppose -3*u = -2*g + g - 6, j*u + g = 12. Solve -u*t = -7 - 2 for t.
3
Let g = -317 + 321. Suppose 2*i - 7*i = -4*a - 7, 3*i - a - 7 = 0. Solve i = -7*s + g*s for s.
-1
Let s(f) = f + 8. Let i be s(-8). Let u = i - 0. Let p = -15 - -16. Solve m = -u + p for m.
1
Let d = -787 + 793. Let m(i) = i + 1. Let s be m(3). Solve -7*v - d = -s*v for v.
-2
Suppose y = 3*v + 4, y - 52 = -2*v - 48. Solve -5*q + 11 - 26 = v for q.
-3
Let a = 51 + -45. Let t be (-5)/((a/(-20))/(18/15)). Solve 5 = -3*j + t for j.
5
Suppose 4*p = -2*p. Let k be (2 - (-2 - 0)) + p. Solve -k*r + 3*r + 2 = 0 for r.
2
Suppose -53*a + 52*a = 0. Solve 0 = -a*i - i for i.
0
Let p(n) = n**2 - 6*n + 11. Let v be p(3). Let a(c) = 4*c**2 - 3*c - 2. Let j be a(-2). Suppose v*m + 16 = 4*w, 4*w = -2*m - w + j. Solve t = 4 - m for t.
4
Let p(y) = y**3 + 4*y**2 + 4*y - 1. Let r be p(-2). Let o be r + (-60)/(-16) + (-2)/(-8). Solve -o*s - 16 = s for s.
-4
Let s(i) = -i**2 + 6*i - 3. Let r be s(4). Let p be r + 1 + 3 + -6. Solve 10 = -p*g + g for g.
-5
Let n = 2287 + -2281. Solve 209 = n*o + 191 for o.
3
Let b = 6 + -1. Suppose 0 = -b*s + 4*s + 2. Suppose t + 10 = 2*v, 0 = -5*v + t + s*t + 27. Solve n = -2 - v for n.
-5
Let t(g) = 2*g - 7. Let p(q) = 2*q + 41. Let j be p(-18). Let k be t(j). Solve -k = 2*c - c for c.
-3
Let i be (3/(-18))/(7/(-42)). Let o be (-2 + 5)/(2 - i). Solve 2*w - o*w = -3 for w.
3
Let d be 1/2 - (-4)/(-8). Let j = d - -15. Solve 0*z - 3*z + j = 0 for z.
5
Let i = 549 - 536. Solve 6*q - i = 5 for q.
3
Let r(d) = d**3 - 7*d**2 + 7*d - 6. Let q be r(6). Suppose -4*a + 16 = -q*a. Let j be (16/a - 5)*-2. Solve -2*b + j = -2 for b.
2
Suppose 4*t - 8 = 0, 12 = 3*f - t - 1. Let h = f - -3. Let p be (-12)/h*28/(-6). Solve -3 + p = m for m.
4
Let f(s) be the third derivative of -s**4/24 + 3*s**3/2 - 5*s**2. Let a be f(6). Solve -a*l + 4 + 11 = 0 for l.
5
Let b = -1073 - -1092. Solve -b*k - 6*k = -100 for k.
4
Let p be (61 - 62)*(-4 - -1). Let h be 2/1*3/2. Solve p*y + 9 = -h for y.
-4
Let i = -1070 + 1073. Solve i*b = -1 - 5 for b.
-2
Suppose m - 3 = -0. Suppose -2*z - 23 = -m*p, -2*p = -4*z - 22 - 4. Let y be 78/p - (-8)/20. Solve 0 = -4*c - y for c.
-4
Suppose -l + 11 = 3*z, 2*l = 5*z - 3 - 19. Solve -z*k + 14 = 2 for k.
3
Suppose 4*u - 3*u = 19. Let n be (-7)/21 - 32/(-6). Suppose x + 5*g = -4*x + 5, -n*x + 37 = -3*g. Solve -u = -x*t + 6 for t.
5
Let i = 13 + -13. Suppose i = -0*r - r + 2. Solve -r*o + 3 - 5 = 0 for o.
-1
Let j(a) = a**2 + 10. Let y be j(0). Solve -4 = y*i + 26 for i.
-3
Suppose -76*k + 68*k + 24 = 0. Solve k*w - 15 = -2*w for w.
3
Let c be (1 - -3)*(-33)/132*0. Solve 3*o + c*o = 3 for o.
1
Let u(w) = 2*w**2 + 8*w + 2. Let f be u(-6). Let a = f - 12. Let v be ((-10)/(-25))/(5 + 161/(-35)). Solve -v = -3*b + a for b.
5
Let y = 15 + -9. Let v(d) = d**2 - 4*d + 3. Let l be v(y). Solve l = -n + 6*n for n.
3
Let d = 1 - -1. Let j(c) = -7*c - 2. Let v be j(-1). Suppose 3*h = -v + 11. Solve d*g + 8 = -h*g for g.
-2
Let t be (-13)/(-3) - (-2)/3. Suppose 2*z + 3 = 5*q, 0 = 3*z + 5*q - 337 + 329. Solve -2*h - t = -z for h.
-2
Suppose 0 = -2*a + 13 - 15. Let r be -2 + 2 + (-15 - 1)*a. Solve k = -3*k - r for k.
-4
Let t be (-1)/((-3)/60) - -2. Let u be (-12)/(-28) - t/(-14). Suppose 2*o - 2*l = -u, 3 = 2*l + l. Solve o*v = v for v.
0
Suppose 381*p = 377*p + 40. Solve 5 = g + p for g.
-5
Suppose 2*j + 3*b = 4, 3*b - 28 = 4*j - 9*j. Let r = 23 - 19. Suppose 0 = r*v + v. Solve v = 3*m + m + j for m.
-2
Let g be (-1 - (-6)/4)*4. Let b be -31 + (-9 - -4) + 3. Let t = -31 - b. Solve 0 = -g*v - t for v.
-1
Suppose 3*n + 0*k = -k - 96, -3*k - 128 = 4*n. Let i = -7 - n. Let r = -4 + 12. Solve i = 3*a - r*a for a.
-5
Suppose -9 + 17 = -4*w. Let q = w + 5. Solve q = -3*u + 2*u for u.
-3
Suppose -3*l - 3*r + 4 - 46 = 0, r = 4*l + 61. Let d = l - -15. Solve d = h + h for h.
0
Let h be 4/14 + 164/14. Let i be 0 + (-3)/3 - -3. Let j = i - 2. Solve 3*t = h - j for t.
4
Suppose -5*i + 242 = 4*o - 194, 100 = i + 4*o. Let u be 2/(32/i*3/4). Solve u = -5*n - 3 for n.
-2
Suppose -66 = 3*a - 2*v + 12, 2*a = 4*v - 44. Let f = a + 39. Let x = 17 - f. Solve 4*m = x*m for m.
0
Let f(l) = l**3 - 9*l**2 - 10*l + 2. Let q be f(10). Suppose 0 = -5*m + z + 37, 2*m + q*z - 22 = -0*z. Solve 3*o + 1 = -m for o.
-3
Suppose 3*s = 4 + 2. Let p = s - 4. Let a be (3 - (3 - 0))/p. Solve -5*v = -a*v for v.
0
Let o(h) = 2*h**3 - 2*h**2 + 3*h - 2. Let z be o(1). Solve -z + 3 = 2*q for q.
1
Let r = 10 + -5. Let s be (-40)/(-3) + (-7)/21. Let m = s - 7. Solve r*k = m*k - 2 for k.
2
Suppose 2*v - 28 = -5*k, 4*k - 2*v - 2 = 6. Let i be k/22 - 1585/(-55). Let c = i - 9. Solve 2*d + c = -3*d for d.
-4
Let b = 73 + -76. Let c be (-4)/14 - (88/(-14) - b). Solve y = c*y for y.
0
Let v = -2 - -5. Suppose -5*i + 16 = v*b - 0*b, -3 = 3*i. Suppose 5*y - 23 = -4*g, -y + 2*y = 5*g - b. Solve 0 = -0*u - u + g for u.
2
Suppose -18*b + 816 = 33*b. Solve 6*q - b*q = -13*q for q.
0
Let l be (-78)/(-21) - (-2)/7. Suppose -w = l*w + 20. Let m be (-1)/4 + (-21)/w. Solve k - m = -0*k for k.
5
Let o(q) = -12*q**3 + q**2 - 2*q + 1. Let k be o(1). Suppose 2*h = -j - h + 6, -h - 9 = 4*j. Let c = j - k. Solve b = 4*b - c for b.
3
Let s(b) = -b**2 - 11*b + 109. Let q be s(-17). Solve 11*a + q*a = 72 for a.
4
Let z = -16 + 17. Suppose 13 - z = -2*n. Let w be ((-24)/(-20))/(n/(-10)). Solve 12 = -w*d + 2 for d.
-5
Let k(o) = o**3 + 15*o**2 + 31*o + 67. Let u be k(-13). Solve c = -2*c + u*c for c.
0
Let n(r) = 2*r**2 - 20*r - 12. Let s be n(11). Solve 8*d = 3*d - s for d.
-2
Let m be 0/(-3) - (-101 - -64). Solve m = 12*b + 1 for b.
3
Let z(l) = -4*l + 151. Let f be z(34). Solve 3*r = -f + 3 for r.
-4
Let f(w) = -w**3 + 9*w**2 + 26*w - 20. Let n be f(11). Suppose -5*c - 34 = -3*x, 0*x = -4*x - 4*c + n. Solve 0 = -4*l - 12 - x for l.
-5
Suppose 3*y = -3*g - 3, -4*g + 12 = -3*y + 37. Let l = 9 + g. Solve 1 = -3*u - l for u.
-2
Let f = -27 + 41. Suppose 4*j = -6 + f. Solve -j*t - 3 = -1 for t.
-1
Let k = -63 + 66. Solve k*j + 23 = 32 for j.
3
Let l = 30 - 26. Suppose -3*b + 2*o - 52 = 0, l*b = 3*o - 67 - 2. Let c = -18 - b. Solve c = 2*m - 7*m + 25 for m.
5
Let h(c) = -5*c + 143. Let o be h(27). Solve o = -16*l + 20*l for l.
2
Suppose 0*p - 5*b + 50 = -5*p, -4*b = p + 15. Let x be (-6)/33 - 2/p. Suppose 0 = -x*o - 6*o. Solve 2*u + 10 = -o*u for u.
-5
Let a(n) = -n**3 - 13*n**2 + 29*n - 12. Let k be a(-15). Let w be 35/21 + (-2)/k. Solve -3 + w = z for z.
-2
Suppose 11*n - 23*n + 12 = 0. Solve i - 1 = n for i.
2
Let i(f) = 2*f**2 + 8*f + 11. Let v be i(-5). Let y = -15 + v. Solve 2*k = y + 4 for k.
5
Suppose -2*h = 4*u - 6*h, -5*h - 25 = 0. Let i = u + 5. Solve 3*f = -3 - i for f.
-1
Let i be ((-4)/6)/((-2)/12). Suppose t + t = i. Let r be (-8)/(-6) + (-8)/(-12). Solve r = 4*b - t for b.
1
Let j be (332/(-56) - -6)*8*14. Suppose 3*f + b - 42 = 33, -3*f + 5*b + 57 = 0. Let h be (f/10)/(-3)*-5. Solve 3*d + h = -j for d.
-4
Suppose -3*x