i.
0
Let n = 198 + -190. Solve 18*z = 20*z - n for z.
4
Let f(p) = p**3 + 41. Let b be f(0). Let g be 3/(-12) - b/(-4). Suppose -3*v - 6 = -4*w, w - 15 = -4*v - 4. Solve -v*l - g = -2 for l.
-4
Suppose -6*t + 3*t = 0. Suppose 0 = 2*k + 15*n - 17*n + 6, 5*k + 2*n = 13. Solve -p = -t + k for p.
-1
Suppose 2*w - 5 - 9 = 2*n, -26 = -3*w + 2*n. Solve -w*g = -g for g.
0
Suppose -5 = -2*p - b, -6*b + 25 = -4*p - b. Suppose 4*y + 5*h - 4*h = -3, 5*h + 15 = 2*y. Let a be (-16)/(-4) + (y - 1). Solve -8*c + a*c - 20 = p for c.
-4
Suppose -t = -0*t - 4. Let m be 1*(1 - (-4)/t). Let n(w) = -2*w - 7. Let l be n(-7). Solve l = a + m for a.
5
Suppose 4*g = -h + 3*h - 46, -4*g = -5*h + 43. Let i be -2 - (-1 - g/(-4)). Solve 2*s = -i - 6 for s.
-4
Let t = -38 - -41. Solve t*u - 16 + 10 = 0 for u.
2
Suppose -3*s + 2*h - 5*h + 36 = 0, 0 = -s - 2*h + 13. Suppose -30*w + s*w = -76. Solve -2*g - w - 4 = 0 for g.
-4
Suppose -2*h + 25 = 3*h. Suppose 0 = -0*z - z + 8. Suppose 2*l = d - z, 2*d + 2*d - l - 18 = 0. Solve -14 + d = h*c for c.
-2
Suppose 180*y - 181*y = -5. Solve 2*q - q + y = 0 for q.
-5
Let t be (-3 - -33) + (-1)/1. Solve t*q + 4 = 30*q for q.
4
Let c = -21 - -31. Let h = 192 - 190. Suppose h*l = 5*o + c, -8 = 2*o - 4. Solve -z + 0 + 3 = l for z.
3
Let j be (1*-1 + -8 + 14)*4. Let t = 35 - j. Solve 4*a = -1 - t for a.
-4
Let x(f) = -f**2 + 29*f - 52. Let s be x(27). Solve 3*u = -s*u - 20 for u.
-4
Let n = 6 - -37. Let z = n + -41. Solve z*s + 0 = -4 for s.
-2
Suppose 0 = 5*v - 4*v - 2. Suppose 7*f - 2*f - 20 = 0. Suppose 0 = f*m - m. Solve 3*c - 2*c + v = m for c.
-2
Let r(j) be the second derivative of -1/3*j**4 + 0 + 1/20*j**5 + 5/6*j**3 - j - 3/2*j**2. Let a be r(3). Solve a*n - 6 = n for n.
3
Let o(x) = -137*x**2 + 2*x + 2. Let h be o(-1). Let j = h - -150. Solve 5*g = j - 33 for g.
-4
Suppose 15 = -5*w - 3*q, -6*w + 2*q + 10 = -w. Suppose -3*v - 92 + 32 = w. Let o be (-16)/v*20/2. Solve -r + o = -5*r for r.
-2
Let u be 1/((-8)/(-6) - 1). Suppose 2*x - 30 = -u*x. Suppose -2*h - 5*l + l = -30, h + 4*l = 27. Solve -v = -h*v + x for v.
3
Let c be (-4)/34 + (-7904)/(-1292). Solve c = 4*d - 6 for d.
3
Suppose 0 = 5*k - 55 + 10. Let v be k + -3 + -1 + (-2)/2. Solve v*b - 8*b = 4 for b.
-1
Suppose 1330*j = 1336*j - 96. Solve -15*i = -j*i - 1 for i.
-1
Suppose 0 = 3*c - 2*t + 2, 2*c - c - 18 = -4*t. Solve 14*u - 12 = c for u.
1
Let w be 2/(-1*3/(-21)). Suppose -4*m + 8 = -4*x, 3*m = 1 + w. Suppose g + x*c = 1, 4*g - 2*g - 4*c - 32 = 0. Solve -3*i - g = 2*i for i.
-2
Suppose -4*m + 40 = 4*f, 8 = m - 5*f - 2. Suppose -m = -o - 4*o. Solve u + o = -u for u.
-1
Let a be ((-4)/2 - -2) + (-12)/(-4). Solve 114 = -a*g + 111 for g.
-1
Let l = -2 + 6. Let t(a) = -2*a - 7. Let d be t(-5). Solve -l = -c + d*c for c.
-2
Suppose -2*d - 5*p + 34 = 9, -4*p + 44 = 4*d. Solve -y - 5 = -d for y.
5
Let g(h) = -h + 14. Let x be g(11). Suppose 6*t - 22 - 2 = 0. Solve -x*q = -t + 16 for q.
-4
Let k be 36/(-14)*(-12 - 2). Solve 0 = k*j - 37*j + 2 for j.
2
Let s = -27 + 35. Let d be (-2 + 3)*(s - 3). Solve d*b - b - 8 = 0 for b.
2
Let x = -919 - -919. Solve x = m + 1 - 2 for m.
1
Suppose 3*r + 3 = -0*r. Let g(o) = -179*o**2 + o**3 - o + 179*o**2. Let v be g(r). Solve -w + 5 = -v for w.
5
Let y(h) = -h**3 - 6*h**2 + 7*h. Let f be y(-7). Let w(k) = k**3 + k**2 - 3*k. Let b be w(0). Solve b = -v - f*v + 2 for v.
2
Suppose 5*a - 3*i = -i - 8, 2*a = -5*i - 9. Let m = 2 - a. Solve 11 + m = -5*f for f.
-3
Let f(o) = -3*o + 8. Let j be f(7). Let u = j + 25. Let g = 15 - u. Solve 5*r = -2 - g for r.
-1
Let j(q) = -q**3 + 5*q**2 + 8*q - 7. Let a be j(6). Let n(c) be the first derivative of -c**2/2 + 6*c - 2. Let t be n(0). Solve -a*h - t = 4 for h.
-2
Suppose 2*t = t + 5, -40 = -3*l - 5*t. Suppose 0 = -15*k + 5*k + 130. Suppose -10*z + k*z = 24. Solve 0 = l*v + z + 2 for v.
-2
Let l be 46/(-3)*12/8. Let f = -18 - l. Solve -a = -f*a for a.
0
Suppose 0 = -4*z + 6*g - 9*g + 165, -5*z = -4*g - 214. Solve z*r + 8 = 34*r for r.
-1
Let n(w) = 2*w**3 - 46*w**2 + 46*w - 42. Let y be n(22). Solve -y*f + 20 = 2*f for f.
5
Let v(q) = -q**3 + 5*q**2 + 8*q - 1. Let j be v(6). Suppose 2*n + 4 = 12. Solve j = -n*x - 1 for x.
-3
Let l = -10 + 10. Let q be (l/(-1))/(-2*(-2 - -3)). Solve q = j - 0*j for j.
0
Suppose -3*c - 8 = -c. Let z(u) be the third derivative of u**6/120 + u**5/15 - u**4/24 - u**3/6 - 4*u**2. Let j be z(c). Solve -i - 6 = -j*i for i.
3
Let k(i) = -i**2 + 13*i - 25. Let y be k(10). Let v be y + -5 - (-8)/2. Solve v*t = -t for t.
0
Let p(q) = 4*q**2 - 7*q - 8. Let x be p(-1). Solve x*n = 5*n + 4 for n.
-2
Let g(i) = 12*i + 256. Let r be g(-18). Solve -r*s = -39*s + 5 for s.
-5
Let r(l) = -l**2 + 10*l - 6. Let q be r(9). Suppose 0 = -i + 3*h - 1, 2*h - q = i - 3*h. Solve -i*y + 3 = -7 for y.
5
Let m = -42 - -36. Let h(g) = g + 6. Let y be h(m). Solve 4*v = -y*v for v.
0
Let j be (-6)/(-15) - 4/10. Suppose 3*k - 33 = -j*c + c, -2*k - c = -27. Suppose 0 = -2*o + 6, -v - 4*o + 42 = 27. Solve -3*b + k = -v for b.
5
Let u(f) = f + 3. Let q be u(9). Let m be q/1*(-8)/(-24). Solve m*d + 1 = -7 for d.
-2
Let y = -9 - -9. Let u(k) be the first derivative of -k**3/3 + 6*k + 7. Let f be u(y). Solve 10 = n - f*n for n.
-2
Suppose 37*r = 34*r + 54. Solve 5*h - 11*h + r = 0 for h.
3
Let g = 0 - -7. Suppose -6*j = -36 + 12. Suppose -g*w + 18 = -j*w. Solve 5*a + w - 31 = 0 for a.
5
Suppose u + 31 - 9 = 4*s, 5*s - 35 = 5*u. Suppose -5*j - 4*o = 4, s*j + 7 = 4*o - 29. Let m be j/(-14) - (-12)/7. Solve -2*k - m*k - 4 = 0 for k.
-1
Let i(g) = -g**2 + 3*g + 4. Let j be i(4). Suppose -2*h = -j*h. Solve 5*u - 2 + 22 = h for u.
-4
Let g = 61 + -55. Solve 0 - 12 = -g*a for a.
2
Suppose s - 3 = -1. Let x be (-139)/2 - (-1)/2. Let c = -54 - x. Solve s*w + w = -c for w.
-5
Let c(i) = -i**2 - 14*i - 16. Let d be c(-12). Suppose d*x = 4*x. Solve 0 = n - 4 - x for n.
4
Let g(t) = 25*t**2 - 2*t + 2. Let p be g(1). Solve -7*y + 12*y = p for y.
5
Suppose 206 = 8*c + 182. Solve c*l - 28 = 10*l for l.
-4
Let a be (12/5 - 3)/(1/(-5)). Let n be a/(-6) - ((-52)/8 + 4). Solve n = l - 3 for l.
5
Let n = -487 + 487. Solve x = 3 - n for x.
3
Let f be 14 + ((-6)/(-15) - 24/10). Suppose 5*s = -s + f. Suppose 2*z + 2*l - 2 = 0, -4*l + 3 = 5*z - 2*z. Solve -7 - z = s*j for j.
-4
Suppose -3*g = 6*g + 72. Suppose -18 = -5*p + 42. Let z = p + g. Solve -a = -z*a - 9 for a.
-3
Let w be 2/18 + 3010/45. Suppose -41 = -4*h + w. Let j = h - 27. Solve j + 2 = 2*k for k.
1
Suppose 7*s - 11*s = -20. Suppose -5*v = s*n - 0*n - 20, -5*n + 11 = -4*v. Solve -3*a + 4 - v = 0 for a.
1
Suppose 2*v + 5 = -1. Let t be ((-28)/(-12))/(v/(-18)). Solve t = 4*i - 2 for i.
4
Suppose -11*j + 19 = -25. Solve 0 = -p + 2*p - j for p.
4
Suppose 5 = n + 5. Solve 6*r + 7 + 5 = n for r.
-2
Let q be (5 - 4) + (56 - -2). Suppose i - 65 = -q. Solve -i = 3*c - c for c.
-3
Let n(h) = h**2 + 1. Let x(d) = -5*d**3 - 6*d**2 - d - 4. Let c(i) = -6*n(i) - x(i). Let m be c(1). Solve -3*j = m + 2 for j.
-2
Let s = 298 + -298. Solve s = -z + 6*z + 15 for z.
-3
Let u = 151 - 149. Solve 6*p - 20 = u*p for p.
5
Suppose 25*s - 17*s = 16. Solve w - s = 2 for w.
4
Let w(k) = -k**2 + 59*k - 166. Let q be w(3). Solve q*y + 19*y - 105 = 0 for y.
5
Let m = 792 - 778. Solve 0 = -w + 17 - m for w.
3
Let h = 604 - 601. Solve 8 - h = -5*q for q.
-1
Let n(p) = 3*p - 2. Let b(x) = -3*x + 3. Let d(z) = 4*b(z) + 3*n(z). Let k be d(10). Let f be 3 + 4/(-8)*k. Solve -5*g + 0 = f for g.
-3
Suppose 0 = 7*l - 0*l - 14. Let j be ((-12)/8 - 4)/((-1)/l). Solve -4 = 5*f + j for f.
-3
Suppose -5 + 1 = -k. Let n = 355 - 350. Suppose u - k*h = 10, 2*u + n*h = u - 8. Solve 0 = -u*j - 5 + 3 for j.
-1
Suppose 0 = -5*k - 3 + 13. Let w(c) = c**2 + 17*c + 23. Let n be w(-16). Solve -n*h = -k*h + 20 for h.
-4
Let s = 97 + -79. Suppose m = 12 - 2. Let g = s - m. Solve a + g = 3 for a.
-5
Suppose -11 + 0 = m + 3*s, -s = 2. Let j be (-25 - 5)*2/m. Suppose -4*p - 5*h + h = -j, -8 = 4*h. Solve 0 = c - p*c for c.
0
Let l(x) = -6*x**3 + 11*x**2 + 4*x - 1. Let t(a) = 5*a**3 - 10*a**2 - 3*a. Let z = -16 - -23. Let k(q) = z*t(q) + 6*l(q). Let y be k(-5). Solve g = y*g for g.
0
Let m(w) = 2*w**2 + 22*w + 22. Let q be m(-10). Solve -7*y - q = 5 for y.
-1
Suppose -4*b = -2*m + 44, 4*m - 64 - 30 = 2*b. Solve 10*i = 2*i + m for i.
3
S