z be r/(-4) + (-105)/14. Let t be (-1)/3 - 32/z. Solve -16 = -t*p + 4 for p.
4
Suppose 5*i + 12 = 37. Suppose 2*a - 2*c - 2*c - 8 = 0, 0 = 4*a - i*c - 10. Solve -3*w + a = 3 for w.
-1
Suppose 13 = 7*q - 15. Solve q = 5*d - 16 for d.
4
Let v = 11 - 7. Let z(u) = 4*u**3 + 4 - 4*u**3 - u**3 + v*u**2. Let a be z(4). Solve -f - f = a for f.
-2
Let a(y) = -2*y**2 + 7*y**3 - 6*y**3 + y + 2 - y**2. Let t be a(2). Solve 0*h + 4*h = t for h.
0
Let f(y) be the first derivative of y**4/4 - y**3/3 - y**2/2 - 2. Let m be f(2). Solve h - 3 = m for h.
5
Let v be (-3)/(3 + (-328)/110). Let o be v/(-12) - (-3)/12. Let s be ((-22)/(-6))/((-2)/(-6)). Solve 5*t + o = -s for t.
-5
Suppose 3*d = -2*x - 20, 5*x - d = 3*x - 20. Let a = -6 - x. Let b = 2 + a. Solve i = -i + b for i.
3
Let q = -84 + 86. Solve 1 + 7 = -q*i for i.
-4
Suppose -z = -0*z - 8. Let f = 10 - z. Solve 3*j + f*j = -10 for j.
-2
Let z = 140 - 138. Solve -2*t + t - z = 0 for t.
-2
Suppose -2*b - 78 = b. Let o = b - -38. Solve -5*w = -2*w + o for w.
-4
Let s be (11 - 6)/(25/10). Solve -s*d = 4*d - 30 for d.
5
Let j(o) = o**3 - o**2 - o - 1. Let c be j(2). Let k = 1 + c. Let t be 5 + -3 + (1 - 1). Solve -k*h - 6 = t for h.
-4
Let d be (15/10)/(6/16). Suppose -d*l + 3*l = 0. Suppose -2*o - 3*q - 15 = -5*o, -o - 4*q = l. Solve 0*f = o*f for f.
0
Let p be ((-5)/(-4))/((-2)/(-16)). Solve -2*y = p - 2 for y.
-4
Let s(o) = -6*o**2 + 48*o. Let g be s(8). Solve 0 = -g*k + 4*k - 16 for k.
4
Let y(u) = -u + 3. Let p be y(3). Suppose p*a - 1 = -a. Solve 2*w + a + 5 = 0 for w.
-3
Suppose 0 = 5*w - 2*w - 6. Suppose 2*d = -2*n - 2, w*d + 2 + 4 = 0. Solve 0 = -q + 4 - n for q.
2
Let f be (-1 + (-3)/(-2))*6. Suppose -a + f = -0. Solve -a*s = 2*s + 10 for s.
-2
Let l(y) = -y**3 - 4*y**2 + 2. Let x be l(-4). Suppose 2*t + 32 = -x*t. Let u = 11 + t. Solve -u*m + 10 = -m for m.
5
Suppose 4*y = 3*q + 35, q + 1 = -4. Solve 0 = -y*w + w for w.
0
Suppose 0*y + 12 = 4*y - 5*j, 2*y + 4*j = 6. Suppose 5*a + y = 63. Suppose -a = 3*p - 6*p. Solve -p*o - 5 = 3 for o.
-2
Let j(l) = -9*l + 4. Let f be j(6). Let k = -18 - f. Suppose -y = -2, 2*u - k = -3*y - y. Solve u = b + 2*b for b.
4
Let x(h) = 3*h. Let i be x(2). Let j be 18/(-4)*(-4)/i. Suppose 5*t + a = 11, -j*a + a - 4 = -3*t. Solve t = -q - 1 for q.
-3
Suppose -5*s + 7 = -8. Suppose 4*w - 2*z = s*z + 31, -5*w - z = -75. Suppose -w + 59 = 5*p. Solve -5*b - p = 11 for b.
-4
Suppose -p = -5*s - 3*p + 30, -3*s + 18 = 4*p. Let z be s/(-14) + (-62)/(-14). Solve -z*h - 10 = h for h.
-2
Let k = -26 - -16. Let r(t) = -t**3 - 10*t**2 - t - 8. Let m be r(k). Solve -6 = 4*d + m for d.
-2
Let j(k) = k**2 + 7*k + 10. Let d be j(-6). Let o be 3*(2 - (1 - -2)). Let u = o + 7. Solve -d + 0 = -u*c for c.
1
Let o = -154 - -158. Solve o = d - 2*d for d.
-4
Suppose 6*d - 10 = 8. Solve -7 = -4*i - d for i.
1
Let z be -2*(-4*1 + 1). Let f be z/24 - (-14)/8. Solve f*t = -0 - 8 for t.
-4
Let h(d) = -d**3 + 16*d**2 - 2*d + 32. Let j be h(16). Solve -5*f = -j*f for f.
0
Let v(j) = -4*j. Let f be v(-6). Suppose r = 5*r - f. Solve -3*b + r = -3 for b.
3
Suppose 0 - 2 = n - 2*r, -2*n = -3*r + 2. Let p be (3/3)/((-1)/(-3)). Solve p*a = -7 - n for a.
-3
Suppose -8*o + 3*o = -4*y + 21, -4*y + 13 = 3*o. Let d(l) = l**3 + 2*l**2 - 1. Let i be d(o). Solve p + 3*p = i for p.
0
Let x(s) = s**2 + 3 + 0 - 3*s - 6. Let y be x(4). Solve -y - 3 = 4*d for d.
-1
Let z(a) = 1. Let t(j) = -17*j - 5. Let f(c) = -t(c) - 6*z(c). Let h be f(-5). Let g be (-2)/(-9) + h/(-18). Solve i = 4 - g for i.
-1
Let g(k) = 5*k**2 + k. Let c be g(-1). Solve c - 1 = h for h.
3
Suppose 5*c - 7 - 8 = 0. Solve 2*b - 3 = c*b for b.
-3
Suppose -i + 1 = -0. Let z be i/1 - (-13 - 6). Solve 4*m + z = -0*m for m.
-5
Suppose 7 = 2*d + i, -3*i + 5 + 0 = -2*d. Let h = -42 - -142. Suppose -3*v - v = -h. Solve 7*m - v = d*m for m.
5
Let s = -25 + 43. Suppose s = 3*u - 0. Let w(i) = i**3 - 5*i**2 - 5*i - 6. Let n be w(u). Solve 4 = -n*t - 4*t for t.
-1
Let r(q) = -q**3 - q**2. Let a be r(-2). Suppose -1 = -3*t - t + i, -a*i + 17 = 5*t. Let c be t + -3 - (6 - 10). Solve 0 = c*j - 4*j - 2 for j.
-1
Suppose 0 = -4*m + 3*m + 8. Solve t = -t + m for t.
4
Let l be (1 - 0)*(4 - -1). Let p = -5 - -5. Suppose -3*j - d + 17 = 0, -2*j = l*d - p + 6. Solve -2*i + j*i = -15 for i.
-3
Let l be (3/(-9))/((-2)/12). Let g = -8 - -11. Solve l*j + 5 = -g for j.
-4
Let p = 18 + -12. Solve 0 + p = 2*u for u.
3
Let v(b) = b + 9. Suppose 5*w + 15 + 5 = 0. Let n be v(w). Solve n*z - 8 = 7 for z.
3
Let z be 16/(-6)*6/(-4). Suppose 6 = -2*g + 5*x - 3, z*g = -2*x + 18. Let i be (1/g)/(2/60). Solve 3*s = -5 - i for s.
-5
Suppose c - 3*m - 28 = 5*c, -5*m = -2*c - 40. Let v = 13 + c. Solve 1 = -v*p - 14 for p.
-5
Let k be (-5)/(-10) + (-7)/(-2). Solve 0 = j + j - k for j.
2
Suppose -2*b + 6 = b. Suppose -5 = -s - 4*y, 2*s + y = 12 - b. Suppose 7*h - 256 = -9*h. Solve -h = -s*g + g for g.
4
Let i be (-54)/(-9)*(-1 - (-6)/4). Solve -5*s = 17 + i for s.
-4
Let s(k) = 0*k + k + 0*k - 2 + 4. Let h be s(0). Solve h*l - 12 = 5*l for l.
-4
Let p(j) = -3*j**3 - 1. Let b be p(-1). Solve -a - b = -0*a for a.
-2
Let h(w) = w**2 + 13*w - 12. Let a be h(-14). Solve -a*n = -7*n + 10 for n.
2
Suppose 4*z + 3*k - 6 = 0, -k = -4*z + 2*z + 8. Solve 2 = z*m - 13 for m.
5
Let d = 8 - 4. Let u(c) = c**2. Let s be u(-1). Let r = 7 - s. Solve d*l = l + r for l.
2
Suppose -2*y = -8 - 8. Solve -y = 4*c + 8 for c.
-4
Let t be (-2)/(33/18 - 2). Suppose -6*n + 3*n + 3*r - t = 0, -n - 24 = 4*r. Let o = n - -12. Solve o*z = -13 + 29 for z.
4
Suppose 3*h - h = 52. Suppose -2 = 4*q - h. Let g = q - 4. Solve g*f + 10 = 2 for f.
-4
Let g(n) = 6*n - 3. Let a be g(2). Suppose 0 = 2*s - s - a. Let m be 2/4 - (-18)/4. Solve 0 = -m*u - s - 1 for u.
-2
Suppose -5*t + 2 = -4*t. Solve t*h + 4 + 6 = 0 for h.
-5
Let k be (14 - 6)/(2 - 1). Solve 4*p + 0 - k = 0 for p.
2
Suppose 0 = -t + 3*t - 6. Solve -2*s = -t*s for s.
0
Let t = -2 + 3. Let z = -1 + t. Let w = 18 + -14. Solve -w*s + 0*s - 12 = z for s.
-3
Let g(w) = w**2 - 2*w - 1. Let x be g(-3). Let i = -8 + x. Suppose -i - 19 = -5*t. Solve t*l - l = -20 for l.
-5
Let b(h) = 6 + h**2 - h + 0*h + 4*h. Let j be b(-4). Suppose 0 = -2*i - 3*i + j. Solve 3*m = m - i for m.
-1
Let a be 88/(-22) - -2*2. Solve a*x = -3*x + 3 for x.
1
Suppose 0*g + g + 5 = 0. Let m = g + 6. Let z(f) = 5*f - 1. Let u be z(m). Solve 15 = -u*w + w for w.
-5
Suppose -5*b + 9 = -11. Solve b*c = 1 + 7 for c.
2
Let q = 9 + -9. Suppose -12 = -2*l - 0. Let b be (4/2 - l)*-1. Solve -b*d = -q*d for d.
0
Let w = 12 - 9. Suppose -2*x + 5 + w = 0. Solve -4 = x*g - 3*g for g.
-4
Let y(v) = -v**3 + 10*v**2 + v - 2. Let z be y(10). Suppose 0 = 10*t - z*t - 4. Solve -t*w - 10 = 3*w for w.
-2
Suppose -c = -5*c + 4*i, -i = -2*c. Solve c = 3*x - 5*x - 8 for x.
-4
Let q(i) = 8*i - 61. Let n be q(8). Solve 4 + 2 = -n*c for c.
-2
Let x(f) = f**2 + 11*f + 11. Let y be x(-10). Suppose 0 = 2*i + 5*o - y + 2, i - 4*o = 32. Solve 4*v = 8*v - i for v.
3
Let d = -10 - -10. Suppose 4*a - a = d. Solve 0 = n - a - 2 for n.
2
Suppose 5*q = -n + 18, 0*q - 2*q - 3*n = -15. Suppose -3 = q*v - 12. Solve 5*m + 6 = v*m for m.
-3
Suppose 0 = -4*x - 20 + 4. Let i = x + 7. Solve -v - 2 = -i for v.
1
Let a = -46 - -46. Solve a = -u + 1 + 3 for u.
4
Let x = 1 - -4. Let k(r) = -3*r + 26. Let q be k(7). Solve q = -x*z - 0 for z.
-1
Let k(m) = m**3 + 4*m**2 + 4. Let o be k(-4). Suppose 4*q - o = 2*q. Solve -3*p = -q*p + 3 for p.
-3
Suppose -r - 2 = q, -4*q - 9 + 4 = 5*r. Let o be 6/21 - 18/14. Let l = 1 + o. Solve 2*m + r*m + 20 = l for m.
-4
Let p = -10 - -13. Solve -p*z = z for z.
0
Let a = -128 - -133. Solve 0*o + 25 = a*o for o.
5
Let v = 7 - 7. Let d = -10 + 12. Solve v = y - 3 + d for y.
1
Let y(l) = -l**2 - 12*l + 13. Let i be y(-13). Solve i = 4*b + 8 + 4 for b.
-3
Suppose 5*a = 5*d - 15, -4*d + 7 = 4*a - 5. Suppose -x = -4*p + 3, p + a = -x + 2. Let c(n) = -n + 4. Let f be c(3). Solve f = g - x for g.
2
Let f(c) = 7*c + 9. Let q be f(-3). Let l be q/(-8) - 6/(-4). Solve 0 = 2*i - l*i + 4 for i.
4
Let k = 1 - -1. Solve j + 12 = -k*j for j.
-4
Let d(m) = -m**3 - 1. Let z(r) = 2*r + 4. Let q be z(-5). Let p = q - -5. Let c be d(p). Solve -5*n - 39 + 14 = c for n.
-5
Let m(g) = g**3 - 11*g**2 + 8*g + 5. Let l be m(10). Let t = -102 - -67