. Solve -j - 3 = y for y.
-5
Suppose 4*k - 2*w = 3*w + 40, -5*w = 3*k + 5. Let n(i) = 3*i - 27. Let x be n(9). Suppose t = -x*t + k. Solve -8*v = -3*v + t for v.
-1
Suppose 5*m + 5*t - 15 = 0, 2*m + 5*t = -0*m + 6. Solve 5*c - m*c = 10 for c.
5
Let x(n) = -n - 1. Let u be x(-5). Let k(t) = t**2 + 29*t + 5. Let w be k(-29). Solve -w = -l - u*l for l.
1
Let l = 4 - 3. Let c be (l + 0 + 0)*1. Solve 3*m + c - 10 = 0 for m.
3
Let y(c) = -2*c - 4. Let j be y(-3). Solve 4*k - 4 = j*k for k.
2
Let d be 2/3 - 20/(-6). Let y = 16 + -11. Let l(t) = t**2 - t - 11. Let b be l(y). Solve 0 = -b*u + d*u for u.
0
Let n(t) = t + 8. Let x be n(-5). Let y be (-4)/(-14) - 38/(-14). Suppose -10 = -x*i + s, 4*i - 5*s = 31 - y. Solve i*j + 2 = 3*j for j.
2
Let c = 10 - 10. Solve c = 2*q + 3*q + 5 for q.
-1
Let s = -4 + 12. Let h be (-28)/6*(-9)/6. Solve -s = -5*o + h for o.
3
Let i = 7 - 14. Let w = i - -9. Let j = 5 - w. Solve -5*b = 2 + j for b.
-1
Suppose -130 = -4*u - 34. Suppose -6*v + u = -6. Solve 0 = -v*z - 13 - 7 for z.
-4
Suppose -o - 7 = -3*l, -4*l + 0*o + 18 = 3*o. Solve 0 = 2*q + 1 - l for q.
1
Let u(l) = 2*l - 10. Let i be u(8). Suppose -i*n = -8*n + 8. Solve n*c + 9 = 1 for c.
-2
Let g(z) be the first derivative of 11*z**2/2 - z + 1. Let a be g(2). Let w = -13 + a. Solve w = -5*c - 2 for c.
-2
Let l = 16 + -3. Let o = l - 6. Solve 0 = 2*w - 15 + o for w.
4
Let j = 44 + -39. Solve j*k = 6 - 1 for k.
1
Suppose 0 = t - 1, 2*f - t - 16 = -5*t. Let a be (f/(-9))/(1/(-9)). Solve a*q = q + 15 for q.
3
Suppose 0 = -x - 3*j + 12 + 3, 3*x + 3*j = 33. Solve 2*t = -t + x for t.
3
Suppose 7 = 5*n - 3. Let p(j) = -13*j**3 - 2*j - 1. Let c be p(-1). Suppose -n*o + c + 0 = 0. Solve 8 = o*y - 3*y for y.
2
Suppose -4*x + 10 = 5*a, 3 = -4*x + 5*a - 7. Suppose 0 = 5*p - x*p - 5, -4*d + p = -7. Solve h - d = 2*h for h.
-2
Suppose -2*a + 1 - 5 = 5*g, 3*g - 2*a - 4 = 0. Solve 4*x - x - 9 = g for x.
3
Let h = 117 - 83. Suppose 0 = 5*b - 2*a - h, 25 = 4*b - 3*a + 2. Suppose -3*l + 3 = -6. Solve -5*p - l = -b for p.
1
Let x(j) = j**2 - j - 1. Let a(i) = -6*i**2 + i + 6. Let l(n) = -a(n) - 5*x(n). Let t be l(-3). Let u be (t - -1)/((-3)/20). Solve u = -5*y + y for y.
-5
Let v(b) = b**2 + 15. Let w be 1 - (-2)/(-2)*1. Let s be v(w). Suppose 3*a = 11 - 2. Solve s = 3*p + a for p.
4
Suppose 0 = 2*s - 0*s - 2*p - 4, 2*p = s. Solve -2*g + s = -2 for g.
3
Let r(x) = x**3 + 9*x**2 - 11*x - 14. Let o be r(-10). Let a be ((-4)/6)/(o/(-18)). Let q be (1 - (1 + -3)) + a. Solve q*i = -2*i for i.
0
Suppose 3*t = -6, -7 = 4*y - 3*t - 21. Let p be (y/4)/((-1)/(-12)). Let g be (p/15)/(1/20). Solve -3*a + g = a for a.
2
Let z be 6/21 - 47/(-7). Solve -z*s + 20 = -2*s for s.
4
Let d(m) = 7*m - 6. Let l be d(3). Let y = l + -3. Let a(r) = -r + 14. Let h be a(y). Solve i = h*i for i.
0
Suppose -5*j = -2*j - 15. Solve 0*u = j*u + 25 for u.
-5
Suppose -3*u = 4*i + 2*u - 15, -4*i = -u - 21. Solve -5*p + 10 = -i for p.
3
Let z be (9/(-12))/(7/(-28)). Solve z*s - 4 = s for s.
2
Let p = 0 - -2. Suppose 0*z = 2*z - p. Suppose -3*n + 9 = v - 3, 5*v = -2*n + 8. Solve v = k - z for k.
1
Suppose 0 = -5*c + 230 - 70. Let a = c + -22. Solve l + l - a = 0 for l.
5
Let b be (-3)/(-6)*0/(-2). Suppose -7 = -b*x - x. Let a be -24*(-2)/(-8)*-2. Solve 3*j = x*j + a for j.
-3
Suppose -p = -5*l + 7, 2*l + 2*p = -p + 13. Solve -4*r = -2*r + l for r.
-1
Suppose 3*u = u - l + 9, 0 = 5*u - 4*l - 16. Solve u = o - 1 for o.
5
Let s be (-130)/(-8) - (-4)/(-16). Suppose -2*h = 2*d - s, 2*d - 4 = 5*h - 4*h. Solve 5*o - d = o for o.
1
Let j(q) = 6*q - q + q**2 - 4*q. Let w be j(-1). Suppose w = 3*z + 3 - 15. Solve 0*n = z*n - 8 for n.
2
Suppose 0*n + 4*n = a + 19, -4*n + 28 = -4*a. Solve n + 5 = -3*y for y.
-3
Let g = -25 - -44. Suppose -23*u + g*u = -8. Solve -3*w - u - 10 = 0 for w.
-4
Let w = 105 - 101. Solve y - w = -y for y.
2
Let x(k) = k**2 + 4*k - 7. Let j be x(-5). Let p be (2 + -1)/(j/(-10)). Solve s = 2*s + p for s.
-5
Let y = 11 + -8. Suppose -4*w + 6*v + 27 = y*v, 10 = 5*w + v. Let n = 0 + w. Solve 22 = 5*z - n for z.
5
Let m(r) = r**2 + r - 6. Let c be m(-5). Let z be (30/35)/(4/c). Solve -2*j + 3 = -z*j for j.
-3
Suppose 5*r - r = 16. Suppose 0 = -r*o - 0*o. Suppose 3*m - 11 = 4*z - 2*z, -2*m - 3*z + 3 = o. Solve 2*q = m*q for q.
0
Suppose 5*z = 54 + 21. Let d = z - 12. Solve -l + d = 1 for l.
2
Let y be 0*(35/14 - (-1 + 4)). Solve p = -y*p for p.
0
Let a(f) = f**3 - 2*f**2 - f - 3. Let n be a(3). Suppose -p + 6 = -4*j, 6*p = 4*j + 2*p + 12. Let t be (6/(-3))/(j*1). Solve n*o - t = -8 for o.
-2
Suppose 0 = -10*p + 10 - 0. Solve -p = -2*i + i for i.
1
Suppose -2*y = -4*f + 6, 2*f = y - 3*y - 6. Solve -5*g + 4 + 1 = f for g.
1
Suppose 0 = 5*c - 4*q - 21, 4*c + 12 = -0*c - 4*q. Suppose 0 = -s + 2*y - 4 - 2, -10 = 3*s - 4*y. Solve -s*k + c = -k for k.
1
Suppose 0*h + 12 = -2*h. Let w = h - -8. Suppose -w*r + 6*f = 3*f, 0 = -f. Solve 4*t - 1 - 11 = r for t.
3
Suppose 6*p - 3*r - 43 = p, 0 = -p + 3*r + 11. Solve -2 = 5*k + p for k.
-2
Suppose 0 = -5*f + 5*t + 100, 5*t + 68 = -0*f + 3*f. Solve 7*w + f = 3*w for w.
-4
Let l be (-2 + 0)*(-9)/6. Let i = 4 - l. Let k = 9 - i. Solve k = -z - z for z.
-4
Suppose 3*o - 16 = -k - 4, -4*o = 3*k - 16. Solve -o*i = -9*i + 15 for i.
3
Let n(s) = s**3 + 2*s**2 + 4. Let p be n(0). Solve -p*d - 1 = -5 for d.
1
Let j be (-63)/(-12) - 1/4. Let i be (8 - j) + 1 + -1. Solve z = -0*z + i for z.
3
Let o = 48 - 38. Solve 0*q + o = 2*q for q.
5
Let r be (-2)/(-5) + (-7)/5. Let k be ((-8)/10)/(r/5). Solve 7*h - k*h = -15 for h.
-5
Suppose l - 3*f = -5 - 0, 3*l - 6 = 2*f. Let r = l + -1. Let n be 8/12 + (-2)/r. Solve 0 = -n*q - 4*q - 12 for q.
-3
Let k(h) = -7*h**2 - 5*h - 5. Let n(u) be the first derivative of -u**3 - u**2 - 2*u + 1. Let r(p) = 2*k(p) - 5*n(p). Let x be r(0). Solve 0 = -x*w - 2*w for w.
0
Let u be (-6)/10*(-20)/6. Let a = 23 - 14. Solve u*d + a = -d for d.
-3
Suppose 52 = -4*k + 68. Let j be 6/4*(-4)/(-6). Let d be 2 - -6 - 2*j. Solve -k*q = -d - 2 for q.
2
Let w(i) = -3*i - 10 + 6*i - 4*i + 3. Let j be w(-7). Let s = 0 + j. Solve d + d = s for d.
0
Let r be -1 - (-4 + (-4 - -4)). Solve -x + 0*x = -r for x.
3
Let l be 15/1 - (2 + -1). Let u be (10/(-7))/((-4)/l). Solve -2*q + u = -1 for q.
3
Suppose 0 = j - 2 - 3. Suppose -5*s = j*m - 15, 5*s - 5*m - 8 = -3*m. Suppose 5*v + a - 15 = 13, v - a = s. Solve -1 = 4*r - v for r.
1
Suppose -4*j - 9 = 7. Let g be 6/j*16/(-12). Suppose 10 - 2 = g*y. Solve -y = -b - b for b.
2
Let j(o) = -o**3 - 4*o**2 + 5*o - 7*o + 2*o**2 + 5*o**2. Let p be 2/(-1)*(1 - 2). Let m be j(p). Solve m = 3*l + 15 for l.
-5
Suppose 0 = -7*s + 2*s + 40. Solve -15 = -s*t + 3*t for t.
3
Let q(t) = t**3 + 5*t**2 + 3*t - 4. Let r be q(-4). Suppose 3*k - 2 - 10 = r. Suppose -i - k*i = -v - 6, 0 = -3*i - v + 10. Solve i*x - 3 + 7 = 0 for x.
-2
Let z be 5/15*-4*9/(-6). Solve 2*o + 0*o + z = 0 for o.
-1
Let y = 28 - 22. Solve 3*d - 5*d = -y for d.
3
Let v = -2 + 7. Solve v*x - 26 + 6 = 0 for x.
4
Let n = 4 + 0. Suppose 0 = b + n*b - 10. Solve 0 = 3*k - 5 + b for k.
1
Suppose 0 = -3*r + k - 1, 2 = 4*r + 2*k - 0*k. Suppose 4*w = -r*w. Suppose -2*p = -w*p - 2*v + 2, 5*v = 15. Solve p*g + 3 - 11 = 0 for g.
4
Let i(c) = -c**2 - 5*c + 6. Let v be i(-5). Solve v*h = 2*h for h.
0
Let a be (1 + 1)*-1 - (-8)/2. Let j be -6*(-2)/8*8. Solve -j = -a*z + 6*z for z.
-3
Let s(b) = -b + 2. Let a be s(-2). Suppose 0 = -a*f - 0*f + 16. Suppose c + 60 = f*c. Solve -4*x = x - c for x.
4
Let c be 1/8 - 110/(-16). Solve 6*u = c*u + 4 for u.
-4
Let z(u) = -u + 7. Let r be z(4). Solve -r = -2*h + 1 for h.
2
Let w be -2 + (3 - 1) + 4. Suppose 0 = s - 1 - 2. Suppose 4*l + 6 = -l - 3*d, -s*l - 10 = 5*d. Solve w*t - t - 3 = l for t.
1
Let f be (0 + -1)*2/(-1). Let l(s) = -3*s + s**2 - 3 + 0*s**f + 0*s**2. Let v be l(4). Solve -v = 2*p + 3 for p.
-2
Let v be (-6)/8 - (-92)/16. Suppose 4 + 16 = v*n. Solve 25 = n*f + f for f.
5
Suppose 0*v = -v. Solve 2*l + v*l = -4 for l.
-2
Let u(l) = 2*l**2 - 3*l + 1. Let p(d) be the first derivative of -d**2/2 + 7*d - 2. Let a be p(5). Let b be u(a). Solve b*r + 2*r = 0 for r.
0
Suppose -5 = -4*d + 3*d. Suppose 2*h - d*r - 1 = 0, -4*r + 15 = -r. Solve 4*a - h = -5 for a.
2
Suppose 0 = y - s - 2, 0*y - 3*s = 2*y - 9. Let h = 3 - y. Let t = -20 + 23. Solve -t*b 