 - 11 + r = 0 for j.
-3
Let j be -3 + (42/12)/(2/4). Suppose 2*b = j*v - 12, -b - 4*b + v + 15 = 0. Suppose -b*l = 2*z + 12, -z - 5*l = -0*z + 15. Solve i + z*i = -2 for i.
-2
Let t(r) = r**2 + 3*r + 3. Let n be t(-2). Let c = n - 1. Let o(w) = 223*w + 18515. Let b be o(-83). Solve f - 3*f - b = c for f.
-3
Let p(r) = r**3 + 4*r**2 + r + 30. Let m be p(-5). Let v(z) = 25*z**2 + m*z**3 - z**3 + 12*z + 16 + 4*z**3 - 5*z**3. Let l be v(13). Solve s - l*s = -8 for s.
4
Suppose -2*n + 18 = 3*p, 111*p = 116*p - 10. Solve -n*l + 9*l = 24 for l.
8
Let m = -175 + 257. Let b = m + -81. Solve 0 = -5*z - 6 + b for z.
-1
Let k = -76 - -79. Suppose -5*l - 5 = k*m - 8, 0 = m + l - 3. Solve z = -z - m for z.
-3
Let w be 22 + 63/(-21) + 30. Solve -14*j - w = -7*j for j.
-7
Let k(l) = -l**3 + 6*l**2 - l - 12. Let b be k(5). Suppose s + 5*g = -2*s + 20, 2*g - b = -4*s. Solve 10*r - 6*r + 8 = s for r.
-2
Let i = -5109 - -5109. Suppose 3*b - 7 = -4. Let a = -13 - -18. Solve i = a*z + 9 + b for z.
-2
Let y(c) = -c**3 + 7*c**2 + 378*c - 1935. Let m be y(5). Suppose -h - h = -4. Suppose 2*z = -h*z + 4. Solve m*r = 6*r - z for r.
1
Suppose 233*b - 235*b - m + 159 = 0, -5*b + m + 394 = 0. Solve -j = b - 75 for j.
-4
Suppose -12*x + 14*x = 36*x - 578. Solve -18*n - 73 - x = 0 for n.
-5
Let j = -3 - -8. Suppose 3*l = f + 30, f = -4*l + 5*f + 48. Suppose 178 - 16 = l*z. Solve j*n - z = 7 for n.
5
Let d = 19028 - 18939. Solve -40 = 43*a + d for a.
-3
Let u = -1360 + 1364. Solve -25 = u*w - 13 for w.
-3
Suppose 17*l - 12016 = 9*l - 8*l. Solve 0 = -11*u + l - 674 for u.
7
Let l be 700/170 + -4 + 9/(612/1624). Solve 33*r = l*r + 18 for r.
2
Let c = -302 + 304. Suppose -c*x = 6*x - 72. Solve 0 = 12*b - x*b for b.
0
Suppose 3*w + z = 74, -4*w + 0*z + 101 = -z. Solve 24*o = 19*o - w for o.
-5
Suppose 5*z = -5*k + 85, z = 4*k - 0*k - 8. Suppose n - z = -0*n - 4*l, 0 = -4*n + 4*l + 48. Solve 0 = -8*g + n*g for g.
0
Let k = 24 - 58. Let d be -9 - (-10 - -3) - k/2. Solve -6*y + d = -3*y for y.
5
Let m be (-11)/(22/8)*-19. Let r = 87 - m. Suppose 0 = -p + 3*i - r, 3*p - i - 6 = 1. Solve 14 = -p*n + 2 for n.
-3
Let l(z) = -z**3 - 93*z**2 - 10*z - 871. Let o be l(-93). Solve 24*w + o*w + 249 = 0 for w.
-3
Let g(d) = d - 4. Let v be g(4). Suppose v - 6 = -x. Let c(j) = 566*j**2 - 2*j + 2. Let n be c(0). Solve r + x = -n*r for r.
-2
Suppose -6601 - 4945 = -72*w + 26*w. Solve w - 321 = -14*f for f.
5
Suppose 249*w = 51*w + 10296. Solve -18*t = -56 - w for t.
6
Let k be ((-5)/(-15) - (-3)/(-9))/(-2). Solve k = -7*d - 11*d - 18 for d.
-1
Let v be 3890/12 - 55/330. Let y = v - 321. Solve -6 = y*w - 18 for w.
4
Let v(t) = 3*t**2 - 14*t + 16. Suppose 8*y + 4*y = 7*y. Suppose 3*a - 4*u - 35 = -y*a, 5*a - 5*u = 50. Let r be v(a). Solve -4*z + 1 - r = 0 for z.
-5
Let a be (17/(85/(-8)))/(-2*1/5). Solve -a*s = -78 + 54 for s.
6
Suppose -20*z = 11*z + 2480. Let b = z - -83. Solve -4*k + 5*k = b*k for k.
0
Suppose 0 = -b + 5*d - 23, 2*b - 21 = 4*b - 5*d. Suppose -b*l + 4*j + 20 = 0, -4*j - 3 - 5 = l. Suppose -l*s = 3 - 7. Solve -2*g = -g + s for g.
-1
Let r(k) = k**3 + 11*k**2 + 23*k + 4. Let l be 2/2*-11 + (-6 - -9). Let s be r(l). Solve -4*t = -8 - s for t.
5
Suppose 215 = -5*u - 115. Let q be ((-8)/12)/((-4)/(-366)). Let p = q - u. Solve -2*s = -p*s + 15 for s.
5
Let r = -370 + 548. Suppose -r*x + 158*x = -60. Solve x*b + 0*b = b for b.
0
Let o be ((-507)/26)/(6/(-4)). Suppose 17 + 11 = l. Solve -l = -5*h - o for h.
3
Suppose 0 = -0*o + 2*o + 4*h - 28, -o + h = 1. Suppose -j - o*j = -2*y + 21, -4*y + 36 = -4*j. Solve -5*g = -g + y for g.
-2
Suppose 30*c + 1225 = 25*c. Let j = -230 - c. Solve j = -12*m + 7*m for m.
-3
Let g be -2 - (17 + -13 - (1 + 0)). Let l(f) = 0*f**2 - f + 0*f**2 - 2 + 9*f**2 + f**3 - 4*f**2. Let y be l(g). Solve -d = -y*d - 6 for d.
-3
Let o(w) = -w + 17. Let r be o(14). Suppose r*q - 40 = -5*q. Suppose q*s + 5*d = 25, 4 = -3*s + d + 3. Solve y = s + 3 for y.
4
Let i(g) = 2*g**2 + 20*g - 10. Let u be i(-11). Let v be 5/u*4*6/2. Suppose 0 = v*n + 15, -14 = -4*q - n - 5. Solve -q*w = -0*w - 6 for w.
2
Suppose 0 = -5*x + 5*c + 315, 3*x - 284*c + 283*c = 171. Solve 0 = 171*m - 177*m + x for m.
9
Let m = -14 + 19. Suppose d - 3*d = -4, m*d = -4*g + 170. Suppose 0 = -9*l + 5*l + g. Solve -3*p + l = -p for p.
5
Let z(f) = -5*f. Let c be z(-2). Let h be 3 + -2 + (76 - (0 + 1)). Let m = h + -71. Solve m*k - c*k = -10 for k.
2
Let k = -202 - -240. Let s = k + -31. Solve -s*c + c + 30 = 0 for c.
5
Let g(i) = 67*i**2 - 262*i - 17. Let c be g(4). Solve -33 = c*n - 54 for n.
3
Suppose 0 = 253*q - 254*q - 10. Let g be q/(-15)*9*5/15. Solve -g*u + 22 = 9*u for u.
2
Suppose 0 = -2*q - 67 - 127. Let z = -97 - q. Let y be (-119)/(-6) + 2/12. Solve z*r = 4*r + y for r.
-5
Let v be (4 - 34/6)/((-2)/6). Suppose -4*c + 3 + 3 = -2*r, v = 5*r. Solve 0*h = c*h + 4 for h.
-2
Let s(y) = 28*y + 30. Let t(d) = -d**2 - 139*d - 151. Let n(m) = -11*s(m) - 2*t(m). Let c be n(16). Solve -8*l + c*l = 0 for l.
0
Let z be 6/((4 - 4) + 1). Suppose -9*c = -16*c + 28. Suppose -c*g = -z*g. Solve -2*b + 2 = -g for b.
1
Suppose -37*a + 23*a = 117*a - 16899. Solve 98*k + 124 = a*k for k.
4
Suppose -29 = 6*d - 35. Let c(n) = 17*n - 6. Let o be c(d). Suppose 5*b - o = x - 4*x, x = b + 1. Solve -2*v - x*v = -12 for v.
3
Suppose 9*c - 7617 = -238*c - 454. Solve 7*z - c = 6 for z.
5
Let o = 397 + -280. Suppose 27*g - 441 = -o. Solve 2*i + 10 - g = 0 for i.
1
Let n = 37 + -36. Let t be (-22)/n*(-10 + 8). Suppose -3*b + 2*z + 33 = 0, -3*b - b - 3*z = -t. Solve -5 = -4*y + b for y.
4
Suppose -j + 4*s = -2*j + 12, -4*j - s + 123 = 0. Suppose -j*f = -21*f - 55. Solve -z + 20 = -f*z for z.
-5
Let r(a) = 27*a + 66. Let y be r(-11). Let j = -229 - y. Solve -j = 5*z + 3 for z.
-1
Let z = -4511 - -4557. Solve 10 = 9*h + z for h.
-4
Suppose -j + 43*o = 44*o - 7, 0 = j - 3*o + 21. Solve 9*h + 33 - 24 = j for h.
-1
Let q(z) = -2*z**3 - 8*z**2 + 8*z - 6. Let r be q(-5). Suppose j + 7*x - 12*x - 27 = 0, r*j = -3*x - 7. Solve 7*d - 25 = j*d for d.
5
Let h = -77 - -77. Let p = -29 + 25. Let q(i) = -2*i - 5. Let g be q(p). Solve h = g*n - 1 - 2 for n.
1
Let t be (-2 + 4 - -1)/1. Suppose 0 = -t*l - 2*l. Let q be l/((-1)/(-3)*-3). Solve q*p + 5 = -5*p for p.
-1
Let g = 4807 - 4789. Solve -17*w = g*w - 35 for w.
1
Let k(n) = -13*n - 1. Let v be k(-1). Let z = -77831 + 77841. Solve z*i = v*i for i.
0
Let d = -76 + 148. Suppose 4*b - 4*f = 56, 3*b + 0*f + 3*f = d. Suppose h + 4*a = -b, 2*h - a = a + 12. Solve -2*l + l + h = 0 for l.
1
Let r = 449 + -438. Let u be ((-11)/2)/(r/2 - 6). Solve 2*t - u = -1 for t.
5
Suppose 3*v + 124 = -v. Let y be -1*1 + (-272)/(-8). Let o = v + y. Solve o*q + 1 = q for q.
-1
Suppose -5*s - 1 = 2*p, s = -5*p - 0 + 32. Suppose 4*y - y = 0. Suppose v - 5*v + 4 = y. Solve -3*j + p = v for j.
2
Let k(l) = l**3 - 7*l**2 - 7*l - 3. Let a be k(8). Let d = -332 - -336. Solve -d + a = h for h.
1
Let x = 74 - 75. Let a be ((-2)/(-5))/(-1*x/10). Let l(d) = -d**3 + 5*d**2 - 2*d - 2. Let b be l(a). Solve 0 = t + 2 - b for t.
4
Suppose 97 = -9*t - 164. Let y = 39 + t. Solve 0 = y*b - 6*b - 20 for b.
5
Let s(w) = -w**3 + 83*w**2 + 169*w + 118. Let a be s(85). Solve 36 = -3*o - a*o for o.
-1
Let b = 99 + -215. Let v = 116 + b. Solve -5*c + 20 + 0 = v for c.
4
Let n be -53 + 61 + 1 + -805. Let w = n - -807. Solve -9 = 5*q + w for q.
-4
Let f(t) = t**2 + 5*t - 76. Let p be f(-14). Let k be 710/p - 4/(20/1). Solve -4*o = 3*o + k for o.
-2
Suppose -35*h + 167 + 153 = 5*h. Solve -46*c + h + 268 = 0 for c.
6
Let p = 3973 - 3966. Let w = 6 + -11. Let k(i) = i**3 + 7*i**2 + 5*i. Let r be k(w). Solve -2*s + r = -p*s for s.
-5
Let i = -1668 - -1696. Let w(o) = o**3 + 10*o**2 - 2*o + 1. Let a be w(-10). Suppose -7*l + a*l - i = 0. Solve 20 = l*v + 3*v for v.
4
Let p(v) = -2*v**2 + 21*v + 18. Let o be p(11). Solve 25 = -o*y - 24 for y.
-7
Let i(y) = 18*y**2 + 4*y + 57. Let a be i(-3). Solve a*h + 333 = 244*h for h.
9
Let k be (156/40 + -4 + (-103661)/690)*-3. Solve 0 = k*o - 480*o - 232 for o.
-8
Let g = -12 - -14. Suppose -22 = -3*b + g*b + 5*s, 0 = -b + 3*s + 16. Solve -3 = -2*p - b for p.
-2
Suppose 3*g + 93 = 4*a, 144*g = 4*a + 139*g - 91. Solve 0 = -d - 7*d + a for d.
3
Suppose 5*b + 2*o = 91, 22 = 2*b - 645*o + 641*o. Solve -b*z + 3*z