 -1 for d.
1
Suppose 33*i = 32*i - 49. Let w be (i/(-14))/((-6)/(-36)). Solve 0 = 4*j + 3*j + w for j.
-3
Let f(i) = -19*i**2 + 139*i + 59. Let x be f(7). Solve -x*s + 93*s - 40 = 0 for s.
-5
Suppose 28*b + 150 = 5*y + 30*b, y = -3*b + 43. Suppose y*f - 24 = 20*f. Solve f*v - 1 = 2 for v.
1
Suppose 0 = 6*o + 30*o - 144. Solve z + 8 - o = 0 for z.
-4
Let m(a) = -a**3 - 3*a**2 - 3*a - 2. Let k be m(-3). Suppose 20 = k*t - 8. Suppose -2*i - 14 = -t*x, -x + 3*i - 2 = -3. Solve -x*j = 16 + 4 for j.
-5
Let j(d) = d**2 + 13*d - 140. Let w be j(7). Solve w = -8*g - g - 36 for g.
-4
Let q(h) = h**2 + 10*h + 6. Let z be q(-10). Let g be z/4 + 3/2. Let c(u) = -u**3 - 15*u**2 + u + 16. Let a be c(-15). Solve g*b - 16 = -a for b.
5
Let i(c) = 9*c**2 + 41*c - 189. Let w be i(4). Solve 0 = 5*n - 22*n + w for n.
7
Let h(i) = 7*i**2 - 22*i + 25. Let d(r) = 10*r**2 - 32*r + 37. Let t(m) = 5*d(m) - 7*h(m). Let w be t(5). Solve -w*v = 3*v - 8 for v.
1
Let j = -97 - -100. Suppose 5*m = -j*c + 90, -23 - 2 = -2*m + c. Suppose -2*q = -4*q. Solve -5*y + 0*y + m = q for y.
3
Let i(j) = -77*j + 12. Let q be i(-7). Solve 0 = 554*u - q*u - 6 for u.
2
Suppose -k - 1 = 4*q - 32, 3*k - 78 = 3*q. Suppose -3*z + z + k = o, -3*z + 18 = -3*o. Solve 5*c - 9 - z = 0 for c.
4
Let t = -7543 + 7552. Solve -17*h - t = -26 for h.
1
Let m(x) = 3*x**2 - x. Suppose -5*q = -3*q + 5*k - 4, 5*k = -3*q + 6. Let o be m(q). Solve 0 = 5*p - o*p for p.
0
Let f(j) = -11*j - 130. Let v be f(-12). Suppose -5*s + 77 = -2*s - v*k, -5*k - 130 = -5*s. Solve 4*w + w = -s for w.
-5
Suppose -31 - 11 = 5*m + 2*y, -31 = 4*m - y. Let x be 35/28 + (-6)/m. Let v be (x - 1) + (5 - 7) - -4. Solve v = -z - 1 for z.
-4
Let b(d) = -87*d - 2262. Let z be b(-26). Solve 179*s - 186*s - 35 = z for s.
-5
Let z(c) = 40*c**2 + 1208*c - 29. Let s be z(-31). Solve -s*g = -960*g + 6 for g.
-2
Suppose -4*f + 57 = 5*r, 0 = 5*f + 6*r + 18 - 89. Solve -f*i - 176 + 189 = 0 for i.
1
Let x(m) be the first derivative of m**3/3 - 31*m**2/2 + 151*m + 120. Let y be x(25). Solve y = 5*k + 1 for k.
0
Let f be (5 - -1) + (240 - 234). Solve f*n = 11 + 49 for n.
5
Suppose 0 = 5*v + 4*p + 19, 4 = v + 3*p + 10. Let a be ((-108)/24 - 1/2) + 8. Let i be 0/((a/9)/(v/9)). Solve 2*b - 6*b = i for b.
0
Let j(a) = -23*a**2 - 829*a + 44. Let n be j(-36). Solve n*r = 82*r + 18 for r.
-9
Suppose -117*d - 5*l - 31 = -119*d, 0 = 4*l + 20. Let v be (-28)/(-5) - (-6)/15. Suppose 4*s + 11 = -g, -5*g + 17 = v*s - 4*s. Solve -g*u - d = 2 for u.
-1
Let i be 6 - (-1 + (-5 - -3)*2). Solve -13 = -4*d + i for d.
6
Suppose -41*h + 38*h = -294. Suppose 13*v = -33 + h. Solve -3 = z - v for z.
2
Let k(s) = 37 + 0*s + 5*s - 2*s - 2. Let u be k(-7). Solve -3*t + u + 1 = 0 for t.
5
Let a be (-1)/1*(-9)/3. Suppose 0 = -5*w - 40 + 40. Let o(d) = -d + 4. Let j be o(w). Solve -s = a*s - j for s.
1
Suppose 2*q - o - 55 = 4*q, q = -4*o - 10. Let v be -2*(-2)/6*(36 + q). Solve -v*s + 6*s = 0 for s.
0
Let d(i) = 12306 - 12307 + 4*i - 5*i. Let b be d(-3). Solve -7*m + b*m = 0 for m.
0
Let j = 140 - 136. Suppose -j*v + 60 = -b + 5*b, -2*b - 68 = -5*v. Solve 2*l - 10 = -v for l.
-2
Suppose -5*c = -4*l + 93, 26*l - 28*l + 2*c + 44 = 0. Let o = l - 12. Solve -o = -3*t + 8*t for t.
-1
Suppose 10*k = 6*k + 16. Let l be 32/12 + k/(-6). Suppose 99*f - 6 = 96*f. Solve -f*z - l*z = 0 for z.
0
Suppose m = p - 1, -4*p - 2*m + 22 = 3*m. Suppose r - p*w - 7 = w, -2*r + 10 = -4*w. Solve -c - r*c + 20 = 0 for c.
5
Suppose -1 = -l, -2*h + 223 + 198 = l. Solve 0 = -60*q + 18*q + h for q.
5
Let a be 3/((1 + -3)/(-2)). Suppose -4*p - 218 = 2*y, -5*y - 197 = -a*y - 3*p. Let d = y - -106. Solve 0*g + d*g = 0 for g.
0
Let m(t) = -2*t**2 + 1. Let v(n) = 9*n**2 - 11*n - 30. Let s(j) = 5*m(j) + v(j). Let g be s(-7). Solve -g*q = -0*q for q.
0
Suppose -8*g = -4*g - 192. Suppose 0 = 30*j - 12 - g. Solve 0 = -j*w + 8 - 0 for w.
4
Let v = 950 + -946. Suppose 22*z + v*h = 26*z - 20, 5*h - 11 = -z. Solve 0 - 12 = -z*x for x.
2
Let t(f) = 5*f - 433. Let d be t(-48). Let k = d - -687. Solve -1 = -13*s + k*s for s.
-1
Let d be 32/18 - ((-125)/(-45) + -3). Suppose d*y = -2*n + 24, y = -2*y + 5*n + 20. Suppose -5*x + y*x - 17 = -z, 2*z = -6. Solve x - 20 = -4*q for q.
4
Suppose -2*u + 6*m = 5*m - 218, 5*u - 545 = -2*m. Let g = u - 96. Solve 0 = -5*y - 33 + g for y.
-4
Let c(w) = 3*w**2 - 121*w - 82. Let u be c(42). Solve 39*b + u = 11 for b.
-3
Let n(s) = s**2 - 3*s - 6. Let t be n(5). Suppose 4*j = -t*u + 8, u + 8 = j - 0*j. Let o = -437 - -441. Solve -j*v + o = -11 for v.
3
Suppose w + 2*u = u + 3, -3*w + 11 = 2*u. Suppose -3*a = w*f + 11 - 2, 3*f + 17 = 4*a. Solve t = a*t for t.
0
Let t(u) = 16*u**2 - 1322*u + 6588. Let q be t(5). Solve 0 = -387*b + q*b - 63 for b.
-7
Let q be 17/51*(-12)/(-2). Suppose 0 = 4*u - 2*k - 38, 0 = 3*u - q*k - 2*k - 41. Solve 2 = -3*l - u for l.
-3
Let n(d) = d**2 - 10*d + 21. Let g be n(4). Let k be 52/12 + (g - -4)/(-3). Solve k*y + 6*y - 30 = 0 for y.
3
Suppose -27*a + 3509 - 3347 = 0. Suppose 0*o = 2*o - 14. Solve a*n = o*n - 3 for n.
3
Let j be (10/25)/(5 - (-822)/(-165)). Solve -30 = -j*b + 14 for b.
2
Let k(y) = 1714*y**3 - 4*y**2 - 3432*y**3 + 1717*y**3 + 6*y + 34. Let a be k(-4). Solve a*h - 2 = -32 for h.
-3
Suppose 0 = -5*h + 3*n + 65, 3*h + 0*n - 35 = n. Suppose -9*a = -4*a + h, -k - 4 = 2*a. Let o(s) = s + 6. Let t be o(-5). Solve k = -d + 5 - t for d.
4
Let q be 1 - -8 - (1 + (-16)/4). Suppose q = 2*p - 2. Suppose 4*z - 19 = -p. Solve -1 = -2*x + z for x.
2
Let w = 27434 - 26927. Solve -w*b - 16 = -523*b for b.
1
Let l = 17 - 15. Suppose 106 = 5*t - 2*v, 0*t + l*v - 34 = -2*t. Suppose 0 = u - 2 + 7, 4*u = 2*g - t. Solve g - 3 = -s for s.
3
Let i be (39/(-12))/((-985)/328 + 3). Suppose -14*h = 2746 - i. Let n = h + 122. Solve 0*s + 2*s - n = 0 for s.
1
Suppose 5*q = 25, a + 0 = 3*q - 1. Solve -35*h = -28*h + a for h.
-2
Suppose -741 = 101*q - 140*q. Solve -q*f = -22*f + 3 for f.
1
Let h be ((-46)/(-115))/((-8)/10 + 1). Let f be -5 + 2 + -1 + h - -17. Let c be 223/f - (-12)/90. Solve b - 4*b + c = 0 for b.
5
Suppose 3*k - 69 + 18 = 0. Suppose 63 = 2*h - 3*f, -20*h = -13*h - 5*f - 204. Solve -11*t + h = -k for t.
4
Suppose -5*b + 178 = 28. Suppose -10*m - b = -8*m. Let j be (-26)/(-5) - (-3)/m. Solve n - 12 = j*n for n.
-3
Let u be ((-804)/42)/((-31)/((-3255)/(-30))). Solve u*a = 11*a + 280 for a.
5
Suppose -16 = -10*p + 34. Suppose 6*a - p - 13 = 0. Solve -a*r + 6*r = -12 for r.
-4
Let t(j) = -4*j + 13. Let k be t(2). Suppose -k*g + m = -3*m - 16, 3*g - 4*m = 16. Let v be 20 + -4 + 3 - (g - 1). Solve 0 = 3*y + y + v for y.
-5
Let m(y) = -y**2 - 24*y - 141. Let h be m(-12). Let c(w) be the third derivative of -w**4/24 + 11*w**3/6 + 2*w**2. Let k be c(11). Solve -l = -k*l - h for l.
3
Suppose -34*n = -16*n - 18. Let g be 1 + n - (-29 + 26). Solve g*b + 12 = -b for b.
-2
Let a = -122 + 116. Let h be 0 + (-9)/a*(-4)/(-6). Solve -3 - h = -r for r.
4
Let u(t) = t**2 - 28*t - 56. Let n be u(30). Suppose 0 = -n*i - 0*i + 96. Solve 5*d + d = -i for d.
-4
Let q = 2498 - 2441. Solve -66*p = -q*p + 45 for p.
-5
Let f = -7958 + 8063. Solve 0 = -17*u + 38*u + f for u.
-5
Let f(g) = g**3 + 21*g**2 + 5. Let r be f(-21). Let o(x) = -2*x**3 + 9*x**2 - 3*x - 3. Suppose -36*d + 4 = -35*d. Let m be o(d). Solve m - r = v for v.
-4
Let s = 89 - 118. Let r(i) = i**3 + 30*i**2 + 28*i - 29. Let m be r(s). Solve y = -m + 4 for y.
4
Let b = -128 - -123. Let r be b + 2 - (1 - 8). Let c(l) = l**3 - 4*l**2 - 2*l + 11. Let q be c(r). Solve -u = -q*u for u.
0
Let x(n) = -5*n - 42. Let b be x(-16). Let m be (-26)/247 + 270/b. Solve m*d + 16 + 19 = 0 for d.
-5
Suppose 0 = 4*r - 3*k - 111, r + 5*k + 2 = 1. Suppose 3*o = 9*o - r. Let n = -1 - -2. Solve -o = y + n for y.
-5
Let c = 21776 + -21739. Solve -c = 13*b + 54 for b.
-7
Let k be (-24 - -19) + (18 - 0). Suppose -k*i = -12*i - 1, -3*j = -5*i - 4. Let z(c) = c**3 - 3*c**2 + 2*c + 2. Let u be z(3). Solve -r + u = j*r for r.
2
Suppose -2*a - 62 = -5*v, -5*v + 30*a - 35*a = -90. Solve -v*q = 19*q + 33 for q.
-1
Let w be ((-8)/(-6))/((-254)/(-381)). Let x = -9 - -11. Solve 2*z - w = -x for z.
0
Suppose 3*a - 5*j = a + 51, -137 = -5*a + 3*j. Suppose -a = -4*d - 8. Suppose 8 = 4*b + 2*t + t, -d*t + 4 = 2*b. Solve 0 = -3*i - b*i - 25 for i.
-5
Let p = 1340 - 