*o + 117. Let s be c(-7). Solve -s*n = -0*n - g for n.
1
Suppose 2*v - l = 46, 0 = -3*v + 8*v - 2*l - 117. Solve 10*h - v = 5*h for h.
5
Let h(q) = q. Let w be h(-7). Let z = w - -11. Suppose -i = r - 5, -r - 10 = -z*i - 0*r. Solve 0 = -d - i - 2 for d.
-5
Let n(u) = -u**3 + 2*u**2 + 2*u - 2. Let s be n(2). Suppose 0 = -3*p + 5*l - 5 - 3, -s*p - l = -12. Solve -p*c = c for c.
0
Let p = 29 - 29. Solve 6*o + 9 - 27 = p for o.
3
Let l(y) be the first derivative of y**3 - 3*y**2 + 7*y + 4. Let b be l(3). Solve 5*u = -1 + b for u.
3
Suppose -5*u - 30 = -2*o, -4*u - o - 24 = 4*o. Suppose -4*g = -4*a - 14 - 34, -24 = a - 5*g. Let f = u - a. Solve -1 + f = -2*z for z.
-1
Suppose 4*m - 162 = -5*m. Suppose 0 = 4*r - 26 + m. Solve 2*s - r - 2 = 0 for s.
2
Suppose 5*n - 6*n + 2 = 0. Suppose 4 = n*r - 3*c, 2*r + 5*c - 25 = -r. Solve r*a = -20 - 5 for a.
-5
Suppose 0 = -5*b + 4*b + 16. Let w be (24/b)/(2/12). Solve x = -2*x + w for x.
3
Suppose 2*i + 34 = 5*p - 28, 5*i - 20 = 0. Solve 3*z = 2 - p for z.
-4
Let p = 122 + -73. Suppose 47*j - p*j = 0. Solve -5 = -j*s - 5*s for s.
1
Let t = 151 - 149. Solve -7*u - t = -23 for u.
3
Let f(x) = x**2 + 11*x - 1. Let j be f(-11). Let u be 5/j*6/(-15). Suppose -u*w - 3*i - 9 = 0, 3*w + 15 = -6*i + i. Solve w = -g + 1 + 3 for g.
4
Let m = -12 - -9. Let n = 7 + m. Solve -11 + 3 = -n*i for i.
2
Let h(r) = -r**3 + r**2 + 4*r - 2. Let u be h(-3). Let i = 26 - u. Solve 9*v = i*v for v.
0
Suppose -x = r - 9, -4*r - 2*x = -53 + 9. Let d be (-2)/12 - (-50)/12. Suppose 0 = -11*i + r*i - d. Solve 2*b = b - i for b.
-2
Suppose 5*n - 6 = 9. Let i(q) be the first derivative of q**4/4 + q**3/3 - q**2/2 + 4*q - 2. Let p be i(0). Solve 0 = n*c - p*c for c.
0
Let v = 1238 - 1221. Solve 2 = -5*u + v for u.
3
Let j(f) = f**3 - 52*f**2 - 116*f + 434. Let i be j(54). Solve i*a = 8*a for a.
0
Let v(f) = -11*f + 104. Let h be v(9). Solve -2 = -h*n + 3*n for n.
1
Let l be -12*(-3 - -5)*(-3)/4. Let v be (-1)/((-3)/(-24)*-2). Suppose -v*u + 5*k = -l, 3*k + k + 6 = -u. Solve 5 = -u*d - 1 for d.
-3
Suppose q = -0*q + 20. Suppose -c - 5*i + q = c, 20 = c + 5*i. Suppose f + l = 2*l + 7, c = -2*f - l + 23. Solve -6*p = -p + f for p.
-2
Let m be -10*5/(-125)*5. Solve 3*y + 8 = m for y.
-2
Let d(k) = -9*k - 158. Let x be d(-18). Let r = -29 - -41. Solve f - r = x*f for f.
-4
Let k = 7 + 1. Suppose -k*y + 10 + 6 = 0. Solve -v - y = -1 for v.
-1
Let y(x) = x**2 - 4*x - 1. Let z be y(4). Let q be ((-3)/9)/(z/12). Let n = 6 - q. Solve -o = 6 - n for o.
-4
Let m = 148 + -6. Suppose 5*x + q + 2*q - 234 = 0, 3*x = -q + m. Suppose -5*u = -u - x. Solve -5*k + u = -k for k.
3
Let d be 1/((-9)/(-114)) - (-14)/(-21). Suppose -r - d + 2 = -2*b, r - 5*b = -25. Solve r = -3*f + 6*f + 3 for f.
-1
Let t(l) = 2*l**2 + 10*l - 9. Let i be t(-6). Let p be ((-9)/3 - -4)*-1 + i. Solve -p*g = -0*g + 2 for g.
-1
Suppose 0 = o + o - 5*y - 7, y = -5*o + 4. Let z(r) = -r**3 + 16*r**2 + 1. Let f be z(16). Solve f = -q - o for q.
-2
Suppose 5*v - 22 + 17 = 0. Let o be -1 - ((v - 1) + -3)/1. Let f be ((-2)/4)/((-2)/16). Solve o*c + f = -4 for c.
-4
Let b = 21 + -15. Let j be -8*b/(-4)*-1. Let t(d) = -d**2 - 12*d + 3. Let r be t(j). Solve r*m + 2*m - 15 = 0 for m.
3
Let r be 20/(-6)*90/(-150). Let h = 10 - 3. Solve -h = -y - r for y.
5
Let j be 248/(-6) - (-28)/(-42). Let q be (-19)/(-7) + -4*3/j. Solve 5*m = q + 12 for m.
3
Let k be (3 - (-15)/(-10))*54/1. Let p = -74 + k. Solve 4*i + 11 = p for i.
-1
Let w(h) = h**2 - 2*h - 4. Let q be w(-1). Let p be 5/(-4) + (-2)/(-8). Let m = p - q. Solve 5*l + 0*l - 25 = m for l.
5
Let n(d) = -7*d - 16. Let u be n(-3). Solve u = 3*m - 4*m for m.
-5
Let l be (-6)/((42/4)/(-7)). Suppose -u = -g - 7, u - 35 = -l*u - 4*g. Suppose 5*n - 32 = 4*o, -2*n - 35 = -u*n + 5*o. Solve 0*z - n*z + 20 = 0 for z.
5
Let o be 358/(-6) - ((-14)/(-6))/7. Let x be (6/o*8)/((-6)/15). Solve -3*c + 4 = -x for c.
2
Let m be 0*3*3/18. Solve g + m + 5 = 0 for g.
-5
Let r = -81 - -87. Suppose -5*p - 5 = -r*p. Solve -3*a + 1 = -p for a.
2
Let y = -25 + 25. Suppose y = t - 2 - 2, -4*z + 4*t = -12. Let m = 10 - z. Solve h + m = 1 for h.
-2
Suppose d + y + 3 - 11 = 0, -y = -2*d + 4. Solve d*u = 3*u for u.
0
Let y = 369 - 367. Suppose 13 = 10*x - 17. Suppose -u + 0 = 5*t - 14, -3*u + 10 = -t. Solve x*g - y = u for g.
2
Let o(m) = -m**2 - 13*m - 12. Let p be o(-11). Suppose 2*y + 5*n = -16, 0 = 2*y - 3*y - 3*n - p. Solve -y + 5 = -x for x.
-3
Let l be 26 + -20 + (-3)/1. Suppose 3*r = 4*a + 13, -a + 2 = r - 0. Solve -l*h + r = -0*h for h.
1
Suppose 52 = 3*w - 77. Let b = -71 + w. Let i = -26 - b. Solve i*y = 3*y - 4 for y.
4
Let t = -21 - -61. Let v be ((-6)/8)/((-10)/t). Suppose -4*w + 0*w - p = -43, -v*w = -p - 34. Solve -w = -3*x + 1 for x.
4
Suppose 4*z = 18 + 2. Suppose 0 = 5*s + z*w + 20, 2*s + 4*w - 4 = 5*w. Suppose -4*f + 10 = 4*x - 34, s = 2*x + 8. Solve -f = -n + 4*n for n.
-5
Let z(m) = 2*m**2 + 8*m + 28. Let k be z(-4). Let i = 35 - k. Solve -5 - i = -3*y for y.
4
Suppose 5*a = 2*a + j - 1, 5*a + 3*j = -25. Let r be a/8 + (-69)/12. Let g = r - -14. Solve -g = -2*w - 2*w for w.
2
Let z = 3 + -1. Let y(x) = -x**2 - 2*x + 51. Let l be y(6). Solve -l*k = -z*k for k.
0
Suppose 16 - 20 = -h. Let w(z) = z**3. Let k be w(2). Solve 4*q - h = k for q.
3
Suppose -4*q - 4*f = -8, -6 = -3*q + 4*q - 3*f. Solve -15*c + 16*c + 1 = q for c.
-1
Suppose 5*j = j + 16. Suppose 4*l - 4*h = 16, -2*l + 0*h + 16 = -j*h. Suppose l*u + 3*u - 15 = 0. Solve u = 2*c - c for c.
5
Suppose 2*w - 13 = -d, 3*d - 178 = -3*w - 163. Solve 0 = 10*c - w*c + 10 for c.
-5
Let x = 76 + -36. Suppose -2*p + 6*p = x. Solve 0 = v + v + p for v.
-5
Let j = -11 + 20. Suppose -17 = -3*l + 1. Solve 3*i = j + l for i.
5
Suppose 0 = -2*n - w + 64, 2*w - w = n - 32. Suppose 0 = -3*j + p + 50, 0*j + n = 2*j - p. Suppose 13*o - 16*o = -j. Solve 0 = 4*d + 18 - o for d.
-3
Suppose -5*t - 60 = -3*o, 7*o = 2*o + 5*t + 100. Solve 0 = -2*x - 2*x + o for x.
5
Suppose 20*j - 6 = 38*j - 21*j. Suppose -1 = -3*o + 23. Let n = o + -5. Solve -s + n = j for s.
1
Suppose -3*m - m = 4*p + 136, 0 = -2*m + p - 65. Let g = -31 - m. Solve 0 = g*n - 4*n for n.
0
Let s be (-131)/(-2) - 20/(-8). Let u = s + -67. Suppose 4*a - 13 + 3 = -5*y, 5*y - 10 = -2*a. Solve y*w = -u - 1 for w.
-1
Let u be (-1)/9 + 296/72. Solve -u*j = -j - 6 for j.
2
Let m = 24 + -21. Solve q = -m*q - 20 for q.
-5
Let i be (-6)/3*(1 - 2). Suppose -4*x = 5*n + 21, -i*x = x - n - 8. Suppose 6*t - 16 = -2*t. Solve t*k + 7 = x for k.
-3
Let l be 0/3 - 4/(4/(-11)). Solve 10*d + l - 51 = 0 for d.
4
Suppose 2*x + 12 = 4*x + 2*v, 16 = 4*v. Suppose -3*d + h = x*h - 6, 0 = d - h - 2. Solve p = -d + 7 for p.
5
Let v be 4/(-34)*-1 + (-4443)/51. Let f = v + 103. Solve 2*w - 6*w + f = 0 for w.
4
Suppose 3*h + 27*h = 2*h. Solve -7*r + 24 - 59 = h for r.
-5
Let v = 24 - 0. Let o = v - 20. Let s = 7 - o. Solve -a + 0*a = -s for a.
3
Let q(o) = -o**3 - 13*o**2 - 2*o - 12. Let n be q(-13). Let i be 0/(-1)*(-7)/n. Suppose -4*t + 7*t - 6 = i. Solve 2*r + 8 = t for r.
-3
Let j(z) = z**3 + 16*z**2 - 38*z - 31. Let h be j(-18). Let k be (3 - (-1 + 2))/(-2). Let f = 4 - k. Solve -h = f*m - 0 for m.
-1
Suppose 0 = 80*t - 79*t - 7. Solve -t*s - 2 - 33 = 0 for s.
-5
Let j be (52 + -19)*2/6. Solve -6*r - 5 = -j*r for r.
1
Let l = -1 - -12. Let d(t) = -2*t + 16. Let s be d(l). Let h(n) = -2*n - 7. Let u be h(s). Solve u*k - 6*k = -2 for k.
2
Suppose -5*u + 40 = -2*l, 2*l - 21 = -4*u + 29. Solve 0 = -u*q + 2*q - 24 for q.
-3
Let x(n) = -n**2 - 3*n + 8. Let s be x(-4). Suppose 2 - 3 = -t + 3*m, 5*m + 15 = 5*t. Solve -t*o - s = -6*o for o.
2
Let t(x) = x - 16. Let v be t(18). Suppose -4*r + 14 = 2. Solve 2*u + v = r*u for u.
2
Let h = 18 + -12. Let c = h + 0. Suppose 0 = -k + 3*l, 4*l - 25 = -5*k - c. Solve -z - 2*z - k = 0 for z.
-1
Let i(j) = 11*j**2 + 4*j - 3. Let s be i(1). Let o be ((-6)/4)/((s/(-40))/1). Solve u + 4 = o*u for u.
1
Let t = -14 + 4. Let l(b) = 2*b**2 + 19*b - 8. Let w be l(t). Solve d - 12 = -w*d for d.
4
Let a = 315 - 305. Solve -a = 19*t - 24*t for t.
2
Let s = -9 + 14. Let p be 0/(4 - (5 - -3)). Solve p = -3*r - 2*r - s for r.
-1
Let f(c) = -17*c + 13. Let k be f(-3). Solve -70*d - 12 = -k*d for d.
-2
Let j(k) = 3*k**2 + 78*k + 75. Let g be j(-25). Solve g*f - 3*f = -f for f