-1
Suppose 0 = 5*x - 0*x - 4*k - 16, -4*k - 16 = -2*x. Solve x = -5*r + r for r.
0
Let m(g) = g**2 + 6*g + 2. Let a(y) = 5*y. Let n be a(1). Suppose -n*v + 11*v = -36. Let q be m(v). Solve 1 = -k - q for k.
-3
Let z = -1629 + 1656. Solve 12 - z = -3*f for f.
5
Suppose -3*b + 30 = -2*b - 2*w, -2*b + 56 = -3*w. Suppose -b - 3 = -5*o. Solve -o*h = -10*h + 20 for h.
4
Let i be 3 - -10 - (-2 - -13). Let q(p) = 3*p - 2. Let u(j) = 4*j - 1. Let k(c) = 6*q(c) - 5*u(c). Let o be k(-6). Solve i*h - 7*h = o for h.
-1
Let i(a) = a**3 + 9*a**2 + 11*a + 101. Let g be i(-9). Solve g*r = 5*r for r.
0
Let w(t) = -162 + 11*t + t**2 - 149 + 301. Let o be w(-12). Solve o*q = -12 + 4 for q.
-4
Let q(x) = -x**3 + 39*x**2 - 4*x + 159. Let i be q(39). Solve 33 = -i*m + 48 for m.
5
Suppose s - 6*f = -2*f + 18, 4*s - 20 = 3*f. Solve -7*i + 5*i = -s for i.
1
Let a = -61 - -70. Let f = -7 + a. Solve -j = -f + 5 for j.
-3
Let h be ((3 - 6) + 1)*-1. Suppose -5*f = -4*g - 21, g + h = -0*g - 2*f. Let m be g*(12/16 + -2). Solve r + m = 1 for r.
-4
Let n(x) = x**3 - 5*x**2 + 3*x + 8. Let p be (1 + (-1)/5)*5. Let u be n(p). Suppose s = j - 3 + 4, 4*s - 2*j - u = 0. Solve -4*o - 9 = -s for o.
-2
Let q = -4 + 8. Suppose 4*v - 276 = 4*f, 2*v + f - 63 = v. Let k = v - 66. Solve t = q - k for t.
4
Let f = -25 - -28. Let y = 3 + 2. Solve 2*r + y = -f for r.
-4
Suppose -66 - 106 = 4*r - 4*p, r + 3*p = -51. Let j be r/(-51) - 12/(-102). Solve -j = 2*z + 3 for z.
-2
Let z be 3/7 + 475/35. Let i = z - 11. Let m be ((-2)/(-7))/(i/21). Solve 0 = -m*g - 0*g + 2 for g.
1
Suppose 0 = 5*u - g + 17, g - 14 = 4*u - 0*g. Let q be u/2*((-21)/9 + -1). Solve 6*a + q = a for a.
-1
Suppose -9*g = -10*g - 5*b - 4, -5*g + 4*b = -67. Solve 0 = -6*i + g + 19 for i.
5
Let c be 2/(-7) + -7 + (-186)/(-14). Solve -c = 51*a - 53*a for a.
3
Let n(z) = z + 8. Let p(a) = -a**2 - a - 11. Let m be p(0). Let o be n(m). Let r be 15 - (-1 - -2)*o. Solve r = -5*f - 2 for f.
-4
Let h = -23 + 13. Let r = -10 - h. Solve v + r = -4 for v.
-4
Let b(d) be the second derivative of d**5/20 - d**4/2 - 4*d**3/3 + 4*d**2 - d. Let z be b(7). Let s be (3/(45/(-35)))/((-2)/6). Solve -4*i + z = -s for i.
2
Suppose -20 = -11*b + 68. Solve 0 = 9*h - 7*h - b for h.
4
Let g(k) = -3*k + 4. Let p be g(3). Let s = 224 + -207. Let o = p + s. Solve 4*i - i - o = 0 for i.
4
Let d be 6 + 18/(-9) - -7. Solve 0 = d*y - 5*y + 18 for y.
-3
Suppose 0*d - 12 = 6*d. Let t be -10*d*(-3)/(-12). Suppose -x + 2*x - 1 = n, -t*x + 29 = 3*n. Solve 0 = c - 3 + x for c.
-1
Let c(a) = -15*a - 36. Let z(u) = -3*u - 7. Let x(j) = 4*c(j) - 21*z(j). Let k be x(4). Solve -q - 4*q = k for q.
-3
Suppose 2*n - 2*w = -3*w + 16, 3*n = -w + 22. Suppose -4*t - 3*l = t - 20, l - 4 = -t. Let x be (2 + -2)/(-3) + t. Solve x*h - 2 = -n for h.
-1
Suppose 4*h = 25*h. Solve h = 2*p + 2 + 6 for p.
-4
Suppose 14 = -w - 5*b, -4*w - 4 = -5*b - 48. Solve 13*j = w*j - 35 for j.
-5
Let d = -904 + 904. Solve -614*r + 613*r - 3 = d for r.
-3
Suppose 25 = -2*g + 7*g. Solve -4*n + g*n + 2 = 0 for n.
-2
Let t(j) be the second derivative of j**4/12 + j**3 + 11*j**2/2 - 22*j + 2. Let o be t(-3). Solve 0 = -5*r - o - 8 for r.
-2
Let h be ((-6 + 4)*3)/(6/(-4)). Solve 6*v - 16 = -h for v.
2
Let z(r) = -r**3 - 46*r**2 - 45*r. Let g be z(-45). Solve -2*x + g = -2 for x.
1
Let i = 25 - 25. Suppose i = -b, 4*b - 3 = -2*o + 7. Suppose -o*t + 7*t - 10 = 0. Solve 2*x - t*x = 9 for x.
-3
Suppose 4*y = 3*l + 2 - 5, -2*l + 2 = -2*y. Suppose y = 17*o - 24*o + 28. Solve -1 = -n - o for n.
-3
Let d(n) = -n**3 + 5*n**2 - n + 5. Let u be d(5). Let q be (1*6)/((-18)/(-18)). Solve -3*k - q - 9 = u for k.
-5
Let q = 50 - 55. Let i be 0 - (0 + 1/1). Let x be (2 + q - 0)/i. Solve x*s - 3 = 3 for s.
2
Let x(h) = h**2 - h - 1. Let v be x(-2). Let i(j) = -7*j - 13. Let k be i(-8). Let r = k - 42. Solve -v = 3*l + r for l.
-2
Let g be (0/(3 + (-3 - -1)))/1. Suppose b - 6*b + 5 = g. Solve 2*i - b = 3 for i.
2
Suppose 4 = -2*v - 2, -5*x + 120 = -5*v. Suppose 7*i + 0 - x = 0. Solve -2*u - i = -u for u.
-3
Let g(z) = 2*z + 15. Let c be ((-3)/2 + -2)*2. Let t be g(c). Solve 0 = 5*r - 6 + t for r.
1
Let n = 63 - 56. Suppose 7*y - n = 7. Solve -6 + y = 4*f for f.
-1
Suppose -9*y = y + 10. Let s be -8*4/8*y. Solve -s*w = -0*w - 20 for w.
5
Let d = 1121 + -1093. Solve d = 8*q - 15*q for q.
-4
Suppose 67*l - 110 = 493. Solve -10*o = -13*o + l for o.
3
Let y(z) = 2*z + 112. Let w be y(-47). Solve 0 = w*b - 7*b + 55 for b.
-5
Let c = -1942 + 1942. Solve -6*y - 5*y - 22 = c for y.
-2
Suppose 4*t + t - 35 = 0. Let x(c) = t*c - c + 2*c + 4 - c**2. Let y be x(8). Solve -i = y*i + 25 for i.
-5
Let w be (-3 - 8/(-3))*-3. Suppose -2*s + 20 = -5*n + w, 0 = 2*s + 5*n + 11. Suppose z + 24 = o - s*z, -2*z = 3*o - 28. Solve 0 = 2*b + b + o for b.
-4
Suppose -y + 5*g = -14, -8 = -0*y - y + 2*g. Let t be ((-20)/5)/(-1 + 0 + -1). Solve 2*z = -t*z + y for z.
1
Suppose i + y = -2*y + 5, 3*i - 71 = 5*y. Let m = -37 + i. Let a = 22 + m. Solve 0 = -r - a*r for r.
0
Let g(z) = 3*z - 11. Let k = 45 - 40. Let i be g(k). Solve i*b + 4 = -4 for b.
-2
Suppose 0 = n + 11 - 16. Solve k + 10 = n for k.
-5
Let r(p) = p**3 + 5*p**2 + p - 6. Let k be r(2). Solve -k*u + 18*u = -18 for u.
3
Let d be (2 + -1)/(-5 - -4). Let k be d*5*8/(-4). Let l = k + -10. Solve l = -2*g - 0*g + 6 for g.
3
Let k(m) = -m**2. Let r(q) = q + 7. Let w be r(-7). Let l be k(w). Suppose y - 3*t - 9 = l, -y + 1 - 2 = 2*t. Solve y*i = i for i.
0
Let w = -146 - -151. Solve -w*r + 12 = -r for r.
3
Let l(p) = p**3 + 4*p**2 - 4. Let m be l(-3). Suppose 8 = f + 2*w, 4*f - 7 - 13 = -m*w. Suppose f = 4*i - 3*i. Solve i = -4*s + 8 + 4 for s.
3
Suppose 12 = -q + 4*q, -2*q + 16 = s. Suppose -11*l = -s*l - 15. Solve -17 = -l*h - 2 for h.
3
Let i = 11 + -9. Suppose -a = -u + 25, i*u - 61 = -a - 5. Let n = u - 27. Solve -20 = -n*p - 4*p for p.
5
Let p(w) = -4*w + 23. Let g be p(5). Suppose 5*q + g*a = q - 9, -a = -5*q + 3. Let k = -1 + 1. Solve q = d - k + 5 for d.
-5
Let p(n) = n**3 - 8*n**2 - 31*n + 110. Let b be p(10). Solve b = w - 73 + 69 for w.
4
Let i = -6 + 7. Let x be (i/2)/(2/40). Suppose x*o - 5*o - 10 = 0. Solve -o*q = -3 + 1 for q.
1
Suppose -54*h = -1389 - 123. Solve -h = 8*x - 68 for x.
5
Suppose 3*q = -3*n - 3, -3*q - 5*n = q + 8. Solve -q*w + 9*w = -12 for w.
-2
Suppose 46*f - 62 = 214. Solve -39 = f*k - 27 for k.
-2
Let c(w) = -13*w - 101. Let l be c(-8). Solve -y = -l*y for y.
0
Suppose -4*t + 0*u + 1 = u, -3 = -3*u. Let l be 3 - (-3)/15*-5. Suppose 0*j + 6 = l*j. Solve 9 = j*x - t for x.
3
Let b(a) = -2*a**2 + 2*a + 3. Let p be b(0). Let o be (-6)/3*(-1 + 0). Solve 1 = o*w - p*w for w.
-1
Suppose -3*g - p = -2*p - 10, 0 = 2*p + 2. Let m(f) = -f**3 + 2*f**2 + 5*f - 6. Let u be m(g). Solve 0*q + 3*q = u for q.
0
Let u be 1/((-71)/24 - -3). Let c = 26 - u. Solve 12 = 2*j + c*j for j.
3
Suppose 0 = 4*o - 91 - 61. Suppose -4 = o*a - 40*a. Solve 3 = -y - a for y.
-5
Let j(g) = -g + 2. Let k be j(-2). Let r(x) = x**2 - 6*x - 10. Let m(c) = -c**3 + 5*c**2 + 6*c + 8. Let s be m(6). Let t be r(s). Solve t*i - 8 = k*i for i.
4
Suppose c + 0*c = 4*c. Let b = -4 - -5. Let l be b/1 - (c + 0). Solve 2 + l = 3*v for v.
1
Suppose -4*b + 3*w + 146 = 0, 5*b - 6 = w + 171. Let j = b + -35. Solve -4*a + 3 + 1 = j for a.
1
Suppose -4*u + 2*g + 48 = 0, 3*g - 75 + 30 = -3*u. Solve u*w = 18*w for w.
0
Let v(g) = -g**3 - 9*g**2 + 23*g + 13. Let y be v(-11). Solve 0 = -y*h + 5*h - 6 for h.
2
Suppose 0 = l + 3, c = 5*l - 1 + 17. Suppose -16*a + 13*a = -6. Solve -f - c = -a for f.
1
Suppose g + 5*d = -g + 92, 60 = 2*g - 3*d. Solve -g*q = -34*q for q.
0
Let w = 5 - 4. Let k be 7/(-14)*(w + -1). Suppose -2*s = -k*s. Solve s = n + 4*n for n.
0
Let q(s) = s**3 - 12*s**2 + 9*s + 26. Let p be q(11). Suppose -4*u - 6*z = -2*z - 44, p*z + 4 = 4*u. Solve h + 1 = u for h.
5
Let q = -377 - -396. Solve 14*i = q*i for i.
0
Suppose -16 = -l - 3*l. Let p = -311 + 322. Solve -p - 9 = l*i for i.
-5
Let p be (75/20)/((-28)/(-448)). Solve -22*s = -2*s + p for s.
-3
Suppose -11 = -5*z + 4*w + 21, 0 = 2*z + 5*w - 26. Solve -7*o + z - 1 = 0 for o.
1
Let j(h) = -h**2 - 11*h + 11. Let w be j(-12). Let x be (-9)/(-1)*(w - 0). Let o = 14 + x. Solve -3 = -6*f + o*f for f.
3
Let m(b) = -b**2 + 23*b + 115. Let j be m(27). Solve -j*p + 