p = -r for j.
4
Suppose 0 = -2*w - 3*w + 180. Suppose -12 = -4*d - g + 23, -4*g = 3*d - w. Solve 0 = -4*r + d for r.
2
Let i(j) = -j**3 - 2*j**2 - j - 1. Let d be i(-3). Suppose -4*f = -d - 37. Solve 4*q = -0*q + f for q.
3
Let w = 318 + -316. Solve 0*f + w = -2*f for f.
-1
Suppose 0 = -5*l - 15, -g + 3*l = 5 + 11. Let v = -23 - g. Solve -v*y = -y for y.
0
Let o(f) = -47*f - 73. Let a be o(-3). Solve -a*q = -70*q - 10 for q.
-5
Let r(s) = -s**2 + 3*s + 11. Let t be r(5). Let p be 1 - 8 - -5 - (-3 - t). Solve a = -p*a - 12 for a.
-4
Let r(a) = -a**2 + 6*a. Let v be r(6). Suppose -12 = -4*s + f, v = 5*s - 0*f + 2*f - 28. Suppose 0*t + 2*t - s = 0. Solve t*x - 6*x + 20 = 0 for x.
5
Let b = -1331 + 1333. Solve b*t = 22 - 16 for t.
3
Suppose 7*a - 46 = 2*a - 2*k, 3*a + 3*k = 24. Solve 13*t - 11*t + a = 0 for t.
-5
Let v(u) = u**3 + 3*u**2 - 7*u - 6. Suppose 3*x = -18 + 6. Let g be v(x). Solve -g*q + 4*q = 0 for q.
0
Let n = -6 + 10. Let q(z) = 3*z**2 - 110*z - 27. Let y be q(37). Solve l + y = -n*l for l.
-2
Let y(a) = -2*a - 2. Let d be y(-9). Let t(s) be the second derivative of -s**3/6 + 9*s**2/2 - 3*s. Let j be t(9). Solve -4*w + j = -d for w.
4
Let p = -37 - -101. Suppose -5*j = -v + 32, -p = -0*v - 4*v + 4*j. Let r be 2/v - (-649)/66. Solve 0 = -4*b + 2*b - r for b.
-5
Suppose 0 = -3*h - 4*i + 26, 4 = 5*h - 5*i - 51. Solve 0 = o - h + 13 for o.
-3
Suppose -4*f = -5*f + 10. Suppose 4*y + f = -3*c + 36, c - 14 = -2*y. Let o = 59 - 51. Solve 4*s - o = y for s.
4
Let g = 74 - 73. Let m(p) = -2*p + 2*p + 2*p**3 + p**2 - 1. Let j be m(g). Solve b - 5 = -j for b.
3
Let z = -14 + 17. Suppose 5*a - 5*s = 70, -a - 2*s = 4*a - 91. Suppose z*h = 26 - a. Solve 2 = -i + h for i.
1
Let z(r) = -r**3 + 49*r**2 - 42*r - 228. Let l be z(48). Solve -23*m + 8*m + l = 0 for m.
4
Suppose 4*f + 38 = -5*x + 58, -4*f = -20. Solve x = 12*b - 5*b - 35 for b.
5
Let i be (0*(-3 + 2))/(-8 + 13). Solve 3*k + 6 - 3 = i for k.
-1
Let i(h) = 2*h + 78. Let z be i(-39). Solve z = 3*b - b for b.
0
Let a be (18 - 12)/(1 + 1). Suppose -a*v = -7 - 2. Solve i + 12 = -v*i for i.
-3
Let q = -261 - -263. Suppose -4*i = 5*n + 20, -i + n + 4 = -0*i. Solve i = -c + q - 6 for c.
-4
Let u be 8*(-1)/(-6)*(-468)/(-104). Let y = 7 - 2. Solve u = y*q + 1 for q.
1
Let r(z) = 2*z - 2. Let t be r(-4). Let v = t + 13. Let c(q) = q**3 - 2*q**2 - 3*q. Let l be c(v). Solve x = -l*x for x.
0
Suppose p = 4*f - 241, 82 = 5*f - 5*p - 223. Solve -62 + f = -i for i.
2
Let c(a) = -4*a**2 + 10 + 11*a + 3*a**2 - a. Let b(f) = -f**3 + 2*f + 10. Let t be b(0). Let r be c(t). Solve -2*y + 0*y = r for y.
-5
Let m = 3 + 1. Let d = -12059 + 12067. Solve d = m*u + 24 for u.
-4
Let j = -14 + 21. Let y be ((-100)/j)/5*(-4 + -3). Solve 0*m + 4*m = y for m.
5
Suppose 24*h + 11 = 131. Solve -w + h*w = -4 for w.
-1
Suppose -5*g = -14 + 4. Let w = 4 + g. Let z be w/4 - 2/(-4). Solve -z = -u + 2 for u.
4
Let x(c) be the first derivative of 1/4*c**4 + 2*c + 0*c**2 - 1/3*c**3 - 12. Let p be x(3). Solve -2*f = 3*f - p for f.
4
Let d(z) = -z**2 + 5*z + 14. Let f be d(6). Solve -u = -f + 3 for u.
5
Let b be 20/15 + 2/6*2. Solve b*l + 2 + 6 = 0 for l.
-4
Suppose 57 = 21*l - 6. Solve 5 + l = -4*n for n.
-2
Suppose 31*n - 46*n = -60. Solve -n = -50*c + 54*c for c.
-1
Let i(a) be the second derivative of a**5/20 + 11*a**4/12 - 2*a**3 + 5*a**2/2 + 13*a. Let z be i(-12). Solve 6*b - z = b for b.
1
Let s = -352 - -358. Solve p + s*p + 14 = 0 for p.
-2
Suppose b + 4*x = -17 - 10, 49 = -3*b + 4*x. Let j = -17 - b. Solve -m - 3 = j*m for m.
-1
Let d be (-26)/13*3/(-2). Let t(j) = -6*j + 7*j - 7 - 2*j. Let a be t(-11). Solve r = a - d for r.
1
Suppose 10 = 4*d + d. Suppose -d*a - a = 0. Let x(y) = y**3 - 8*y**2 + 7*y + 3. Let z be x(7). Solve a = z*v + v for v.
0
Suppose 3*b = -4*b + b. Solve b = -4*l - 6 + 26 for l.
5
Let c be (-208)/(-468)*(10 - 1). Solve 3 = 3*x - c*x for x.
-3
Let o(f) = -2*f**2 + 5*f + 2. Let j be o(3). Let h be j + 5 + -3 + 2. Solve -h*t + 14 = 2 for t.
4
Suppose -23 = -3*p + 4*y, -3*y + 2*y + 1 = 0. Suppose -4*d + 32 = 3*i + 12, -8 = -3*i + 2*d. Solve -i*m + p*m = 20 for m.
4
Let b be 3/(9*9/81). Solve b*n + 25 = 28 for n.
1
Let y = -9 - 10. Let s = y - -21. Suppose -5*x - s + 23 = -2*d, 3*x = -3*d. Solve -6 + 0 = x*t for t.
-2
Let f = 11 + -3. Let g = 548 + -544. Solve 0*u - f = g*u for u.
-2
Let g(o) = -o**2 - 43*o - 251. Let b be g(-8). Solve -d = -28 + b for d.
-1
Suppose 4*m - 50 = b, m - b - 24 = -m. Let z = m + -8. Solve z = -0*c + c for c.
5
Suppose 0 = 84*n + 185 - 857. Solve h = -n*h + 18 for h.
2
Let f(v) = -v**3 + v**2 + 7*v - 6. Let j be f(4). Let k be (6 - 5)/(2/j). Let q = -13 - k. Solve 5*w + 1 + 4 = q for w.
-1
Let l be 4/6 - (-3)/9*4. Suppose l*t + b - 4*b - 10 = 0, 2*b = -4*t + 20. Solve t*p - p - 20 = 0 for p.
5
Suppose -5*z - 3*g = 250, 5*z - 2*g - 3*g + 210 = 0. Let n = -38 - z. Solve 2*y - 5*y - n = 0 for y.
-3
Let r(w) = w**3 + 15*w**2 - 2*w - 27. Let f be r(-15). Suppose 0*h - h = -2*j + 4, -j = -4*h + 5. Suppose j*y - y = 0. Solve -f*c = -y*c + 12 for c.
-4
Let w(n) = -4*n - 2. Let y be w(-2). Suppose 3*l = 4*o + 32, -y*o - 24 = -2*l - 2*o. Let b = l - 4. Solve b*s = 7*s + 15 for s.
-5
Let q = 3 - -1. Suppose -4*a - 47 = -183. Let k = -30 + a. Solve k*h + q - 20 = 0 for h.
4
Let f = -184 - -194. Solve -f*s + 4*s + 30 = 0 for s.
5
Let d be 2 - ((-6)/(-3) - 0). Suppose 44 = 33*x - 88. Solve -x*b + d = -20 for b.
5
Suppose 4*d + 34 = t + 8, -4*t = d - 53. Solve 13*s - 1 = t*s for s.
-1
Let m = 2 - 0. Suppose 3*z = -m*z. Suppose 5*u - 10 = -3*d - 26, -d + 2*u + 13 = 0. Solve z = 2*r + d*r - 20 for r.
4
Suppose 8*i = 73 + 95. Solve -32*p - i = -25*p for p.
-3
Let b = -7 - -11. Let a be (3 - -24) + 8 + -6. Let o = a - 20. Solve 5*q = o - b for q.
1
Suppose 5*s + 2*k - 11 - 7 = 0, -k = 2*s - 7. Suppose 3 - 23 = -5*g. Suppose 3*w - s*m = 7, -3*m = -w - g*m. Solve 0 = -d - 1 - w for d.
-2
Let b be ((-184)/16 - -9)*(-6)/5. Let q be (-1 - -3 - 2)/2. Suppose b*u - 2*u - 3 = q. Solve 3 + 6 = -u*j for j.
-3
Let m = 189 + -184. Solve -m*b - 14 = -4 for b.
-2
Let r be (-35)/(-14)*(-54)/(-15). Let o = 8 + -8. Suppose -8 = -g - 5*f, o = -2*g + 3*f + 3. Solve -24 + r = -g*c for c.
5
Suppose 5*j + 19 = -4*o, 3*o + 8 = 2*j - 12. Let y be -2*((-8)/o)/((-11)/33). Solve 0 = 3*q - 7 - y for q.
5
Let m(w) = -w - 5. Let k be m(-5). Solve 4*p + 8 = -k*p for p.
-2
Suppose -22 = -4*a - 10. Suppose 0 = 2*y + a*y. Solve -3*o = -y*o for o.
0
Let r = -93 + 84. Let h be 4*(-2)/36 + (-2)/r. Solve h = 2*l + 5 + 3 for l.
-4
Suppose -16 - 62 = -6*h. Suppose 3*w - h = -n + 16, 5*n - 133 = -3*w. Solve -n + 10 = -4*f for f.
4
Let j(r) = 4*r**3 - 29*r**2 + 8*r - 4. Let o be j(7). Solve -o*s = 47 - 35 for s.
-4
Suppose 4*f = -q + 115 - 19, -2*q = -2*f - 192. Solve 5*w = 71 - q for w.
-5
Suppose 6 - 2 = 2*i. Suppose 5*b - 5*j - 14 - 16 = 0, 0 = -i*b + 3*j + 14. Suppose -4*p - b = 5*f - 21, 2*p - 4 = 2*f. Solve -11 = -p*d - 2 for d.
3
Let a be ((-6)/(-9))/(2/9). Let v be -1 - 8*a/(-6). Let i = 2 + v. Solve s - 4 = i*s for s.
-1
Let v(q) = -q + 19. Let u be v(10). Let o = 9 - u. Solve o*m + 3 = 3*m for m.
1
Let o(j) = -j**3 - 5*j**2 + 6*j + 22. Let x be o(-5). Let p be (-10 - -1)/((-6)/8). Let d be x/(-12) + 28/p. Solve 0 = -d*q - 2*q for q.
0
Suppose -3*o - 4*a + 7 = -4, 0 = -5*o - 4*a + 13. Let p = 5 - o. Let u = 15 + -5. Solve -u = -p*r + 2*r for r.
5
Let r(k) = 2*k + 33. Let x be r(-14). Suppose -q - 24 = -x*q. Let v = 8 - q. Solve -v = -z - 3 for z.
-1
Let d = -1160 - -1162. Solve -g - 1 = -d*g for g.
1
Suppose -42*r = -57 - 27. Solve -6*w = r + 4 for w.
-1
Let r be (-2 + -4 - 4) + 10. Solve 3*w + 21 - 6 = r for w.
-5
Let i = -83 + 58. Let r = i - -27. Solve 9 = k + r*k for k.
3
Let j be (32/20)/((-4)/(-20)). Let g(y) = -6*y**3 + 12*y**2 + 3 + 0*y**3 + 7*y**3 + j*y + 3*y. Let d be g(-11). Solve -2*p - d*p = -25 for p.
5
Suppose -8*h = -17*h + 27. Suppose h*c = 4*t - 8, 2*c - t = -2*c - 2. Solve c = -5*x - 23 + 8 for x.
-3
Suppose m - 32 = -3*m. Let k(a) = -4*a - 6. Let u be k(-9). Suppose o = 45 - u. Solve m*j = 3*j + o for j.
3
Let p be (204/24)/(1/2). Suppose 27 = 4*m - p. Solve 0 = -2*a + m - 3 for a.
4
Let r(u) = -u**3 + 40*u**2 + 87*u - 102. Let s be r(42). Solve 0 = 5*w - s + 9 for w.
3
Let x(t) = t**2 + 2*t - 3. Let f be 