
Suppose 5 = 4*s + 1. Let x be 26/(-377) - 26162/(-58). Let v = -442 + x. Solve -5*j = s + v for j.
-2
Suppose -3*w - 3*s + 22 = w, -4*s = -3*w + 4. Suppose -2*o - o = -k - 10, -30 = -w*o - 2*k. Solve 26 = o*l + 6 for l.
4
Let y = -484 + 487. Suppose -4*c = 2*p - 4, -9 = -y*p + 3*c + 6. Solve -7*o = -8*o + p for o.
4
Suppose 0 = -14*p + 15*p - 23. Let d be 276/p*2/8. Solve 16 - 10 = d*x for x.
2
Suppose 3*p - 34 = 32. Let a = -153 + 133. Let v be (-75)/a*(-8)/(-6). Solve v*l = -p + 12 for l.
-2
Let a = -567 - -111. Let k = -131 - a. Suppose 13*o + 0*o - k = 0. Solve -3*h + o = 2*h for h.
5
Let d be -3*((0 - 8) + (-17)/(-3)). Solve -70 = 21*n - d*n for n.
-5
Suppose 3*n + 16 = 166. Let r = -45 + n. Suppose -r*v + 29 = -3*h, -2*v - 5*h - 10 = -3. Solve 0 = -p + 3*p + v for p.
-2
Let i = 35 - 33. Suppose -4*p = -4*t - 2*p - 6, i*t = 4*p - 18. Let y be (-8)/2*t - -4. Solve s + 3 = -y for s.
-3
Let t be -3 + -19 - (-3)/(-1). Suppose -5*k = -3*g - 129, 6*k = 2*k + 5*g + 98. Let b = t + k. Solve z = -5 + b for z.
-3
Let r = 5514 - 5206. Solve -r*h = -294*h for h.
0
Suppose 0 = -65*v - 6*v + 180 + 34397. Solve 4*w + 499 = v for w.
-3
Let u = 24302 + -23840. Solve -459 = 3*n - u for n.
1
Suppose 4*n - 35*a - 88 = -39*a, 4*n - 92 = -5*a. Solve 0 = -n*z - 65 + 11 for z.
-3
Let m be -3 + (-1 - -5 - 6). Let a be ((-2)/m)/(-1) - (-165)/(-25). Let k(d) = d**2 + 8*d + 7. Let o be k(a). Solve -6*w + 2*w = o for w.
0
Let s = -9832 + 9837. Solve -s*b + 30 = b for b.
5
Let q(i) = -i - 20. Let x be q(0). Let a = x - -24. Solve -23 + 3 = a*k for k.
-5
Let c(i) = 6*i**2 - 11*i - 24. Let d be c(-2). Solve d + 36 = 58*s for s.
1
Let f be 10 - 5/((-15)/(-18)). Suppose 11*p = 5*p + 12. Suppose -5*v = 5*d, d - 8 + p = -3*v. Solve -2*r = -v*r - f for r.
-4
Suppose 0 = -5*p - 2*c + 28, p - 3*c + 16 = 2*p. Suppose 4*k + p - 12 = 0. Solve 3*b = b - k for b.
-1
Let v = 5 + 11. Let i = -154 + 159. Suppose -i = -5*o + 4*o + u, 0 = -5*o + 2*u + v. Solve -8 = -o*c + 2 for c.
5
Let x(a) = 6*a + 1. Let p be x(6). Let h = p - 32. Suppose h*w = v + 3, 3*v + 2*w - 10 = -v. Solve v*l - l = 0 for l.
0
Let t(q) = q + 32. Let u(k) = -k - 33. Let c(h) = 6*t(h) + 5*u(h). Let x be (42/(-8))/((-1)/(-4)). Let r be c(x). Solve r + 2 = 2*o for o.
4
Let y = 42 - 37. Let x = -346 - -348. Suppose x*j = 2, -7*c + y*c + j = -7. Solve -8 = m - c for m.
-4
Suppose 6*j = 3*j + 21. Suppose 4*i + o = -1 + 2, 3*i - 5*o = 18. Let n be (-4)/(2/2*-2). Solve -j = -n*c - i for c.
3
Let k be 2/2 - -22 - (1937 - 1926). Solve -k*l = l + 77*l for l.
0
Suppose -235*b + 495 = -190*b. Let a be (-74)/(-5) - 4/(-20). Solve -a = -4*v - b for v.
1
Suppose d = 5*c + 26, -150 = -3*d - c + 4*c. Solve -d*t = -6*t for t.
0
Let n be (0 - 4)*153/(-2). Let w be n/42 + 4/(-14). Solve w*c = 5*c - 10 for c.
-5
Let g(z) = -z**2 - 17*z - 31. Let h be g(-8). Suppose 6 = -7*b + h. Suppose -a + 1 = -4*d + 3*d, b*a = 2*d + 11. Solve a*q + 7 = -5 for q.
-4
Let i(z) = -3*z**2 + z - 37. Let v(y) = -2*y**2 - 36. Let u(x) = -3*i(x) + 4*v(x). Let j be u(5). Let c = j + 29. Solve 6*d - 4*d - c = 0 for d.
3
Let z = 160 + -157. Let j be (10/6)/(60/72). Suppose -2*v + 3 + 5 = j*l, 0 = 2*l - 2. Solve -v = -z*y + 4*y for y.
-3
Let b = 3892 + -3866. Solve b*y + 19 = -111 for y.
-5
Let b(r) = -137*r + 1137. Let k be b(8). Solve 8*x - k = 7 for x.
6
Suppose -1141*z + 926*z + 2924 = -57061. Solve 12 = -z*k + 273*k for k.
-2
Let n(y) = -4*y + 23. Let s be ((-5)/(-4))/(6/24). Let o be n(s). Solve 5 + 7 = -o*b for b.
-4
Let b be 10*((-26702)/(-260) - 24). Solve 0 = -785*d + b*d + 12 for d.
-6
Let y = 37 + -19. Suppose 0 = y*g - 11*g - 7. Let a be 9 - (-4 + g - -5). Solve 3*s - a = -1 for s.
2
Let g(a) = -a**3 - 3*a**2 + 11*a + 13. Let p be g(-5). Solve -p*h = -14*h - 30 for h.
-5
Let t = 20 + -13. Suppose -y - x = -18 + 12, -4*y - 3*x = -22. Solve -y*c + t*c + 15 = 0 for c.
-5
Let v(w) = -w**2 + 64*w - 444. Let m be v(40). Solve j + m - 524 = 0 for j.
8
Suppose 5*m - 35 = -7*w + 4*w, 3*m - 7 = w. Suppose -3*d - q = m, -5*d - 5*q = -2*d + 20. Let c = 271489 + -271487. Solve -c*z = -d*z + 2 for z.
-1
Suppose 10*f - 1677 = -12*f - 107*f. Solve 0 = -22*k + 35 - f for k.
1
Suppose 0 = r + 3 - 3. Let q = 42 - r. Let z be (-1 - q/(-12)) + (-1)/2. Solve 0*b = z*b + 8 for b.
-4
Suppose 26*u - 30*u + 2*d = -30, 4*u - 3*d = 27. Solve -u*c = 636 - 672 for c.
4
Let i(j) = -460*j + 26 + j**2 - 24*j**2 + 438*j - j**3. Let m be i(-22). Suppose -m = -3*u + 49. Solve 0*c - u = 5*c for c.
-5
Let x(z) = z**2 + 2*z + 2. Let a be x(-7). Suppose -a = -5*v + 63. Solve -6*b = -11*b + v for b.
4
Let w be (-10)/(-3)*3/2. Suppose -w*i - 4*n = 123 + 126, -3*i = -5*n + 142. Let l = i + 50. Solve -3*f - l = -2*f for f.
-1
Let o = 138 - 111. Suppose 0 = -21*b + 12*b + o. Solve 3*z = 12 - b for z.
3
Suppose 0 = -121*y + 9658 - 7117. Solve y*b - 42 = 7*b for b.
3
Let t(n) = -n**2 - 29*n - 100. Suppose 3*d = 7*b - 10*b - 72, 4*b = -5*d - 95. Let v be t(b). Solve v = -5*x + 27 - 7 for x.
4
Suppose -3*t + 21 = 3*v, -5*v = -4*t + 5*t - 15. Suppose t*f + 3*l - 22 = 0, 4*f + 4 - 21 = -3*l. Solve 4*a + 1 = f for a.
1
Let p(y) = -y**2 - 5*y - 15. Let h be p(-7). Let r = -25 - h. Suppose k + 0*g = -g + r, -5*k + 3*g - 12 = 0. Solve -2*o - 6 + 2 = k for o.
-2
Let n = -186 - -126. Let l be ((-6)/5)/(24/n). Let w(m) = m**2 - 2*m + 3. Let f be w(2). Solve 0 = f*z + 3 + l for z.
-2
Suppose 0 = l - 5*f - 45, -l - 212*f + 214*f = -27. Solve 47 = -8*a + l for a.
-4
Let o be (-203)/(-14) - ((-4)/(-12))/(10/(-15)). Solve 2*b = 5 - o for b.
-5
Suppose -v + 5*x - 19 = 0, 4*x + 17 = 13. Let g be (-25)/30 - 20/v. Solve g = -58*l + 56*l + 10 for l.
5
Suppose 2 = 24*h - 23*h. Suppose 0 = 21*g - 16*g - 15. Solve -g*a + h*a - 3 = 0 for a.
-3
Let l = 399 + -395. Suppose -l*z = -y - 64, -4*z + 8*z - 2*y = 60. Solve -u = -z + 22 for u.
-5
Let x(p) = -12*p + 13. Let u(z) = 11*z - 12. Let t(g) = 4*u(g) + 3*x(g). Let l = 5 - 3. Let n be t(l). Solve -v - 3 = -n for v.
4
Let p = 1783 - 1658. Solve -48 = -p*a + 137*a for a.
-4
Let n(t) = -t**3 + 9*t**2 + t - 7. Let f be n(9). Let s be (4/20)/(f/50). Solve -s*i + 5 = -10*i for i.
-1
Let l be 2/4 + 56/16. Suppose 19 = -4*a + 19. Suppose -b = l*h - 24, -2*h + a*h - 6 = -4*b. Solve d + 0*d + h = 0 for d.
-5
Let m = -3532 - -3532. Solve -234*q + 235*q - 2 = m for q.
2
Let z = 1076 - 1067. Let i = -5 + 7. Suppose 10*m - i = z*m. Solve -5*y + 3 = -m for y.
1
Let m be ((-318)/(-10))/((-12)/(-40)). Suppose -10*g = -m + 6. Solve -2 = -2*k - g for k.
-4
Suppose 0 = -4*g - w + 238 + 363, g - 3*w - 160 = 0. Solve 197 = -23*c + g for c.
-2
Let v(z) = -2*z - 11. Let i be v(-3). Let l be (-279)/(-15) + 3/i. Solve l = -10*r - 32 for r.
-5
Let p(y) = -3*y + 6. Let k be p(-6). Suppose 4*s + 0*s = k. Let z be ((-1)/(-7))/((-125)/(-5250)). Solve 4*i = z*i - s for i.
3
Let n = -2491 - -2491. Solve 0 = -n*l + 3*l + 18 for l.
-6
Suppose -4*p - 3*z + 102 = 0, p + 15*z - 10*z = 34. Solve -p + 26 = 2*x for x.
1
Let i(n) = -n**3 + 12*n**2 + 26*n + 28. Let o be i(14). Let p = -409 - -411. Solve -p*b - b = o for b.
0
Let r be 4600/48 + (-3 - 57/(-18)). Solve 24*q = 12*q + r for q.
8
Let i be 3/99 - 66196/(-4422). Let q = 13 + -2. Solve q = f + i for f.
-4
Let m = 54 - 54. Suppose m = -39*c + 31*c. Solve 2*a + c = 2 for a.
1
Suppose 2*b = -d + 3, 2*b - 8 = -4*d + 8*d. Suppose 0*p - 4*p = -x + 11, 0 = -b*p - 2. Suppose -24 = -x*i + 3*i. Solve i*w - 2*w = -16 for w.
-4
Let m = 1042 - 1921. Let y be (m/(-12) - -1) + 3/(-12). Let q = y + -71. Solve -2 + q = b for b.
1
Suppose -262 = -3*b - t, -4*t + 234 = 4*b - 110. Solve -16*l + b = -38*l for l.
-4
Suppose -60*n = -3583 - 4817. Solve -27*c = -7*c + n for c.
-7
Let b = -7308 + 7316. Solve -5 = 7*j - b*j for j.
5
Let x be -195*(-4 - (-35 - -46)*(-1)/3). Solve -49 = 8*p - x for p.
2
Let j(t) = t**3 - 4*t**2 + 4*t - 4. Let z be j(4). Suppose z = -4*h + 5*h. Let x be 72/21 + 0 + (-132)/(-231). Solve a - x*a = h for a.
-4
Let a be -20*(-8 - -4 - 5). Let n = a + -173. Solve -n*t = -3*t for t.
0
Let f = 14343 + -14165. Solve -171*o + f*o + 7 = 0 for o.
-1
Let p(s) = 3*s**3 + 25*s**2 - 22*s + 18. Let i be p(-9). Solve -70*q + 80 = -i*q for q.
5
Let i = 5692 + -5673. Solve i*d + 74 = -59 for d.
-7
Let a be (-15)/(-6)*46 - 3. Let y be (-12)/(-14)*a/24. Let z be (-3