2
Let x(g) = -2*g**2 + 53*g + 1794. Let l be x(46). Solve 5*d + 179 - 164 = l for d.
-3
Let j(c) = -c**3 + 7*c**2 + 8*c + 3. Suppose y = -10*y + 88. Let v be j(y). Suppose -m - m = v*m. Solve -u = -m*u + 3 for u.
-3
Let n = 30969 + -30967. Solve -14*h - n*h = 112 for h.
-7
Let v = 37 + 13. Suppose 0*n + n - v = -4*r, r + 217 = 4*n. Suppose -3*c = -66 + n. Solve -7*j + c*j + 6 = 0 for j.
2
Suppose 133*t - 2468 = 110*t - 536. Solve t*w + 2 = 86*w for w.
1
Suppose 0 = -5*c - s + 68 + 261, -3*s - 3 = 0. Suppose -c = -3*z - 75. Let r be 3/9*(z - -6) + 4. Solve 1 = -r*v - 9 for v.
-2
Let f(m) = -m**3 + 4*m**2 + 24*m - 17. Let r be f(7). Suppose 89*s = 95*s - 90. Solve -r*u = -9*u + s for u.
3
Let t(h) = -5*h**2 + 3*h - 5. Let n be t(-4). Suppose -849 = 18*v + 969. Let l = n - v. Solve -l*a - 15 = 1 for a.
-4
Let q be ((-4)/(-6) - -4) + 2/(-3). Suppose k - 5*r = 3*k + q, -2*k - 2*r = -2. Suppose 2*g + 8 = 4*h, -3 - 3 = -4*g - k*h. Solve g = -5*p + p for p.
0
Let d(p) = p**3 - 2*p**2 + 2*p + 2. Let z be d(2). Suppose 0 = 5*i - 91 + 66. Suppose 0*m - 5*g + 1 = 3*m, 4*m = -3*g + i. Solve -m + z = 4*k for k.
1
Let g = 768 + -768. Solve g = 9*p - 114 + 141 for p.
-3
Let c(y) = y**3 + 9*y**2 + 14*y + 30. Let v be c(-7). Suppose 2*j - 3*x - v = 0, -30 = -2*j + x - 5*x. Solve j*r = 12*r - 12 for r.
-4
Let h be (-2 + 4 - 4)*(2 + -3). Let n be h/10 + (-420)/(-150). Solve -n*w = -w for w.
0
Let x = -2527 + 2596. Solve 26*r = -x - 61 for r.
-5
Let b = 12085 - 11584. Solve 0 = 64*l - 11 - b for l.
8
Let f = -7092 + 7141. Solve -4 = 45*d - f for d.
1
Let a = -55 + 60. Suppose 2*t = -3*k - 147, -2*k = a*t - t + 274. Let q = t + 68. Solve -2 = f + q for f.
-4
Let i be ((-8)/(-24))/((-2)/(-24)) - 2. Let z be (-1 + 0)/(1/43). Let l = -38 - z. Solve -i*k = -3 + l for k.
-1
Let b = 3052 - 3052. Let h be 0/(5 - 2 - 1). Suppose -5*m - 2*f = -20, -m - 2*f - f - 9 = h. Solve b*g - 3*g = m for g.
-2
Suppose 5*y = -c + 375, -2*y = 3*y - 4*c - 375. Suppose 4*b = -75 + y. Solve b = -5*l + l - 4 for l.
-1
Suppose -2674 = -10*j + 7976. Solve 1063*d - j*d + 6 = 0 for d.
3
Let c = -204 - -95. Let o = c - -114. Solve 0*x - x + o = 0 for x.
5
Suppose 71*i + 141*i - 1397 = 723. Solve 0 = -i*q - 6 - 24 for q.
-3
Suppose -5*t + 35 = -25. Let r = -1265 + 1269. Suppose -n = r*x - 3*x - 4, 1 = -x + 4*n. Solve p = -x*p + t for p.
3
Let f(u) = -17*u + 559. Let z be f(32). Solve z*d - 3 = 16*d for d.
-3
Let m = 524 + -525. Let u be (0*3/27)/m. Solve u = 23*t - 27*t - 4 for t.
-1
Let y be (6 + (-9)/(-5))*(0 + 5). Suppose -y*b + 462 = -18*b. Solve -5*i + 3 = -b for i.
5
Suppose 33 - 25 = 2*s. Suppose -h - s*c + 25 = 4*h, 4*c = 4*h + 16. Solve h = -g - 3 for g.
-4
Let b = 50 - 46. Suppose 0 = 2*t - 3*t + 11. Suppose b*h - 5 = t. Solve h = q + 3 for q.
1
Let f be (-9 + 2)*(-82)/(-28)*-2. Solve 0 = 31*j - f*j + 10 for j.
1
Suppose 4*s + 4*c - 4 = 0, 1 = 9*s - 10*s + c. Solve 7*t + 2*t = s for t.
0
Suppose 13 + 12 = 5*f. Suppose -f*h + 25 = -5. Suppose -4 = -5*u + h. Solve -6*r + u*r = 0 for r.
0
Let z(p) = -p + 17. Let c be z(16). Let l be (-42)/(-5) + 4*15/100. Let a be (c - -2 - 4) + l. Solve a = -g - 3*g for g.
-2
Let w be (2352/(-77))/8 + (-4)/22. Let u be (88/(-12) - w)/(6/(-9)). Solve 0*f - 15 = -u*f for f.
3
Suppose -i + 4 = -4*b - 6, 2*i = 3*b + 10. Let x be ((-20)/25)/(i/(-5)). Let q be (x + 4 + -8)*-1. Solve -h = -3 + q for h.
1
Let w be (6 - 0) + 13 - 6. Suppose 16*x - w*x - 12 = 0. Solve 0 = 7*n - x*n - 15 for n.
5
Let g(m) = -7*m - 119. Let z(b) = -3*b**2 + 7*b - 14. Let r be z(3). Let n be g(r). Solve -5 + n = -4*s for s.
-4
Let a(x) = -6*x - 9. Let k be a(-7). Suppose -3*j - 2506*d - 1 = -2508*d, -7*d = j - 61. Solve j = k*q - 38*q for q.
-1
Let v(h) = -h**2 + 19*h + 966. Let b be v(42). Solve 2*k + 117 - 115 = b for k.
-1
Let f be -2 + -2 - 1/(-1). Let n be 2*2/(-4)*f. Let p(h) = -2*h**3 - 27*h**2 - 7*h + 353. Let s be p(-12). Solve -4*z = -n*z - s for z.
5
Let z = -3968 - -4070. Let p be 81/(-6)*22/(-3). Suppose -60 = p*n - z*n. Solve -2*c - 2*c = -n for c.
5
Let x(j) = -836*j - 3338. Let u be x(-4). Suppose 0*g = 2*g - 26. Solve g = u*r - 17 for r.
5
Let y = -10886 - -10898. Solve 315*q = 327*q - y for q.
1
Let w(n) = 17*n**2 + 226*n + 448. Let q be w(-2). Solve 533 = q*v + 21 for v.
8
Let s be 1/((-202)/(-34) + -6). Let v(a) = 2*a - 5. Let t be v(-4). Let u = t - s. Solve 0*p = -u*p for p.
0
Let k(j) = 14*j**2 + 17*j - j**2 - 36 - 2727*j**3 + 2728*j**3. Let l be k(-11). Solve 13 = -8*b - l for b.
-4
Let k = -21521 + 21541. Solve -26*c + k + 6 = 0 for c.
1
Let m(f) be the first derivative of -7*f**2/2 + 4*f + 2. Suppose -z - 5*t - 3 = -2*t, 4*t + 4 = z. Let o be m(z). Solve 2 = o*p - 2 for p.
1
Let g(t) = 6*t - 30. Let w be g(6). Suppose -3*p + 12*k - 15*k = -w, -p = 5*k + 18. Solve -p*j + 5*j = 8 for j.
-4
Let y(i) = -53*i**2 + 530*i + 33. Let o be y(10). Solve -18*p + o = 51 for p.
-1
Let n be 3 - ((-1)/3)/((-17)/(-1479)). Suppose 5*x = n - 32. Let l be 8/(-32) - ((-17)/4 + -2). Solve x = 4*z - l*z - 4 for z.
-2
Let p(x) = 72 + 4 + 31*x + 24. Let w be p(-3). Solve -w = -3*a - 7 for a.
0
Let p(u) = -9*u + 98. Let d be p(11). Let j(r) = -7*r**3 + 2*r**2 + 11*r + 10. Let k be j(d). Solve 14*b = 12*b - k for b.
-4
Let m be (-498)/10 + 2/(-10). Let z(d) = 150*d - 352. Let k be z(2). Let p = m - k. Solve p*r + 5 - 9 = 0 for r.
2
Suppose -4*o = -2*o - 2. Let i = -76054 + 76056. Let z(s) = s**2 - 7*s - 7. Let t be z(8). Solve -t = i*r + o for r.
-1
Suppose 4 + 13 = g - 4*a, -g + 3*a + 15 = 0. Suppose -19*i - g = -20*i. Suppose 3*y + 0*y - i = 0. Solve -y*t + 6 = 3 for t.
1
Let c(v) = v**3 + 2*v**2 - 9*v + 2. Let i be 8 + -6 + (-1 - -1) + -6. Let w be c(i). Solve 0 = -21*g + 19*g - w for g.
-3
Suppose -5*l - 341 + 936 = m, 575 = 5*l - 3*m. Solve -112*z + l*z = -30 for z.
-5
Suppose -12*c + 5*c = -12*c - 9*c. Solve c = 37*b - 4*b - 66 for b.
2
Let n = 1339 - 833. Let l = n + -497. Solve 25 = -4*b + l for b.
-4
Suppose -4 = -5*t + 16. Suppose -2*o + 2*k = 0, t*o = -3*k + 10 + 18. Suppose 2*u = -o*h + 24, 9 = -h + 4*u - 3. Solve 8*n + 16 = h*n for n.
-4
Suppose -5*d - 6 = -3*z, -5*z - 2*d + 10 = -d. Let w be 3 + (4 + -1)/(-3). Suppose i + w*c = -6, 3*i + c + 0*c + 3 = 0. Solve -z*m + 7*m = i for m.
0
Suppose 17 = -6*u + 107. Let y be (3 + 1)*(-56)/(-16). Suppose 0 = -y*a + 9*a + u. Solve 0 = -4*p + a*p + 3 for p.
3
Let l = -7780 + 7882. Solve 6*t + l = 96 for t.
-1
Let q(s) = s**3 - 5*s**2 - 5*s - 8. Let y be q(6). Let g(i) = i**2 + 6*i + 8. Let u be g(y). Solve p + 4*p = u for p.
0
Let o(h) = 3*h + 5. Let i be o(0). Suppose 24 = -c + 3*x - 30, i*c = x - 340. Let j = -67 - c. Solve j = m - 1 for m.
3
Suppose 16 = -i - 4*q, -3*i + 0*q + 7 = q. Suppose c - i = 0, 5*t - 5*c + 209 = 2*t. Let x be ((-108)/t)/(2/7). Solve x*o + 6 = 3*o for o.
-2
Let s be (-7)/14*(492 - 4). Let w = 247 + s. Solve 1 = w*c - 2 for c.
1
Let a = 5 - 3. Let h(g) = 2*g**3 - g - 4. Let m be h(a). Suppose 4*y + s = 2*y + 9, 0 = 5*y - 2*s - 36. Solve 16 = m*j - y*j for j.
4
Suppose p - 2*t = -2, 5*p = t + 4*t. Suppose 4 = 3*g - c, 3*c + 2 = 9*g - 5*g. Solve -p*h - g = -h for h.
-2
Let y = 292 - 291. Let k be (-5)/(-4) - 4/16. Let a = k - y. Solve a = -o - 4*o for o.
0
Suppose 2*g - 2*w + 16 = w, 4*g - 3*w + 44 = 0. Let h be ((-7)/g)/(1/(-4)) - -2. Solve s - 4*s - 9 = h for s.
-3
Let f(a) = 2*a**2 + 4*a - 13. Let v be f(2). Let q(l) = l + 4. Let s be q(-4). Suppose -v*m = 15, s*p - 2*p - 5 = m. Solve p = n - 2 for n.
2
Let t = -16833 - -16852. Solve -11 - t = -15*r for r.
2
Suppose x - 4 = 0, -2*h + x = 6*x - 30. Let c(b) = 36 + 69*b - 87 - b**3 - 3*b**2 + 41. Let q be c(-10). Solve q = h*j - j - 8 for j.
2
Let v(p) = 2*p**3 + 77*p**2 - 40*p + 77. Let x be v(-39). Suppose 5*d - 434 - 126 = 0. Let a = x - d. Solve -a*r - r + 20 = 0 for r.
4
Suppose -2*i + 71 = 3*c, 3*i - 41 = -5*c + 78. Let h(s) = 15*s - 41. Let y be h(3). Suppose 5*u - 2*p - c = 0, u + 5*p = -y*u - 10. Solve -u = l - 5 for l.
2
Let p(g) = -24*g - 239. Let u be p(-11). Solve -130 = k + u*k for k.
-5
Let k be 336/49 + -6 - (-15459)/21. Solve 7*d + 779 - k = 0 for d.
-6
Let y(o) = o**2 + 2*o + 4. Let x be y(-3). Let h(k) = -2*k**2 - 30. Let b be h(9). Let g = b + 192. Solve 4*r - x + 3 = g for r.
1
Let n(p) = -8*p**2 - 79*p + 11. Let a be n(-10). Let u b