4 = 24 for x.
4
Let s be 41 + 6/2 + -3. Suppose 3*m = 6*j - j - s, j = 5*m + 17. Suppose j*g - 12 = 4*g. Solve k = -0*k + g for k.
4
Suppose 4476 = -12*v + 4512. Solve -34 = -v*q - 31 for q.
1
Suppose 4*b + 256*o - 12 = 260*o, 5*o = -5*b + 45. Solve 15*c + b - 6 = 0 for c.
0
Suppose -q - 37 = -4*n, 3*n - 8*n - 2*q = -43. Suppose 60 = 6*j + n*j. Solve -g = -j*g + 3 for g.
1
Let a be (-8)/36 + 166/18. Let h(w) = -w**3 + 6*w**2 + 10*w - 15. Suppose 3*l + 2*u = 6*l - 23, 0 = -2*l - 2*u + 12. Let q be h(l). Solve 3*v + q = a for v.
1
Let z = 355 - 349. Solve -s + 10 - z = 0 for s.
4
Suppose -47 = 5*w + 13. Let s be 4 + (0 - w) - 4. Solve q - s = -2*q for q.
4
Let p = 2 - -1. Let b(u) = 16*u**2 - u. Let o be b(1). Let t be 42/o - 3/(-15). Solve -t*j + 9 = -p for j.
4
Suppose 3*x = -7*l + 5*l + 76, 4*l = -2*x + 56. Solve 2*p = 8*p + x for p.
-4
Suppose 0*t - 5*t = -130. Suppose -2*g + t = 24. Suppose g + 4 = d. Solve -6 = d*i + 4 for i.
-2
Let a be (6/4)/(-3*(-4)/56). Solve 4*f = 3 - a for f.
-1
Let o(n) = n**3 - 6*n**2 - 2*n + 3. Let w be o(7). Let p be (-285)/w*4/(-6). Solve 0 = p*b + 12 + 13 for b.
-5
Let y(x) = -x**2 - 8*x - 8. Let d be y(-6). Let u be d/(8/2)*3. Let q = u + -3. Solve 6*m - 3*m = q for m.
0
Suppose -3*x + 27 = l, -2*x + 20 = -3*l + 13. Solve -3 + x = -o for o.
-5
Let m = 27 + -13. Let z(n) = n - 2*n - 4*n + 3*n + m. Let w be z(6). Solve x - 2*x = w for x.
-2
Let g(t) = -t**2 + t + 10. Let y be g(3). Suppose 2*r + 1 = -1. Let j = r + 1. Solve -u + y*u = j for u.
0
Let s = 856 - 850. Solve 0 = -s*q - 0 for q.
0
Let a(z) be the second derivative of 0 - 1/6*z**3 - 4*z + 5/2*z**2. Let u be a(5). Solve u*w + 4 = -w for w.
-4
Suppose 0 = 4*c, -5*l + 50 = -2*c + 5*c. Solve 0 = -4*z - 10 - l for z.
-5
Suppose -4*o + 5*o = 4*o. Let l be o*((-3)/6 + 1). Solve 0 = 3*c - l*c - 6 for c.
2
Let z be -1 + 30/27 - (-35)/9. Solve -z*a - 17 + 21 = 0 for a.
1
Suppose -2*g + 11*g - 2*g = 0. Solve 20*n - 27*n + 21 = g for n.
3
Let b be -1 - -1 - 2/(-2). Let k = 1483 + -1475. Let q = -3 + 6. Solve q*f - b = k for f.
3
Suppose 5*s + 20 = p, p + 2*p - 20 = 5*s. Let j = 0 + p. Solve j = -b + 2*b for b.
0
Let b(z) = -13*z + 169. Let c be b(13). Solve c = -5*a + 15*a - 10 for a.
1
Let v = 222 - 197. Solve 0*q + v = 5*q for q.
5
Let h be 16/(-12)*(-120)/32. Solve h*f - 45 + 20 = 0 for f.
5
Let q = 845 + -830. Solve 45 = -6*x + q*x for x.
5
Let a(m) = -2*m**3 + 6*m**2 + 11*m - 5. Let c be a(6). Let r be (-2)/(-11) + c/(-55). Solve s + 5 - r = 0 for s.
-2
Let g(z) = -z**2 + 10*z - 8. Let f(o) = -o**2 + 9*o - 7. Let w(n) = 3*f(n) - 2*g(n). Let b be w(6). Solve 4*d = 3*d + b for d.
1
Suppose 3*b + r = 2*r + 23, b = -5*r - 3. Suppose 0 = 11*g - b*g - 44. Suppose 36 = 5*x + 4*z + 6, -3*z + g = -2*x. Solve 0*y = x*y - 6 for y.
3
Let r = 54 - -13. Suppose r = 4*f - 45. Solve 3 - f = 5*j for j.
-5
Suppose 0 = 4*z - 2*z. Suppose x - 3 = -2*x, -3*v - x = -676. Let d be 2/9 + (-50)/v. Solve d*h - h + 5 = z for h.
5
Let a = 275 + -269. Solve -a*r + 3 = -5*r for r.
3
Suppose 5*d + 16 = 4*l, 2*l - 4*d - 2 = -3*d. Let x be (-5)/l*(2 + -6). Let b = -20 - x. Solve b = 5*z + 8 - 3 for z.
-1
Suppose 213 = 40*m - 27. Solve 3*n - m*n = -15 for n.
5
Let q = 540 - 534. Solve 3*j = -q*j + 18 for j.
2
Let x(d) = -13*d - 80. Let m be x(-7). Solve 65 = 2*j + m*j for j.
5
Let q(a) = -a**3 + 2*a + 1. Let z be q(-2). Suppose -g + 0 - 16 = 0. Let f = g - -26. Solve 5*i - z = f for i.
3
Let q be (-3)/((-102)/64) + (-486)/(-4131). Solve -9*w + 7 = -q*w for w.
1
Suppose -77*x + 72*x = 0. Solve b + 3 = -x*b for b.
-3
Suppose -2*k = -5*f - 4, k - 4 = 4*f - 2. Suppose 4*a - 12 + 0 = 0. Let x = f + a. Solve x*q = 8*q + 5 for q.
-1
Let k(p) = -p - 9. Let v be k(-14). Let h be (-2)/(20/8 + -3). Solve -f = h*f + v for f.
-1
Let p(j) = 6*j - 1. Let x be p(1). Let q = -2 + x. Suppose 0 = 4*v + v + 3*n - 51, -2*v = -5*n - 39. Solve q = -5*c - v for c.
-3
Let g(r) = 85 - 137 + r**2 - 9*r + 84. Let v be g(5). Solve -5*u - 13 - v = 0 for u.
-5
Let j = 247 + -242. Suppose 0 = 3*q + q - 32. Solve -j*w = -q + 3 for w.
1
Let o = 959 - 957. Solve 0 = -o*h + 56 - 50 for h.
3
Let m = 1 + 2. Suppose -2*o + 1 = -m. Let g = o + 0. Solve g*w = w for w.
0
Suppose -6*j + 192 = -2*j. Let z be ((-9)/(-4))/(18/j). Solve 4*n - z = 2 for n.
2
Suppose 282 + 68 = 35*t. Solve -t*q + 2*q = 0 for q.
0
Let o(u) = u**3 - 9*u**2 + 9*u - 10. Let a be o(8). Let q be 0/(3 + 2/a). Suppose 4*z = 4*j - 40, q = -5*j - 2*z - 0*z + 15. Solve -x = j - 2 for x.
-3
Suppose 0 = 4*o + 20, 0 = -2*g + 7*g + 5*o - 55. Solve -g = 6*w + 2 for w.
-3
Suppose -g - x = -4*g + 40, -5*g = 3*x - 76. Suppose 2*u - 8*v + 43 = -11*v, 3*u + 47 = -v. Let m = u + g. Solve m*n = 5*n + 15 for n.
-3
Let x be (-4)/(-6) - (-32)/24. Suppose -2*w = x*w - 48. Solve w - 4 = -2*c for c.
-4
Let d(u) = -8*u - 28. Let r be d(-8). Suppose 2*z = -7*z + r. Solve 3*l = -l + z for l.
1
Let j be 1*(1 + -3 - -3). Let x be -1 - (j + -5) - -1. Suppose 5*d = x*d + 8. Solve s + s = -d for s.
-4
Let a(d) = -d - 1. Let j be a(-3). Suppose -5*i + 51 = p - 1, 0 = 4*i - 2*p - 36. Let k = 10 - i. Solve 0*o + o + j = k for o.
-2
Let j = 1 - 1. Let b = 15 - 15. Suppose 7*m - 11 - 10 = b. Solve x + j = -m for x.
-3
Let s be 116/(-6) - (-3)/9. Let j = 23 + s. Suppose -j*t + 4 = -4. Solve 4*p = 2*p + t for p.
1
Let q be 11 - (3 - (14 + -20)). Let v(g) = g**2 + g. Let n be v(1). Solve 0*l - q = -n*l for l.
1
Suppose 317 = 7*u + 254. Solve -5*i - 1 = u for i.
-2
Let k be ((-2)/3)/(8/12). Let o be k + 1 - (0 + -1). Let a be (7 - 4) + (-1)/o. Solve a*v - 4 = -2*v for v.
1
Let n = -14 + 16. Suppose -71 = -3*w - n*p - 17, 109 = 5*w - 3*p. Solve -a + 5*a - w = 0 for a.
5
Let l(p) be the second derivative of -p**3/6 - 11*p**2/2 + 8*p. Let m be l(-13). Solve m + 18 = 5*f for f.
4
Let u be 5/30 - 195/(-18). Suppose 0 = -2*x - 1 + u. Solve -4 = x*a + 11 for a.
-3
Suppose 0 = 2*l + 4*k - 5 + 17, -3*l = -k - 17. Let q = 6 - l. Suppose 0 = 6*x - q*x. Solve x = -v + 5*v + 16 for v.
-4
Let t = 231 - 226. Let z be (19 + 1)*(-12)/(-30). Suppose m - z = -m. Solve m = -t*c + 24 for c.
4
Let d be (-5 - -3) + 3 + -3. Let h = d + 4. Suppose 4*o - 48 = 4*g, -3*o - h*g + 60 = g. Solve 4 = 4*t - o for t.
5
Let d(s) = -3*s - 4. Let u be d(-4). Let y be ((-3)/4)/(183/244). Let c be (-4)/u*(y - -1). Solve c = 4*l - l - 12 for l.
4
Let z = 54 - 74. Let s be (75/z)/3*-4. Solve 0 = 2*a + s - 3 for a.
-1
Let s be 3 - 7*(-6)/(-14). Suppose h = -2, -4*r - 2*h + 6 = -6. Suppose -1 = t - r. Solve -b - t = -s*b for b.
-3
Let v be (8/10)/(-4) - 116/20. Let z be (4/3)/((-1)/v). Solve 2 - z = 3*k for k.
-2
Let a = 13 + -12. Let n(q) = q**3 - q - 1. Let w(m) = -5*m**3 + m**2 + 5*m + 3. Let x(i) = -4*n(i) - w(i). Let p be x(a). Solve -4*c + 8 = -p for c.
2
Let d be (5 - 8)/((-9)/(-48)*-2). Solve -5*t - d = -18 for t.
2
Let d(w) = 6*w**2 - w - 1. Let z be d(2). Let y be (-7)/z*(-1 + 1). Let i(r) = -39*r - 386. Let f be i(-10). Solve -f*l - l = y for l.
0
Suppose 14*f + 8*f - 6*f = 0. Solve -2*j - 5*j + 28 = f for j.
4
Suppose -i = -0 + 3. Let n be (i - -1) + (-28)/(-7). Solve 0 = n*p - 5*p + 15 for p.
5
Suppose -11*a = -4*j - 8*a + 23, a = 3*j - 11. Solve j*f - 1 = 3*f for f.
-1
Let v = -95 - -99. Suppose -x - 11 = -2*b, 0*x - b = -4*x - 16. Let w be 18/(-12) - x/2. Solve w*o + 8 = -v*o for o.
-2
Suppose 0 = -8*o + 3*o + 25. Suppose -19 = -o*g - l, -6 - 4 = -3*g - 2*l. Solve 5*r = 4*r + g for r.
4
Let z(n) = -n**2 + 7*n - 1. Let x be z(5). Suppose x = 7*v - 5. Solve i + 4 = v*i for i.
4
Suppose u - 3*u + 284 = 3*h, 3*u + 309 = 3*h. Solve 8*c - h = -58 for c.
5
Suppose s + 20 = 6*s. Let v = 53 + -23. Solve s*f + 10 = v for f.
5
Let v(p) = 16*p - p + 1 + 13*p**2 - 27*p - p**3. Let r be v(12). Solve -2*x - r = 7 for x.
-4
Suppose 0 = -3*j - f + 301, 0 = 2*j - 0*f - 4*f - 224. Let d = j + -99. Solve 6*h + 12 = d*h for h.
-4
Let a be (-3 - -2)*85 - -3. Let n = -78 - a. Suppose 4*c - 16 = 2*s + 2*s, -4*s + 2*c - 8 = 0. Solve -f + n*f + 9 = s for f.
-3
Let j(x) = -9*x - 8. Let b be j(-4). Suppose -2*k + b = -10. Solve -3 = 4*z - k for z.
4
Let b(k) = -k**2 + 13*k + 92. Let a be b(18). Solve a*w + 19 = 11 for w.
-4
Suppose -16 - 24 = -4*i. Suppose 0 = -6*n + i*n - 16. Solve 8 - 4 = n*c for c.
1
Let j = 60 - 56. Suppose 39 = 3*q - 5*o, 5*q - 3*