1 - 2 = 0 for d.
1
Let w(p) = p**2 + 12*p - 11. Let b be w(-15). Let l = 38 - b. Solve -3*t - l = -1 for t.
-1
Let b(q) = -11*q - 17*q**3 + 1 + 9*q**2 - 6 + 18*q**3. Let l be b(-10). Solve 0*c = l*c - 5 for c.
1
Suppose -5*n + 3*l = 11, -2*l = -2*n - l - 5. Let h be -1*-4*(-10)/n. Solve -3*v - h = -v for v.
-5
Suppose 6 = c + 26. Let t = 28 + c. Solve -3*l = l + t for l.
-2
Let j = 24 - 22. Solve j*v - 16 = -10 for v.
3
Suppose 10*m + 523 - 523 = 0. Let x = 1 + -1. Solve x = 2*n - m*n - 10 for n.
5
Let y(m) = -m**3 + 12*m**2 - 7*m - 15. Let p be y(11). Let h = 18 - p. Let q = h - -14. Solve -q*j = -j for j.
0
Let o = -33 + 33. Solve -15*t + 8*t + 35 = o for t.
5
Suppose -3*x - 5*j + 31 = 0, 3*x + 2 = 4*j - 12. Solve -10 + 0 = -x*p for p.
5
Let j = 21 - 32. Let v(h) = -6*h**2 - 7*h - 9. Let g(u) = -u**2 + u + 1. Let k(n) = 5*g(n) - v(n). Let q be k(j). Solve -q*b - b = 0 for b.
0
Suppose -126 = -c - 124. Let k be ((-3)/6)/(2/12). Let j be -2*(k - 10/(-4)). Solve v + c = -j for v.
-3
Let n = -50 + 50. Solve 3*c + 5 - 2 = n for c.
-1
Suppose u + 80 = 3*m - 5, 0 = -4*u - 4. Suppose 0 = 2*g - m - 4. Let x be ((-1)/(-2))/((-1)/(-8)). Solve 0 + g = -x*z for z.
-4
Let p(l) = -45*l - 50. Let s be p(-2). Solve 45 = -c + s for c.
-5
Let o be (-4)/20 + 48/(-10). Let m be (o - -3) + 4 - 0. Solve -4*l = -m*l for l.
0
Let d(q) = 6*q - 9. Let g be d(2). Solve -g*k = 2 + 10 for k.
-4
Suppose 3*y = -18*y + 126. Solve -5*r = r + y for r.
-1
Let g = 2075 - 2073. Solve 0 = -g*p + 17 - 11 for p.
3
Let n be 10/35 + (-330)/(-21). Suppose n*t = 11*t + 25. Suppose d - 16 = s - 4*s, -t*s + 38 = -4*d. Solve s*r - 4 = 2*r for r.
1
Suppose -3*j + 12 = -3*o, 3*j - 204*o + 20 = -209*o. Suppose -5*t = -3*d + 62, 3*d + 1 = -t + 3. Let v = t + 22. Solve -4*b + b - v = j for b.
-4
Suppose -2*m = -3*p + 8, -m + 8 = 3*m. Solve -5*l = -p*l for l.
0
Let w = 0 + 1. Suppose -3 = -4*k + w. Let a = -2300 + 2307. Solve 4*y - k - a = 0 for y.
2
Let i(t) = -2*t**3 + 24*t**2 - 22*t. Let b be i(11). Solve 13*j - 41 + 2 = b for j.
3
Let z(v) = v + 20. Suppose -j + 2*m + 48 = 6*m, m = j - 33. Let t be -3*-3*(-40)/j. Let a be z(t). Solve -5*q - 20 = -a*q for q.
4
Let j be 12 - -1 - (-5 - -5). Suppose k + 11 = f - k, 5*f = -4*k + j. Suppose -u - 2*u = f*h - 2, 4*u = -h + 14. Solve 4*q + 8 - u = 0 for q.
-1
Let x be (-2)/(-4)*1*0. Suppose x*y + 6*y = y. Solve -4*q + 0*q = y for q.
0
Let a(f) = -18*f**2 + f - 4. Let l be a(12). Let y be 6/39 + l/(-104). Solve 0 = -z + 6*z - y for z.
5
Suppose -16 = -4*l - 2*a, 3 - 23 = -5*l - 5*a. Let t be (2 + -1)*l/1. Suppose -28 = -t*b + 4*x, b + 5 = -3*x - 4. Solve -k + 1 = -b for k.
4
Let o(x) = -x**2 + 6*x - 4. Let j be o(7). Let l = -11 - j. Suppose l*v = 3*v - 21. Solve -v*h = -3*h for h.
0
Let h = -333 - -337. Solve -h*s + 6*s - 4 = 0 for s.
2
Let z(g) = -6*g**3 + 4*g**2 + 2*g - 2. Let v be z(-2). Suppose -5*u = -o - 0*o + 74, 0 = -3*u + 4*o - v. Let n = 17 + u. Solve 5 = -4*j - n for j.
-2
Let h(o) = 2*o + 6. Suppose 8*f = x + 3*f - 13, 2*f = 2*x - 2. Let j be h(x). Solve j*q + 0*q + 2 = 0 for q.
-1
Suppose -3*q - 2 = -8. Let v(m) = -m**2 - 6*m. Let j be v(-2). Suppose 0 = -7*l + 3*l + j. Solve l*w + q = 4*w for w.
1
Suppose 4*o - 31 = 5*t - 10, -5*t + 3 = 2*o. Solve -2*i + o = 2*i for i.
1
Suppose -185 = 6*u - u - d, -4*d + 92 = -2*u. Let k = u - -41. Solve 0 + k = -5*t for t.
-1
Let j = -16 - -32. Let q = j - 23. Let t = q - -19. Solve -2*r - t = r for r.
-4
Suppose w = 6*w + r - 300, 4*w = -3*r + 251. Let h = w + -56. Solve f - 8 = h*f for f.
-4
Let u = -12 + 5. Let i(d) = 4*d - 2. Let x be i(u). Let s be (x/9 - -3)*-9. Solve s*a - 11 = 1 for a.
4
Suppose -6*p - 180 = -192. Solve 9 = -p*y - 7*y for y.
-1
Suppose 0 = 4*z - 5*w - 18, -5*z - 4*w + 31 = -6*w. Suppose -2 = -3*i + z. Solve k = -i*k - 20 for k.
-5
Let l = -1 + 2. Let d be ((-2)/6)/(l/(-3)). Let b be (-2)/(2/4 - d). Solve -j - b*j = 5 for j.
-1
Suppose -5*x = 5, 2*z + 5*x = 10*x + 19. Solve -23 = z*j + 12 for j.
-5
Let b = 85 + -168. Let r = 86 + b. Let d = 16 + -10. Solve d = 3*v - r for v.
3
Let m = 25 + -21. Suppose -m*l = -2 - 6. Solve -l*q = -5*q + 6 for q.
2
Let w be (-284)/16 + (-1)/4. Let s = w - -20. Solve s = 2*m - m for m.
2
Suppose -3*s - 3*g = 2 + 4, -5*g = 4*s + 10. Let j(r) = 0*r - r + 4*r - r**3 + 9 - 2*r. Let h be j(s). Solve 4 = -5*n + h for n.
1
Let g(m) = 3*m**2 + 8*m + 3. Let o be g(-3). Solve -4*y + o = -6*y for y.
-3
Suppose 60 + 12 = 18*y. Solve 7*j = 9*j + y for j.
-2
Let a = -89 - -103. Solve -8 = -2*d - a for d.
-3
Suppose 18 - 3 = -5*b. Let w = 0 - b. Solve 2 = w*g - g for g.
1
Suppose 0 + 72 = 18*f. Solve 0*i = f*i - 2*i for i.
0
Suppose 0 = 3*k - 0 - 9. Suppose 5*v - 3*p - 48 = 0, k*p = -3*v + 4*v - 12. Suppose 3*s = 4*s - 6. Solve 5*m + v = -s for m.
-3
Let t be (12/(-8) - -4)*6. Let i(z) = z**2 - 3*z - 3. Let n be i(4). Suppose 0 = -3*x - n + 7. Solve f = -x*f + t for f.
5
Let m = -985 + 992. Solve 3*y + 4*y = m for y.
1
Let x be -7*-3*(-5)/(-15). Suppose -x*z = z - 40. Solve -z*d - 2 = 23 for d.
-5
Suppose 3*u - 3*o = -9, 0*o - 2*o = 0. Let y be 0*1/u - (-19 - -7). Solve 4*m - y = -0 for m.
3
Suppose -3*u = 3*g - 12, 4*u - 26 = -5*g - 7. Let i be -1 + (4 + 2 - g). Suppose -3*n + i = -n. Solve n - 6 = 5*r for r.
-1
Let a = 34 - 29. Let m be (-2)/8*(5 - a). Let f(u) = u - 5. Let q be f(5). Solve q = -m*d - 2*d - 10 for d.
-5
Let x be (9/6)/(-3)*(214 + -2). Let a = x - -111. Solve -a = 3*u - 2 for u.
-1
Suppose 5*v - 3*s + 10 = 2*s, 0 = -3*s - 15. Let a be v*(3 + 129/(-42))*4. Suppose -35 = -0*x - 5*x. Solve -x - 3 = a*d for d.
-5
Let c = 2652 - 2632. Solve -7 = 13*d - c*d for d.
1
Let h(o) be the second derivative of -o**4/12 - o**3 - 2*o**2 + 2*o. Let p = -26 + 22. Let i be h(p). Solve -2*y = 2*y - i for y.
1
Suppose 2*q - 20 = a + 15, -3*q + 49 = 2*a. Let o = q + -14. Let s = 85 + -81. Solve -5*t + o*t = -s for t.
2
Suppose -67*b + 70*b = 21. Solve -5*v + b*v = -4 for v.
-2
Let x(r) be the second derivative of 0 + 1/20*r**5 + 7/12*r**4 + 8*r - 4/3*r**3 + r**2. Let v be x(-8). Solve 4*p + 8 = v*p for p.
-4
Suppose 0 = 4*s - m - m + 8, 2*s = -3*m - 4. Let r = s + 2. Solve r*y + 4 = -2*y for y.
-2
Suppose x + 5 = 17. Let z(w) = 3*w**2 + 8*w - 16. Let l(p) = -p**2 + p + 1. Let o(u) = -4*l(u) - z(u). Let h be o(x). Solve 0*b + 3*b = -h for b.
-4
Suppose 16*p - 14*p = 0. Suppose p = -5*i + q + 8, -4*i + 14 = 4*q - 2. Solve i*u + u = 3 for u.
1
Let u be 0*(3/2)/3. Solve u - 16 = -4*h for h.
4
Suppose 3*k + 0*m + 4 = 2*m, 0 = -k - m + 2. Let d(h) = h**2 + 6*h + 4. Let y(t) = t**2 - 4*t - 11. Let f be y(5). Let x be d(f). Solve x*c + 6 + 2 = k for c.
-2
Suppose -2 = g - 4. Let k be -4 + 8 - (-1 + g). Solve -i - k = -6 for i.
3
Suppose -3 = -k - 1. Suppose -k*d = -0*d. Suppose 1431*g = 1424*g + 112. Solve d = -n - 3*n + g for n.
4
Suppose -10*r + 19 = -1. Solve -2*z + z + r = 0 for z.
2
Let y = 55 - 55. Solve -5*g - 25 = -y*g for g.
-5
Let k(f) = 8*f - 1. Let a be (-6)/4 + (-100)/(-40). Suppose a + 1 = 2*w. Let y be k(w). Solve y = -4*t - 1 for t.
-2
Let a be (-8 - -9)*(5 - 3 - -3). Let r be -6*(14/(-6) - 1). Suppose -3*p - 2*p + r = 0. Solve -p - 1 = -a*i for i.
1
Suppose -5*b + 9*b + 8 = 0, 5*b + 8 = -2*x. Solve 0 = -p + x - 4 for p.
-3
Let z(i) = -2*i + 4. Let d be z(4). Let f(g) = -g**2 - 4*g + 2. Let x be f(d). Let n(k) = 2*k**3 - 2*k**2 + 3*k - 2. Let b be n(x). Solve 0*u + b = 3*u for u.
4
Suppose 0*s - 66 = -3*s - 2*n, 2*s = -3*n + 49. Solve -4*t + s = -9*t for t.
-4
Let g be (1 + (-4)/12)*9. Suppose g*k + w - 92 = 2*k, -4*w = -4*k + 112. Suppose -k = -2*c - 2*c. Solve -4*f + 2 = c for f.
-1
Let w(k) be the third derivative of 0*k + 0 - 2*k**2 + 1/24*k**4 - 2/3*k**3. Let h be w(4). Solve 5*g = -h - 5 for g.
-1
Let u = 803 - 800. Solve 0 = 4*q - 4*q + u*q for q.
0
Let k be (-2*(-7 - -6))/2. Solve k = -8*d + 7*d for d.
-1
Suppose 2*t = -k + 5*t, 4*k = t. Suppose -3*x + 13 + 14 = k. Suppose -4*z + x*z - 15 = 0. Solve z*p + 0 = 3 for p.
1
Suppose 2*k + 4 + 1 = 3*q, 2*k = 2*q - 2. Let b(m) = -m**2 + m + 4. Let a be ((-108)/20)/(-9) - 3/5. Let t be b(a). Solve -t*p + k*p + 6 = 0 for p.
3
Let o be 6 + 8/(-4) + -2. Suppose t = n + o*n - 15, -2*t = 0. Solve -n*z - 9 = 16 for z.
-5
Suppose -3 = -3*j, 4*u = 3*j + 531 - 166. Suppose 3*q = -4*g + u, 0 = 2*q - 3*q - 4. L