
0
Suppose 0 = -n + 5 - 2. Let i = n + 9. Suppose 4*t - 3*w - i = 15, 5*w + 37 = 4*t. Solve t = -3*f - 6 for f.
-3
Suppose 4*i = -4*b + 40, -40 = -3*i - 0*b - 5*b. Solve 12 = -i*t + 2*t for t.
-4
Let q = -4 + 9. Let o(w) = 8*w**2 - w + 10. Let n(z) = -7*z**2 + z - 9. Let h(f) = -7*n(f) - 6*o(f). Let g be h(0). Solve -10 = -g*k + q for k.
5
Suppose 1 - 4 = 3*u. Let y = 1 + u. Suppose y = -g - 3*g - 2*w + 2, -5*w = -4*g + 23. Solve -5*f + 15 = -g*f for f.
5
Let d(h) = h - 11. Let y be d(13). Solve -y*f + 3*f = 5 for f.
5
Let l(w) = w**2 + 6*w + 4. Let d be l(-4). Let f be (-4)/d*(0 - -2). Solve -2*k + k + f = 0 for k.
2
Suppose 7 = i - 5*o, 8 = 3*i - 2*o - 0. Solve i*a - 3*a = 2 for a.
-2
Let n = -4 + 4. Solve n = -3*g + 1 - 7 for g.
-2
Let m be (5 + -7)*18/(-4). Suppose 4 = m*t - 5*t. Solve 2 + t = -3*p for p.
-1
Let x(p) = p**2 - 6*p - 1. Let v be x(5). Let f be ((-3)/2)/(3/v). Solve f*w + 7 = 1 for w.
-2
Let t(d) = -d**3 - d + 2. Let m be t(0). Let l(g) = g**3 + g + 2. Let z be l(0). Solve -z*x = 4 + m for x.
-3
Let u(f) be the third derivative of -f**6/120 - f**5/20 - f**4/24 - f**3/6 - f**2. Let t be u(-3). Solve 0 = -t*q - 2*q - 4 for q.
-1
Let s be -4*(1 - (-33)/12). Let r be (12/10)/(3/s). Let x = 16 + r. Solve -5*c + 0 = -x for c.
2
Suppose 4*i - 4*y - 8 = 0, i - 3 = -5*y + 17. Suppose -3*s + i + 10 = 0. Suppose -o - 20 = -s*o. Solve 16 = -k + o*k for k.
4
Let p(i) = i. Let w be p(-8). Let d = w + -2. Let h = -5 - d. Solve -a - 12 = -h*a for a.
3
Let n(a) = a**2 + 24*a + 99. Let u be n(-19). Let q be 1 - (-2)/(-2 - 0). Solve u = -q*v + 4*v for v.
1
Let n(s) = 6*s - 2*s**3 + 5*s**2 + 4*s**3 - 3*s**3 + 0*s**3. Let k be n(6). Solve k*p = -5*p + 5 for p.
1
Suppose -x = -4*k - 23, -k + 2*k = -3*x + 17. Solve -x + 19 = 3*i for i.
4
Let p(n) = n**3 - n**2 + 6. Let d be p(0). Let r be d*(-4)/(-8) + -1. Solve -r*v - v - 3 = 0 for v.
-1
Suppose -10 = -3*c + 2. Suppose -2*p = -c*q + 2 - 0, 3*p = -5*q + 30. Solve k - 20 = -q*k for k.
5
Suppose 3*t + 15 = -5*s, 3*s + 2 + 7 = -5*t. Solve -4*u - 5 - 3 = t for u.
-2
Let z be 9/6*8/3. Suppose k = -z*h + 4, -2*k - 20 = -7*k. Solve h*y = 2*y for y.
0
Let o be 7/(-2)*(7 - 318/42). Solve -z - 2 = o for z.
-4
Let x(o) = -o**2 + 7*o + 2. Let u be x(6). Suppose -g - u = -3*p, -p = p + 4*g + 4. Suppose 5*k - 5*s = 35, -3*k = s - 4 - 9. Solve -k*a + p*a + 12 = 0 for a.
4
Suppose 1 = -m + 6. Let q(d) be the first derivative of -d**4/4 + 2*d**3 + d**2/2 - 3*d + 3. Let j be q(6). Solve u - j = -m for u.
-2
Suppose -3*c = 6, 48 = -2*p - p + 3*c. Let j be (-1)/(-2*(-3)/p). Suppose -t - 1 + 2 = 0. Solve -2*q + t = -j for q.
2
Let w be (-9*2)/(-5 - 3/(-1)). Solve -5*n = -2*n + w for n.
-3
Let b be 3/((-1)/((-2)/(-2))). Let x be ((-15)/b - 1) + -2. Suppose -x*s = 3*j - 34, -53 + 12 = -3*s - 2*j. Solve 0 = -4*t + 1 + s for t.
3
Suppose -1 + 5 = j. Suppose -65 = -j*h - h. Solve 5 = 4*d + h for d.
-2
Let h = -5 - -7. Let n be (-52)/117 - 24/(-54). Solve n = -0*c + h*c for c.
0
Let a(p) = -p**3 + 2*p**2 + p - 2. Let s be a(2). Suppose 3 + 5 = 2*f. Let q be (-20)/(-6) - f/12. Solve -4*w + q*w - 2 = s for w.
-2
Let w(k) = k**3 + 5*k**2 + 7*k + 7. Let h be w(-3). Solve -h*v = -0 + 20 for v.
-5
Suppose 3*k + p - 7 = -k, p + 7 = 3*k. Solve -k = 2*b - 4*b for b.
1
Suppose -8*x = -5*x. Solve x = -3*y + 5*y + 10 for y.
-5
Let c = -10 + 18. Solve 0 = 3*u - c*u for u.
0
Suppose 25 = 5*f + 5. Suppose 7 = f*o - 57. Solve 5*a - 41 = -o for a.
5
Suppose -2*s + 5*w = -21, 4 = 5*w + 19. Let u be 0*(3/2)/s. Solve u = -2*z + 4 for z.
2
Let x = 11 + -6. Solve 4*l = x*l + 1 for l.
-1
Let z be (-30)/(-4)*(0 - -2). Solve f = 4*f - z for f.
5
Suppose 12 = 3*a - 3*j, 5*a - 2*j - 3 - 5 = 0. Let q = 0 + a. Let s(l) = -2*l**3 - 26*l**2. Let t be s(-13). Solve t*o + 3*o = q for o.
0
Let z = 101 + -74. Solve -5*q + 7 = z for q.
-4
Let k = -22 - -12. Let u be (-25)/k*8/5. Solve u = 3*q + 1 for q.
1
Suppose 4*w = -4*h + h + 40, -4*h + 2*w + 90 = 0. Let t(k) = k**3 - 5*k**2 + 5*k - 4. Suppose 3*d = -2*d + 20. Let g be t(d). Solve g = -4*u - u - h for u.
-4
Let c = -7 + -1. Let n = c + 13. Suppose 0 = -2*o + 3 + n. Solve 11 + 1 = o*m for m.
3
Let k(h) = 17*h**3 - 2*h + 1. Let v = 0 - -1. Let u be k(v). Let l be 4/6 + u/12. Solve -l*c + 5 = 3*c for c.
1
Let s be 10/4*36/30. Solve 5*a + s = -2 for a.
-1
Let r be (15/5)/((-6)/4). Let t be (r + 1)/((-4)/20). Suppose 0 = 3*l - 2*l - t. Solve -l = 8*o - 3*o for o.
-1
Let d(b) = b**2 - 5*b - 2. Let s be d(6). Suppose -2*o - 3*p - 4 = p, 0 = o + s*p. Let h be (-3)/(0 - (-3)/o). Solve h*r - 6 = -22 for r.
-4
Let u(y) = -8*y**2 - 27*y - 6. Let v(d) = -3*d**2 - 9*d - 2. Let n(j) = -4*u(j) + 11*v(j). Let i be n(9). Let k = 2 + 2. Solve i + k = 2*q for q.
3
Let u = -5 + 7. Let z(l) = 4*l + 1. Let q be z(1). Suppose 0 = -q*y - 0 + 15. Solve -y + 1 = -u*a for a.
1
Suppose -3*q = 3*c, 5*c - q - q - 28 = 0. Suppose 0 = 2*n - 3*n + 4. Suppose -j + n = j. Solve -j = 3*m + c for m.
-2
Let r = -11 + 13. Let w = -11 - -15. Solve r - w = b for b.
-2
Let y = 63 + -55. Solve 5*v + y = 3*v for v.
-4
Let z be (-3)/(-6)*6/1. Suppose 2*x + 0 = 4. Let b be (-1)/((-6)/x - -2). Solve 0 = -z*u - b - 14 for u.
-5
Let k be (3 - 3)/(1/(-1)). Suppose 0 = 4*i + 2*y - 2, k*i + 10 = 5*i + y. Solve -i = f - 2 for f.
-1
Suppose z + 16 = -4*i - 0*i, 2*i = 5*z - 8. Suppose 2*c = -c. Solve z = 4*q - 4 - c for q.
1
Let t = 8 - 7. Let o be 25*(2 - 1)*t. Solve 6*u + o = u for u.
-5
Let h(x) = 3*x - 15. Let b be h(7). Suppose 4*p + z = 13, 2*z + 0 = -2*p + 8. Let k be 7/p - (-4)/b. Solve k*r - 3 = -0*r for r.
1
Suppose 0*b = -b + 49. Let v = b - 33. Solve -5*t + v - 1 = 0 for t.
3
Let j = 16 - 14. Solve j*c + 4 = -6 for c.
-5
Suppose 3 = 4*j - 13. Suppose -4*n + 2*x + 16 = j*x, -5*x + 20 = 5*n. Solve 4*w = -n - 12 for w.
-4
Suppose -3*q + 17 = 2. Let y = 7 - q. Solve y*z - 2 = -8 for z.
-3
Suppose -5*s = -28 - 2. Solve 0 = 5*z - s + 1 for z.
1
Let n(h) = -h - 8. Let u be n(-8). Solve o = 3 - u for o.
3
Let p(x) = x - 2. Let y be p(6). Solve a = y*a - 9 for a.
3
Let o be 4/(-18) + 660/54. Let t be ((-16)/o)/(-4)*3. Let c be 1/4 + 19/4. Solve 2*y - c = t for y.
3
Suppose 0 = -x + 2. Let a = 4 - -5. Solve x*d - a = -d for d.
3
Let k be (1 - 0)*(-2 - -7). Let b(j) = -j**3 + 5*j**2 + j + 4. Let a be b(k). Solve a = -2*v + 3 for v.
-3
Let u(c) = c**3 + c**2 + c - 1. Let d be u(1). Solve d*f = -2*f + 16 for f.
4
Let q be 6 - 6 - (-1)/(-1). Let d(u) = -5*u. Let s be d(q). Let b = -4 + s. Solve 3*m - b = 2 for m.
1
Let z be (-72)/63*7/(-2). Suppose -2*t + 14 - z = 0. Solve 0 = -t*y - 8 + 3 for y.
-1
Let p be 7*-1*6/(-21). Suppose p*d = 4*d + 6, -3*q = d. Solve 0 = 3*y - q - 8 for y.
3
Suppose -5*g - 20 = -5*j, 7*g - 2*g + 8 = j. Solve y + 16 = -j*y for y.
-4
Suppose -5 = -5*c + 5. Solve -y = -c - 2 for y.
4
Let b(y) = -y - 5. Let u be b(-7). Suppose k - 4*p + 10 = -u, -3*p = 2*k - 9. Suppose k = q - 5*q. Solve -w + q = -1 for w.
1
Suppose 2*t - 2*i + 4 = 2*i, 2*i + 16 = -2*t. Let d = -4 - t. Suppose 12 = 5*j - d*j. Solve -1 = 5*y + j for y.
-1
Let x be ((0/(-1))/(-1))/(-28 - -30). Solve 0 = -n - x*n for n.
0
Suppose 0 = 3*z - 5 - 19. Solve z*k - 4 = 4*k for k.
1
Let i(p) = 6 - p**3 + 7*p - 2 - 5*p**2 + 2. Let n be i(-6). Suppose -3*j + 3*m = -2*j + 11, j + 16 = 4*m. Solve n = -j*b - b for b.
0
Let v = -28 - -30. Solve v*o - o + 2 = 0 for o.
-2
Suppose -4*p + q + 2*q + 74 = 0, -5*q = -3*p + 50. Solve 0*j + p = 4*j for j.
5
Let u(a) = a**2 + 2*a + 2. Let k(x) = x**2 + 13*x - 2. Let g be k(-13). Let r be u(g). Solve -r*q + 1 - 5 = 0 for q.
-2
Let r be 5/((-20)/38)*2. Let n = 34 + r. Solve 0 = -2*q + 5*q - n for q.
5
Let p(a) = 7 + 4 + a**3 - a**2 - 9. Let k be p(0). Solve -5*j - 15 = -k*j for j.
-5
Let o = 42 - 41. Solve -4*j = o + 11 for j.
-3
Let h be (1 + 2 - (-6 + 8)) + 2. Solve 5*i - h = -18 for i.
-3
Let i = -13 - -22. Let u(b) = b**2 - 4*b. Let z be u(i). Suppose 5*c - z = -0*c. Solve -c = 2*d + d for d.
-3
Suppose -5*l = -3*l. Solve 3*y - y = l for y.
0
Let v(r) = -r**3 - 4*r**2 + 3*r - 1. Let x be v(-5). Suppose -2*k + 4*f + x = k, 2*k + 14 = -4*f. Let p = k + 8. Solve -5*u = p - 2 for u.
-1
Let a(y) = y**2 - 2*y + 4. Let k be a(0). Solve 0*f - 16 = -k*f for f.
4
Suppose 26 - 10 = 4*z. Suppose 0 = -y - z*y - 15. Let n = 3 - y. Solve 2*a - n = 4 for a.
