0
Suppose -59*p - 75 = -84*p. Solve -6*a = p + 15 for a.
-3
Let u(q) = q**3 + 7*q**2 + 6*q + 2. Let w be u(-6). Let l = -3 + 5. Suppose -l*v = -v - w. Solve 1 = -v*f - 5 for f.
-3
Let a = -1 - 2. Let v = a + 3. Solve v*r - 3*r - 12 = 0 for r.
-4
Let v(j) = -j + 2. Let p be v(0). Let w(z) = -z**2 + z + 2. Let t be w(p). Suppose -4*x = -8, 5*l - x = -t*x + 23. Solve 0*d - 5 = -l*d for d.
1
Let f(h) = 9*h**3 - 10*h**3 + h + 5*h**2 - 5*h**2 + 7*h**2 - 5. Let t be f(7). Solve i + t = -2 for i.
-4
Suppose 0 = 5*h - 3*l - 21, -5*h + 0*h - 4*l = -7. Suppose h*p - 3 = -0*p. Suppose -2*b + p = -3. Solve -7 = b*m - 3 for m.
-2
Let g be 38/14 - 5/70*-4. Suppose 0 = -3*o + 5*o. Suppose o = j - 5*p + 18, 3*p - g - 9 = 0. Solve -j*x - 1 - 9 = 0 for x.
-5
Suppose -11*l + 500 + 138 = 0. Solve 0 = -l*u + 59*u for u.
0
Suppose 0 = -6*v + v - 45. Let i be (30/(-27))/5 - 38/v. Solve 3*n - 4*n = i for n.
-4
Let w be -12*7/(-8)*2/3. Solve 2*b + 5 = w*b for b.
1
Let q = -8 - -8. Suppose q = -2*l + 5*l. Let f(k) = k**3 + 14*k**2 + k + 17. Let w be f(-14). Solve n - w*n - 6 = l for n.
-3
Let i = -551 + 555. Solve -i*p + 2 = -5*p for p.
-2
Let t(b) = b**2 + 2*b + 3. Let m be (-11)/11 - (1 + 0). Let g be t(m). Suppose -2*h + 60 = g*h. Solve -l + 4*l = -h for l.
-4
Suppose -8 = 2*a - 100. Suppose 26 = -v + a. Solve v = -5*s + s for s.
-5
Suppose 7*a - 21 = -0. Let c be (a + 15)*(-2)/(-3). Solve 6*m - c = 3*m for m.
4
Let i(j) = 3*j**2 + j - 2. Let a be i(-7). Let r be ((-12)/(-9))/((-4)/(-6)). Let k be a/9 - r/6. Solve -b + 6*b = k for b.
3
Let z = -19 + 38. Suppose -5*n = -z + 9. Suppose 5*v + 22 + 4 = l, n*l + 2*v = 16. Solve -3 + l = 2*o for o.
4
Suppose 0*h - 4*h = -40. Let n(u) = u**3 - 9*u**2 - 8*u + 5. Let s be n(h). Suppose -4*j + 50 = a + 9, s = 5*a. Solve -2*d + 5*d - j = 0 for d.
3
Let d be (1/(-2))/((-10)/80). Solve 3 = g + d for g.
-1
Suppose 5*a = -5 + 15. Let j be a/7 - 66/(-14). Suppose -v = -5*c + c - 5, -j*c - 8 = -3*v. Solve 5 = 4*u + v for u.
1
Let s be (-6)/10 - 69/(-15). Suppose -3*c = -12, 4*i - s*c + 88 + 0 = 0. Let q = i - -20. Solve -2*n - 20 = q*n for n.
-5
Let a(s) = 4*s + 29. Let y be a(-6). Suppose 13 = 4*j - 3*i, 0*j + j + i = y. Solve 0 = j*n - 0*n - 16 for n.
4
Let v be 9/12 - 9/12. Suppose v*z = -5*z + 10. Solve 3*i = i + z for i.
1
Suppose -3*m + 14 = 5*f, 2*m + 17 = 13. Solve f*b = -4*b - 24 for b.
-3
Suppose -s + 2*h + 5 - 3 = 0, -s + 4*h + 2 = 0. Let n be s*(2 - 1) - 0. Suppose q + 2*q - 5*i = -5, -5*q + 2*i - 2 = 0. Solve q - 8 = -n*c for c.
4
Suppose -4 = 2*x - 44. Suppose 3*s - 27 = k, 0 = -6*k + 3*k + 5*s - 69. Let r = x + k. Solve r*o = -o for o.
0
Suppose -6*o + 17 = 5. Suppose o*w - 3*v - 2*v = -10, 5*v - 25 = -w. Solve -4*t = -w*t for t.
0
Suppose r + 22 = -52. Let o be (-1)/3 + r/(-6). Let v = -204 + 204. Solve 4*f + v = -o for f.
-3
Let b = 466 + -422. Solve 22*c - 11*c = b for c.
4
Let x be (1/3*-2)/((-8)/756). Let i = x + -60. Solve 12 = -i*s - s for s.
-3
Suppose -44*a + 1950 - 586 = 0. Solve 0 = -3*l - 22 + a for l.
3
Suppose -5*k - 5*t = -25, -20 = 4*k - t - 3*t. Solve -2*q + k*q = -2 for q.
1
Suppose 4*a = 2*a + 3*g + 3, -g - 1 = a. Suppose 3*l - 3 = -3*p, 5*l - 1 = -2*p + 10. Suppose -5*i - 3 = -l. Solve -4*w + i*w - 12 = a for w.
-3
Suppose 7*t + 32 = 46. Solve t*c = c + 3 for c.
3
Let k(n) = n**2 - 2*n + 1. Let g(s) = -2*s - 1. Let b(c) = c - 2. Let l be b(1). Let t be g(l). Let u be k(t). Solve -5*o + 3*o = u for o.
0
Let j(p) = -10*p**3 - p**2 - p - 1. Let u be j(-1). Let a be (-9)/((-99)/(-2)) - (-322)/77. Solve t = a*t - u for t.
3
Suppose 0 = -28*x + 35*x - 14. Let g be x*(-12)/(-8)*1. Solve 0 = g*h - 10 + 4 for h.
2
Suppose -12*j = 2*j - 126. Solve -j = 17*g - 77 for g.
4
Let y = -17 + -33. Let l be (-4)/(-18) + y/(-18). Let j be -12*-2*l/6. Solve -3*h + j = h for h.
3
Let k(y) = 2*y**2 - y - 3. Let z be k(3). Let u be 264/z - (0 + 0). Let h be 11/u*(0 - 0). Solve h = 4*s - 3*s for s.
0
Suppose 9 = v - a, v - 14 + 9 = 5*a. Solve -3*q = 2*q + v for q.
-2
Suppose -11*h = -138 - 115. Solve -7*a + 12 = -h for a.
5
Suppose -5*d = -35 - 0. Suppose 3*u = d*u + j - 12, 3*u - 2*j - 20 = 0. Solve 3 + 5 = u*r for r.
2
Suppose 2*h = 4, 3*h = -5*l + 5*h + 6. Let f be (-16)/(-5) - l/10. Suppose -7*k = -f*k. Solve -4*n = -k*n for n.
0
Let b(m) = m**3 + 8*m**2 + m + 12. Let j be b(-8). Solve -7*r = -9*r - j for r.
-2
Suppose -b = 1, -b = -7*t + 2*t + 86. Let o = 25 - t. Solve o + 12 = 4*x for x.
5
Let l(g) = 6*g - 3. Suppose 14 = 8*c + 6. Let t be l(c). Solve 2*u - u - t = 0 for u.
3
Let o = -1732 - -1743. Solve -14*c - 53 + o = 0 for c.
-3
Let x(o) = o**3 + 19*o**2 - 2*o - 33. Let n be x(-19). Solve -2*t - 6 = -n*t for t.
2
Let r(k) = -23*k - 68. Let z be r(-4). Solve 0 = -z*l + 28*l - 4 for l.
1
Suppose 578*c - 14 = 571*c. Solve -2*g + g = -c for g.
2
Let f(i) = -i**2 - 12*i - 9. Let a be f(-11). Suppose 5*p + 12 = -3*s, -3*p = a*p + 4*s + 11. Let o = p + 6. Solve n = -o*n - 12 for n.
-3
Let f(h) = -2*h - 11. Let o be f(-7). Let t be 48/o - (-2)/(-1). Suppose -g = n + 3*g - t, 0 = -3*n - g + 31. Solve n = -4*m + 22 for m.
3
Suppose 0 = 5*x + 152 - 17. Let c = 27 + x. Solve -4*m + 2 + 6 = c for m.
2
Let m = 349 - 345. Solve -4*y - m = -8*y for y.
1
Suppose -23 = -5*u + 4*c - 2*c, u + 9 = -3*c. Solve -4 = b - u for b.
-1
Suppose -31*s = -53 - 102. Solve 0 = -s*y - 7 + 22 for y.
3
Suppose -114*c = -106*c - 88. Solve 0 = 3*q - c - 4 for q.
5
Let v(k) = k**3 + 5*k**2 + 5*k + 4. Let y be v(-4). Solve q - 60 + 65 = y for q.
-5
Let l = -1 - 7. Let j = l - -21. Suppose -12*r + j*r = 0. Solve 3*i = -r + 15 for i.
5
Suppose 4*m - i = 12, 5*i - 4*i = -4*m + 20. Let v = m + 4. Solve 0 = -2*p + 4*p - v for p.
4
Let o be ((-1)/3)/((-4)/12). Let j be (-30)/(-2) + o + -2. Solve 4*y = 2 - j for y.
-3
Suppose -4*f = -0*f - 44. Suppose -3*o + p - 40 = 0, -5*p - 3 = o - f. Let h = 0 - o. Solve h = -6*a + 3*a for a.
-4
Suppose 0 = -4*i + 2 + 2, 0 = -j + 2*i. Suppose 3*p - 4*b + 2 = 5*p, 0 = 2*p - 3*b - 23. Solve j*y = 1 + p for y.
4
Let l be 1/(2/8) + -1. Let u(x) = x**3 - x**2 + x - 1. Let z(j) = -j**3 + 3*j**2 + 2*j - 4. Let a be z(3). Let t be u(a). Solve -20 + t = -l*p for p.
5
Let w be -5 - (2/1 - 3). Let k(n) be the second derivative of -n**5/20 - 5*n**4/12 - 2*n**3/3 + n**2 + 16*n. Let y be k(w). Solve 0 = y*c - c - 3 for c.
3
Suppose v + 5*b = b + 28, -2*b - 16 = -2*v. Solve -3*t = -0*t + v for t.
-4
Suppose j + 8 = -2*y, -5*y - 5*j - 5 = 5. Let k be (y - (-10)/5)/2. Let d be (-1)/(k/4) - 0. Solve -2*z + d = 4 for z.
-1
Let t(r) be the first derivative of -5 - 4*r**4 - r - 1/3*r**3 - 1/2*r**2. Let u be t(-1). Solve -5 = -4*y + u for y.
5
Let p(i) = -7*i - 50. Let v be p(-9). Solve -c - 12 = -v for c.
1
Let v be 0*(34/6 + -4 - 2). Let d(s) = -s + 16. Let b be d(v). Let j = -5 + 9. Solve 0*x + b = j*x for x.
4
Let a = 18 - 16. Suppose -a*b + 4*b + 8 = 4*i, -3*b - 12 = i. Solve -5*v + v + 16 = i for v.
4
Let s(u) be the first derivative of u**2/2 + 16*u - 7. Let o be s(-6). Let k = 10 - o. Solve 5*t = -k*t for t.
0
Suppose -3*p = -13 + 7. Let m be -4 + 17 + -4 - (p - 1). Solve m*h + 10 = 3*h for h.
-2
Let s be 10/(-15)*(-3 + -12). Suppose -s*t + 7*t + 18 = 0. Solve 0*q - 2*q - t = 0 for q.
-3
Let y = -99 + 104. Suppose -3*v - 3*r + 6 + 15 = 0, -y*r = -5*v - 15. Solve v*s + 3*s = 10 for s.
2
Suppose -4*f + 32 = -3*g + 1, 2*f - 3*g - 23 = 0. Let w = 7 - f. Suppose 0 = w*l - 7*l. Solve -a - 2*a - 9 = l for a.
-3
Suppose 0 = 3*s + 12, 75 = 3*o - 2*s + 49. Solve 4*b + 14 = -o for b.
-5
Let u(g) = 23*g + 91. Let k be u(-9). Let h = 116 + k. Let i(b) = -b**2 - 6*b - 2. Let y be i(-4). Solve -3*o + y*o = h for o.
0
Suppose -21*i + 281 + 34 = 0. Solve -i + 24 = -3*f for f.
-3
Let j(l) be the first derivative of l**3/3 + 7*l**2/2 + 3*l - 5. Let k be j(-6). Let x(q) = q**3 + 5*q**2 - 6. Let o be x(k). Solve -2*s - o = s for s.
-4
Let k be -5*1/(3 - 4). Let a be (-17)/5 + 2/k. Let n(d) = -d**3 - 3*d**2 - d + 1. Let l be n(a). Solve 0*m + l*m = 12 for m.
3
Let u(v) = 2*v - 8. Let c be u(4). Solve -3*m + 5 - 11 = c for m.
-2
Suppose 1 = -5*a - 2*n + 27, a + 5*n - 19 = 0. Suppose -a*t = -13*t + 90. Solve 2*r = -3*r - t for r.
-2
Suppose -42 = -8*u + 15*u. Let l(k) = k**2 + 6*k + 5. Let w be l(u). Solve w*x = x for x.
0
Let y(t) = -t + 15. Let d(f) = 