y + -1)*5/(-15). Solve 4*z - 2*p - 6 = i, -z - p + 7 = 2*z for z.
2
Suppose 0 = -0*i - 2*i + 152. Suppose 0 = 5*w + 5*a + 320 + 30, a = w + 78. Let f = i + w. Solve -5*j - 5*v = -4*v - 3, 0 = -3*j + f*v + 7 for j.
1
Let j = -80 - -46. Let k(b) = -43*b + 220. Let y be k(5). Let u be j*y/(-40) - (-6)/8. Solve u*f + 20 = q, -2*f = 3*q - 1 + 9 for f.
-4
Let m(s) = -34*s - 573. Let g be m(-17). Solve -3*n - 6 = g*b - 4*b, 4*b = -5*n - 10 for n.
-2
Let p be 1/(1057/175 - 6). Suppose 5 - p = -5*o. Solve o + 4 = 2*h - 2*l, -3*h + 12 = -4*l for h.
4
Suppose 4 = 5*m - 6, -4*u + 58 = -5*m. Suppose 9*q - w = 4*q + u, 0 = -5*q - 5*w + 5. Solve -2 + 6 = -q*j - i, -3*i + 10 = -2*j for j.
-2
Let g = 0 + 1. Let c = 468 - 464. Let p = c + -3. Solve w + g = z, 2*w = 5*z - p - 1 for z.
0
Let z(m) = -m**2 - 24*m - 119. Let f be z(-17). Solve 0 = -2*w - 10, f*w = -y - w - 8 for y.
-3
Let r(n) = -n**3 - 9*n**2 - 20*n - 17. Let w be r(-6). Let t be 1/2*((-2 - w) + -3). Solve k + 3*l + 8 = 0, 3*k = -t*l + 2*l + 9 for k.
1
Let q(s) = 5*s**2 - 39 + 23 + 2*s + s + 18. Let m = -127 + 126. Let k be q(m). Solve 20 = -5*o - k*g, o - g - 5 = -3*o for o.
0
Let g be 20/2*1/6*3. Suppose -g*c = 537 - 547. Solve 3*k - c*x = -2 - 3, -5*x = k - 21 for k.
1
Let x(o) be the second derivative of -o**4/6 + 19*o**2/2 - 7*o - 7. Let b be x(0). Solve -g = 5, -g - 2 - b = -4*t for t.
4
Suppose 6*x - 8 = -a + 5*x, 0 = 2*a - 2*x. Solve -l = -1 - a, 2*t = 5*l - 33 for t.
-4
Let p be ((-2)/(-4))/((-4)/(-80)). Suppose -p = -5*m - 0*m. Suppose 4*x = 5*t - 14, 5*t - 5*x + 0*x = 15. Solve 5*l + 18 = j + m*l, -2*l = 4*j - t for j.
3
Let u(p) = 8*p + 154. Let j be u(-18). Let s(i) = -3*i + 53*i**2 + 9 + 9*i - 52*i**2. Let y be s(-5). Solve y*n = -3*w + j, -3*w - n - 6 = 2*w for w.
-2
Let l(x) = x**3 + 11*x**2 - 12*x + 2. Let m be l(-12). Suppose m*y - 2*b = 20, -2*y - b = -0*y - 5. Solve 4*h + 31 = -y*s, -h + 2*s + 0*s = -2 for h.
-4
Let a(p) = 7*p + 26. Suppose 31*x - 26*x = -15. Let h be a(x). Suppose 2*n = 3*s - 9 + 29, -5*n = -5*s - 40. Solve n*r = 21 - 1, -3*i + 31 = h*r for i.
2
Suppose -64 = 8*d - 176. Suppose -4 = 2*v - d. Solve -u - 5*a = 3, 22 - 7 = -v*u + 2*a for u.
-3
Let r be (21 + -1)*(0 - -1). Let p(y) = y**2 - 6*y + 28. Let d be p(5). Let c = d - r. Solve 4*k = -a + 2*a - 9, c = -3*k - 3*a for k.
-2
Let o(f) = 7*f**2 - 6*f + 8. Let r be o(6). Let t = r - 217. Solve -17 = -w - 3*i, 2*i = -4*w + t*i for w.
5
Let p = -7622 - -7624. Solve -5*q = 0, -p*d + 54 = 3*q + 56 for d.
-1
Let i(l) = 155*l + 786. Let j be i(-5). Solve -5*w - 2*x = -8*w + j, x = 4*w - 18 for w.
5
Let j be 5 + 0/(-2)*-1. Let x be 8/(16/9) + 4/(-8). Suppose t = z - 1 + 4, 0 = x*z - 16. Solve 0 = -3*d - r - t, j*d + r = -0*r - 11 for d.
-2
Let y(d) = -5*d**2 - 4*d + 73. Let j(k) = 11*k**2 + 6*k - 148. Let f(n) = -6*j(n) - 13*y(n). Let q be f(7). Solve 0 = 2*t - v - 9, v = -v - q for t.
4
Let t be ((-56)/6)/((-66)/(-693)). Let v be t/(-28)*16/28. Solve 21 = -5*z + c, -v*z - 3*c = -4*z + 2 for z.
-5
Suppose -10 = -5*m + 5*b, 1 = -2*m + m + 2*b. Let z = -476 + 481. Solve -2*n = z*d - m, 3 = -n + 5*d - 2 for n.
0
Let u(q) = q**2 + 10*q - 53. Let o be (-80)/15*(-2 + (-25)/(-20)). Let y be u(o). Solve -6 = -5*b + 4*v, v + 4 + y = 4*b for b.
2
Let l = 1175 + -1173. Solve -2*q = -3*c + 12, l*c - 4*c - 5*q + 8 = 0 for c.
4
Let l(h) = -h**2 + 15*h + 76. Let s be l(19). Solve -5*w - 15 = -3*m + 10, s = 2*w + 4*m - 16 for w.
-2
Let a(f) = -13*f - 16. Let y be a(-3). Suppose y*j + 25 = 28*j. Solve -21 = j*p + 2*m, -2*p - 12 - 6 = 4*m for p.
-3
Let x = 8 - 4. Let m be 30/(-4)*(-134)/(-201). Let f be (m/2)/((-75)/60) + -2. Solve f = 4*k + h - 6, x*h - 1 = 2*k + 5 for k.
1
Suppose 2*u - 20 = 2*j, -3*u = -23*j + 22*j - 22. Solve 3*z = -u, 123*z - 127*z = 3*l + 23 for l.
-5
Let i be 6/(-10) - (207/(-45) + -8). Solve -5*l = -2*u - 16, 18 = i*l - 7*l - u for l.
4
Suppose 2*i + 4*d - 31 - 5 = 0, -4*d = -i + 24. Let u = -100 + 104. Let k be (u/6)/2*6. Solve f - 8 = -k*f + n, -4*f = n - i for f.
4
Let a(v) = 3*v**2 + 26*v - 97. Let o(q) = -7*q**2 - 53*q + 197. Let j(c) = -5*a(c) - 2*o(c). Let h be j(-27). Solve g - h = 5*p, 5*g - 27 = p + p for g.
5
Suppose -9*f = -433 - 791. Let z = -78 + f. Let a = -49 + z. Solve -a = i + 3*i - b, i + 6 = -b for i.
-3
Suppose 0 = 2*v - 3*q + 5 - 24, -4*v = -5*q - 33. Suppose 2*k - v = -3*d, 19 - 13 = -3*d. Solve 2*x + 4 = -k*n, -6*x = -x - 2*n - 26 for x.
4
Suppose -5*g = -4*s - 0*s - 26, 0 = -5*g + 3*s + 27. Let x = -101 - -103. Suppose f + 18 = 4*k, -2*f - 8 = -f - x*k. Solve 2*t + c = f, 4*c = g*c for t.
1
Let o be -7 - (-9)/(36/16). Let h be 4 + 9/(-6)*(-4)/o. Solve -4*t - 12 = 0, -2*i = 6*t - h*t + 8 for i.
2
Let w = 83 - 66. Suppose -w*u + 229 = 25. Let f be (-16)/u*(-78)/4. Solve 4 = 5*a + 5*b - f, -2*a + 4*b = 0 for a.
4
Let j(g) = -g**2 + 15*g - 11. Let o be j(13). Suppose -119*d = -114*d - o. Let x = -2 + 2. Solve 2*b + 0*v - v + 5 = x, v = d for b.
-1
Suppose 18 = 4*l + 2*c, 93*c + 3 = l + 92*c. Solve -40*m - 5*f = -37*m - 1, -l*f = 5*m - 6 for m.
2
Let r be (4/3)/(8/12) - 2. Suppose 9 = 3*l - r. Solve -2*u - 2*u = 5*d + 6, 0 = 5*d + l*u + 7 for d.
-2
Suppose 0 = -88*t + 208*t - 960. Let c(k) = k**2 - 2*k. Let i be c(3). Solve 24 = -0*f - i*f + 3*o, t = -4*f - 4*o for f.
-5
Suppose 5639 + 27649 = -3*z. Let o be z/28 - 4/(-14). Let r be o/(-45)*(-15)/(-6). Solve -3*h = 12, r = -2*y - 6*h + 2*h for y.
-3
Let m = -52 + 80. Suppose 18*i = 13*i + 75. Suppose -2*k + i = k. Solve -4*s = -t - 0*t + 23, k*s - t = -m for s.
-5
Let i = -305 - -473. Let d be (-6)/33 - i/(-77). Suppose -4*u + d*h + 31 = -3*h, 0 = u + 3*h + 5. Solve u*y = 3*y + 2*t, 0 = 3*t for y.
0
Let k(w) = w**2 - 28*w - 56. Let o be k(30). Suppose -3*s + 44 = o*t, -3*t - 55 = -8*t + 5*s. Solve -t = 2*q - m, 2*m = -4*q + 3*m - 17 for q.
-3
Let x be 2*(-49)/(-10) - (-4)/20. Let i = x - 6. Suppose 0 = 3*k + m - 8, 3*m + 2 = i*k. Solve 0 = -k*a - 2, 4*t + 3*a + 6 = -1 for t.
-1
Suppose -x + s = -23, 47*s + 7 = -x + 42*s. Solve 133*i + x = 2*t + 137*i, 5*t = -2*i + 13 for t.
1
Suppose -5*d + 4*f = 6, 0 = 2*d - 124*f + 119*f + 16. Solve -a + 18 = 3*a - 5*p, 0 = 4*a + d*p + 24 for a.
-3
Let y(d) = -3*d**3 - 2*d**2 - 8*d + 3. Let h be y(0). Let w = 9 - 7. Solve -w*x = -x, -h = -g + 5*x for g.
3
Suppose -16*k + 20*k = -16. Let t be ((-32)/4)/k*(1 + 0). Solve 29 = -5*q - 5*b + 3*b, t*q + 4 = 3*b for q.
-5
Let t = 24 - -99. Let w = -120 + t. Suppose 2*q - 1 = 3. Solve 5*n - w*g - 20 = 1, 2*n - q*g - 10 = 0 for n.
3
Suppose 61*y - 4*y = 285. Solve 5*i = -5*b + y, -b + i + 8 = b for b.
3
Suppose -52*d + 56*d = s + 17, 1 = d + 3*s. Solve 4*x - 2*x + 2*m = -12, -d*x = 5*m + 26 for x.
-4
Suppose 10 = 5*j - 15. Suppose 4*t - 109 = -l - 0*l, -149 = -5*t + 3*l. Suppose -t = a - j*a. Solve 2*g + 5*h - a = g, h + 13 = -5*g for g.
-3
Let h = -25107 - -25108. Solve 12*o = 13*o - h, 5*o = -s + 10 for s.
5
Let b be -3 - (1526/(-70) + 3/(-15)). Solve -15 = 5*x + 15*h - b*h, -4*x - 5*h = -29 for x.
1
Let l(n) = -n**2 - 199*n - 3082. Let b be l(-17). Solve -2*g = 5*d - 15*d - 48, -5*d - 2*g = b for d.
-4
Let x(r) be the second derivative of -r**5/10 + 19*r**4/12 + 11*r**3/6 - 7*r**2/2 - 55*r - 2. Let w be x(10). Solve -f - 23 = -w*t - 8, -5*t + 25 = -f for t.
5
Suppose 6 = s + 3. Suppose 600 = n + 3*n - s*f, 0 = 4*f - 16. Suppose n*v = 154*v. Solve v = -y - 5*p + 26, -5*p + 30 = 5*y - 0*y for y.
1
Suppose 7*s - 36 = -2*s. Suppose q + s = 12. Let h(w) = -3*w**2 - 2*w + 5. Let u be h(0). Solve 2*l + 2*o + o - 8 = 0, -u*o = 2*l - q for l.
4
Suppose 7*r + 604 = 91*r + 67*r. Solve -x + 64 = 12*w, -w - 11 = -r*x - 0*x for x.
4
Suppose -5*y = 5*f + 10, 5*f - 6*y + 4*y = 25. Solve 0 = z + z + 5*t + 1, f*z - 4 = -2*t for z.
2
Suppose 4*t - 5*r - 42 = 0, 56 = 5*t + 4*r - 17. Solve -t*v = -4*n - 14*v - 13, 4*n - v + 19 = 0 for n.
-4
Let i be (69/9)/(2/6). Suppose 3*g = -y + 2 + 2, 6 = 4*g + 2*y. Let q be (4 - g) + -1 - -3. Solve -4*o + 3*m = 29, -o - m = -q*o - i for o.
-5
Let g(t) = -105*t**3 - 120 - 2*t + 14*t**2 + 28*t - 3*t + 104*t**3. Let b be g(15). Solve -m = 5*f - 10, -4*f + 5*m + b*m = 21 for f.
1
Suppose 4*q = 0, 2*k + q = -134 + 186. Solve l + k = -5*x, -18 = 3*x + 68*l - 65*l for x.
-5
Let c = -2357 - -2360. Solve a - 12 = -3*n, -6*n + 20 = c*a - n for a.
0
Sup