) = m**2 - 1. Let y be i(3). Suppose -4*r = -y*r. Solve r = g - 2 + 6 for g.
-4
Let w be -1*(-2 + 0 + 1) - -1. Solve 0*c = -w*c + 8 for c.
4
Let f = -1 + 3. Let o(u) = -u**2 + f*u - 1 + 4*u - 4*u. Let p be o(1). Solve p*c + 5*c - 5 = 0 for c.
1
Suppose 16 = -5*q - 4. Let s = q - -10. Solve -3*j + 0 = s for j.
-2
Let c(z) = z**2 + 6*z + 2. Let t be c(-6). Solve -4 = t*n - 0*n for n.
-2
Let b(m) = -m - m + 3*m - 4. Suppose 0*t + 6 = t. Let a be b(t). Solve 2 = -a*y - 4 for y.
-3
Let a be 0/(-3)*(-1)/(-2). Suppose 8*u - 45 = 3*u. Suppose -2 = i, -b = -a*b - 3*i - u. Solve z + 0*z - b = 0 for z.
3
Suppose -4 + 48 = 4*p. Let l(d) = -d**3 + 11*d**2 + 2*d - 6. Let q be l(p). Solve 5*c - c = q for c.
4
Let k(g) = -g**2 - 2*g + 2. Let x be k(-2). Suppose 0 = -263*l + 258*l + 15. Solve l = -u + x for u.
-1
Let b = 8 - 5. Solve d = 4 - b for d.
1
Suppose 5*h = 25 - 5. Solve -10 = h*d + 6 for d.
-4
Let w = -90 - -95. Solve -w = -p - 1 for p.
4
Let x(g) = -g**3 + 19*g**2 + 18*g + 40. Let u be x(20). Let s(n) = n**3 - 7*n**2 + 7*n - 1. Let p be s(6). Let o = 11 - p. Solve -4*v + o*v + 6 = u for v.
-3
Suppose 0*r + 2*r = 8. Suppose -j - r*j = 0. Solve j = -x - 1 for x.
-1
Suppose 0 = -2*n + n. Let t be (n/(-3) - -3) + -3. Let u = 21 - 13. Solve -u*g + 4*g = t for g.
0
Let r(m) = 5*m + 1. Let b be r(0). Solve 0 = 4*x + b - 9 for x.
2
Let v(j) = -j**3 + j - 31. Let c be v(0). Let p = 1 - c. Suppose d = -10 + p. Solve 10 = 4*x + d for x.
-3
Suppose -4*k + 2*k = 0. Suppose -4*l = -k*l. Suppose n - 2*n = l. Solve n = -0*s + 2*s + 10 for s.
-5
Suppose 45 = 2*h + 3*n - 21, 4*h - 134 = -5*n. Suppose 0 = -4*f + 2*y - 6 + h, -f - 2*y = 5. Let i be (6/4)/(2/4). Solve -f = i*g + 1 for g.
-2
Suppose 2*x = 4*x - 4. Let g(n) = x*n + 4 - 6*n + n**2 + 0*n. Let t be g(4). Solve -j + t = 3*j for j.
1
Let g be (1 + -3)/(-2)*1. Suppose -2*r + r + g = 0. Solve 3*q = 4*q - r for q.
1
Let n be -3*(1 + 11/(-3)). Solve 12 = 4*u - n*u for u.
-3
Suppose -2*g - 10 = -3*g. Solve h = -h + g for h.
5
Suppose -5 = -2*a - 1. Solve a*u = u - 3 for u.
-3
Let u(q) = 3*q - 4. Let v be u(2). Let i = 2 + v. Solve 4*g + i = 8*g for g.
1
Suppose 15 = -4*j + 11. Let w(n) = -12*n + 1. Let d be w(j). Solve 0 = -2*h + d - 3 for h.
5
Suppose -f - 3 = 9. Let n = f - -16. Solve -10 = 2*i - n*i for i.
5
Suppose 2*c + 12 = -2*c. Let n(d) = 0 - 21*d + 18*d - 4. Let l be n(c). Solve -l - 5 = 5*u for u.
-2
Let f = 6 + -1. Let d = f - 1. Solve z - 3 = -d for z.
-1
Let c(t) = t**2 - 11*t + 22. Let b be c(10). Solve a - 4*a = -b for a.
4
Let k be (0 - -2)*(-6)/(-3). Solve -k*d + 3 = -3*d for d.
3
Suppose -5*x = -0*x. Let a be ((-30)/35)/(6/(-28)). Solve -a*d - 8 = -x*d for d.
-2
Let d be (-1 - 0)/(2/(-4)). Suppose -3*p - 4*g = -6 + d, 5*p - g - 22 = 0. Suppose p = l + 2. Solve 6*v + 4 = l*v for v.
-1
Let s(t) = -t**3 + 6*t**2 + t + 2. Let i(c) = 2*c - 7. Let u be i(6). Suppose -25 = -5*k + u. Let x be s(k). Solve -5*o = -o + x for o.
-2
Let p(n) = -n**3 + 10*n**2 - 7*n - 14. Let j be p(9). Solve 3*b - 1 = -j for b.
-1
Suppose 100 = 44*m - 39*m. Solve 3*t + 2*t = -m for t.
-4
Let f be (-4*1)/((-6)/12). Let w be (15/6 - 1)*f. Suppose w = c + 5*y, -2*y = 2*c - 3*y - 2. Solve -b + c*b = 2 for b.
2
Let p(a) = -4*a - 24. Let s be p(-6). Solve 7*j - 3*j + 8 = s for j.
-2
Suppose w = -2*v - 2*v - 5, -v + 3*w + 15 = 0. Suppose -x - 2*x + 9 = v. Solve 0 = -x*p + 2*p + 4 for p.
4
Let s(f) = -f + 2. Let j be s(2). Solve -n + j = 1 for n.
-1
Suppose -7 = -3*r + 17. Suppose 3*n = r*n + 15. Let s = -1 - n. Solve 0 = t + s*t for t.
0
Let h = -7 - -6. Let q = 3 - h. Solve -q*r + 7*r = 3 for r.
1
Suppose 46 = 15*k + 1. Solve -2*h = -k + 7 for h.
-2
Let z(h) = -h**2 - 5*h + 3. Suppose -o + 2*r = -1, -2*o = -4*o - 2*r - 16. Let v be z(o). Solve -7*t = -v*t for t.
0
Suppose -4*w + 29 - 5 = 0. Let r(j) = -j**3 + 6*j**2 - 4*j - 3. Let s be r(5). Solve -s*u - w = -0*u for u.
-3
Let y(x) = -2*x**3 - x**2 - x. Let a(v) = v**2 - 6*v + 4. Let q be a(5). Let l be y(q). Solve -l = h - 0*h for h.
-2
Let t be (-48)/(-21) - 2/7. Solve -2*p + 20 = t*p for p.
5
Let v be (0 + 3)/((-4)/((-160)/15)). Solve 5*l + 2 = -v for l.
-2
Suppose 2*f - 20 + 16 = 0. Solve -2 = -f*c + 4 for c.
3
Let f be (0 - -3) + -3 + 4. Let a be (f/5)/((-8)/(-20)). Solve -a*x - 6 = -0 for x.
-3
Suppose 4*y - 56 = -v, 2*y + 4*v - 55 = -y. Let b = y + 12. Solve 4*x = -x - b for x.
-5
Let o = -15 - -20. Solve 5 = o*x - 0 for x.
1
Let j be 1/2*0/2. Solve j = -2*d - 0*d for d.
0
Let f be (2 + -5)*(-30)/9. Let d(w) = -2*w**2 + w**2 - 2*w + f*w + 12. Let g be d(9). Solve q = g*q for q.
0
Suppose y = -3 + 4. Solve 7*l - y = 6*l for l.
1
Let j = -5 + 5. Let c(q) = q - 2. Let t be c(6). Suppose -8 = 4*o + t*f, j - 14 = -3*o + 2*f. Solve 0 = g - 3*g + o for g.
1
Let o = 118 + -115. Solve 0 = -2*w - w + o for w.
1
Let a be (-5 - 9/(-2)) + (-9)/(-2). Suppose 2*w = 5 + 7. Let j be (-4)/6 + 22/w. Solve -a*z = -1 - j for z.
1
Let c = -4 + 9. Suppose c*u = u. Solve -y + u*y = 1 for y.
-1
Let w be -2 - -4 - 0/2. Suppose -d + 4 = -4*h, -7*d - w*h = -2*d - 20. Solve 2*a + 2 = d*a for a.
1
Let z = -38 - -44. Solve z*m = 4*m for m.
0
Let z be -1 + 1 + (0 - -2). Suppose 0 = 2*x - f + 2, 0*f - 15 = x - 4*f. Let d be x - 4*2/8. Solve z = k - d*k for k.
2
Suppose 8 + 12 = 5*z. Solve z*f + 8 = 2*f for f.
-4
Suppose 0 = -j - 4*j - 30. Let z be j/9*3 + 5. Solve -z*p + 0 + 3 = 0 for p.
1
Suppose 0 = b + o + 4, -2*b + 5*o = 4*o + 17. Let s(a) = a**2 + 6*a - 1. Let l be s(b). Solve 6*g = 3*g - l for g.
-2
Let f = -23 - -28. Suppose 0 = 5*u + f*s + 3 - 13, 5*u - 6 = -3*s. Solve u*n - 4 = 2*n for n.
-2
Suppose -2*c + 9 = c. Solve 3*o + 9 + c = 0 for o.
-4
Let q = -9 + 15. Solve -n = -3*n + q for n.
3
Let b be (-304)/(-14) + (-4)/(-14). Let d = b - 13. Solve q - d = -4 for q.
5
Let p = -31 - -33. Solve p*y + y = -3 for y.
-1
Suppose l = u + 5*l - 9, 2*u + l = 4. Solve u - 6 = -o for o.
5
Let o be 2/(-6)*(-150)/10. Solve -o*x = -2*x - 15 for x.
5
Let w(o) = -10 + 4*o + 5 - o**3 - 3*o**2 + 10. Let z be w(-4). Solve z*s + 15 = 2*s for s.
-5
Let u = 1 - 3. Let z be (4 - (-3 - u)) + -1. Suppose 11 = p + 5. Solve -p*k - 4 = -z*k for k.
-2
Suppose 3*f + 23 = -5*h, 3 + 12 = -h + 2*f. Let d = h + 7. Solve 3*z - z + 4 = d for z.
-2
Suppose 5*r + 2*d = r + 16, r - 3*d = -3. Suppose 3*l - 3*f = 33, -r*l - 3*f = f - 12. Solve 3*q - q = -l for q.
-4
Suppose -m = -6*m + 35. Let q be ((-6)/9 - -1)/((-1)/(-12)). Solve 0 = q*d - m + 19 for d.
-3
Let w = 39 - 9. Suppose w = -2*n + 5*n. Solve -5*u - n = -35 for u.
5
Let h(d) = -d + 6. Let a be h(11). Suppose -48 = 3*z + 12. Let q be a/z - 47/(-4). Solve -4*s - q = -s for s.
-4
Let m be 1*-5*(4 + -5). Suppose 0 = -i - 3*i - 5*w + 29, 4*w = -m*i + 25. Solve i = -3*k - 8 for k.
-3
Suppose -6*k = 4*o - 4*k + 16, -5*k = -5*o - 5. Let p be -1 + 7 + -3 + o. Suppose -4*w = 4*y, -w + p*w + 3*y + 8 = 0. Solve w*j = -j + 12 for j.
4
Suppose 5*b + 15 = 0, -g + 4 = -0*b + 2*b. Suppose -2*u + 2*r = -10, g = 3*u + 2*r - 0. Suppose u*d - 44 = -0. Solve d + 4 = -3*o for o.
-5
Suppose 8 = -4*t + 8. Solve t*o = -3*o - 9 for o.
-3
Let h(n) = -2*n**2 + 10*n - 9. Let j be h(3). Solve 0 = y + j*y + 20 for y.
-5
Suppose 3*o + 1 = 16. Let g = -9 - -14. Suppose 2*m = -10*i + g*i - 8, -m - 4 = 0. Solve 0 = b + o - i for b.
-5
Let g = 5 - 3. Solve -z + g*z = 5 for z.
5
Let a(v) = -14*v**2 + v. Let s be a(-1). Let n be (-6)/(-15) + 6/s. Solve -4*x + x - 12 = n for x.
-4
Let z be (0/(-1))/(-2*1). Solve 3*a + 0*a + 12 = z for a.
-4
Let c(l) be the third derivative of -l**6/120 - 7*l**5/60 + l**4/24 + 7*l**3/6 - 5*l**2. Let m be c(-7). Let f be 2 + -3 - (-6 + 1). Solve m = f*w - w for w.
0
Let t = 186 - 174. Solve 17*u = t*u for u.
0
Let t be 1 - -3*4/(-6). Let k be (-5 + (-57)/(-9))/((-2)/6). Let y = t - k. Solve y*x - x = -2 for x.
-1
Let b(i) be the second derivative of 0 - i + 3/2*i**2 - 1/3*i**3 - 1/12*i**4. Let w be b(-3). Solve 5*r + 4 + 6 = w for r.
-2
Let t = 23 + -11. Suppose -3*w + t = w. Suppose k - w*k = 0. Solve q = -k*q - 4 for q.
-4
Let d be 4/3*(-9)/(-2). Suppose 20*l - 16*l - 8 = 0. Solve -d*j = -l*j + 4 for j.
-1
Suppose 0 = 2*s + s - 18. Let g = s - 2. Suppose -2*b - 2 = -m - 3*m, 3*m + 2*b = 19. Solve -1 = g*h - m*h for h.
-1
Suppose 2*y + 3*s - 11 = 4*s, -3*y = 3*s + 6. Let t(n) = 2*n 