z for z.
4
Let r(i) = i**2 - 3*i + 11. Let a be r(4). Suppose d + 2*d = 6*d. Solve 0 = -d*o + 5*o + a for o.
-3
Let j(x) = 2*x**2 + x + 6. Let d be j(3). Let p be 34*(-4 - d/(-6)). Let i = 37 - p. Solve -5*u + 0*u = i for u.
-4
Suppose 9 = r - 3*v - 15, -5*r = 4*v - 120. Solve r = -2*t - 4*t for t.
-4
Let g(d) = -d + 1. Let x(i) = i**3 - 7*i**2 + 6*i - 2. Let a be x(6). Let t be g(a). Solve 3*b + t = -0*b for b.
-1
Let d be (-10)/((-40)/28) - 7. Solve -7*c - c - 40 = d for c.
-5
Suppose 252 = -7*z + 19*z. Suppose -22*s = -z*s. Solve s = -0*h - h - 5 for h.
-5
Let n(d) = -3*d**2 + 10*d + 3. Let p(q) = 8*q**2 - 29*q - 9. Let j(l) = 11*n(l) + 4*p(l). Let w be j(-5). Solve 0 = -w*g - g for g.
0
Let c = -84 + 47. Let n = -36 - c. Solve -4*k + 5 = n for k.
1
Suppose 7 = 3*l - 8. Suppose -l*i - 5*m - 22 + 7 = 0, -2*i = -3*m + 11. Let x be i/(-5)*(3 + 2). Solve -2*q = -0*q + x for q.
-2
Let i(b) = -10*b + 7. Let g be i(-4). Suppose -t - g = -4*a - 4*t, -2*a + 40 = -4*t. Solve 4 = -5*y + a for y.
2
Suppose 5*k = 4*q + 3, 4*k + 0 = q + 9. Let m = 55 - 53. Solve q*s - m = 13 for s.
5
Let u = 62 - 5. Solve -2*h = 67 - u for h.
-5
Suppose 5*r - 92 + 52 = 0. Solve -2*u = 6*u + r for u.
-1
Suppose -2*s - s + m = -42, s - 16 = m. Let k(o) = -o**3 + 13*o**2. Let p be k(s). Suppose 4*x - 11 = 2*w - 7*w, x - 8 = -3*w. Solve -2*f - w - 1 = p for f.
-2
Suppose 44 = 89*m - 67*m. Solve m*z = 8*z + 6 for z.
-1
Suppose 4*o = 2*j - j + 29, 3*o = 5*j + 26. Suppose p - 3 = -o. Let t(c) = -c**2 - 4*c. Let y be t(p). Solve w + 3 - 2 = y for w.
-1
Suppose -44 = 2*l - 26. Let p be (2 - (-65)/(-10))/(l/12). Solve -n - p = -3 for n.
-3
Let v = 4572 - 4568. Suppose g - 2*t - 6 - 3 = 0, 6 = -3*g - 5*t. Let y be (4/g)/(6/9). Solve y = v*j - 2 for j.
1
Let c = -3 - -3. Let t be 6*(170/25)/(2/(-10)). Let u be (-1)/(t/(-104) - 2) + -1. Solve c = -x + 6*x + u for x.
-5
Suppose 5*t = -0*t + 225. Suppose -5*i - t = -10*i + p, 2*i - 11 = -p. Solve -i*a - 10 = -6*a for a.
-5
Suppose -48*o - 4*z = -51*o - 5, -o + 30 = 5*z. Solve o*p + 29 = 24 for p.
-1
Let g(l) = -l**3 - 11*l**2 - 37*l - 4. Let w be g(-6). Solve -w = -2*h - 44 for h.
-3
Let g = 1551 - 1520. Solve -20 = -27*m + g*m for m.
-5
Suppose 0 = -2*h + 8 - 4. Solve -h*b + 20 = 12 for b.
4
Let q be (-7)/(-28) - (-143)/4. Let t be 4/14 - q/(-21). Solve -p = p + t for p.
-1
Suppose -1 = 2*j - 5. Suppose 3*w + 200 = -j*w. Let i be (-6)/(-21) - w/7. Solve 0 = -i*o + 2*o for o.
0
Let l = 21 - 18. Let b be 8/(-12) + 40/6. Solve 0 = -3*o - l - b for o.
-3
Suppose 60 = 36*l - 24*l. Solve d + 6 = -l*d for d.
-1
Suppose v + 0 - 46 = 3*k, 0 = -v + 4*k + 51. Let q = v - 27. Solve q = -w - 3*w for w.
-1
Suppose -2*o - 5*g = -0*g - 33, -2*o = g - 13. Suppose -4*h = -0*h + 4*n, o*h = 2*n + 24. Solve -h*l + 9 = -l for l.
3
Let l be 2/(-4 + (-1326)/(-325)). Solve -l = -11*t - 36 for t.
-1
Let x = -149 + 149. Solve -9*k - 45 + x = 0 for k.
-5
Let g(m) = 7*m**3 + 2*m**2 + m - 2. Let r be g(1). Solve 2*x = -2*x + r for x.
2
Suppose -4*x = -x - 3, 0 = 2*j + 3*x - 31. Suppose j = r + 5*s, 4*s = -3*r + 15 + 5. Solve -r*l + 4 = -4 for l.
2
Suppose 0 = 6*j - 2 + 8. Let q be (-25)/(5/j) - 2. Suppose 6*o = -q*o + 9. Solve -3*s - o + 13 = 0 for s.
4
Let o(c) = c - 2. Let z(w) = -w**3 - 9*w**2 + 2*w + 21. Let l be z(-9). Let d be o(l). Let p be -1*d*55/(-11). Solve -p*x - 8 = -x for x.
-2
Suppose 5*i - 34*i + 609 = 0. Solve 16 = -l + i for l.
5
Let p = -73 - -199. Suppose -129*a + 12 = -p*a. Solve 4*b - a + 12 = 0 for b.
-2
Let k(l) = -l**3 + 20*l**2 - 21*l + 56. Let h be k(19). Solve 3 = -5*i + h for i.
3
Let j(g) = 2*g + 1. Let z(x) = -9*x - 2. Let f(q) = 4*j(q) + z(q). Suppose -4*n = 4*r + 12, r - 3 = -0*r + 2*n. Let o be f(r). Solve 13 = 2*b + o for b.
5
Let f = -43 - -60. Let h = 33 - f. Suppose -q = -2*r + h, 0*r - 2*r - q = -20. Solve -r = -2*n - n for n.
3
Let k = -61 - -73. Solve 8*s - 14*s = -k for s.
2
Let r = -3 - -5. Suppose 0 = -4*w + r*b - 2 + 10, 0 = -4*w - 4*b - 4. Solve 0 = 4*t - w - 7 for t.
2
Let p = -4 - 25. Let r = -25 - p. Solve 0 = -t - r + 5 for t.
1
Let t be (-4)/(2 + 36/(-16)) + 4. Solve 5*d = t - 15 for d.
1
Suppose 17 = 27*v - 334. Solve 4*d - v = -5 for d.
2
Suppose 19 = 3*s + 2*c, -5*s = -2*c + 6*c - 31. Let l = -5 + s. Let u = 8 + l. Solve u = -g + 3*g for g.
5
Let q be (-6)/15*-45 + -9. Solve 6*u = q*u + 6 for u.
-2
Suppose 4*w + 10 = 5*w + 3*t, -t + 22 = 3*w. Let o = -4 + w. Solve o*s = s for s.
0
Let b = 14 + -28. Let z = b - -23. Suppose -4*y - 13 = v - 0*y, z = -v - 3*y. Solve 3*g = 2*g + v for g.
3
Let l(p) = 36*p - 116. Let n be l(5). Solve 2*z + 14*z = n for z.
4
Suppose -2*k - p + 1 + 3 = 0, -k - 2*p - 4 = 0. Solve 0 = -k*c - 8 - 0 for c.
-2
Let z(k) = k**3 + 4*k**2 - 8*k - 10. Let j be z(-5). Suppose n - j = 1. Solve -4*m - n = -18 for m.
3
Let l(t) = -2*t**2 - 17*t - 8. Let j be l(-8). Let z = -16 + 26. Solve 0*i - 2*i + z = j for i.
5
Let n(w) = -w**3 + 8*w**2 + 8*w + 9. Let r be n(9). Suppose 0*t - 2*t + 6 = r. Let p be 4 - ((5 - t) + -1). Solve i = p*i for i.
0
Let m be (8/10)/(1/(-10)). Let v be 0 + 7/((-14)/m). Solve -2*o + 2 = -v*o for o.
-1
Let g = -480 + 493. Solve -6*q + 43 - g = 0 for q.
5
Suppose 14 = 2*y - 2*h, y - 2*y = -3*h - 11. Let b = -27 - -27. Solve b*p = -y*p + 25 for p.
5
Suppose -5*r + 5*h + 8 = 33, r = -3*h + 15. Solve -5*c = -r*c + 5 for c.
-1
Suppose 2*k = k - o + 141, -3*k = -4*o - 423. Let z be (-16)/120 - k/(-45). Let i be ((-13)/z + 4)*0. Solve i = w + 1 + 4 for w.
-5
Let b = 85 - 83. Solve 24 = -b*o + 14 for o.
-5
Let f be ((-20)/12)/(2/(-6)). Suppose -6 = -2*n + 3*j, 0 = f*n + 3*j - 0*j - 36. Solve -n*k = -k for k.
0
Let q = 33 - 30. Let u be (-2)/(3/(-36)*q). Let j be ((-4)/u)/(2/(-32)). Solve -k - 3*k + j = 0 for k.
2
Let s be ((-4 - -4)/(-6))/1. Suppose 0 = 5*y + 5*r, -3*y + 3*r = -0*y - 30. Let z = y + s. Solve -z*i = 14 + 6 for i.
-4
Suppose 26 = 2*a - 5*j, -18 = -2*a + 3*j - 0*j. Suppose -4*v + 3*t = -1, -v - a*t + 0 = -19. Let u = 22 + -14. Solve 4*f - v - u = 0 for f.
3
Let k be -6 + 4/(12/9). Let u(y) = -3*y + 1. Let x be u(k). Suppose 5*q - x = 10. Solve 0*m + 20 = q*m for m.
5
Let p(n) = 6*n - 1. Let f be p(-4). Let a = f - -47. Let j = a + -21. Solve -q + 0 = -j for q.
1
Suppose -10*t + 68*t - 290 = 0. Solve 20 = -t*n + 10*n for n.
4
Let j = -165 + 69. Let c = j + 101. Solve -2 = c*u - 4*u for u.
-2
Let x be 40/12*((-17)/5 + 1). Let g be ((-6)/x)/((-3)/(-8)). Let a = -14 - -16. Solve -a*q + 16 = g*q for q.
4
Suppose -3*j + 1 = -2*w - 9, 5*j - 16 = 4*w. Suppose 6*z - 10 = j*z. Solve 6*i - z = i for i.
1
Let b be 4/(-10) + (-44)/(-10). Let r(s) be the second derivative of -s**3/6 + 7*s**2 - 2*s. Let g be r(7). Solve b*h = g*h - 15 for h.
5
Suppose 48*f - 41*f - 14 = 0. Solve -10*y - f = -12 for y.
1
Suppose -5*n - 63 = -13. Let s be (-1 - 0)*(n + 0). Let m be (s/(-4))/((-9)/18). Solve u = 2*u - m for u.
5
Let z = -383 + 391. Solve -10*w = -z*w + 2 for w.
-1
Let x(h) = -h**3 + 7*h**2 - 10*h + 4. Let f be x(5). Suppose -u - u + 2 = 2*a, -3*u = f*a - 9. Solve k + 5 = a*k for k.
1
Let z = 14 - 12. Let n be z + -6 + 3*5. Solve 0 = 5*q - 9 - n for q.
4
Let i be -2 - ((-11 - 2) + -1). Let p = i - 8. Suppose p = 2*n - 0. Solve n*j + 0*j - 6 = 0 for j.
3
Suppose 0 = 5*m - m - 2*a - 26, -3*m - a = -12. Solve 0 = -m*p + 5 + 15 for p.
4
Let y(o) = o**3 + 9*o**2 + 7*o - 4. Let v be y(-8). Suppose -40 = -v*g + 4*j, -5*g - 5 = -g + 5*j. Solve -4*p + g = -5*p for p.
-5
Let d(w) = -4*w + 18. Let h(v) = -v. Let i(p) = -d(p) + 2*h(p). Let r be i(11). Solve 0 = 2*o - r - 4 for o.
4
Let v = 798 - 783. Solve -19*u + v = -22*u for u.
-5
Suppose 6*q - 60 = q. Solve 3 = q*h - 33 for h.
3
Let v be 12/15 + 92/10. Solve 4*u = -6*u + v for u.
1
Let j be 0 + ((-2055)/5)/(-3). Let r = -133 + j. Solve 2*p - 4*p - r = 0 for p.
-2
Let q = 20 + -16. Let a(x) = -q + x + 7*x + x + 2*x + 2*x**2. Let z be a(-6). Solve 0 = -u - 2 - z for u.
-4
Suppose 19 = 3*r - 2*l, 2*r - 9*l + 8*l = 11. Solve r*p - 2 = 2*p for p.
2
Let b(q) = q**3 + 5*q**2 + 8*q + 10. Let g be b(-2). Solve -40 = 2*k + g*k for k.
-5
Let g = 974 + -966. Solve 3*y - g = -y for y.
2
Let i be (154/(-22))/((-1)/2). Suppose -i*m + 5 = -9*m. Solve n - m = 2*n for n.
-1
Suppose b = 5*o - 337, o = -2*b - 2*b + 59. Suppose -69*a + o*a + 14 = 0. Solve -a*f