/(9/(-30)). Solve -4 = a*c - 6*c for c.
1
Suppose 0 = -15*v + 21*v. Solve -m - 6 + 2 = v for m.
-4
Suppose -4*a = -4*u + 8, -2*u - 3*a + 16 = -2*a. Solve 3*k - u = -3 for k.
1
Let v be (2 + 30/3)*1. Solve -2*g = v - 2 for g.
-5
Let l = -75 - -80. Solve -v = 4*v - l for v.
1
Suppose 1 = 3*s - 4*s - 4*r, 19 = s - r. Suppose 2*o = -3*o + s. Solve -o*v + 7*v = 8 for v.
2
Let v = 19 + -15. Solve 3*z + 5 = v*z for z.
5
Suppose -c = 2*c. Suppose 37 + 11 = 4*n. Let m = n + c. Solve -2*l + 2 = m for l.
-5
Suppose -54 = -4*c - 2*v, 4*v + 27 = -4*c + 5*c. Solve 0 = 2*q - 7*q + c for q.
3
Suppose 5*r = -25, 0*k - 13 = 4*k + r. Let z(f) = f**3 + 4*f**2 - 6*f - 1. Let m be z(-5). Let g = k + m. Solve -a + g*a = -1 for a.
-1
Let n be 7/(-21) - 14/(-6). Solve -n*c = 3*c for c.
0
Suppose -4*z - z - 19 = -2*v, -4*z = 12. Suppose -v*o + 3 = -3. Suppose 0 = -2*p + 8, -2*i - 4*p = -0*p - 24. Solve o*q + 4 = i*q for q.
4
Let y(j) = -37*j - 3. Let r be y(-2). Let a = -51 + r. Let v be -3*a*2/(-6). Solve -2*w = 3*w - v for w.
4
Suppose 0 = 3*y + 5*y - 128. Solve i - y = -3*i for i.
4
Let i(k) = -2*k - 4. Let r be i(-4). Let z = -33 + 41. Solve 0 = -r*n - 0*n + z for n.
2
Let n(z) = -z**2 + 15*z - 12. Let t be n(10). Solve -t = 5*x - 13 for x.
-5
Suppose 0 = 4*w - 5*w + 4. Suppose -4*r = -3*l - 0*l - 8, 2*r - 2*l - 2 = 0. Suppose -r*f - 5 = -20. Solve -w*y + f + 1 = 0 for y.
1
Suppose 13*m + 60 = 11*m. Let c be (-23)/(-5) - (-18)/m. Solve -5*i = -c*i + 4 for i.
-4
Suppose -2*r = -7*r + 290. Let l = r + -41. Solve -7 = 5*o - l for o.
2
Let z(c) = 2*c - 10. Let h be z(9). Let j = 6 + h. Solve 2 - j = -4*f for f.
3
Let w = -25 + 29. Solve 2 = a + w for a.
-2
Suppose 35*v = 40*v. Solve 6*n - 3*n + 3 = v for n.
-1
Let g(j) = 14 - 2*j + 1 + 3*j. Let t be g(-11). Solve a = -t*a - 25 for a.
-5
Suppose -4*a = -5*b + 10, 3*a - 5*b - 2 = -12. Let r(w) = 2*w + 2. Let s be r(0). Solve -q - s - 1 = a for q.
-3
Let a = -102 + 108. Solve -a*r + r = 0 for r.
0
Let j = 25 + -23. Solve j*n + 8 = -2 for n.
-5
Suppose -l + 4*z = 1, -l - 2*z + 11 = 2*l. Suppose 5*y - 4 = 3*y, 4*t + 5*y - 6 = 0. Let a = t + 5. Solve -f + a*f - l = 0 for f.
1
Let v(n) be the second derivative of -n**4/12 - 5*n**3/6 + 4*n**2 - 8*n. Let t be v(-6). Solve t*h = 1 + 1 for h.
1
Let b be 4*(2 - (-2)/(-4)). Suppose q = 3, 5*r - 2*q = -14 - 2. Let h be (-28)/(-7)*(-3)/r. Solve 0 = -b*t + 3*t - h for t.
-2
Let c be (-8)/(-3)*1/((-4)/(-6)). Solve -2*y - 6 = c for y.
-5
Suppose i = -i + 6. Let g(s) = -i*s**3 - s**2 + 0*s + 0*s. Let o be g(-1). Solve 0*f - o*f + 4 = 0 for f.
2
Suppose p = 7*p - 30. Suppose p*u = 3 + 17. Solve u*q + q = -15 for q.
-3
Suppose -w = -1, 2*x - 2 = 4*w + 6. Suppose -x*j = -4*j. Solve j = 4*i + 17 + 3 for i.
-5
Let x(n) = n**2 + 2*n - 9. Let k be x(-6). Suppose 4*v - k - 9 = 0. Solve -v = -4*y + 6*y for y.
-3
Let a(z) = -2*z**2 + 3*z - 8. Let p(g) = -g**2 + 2*g - 4. Let s(m) = 3*a(m) - 7*p(m). Let r be s(4). Solve -w - 1 = -r*w for w.
-1
Suppose 0 = 4*v - 35 - 21. Let d(j) = -j + 13. Let x be d(8). Suppose 0 = -k - 2, 3*g - 4*k - x = 12. Solve -v = -g*i - 2 for i.
4
Suppose x - k + 4 = -3*k, 4*x + 3*k = 9. Solve 3*y = y + x for y.
3
Let l be (18/(-27))/((-2)/(-75)). Let s = l - -43. Suppose 7 - 1 = 2*h. Solve -h = -5*w - s for w.
-3
Suppose -4*l - l + 10 = b, 4*b - 4 = -2*l. Solve -2*y + b = 6 for y.
-3
Let l = 7 - 3. Let h = -12 + 17. Solve 0 = -l*m + h + 7 for m.
3
Suppose -12 = -k - 3*k. Solve 0 = k*g + 3 - 0 for g.
-1
Let z(u) = u**3 + 5*u**2 + u + 5. Let d be z(-5). Let x be 2/(-13) + 512/(-52). Let g = x + 16. Solve d = -2*n + g*n - 12 for n.
3
Suppose -2*h - 12 = 2*h. Let q be (h/2)/((-15)/(-80)). Let v = -5 - q. Solve -6 = -v*c + c for c.
3
Suppose 9*t = 11*t - 8. Solve -2 = t*v + 14 for v.
-4
Suppose u + 5 + 3 = 0. Let v be (-2)/(-2 + u/(-6)). Let i = 0 - 0. Solve v*d + d + 8 = i for d.
-2
Suppose -1 + 7 = 3*r. Suppose b = -r*l - l + 2, 5*b + l = 10. Suppose 3*g = b*g. Solve 5*i - 5 = -g for i.
1
Let i(t) = t + 3 - 3*t + t. Let a be i(3). Suppose a*l = -l. Solve 3*p = -l - 3 for p.
-1
Let w(g) = 5*g - 1 - 6*g**2 - 1 + g**3 + 9. Let d be w(5). Let v(o) = o**3 - 7*o**2 - o + 7. Let r be v(d). Solve r = n + 4*n for n.
0
Let c be (12/(-2))/(-2) + 3. Solve c = 2*d + d for d.
2
Suppose 0*p = -p. Suppose c + c = p. Solve i + 5 = -c*i for i.
-5
Suppose 2*x - 2*d + 18 = 4*x, -5*x + 3*d = -21. Let r = 21 - x. Solve -6*w = -3*w + r for w.
-5
Let j = -19 - -3. Let o be 4*(-12)/j - -1. Solve o*g = 2 + 2 for g.
1
Suppose -2*v + 4*z = 3*v - 37, -2*z - 6 = 0. Suppose 2*p - v = 1. Solve -4*t - 3 = -p*t for t.
-3
Let v(m) = -4*m**3 + m + 1. Let z be v(-1). Suppose 4*l - z - 76 = 0. Solve -5*r + 0*r - l = 0 for r.
-4
Suppose -3*l - 5*a + 0*a + 13 = 0, 0 = 3*l + a - 5. Solve -7 = 2*y + l for y.
-4
Let a(z) = -6*z**2 + 10*z + 8. Let y(n) = 7*n**2 - 10*n - 8. Let x(i) = -6*a(i) - 5*y(i). Let c be x(11). Solve 0 = c*f - 2 + 14 for f.
-4
Let t(m) = m**3 + 2*m**2 - 17*m - 5. Let w be t(-5). Solve -w*q = -15 - 10 for q.
5
Suppose -g + 8 = -2*a, 0*g = 5*a - 4*g + 17. Let k = -3 - a. Suppose -4*v = -0*v - 2*i, 0 = 4*v + k*i. Solve 4*c + v*c = 16 for c.
4
Suppose -2*r + 2*l - 2 = 0, 4*r - 2*l = 3*r - 6. Solve -h = r*h for h.
0
Suppose -4*t + 8 + 8 = 0. Solve o = -t - 1 for o.
-5
Suppose 5*v = 32 + 38. Solve 2 = 3*a + v for a.
-4
Let p(k) = 2*k**2 - 5*k - 3. Let q(w) = -w**3 - 2*w**2 + w - 2. Let s be q(-3). Let d be p(s). Solve 0 = 2*n + n - d for n.
3
Let u(y) = -y. Let t(l) = -l**2 + 2*l + 2. Let w be t(3). Let r be u(w). Suppose 2*j - r = 7, -2*j = -4*d - 8. Solve -8*k + 7*k - 5 = d for k.
-5
Let m = -7 - -17. Suppose -4 = 5*h - 2*k, 2*h + h = -5*k + m. Let p be h + 3/(-3)*-1. Solve f = -0 - p for f.
-1
Let i = -5 + 9. Let x be ((-10)/8)/(1/(-12)). Let d = 0 + 1. Solve d = -i*a - x for a.
-4
Let o be (-16)/(-12) + 12/18. Solve r - 3*r + o = 0 for r.
1
Suppose 3*n - 12 = -0. Suppose -s + 4*s = -72. Let v be ((-3)/(-4))/((-2)/s). Solve -n*h + 5 = -v*h for h.
-1
Let p = -6 - -5. Let b = p - -1. Solve 0 = 3*o - b*o + 12 for o.
-4
Let v = 11 + -6. Let z = 0 - v. Let l(o) = o + 10. Let n be l(z). Solve y + n = -0*y for y.
-5
Suppose 2*i + 8*g - 3*g = 10, 5*i = 2*g - 4. Solve i*h = -h + 5 for h.
5
Let q be 10*2*(-3)/(-12). Suppose -10 = -q*u - 2*i, 3*u + 4 = 5*u + 5*i. Solve 0 = -u*p - 2 for p.
-1
Let w = -23 + 31. Let d be ((-20)/(-16))/((-4)/(-16)). Suppose 10 = 5*r, -5*n + 6 = -4*r - 1. Solve d*z - w = -n for z.
1
Let l be (3/2)/(-15*(-3)/120). Solve -3 = l*h + 1 for h.
-1
Let k be -6 + 4 - (-10 - -5). Solve -v = -2 - k for v.
5
Suppose 0 = 4*k - 3 - 5. Suppose 5*g = -20, 0*b + 5*b + 4*g - 19 = 0. Suppose -2*t - 2*r - 15 = -b*r, 3*t + r = 20. Solve -k = t*u + 3 for u.
-1
Suppose -19*q + 25*q = 60. Solve -q + 0 = -5*g for g.
2
Suppose 4*t = t - 3*s + 18, 9 = -t + 4*s. Let b be (-1)/(-2)*(0 - -10). Suppose -t*y + 4 = -3*f + 5*f, -3*y - 10 = -b*f. Solve 0*x + x + 3 = y for x.
-3
Let n = 12 + -7. Suppose n = 6*f - f. Suppose 2*r - 15 - f = -g, g = 4*r + 4. Solve -3*p = -0*p + g for p.
-4
Let t(g) = -g**3 + 6*g**2 + g - 7. Let h be t(6). Let v(d) = -3*d - 1. Let c be v(h). Solve o = 1 - c for o.
-1
Suppose 7*t = 2*t - u + 109, 68 = 4*t - 4*u. Suppose f - 4*f = -t. Let s(j) = j**3 - 6*j**2 - 6*j + 8. Let i be s(f). Solve -2*q = -7*q - i for q.
-3
Let q be (42/15 - 2)/((-5)/(-25)). Solve -3*h + 3 = -q*h for h.
-3
Let p = 14 + -15. Let x be p + 0 + (0 - -4). Solve -q = -1 - x for q.
4
Suppose 5*h - 30 = -15. Solve h = -x + 1 for x.
-2
Let g = 10 + -8. Let f = 3 + -3. Solve f*v + 10 = g*v for v.
5
Let v(j) = -4*j + 1 + 3 - 2 + 1 + j**2. Let c be v(3). Solve -2*w - w - 15 = c for w.
-5
Suppose -2*z + z - 12 = -3*r, 4*z = -2*r + 22. Suppose -3*d - 25 = 2*d. Let k = d + r. Solve k*l = 5*l - 10 for l.
2
Let q be ((-11)/44)/(1/(-4)). Let i be -9*q/(1 - 4). Solve 0 = i*u - 0*u + 3 for u.
-1
Let z = 10 - 7. Solve -b - 2*b + z = 0 for b.
1
Let f(u) = u - 9. Let x be f(8). Let i be (x + 0)*(-8 + 8). Solve i*q = q + 5 for q.
-5
Let s be (-2)/9 - 224/(-36). Solve 3*w + 6 = s*w for w.
2
Let c(m) = 4*m**2 - 1. Let d be c(-1). Solve 2 = -r - d for r.
-5
Suppose 9*a - 65 = 25. Solve -35 = -5*u - a for u.
5
Let r(b) = -2*b + 7. Let d be r(6). Let f = 10 + d. Solve -2*q - 3*q = f for q.
-1
Let z(j) = -15*j + 1. Let p be z(1). Let u = 