lve -z - 12 = h*z for z.
-4
Let k be (-152)/10*15/(-6). Let o = k - 18. Solve -p - o = 4*p for p.
-4
Let d = -2 - -7. Let r(w) = -w + 2. Suppose 2 = -x - 3. Let j be r(x). Solve -d*b + 2 = j for b.
-1
Let a = -9 + 4. Let o = a + 11. Let s = o - 2. Solve s*f = 2 + 6 for f.
2
Let d be (1 - 1/(-1))*2. Solve 0 = c - d*c + 15 for c.
5
Suppose 4*x + 3 = 23. Suppose 3*p - l = 6, -7*p + 10 = -2*p - 5*l. Suppose 0 = d - i - p, -d - 6 = -2*i - i. Solve -x*c - d = 9 for c.
-3
Suppose -3*b + 9 = -0*b. Let p(q) = q**3 + 4*q**2 - 4*q - 2. Let g be p(-5). Let i = g - -11. Solve 2 + i = -b*z for z.
-2
Suppose 4*y - 5*y - 1 = 0. Let f(j) be the first derivative of j**3 + j**2 + j + 2. Let n be f(y). Solve 4 = n*c - 0 for c.
2
Let b = 3 - 7. Let t be 3 - b*(-2)/(-4). Solve t*h = 3*h for h.
0
Suppose -2*g + 2*u + 41 = -23, g = -u + 40. Let c = g + -22. Suppose -5*l + 1 = -c. Solve h = l*h for h.
0
Suppose 3*r - 10 = -2*r. Let n = r + -2. Suppose 4*b - x = 34 + 33, 4*x + 12 = n. Solve 0 = -a - 3*a - b for a.
-4
Suppose 2*x = -h - 9, 3*h = -x - 2*h - 9. Let n be x/8 + 13/2. Let l(v) = v - 5. Let m be l(n). Solve 0 = -z + m - 0 for z.
1
Suppose 5*p - 2*t + 7*t = 0, 0 = 3*p + 2*t - 5. Solve -p*a = 12 - 32 for a.
4
Let r(k) = -k**2 + 2*k. Let n be r(0). Solve 5*f + 4 + 6 = n for f.
-2
Let j = 35 + -33. Solve -y + 9 = j*y for y.
3
Suppose -j + 8 = -3*j - 4*g, -g - 1 = j. Suppose 12 = 4*p + l, p - 5*l + 11 = -7. Suppose 11 = j*c - k, -p*k = k + 9. Solve 0 = m + c*m + 15 for m.
-3
Suppose 0 = -6*u + 3*u - 2*a + 2, 4*u - 11 = -a. Solve -u = -0*l + l for l.
-4
Suppose 3*p = -4*s - 9, -4*s + 6 = -p - p. Let d = -6 - -10. Suppose -d*l + 9 = -3. Solve k + l = -s*k for k.
-3
Suppose 2 - 66 = -16*t. Solve t*i = -0*i + 12 for i.
3
Suppose 0 = -3*q + q. Solve q*d = -2*d for d.
0
Let r(j) = -j**2 + 10*j + 5. Let f be r(8). Suppose f = 8*c - 5*c. Solve -3*x = -c - 8 for x.
5
Suppose 3*t = -t. Let j(q) = -q + 1. Let p be j(-5). Suppose -o + p = -h + 1, 0 = 2*o - 3*h - 11. Solve t = c + o*c - 25 for c.
5
Let m = 7 + -1. Solve f - 3*f = m for f.
-3
Let p(c) = 2*c**3 - c**2 + c. Let g be p(1). Suppose -2*a - g*h = -30, -h - 30 = -0*a - 2*a. Solve a = -4*k - k for k.
-3
Suppose -4*d + 3*d = 0. Solve d = -2*s + 4*s + 8 for s.
-4
Let x(u) = u**2 - 6*u - 1. Let r be x(5). Let t = -7 - 1. Let v = r - t. Solve 0 = -v*f + 6 + 2 for f.
4
Suppose -4*h + 46 = 18. Suppose q + 18 = -d - 3*d, -q - 5*d = 23. Solve q*l = h*l + 25 for l.
-5
Let t = 3 + -4. Let p be 0 - (-3 - (t + -1)). Let m be 2/(-4)*-4 - -1. Solve -m*b + p = 7 for b.
-2
Suppose 16*p - 22 = 5*p. Solve 5*s = p + 3 for s.
1
Let c(q) = q**2 + q + 3. Let k be c(2). Solve -5*o = -8*o + k for o.
3
Let a = 8 - 4. Suppose -a*g - g - 11 = 3*c, 0 = c - g + 1. Let v be c/(-5) + 8/(-20). Solve v = -0*i + 2*i + 6 for i.
-3
Let d = 9 + -7. Let l be d + 12/(-4) + 4. Let w be -3*(12/9 - 2). Solve 1 = -l*r - w for r.
-1
Suppose 0 = -3*y - 7 + 16. Solve y*x - x = 0 for x.
0
Let s(l) = l**3 - l**2 + 6. Let x be s(0). Suppose 0 = 4*a - 3*a - 2. Suppose 5*t + u - 17 = 0, -u - 11 = -a*t - 0*t. Solve -t*i - x = -i for i.
-2
Let t = -18 + 10. Let n = 26 + t. Let y be 6/27 + (-4)/n. Solve -1 = v - y*v for v.
-1
Suppose -5*b + 26 = 5*z - b, 5*z + 10 = 5*b. Solve -z*o + 2 = -8 for o.
5
Let b(d) = -d - 3. Let g be b(-5). Let s be 3/(-2) - (-91)/14. Solve g*o = s*o for o.
0
Suppose 4*n = -2 - 2. Let p = 9 + n. Solve -3*w + p = w for w.
2
Let c = -327 - -330. Suppose 5*n = 4 + 6. Solve -c = n*o - 1 for o.
-1
Let v be ((-8)/6)/(4/(-6)). Suppose 169 = -3*n + 214. Solve -n = v*f + f for f.
-5
Suppose 5*c = 2*c + 45. Suppose 2*n = -n + c. Let j = n + -5. Solve 4*i + i + 20 = j for i.
-4
Let m = -22 - -37. Solve -2*t - 3*t = m for t.
-3
Let i = 13 + -13. Let s(y) = y**3 + 3. Let k be s(0). Solve i*n + k*n = 9 for n.
3
Let k(d) = -3*d + 0*d - d. Let c be k(-1). Solve 2*n + 10 = c*n for n.
5
Let h be 5 - (5 - 10 - -5). Solve -4*u + h = -11 for u.
4
Let a(r) = r**3 - 9*r**2 - r + 12. Let x be a(9). Suppose 3*t - 12 = x. Solve l = t*l - 16 for l.
4
Let m be 2/(-6) + (-2)/(-6). Suppose -4*w + m*w + 20 = 0. Solve 2*g - w = g for g.
5
Suppose 5*z = -2*n + 70, 0 = 4*z - 2*n + 16 - 90. Suppose -g - 8 = d - 2*d, -g = 5*d - z. Solve -5*b - d = -b for b.
-1
Let z = 10 + 16. Suppose -y - 5*a = 4*y - 20, 4*y - a = z. Solve 16 = -2*f + y for f.
-5
Suppose -4*q - q = -20, 0 = y - 3*q + 8. Suppose i - 15 = -2*c + y*i, -5 = -c + i. Solve -j + c*j = -5 for j.
5
Suppose -5*b = -b - 112. Suppose 0 = c - 6 + 3. Solve c = -5*q + b for q.
5
Let i be (21 - 19) + -3*(-1 - 0). Solve i*n + 1 - 6 = 0 for n.
1
Let o(h) = h**3 - 4*h**2 + 5*h - 1. Let w be o(3). Solve 8*g = w*g for g.
0
Suppose 2*w - 3*y + 0*y + 8 = 0, 5*w = -y + 14. Solve 6*r - w*r = 4 for r.
1
Let i be (0 - 3)/(18 - 21). Solve 5*x + 4 = -i for x.
-1
Let d = -7 + 11. Suppose 7*f - 2*q = 2*f + 515, -545 = -5*f - d*q. Suppose -3*m + f = 3*i, -3*m + 55 = 2*i - 4*m. Solve 0 = 5*j - i + 5 for j.
5
Let r be 3/2*(11 - 9). Solve -r*u + 0 = -3 for u.
1
Let r be (-2)/(-3) - 6/9. Solve r = -4*i - 2 + 14 for i.
3
Suppose 3 = 2*s + 9. Let k be (-5)/s + 3/9. Suppose -k = -0*o - o. Solve o*y = -2*y for y.
0
Suppose -4*q = 5*u + 129, 2*q - 9 - 89 = 4*u. Let j = -15 - u. Solve 3*t = t - j for t.
-5
Let f be (-8)/12 - 16/(-6). Solve f*z = 7*z for z.
0
Suppose 3*s - 18 = -3*s. Solve -4 = s*t + 2 for t.
-2
Let b = 46 - 26. Let x be b/9 - 8/36. Suppose -28 = -5*g + x. Solve g*u = 4*u - 4 for u.
-2
Let f(z) = -z**2 + 10*z - 7. Let k be f(6). Suppose 0*i - 5*r + 19 = -3*i, -r = -5*i - k. Let g = -2 - i. Solve 3*y - g = 2 for y.
1
Suppose -b = -4*t + 37, 5*t + 3*b = 2*b + 35. Suppose 7*c = 3*c + 32. Let a = c - t. Solve a = -2*y + 3*y - 2 for y.
2
Let v be 2/(-4) - 2/(-4). Let n(r) = -5*r**2 + 6*r + 3. Let c be n(-2). Let g = 34 + c. Solve -g = -v*b + 5*b for b.
-1
Let x(u) = u**2 + 7*u - 6. Let c be x(-8). Suppose 5*m - p + 1 = c, 8 = 4*m + p. Solve 0 = -b - 4 - m for b.
-5
Let d be (-12)/16 + (-22)/(-8). Suppose -3*z + 7 = -d. Suppose -z = -q - 2. Solve 4*y - q = 3 for y.
1
Suppose 0 = -0*a + 2*a - 12. Solve a = -4*n - 2 for n.
-2
Suppose -45 = 4*p - 21. Let z be (4/(-6))/(p/45). Let u be (-1 - -3) + (1 - 1). Solve z*n = u*n - 12 for n.
-4
Let t(n) = n**2 + 9*n + 12. Let o be t(-8). Suppose -a + 31 + 0 = -5*p, 5*p = o*a - 49. Solve q = -q - a for q.
-3
Suppose 2*p + 10 = 4*c, c = -c - 3*p + 1. Suppose -2*w = -c*i - 0*i + 8, 2*w + 8 = 0. Suppose -3*r + i*r = 5*m, -2*m = r. Solve r*z = 3*z for z.
0
Suppose 0 = -5*g - 0*u - 5*u + 20, 0 = -4*g + 5*u - 2. Solve 7*x - 6*x = -g for x.
-2
Suppose -2*p + 50 = 3*p + 2*n, -17 = -p + n. Let s = p - 9. Let d(o) = o**3 - 3*o**2 - o - 3. Let l be d(4). Solve -3 = s*a + l for a.
-4
Suppose 0 = -5*f - 7 + 42. Suppose f*j - 3*j = 12. Solve 0*g - j*g = -6 for g.
2
Let z(q) = 19*q**2 + 4*q + 3. Let j be z(-1). Solve -5*w = -2 - j for w.
4
Let r be (3/1 - -5)/1. Solve -r = 3*a - a for a.
-4
Suppose -5*q - 25 = -2*q + 4*j, q + 5*j + 12 = 0. Let o be (-18)/(-42) - 25/q. Solve -o*v = v for v.
0
Suppose 5*h - 5 = -3*i, 0*h = h - 1. Solve -w + 6*w + 25 = i for w.
-5
Let g be ((-7)/(-2))/((-3)/(-6)). Suppose 0 = 3*q - 3*m - 12, 4*m = -5*q + 11 - 0. Solve -g + q = x for x.
-4
Let z(k) = -3*k + 5. Let p be (4 + 1)/(2 - 3). Let w be z(p). Let l be (24/(-28))/((-2)/7). Solve w = l*i + i for i.
5
Suppose -3*q = -5*b - 0*q + 8, 0 = 3*q - 12. Let h = -60 + 60. Solve h = -b*p - 0*p - 8 for p.
-2
Suppose 7*z - 33 + 12 = 0. Solve z*l = 6*l - 3 for l.
1
Let a(c) = -2*c - 30. Let q be a(-15). Solve -4*h - 1 - 3 = q for h.
-1
Let s be ((-6)/4)/((-1)/4). Solve y = s*y for y.
0
Suppose 3*o - 7*o + 36 = 0. Suppose -3*p = 3*y - 3 - 3, -18 = -5*p - 3*y. Let g be ((-3)/2)/(p/(-16)). Solve g*w + o = w for w.
-3
Suppose t - 2 + 8 = -5*i, 0 = -2*t + 3*i + 27. Solve -5*g - t = 6 for g.
-3
Suppose 3*n + 36 = -3*f, 3*f + 0*f = 3*n + 12. Let d be (1/2)/(1/n). Let v be ((-4)/(-2)*d)/(-2). Solve v = -3*u - 5 for u.
-3
Suppose -12 = -6*o + 3*o. Suppose o = 7*g - 11*g. Let p = 1 - g. Solve -3*y - p*y = -15 for y.
3
Let h(f) = -9*f - 3. Let v be h(-1). Solve 2*r + v = 4*r for r.
3
Let l = -42 - -8. Let v = -13 - l. Solve -5*o - v = 4 for o.
-5
Let l(o) be the second derivative of o**3/3 - o**2 + 2*o. Let t be l(3). Solve t*d + 2 = 14 for d.
3
Suppose 5*k