lve -i*j = -23 - 7 for j.
2
Let k be -6*-2*4/12. Suppose -22 = -q - k. Solve -p = 5*p - q for p.
3
Let w(i) = -2*i + 18. Let t be w(0). Let u be (t/36)/((-2)/(-36)). Suppose 4*x - 8 = -0. Solve -u = x*y + y for y.
-3
Let r = 3989 - 3983. Solve -3*v + 10*v = -r*v for v.
0
Suppose -3*r - s + 10 = -2*s, -4 = -4*r - s. Solve -36*d + r*d = 68 for d.
-2
Suppose 2*l - 19 - 3 = 0. Let d = l - 3. Solve 3*s + 25 = d*s for s.
5
Let o = 173 - 171. Suppose 0 = -o*v + v + 5*i + 15, 5*i = -v - 5. Solve -6*q - 5 = -v*q for q.
-5
Suppose 104 = 2*y + 2*v, 130 - 414 = -5*y + 3*v. Let z = 47 - y. Let m(k) = k**2 + 11*k + 24. Let a be m(z). Solve 0 = -s - a - 3 for s.
-3
Let p = 24894 - 24861. Solve -21*z + 12 = -p*z for z.
-1
Suppose 2*x + 2*x = -0*x. Suppose 2*q + y = 7, -4*y + x = -4*q + 32. Solve q = -0*m + m for m.
5
Let c(u) = -u + 12. Let x be c(13). Let j be 32/(-8)*x*2. Let y be 4/j*-6*(0 - 1). Solve -q = -1 + y for q.
-2
Let v be (-259)/518*0/1. Solve 11*o + 15*o - 104 = v for o.
4
Let r be -7 + (-1*(16 - 2334) - 1*5). Solve -2302 + r = z for z.
4
Let s(i) = i**3 + 1. Let c(l) = -7*l**3 + 19*l**2 + 10*l - 10. Let z(a) = -c(a) - 5*s(a). Let j be z(10). Solve -j*m + 20 = -0*m for m.
4
Let k be 32/56 + (-1298)/(-7). Let r be (1 + 2)/(k/124). Solve r*q = 3*q + 3 for q.
-3
Let x(l) = l**3 - 8*l**2 + 7*l + 7. Let i be x(7). Suppose 2*o = 2*b + 4, 4*b = o + o. Let u be ((b - -1) + -8)/(1*-1). Solve 3*t - i = u for t.
4
Suppose -5*b + 9*b = -3*h + 18, 0 = -b + h + 1. Let v be (15/(-9))/(2/(-6)). Solve v*t = 2 + b for t.
1
Let j(u) = 2*u + 9. Let o be j(-3). Suppose -3*n - 8 = n, -2*i - 124 = -4*n. Let t = i - -67. Solve g - o = -t for g.
2
Suppose 0 = -1304*f + 1315*f. Suppose 5*n = -2*h + 5*h - 55, 0 = 2*h + 3*n - 5. Suppose 2*c - h = -0. Solve f = -2*o - 3*o - c for o.
-1
Let u(t) = -t**2 - 15*t - 11. Let p be u(-14). Suppose 5*s + y = 272, p*y = -s + y + 58. Suppose 3*f - s = -9. Solve 5*l = -0*l - f for l.
-3
Let z = 118 - 83. Let g = z - 31. Suppose -10 = p + g*s, -4*p - 7 = 3*s + 2*s. Solve -4*c + 10 = -p for c.
3
Let x = -163 + 165. Let s(p) be the third derivative of p**5/15 - p**4/24 - p**3/3 + 13*p**2. Let m be s(x). Solve 0 = 5*a - a + m for a.
-3
Suppose 5*c = k - 0*k - 3, -2*c - 5*k + 15 = 0. Suppose -22 - 90 = -28*z. Solve 8 = z*b - c for b.
2
Let i be 22/(-1)*(-189)/(-54). Let p = i - -83. Let m = p - 6. Solve m = s - 0*s + 3 for s.
-3
Let q be (63/35)/(4/80). Suppose -58*h + 70*h - q = 0. Solve -23 = h*y - 35 for y.
4
Let p(y) = -42*y - 1. Let g be p(-1). Let n(c) = -c**3 - 94*c**2 - 95*c - 185. Let d be n(-93). Solve g = 8*m + d for m.
5
Suppose 734 = -2*u - 0*u - 4*z, -u - 332 = -5*z. Let h = u + 359. Solve 0 = -8*t + 10*t - h for t.
1
Let k(z) = -z**3 - 18*z**2 + 205*z - 75. Let l be k(-26). Solve 0 = l*w + 71 - 56 for w.
-5
Let q be ((-68)/(-6) - 2)/(26/(-156)). Let w = q - -56. Solve w*y + 20 = 5*y for y.
4
Let h(j) = 12*j - 69. Let g be h(6). Suppose 2*v - 13 = -3*f, 2*f - 5*v = -g + 18. Solve r + f*r = 12 for r.
2
Suppose 27*l - 47*l = -920. Solve 18 + l = 16*w for w.
4
Suppose -3*s = -3*c, 0 = 5*c - 2*c - 5*s - 8. Let q be 2/c + 14/28. Let b = q - -2. Solve b*p - 15 = -p for p.
5
Let w(p) = p**3 + 30*p**2 + 53*p - 79. Let s be w(-28). Suppose 3*r - 15 = -0*r. Suppose 3*u = r*u - 8. Solve -s*m = u + 6 for m.
-2
Let w be 438/9 - (-6)/(-9). Suppose -2*r = -3*q + w + 20, 3*q + r - 74 = 0. Suppose -5*t = -c - q, -4*t + c = -9 - 11. Solve 0 = n + t + 1 for n.
-5
Let a(r) = -r**2 - 6*r + 11. Let d be a(-11). Let l = 41 + d. Let c(s) = s**3 + 2*s**2 - 6*s - 5. Let b be c(l). Solve b*h + 3 = -1 for h.
-1
Let l be (-90)/(-35) - 42/(-98). Solve 20*u - 85 = l*u for u.
5
Let z = 3993 + -3982. Solve -13*p - 67 - z = 0 for p.
-6
Let i be (-6)/(-10)*(-9 - -14). Let d be (-180)/i - (-2)/2 - 2. Let j be d/(-4) - (-7)/((-56)/2). Solve j = -3*f + 8*f for f.
3
Let s be 115/(-15) + (15 - 8) + 8/12. Solve -62*z - 225 - 333 = s for z.
-9
Let x(i) = 2. Let a(d) = 3*d + 3. Let m(u) = -a(u) + 4*x(u). Let f(l) = -l**3 + 3*l**2 + 5*l - 4. Let g be f(4). Let z be m(g). Solve w = z - 7 for w.
-2
Let l be (235/141)/(5/213). Solve a - l = -65 for a.
6
Let u be (-78)/13*(-4)/3 + (49 - -22). Solve u*c = -12 + 170 for c.
2
Suppose -3*q + 126 - 54 = 5*o, 4*q = -3*o + 52. Let r = 12 - -13. Solve 0 = r*g - 31*g + o for g.
2
Let q = 9582 - 9514. Solve -22*d + 2 = q for d.
-3
Let k(m) = 3*m**2 + 16*m - 5. Let u be k(-6). Suppose -2*l - u*l = 0. Solve 0 = -a - l*a - 1 for a.
-1
Let k(b) = -52*b + 416. Let t be k(7). Solve -29*i + 69 = -t*i for i.
-3
Suppose g - 4*k = -8, -5*g + 2*k = -2*g - 6. Let a = g + -5. Let f be (-78)/(-36) + a/6. Solve 2 = -f*b - 0 for b.
-1
Let c(h) = -h**2. Let n(g) = 36*g + 19. Let d(p) = 2*c(p) + n(p). Let y be d(18). Solve -o = 14 - y for o.
5
Let t(i) = i**2 - 10. Let s be (0 + -6)*14/21. Let o be t(s). Solve b + b = o for b.
3
Let k = -57 - -75. Let x be 171/k - (-6)/(-4). Solve b + 10 = x for b.
-2
Suppose -z - 2*r = -0*z - 158, -4*z - 2*r = -608. Suppose -26*l = -31*l + z. Solve -10*n + l = -4*n for n.
5
Let p(q) = -2*q**3 - 10*q**2 + 12*q. Let h = 248 + -254. Let l be p(h). Solve l*t - 35 = -7*t for t.
5
Let a = 60 + -59. Suppose 3*f + 7 - a = 0. Let c(m) = 4*m**2 + 6*m. Let n be c(f). Solve n*j = -j + 20 for j.
4
Suppose 0*z + 773 - 83 = 3*z. Solve 206 = 6*x + z for x.
-4
Suppose -2*b - 3*k - 1593 = 0, 21*b - 23*b = 5*k + 1591. Let d = 805 + b. Solve 9 - d = -f for f.
-2
Suppose -5*s + 265 - 215 = 0. Let c(g) = -g**3 + 10*g**2 + 57*g - 12. Let m be c(14). Solve s*l - 8 = m for l.
1
Let i(z) = -1 + 0*z**3 - 5*z**3 + 3*z + 5*z**3 - z**3 - z**2. Suppose 0 = 2*h - 2*p + 2 + 4, -4*p = 0. Let o be i(h). Solve -3*a - 23 = -o for a.
-5
Suppose -87 = 222*y - 223*y. Solve -11*r + y = 43 for r.
4
Suppose 0 = -72*f + 43*f + 52113. Solve -3*t = 1785 - f for t.
4
Let w(z) be the third derivative of -z**6/40 - z**5/20 + z**4/6 + 7*z**3/3 - 34*z**2. Let a be w(-3). Suppose -2*o + 64 - a = 0. Solve -d = -5*d + o for d.
1
Let x(j) = -109*j - 6538. Let c be x(-60). Solve -18*o = c - 20 for o.
1
Let y be (-1989)/(-102) - 1/2. Solve -83*w = -y*w - 192 for w.
3
Let k be (-2)/(-5) - (-2277)/45. Solve -k*j = -14*j for j.
0
Let h(d) = -d**2 + 11*d - 22. Let r be h(5). Suppose -r*y + 4*y + 12 = 0. Solve -y*o - 5 = 10 for o.
-5
Suppose -44*l + 38*l + 312 = 0. Solve l = j + 54 for j.
-2
Let r = -160 - -161. Let i be (96/15 - r) + (-14)/35. Solve -i*m = -m for m.
0
Let a(p) = 28*p - 78. Let j be a(3). Let g(q) = -q - 9. Let z be g(-3). Let u = -4 - z. Solve v + u*v = j for v.
2
Let q(b) be the third derivative of -b**5/60 + b**4/24 - 109*b**2. Suppose 5 = -0*d + 5*d. Let v be q(d). Solve v = -3*m + 7 - 19 for m.
-4
Suppose -3*g + 4*i + 34 = 0, -46 = -2*g + i - 35. Solve -3*t - 4 = g for t.
-2
Let j(f) = 179*f + 6307. Let z be j(-34). Solve z*i = 224*i for i.
0
Let h(j) = -4*j**2 - 36*j - 22. Let m be h(-8). Solve m + 2 = 4*k for k.
3
Suppose -52 = 3*r - 2*r. Suppose 2*g - a = -98, -g - 19*a = -15*a + 76. Let t = g - r. Solve 0 = -t*d - 2*d + 2 for d.
1
Let u = -117 - 139. Let y = u + 256. Solve 5 = x - y for x.
5
Let b(w) = -w**3 + 6*w**2 - 2*w - 12. Let t be b(5). Suppose 0 = 2*i - k + 1 - 16, 0 = t*i - k - 22. Solve 4*o - i*o = -15 for o.
5
Suppose -4*p = -102 + 18. Suppose 15*j + 72 = p*j. Solve 0*h - j = -4*h for h.
3
Suppose -k + 5*a + 8 = 2*a, -5*a - 10 = -k. Suppose -4*c - 3*g + 23 = 0, 3*c + 4*g - 6*g = -4. Let b be c/(-13) - (5 + 2274/(-78)). Solve -k*q = -b - 1 for q.
5
Suppose 0 = 7*o - 2*q - 40 - 175, 0 = -5*o + 2*q + 153. Solve -g = -o + 36 for g.
-5
Let d be (-20 + -7 + 28)*67. Solve 43 = 4*i + d for i.
-6
Let a be (-6 + 2 + -2)*(-84)/24. Solve -65 = -22*m - a for m.
2
Let j(s) be the first derivative of s**4/4 - 7*s**3/3 + 5*s**2/2 + 10*s + 1. Let x be 1/5 - 5*290/(-250). Let f be j(x). Solve k = -k + f for k.
2
Let u be 1/(4/158) + 32*48/(-3072). Solve 0 = -4*b + u - 27 for b.
3
Suppose 35*y + 2862 = 89*y. Solve -58 + y = -5*w for w.
1
Let v be (141 - 3)/6 - -6. Suppose -v*d = -35*d + 42. Solve d*o + 5 = -9 for o.
-2
Let y(b) = b**3 + b**2 + 4. Let l be y(0). Suppose -63 = -4*s + 5*t, 108*s - 5*t - 21 = 110*s. Solve -s*z = -8*z - l for z.
-4
Let k(o) = -o**2 - 13*o + 20. Let d be k(-9). Let r = -44 + d. Solve -15 = -7*z + r*z for z.
-3
Let x(g) = g**2 +