 - 6 = -v for u.
1
Let i(s) = 2*s + 6. Let j be i(-2). Suppose -d = -1 - 3. Let v(q) = q**3 - 11*q**2 + q - 8. Let g be v(11). Solve -g*l = -j*l - d for l.
4
Suppose -6*a + 16*a - 630 = 0. Solve -11 = 52*h - a for h.
1
Let z(u) = -35*u + 1660. Let i be z(47). Solve 10*t - 15 = i for t.
3
Suppose 233*k = 119*k + 109*k + 530. Solve 0 = k*y - 85*y + 42 for y.
-2
Let x(l) = l**2. Let o(u) = -u**3 + 11*u**2 - 21*u - 18. Let i(b) = -o(b) + x(b). Let j be i(6). Solve j = p + 2 + 3 for p.
-5
Let i be (9 + -1)/((-6)/(-12)). Suppose -i*b + 176 = 6*b. Solve -b = -2*s - 0*s for s.
4
Let r(z) = -z**2 - 20*z - 56. Let t be r(-14). Suppose 0 = -10*q + 22 + t. Solve i + 0 = q for i.
5
Suppose 3*h - 6*h = -117. Let p = h - 42. Let s(z) = -2*z**2 - 7*z. Let i be s(p). Solve 2 = 5*f - i for f.
1
Let n = 0 + 8. Suppose n*b - 10*b = -6. Let d(j) = -j**2 + 8*j + 2. Let p be d(8). Solve b*y + 3 = p*y for y.
-3
Suppose -55 = 8*j - 503. Solve -4 = -12*a + j for a.
5
Suppose -14 = -4*j + 2*s, 15 = -4*j - 5*s + 64. Let k be 1/4 - (-3)/(-12). Suppose k = 2*o + i - j, -i = -o + 13 - 4. Solve -9 = o*t - 4 for t.
-1
Let v(u) = 3*u**3 - 16*u**2 + 19*u - 20. Let z be v(5). Solve 17*o - z - 52 = 0 for o.
6
Suppose 11*r - 8 = -2*d + 10*r, 16 = -2*d - 5*r. Solve -24 = u - d*u for u.
4
Let z(y) = -40*y - 172. Let a be z(-17). Let d = a + -493. Solve -4*j + 7 = d for j.
-2
Suppose 8*d - 368 = -15*d. Suppose -59*w + 28*w + 93 = 0. Solve w*l + d - 1 = 0 for l.
-5
Let j = -283 + 292. Suppose -j*z + 6*z = -15. Suppose 5*p + 3*k = -0*k + 5, 4*p + 2*k - 4 = 0. Solve z*n + 6 = p for n.
-1
Suppose 5*x - 3*r = 8, -3*r + 8 = -r. Let q = 13 + -9. Suppose 0 = -3*a + x*y - 7*y, -a + q = -y. Solve -2*j - a = -10 for j.
4
Let o = -52 - -130. Suppose -10*m - o = 12. Let u be ((-12)/m)/(-4 + 42/9). Solve 0*g = -u*g + 6 for g.
3
Suppose -11*f = 128 + 268. Let d be -2 + ((-27)/(-2))/((-27)/f). Suppose d = 5*v - v + i, 5*i = 0. Solve -c = 3*c - v for c.
1
Let r(l) = -l**3 - 14*l**2 + 25*l - 19. Let h be r(-16). Suppose 0 = h*z - 94*z + 2. Solve z*q = q - 2 for q.
-2
Suppose 3*z + 412 - 487 = 0. Solve -z = -17*v + 60 for v.
5
Suppose -5*u = -h - 299, 0 = 2*u - 1226*h + 1225*h - 119. Solve 219*o + u = 204*o for o.
-4
Let y = 32588 + -32586. Solve -606 = y*m + 99*m for m.
-6
Let k = 2638 - 2620. Solve -15*g = -k*g + 15 for g.
5
Suppose 2 = o + 10. Let d = 1 - o. Suppose -i - 2*i = -2*q + 12, q - i - 6 = 0. Solve -5*h + d = -q for h.
3
Suppose -4*f = -3*y + 248, 0*f + 5*f = -4*y + 310. Suppose 210*u - 220*u = -y. Solve -h + 5 = u for h.
-3
Let k(z) = -2*z**2 - 55*z - 163. Let p be k(-6). Solve 104 = 9*l + p for l.
1
Let c be ((-60)/25)/(-3) + (-306)/(-5) + 4. Solve -u = 60 - c for u.
6
Let n(h) = -21*h**2 + 65*h**2 + 3*h**3 + 6 + 2*h**3 - 28*h**2 + 3*h. Let t be n(-3). Solve -10*a = -t*a - 12 for a.
3
Let y be ((-12)/10)/((-3)/(-15)*-2). Suppose -2*q + 0*l = y*l - 37, -72 = -4*q - 4*l. Suppose 5*v - 17 = 4*x, x + 4*v - v = q. Solve 2 + 4 = -x*p for p.
-3
Let s be 0/(-2 - 0/(-2)). Let m = 2152 + -1589. Let z = m + -555. Solve -2*t + s*t = z for t.
-4
Let w be (-352)/(-28)*28/(-6)*(-60)/80. Solve 26*c = -96 + w for c.
-2
Suppose 6*n - 43 = 431. Let p = -67 + n. Solve -t - 2*t = p for t.
-4
Suppose 4*u - 8 = 24. Suppose -28 = -4*f + u. Solve -3*b + 6 + f = 0 for b.
5
Suppose 0 = -2*n + 18*n - 220 - 4. Solve 31 + 53 = -n*u for u.
-6
Let t(z) = 127*z - 301. Let i be t(3). Solve -75*s + i*s = -15 for s.
-3
Suppose 66*f - 109*f + 860 = 129*f. Suppose -2*b - 4 = 5*l, 3*l = 7*l - 2*b - 4. Solve l*g + g = f for g.
5
Let r = 460 + -452. Suppose -r*v - 4*x = -4*v, -20 = 5*x. Solve -v*u + 2 = -10 for u.
3
Let y = -192 - -197. Suppose -y*i + 6*i - 76 = 0. Solve i*a + 1 = 77*a for a.
1
Let k be 19/(228/(-156)) + 15. Solve -31*n = -k*n + 116 for n.
-4
Suppose -4*g - 3*g = 315. Let b be (60/g)/(4/(-6)). Suppose 2*r - b = r. Solve r*n - 2 = -0 for n.
1
Let n(s) = -s - 3. Let m be n(-1). Let d be m/(0 + (-3)/6). Suppose -d = -3*l + l. Solve -l*z = -z + 4 for z.
-4
Let i = 12 + -7. Let f be (0 - 0)*(-19 + 18). Suppose -i*d = -5*p - f*d - 20, -5*d = -p - 20. Solve m + 3 = -p for m.
-3
Suppose -239 - 355 = -19*o - 100. Solve o*q - 174 = 55*q for q.
-6
Let p(k) = -6*k**2 - 13*k + 5. Let n(w) = 13*w**2 + 28*w - 9. Let m(y) = -3*n(y) - 7*p(y). Let z be m(-5). Solve -q - 37 = -z for q.
-5
Let z(p) = 4*p**2 + 8*p + 66. Let y be z(-5). Let f = -126 + y. Let l(g) = -g**2 + 4*g + 4. Let v be l(4). Solve f = v*r - 0 - 16 for r.
4
Let m = 160 + -163. Let u(y) = y**2 - 8*y - 31. Let i be u(m). Solve 0 = i*p - 7 + 3 for p.
2
Suppose -3*j = 63 - 21. Let d be (28/(-98))/(0 - (-2)/j). Suppose 0 = -2*g + 2*w + 10, 0 = d*g + 2*w + 3 + 7. Solve g*b + 12 = -3*b for b.
-4
Let f = -90 + 94. Suppose -f = 27*j - 4. Solve -2*q + 4*q = j for q.
0
Let i = -120 + 94. Let g be (-8)/(-52) + (-828)/i. Suppose 2*q - g = 8. Solve -3*h = -8*h + q for h.
4
Let w(p) = -p**3 - 3*p**2 - 2*p - 17. Let j be -3 - (-30)/9 - (-26)/(-6). Let m be w(j). Solve -11*k = -m*k + 16 for k.
-4
Let h = -79 + 76. Let j be -2 - (1 + (-3 - 12) + h). Solve 4*k = -k - j for k.
-3
Let b = -4 + 9. Suppose 0 = -2*w + 3*w - 2, -o - w - b = 0. Let y be (1 - 1)/(21/o). Solve y = 4*g + 2 + 10 for g.
-3
Let n(d) = -75*d - 12. Let a be n(-3). Solve 217*h - 20 = a*h for h.
5
Let v(k) = -3*k**2 + k + 45. Let o be v(9). Let j = o - -196. Solve -j = 2*c + 1 for c.
-4
Let l be 1*(30 + 0) + (693/(-21))/11. Let x be (-2 - 1) + 31*1. Solve x*p = l*p for p.
0
Suppose 2*n - 4*s - 32 = -2*s, 0 = -2*n + 5*s + 23. Solve -144 = 3*r - n*r for r.
9
Suppose -14*k - 33 = -33*k + 16*k. Solve 13*i = k*i + 4 for i.
2
Suppose 4*h - 8*a - 483 = -9*a, -2*a - 10 = 0. Let p = h + -118. Solve -20 + 0 = p*q for q.
-5
Suppose 10*i = -4*h + 102, 2*i - 195 = -5*h + 3*i. Solve -13*g - 25 = -h*g for g.
1
Suppose -21*b + 36*b + 17*b = 0. Let q(o) = -2*o - 2. Let j be q(-2). Let s(d) = 2*d**3 - 4*d**2 + 3*d - 2. Let y be s(j). Solve -y*x - x - 5 = b for x.
-1
Suppose -j = 34*c - 31*c - 488, 2*c - 323 = -j. Solve c + 20 = 37*b for b.
5
Let s be 7 - 6 - (4 - 6). Suppose -5*l + 4 = 3*b - 0, -s*b + 8 = l. Solve -b*o - 16 = -1 for o.
-5
Let x = 44 - 28. Suppose -7*y - y = x. Let p be 10/y*-1 + 3/(-1). Solve p*t + 0 - 10 = 0 for t.
5
Let x(t) = 80*t - 2966. Let v be x(39). Solve v - 259 = -15*l for l.
7
Let s be -2 - (-12 + -1 - -7). Let n = -1 - 68. Let q be (0 + -3)/(s + n/15). Solve z - q = -1 for z.
4
Let k be -8*(595/100 + -5)*(-2 + -3). Solve -k + 12 = -13*f for f.
2
Let l = 460 - 444. Suppose 0 = 3*b - 3 - 12. Suppose -5*f + 3*i + 24 = 2*i, i - 26 = -b*f. Solve f*n - n = -l for n.
-4
Suppose 0 = -p + 3, -p - 6 = -4*s + 15. Let i be s - (1/6 - (-44)/24). Solve -n + i*n = -15 for n.
-5
Let o(z) = -z**3 + 3*z**2 + 2*z - 3. Let m be o(3). Let k(r) = -5*r. Let f be k(-1). Let j = 53993 - 53989. Solve 0 = j*n + m + f for n.
-2
Suppose 4*n + 598 = 230. Let x = -94 - n. Let s be 0/(-1 + 1 - x). Solve s = -3*a + 19 - 4 for a.
5
Let s = -61 + 65. Suppose -3*t = 2*v - 20 - s, 5*t - 3*v = 40. Solve -4 = 4*h + t for h.
-3
Suppose u + 2*u - 47 = -b, b - 5*u = 55. Let c = b + -39. Suppose c = 5*m + x, 4*x - 12 = 7*x. Solve 4 = -m*o + 13 for o.
3
Let a(m) = -5*m + 28. Let s be a(5). Suppose -2*z + 0*z - 2*k = -10, -4*z + 18 = 2*k. Suppose -t - 4*r + 30 = 0, -r = 3*t - z*r - 30. Solve -s*x + t = 5 for x.
3
Let w = 12445 + -12428. Solve -w*c = -22*c + 30 for c.
6
Suppose -2*v - 2*b - 4 = -0*b, -3*v - 5*b - 10 = 0. Suppose -3*m - 5*p = 1693, -5*m + 3*m - 2*p - 1126 = 0. Let l = -558 - m. Solve 3 = l*w - v for w.
1
Let w(p) = 8*p**2 + 7*p - 5 - 17*p - p**3 + 2*p**3. Let a be w(-9). Suppose -b + a*b = 6*b. Solve -5*n - 7 - 13 = b for n.
-4
Let u(f) = -f**2 + 2*f + 2. Let y be (-5)/(-10)*-2 + -1. Let n be u(y). Let w be (0 + -2)*2 - n. Solve w*k = -k + 12 for k.
4
Suppose -4*j + 4*z = 2*z - 142, 182 = 5*j + 2*z. Let x be (-18)/j + 39/6. Solve 5*k = x*k - 5 for k.
5
Suppose -5*i + 440 = 3*s - 2*s, -4*i - s = -351. Let a = -84 + i. Suppose -b + a*n - 19 = 0, 3*b - 20 - 8 = -2*n. Solve 20 = -2*k + b*k for k.
5
Let i = -563 + 797. Suppose -3*d = i - 240. Solve 0 = d*x + 3*x - 10 for x.
2
Let r = -748 - -754. Let z(t) = t**3 - 6*t**2 + 2*t - 9. Let v be z(r). Solve -v = 20*y - 21*y for y.
3
Suppose -2*i - 33 = y + 4, y - 5*i + 72 = 0. Let k = y 