 + 20 for d.
4
Let r(t) = 15*t + 51. Let o be r(-3). Solve 0 = j - o*j for j.
0
Suppose 5*p - 12 = -2*n, -2*p + 4 = -n + 1. Solve -1 = -3*m + p for m.
1
Let k(f) = 3*f - 35. Let t(u) = 9*u - 106. Let q(i) = -8*k(i) + 3*t(i). Let x be q(16). Solve 6*c - c = -x for c.
-2
Let o(f) = -2*f - 28. Suppose -4*t = -5*r + 46, -5*t + 3*r + 2*r - 60 = 0. Let z be o(t). Solve -a = -z*a - 4 for a.
4
Let u be ((-364)/(-65) + -5)*25. Let p(s) = -s**2 - s - 1. Let y be p(-1). Let m = y - -10. Solve 0 = -m*k + 4*k + u for k.
3
Suppose 2*n - 3*n + 9 = 0. Let h be 15/n*(0 + 6). Solve -4*v = 2 + h for v.
-3
Let p be ((0 - -1) + 7)*2. Suppose p*s = 18*s - 32. Solve 5*n - s = 4 for n.
4
Let u(w) = w**2 + 4*w - 8. Let c be u(-6). Suppose -6 = -40*v + 43*v - o, -3*v - 30 = -5*o. Solve -2*k + 3*k - c = v for k.
4
Let i(m) = 59*m + 363. Let q be i(-6). Solve -8*t - 1 = -q*t for t.
1
Let x(l) = -l**3 + l**2 + 5*l + 2. Let v be x(-3). Suppose -7 = -4*j - v, 0 = -m - 5*j - 100. Let b be (-10)/3*96/m. Solve -3*t + b*t + 2 = 0 for t.
-2
Let b(n) = 2*n**2 + 28*n + 28. Let g be b(-13). Suppose 5*a - g*d + 1 = 17, -8 = -a + 2*d. Solve -o = -3*o - a for o.
-1
Suppose 7*b - b + 2*b = 0. Suppose 4*f + 3*f = b. Solve f*z + z = -5 for z.
-5
Let v be ((-4)/(-10)*4)/((-3)/(-15)). Solve -7 - 17 = v*z for z.
-3
Let a = 3 + 2. Suppose -2*l + 6*l + 14 = 5*m, 3*m - 1 = -a*l. Solve -m*c + 8 = -6*c for c.
-2
Let g(w) = 86*w + 18. Let r be g(-2). Let y = -152 - r. Solve y*n - 9 + 3 = 0 for n.
3
Let a = -372 - -384. Solve 0 = -3*q + 6*q - a for q.
4
Let u(n) = n**3 + 10*n**2 + 2*n + 11. Let l be u(-10). Suppose -a - 14 = -2*a - 2*k, -5*a + 70 = -5*k. Let y = a + l. Solve 0 = y*o - 4 - 1 for o.
1
Let s(y) = 14*y - 49. Let v be s(16). Suppose -v = -11*c + 45. Solve 0 = 15*t - 10*t + c for t.
-4
Suppose 40*d - 24 = 38*d. Solve -11*m - d = -8*m for m.
-4
Let t = -12 - -14. Let j = -13 + 10. Let s be 5 - (2 + 1 + j). Solve q + s = t*q for q.
5
Let y(l) = 19*l**3 + 4*l**2 - 3*l. Let h be y(1). Solve -10*k - 30 = -h*k for k.
3
Suppose 5*n - 3*n = -2*w + 52, -2*n = -3*w + 53. Suppose 3*t + t + 4*v - 12 = 0, -4*t + 5*v + w = 0. Solve -t = -5*u - 29 for u.
-5
Let q be (8 - 12/((-24)/(-6))) + 4. Solve 4*b - q = b for b.
3
Let v(a) = -4 + 0*a + a**3 + 4 - 2*a - a**2. Let f be v(2). Suppose 3*l - 5 = 4*j - f*l, 6 = -3*j + 3*l. Solve j = 2*u - 9 for u.
5
Suppose 18*k = 16*k - 50. Suppose -3*m = 3*j + 58 + 5, -3*j + 6 = 0. Let u = m - k. Solve -n - 3 = -u*n for n.
3
Let i be (-1 + 5)*(-4)/(-1 - 3). Solve -i*k + 1 + 15 = 0 for k.
4
Let g be (542/(-11))/(318/(-1749)). Solve -g = 5*i - 251 for i.
-4
Let l(r) = r**3 + 4. Suppose s + 3*c = -3, 6*s + 4*c = 5*s - 4. Let u be l(s). Solve -2*g - 8 = -u*g for g.
4
Let m be (-9)/(-6)*(14 - 0). Suppose 0*p - 3*p = -m. Solve 8 + p = 5*w for w.
3
Let h be (16 + -17)/(1/(-10)). Suppose -8*r = -38 - h. Solve q + 2 = r for q.
4
Let v(q) = -q**3 - 19*q**2 - 33*q + 19. Let f be v(-17). Solve -f*c + 0 = -10 for c.
5
Suppose -20 = -3*j - j. Let x = 50 + -48. Let t be (1 + x/(-2))*8/(-24). Solve c = -t*c - j for c.
-5
Let w be -6 + 64/10 + (-263)/(-5). Let y = -50 + w. Solve 0*k - k = y for k.
-3
Suppose -88 = -6*p + 56. Solve -9*x + p = 60 for x.
-4
Let n = 31 + -32. Let z = 4 + n. Solve z*w + 0*w = 0 for w.
0
Suppose -411*j = -414*j + 54. Solve 0 = -18*i + 9*i - j for i.
-2
Let z = 79 - 87. Let d(f) = -4*f - 31. Let p be d(z). Solve 3*a = p + 14 for a.
5
Suppose 31 + 68 = -3*h. Let z = h + 25. Let g be (-9)/36 + (-34)/z. Solve g*t - 5 = -13 for t.
-2
Let z(k) = k**3 - 13*k**2 + 9*k + 12. Let j be z(13). Let t = j - 127. Solve x = -t*x - 6 for x.
-2
Suppose 5*t = -q - 22, -3*t + 26 = 2*q - 7*t. Suppose q*o + 2 = 8. Let z be (-8)/12*(-12)/o. Solve 16 = -0*k + z*k for k.
4
Suppose -2*s - 4 = 2*s + 4*j, -2*s + j + 7 = 0. Let n(g) = g**2 + 7*g + 5. Let y be n(-7). Let d be ((-2)/2 + 2)*y. Solve d*q = s*q + 12 for q.
4
Let l be ((-33)/66)/(1/18*-1). Suppose -3*w = -l*w + 42. Solve 1 - w = -2*z for z.
3
Let q be (-48)/(-32)*(5/3 - -1). Solve 2*k = q - 2 for k.
1
Suppose -26 + 4 = n. Let x = 26 + n. Solve 6 + x = 5*a for a.
2
Let o be 10*4*32/40. Let v = o - 30. Suppose 0*l + 2*l - n = 9, 3*l = -n + 1. Solve l = -4*g - v for g.
-1
Let i(n) = 2 + n**2 + 2*n - 12 - 16*n - 2*n**2. Let l be i(-13). Solve 15 = 3*w + l for w.
4
Suppose 0 = 3*d - 5*l - 76, 4*l = 7*d - 3*d - 112. Suppose 16*t = 20*t - d. Solve -t*u + 4*u = 16 for u.
-4
Let n = -318 - -333. Solve -n*r + 16*r = 0 for r.
0
Suppose -3*i + 5*y + 2 = 97, 2*i - 3*y = -62. Let w = 53 + i. Suppose 0 = 3*z - 5*h - 4, -z - w = -2*z - 5*h. Solve -u = -5*u + z for u.
2
Suppose r + 12 = -0*r. Let q = r + 31. Let k = q - 15. Solve 0 = -t + 9 - k for t.
5
Let y(j) = -3*j**2 - 9*j + 8. Let m(v) = 5*v**2 + 17*v - 15. Let h(u) = -6*m(u) - 11*y(u). Let c be h(1). Solve c*p - 4 = 4 for p.
4
Let i(x) = -21 + 4 - 11 + 4*x. Let s be i(7). Solve s = -3*t + 9 for t.
3
Let v(m) = -44*m**3 - 5*m - 5. Let a be v(-1). Solve 15*f - a + 14 = 0 for f.
2
Let j = -61 - -63. Let l = 3 - j. Solve 0 = 2*b + l + 3 for b.
-2
Suppose 2*b = 4*s + 716, 3*b + 4*s = 570 + 544. Solve b - 361 = -k for k.
-5
Let n(y) = -y**2 + 16*y - 7. Let w be n(15). Suppose 0*f - 3*f = 0. Let p be f/(6 + -2) - -7. Solve 3*d = -p - w for d.
-5
Let k(w) = -w**3 + 20*w**2 - 21*w - 24. Let a be k(19). Let y = a - -73. Solve 1 = 3*z - y for z.
4
Let y be 1 + 21/3 - 4. Suppose v - 16 - 16 = -g, -113 = -y*v + g. Let p = -29 + v. Solve p = u - 4*u for u.
0
Let z(t) = t**3 - 6*t**2 - 7*t + 3. Let b = 33 + -26. Let i be z(b). Solve u = -i*u for u.
0
Suppose 17*k - 1 = -86. Let x be (-2)/(-2 - 22/k)*-6. Solve x*v = 3*v - 4 for v.
-2
Let v be 18/10*4/((-60)/(-25)). Solve -5 = -v*q + 4*q for q.
-5
Let o(z) = z - 1. Let t be o(6). Let v(d) be the second derivative of d**4/4 - d**3/3 + d**2/2 + d. Let n be v(1). Solve -t*i = -n*i for i.
0
Suppose 0 = 5*m + 3*u, -3*m + 6*u = 3*u + 24. Let x be (-2)/m + 22/66. Solve j + x = -0 for j.
-1
Let g(k) = 2*k**3 + 2*k**2 + 2*k - 1. Suppose -4*c + 10 = 2. Let n be g(c). Let p = -2 - -4. Solve 0 = 5*j - n + p for j.
5
Let r = 64 - 29. Let y = 40 - r. Solve y*m - 14 - 6 = 0 for m.
4
Suppose -696 = -15*i - 231. Solve 8 = -27*s + i*s for s.
2
Suppose m + 8 = 5*m. Let q be 56/(-14) + 8 - (-7 - -7). Solve m*r + 6 - q = 0 for r.
-1
Let h = 50 + -73. Let r = h + 17. Let c = -3 - r. Solve 0 = k + c for k.
-3
Suppose -2*s + 18 - 1 = m, 39 = 4*s + 3*m. Solve 3*h - s*h = 0 for h.
0
Let r be (-3)/(-15) - 9/45. Solve r = p + 5*p for p.
0
Suppose 3*w = -k - 49 + 54, 3*k - w - 5 = 0. Solve 0 = -k*a - 6*a - 8 for a.
-1
Let l = -50 + 44. Let b be 1500/175 + l/(-14). Let o be 0/((-3)/(-6)*2). Solve 3*c + 0*c + b = o for c.
-3
Let l = 80 + -67. Let g be 4 + 0*(1 + 0). Solve 1 = g*v + l for v.
-3
Suppose 4*w + 5*v + 56 = 6*w, v + 58 = 3*w. Suppose 2*j - 8 = -3*m + 10, 0 = 5*j + 4*m - 38. Let u be (0 + j)*w/27. Solve b - u*b = -15 for b.
5
Let m(l) = -12*l**3 + l**2 + 2*l + 1. Let v be m(-1). Suppose -4*k = v, 4*k = -z - 3*z + 8. Solve -z*i + 14 = 4 for i.
2
Let a(v) = -v**2 + 5*v + 53. Let l be a(10). Solve -5*d = l + 7 for d.
-2
Let a = -46 + 68. Suppose 5*h - a + 0 = 4*j, -2*j = 2*h + 2. Suppose 0 = 2*t + 9 - 19. Solve -h*o = 13 - t for o.
-4
Let q be -2 + 6 + 2/(-2). Let w be 18/8 + 0 - 32/128. Let c(m) = 3*m**3 - 5*m**2 + m - 2. Let z be c(w). Solve -y = q*y - z for y.
1
Let v be 480/36 + 4/6. Let d = 19 - v. Suppose 2*x = -2, -a + 7 + 1 = -4*x. Solve 1 - d = a*l for l.
-1
Let i(a) = -7*a**2 + 2*a + 1. Let f be i(-1). Let c be 4/(-1) + (1 - (3 - 1)). Let u be (-18)/f + c/20. Solve u*b - b + 2 = 0 for b.
-2
Suppose 87*u - 89*u = -64. Solve -28*x - u = -36*x for x.
4
Let p be (-141)/(-9) + (-9)/(-27). Solve -p = 3*b - 7 for b.
-3
Let y(r) = -r**2 + 584. Let b be y(24). Solve -b*l - 11 + 19 = 0 for l.
1
Let u(a) = -15 - 6 + 15*a + a**2 + 5. Let n be u(-16). Solve 3*z - 3 + 18 = n for z.
-5
Let t = 52 - 49. Let l be 2 + 2*(-4 + t). Solve l*g - 4*g + 8 = 0 for g.
2
Let u(g) = -g**2 + 8*g + 15. Let v = -1 - -10. Let p be u(v). Solve 5*q - p = 9 for q.
3
Suppose -3*i + 5*n + 29 = 0, -3*i - 3*n = 2*n + 11. Let u be -2 + (-4 - -6) + i. Solve -2*w - 20 = u*w for w.
-4
Suppose 5*n - 3*r = -0*n + 22, -r = 3*n - 2. Suppose -n*a + 3*s - 8*s + 11 = 0, 2*s = 3*a - 7. Solve -10 = -a*h - 4 fo