= -10*j - 12 for j.
-7
Suppose -2*x + 0*p + 5*p = 10, -4*x - 4*p + 36 = 0. Suppose 10 = j - 3*u, -x*u - 18 = -3*j + 4. Solve -v = -j*v + 15 for v.
5
Let z = 1075 - 1052. Solve 68*j = z*j for j.
0
Let w = -9 - -15. Suppose 16 = -5*m + w*m. Suppose -m = -4*r - 8. Solve r + 2 = 4*o for o.
1
Let x = -4 + 10. Suppose t = -2*b - 31, 2*t = 3*b + 7 + 57. Let u be (-40)/x*b/15. Solve -2*o = -4*o + u for o.
4
Let h = -7253 + 7584. Solve -323 = 8*s - h for s.
1
Let q = -33 - -41. Let o be (0 - 1) + (-2 - (3 - 11)). Suppose -o = -5*m, -m - q = -3*p - 0*m. Solve p*f - 5*f = -4 for f.
2
Let h be (6/9)/((-3)/(-9)). Suppose -2*u + 77 = -5*y + 29, 4*y - 66 = -h*u. Suppose v + 5*p + 0*p + 16 = 0, -p + 4 = v. Solve 5*d + v - u = 0 for d.
4
Let o = 343 - 340. Suppose -115 = -20*x - o*x. Solve 8*v = x*v + 12 for v.
4
Suppose 1159*f = 1211*f - 10764. Solve f - 173 = 17*k for k.
2
Let k = -2783 + 2808. Solve -51 = k*g - 8*g for g.
-3
Let r = -836 + 849. Solve -r*z = 6 - 58 for z.
4
Suppose -14*k + 62*k - 399 = 177. Solve -39 = -k*w - 87 for w.
-4
Let v be (-12 + 10 + 2)/(-1). Solve 4*m - 7*m - 18 = v for m.
-6
Let x(q) = 4*q**2 - 4*q + 12. Let w(g) = -9*g**2 + 10*g - 25. Let b(c) = 3*w(c) + 7*x(c). Let f be b(-4). Solve -5*j - 3 = f for j.
-4
Let z be (-4)/(28/(-231))*1/(-24)*-8. Solve 10*s = z*s + 1 for s.
-1
Let k be (-4)/(-16) + (1 - 20/16). Suppose 27*z - 9*z = k. Solve 0 = b + 5 - z for b.
-5
Let m(f) = f**2 + 11*f + 17. Let w be m(-12). Let r = w + -30. Let o be 6/30 + 2 + r/5. Solve 0 = -4*z + o*z - 6 for z.
-3
Suppose -66 = -4*b + 5*r + 764, -412 = -2*b + 4*r. Let m = 215 - b. Solve 2*p = m*p - 12 for p.
4
Let b = -4355 + 4357. Solve -123 = -b*g - 125 for g.
-1
Suppose 0 = -2*f - 3*d - 700, -409 = 4*f - 2*d + 1007. Let r = f - -356. Solve -r - 9 = -4*u for u.
3
Let g(r) = -8*r + 48. Let t be g(4). Suppose -10*u - 36 = -t*u. Solve 2*a - u = -a for a.
2
Suppose 0 = -4*l - 28, 3*i + 3*l - 305 = 91. Solve 34*n - 133 = i for n.
8
Suppose 2*b = -450 + 906 - 442. Solve b*q - 39 = -18 for q.
3
Let g = -32 + 34. Let i(b) = 2 - 19*b + 21 + b - b**g. Let h be i(-19). Solve h = -4*k - 0*k for k.
-1
Let f(d) = 3*d - 24. Let r be f(25). Let t be (r/(-153))/((-40)/(-42) + -1). Solve -2*a + 11 - t = 0 for a.
2
Suppose 5 = -4*d + 25. Suppose -4*z = s - 2*s - 5, -25 = -d*s - 5*z. Let o = -4 + 4. Solve -s*y - 3 + 9 = o for y.
2
Let p(m) = m**2 - 5*m + 2. Let b be p(6). Let y be 0/(0 - (2 + 0))*33/132. Suppose y = -5*w + 13 - b. Solve 0 = -4*n - 15 - w for n.
-4
Suppose 330 - 305 = -5*s, 5*s + 37 = 4*a. Solve a*i = 16*i + 52 for i.
-4
Suppose -2581 + 12037 = -12*x. Let w = x + 806. Solve -3*f = 3*f + w for f.
-3
Suppose -4*g + 2*h = -0*g - 114, 3*g = -4*h + 69. Let d be ((-50)/(-8))/(1*(-4)/16). Let b = g + d. Solve b*i - 15 + 7 = 0 for i.
4
Let u(c) = -c**3 + 8*c**2 + 4*c + 2. Let g = 38 - 30. Let b be u(g). Let o = b - 33. Solve 2*h = h - o for h.
-1
Suppose 3*q - 12 = 0, -19*r + 2*q + 61 = -18*r. Solve -2*t - r = -61 for t.
-4
Suppose 2*m - 30 = -18. Let u be 40/(-6)*m/(-8). Suppose u*x - 48 = -18. Solve h = -2*h + x for h.
2
Suppose 3*h + 75 = 6*h. Suppose -4*o + h - 9 = 0. Suppose o*x - 19 = -a - 0*a, 20 = 5*x. Solve 5*p = -17 - a for p.
-4
Suppose -10 = 5*g + 3*i, -4*i = 7*g - 3*g + 8. Let h be (-2 + -22)*(1 + g). Suppose 10*c - h = 26. Solve c*f + 3 + 17 = 0 for f.
-4
Let x be (247552/24)/(-8)*(-15)/10. Solve 0 = -4*w - x + 1910 for w.
-6
Suppose 117*w - 4 = 581. Let g be (2/(-3))/(8/(-72)). Solve w*n + g = -9 for n.
-3
Let n(i) = i - 51. Let r be n(15). Let x be ((2 + -1)/((-2)/r))/1. Let u = x + -15. Solve 0 = -u*v + 9 - 6 for v.
1
Suppose 0 = d + 2*q + 204, -10*q = -d - 13*q - 202. Let u = d + 215. Solve 0 = u*k - 3*k for k.
0
Suppose 0 = -2*k - 5 + 13. Suppose 1 + 7 = k*n. Suppose 5*a + 15 = 5*p, p - 8 = -5. Solve n*s + 1 - 9 = a for s.
4
Suppose 0 = -16*w + 528 - 496. Solve -w*d - d = -5*d for d.
0
Let g be (-724)/18 - (-5)/(-45)*-2. Let y be g/(-28) + 8/14. Solve s + y = -0 for s.
-2
Let a(j) = -2*j**3 - 29*j**2 + 45*j - 33. Let l be a(-16). Solve -l*w + 27 = -3 for w.
2
Suppose 2*o - 229 = 3*f, 3*o - 5*o = -2*f - 230. Let y = o + -114. Solve 3*m + 15 = -y*m for m.
-3
Suppose 0 = 12*p - 3*p - 18. Suppose -n - 4*l = p*n - 12, n + 3*l = -1. Suppose -n = -25*i + 21*i. Solve i*r = -2*r - 4 for r.
-1
Let x(s) = s**3 + 9*s**2 - 2*s - 9. Let n be x(-9). Suppose n*g + 0*g - 18 = 0. Let k be (-10 + 2 - -3)*-1. Solve g*w = k*w + 12 for w.
-4
Suppose x + 4*d = -278 + 307, 2*d - 34 = -2*x. Solve 18*l = -8*l + x*l for l.
0
Suppose -488*n = -484*n + 4. Let v be ((-2)/(-4))/(n/(-8)). Solve 6*w - v*w - 2 = 0 for w.
1
Let c(r) = r**3 - 8*r**2 + 9*r - 10. Let u be c(7). Let i(t) = 3*t**2 - 21*t - 880. Let w be i(-14). Solve w*p = -2*p + u for p.
1
Let y be (-1112)/(-28) - 16/(-56). Suppose 0 = 5*h - 4*x + 22 - 57, 3*x + y = 5*h. Suppose 3*u + 5*f = -9, 2*u + 2*f + 3*f = -h. Solve 0*m = u*m for m.
0
Let k(t) = -t**2 + 11*t + 30. Let r be k(13). Suppose r*a - 58 = 6. Solve a*q = 18*q + 2 for q.
-1
Suppose 3*m = -v + 23, -m - 44*v + 26 = -40*v. Solve 0 = n - m*n + 4*n for n.
0
Let z(f) = -3*f - 46. Suppose 8*q = 4*q. Let l be z(q). Let x = -46 - l. Solve 0 = s - x*s + 4 for s.
-4
Suppose -180 = -0*r - 5*r - 4*r. Solve -r*p = 127 - 7 for p.
-6
Let r(k) = -2*k - 78. Let b be r(-49). Solve 34 - 94 = -b*d for d.
3
Let p be (5 - (-4 + 5))*(-9)/(-2). Let i be ((-8)/p)/((-2)/9). Suppose 48 = 5*t - i*t. Solve 5*l = l + t for l.
4
Let s = -15262 - -15286. Solve 4*y = -s + 16 for y.
-2
Let d = 14 + -10. Let t(o) = 9*o - 13*o**2 + 5 + 29*o**3 + 3*o - 28*o**3. Let f be t(12). Solve s + f = d for s.
-1
Suppose -3*w + 37 = 5*f, -26*w = -31*w - f + 47. Solve -w*m + 8*m + 4 = 0 for m.
4
Suppose 3*n + 2403 = 5*p, -2*p = 4*n - 3*n - 970. Let y = p + -473. Solve y*d = d for d.
0
Suppose 6*v - 1 = 23. Suppose -v*l - 26 = -2*y, 0 = y + 3*l - 7 + 19. Suppose 2*d - z - y = 0, -3*z + 1 + 17 = 3*d. Solve d*s = -s + 20 for s.
5
Let s(h) = -3*h**3 + 13*h**2 - 5*h + 7. Let q be s(4). Let j be q - (1 + (-12)/(-6)). Suppose 0 = -4*v - 2*d + 24, 3*d = 4*v + d - 8. Solve j = v*o - 3*o for o.
0
Let m = -1111 + 1136. Solve m = 15*f - 20*f for f.
-5
Let s = -9448 - -9454. Solve -24*i = s*i + 30 for i.
-1
Let y be (-2)/(36/246)*(-6)/2. Let i = y - 39. Solve i*q = 6*q + 4 for q.
-1
Let n(o) = -3*o**3 + 5*o**2 - 3*o - 4. Let i be n(4). Let h be ((i/2)/2)/((-18)/9). Solve 4 = -5*t - h for t.
-4
Suppose 4*r - 260 = -2*u, -6*r + 204 = -4*u + 710. Solve 212*v = 228*v - u for v.
8
Let f(u) be the first derivative of -25*u**2/2 - 146*u - 9. Let o be f(-6). Solve -4 + 20 = o*q for q.
4
Let a(o) be the first derivative of -o**4/4 + 10*o**3/3 + 2*o - 468. Suppose 10 = -3*t + 4*t. Let l be a(t). Solve l*i - 3 + 7 = 0 for i.
-2
Let k be 1/(1/10*-5)*-2. Solve -k*a - 6 = -a for a.
-2
Let b = 326 + -227. Let u = b + -95. Let k(r) = r + 5. Let l be k(-3). Solve -3*j = -l - u for j.
2
Let r = 11401 + -11386. Solve 0 = -r*s - 292 + 157 for s.
-9
Let z(s) = -3*s - 2. Let v be z(-2). Suppose 180 = 5*a + 2*d - 255, 3*a - 3*d - 240 = 0. Let q = a + -85. Solve t = -v - q for t.
-4
Let r = 11453 - 11412. Solve 6 = -r*c - 35 for c.
-1
Suppose -2*l + 16 = 3*u, -8*l + 9*l + 4*u = 18. Suppose 4 = -4*h - 8, l*w = 5*h + 25. Suppose 0 = b - 5, d + 4*b - w = 16. Solve 0 = -5*q + d + 4 for q.
1
Suppose -68 = -h + 2*s - 20, -6*h = 3*s - 198. Solve -h = 30*j - 36*j for j.
6
Let b(z) = -z**2 + 11*z + 476. Let p be b(-17). Solve p = 12*t - 0*t for t.
0
Suppose -2*f + 5*f = 4*z - 2, -5*z = 3*f - 16. Suppose -5*i + 140 = -5*x, -2*i = 2*i + f*x - 106. Solve 30*k = i*k for k.
0
Let k(y) = y**2 - 4*y - 9. Let u be k(7). Solve -34 = u*m + 14 for m.
-4
Let h(o) be the third derivative of -o**6/120 - 2*o**5/15 - o**4/8 - o**3/2 + 14*o**2 - 3*o. Let b be h(-8). Solve 22*w = b*w + 3 for w.
3
Let l be 5*(-2)/(-40) - 6/24. Suppose l = -5*m - 10, 3*m = r - 12 + 6. Solve r = -6*k + k - 5 for k.
-1
Let i be -188 - (-14 + 5)/3. Let m = i + 189. Solve -m*b + 26 = 10 for b.
4
Let n = 180 + -172. Suppose -n*b + 9*b = 3. Solve -1 + b = -i for i.
-2
Let p = 42 - 36. Let r = 4 + 0. Let l(a) = 3*a - 7. Let o be l(r). Solve n = p*n - o for n.
1
Let k be -2*((-14)/4 - -2). Suppose -q = -1, 0*q - 19 = -4*y + q. Suppose y*r - 31 = -21. Solve -r = -k*z + 1 for z.
1
Let m(t) = -7*t