= s*d + 15 for d.
3
Suppose 4*n - 19 = -5*o + 3*n, -5*n = 4*o - 32. Let c be ((-6)/15 + 108/(-30))/(-2). Suppose -32*b = -37*b - 5*p - 20, c*b + 13 = -3*p. Solve l + o = b for l.
-2
Suppose -3*u = -1731 + 1365. Solve -125*v - 3 = -u*v for v.
-1
Let n(v) = 2*v - v**2 - 20*v - 18 + 4*v. Let k be n(-13). Let c be 24/30*k/(-2). Solve h = -c*h + 6 for h.
2
Let i(d) = d**3 + 13*d**2 - 4*d - 45. Let k be i(-13). Solve -k*s + 21 = 7 for s.
2
Suppose -36 = 2*p - 4*u, -5*p - u = u + 30. Let m be 3 - 8 - (p + 1). Solve m*b = -2*b - 4 for b.
-1
Let w = 49 - 48. Let y be (3/w)/((-2)/(-4) - -1). Suppose 0 = -l + y, 2*l - 1 = -2*v + 3*v. Solve 15 = 2*u + v*u for u.
3
Suppose 745 - 522 = 14*i - 1387. Solve 109*a = i*a - 12 for a.
2
Let l(t) = -7*t - 1. Let f(m) = -m + 1. Let d(k) = -6*f(k) + l(k). Let z be d(-7). Let g = 101 - 97. Solve q + z*q = g for q.
4
Let n(v) = -7*v + 111. Let z be n(14). Let a = z - -1. Solve 9*g = 2*g - a for g.
-2
Suppose 181 = -6*m + 12*m - 257. Solve 40*s + m = -47 for s.
-3
Let u(y) = 10*y - 15. Let p be u(2). Suppose 0 = -4*v - 5*n + 116, p*n - 28 = -v + 4*n. Solve 3*l = v - 33 for l.
-3
Suppose -17*t + 1538 + 2092 = -1861. Solve -371 = -12*x - t for x.
4
Let j(v) = -2*v**2 + 210*v - 3400. Let p be j(21). Solve p*c - 95*c = -231 for c.
-7
Suppose 3*x = 25 - 13. Suppose -2*l = 5*z - 5, -4*l + 6*l + 4*z - x = 0. Solve 3 + l = n for n.
3
Suppose 0 = -15*j + 2049 - 9174. Let n = j + 477. Solve n*x - 2 = x for x.
2
Suppose 1890 - 29544 - 14556 = -315*c. Solve 132*h = c*h for h.
0
Let z(b) = 104*b + 18. Let g be z(0). Solve 0 = 17*x - g*x + 3 for x.
3
Let c = 2137 - 2027. Solve -117*h = -c*h - 35 for h.
5
Let h be (((-12)/15)/(-1))/(4/(-30)). Let x = -2 + 12. Let u = h + x. Solve 0 = -u*t - 3 - 1 for t.
-1
Suppose 81 = 2*j + 3*i, -4*j + i + 2*i = -189. Solve -51*v - 6 = -j*v for v.
-1
Suppose 2*v = -5*l + 5, 0 = -3*l - 25 + 40. Let i be (v/8*4)/((-5)/14). Solve 16 = i*q - 26 for q.
3
Suppose -202*t - 3*z = -207*t + 170, -5*t + 150 = z. Solve 24*c + t = -41 for c.
-3
Suppose 7*f + 6*f = -10*f - 10*f. Solve 16*k - 24*k = f for k.
0
Let c(v) = -v**3 + 8*v**2 + 5*v + 10. Let i be c(9). Let k(b) = b**2 + 25*b - 26. Let d be k(i). Solve d = -6*p + p - 5 for p.
-1
Suppose -64 = -4*i - 4. Let x be 0*(4 - 55/i). Suppose -4*a - 2*r = x, -a - 12 = -5*a + r. Solve -12 = -k - a*k for k.
4
Suppose 0 = -6*b + 4*b + 254. Suppose -3*a = -8 - b. Let i be a*(-2 - 21/(-9)). Solve 2*g + g - i = 0 for g.
5
Suppose 21 = 5*q - 19. Suppose -19*i = -12*i - 14. Suppose 3*c - 2*c + 26 = 5*h, -q = -i*h - 2*c. Solve 11 = h*y - 4 for y.
3
Suppose -19*t - 66*t + 90864 = -13*t. Solve 19*i - t = -1243 for i.
1
Suppose -2*o = 4*r + 10 - 38, 31 = 2*o + 3*r. Let f be 1/((-28)/o)*-7. Solve -f*g - 4*g = -27 for g.
3
Let i(d) = d**2 + 161*d + 5900. Let p be i(-105). Let o = -21 + 11. Let h = -5 - o. Solve -h*f = -f - p for f.
5
Let z(o) = -97 + 38 + 81 + 5*o + 225 + 43*o. Let g be z(-5). Solve g + 21 = -7*s for s.
-4
Let q(i) = 4*i**3 + i**2 - 2*i. Let t be q(1). Suppose -6*k = t*a - 8*k - 70, -4*k + 4 = 0. Solve 0 = -3*x - 3*x + a for x.
4
Suppose -112 = -5*c + j - 2*j, -4*c - 5*j = -98. Suppose 11*f + 0*f = c. Solve 14 = -f*s + 20 for s.
3
Suppose 4*p + 3*w = 3*p + 69, 2*w = 8. Solve -38*j + 57 = -p for j.
3
Let x(u) = -u**3 - 7*u**2 + 5. Let o be x(-7). Let k = 85343 - 85340. Solve o*t - k = 4*t for t.
3
Let l(c) = c**2 + c. Let s be l(-3). Suppose 28 = r + s*r. Solve r*d + d = -20 for d.
-4
Let c be 14/4 - ((-15)/10 + 2). Suppose 0 = -3*b + 3*d + 15, c*d - 1 = -4. Solve -b = 3*w + 11 for w.
-5
Let a be (-309 - (7 - 3))/(3 + 111/(-36)). Solve 0 = -5*s - 3726 + a for s.
6
Let t = -53 - -52. Let r be t/((-4)/6) - 37/74. Suppose 0 = 4*a - 3*a - 4. Solve -r = a*x + 7 for x.
-2
Let c be (1 - 69/21)/((220/35)/(-22)). Solve a + c = 14 for a.
6
Suppose -5*j - 4*k = -120 - 31, -5*j + 4*k = -119. Solve 21*x - j = 57 for x.
4
Suppose -5*x - a = -25, -x - 21 + 26 = -2*a. Suppose 0 = -x*c + 13 - 3. Solve c = 2*w + 10 for w.
-4
Let a(h) = -5*h - 3. Let b be a(-1). Let v = 8 - 8. Suppose -4*j + 8*j - 2*d - 28 = v, -d - 4 = 0. Solve b*z = j + 5 for z.
5
Suppose -9*i - 5*x = -11*i + 19, 5*i = -4*x + 64. Let m(t) = t**2 + 5*t + 6. Let b be m(-5). Let a = b - 6. Solve a*s + i = -4*s for s.
-3
Let g be (-1 + (-5)/3)/((-14)/42). Suppose -3*r - r - g = 0. Let a be 2 + (3 + r - (-10 - -9)). Solve 0*t = -a*t - 8 for t.
-2
Let d = -42 + 62. Let v(f) = -f**3 + 8*f**2 - 8*f + 7. Let l be v(7). Suppose -5*n + d = -l. Solve -15 = -n*k + k for k.
5
Suppose 13*n = 40049 - 35551. Solve 0 = -t - 344 + n for t.
2
Let b be ((-11)/352*-36)/(3/72). Solve b*p - 33*p = 6 for p.
-1
Let f(l) = -3*l + 20. Let y(a) = 41*a + 6. Let b be y(0). Let x be f(b). Solve g + 1 = x*g for g.
1
Suppose -22*o + 20*o + 1034 = 2*u, -3*u = 4*o - 1555. Let j = -507 + u. Solve -d = -j*d + d for d.
0
Let w = 321 + -309. Suppose 17*o = 7*o + w*o. Solve -13*z + 10*z + 15 = o for z.
5
Suppose 8*b + 5*v = 9*b - 158, 737 = 4*b + v. Suppose -b*l - 26 = -196*l. Solve -2*z - l = 2 for z.
-2
Let t be (-28)/(-6) + (-2)/3. Suppose 0 = 23*a - 19*a - 24. Suppose 0 = -2*r + a*r + 4*r. Solve 2*d - t*d + 2 = r for d.
1
Let k(p) = 25*p**2 - 6*p - 6. Let u be k(-1). Let s(n) = n**3 - 12*n - 10. Let b be s(4). Solve u = -b*f + f for f.
-5
Let y be 1/((-5)/(-4)) - 10/(-50). Suppose y = -7*f + 36. Solve -15 - 10 = f*u for u.
-5
Suppose -6*d + 68 = 4*z - 2*d, -3*z - d = -43. Suppose -z*i + 38 = -1. Solve i*j + 3 = 6*j for j.
1
Let o be (-35)/(-7)*(-6)/(-10). Suppose 0 = -w - 4*c + c + 11, -o*w - 4*c + 18 = 0. Suppose -3*v - f = -4*v + 3, -2*f + 3 = v. Solve -w*l + 11 = v for l.
4
Suppose 144 = -18*r + 1745 + 955. Solve 0 = -6*x + r - 184 for x.
-7
Suppose k + 5*n = -17, -2*n + 0*n - 108 = 5*k. Let p be 3/((-6)/(-4) + 30/k). Suppose 0 = 3*l - p + 10. Solve u + u - l = 0 for u.
2
Suppose 1 = a - 1. Let y(s) = 111*s**2 + 361*s + 98. Let z be y(-3). Solve a*f = -z + 12 for f.
-1
Let c be 0/2*((-64)/224 - (-15)/(-70)). Solve -30*l + c*l = -270 for l.
9
Let p = 69 - 67. Suppose k - d + 3 = 1, 2*k - 4*d = -14. Suppose -k*f + 14 + 31 = 0. Solve p*m - f = -m for m.
5
Suppose -2*f - f + 53 = -d, 41 = 3*f + 5*d. Let r(o) = 3*o**2 + 17*o + 10. Let y be r(-5). Suppose -26*t - 11 + 193 = y. Solve f - t = -2*x for x.
-5
Let l = 5836 + -5815. Solve 22*c = l*c - 7 for c.
-7
Let p(y) = -y - 2. Let q be p(-6). Suppose k = -q*k. Let j(u) = u**3 - 40*u + 67. Let h be j(-7). Solve l - h = -k for l.
4
Let v be (-2)/4*(-63 + 63). Suppose 4*n = -4*h + 6*n + 24, v = -2*h + 2*n + 14. Solve h*q = -2 + 7 for q.
1
Let r(u) = u**2 - 50*u + 505. Let p be r(36). Solve -5*h - p = 19 for h.
-4
Let g be ((-1)/(-1))/((-6)/18). Let h be (g - (-2)/2) + 2. Suppose -20 = -2*l + 5*u, 572*l - 577*l - u + 23 = 0. Solve h = l*m - 9*m - 8 for m.
-2
Let o(i) = -14*i + 32. Let t be o(2). Suppose 4*y + 5*q - 27 = 0, 2*q + t = 3*y + 1. Solve -2*p + 7 - y = 0 for p.
2
Suppose -6*x + 622 = -968. Let q = 270 - x. Solve 7*n - 12*n + q = 0 for n.
1
Let y = 18 - 6. Suppose -1053*p - 704 = -1075*p. Let x = p - y. Solve i + x = -3*i for i.
-5
Let i be 0 - (0 - 6) - 14. Let l = 19 - i. Solve 0 = l*n - 23*n - 12 for n.
3
Let p(i) = 14*i - 19. Let s be p(-5). Let o = s - -94. Solve 8 = 7*f - o*f for f.
4
Suppose -45*s - 223 = -898. Solve 6*x - s*x = -27 for x.
3
Suppose 0*x + 2156 = 11*x - 2783. Solve 454*j - x*j - 30 = 0 for j.
6
Let a(w) = -w**3 + 11*w**2 - 9*w - 10. Let r = -133 - -227. Let i = -84 + r. Let u be a(i). Solve j + 2*j = u for j.
0
Let t = -463 + -152. Let r = 618 + t. Solve r*a - 6*a + 9 = 0 for a.
3
Suppose -2 = y + 2*a, -4*y + 7 = 5*a + 6. Suppose 0 = 8*p - p - 7. Solve p - y = r for r.
-3
Let a = -1310 - -1304. Let s be (0/(2 - 3))/1. Let v = s - a. Solve v = -2*k - k for k.
-2
Let k = -191 - -156. Let a be (k + 0)*((-54)/42 - -1). Solve -j - 5 = -a for j.
5
Let a be (3/4)/(33/352). Let n = 14 - 6. Let g be (-1 - -1)*a/(n + -16). Solve 5*m - 11 - 4 = g for m.
3
Suppose 16 = -5*b + 9*b. Suppose -2*y = -4*z + 20, 21 = 3*y + b*z + 1. Let s = -64 - -68. Solve c - s = -y*c for c.
4
Let c = 27 + -23. Suppose 5*y + 20 = 3*m, 0 = -3*m + m - c*y - 16. Suppose 0 = 2*r + 3*u + 1, 4*r + m*u + 3*u - 7 = 0. Solve r*q + 14 = 2 for q.
-3
Let g = -796 - -1483. Let s = -683 + g. Solve 17*a - 13*a - s = 0 f