= -a*q for q.
0
Let l(f) = -f - 2. Let v be l(-8). Suppose -v*g + g = 0. Solve b - 2*b - 5 = g for b.
-5
Let v = 0 + 4. Solve -6 = t - v for t.
-2
Let n = 200 - 200. Solve 2*c + 9 - 3 = n for c.
-3
Suppose -3*z + 20 = -5*q - 6, -2*z - q = 0. Solve 4 = z*g + 2 for g.
1
Suppose 0*u + 18 = 2*u. Suppose -5*n + u = -2*n. Suppose 0 = -n*b + 11 + 10. Solve 0 = -2*y - 1 - b for y.
-4
Let a = -13 + 16. Suppose 0 = q + 3*q - 32. Solve q*t - 5 = a*t for t.
1
Suppose -15 = -5*q + j, 2*j = 1 - 11. Let z(v) = 7*v + 3*v**q - 7*v + 1. Let s be z(1). Solve -5*h + s*h = 1 for h.
-1
Let a be (-10)/2*(-128)/10. Let p = -32 + a. Solve 0 = -4*b - 12 + p for b.
5
Suppose 0 = -3*r - 5*l + 35, 2*r - 4*l - 18 = -2*l. Solve r*y - 6*y = 0 for y.
0
Let a be ((-6)/9)/(1/(-12)). Let t = a + -8. Solve 5*o + 10 - 30 = t for o.
4
Suppose -2 + 2 = 6*w. Solve w*m + 15 = 3*m for m.
5
Let j = 6 + -9. Let s be 12*2/(-4)*j. Suppose 2*i = 3*p - 12, 2*i = -3*p + 13 + 11. Solve p = -4*c + s for c.
3
Let w(j) = 2*j + 45. Let l be w(-19). Solve -6*n + l*n = 0 for n.
0
Let g = 22 - 14. Let n = 13 - g. Solve 0 = -5*w - 20 - n for w.
-5
Let t be 0 + (-2)/(-1) + -2. Let c be 9/2*(-10)/(-15). Suppose -x + 2 = t, c*x - 6 = 4*w - 4. Solve 0 = -v - w for v.
-1
Suppose 0 = -y - 2*y + 3. Let s be (2/1)/(y - 3). Let o be (s/2)/((-2)/8). Solve 0 = -o*v - 13 + 3 for v.
-5
Let r be (-2)/3*3/(-2). Let w be (-2)/(-6) + 48/18. Let a = w - r. Solve -a*k + 8 = 2 for k.
3
Let a(q) = -2*q + 11. Let l be a(4). Solve 0 = s + l for s.
-3
Let z = 4 + -2. Suppose -3*v + 36 = -4*o, 4*v = -o + 29 + 19. Let m be (2 + 1)/(9/v). Solve -m*h - z = 2 for h.
-1
Let h be 2 - 0 - (2 + 0). Let n = h + 2. Let q = 4 - n. Solve -5 - 3 = q*u for u.
-4
Suppose 0 = -s + 3*s, 4*c + 4*s + 108 = 0. Suppose 0 = -o - 3*p - 0 + 2, 3*o = 4*p - 20. Let g be o/(-3)*c/(-6). Solve g*i + 3 = 3*i for i.
-1
Suppose 3*v - 7 = c, -5*c = v - 0*v - 13. Suppose -4*n = -2*d + 10, -d + 2 = -n - 1. Let f = v - d. Solve f*g = -g for g.
0
Suppose -g - 3*g = -d - 11, -g = -2*d + 6. Solve 4 = g*t - 2*t for t.
2
Let x = 33 - 25. Solve -2*q - x = -0*q for q.
-4
Suppose 5*p - 20 = -3*m, 8*m - 26 = -p + 3*m. Solve g + 0 = -p for g.
-1
Suppose -5*i = -0*i + o - 20, 4*i = 3*o + 35. Solve -13 = -i*a + 7 for a.
4
Let t be 1/3 - 35/15. Let m be t/(-7) + 276/14. Solve 7*w = 2*w + m for w.
4
Let b(k) = -k**2 - 3*k + 7. Let c be b(-5). Suppose -4 - 5 = 3*h. Let w = h - c. Solve 3*s + w = 12 for s.
4
Let b be 2/((-1)/(12/(-8))). Let l be 0*(7/b + -2). Solve l*m = -5*m for m.
0
Suppose 1 + 27 = 4*m + 4*y, 5*m - 20 = -2*y. Solve 7 = k + m for k.
5
Let u(g) be the third derivative of -g**5/60 + g**4/4 + 5*g**3/3 + 7*g**2. Let d be u(7). Solve -1 + 4 = d*l for l.
1
Suppose -2*x - 5 + 11 = 0. Solve 0*f = x*f for f.
0
Let c = 137 + -132. Solve -5 = 5*k + c for k.
-2
Let x(m) = 3*m + 2. Let p be x(1). Solve 0 = -p*y - 0 + 25 for y.
5
Suppose 1 - 3 = 4*s + b, 0 = -s - 2*b - 4. Solve s*i = 2*i - 2 for i.
1
Suppose 2*p + 2*p - 18 = -3*b, 0 = 5*p - 2*b - 34. Suppose -4*i = 5*x + 60, 2*i + 2*x = -p - 22. Let w be (-5)/2*16/i. Solve -2*y - w = 2*y for y.
-1
Let g = -117 - -125. Solve 4*d + g = -4 for d.
-3
Let l(u) = -3*u**2 + 3*u. Let z be l(2). Let k = z + 4. Let o = 9 + k. Solve o*x = 3*x + 16 for x.
4
Let k = 14 - 3. Solve -3*r + 4 = -k for r.
5
Let t(y) be the second derivative of -y**3/6 - 7*y**2/2 - 3*y. Let n be t(-7). Solve n*g + 3 = g for g.
3
Let v(d) = -15*d. Let i be v(-1). Suppose -12*t = -i*t. Solve -l + 0*l + 5 = t for l.
5
Let g(r) be the second derivative of -r**5/20 - 5*r**4/12 - r**3/6 - 3*r**2/2 + 3*r. Let b be g(-5). Solve b*i = -i for i.
0
Let p be 6/9 - 1/(-3). Solve p - 13 = 4*v for v.
-3
Let t(u) = -u**3 + u**2 + u - 1. Let q be t(2). Let d be (90/q)/(3/(-2)). Solve 5*k = -0*k - d for k.
-4
Suppose -3*o + 14 = -q, -2*q = -o + 6*o - 16. Solve 0 + 8 = -o*h for h.
-2
Let o be 0/1 - -13 - 3. Suppose 2*y - 4 = -5*k - 22, 5*k = 5*y + o. Let z(h) = h**2 + 4*h + 2. Let q be z(y). Solve -q*g + 1 = -3*g for g.
-1
Let k(t) = -t**3 + 9*t**2 + t - 7. Let v be k(9). Let r be -5*((-4)/(-5) - v). Let l(y) = -5*y**3 - 1. Let p be l(-1). Solve -r*i + p = -4*i for i.
2
Suppose 12 + 12 = 3*w. Solve -u = u + w for u.
-4
Suppose 0*l - l = 2. Let k = l - -6. Solve b - k + 3 = 0 for b.
1
Let p be (8/(-1))/(1/(-4)). Let b be -1*2 + 0 + p. Suppose -5*a = -5*h - 50, 4*a - a = -5*h + b. Solve -4*m = -6 - a for m.
4
Suppose -3*h + 35 = 2*h. Let p be (-2)/14 + (-44)/(-14). Solve 0 = p*c - h - 8 for c.
5
Let c(n) = -n + 11. Let k be c(3). Solve 0 = -4*x + 12 + k for x.
5
Let q(l) = 3*l + 1. Let d(n) = 7*n + 3. Let k(p) = -2*d(p) + 5*q(p). Let f be k(4). Suppose -j + 5*y + 4 = 0, 0*y - 4 = -j - 2*y. Solve -j*i + f*i = -5 for i.
5
Let c = 0 + 2. Solve 0 = c*d - 0*d for d.
0
Let x(d) = 5*d**2 - 5*d - 8. Let r be x(7). Suppose o = -i - i - 46, -i + r = -4*o. Let v = -22 - o. Solve -5*t - 3 = -v for t.
5
Let z = 13 - 35. Let f = -6 - z. Solve -5*d = 4 + f for d.
-4
Suppose -3*x = -3*s + 15, 0 = 4*s - 0*x - x - 8. Solve -4*p + 3 + s = 0 for p.
1
Let y(m) = -2*m**2 + m + 1. Let u be y(1). Solve u = -0*d + 4*d for d.
0
Suppose 0 = -3*w - 5*s + 25, 6*w - 5*s - 45 = 2*w. Solve -3*k - w = -1 for k.
-3
Suppose 0 = 4*o - o - 9. Let j = -6 - -14. Solve a = o*a + j for a.
-4
Suppose m = -m. Suppose m = -2*w + 5*w - 6. Solve -w*p + 3 = -7 for p.
5
Suppose -3*g + 39 = -0*g. Let b = 15 - g. Solve -b = -2*h + 2 for h.
2
Let h be 2 - 3 - (3 + -2). Let t = -4 + 11. Let w = h + t. Solve w = -y - 0*y for y.
-5
Let y be 0 + -2 - (1 - 2). Let z = y - -1. Suppose -2*s + 2*h + 16 = 4*h, -3*s + 5*h - 8 = 0. Solve s = -z*b + b for b.
4
Let c be (-3)/(-2 + (-2 + 5)/3). Let p = -1 - -10. Solve -c = -3*o + p for o.
4
Suppose -2*v = d - 55, -2*d = 5*v - 0*d - 138. Let j = v + -25. Solve -2*f + 25 = j*f for f.
5
Let j(k) = k**2 + 10*k + 11. Let l be j(-9). Let p = 4 - 2. Solve -p*a = l*a for a.
0
Let b = 16 + -23. Let u = -2 - b. Suppose -20 = -u*w - 0. Solve 0 = -d + 5*d + w for d.
-1
Suppose 2*j = -m, -2*j - 3*j - m = 0. Suppose -5*f - 18 = -4*l, -f = -5*l + 2*f + 16. Suppose -v + 2*g - 23 = -3*g, -l*g + 8 = -v. Solve j = -v*o - o for o.
0
Suppose -8*l = 11 - 35. Solve 0 = -3*m + 4*m + l for m.
-3
Suppose 5*z - 5*x = 25, 0 = z - x + 2*x + 1. Suppose -5*m - z*b = 3*b - 35, 4*m - 5*b + 8 = 0. Suppose t = 18 - m. Solve -4*v = -v - t for v.
5
Let d(q) = q. Let f be d(2). Solve 0 + f = -2*l for l.
-1
Let g(f) = -f**3 + 11*f**2 - f + 14. Let p be g(11). Solve -p*b - 8 = 1 for b.
-3
Suppose 2*x - 3*h = 5, -4*x + 4 = -5*h - 7. Solve -4*g = -16 - x for g.
5
Suppose -g + 0*g + 11 = 4*q, 3 = q. Let z = 4 - g. Solve 0 = z*s - 5 - 5 for s.
2
Suppose 0 = 5*u - u. Solve -a + 2*a - 2 = u for a.
2
Let n(r) = 2*r - 1. Let z be n(2). Suppose 3*l = -5*v + 43, -11 = z*l + 1. Solve -v = 4*y - 3 for y.
-2
Let w = 71 + -66. Solve -w - 3 = 2*g for g.
-4
Let o = 28 - 54. Let c = o + 46. Suppose 2*d - l = -1, 0*d - 2*d + 2*l = 6. Solve d*x = 6*x + c for x.
-5
Let d(x) = 3*x**3 - x**2 - 2*x + 2. Let w be d(2). Suppose n - w = -3*i, 11 = 5*i - 2*n - 19. Let g be (-3)/(-9) - (-28)/i. Solve -4*h + 3 = -g for h.
2
Let u(i) = -14*i**2 + 41*i - 27. Let m(y) = -5*y**2 + 14*y - 9. Let x(n) = 17*m(n) - 6*u(n). Let r be x(-9). Suppose r = 2*s + 2 - 8. Solve t = s*t + 2 for t.
-1
Suppose 5*a = -2*a. Let s = -6 + 8. Solve -s*m = -a - 2 for m.
1
Suppose -5*r - 25 = -5*q, -q - 5*r + 0*r = 1. Solve -c = -q + 2 for c.
2
Suppose z - 3*z + 3*b = -27, -87 = -4*z - 5*b. Suppose 4*l + 10 - z = 0. Solve -l*r = -0 - 2 for r.
1
Suppose -21 = -5*j + 2*i, j = -2*i + 1 - 4. Solve b - j*b = -8 for b.
4
Let c be 78/8 + 8/32. Suppose 0 = c*v - 5*v - 25. Solve 0 = -v*x + 5 - 20 for x.
-3
Let y = 0 - 0. Suppose 5*x + 1 - 16 = y. Suppose 0*w - x = -3*w. Solve -9 = -2*s - w for s.
4
Suppose 0 = 3*v - v - 8. Solve 3*z + 2 = v*z for z.
2
Let z(l) = l**2 - 7*l. Let h be z(6). Let p(q) = -q + 3. Let t be p(h). Solve t + 11 = -5*o for o.
-4
Let h = -25 - -7. Let b = 18 + h. Solve 3*a + a + 16 = b for a.
-4
Suppose -5*r = -4*r - 3. Suppose r*b + 2 = -2*n + 7*b, -2*b = -4. Suppose -7 = -5*a - 27, 0 = n*u - a - 52. Solve -3*y = 1 - u for y.
5
Suppose 0 = -5*z + 2*n - 170, 0 = -2*z - 3*n - 45 - 23. Let c = -3 - z. Solve 0 = 4*a + c - 11 for a.
-5
Suppose -6*u + 5*u + 3 = 0. Solve 6*