-4 = -y*t + 7*t for t.
-1
Let n = 10 - 7. Suppose 0 = n*u + 12 - 0. Let s be 63/6 + 2/u. Solve -3*j = s + 5 for j.
-5
Let o = -158 + 165. Solve -10*c + o*c - 12 = 0 for c.
-4
Let v(r) = -r**3 - 2*r**2 - 4. Suppose 3*o = -3, -4*k - 12 = 3*o + 3. Let m be v(k). Suppose 2*j - 4*j + 5 = m*t, -2*t = 3*j + 9. Solve -3 = 6*q - t*q for q.
-1
Let o(d) = 6*d**2 + d - 1. Let l be o(1). Let u(t) = t**2 + 3*t - 16. Let w be u(-6). Suppose w*j + 3 - 7 = 0. Solve -l*f + j = -4*f for f.
1
Let m(r) = -4*r - 36. Let k be 3/(6/(-2)) - (-1 + 9). Let z be m(k). Solve z*i + 4 = -2*i for i.
-2
Let h(w) = -w - 4. Let f be h(2). Let j be 1*((f - -2) + 4). Solve -2*q = -j + 2 for q.
-1
Let j be (0 - -1) + -1 - -2. Suppose 0 = j*t - 14 + 6. Solve -2*l + t = -l for l.
4
Let g be (-4 - -3)*0 + 5. Suppose -249*w + 284*w - 105 = 0. Solve -g*c = 2 + w for c.
-1
Let z = -54 + 54. Suppose -20 = -5*q - z. Solve q*t - 15 = t for t.
5
Suppose -30 = -2*u - 4*g, 5*g - 5 - 20 = 0. Suppose 5*f = -u*f + 2*f. Solve 4*q - 8*q = f for q.
0
Suppose 3*q - q - 94 = 0. Let g be q/4 + (-2)/(-8). Suppose -4 = -4*z + g. Solve 5 = d + z*d for d.
1
Let r(n) = 13*n**2 - n - 1. Let l be r(-1). Let w = l + -9. Solve w*d - 9 = d for d.
3
Let m be 4 + 1580/40 - 1/2. Solve 8*n - 11 = -m for n.
-4
Let c(p) = 5*p - 65. Let x be -3 + 4/8 + (-74)/(-4). Let v be c(x). Solve a = 6*a + v for a.
-3
Let k(s) = 8*s + 16 + 16*s**2 + 9 + 5*s**3 - 4*s**3 + 8*s. Let t be k(-15). Solve t*g - 5 = 5*g for g.
1
Let q = 50 - 15. Suppose 0 = -t - 4*d + 22, -3*d + q = 5*t + 2*d. Suppose 2*n + 6 = 2*s, 4*n + s = 15 - 2. Solve -t*c + n + 4 = 0 for c.
3
Let f(j) = -10*j - 64. Let y be f(-7). Solve -6*u - 18 = -y for u.
-2
Suppose -5*r + 5*k - 15 = 0, -5*r - 7 - 3 = -4*k. Suppose 2*s = 8, 0 = r*v - 3*s - s. Solve 2*w - v + 4 = 0 for w.
2
Let g be (-2)/(-5) - (-297)/45. Let m = g + -9. Let v(w) = -3*w**3 + 2*w. Let f be v(m). Solve 5*k - k + f = 0 for k.
-5
Let f = -115 + 115. Solve 11*g - 14*g - 6 = f for g.
-2
Suppose -21 - 14 = -7*q. Solve -q*k = -2*k for k.
0
Let n = 47 - 40. Suppose 2*d = d + n. Solve -3*f = -5 - d for f.
4
Suppose -r - 2*r = -3*d - 18, -d = r - 6. Suppose 0 = -r*i + 2*i + 16. Suppose 0 = 5*u + 4*c - 41, 0 = -3*u + c + 3*c - 1. Solve -i = w - u*w for w.
1
Suppose -3*b = -5 - 1. Let v be (2 - 7/b)*14. Let p = v - -23. Solve -j = -p*j - 2 for j.
-2
Let o be -4*1/4 + 36. Solve 5*f = -2*f - o for f.
-5
Let d(q) = -3*q**2 + 45*q + 54. Let g be d(16). Let t be 94/10 + 27/45. Solve 4*j + t = g*j for j.
5
Let y(k) = 3*k**3 + 11*k**2 + 3*k - 7. Let l be y(-3). Solve 6 = 4*x - l for x.
2
Let f be (-24*(-7)/21)/1. Solve f = -12*b - 4 for b.
-1
Suppose 1 - 5 = -2*k. Suppose 3*j - 2*n = 10, -k*n = -4*n + 2. Solve -j = 6*q - 2*q for q.
-1
Let z be 1*(2828/252 - 2/9). Solve 2*k = 13 - z for k.
1
Let q(i) be the third derivative of i**6/60 - i**4/12 + i**3/2 + 8*i**2. Let h be q(2). Solve -2*d = 3*d + h for d.
-3
Let r be (-11)/(-55) + (-82)/10. Let w(n) = -n**3 - 9*n**2 - 9*n - 4. Let k be w(r). Suppose k*j = 3*g + g - 32, -j + 52 = 5*g. Solve 3*u + 2*u - g = 0 for u.
2
Let k(s) = -s**2 - 12*s - 15. Let u be k(-10). Suppose 0*v - u*v - 5*n + 20 = 0, 4*v - 2*n + 8 = 0. Solve -h - 2*h = v for h.
0
Suppose 25 = -2*v + 7*v. Let x(g) = g**2 - 2*g - 12. Let u be x(v). Solve 0 = -u*c - c for c.
0
Let a(u) = u + 11. Let c(r) = -r**2 - 10*r. Let j be c(-11). Let f be a(j). Suppose f = -0*y - 5*y + 10. Solve y*v + 15 = 5 for v.
-5
Let k = 16 - 8. Let w be -4 - (-3 - (2 + -80)). Let g be w/(-4) - (-2)/k. Solve y + g = -3*y for y.
-5
Suppose 0 = 3*l - 5*n + 15, l + 3*n - 25 = 6*l. Let f = l - -5. Solve -3*a = -f*a for a.
0
Let d = 2040 - 2038. Solve 0 = -3*q + d - 8 for q.
-2
Let q = 202 + -196. Solve -2*n = 2 + q for n.
-4
Let s(z) = 23*z + 330. Let r be s(-14). Solve u - 9 = -r for u.
1
Let n(a) = -a**2 + 11*a + 26. Let h be n(11). Suppose 0 = h*g - 21*g. Solve g*k = 3*k + 6 for k.
-2
Let s = 127 + -123. Suppose -u = 3*f - 69, 2*f = 5*f + s*u - 60. Solve 4*d = -8 + f for d.
4
Let t(q) = -q**2 + 2*q. Let z be t(0). Suppose 2*w + 2*a - 4*a + 2 = 0, z = -3*w + 2*a. Let g be (1 + w - 2)*9. Solve -4*y = -g*y + 25 for y.
5
Let n(s) = -4*s - 6. Let f be n(-3). Let t be 6/(-9) - (-4)/f. Solve -3*b + 3 = -t*b for b.
1
Let b = 31 + -4. Solve -34*u = -b*u - 14 for u.
2
Suppose -4*v = -11 - 1. Let g(x) = -10*x + 12. Let z be g(3). Let o be (-12)/z - 2/3. Solve o*w = -w + v for w.
3
Let a(n) = -n**3 + 4*n**2 + 6*n + 3. Suppose 16*z = 21*z - 25. Let w be a(z). Solve 4*b = w*b + 20 for b.
-5
Let i be 8/2 - (-1)/((-4)/(-28)). Solve -i = a - 10 for a.
-1
Suppose -5*o = 10, 0 = -2*x + 5*o - 4*o + 6. Solve -x*p + 4 = -6 for p.
5
Let p = 8 + -37. Let g = 25 + p. Let z be (4/6)/(g/(-36)). Solve 2*o = -o - z for o.
-2
Let c = -48 - -50. Let h(x) = -x**3 + 2*x**2 + 3. Let m be h(c). Solve 5 = m*y - 10 for y.
5
Let v be (180/63)/((-2)/(-7)). Suppose v*w - 104 = -34. Solve -d + w = 2 for d.
5
Let j = 128 - 114. Let i(b) = b**3 - 14*b**2 + b - 12. Let a be i(j). Solve -2*h - a*h = 0 for h.
0
Let y = 76 - 65. Solve -y + 7 = -4*i for i.
1
Suppose -5*g + 29 = 4. Let s(v) be the third derivative of v**5/60 + 11*v**4/24 - 2*v**3 - 5*v**2. Let k be s(-12). Solve k = w - g*w + 20 for w.
5
Suppose -3*b + 4*f + 20 = 0, -12*f - 20 = 4*b - 8*f. Solve -35*l + 36*l = b for l.
0
Let x be (-2)/7 + 4/14. Suppose -3*h + 5*h + 5*m - 7 = 0, 5*m + 23 = 3*h. Suppose 4 = 4*c + 3*a - 17, 5*c + 5*a = 30. Solve -3*l - h + c = x for l.
-1
Suppose 4*y + 5*j + 12 = j, 2*y + 7 = -j. Let q be ((-57)/(-18) + y)*-6. Solve -5*f - q - 5 = 0 for f.
-2
Let r = 11 + -7. Let m be 2 - (-13)/(26/96). Suppose -48*u = -m*u. Solve u = r*k - 2*k + 2 for k.
-1
Let t = 1 + -1. Let k(o) = -23*o + 90. Let y be k(3). Let r be (-3 + 2)/((-2)/8). Solve t = -r*i - y + 5 for i.
-4
Suppose 11*t - 23 = -23. Solve t = q - 11*q for q.
0
Let j be ((-45)/(-36))/(1/4). Let o = 90 + -85. Solve 0 + j = -o*q for q.
-1
Let t(y) = y**3 - 2*y**2 - 4*y + 4. Let r be ((-12)/(-10))/(30/75). Let o be t(r). Suppose -3*u + 3 = -4*q, -5*q + 25 = -3*u + 5*u. Solve -o - 5 = q*g for g.
-2
Let p = -208 - -249. Solve p*s = 38*s + 3 for s.
1
Let h be 3/((-30)/(-4))*285/38. Solve u - 2*u = -h*u for u.
0
Let n = 19 - 16. Let h(r) = -r**3 - 17*r**2 + 19*r + 20. Let p be h(-18). Suppose -4*y + p*k + 66 = -k, -3*y - n*k = -39. Solve 4*l = -l + y for l.
3
Suppose -2*w = -0*w - y - 15, w + y - 9 = 0. Solve 5*n - 12 = w for n.
4
Let t = -1 + 1. Suppose -2*v = -4*q + 8, -5*q = -t*q + 25. Let a be ((-4)/(-7))/((-4)/v). Solve 6 = u + a*u for u.
2
Suppose 3*n = 3*c + 18, -6 - 16 = -5*n + 3*c. Let z be 8 - n/((-8)/(-4)). Solve 0 = 2*u - z*u for u.
0
Let k(c) = -c**3 - 3*c**2 - 2*c. Let p be k(-3). Suppose 2*t + m = 20, -t - 3*m + p*m = -10. Let y be 13/5 - (-6)/15. Solve y*r - 5 = t for r.
5
Suppose -7*h = -2*h. Let l be 2 + h + (-7 - -3). Let x be 12 + -13 - (l + 1). Solve -2*r + 1 + 3 = x for r.
2
Let s(k) = 10*k**3 - 2*k**2. Let w be s(1). Let n = 4 + w. Solve -n = 2*o - 4 for o.
-4
Let f(i) = -i + 15. Let p be (-96)/(-18) - (-6)/9. Suppose -p*j + 54 + 36 = 0. Let a be f(j). Solve 5*c - 2*c = a for c.
0
Let b = 2 + 30. Suppose 0 = 5*a + 20, -4*m + 2*a + 0*a + b = 0. Solve m = 4*l - 6 for l.
3
Let b = 392 - 389. Suppose 5*s - 4*s - 25 = -5*z, -s = -5. Solve 0 = x - b + z for x.
-1
Let o be (0/(-2 - -11))/(3 + -1). Solve -3*t + 12 - 27 = o for t.
-5
Suppose 0 = -475*f + 467*f. Solve f = -3*z + 6 for z.
2
Suppose 0 = -2*p + 1 + 3, -3 = -f + 4*p. Let c be f/7 + (-15)/(-35). Solve q + c*q = 15 for q.
5
Let m(j) = 3*j**2 + 10*j - 10. Let y(d) = 8*d**2 + 30*d - 31. Let i(x) = -11*m(x) + 4*y(x). Let z be i(8). Solve z*s = 3*s + 3 for s.
-3
Let f(q) = -q - 1. Let d be f(3). Let g = d + 6. Suppose -8 = -4*v + g*v. Solve y - v*y = -6 for y.
2
Suppose -56 = -1381*a + 1367*a. Let v = 0 + 0. Solve v = a*f - 14 - 2 for f.
4
Let n be 10 - (-3 - (1 + -8)). Let q be (-2)/4*(n - (10 + -4)). Solve -3*l + 5*l + 8 = q for l.
-4
Suppose 0 = -3*z + 30 - 6. Let w be (152/(-57))/((-2)/(-6)). Let t be w/6 + (-64)/(-48). Solve t = -5*n - 7 - z for n.
-3
Let m = -698 - -750. Solve -5*r - 77 = -m for r.
-5
Suppose 17 = -5*l - 4*n, 24 + 11 = -5*l + 5*n. Let o be 13/2 + (l/(-2) - 2). Solve 0 = 5*u - o*u for u.
0
Suppose 53 + 59 = 7*j. Suppose -4*p - j = -6*p. Solve 3*c 