n - s*f for n.
5
Let u(r) = 75*r**2 - 2*r + 1. Let k be u(2). Let j = k - 291. Solve 3*s = o - 9, 18 = 5*o - 4*s + j for o.
0
Let f = -993 - -995. Suppose -713 + 715 = f*p. Solve 5*d - 4 = p, -5*j + 23 = -2*d for j.
5
Suppose 1133*j + 67 = 1148*j + 7. Solve -j*r = -5*t, r - 6 = -t + 3*r for t.
-4
Suppose 2*k + 0*k - 6 = 0. Suppose k*c + 1 = 7. Suppose 21 = c*d + 15. Solve -9 = d*r - 0, -5*z + 7 = r for z.
2
Let m = 46 - 38. Let o be (1 + -3 - -10)*1. Suppose -o*r + 0*r = -32. Solve x = -2*u + m, -2*u + 4*u - r*x = -2 for u.
3
Let y = 448 + -436. Solve 10*p - 15*p = -2*a - 23, 0 = -2*a - 2*p + y for a.
1
Let z(b) = 3*b**2 - 85*b - 460. Let j be z(33). Solve j*f - 5*l + 6 = 0, -f - 10 = -5*l - 2 for f.
2
Let y be 906/75 - 16/200. Solve 15*c + 3 = y*c - 4*s, -3*s - 3 = 3*c for c.
-1
Suppose x - 13 - 4 = -3*t, -2*t = 4*x - 18. Let n(o) = 2*o**2 - 38*o + 40. Let h be n(18). Solve -j = -h*j - w - 2, -t*j - 2*w = 3 for j.
-1
Let i be 5/(5/3) + 0. Let f be (56/21 - i)*-9. Solve f*h = a - 14, h + 28 = 5*a - 0*h for a.
5
Let j = 26 + 58. Let u = -82 + j. Solve -u = -3*o + g, -4 = 2*o - o + 2*g for o.
0
Let o(t) = 9*t**2 + 7 - t**3 - 5*t**3 + 5*t**3 - 21*t - 1. Let d be o(4). Solve 4*r - n = -14, -4 = d*n - 0 for r.
-4
Suppose -2357 + 1550 - 1769 = -56*i. Solve 51*w = -4*z + i*w + 11, 0 = -3*z - 5*w + 7 for z.
4
Let q(p) = -p - 3. Let l(t) = -7*t + 16. Let s be l(3). Let j be q(s). Suppose -12 = -3*x, j*x + 6 + 2 = 4*d. Solve -4 = 3*k + 2*a, a = d*a + 15 for k.
2
Let i(y) = -y**2 - 17*y - 12. Let d(s) = 3*s**2 + 49*s + 37. Let o(g) = 3*d(g) + 8*i(g). Let j be o(-10). Solve 4*u - 2*c = 3*u - 5, -j*c = -u - 8 for u.
-3
Suppose -29*n + 15*n = 32*n - 2208. Solve 0 = -5*t - 3*z + 16, -3*z - 52 + n = t for t.
5
Suppose -4*d = -5*d + 51. Let w = -48 + d. Let h be 4 + w*(-2)/6. Solve 5*p = h*f + 32, -2*f - 40 = -5*p + 3*f for p.
4
Let s(t) = -t**2 + 4*t + 2. Let z be s(3). Suppose 31 = 4*i - z. Let l = -6 + i. Solve -5*y = -8*h + l*h, 5*h - 3*y = 10 for h.
5
Suppose 0 = 3*v - 3*x - 39, -4*v - 184*x = -181*x + 18. Suppose 2*y = -p, 2*y + 3*y = -5. Solve 14 = -4*q + v*q + 5*t, 12 = -2*q + p*t for q.
-4
Let c(v) = -v**2 + 5*v - 4. Let o be c(3). Let h be (-3 + 30/9)/((-4)/(-264)). Suppose 14 = -a + h. Solve -4*f + 16 = -5*r, o*f + 2*r - r = a for f.
4
Suppose -12 = 4*r - 5*r. Let o(y) = r + y - 8 - 1 - 6. Let s be o(7). Solve 0 = -3*k - a - 6, -k - a = k + s for k.
-2
Let x = -735 - -737. Solve 3*l - 10 = 7*i - 8*i, 0 = x*i + 5*l - 16 for i.
-2
Suppose 5*k - 20 = -2*s, -3*k + 475 = 469. Solve -h + i + 5 = 0, s*i - 2 + 15 = -h for h.
2
Let a be (-7)/196 - 2783/(-308). Solve 15 = -5*l, 8*y = a*y - 5*l - 18 for y.
3
Let m be (-21546)/(-1053) + 3 + 135/(-39). Solve 5*q - w + 12 = -5, m = -2*q - 4*w for q.
-4
Let t be 112/42 - 4/6. Suppose 13 = -t*d - 39. Let r = 26 + d. Solve 4*v - c - 13 + 0 = r, 3*v + 4*c = 5 for v.
3
Let k be (0/(17 + -5))/(0 + -1). Solve a = -l - 2, k = 2*a - 18*l + 22*l + 2 for a.
-3
Suppose 0 = 2*y + 3*i - 768, y - 4*i + 28 - 423 = 0. Suppose -y + 322 = -13*s. Solve 5*f = s*h + 20, -4*f + 6 - 2 = 0 for h.
-3
Let w = 18 + -15. Let d be (-54)/(-36)*4/w. Suppose d = 2*l - 4. Solve l*f = -m + 9, -2*m = -m + 5*f - 15 for m.
0
Let i be ((-4)/(-7))/(292/16352). Solve 0 = -12*o + 8*o + 3*c + i, -1 = -o - c for o.
5
Let l be (-132)/(-4*1) - (0 - -4). Suppose -5*b - 4*f = 0, 5*f + 12 = 4*b - l. Solve b*s + 2 = 2*r + 20, -3 = s + 2*r for s.
3
Suppose -c - 4*n = 6 - 17, 2*c = 3*n. Solve -r + 3*h - 1 = 0, 2*r - c*h - 7 = -9 for r.
-1
Let d be (-1 + 9/2)*2. Let y = -29 + 75. Let f be -1 + (4 - -2) - y/46. Solve 2*x - 1 = 7*x - f*k, -5*x = -2*k - d for x.
3
Let o(c) = 2*c**2 + 23*c + 71. Let h be o(-6). Solve -h*l = 5*z - 10, -3*z - l + 12 = 8 for z.
1
Let n be 1/((-2)/2)*-2*3. Let h = -106 - -110. Solve -5*f - 2 = 2*m + n, 0 = -h*m - 5*f - 6 for m.
1
Let i be 1389 - 2*(0 + (-3)/2). Let f be (-2)/5 - (i/(-30) - 5). Let w = 53 - f. Solve 3*x - 15 = 5*v + 2*x, 12 = -v + w*x for v.
-2
Suppose -120*z + 119*z + 9 = 0. Solve z = 3*p + b, 5*p = b + 17 - 2 for p.
3
Suppose 3*q - 4*r = 180 - 19, 0 = -q - 2*r + 57. Suppose l + 46 = q. Suppose l*b + 6 = 11*b. Solve -3*z = b*c - 18, 3*c - 2*z + 1 + 1 = 0 for c.
2
Let l = -9743 - -9892. Solve 0 = -u - l*s + 148*s - 8, -3*u - 4 = -2*s for u.
-4
Let g be ((-1)/(-2))/((-2)/20) + -3. Let u be ((-156)/g)/13*(-20)/(-6). Solve -x = -u*m + 13, -2*m - 3*m = 3*x - 1 for m.
2
Let v be 1/3*(-144)/(42/(-7)). Suppose -2*u - 6 = -v, -m - 5*u = -30. Solve -3*i + 0 = -4*k - 15, 5*i = -5*k + m for i.
5
Let g(m) = 15*m**2 + 252*m - 40. Let z be g(-17). Solve -2*l - 2*w = 2, -2*l + z - 15 = w for l.
-3
Suppose c - 16458 = -16453. Solve -227*d = 2*b - 231*d - 30, 0 = 2*b + d - c for b.
5
Let y be (-3 + -2 + 7)/(0 - -1). Suppose -y*c + 34 = -164. Let o = -91 + c. Solve 0 = -3*v - 2*a + o, 4*v + 5*a + 0 = 6 for v.
4
Let s = 29 - 27. Let t(v) = -5*v + 10. Let g be t(s). Let d(m) = m**2 + 2. Let q be d(g). Solve 3*h - 30 = -3*z, -q*z + h = -5*z + 20 for z.
5
Let d = 30 + -21. Let s = -13998 - -14000. Solve -s*t + z + d = 0, 4*z = 4*t + 3*z - 15 for t.
3
Let s be 15/2*458/1145. Solve 0 = 4*w + b + 21, 4*w - 8*w + s*b = 17 for w.
-5
Let f(d) = d**2 - 3*d - 5. Let q be f(5). Let m = q - 2. Suppose 56 = 59*v - 44*v - 4. Solve 3*i + 4*a = 9, -v*i - 16 = -m*a - a for i.
-1
Suppose -895 + 112 = -308*i + 141. Solve -i*j = -5*k - 3, 0 = 4*k + 10*j - 11*j + 1 for k.
0
Suppose -3*v = 3*k + 48, -2*k + v + 1 = 39. Let p = -13 - k. Suppose -3*m = p*r - 21, -m + 17 = r + 4*r. Solve 4*q + 5*s + m = -5, -3*q - 2*s = 7 for q.
-3
Let n = 963 + -960. Solve -5*y = -5*s + 45 - 10, 0 = 4*y + n*s for y.
-3
Suppose 11 = t + 3*w + 3, -4*t - 19*w = -39. Solve 33 = 2*g + t*r, -5*r + 45 = -3*g + 8*g for g.
4
Suppose 2*b + 13*b - 435 = 0. Let q(z) = -z**2 + z + 2. Let w be q(0). Let x = -456 - -460. Solve 0 = -5*s + 2*o + b, x*o = -w*s - o for s.
5
Let f(o) = -o + 107. Let p be f(30). Suppose 8*u + 61 = p. Solve 4*v = -3*g + 6, 0 = g + u - 0 for v.
3
Let z be 2028/(-102) + 22 - 4/34. Solve -3*r - 2*y + 17 = 0, -68*y + 67*y + 11 = z*r for r.
5
Let z(d) = -d**2 - 3*d - 41. Let f be z(-11). Let k = f - -134. Solve 5*t = -5, -5*u + 24 = -4*t - k for u.
5
Let i be 3 + 13 + (-18 - -6). Solve 5*g + p + 1 = 11, 5*p = i*g + 21 for g.
1
Suppose 16056 = 23*k + 16010. Solve 0 = -i - 2*u - 5, k*u = -3*u for i.
-5
Let g = -6018 - -6022. Solve 28 = 5*j + 2*y, -44*j + 40*j - g = -5*y for j.
4
Let h be (1107/(-246))/((-36)/16). Solve 0 = h*t - q - 1, 26*t - 7 = 30*t + q for t.
-1
Let k = -787 + 522. Let f = k - -268. Solve -6*o + f*m + 26 = -2*o, -m = 2 for o.
5
Suppose 0 = 3*c - a - 1, 6 = 5*c - 5*a + 21. Solve g + 6 = -2*y, g + 2*y + 10 = c*g for g.
2
Let j be -1*((-22)/6 - -1 - 64/(-96)). Solve 0 = -2*a - 4*h + 22, 3 = j*h - h for a.
5
Suppose 3*m - 4 = j - 1, 2*m = -4*j + 30. Solve 3*a + 2*k + 31 = 12, m*k + 18 = -a for a.
-3
Suppose 14 = -5*b + 4. Let o be 1/b + 143/22. Let h be 1 + 10/o + 4/(-6). Solve -2*f = p, h*f = 4*p - 2*p - 12 for f.
-2
Let m = 2898 - 2894. Suppose 7 = 4*k - 3*i, -3*k + 6 = -5*i - 13. Let t be (k/(-3))/(2/15). Solve u - t = m*h + 10, 0 = -u + h for u.
-5
Let u = 269 + -254. Let q(r) = -r**3 - r - 66. Let s be q(0). Let h = s + 68. Solve h*l = -5*j + u, 0 = j + 3*l + 4 - 20 for j.
1
Let g be (88/99)/(54/486). Solve 0*c - 4*j - g = 4*c, 0 = c + 4*j - 7 for c.
-5
Let r be 6 - 2/(8/(-12)). Suppose -n - 64 = -r*n. Suppose -13*v - 20 = -17*v. Solve 3 = -2*d + v*h - n, -2*d = 3*h + 3 for d.
-3
Suppose -13 = -2*y + 49. Suppose 0 = -9*h + y + 14. Let l = -11 - -14. Solve -q - 2*q - l = 0, -5*q + 5 = h*x for x.
2
Let p(a) = -960*a - 4798. Let t be p(-5). Solve 5*q + 3*y = -20, q - t*y = 2*y + 19 for q.
-1
Let s = 1 + -1. Suppose 0 = 3*v + 16*v + 380. Let w be (-275)/(-77) + v/(-14) + -2. Solve 0 = 3*r + w*f - 12, 3*f - 10 = -2*r - s*f for r.
2
Suppose -52 = d - 5*b, 0 = -4*d + b - 52 + 53. Let l(h) = h**2 + 6*h. Let r be l(-6). Solve 5*j = -5*p - 35, d*j + p + 0*p + 13 = r for j.
-3
Let h(s) = -s**3 + s**2 + 3*s + 2. Let u be h(-2). Suppose -4*y + 2*i + u = -2*y, 3*i - 8 = -2*y. Solve 4*g - y = 5*q - 2*q, -3*q - 22 = 5*g for g.
-2
Let h = -3605 - -3606. Solve z - 3*s - h = -2*s, 2*z - 1 = s for z.
0
Let n(a) = a**2 - 18*a + 56. Let f be n(15). Suppose f*g = 19*g. Solve -