*x + 0*x = 0 for x.
0
Suppose -3*u + 14 = 5*r, 0*r + 4 = -2*r + 2*u. Solve -5*c - 4 - r = 0 for c.
-1
Let n(i) = -67*i + 3489. Let v be n(52). Let s be (-1)/(-1*2/188). Suppose 0 = -4*j - 3 + 11, -5*y + 3*j + s = 0. Solve -y = 3*z - v for z.
-5
Suppose 16 - 41 = 5*j. Let z(q) = 2*q - 3*q + 7 - 10. Let u be z(j). Solve 4*x - 6 = u for x.
2
Let m be (-15)/(-3) + 0/(-3) + 1. Let z(n) = n**3 - 2*n**2 - n - 4. Let t be z(3). Solve t*c = 5*c + m for c.
-2
Let d be (-880)/(-60)*(-6)/(-11). Solve -15*v + 7 = -d for v.
1
Let a be (-1876)/(-335)*10/4. Solve -a*j + 20*j = 18 for j.
3
Let i be -1 + 3 - 0 - -13. Let f be (-10)/((3 - 6) + 1). Suppose c + 0*c - 3*w - 1 = 0, -c = f*w - 17. Solve -2*v + c*v = i for v.
3
Suppose -75 = -5*w - 2*u, 3*w + 3*u - 45 = u. Let j = w - 15. Suppose -2*a + 27 = 5*m - 10, -5*a - 2*m + 40 = 0. Solve j = p - a*p + 25 for p.
5
Let v(d) = -2*d**2 + 10*d. Suppose -5*y + 8 = -7. Let h(n) = n + 2. Let t be h(y). Let c be v(t). Solve c = -l - l - 4 for l.
-2
Let m(h) be the second derivative of -5/3*h**3 + 0 + 2*h + 2*h**2 + 1/12*h**4. Let w be m(10). Solve -2*b = -0*b + w for b.
-2
Let d be ((-2)/8)/((-19)/152). Solve d*l = -l for l.
0
Let q(g) = g**2 + 7*g + 4. Let y be q(-8). Let j = -29 + 34. Suppose -j = -i - 1. Solve i*d - y = d for d.
4
Let h(k) = -k**3 + 2*k**2 + 20*k - 22. Let u be h(5). Solve -12 = -0*j - u*j for j.
4
Suppose 0 = -5*s - 10, s + 7 = 5*f - 4*f. Let z(v) = 4*v. Let t be z(f). Suppose 17*x = 13*x - 5*q, -4*q = 3*x + 1. Solve -t = -0*m + x*m for m.
-4
Let s(m) = -m**3 + 8*m**2 - 6*m - 1. Let j be s(7). Let p = j - 3. Let b(d) = -d**2 + 2*d + 3. Let x be b(p). Solve -w + 5 = -x for w.
5
Let s be (-1)/((-2)/10*1). Suppose s*n + 2 = 2*w - 20, w - 2 = -2*n. Solve c = w*c - 10 for c.
2
Suppose -3*s - 3*y + 219 = -0*y, -2*s - 3*y + 144 = 0. Suppose 2*w + s = 83. Solve 4*j - w = -0*j for j.
1
Let s(n) = n**2 + 10*n + 7. Let c be s(-10). Let k(x) = x**3 - 6*x**2 - 5*x - 8. Let u be k(c). Let h be (-6)/4*(-8)/u. Solve -h*o = o + 6 for o.
-2
Suppose -19 = -4*y + 3*y + c, 5*y = 2*c + 107. Suppose -5*a = 4*b + 4, 5*b - 4*a - 59 + y = 0. Let f be (-5)/((-10)/b) - 0. Solve -f*z + z = 3 for z.
-3
Suppose -57*o + 375 = -32*o. Solve o*a - 8*a + 35 = 0 for a.
-5
Let g be ((-71)/(-71))/(23/(-8) + 3). Solve g*l = -l + 45 for l.
5
Let d be 26/4*(-1 - 1). Let t = d - -14. Suppose -2*k + 7 = -t. Solve g - 5*g + k = 0 for g.
1
Suppose 0 = 4*u - 9 - 39. Suppose 0 = 6*k - 9*k + u. Suppose -2*w + 90 = k*w. Solve -7*m + 2*m = w for m.
-3
Suppose 5*l - 5*x + 2*x = 46, -18 = -2*l + x. Let r(w) = 3*w - 10. Let y be r(l). Let k = y - 10. Solve 0 = -3*m + m + k for m.
2
Let u = -2 - -4. Suppose u*q - 12 = -2*d + 5*d, 5*q = 4*d + 23. Solve 0 = -q*v - 13 - 2 for v.
-5
Let m(r) = -r**2 + r. Let g = 11 - 11. Let k be m(g). Suppose k = -j + 3*o + o + 17, 2*o = 4. Solve -j = 5*b - 0*b for b.
-5
Let b be (-16)/(-24) + (-7)/(-3). Solve -h - 8 = b*h for h.
-2
Let z = 180 - 171. Solve -5 = -z*l + 14*l for l.
-1
Suppose -1 = -3*g + 8, -4*p - 10 = -2*g. Let w be 9/36 - ((-3)/4 + p). Solve w*i = -i + 6 for i.
2
Let b be (-10 - (-2)/2)*2. Let x be (b/2 + 1)/(-1). Let m(j) = 3*j**2 - 2*j + 1. Let g be m(1). Solve g = -2*o - x for o.
-5
Suppose 10*z - 23*z = 0. Solve z = u - 12 + 16 for u.
-4
Suppose 0 = 4*c - 6*c + 5*y + 22, c + 4*y + 15 = 0. Solve 4 - c = h for h.
3
Let q(o) = -9*o - 380. Let x be q(-52). Solve 14*i + x - 32 = 0 for i.
-4
Suppose -v + 3 = 5*m, -m = 5*v - 4 - 11. Suppose -v*z = 2*b - 18, -5*z = -2*b - 19 - 11. Solve -f = f - z for f.
3
Suppose -36*k + 35*k = 0. Solve k = -l - 4 - 1 for l.
-5
Suppose -4*k - q + 207 - 28 = 0, -173 = -4*k + q. Let a = k + -32. Solve d + 2*d - a = 0 for d.
4
Let b(s) = -4*s + 40. Let l be b(6). Suppose 2 = -15*q + l*q. Solve q*p + 1 = -5 for p.
-3
Suppose -2*h - 63 = 5*p + 23, 2*h + 6 = 0. Let a = -15 - p. Solve 5*c + 21 - a = 0 for c.
-4
Let r = -48 + 52. Let j = r + 3. Solve 2*s = -3 - j for s.
-5
Let i be 1*((-21)/3 - 2). Let y(o) = o**2 + 7*o + 1. Let t be y(-8). Let s = i + t. Solve s = -10*b + 5*b - 25 for b.
-5
Suppose 4*b - 15 = b. Suppose -3*j + 45 - 8 = b*h, 3*h - 2*j = 26. Let p(i) = -i**3 + 7*i**2 + 7*i + 10. Let c be p(h). Solve 2*o - 8 = c for o.
5
Let k(x) = -3*x. Let n(l) = 13*l - 1. Let a(u) = -9*k(u) - 2*n(u). Let q = 105 + -105. Let p be a(q). Solve p*g = -3*g + 5 for g.
1
Let y be (-6 - -4) + 1 + 1. Suppose y*r = 5*r - 20. Solve -3 = -r*p + 1 for p.
1
Let v = 17 - 15. Suppose 6 = -v*r - 2*y, r - 17 = 3*y - 0*y. Suppose 3*s + 3 = 4*g - r*g, -4 = -4*s. Solve g = -3*q - 9 for q.
-4
Suppose 0 = 4*d - 7*s + 11*s - 44, 15 = d + 3*s. Solve d*k = k for k.
0
Suppose -11*n = -87 - 89. Solve 4*u + 12 = n for u.
1
Suppose 298*y - 84 = 292*y. Solve 0 = y*i - 5*i for i.
0
Suppose 0*d + 5*d = -o + 49, 5*d - 2*o - 52 = 0. Solve 4*s + 2 = d for s.
2
Let r(t) = 18*t + 290. Let x be r(-16). Solve -x*y + y = -1 for y.
1
Suppose 2*h + 3*h + 115 = 0. Let u = -10 - h. Solve 5*o + 12 + u = 0 for o.
-5
Suppose -4*k - 89 = 39. Let w = k + 53. Let y be (-3)/(2 - w/6). Solve y*g + 0*g + 10 = 0 for g.
-5
Suppose -1004*w = -1015*w + 143. Solve 0 = 4*t - 21 + w for t.
2
Let s(g) = -3*g**2 - 14*g - 4. Let l be s(-2). Suppose 0*n - 15 = -3*n. Solve n*d = d + l for d.
3
Suppose 50 = -5*s + 65. Suppose s*n - 7 = 5*u, 3*n + 4*u = 2*u + 14. Let a(o) = o**2 - 4*o - 1. Let q be a(-3). Solve -y - n*y = q for y.
-4
Let i(o) = o + 1. Suppose 28 = 3*v + 4*f, -2 + 10 = -3*v + 5*f. Suppose -v*q = -3*a - 3, q - 15 = -5*a + 3. Let m be i(q). Solve 9 = -m*s + s for s.
-3
Suppose -5*o + 150 = 45*o. Solve -o*u + 0 = 3 for u.
-1
Suppose 4*o + 3*k - 16 = -4, -2*o + 2*k - 8 = 0. Let s be 16/(o - -2) + -4. Solve -w - s*w = 0 for w.
0
Let t = -2439 + 2445. Solve -9*b - 33 = -t for b.
-3
Suppose -10*q + 6 = -34. Solve -22 + q = -6*i for i.
3
Let z be ((-6)/4 + 2)*14. Suppose -5*w + 3 = -z. Suppose -w*a = -u - 20, -3*u - 14 = -2. Solve 0*o = 4*o - a for o.
2
Let s(u) = -241*u + 247. Let h be s(1). Solve 6*x + 0 = -h for x.
-1
Let r be -1*((-141)/4 + 31/124). Solve 0 = -r*w + 33*w + 2 for w.
1
Let k be 1*(-2 + 2)/(12/(-6)). Suppose 8*r = -k - 0. Solve -4*z - 12 = -r for z.
-3
Suppose i - 30 = 4*q - 4, -27 = -3*i - 5*q. Solve -8 = -i*b + 12*b for b.
4
Let u(t) = 3*t + 6. Let z be u(10). Suppose -2*h - 3*b + 0 + 28 = 0, b - z = -4*h. Solve h = -p - p for p.
-4
Let h(a) be the second derivative of a**5/20 - 5*a**4/12 + a**3 - 3*a**2/2 - a. Suppose s + 13 - 17 = 0. Let d be h(s). Solve d*b + 5 = -0*b for b.
-1
Suppose -3*p - 12 = -4*r, p = 3*r - 4 - 5. Suppose -2*i = -3*i. Solve p = -i*j - 5*j + 5 for j.
1
Suppose 5*a + 105 = 2*a. Let i be (a/10)/(-7)*0. Suppose i = -5*h + 111 - 11. Solve h = 2*o + 2*o for o.
5
Let x = 86 + -82. Let o(y) = y**3 - 2*y**2 + 3*y - 1. Let h be o(2). Suppose -2*l - 4*b + b = -h, 2*b = -l + 2. Solve 5*t - l*t - x = 0 for t.
4
Let m be 100/(-5)*248/(-40). Solve m - 128 = y for y.
-4
Suppose 72 = 5*m + 7*m. Suppose -23 = -m*l + 7. Solve -4*k = -l*k for k.
0
Let y(u) = -u**2 - 24*u - 78. Let o be y(-4). Solve o*h - 9 = -h for h.
3
Let k(j) = j**2 - 2*j - 2. Let n be k(-2). Solve 0 = n*h - 7*h + 2 for h.
2
Let v be 2 - 4 - 1*-2. Suppose -39*h + 376 = -404. Solve 6*r - r + h = v for r.
-4
Suppose 10 = 2*x - 4*l, -22 = -4*x - 4*l - 2. Suppose x*v = -3*v - 2*v. Solve v = 3*i - 2*i for i.
0
Suppose -4821*c - 10 = -4822*c. Solve -c*q - 70 = -20 for q.
-5
Let v(d) = -d**2 - 5*d - 2. Let q be v(-4). Let x be (-8)/q + (0 - -4). Solve 5*n = -x*n for n.
0
Let w(a) = a**3 - 4*a**2 + 14*a + 2. Let l(c) = c**3 - 3*c**2 + 13*c + 3. Let m(d) = -6*l(d) + 5*w(d). Let f be m(-2). Solve -3*i + i = f for i.
-4
Suppose 3*d + 0 = 5*s - 15, 3*d = 2*s + 3. Suppose -s = -2*o - b, b - 5*b = o + 11. Suppose -5*x + o = 2*g - 3, 2*g = x + 8. Solve x*l = -l for l.
0
Let g be (-68)/6*9*3/(-18). Solve 3*k = g*k for k.
0
Suppose -3*d - 170 = -20. Let z = -30 - d. Solve 0*s - z = 4*s for s.
-5
Let d = 8 - 0. Suppose -378 = -5*z - 9*z. Suppose 5*h = z*h - 44. Solve 2*s + d = h for s.
-3
Let b = 411 + -407. Solve -n - 3 = -b*n for n.
1
Let k be 1/(-3) - 0 - 10/(-3). Let i(w) = 2*w**3 - 7*w**2 + 4*w - 1. Let o be i(k). Solve j + o = -j for j.
-1
Suppose 0*t - 4*t = -28. Suppose -t = -4*p + 37. Solve -31 = 5*u - p for u.
-4
Let z(q) = -2*q - 20. Let a be z(-1