8)/(-12)*(17 - (3 - 4)). Let x(v) = v - 12. Let w be x(b). Suppose w = -3*s - 2*s + 25. Solve -s*o + 1 = 16 for o.
-3
Let u = 1295 - 1288. Solve -u + 17 = -2*w for w.
-5
Let s be ((-1)/3)/((-4)/(-72)*-3). Suppose 6 = -3*r, s*g - 4*r = r + 34. Let k be 4/g - (-28)/6. Solve -2*c + k = -c for c.
5
Let z be 3/6 + (-12)/(336/(-2842)) - -5. Solve -z*v = -109*v - 6 for v.
-3
Let p = -3486 + 3486. Solve p = -x + 134 - 139 for x.
-5
Let u be (200/(-60))/(4/18). Let y be (0 - u) + 11/(22/(-10)). Solve -15 = 5*t + y for t.
-5
Let c(h) = -h**3 - 87*h**2 - 3*h - 252. Let t be c(-87). Solve 12*y + 51 + t = 0 for y.
-5
Suppose 229*c - 40 = -5*x + 224*c, 4*x - 27 = -3*c. Solve x*i = -2 + 17 for i.
5
Suppose 14 = -15563*b + 15570*b. Solve f = 4*f + b*f for f.
0
Suppose 640 = -9*r + 3790. Let k = -330 + r. Solve 17*i = k*i - 6 for i.
2
Suppose 0*v - v = 2*k - 9, 5*k - 16 = 4*v. Solve -k*t = 21*t - 25 for t.
1
Suppose 4*t - 4*b = 40, -7*b = -5*b + 12. Solve 9*k = t*k + 25 for k.
5
Let u(y) = -20*y + 102. Suppose 0 = 4*m + 4*c - 24 - 16, 25 = 3*m + 2*c. Let p be u(m). Solve 4 + p = 6*r for r.
1
Suppose -3*h + 4 = h. Suppose 0 = v + 4*o, -13*v + 4*o = -10*v. Suppose v = -5*t - h + 11. Solve 0 = t*p - 0 - 4 for p.
2
Suppose 4*y + 974 = 1114. Solve -160*h + 165*h = -y for h.
-7
Let l(p) = -p**3 + 37*p**2 + 3*p - 79. Let z be l(37). Solve -z + 60 = -4*d for d.
-7
Let z(j) = -2*j - 66. Let y be z(0). Let l = y - -42. Let g = -9 - l. Solve g = -2*x - x for x.
-5
Let s(y) = -4*y - 5. Let m be s(-2). Suppose m = -3*c + 4*c. Suppose -160 = -2*d - 6*d. Solve -c*v + d = v for v.
5
Let y be (5 - 28) + -2 + 6 + 0. Let m be (-44)/(-418) - (-2)/y. Suppose -4*l - 84 + 88 = m. Solve 3*u - l = 5 for u.
2
Suppose -4*w + r + 49 = 0, -12*w = -9*w - 2*r - 43. Solve 3*o - w - 4 = 0 for o.
5
Suppose -4*r - 104*t + 195 = -99*t, 5*t + 125 = 4*r. Solve 28 = 2*p + r for p.
-6
Let k be (2/(-32)*-4 - -1)*4. Let q be ((-10)/6)/(k/(-6)). Solve q*d = 5*d - 9 for d.
3
Let t = 153 + -121. Suppose -g = g - w + 9, -g = 5*w + t. Let b(m) = -m**2 - 7*m + 4. Let i be b(g). Solve i*s - 2*s + 8 = 0 for s.
-4
Suppose -2343 - 3341 = -29*w. Suppose -159*j + 152*j = -w. Solve i + 6*i + j = 0 for i.
-4
Let w = -462 + 277. Let r = -180 - w. Solve r + 10 = 3*d for d.
5
Let o = 1263 + -907. Solve -2*j - 354 = -o for j.
1
Suppose 19*y - 44 = 108. Let t = 465 + -458. Solve y*p - t*p = 0 for p.
0
Let o(d) = d**2 - 5*d + 2. Let x be o(5). Suppose 4*b + q = -q + 18, x*q = -b + 12. Solve 0 = b*u - u for u.
0
Let c = -2882 - -2885. Solve 2 = f + c for f.
-1
Let x(d) = -d**3 + 37*d**2 - 7*d + 270. Let u be x(37). Solve -u = a - 15 for a.
4
Let u = -3126 + 3151. Solve 0 = -445*v + 450*v + u for v.
-5
Suppose 27*z + 11 - 173 = 0. Suppose -7 = -3*f - 2*m, -5*f + z*m = m - 45. Solve -f*g = 7 - 17 for g.
2
Let n(w) = -84*w - 478. Let t be n(-7). Solve -t = -2*o - 108 for o.
1
Let j(q) = q + 12. Let p be j(-10). Suppose -4*g - 2 = -m + 2, -12 = -p*g - 3*m. Suppose 5*d + 9*s - 5*s - 8 = 0, -4*d + 4 = 4*s. Solve g = z + d*z for z.
0
Let h be -40 + 57 + (-1 - 3*-1). Suppose -y + 3*f = -h, -2*f = 2*y - f - 52. Solve 23*b - 10 = y*b for b.
-5
Let s = 255 - 250. Suppose -4*z + 18 = 2*w, 2*z - s*w - 2 = -23. Solve -3*p = z*p - 25 for p.
5
Suppose -5*a = 2*b - 435, -a = a - 5*b - 203. Let v = 36 - a. Let w = v - -56. Solve 0*i = -w*i + 9 for i.
3
Let f(r) = -r**2 - 3*r + 1. Let s be f(-3). Suppose -5*b = -c + 2, 3*b + b + 10 = 5*c. Let n be (-1 + 1)/(b + 1). Solve -a + 0 - s = n for a.
-1
Let x(k) = 198*k + 601. Let j be x(-3). Solve -j*i - 26 = -33 for i.
1
Let f(u) = u**2 - 7*u + 2. Let d be f(7). Suppose 15*b - d = 14*b. Solve b*j + 1 = j for j.
-1
Let a be (-9 + 870/40)*4. Solve -49 = -c - a for c.
-2
Suppose u = -5 + 9. Suppose s = 2*l - 7, 2 = -3*l + u*s - 0*s. Suppose -1 = 2*o - 5*c, 3*o - o = -2*c + l. Solve o*t = 4 - 2 for t.
1
Let f be (-2)/(-30)*943 + 5*(-4)/(-150). Solve 0 = -56*p + f*p - 42 for p.
6
Suppose -78*x + 83 = -117 - 34. Solve x*f = 220 - 235 for f.
-5
Let v(u) = u**3 + 3*u**2 - 2*u + 2. Let r be v(1). Suppose -r*w = y - 112 - 53, -2*w + 83 = y. Solve f = -w + 44 for f.
3
Let t(s) = -9*s - 14. Let d be t(-2). Suppose 14 = d*y + 6. Solve -y*w - 1 = -3*w for w.
1
Let i = 1563 + -1490. Solve i - 61 = 3*q for q.
4
Suppose y + 113 = v, -72*v + 71*v + 149 = -5*y. Solve 0 = -23*w + 35 - v for w.
-3
Suppose p - 2 = -3*b + 11, -b = 1. Suppose 6 - p = 2*o. Let h = -2 - o. Solve -3*y = -4*y - h for y.
-3
Let j(b) = -10*b - 275. Let p be j(-31). Solve 37*w - p*w = -2 for w.
-1
Let a(s) = -5*s**2 - 5*s - 4. Let f be a(-2). Let r be 2*2*(f + (-649)/(-44)). Solve 6 = m + r for m.
3
Let z = -37 + 42. Suppose -168 = -z*n + 2*n. Let h = n + -52. Solve -h*w - 1 = -3*w for w.
-1
Suppose 0 = -18*t - 2*t + 2600. Suppose 97*c - 123*c = -t. Solve -4*f + 3*f - c = 0 for f.
-5
Let p be ((-897)/92)/((-3)/4). Suppose -5*u + p = 5*m + 8, -m - 14 = -4*u. Solve u*x = -x - 4 for x.
-1
Let h(f) = 6*f**2 + 25*f + 5. Let m be h(2). Solve 70*l - m*l = 36 for l.
-4
Let i(s) = -334*s - 525. Let l be i(-4). Solve 13*p - 889 = -l for p.
6
Let c(j) = j**2 - 8*j + 19. Let o = -872 + 877. Let f be c(o). Solve -4*p = f - 0 for p.
-1
Let t = -21112 - -21121. Solve t*i - 3550 = -3505 for i.
5
Suppose 3*b - 41 = -t, 23 = b - 89*t + 87*t. Let m = -11 - -15. Solve w - b = m*w for w.
-5
Let k be (52/(-6) + 7)/((-11)/66). Solve 0 = 13*d - k + 36 for d.
-2
Suppose 0 = p - 41*v + 39*v - 7, 0 = -p + 3*v. Solve 0 = 21*z + p*z + 42 for z.
-1
Let n(r) = -191*r**2 + 24*r - 41. Let y be n(2). Let s = 757 + y. Solve 5*z - 145 + 135 = s for z.
2
Let a be (1/(1/(-76)))/(-1). Suppose 103*i + 1841 + 4902 = -1085. Let v = a + i. Solve 3*y = -v*y for y.
0
Let g(o) = -44*o + 1389. Let z be g(31). Solve -z*c + 33*c = 16 for c.
2
Suppose 32*w - 87 = 75 + 62. Solve 41 = w*x + 20 for x.
3
Suppose -15*b = -40*b. Suppose 4*l - 3*a - 349 = 0, -4*l = -6*l + 4*a + 162. Suppose -8*r + l - 27 = 0. Solve 0 = -b*g - 2*g + r for g.
4
Suppose 4*u = -3*c + 84, 3*c - 30*u + 25*u = 84. Solve -8 = -c*p + 244 for p.
9
Let n be ((3 - 7) + 5)*-10. Let r(u) = -u - 8. Let q be r(n). Suppose a = -q*h + 16, -34 = a - 5*a + 2*h. Solve p = -p - a for p.
-5
Let p(k) = 149*k - 2306. Let x be p(16). Solve 0 = -9*v - 60 + x for v.
2
Let n(y) = -y**3 + 15*y**2 - 9*y - 62. Let v be n(14). Suppose -4*x = v, -14*s + 5*x = -19*s + 20. Solve 15 = s*j - 3 for j.
3
Suppose 4*a - 18 = 5*r, 4*r - r - 2 = -4*a. Suppose 2*z - 10 = a*p, 5*z - 29*p = -32*p + 49. Solve z*g - 5*g = -12 for g.
-4
Suppose 35*i - 3042 = 9*i. Solve 2*q + i - 115 = 0 for q.
-1
Let k = -3805 - -3815. Solve -k*t - 3 = 17 for t.
-2
Let q be (-1409)/(-7) + 36/(-126). Let y = -201 + q. Solve y = d + 1 + 4 for d.
-5
Suppose p - 24 = -5*u + 1, 2*p = -2*u + 10. Solve -71*b + 66*b - 20 = p for b.
-4
Suppose 5*r + 4*n = 14, -3*n + 14 + 4 = 5*r. Suppose 0 = 3*b + v - 2*v + 2, 0 = -3*b - 3*v + r. Solve b = -5*l + 17 + 8 for l.
5
Suppose 7*k = -0*k. Suppose -28*x + 30*x - 2 = -h, 5*h = -4*x + 10. Solve -m - 4 + k = x for m.
-4
Let d(y) = y + 10. Let j be d(-6). Suppose j*f + 21 = 11*f. Solve -f*g - 2*g = -25 for g.
5
Let m = 8056 + -8036. Solve 19*d - m*d - 6 = 0 for d.
-6
Let o be (-4)/24 - 3260/24. Let m be (o/(-40) - 3)*80. Solve 5*q + m = -3*q for q.
-4
Let m be 12 + (-1764)/154 + 208/22. Suppose -2*x = 4*g + x - 6, -4*g - 5*x + m = 0. Solve -a + 2 - 6 = g for a.
-4
Let r be (-6 - -2)/((-8)/8) - -38. Suppose -17*o + r = -3*o. Solve -3 = -o*v + 12 for v.
5
Suppose 0 = w - 4*d - 6, -2*w - 4*d - 7 = 5. Let h be w/(-15)*-6*-10. Suppose 5*s - 23 = -h. Solve 0 = -s*i - i for i.
0
Let j be -1 + -23*(-30)/138. Let s = -7 - -21. Solve j*t + s = -3*t for t.
-2
Let k = 84 - -131. Let z = k + -209. Solve 0 = z*l - l + 5 for l.
-1
Suppose u - 1 - 1 = 0. Let f(a) = a**3 - 11*a**2 + 18*a + 2. Let k be f(9). Let x be k + 0 + u/2. Solve -2 + 11 = x*s for s.
3
Suppose -3*g - r + 10 = 0, 6*r = 4*g + 8*r - 16. Let b be -2 + (4 - g) - -8. Solve -4*a = 4 + b for a.
-3
Let v be (-17)/(34/(-6))*(-1)/12*0. Solve 11*k - 12*k = v for k.
0
Suppose -15*t - 34*t = -2284 + 765. Suppose 2*a - 7*a + 135 = 0. Let u = t - a. Solve -14 - 6 = u*d for d.
-5
Suppose -4*z - 2*y = -548, 1051 = 4*z - 5*y + 517. Solve 87*q = z*q for q.
0
Let l(k) = -k**3 - 9*k**2 + 9*k - 8. Let u be l(-10). 