2*t + 3*t. Solve 3*f - 4*a = -h, -14 = -5*f - 2*a + 1 for f.
1
Suppose 0 = 4*b + 2*r - 58, 43*b - 44*b = 2*r - 7. Solve t = -4*c - b, -6*t + 7 = -5*t - 4*c for t.
-5
Let o = -10483 + 10485. Solve -5*t = 5*j - 3*t + 15, 4*j + o*t + 14 = 0 for j.
-1
Let x be 1 + -92 + -1*(1 - 0). Let b = x - -17. Let d = 107 + b. Solve 5*l - d = 3*r, 8 = 2*r - 0*l + 4*l for r.
-4
Let n(g) = -g**2 - 7*g. Let w be n(-4). Suppose 8 = -a + w. Suppose s - 4 = a. Solve -s = -0*c + 4*c, 7 = b - 5*c for b.
-3
Let x be (0*(-2)/(-8))/2. Suppose -5*c + 8*c - 219 = 5*i, -3*c - 5*i + 189 = 0. Let j be (4/3)/(c/12 - 5). Solve 0 = j*r + 3*g + 2 - 6, x = -2*g for r.
2
Suppose -4*g = c + 6, 2*c - 33*g + 2 = -36*g. Solve -c*z = 3*d + 7, -5*d - 13 + 4 = 4*z for d.
-5
Let i be -232*16/(-768) + (-2)/(-12). Solve -5*v + 9 = -a + 8, 5*v - 5 = i*a for v.
0
Let d(f) = -f**2 + 7*f - 13. Let g be d(3). Let v be g/(-6) - 64/384. Solve v = -3*n + 4*m + 21 - 5, 5*n + m + 4 = 0 for n.
0
Suppose -30*k = -44*k + 252. Let q be (44/12 - 5)*k/(-4). Solve c = z + 4*z + q, -2*c = 5*z + 3 for c.
1
Suppose -8*l = -4*l + 12. Let q be (l - (2 - 2))/(-1). Solve 0 = -3*k + 3*v + 27, 2*k + q*v = -3*k + 5 for k.
4
Suppose 5*k - 33 = i, -5*k + 3*i - 774 + 813 = 0. Solve -3*o - 21 = d, d + 3*o - k*o - 9 = 0 for d.
-6
Let c be (-410)/41*3*(-8)/60. Solve 2*s = 8*h - 7*h, -h + c*s = 0 for h.
0
Suppose 0 = 4*z + 5*q - 48, 4*z - 47 = 4*q + 1. Solve -5*t - 3*r = 10, -z*r + 8*r - 20 = 0 for t.
1
Let x be 20/(-5) - 6 - 4. Let r(k) = -k**2 - 7*k + 103. Let o be r(x). Solve -m + 1 = 0, o*t - 14 = 2*m - 1 for t.
3
Let s(t) = -t**3 + 5*t**2 + 5*t + 4. Let q be s(6). Let n(u) = -8*u - 1. Let l be n(q). Let i = -262 - -264. Solve i*a = -10, 5*a + l = -v - 13 for v.
-3
Suppose 3*z - 7 + 25 = 0. Let v(u) = -u**3 - 6*u**2 - u - 3. Let k be v(z). Let s be 294/24 + (-2)/8. Solve 3*g - s = -3*y - 3, -2*y + 8 = k*g for g.
2
Suppose 3*r = -2*z + 13, 5*z + 6*r = r + 30. Let x be 0*1*(0 + z/5). Solve x*y = -2*y - 4*i - 22, 5*i = -20 for y.
-3
Let w = -6388 + 6393. Solve -10 = -5*z - 6*f, 11*z - w*f - 2 = 10*z for z.
2
Let z(r) = 2*r**3 + 50*r**2 + 2*r + 58. Let k be z(-25). Suppose 0 = -5*x - 10, 4*f = -5*x + k + 2. Solve 5*s - 2*q - 15 = -q, 2*s - f*q - 29 = 0 for s.
2
Let k = 506 - 475. Suppose -4*c - 32*a = -k*a - 37, 5*c - a = 53. Solve -5*m - 5*j = c + 10, -j - 2 = 3*m for m.
1
Suppose -55*p - 6*p - 31 = -153. Solve -2*v = -l - 10, -7 = -p*l + 5*v - 10*v for l.
-4
Let s(g) = 2*g**2. Let l be s(-1). Let u = 855 + -810. Suppose 11*z + 34 = u*z. Solve -l*q + p + z = 0, 0 = -3*q + 2*q - p + 8 for q.
3
Suppose 4*d - 41 = -d + 4*a, a - 11 = -3*d. Let g = 8 - 6. Suppose -g*c = 0, d*f - c + 9 = 24. Solve -3*x + 2*q = -14, -f*x - q - q = 2 for x.
2
Let m = -315 - -308. Let i be 0 + -5*(6 + m). Solve 1 = -i*h - 4*u, 0 = 4*h + 2*u + u + 1 for h.
-1
Suppose 43 = 11*b - 12. Let l be 2/(158/54 - 3). Let w = l - -31. Solve b*r - 3*y - 3 = w, 5*r + 21 = -4*y for r.
-1
Let l be (0 - 0)/(-2 + 0). Let b(t) = -16*t + 16. Let z be b(6). Let u = z - -82. Solve 9 = -u*f - 3*x, 4*x + l = -4 for f.
-3
Suppose 156*a = 160*a - 200. Suppose 20 = -15*i + a. Solve 5*o + 2*m = 17, -i*o - 5 = 5*m + 5 for o.
5
Let t(c) = -5*c + 27. Let l(h) = -12*h + 53. Let m(f) = 6*l(f) - 13*t(f). Let k be m(-5). Solve -5*x = -k*s - 13, -4*s + x - 8 = -3*x for s.
1
Suppose -2*a + 5*x + 6 = 0, -a + 17*x + 14 = 20*x. Suppose 5*n - 40 = n. Let g be 3 + ((-3)/12)/((-2)/(-8)). Solve b + a = -g*m + 1, 0 = -3*b + 5*m - n for b.
-5
Let h be ((-2)/(-4))/(-7 - (-29)/4). Suppose b - 16 = 3*f, -3*f = 4*b + 13 - 2. Let x be (-1)/2*(22 + -22). Solve x = o - z + h, -2*o + 0 = -z - b for o.
3
Suppose 3*c + 5*c - 160 = 0. Suppose -q = -5*b, -7*b = -5*q - 3*b. Solve -5*o - 5*d + c = -0*o, 4*o - 5*d + 2 = q for o.
2
Let w(r) = 9*r - 106. Suppose 5*s = -4*x + 28, 0 = -5*x - s - 12 + 68. Let f be w(x). Solve 6 = -2*q + 4*g, -4*q = -q + f*g + 9 for q.
-3
Suppose -24*h + 28 + 44 = 0. Solve -4*m = -h*r + 20, -3*r + 2 = 14*m - 9*m for r.
4
Let q = 41 - 53. Let o be (-830)/q + 10/12. Let v = -55 + o. Solve -z - 5 = -a, 0*a - v = 3*z - 2*a for z.
-5
Suppose -11*f + 13*f = 0. Let n be (0 + 1 + f)*(-34)/(-17). Let x be 1 - (n + -2 + -4). Solve -2*g = g - 5*c + 22, 10 = x*c for g.
-4
Let a(c) = c**3 + 9*c**2 + 14*c + 128. Let d be a(-9). Solve 2*b + d*x - 2 = 0, -11 = -2*b - 5*x + 3 for b.
-3
Let k(d) = -d - 26. Let s = -50 - -47. Let h be k(s). Let b be (h - -3)*3/(-12). Solve -b*g + 5 = -5*v, -5*g = 4*v - 3*g + 28 for v.
-5
Let g = -47453 + 47456. Suppose 0*j - 2*j = -5*p + 15, -4*p + 3*j = -12. Solve 7 = g*u + x, 0*u - 4*u + 5 = -p*x for u.
2
Let d = 702 - 755. Let c(f) = -f**2 - 52*f + 58. Let q be c(d). Solve 5*u + 3*t = -t - 26, 3*u + q*t = -26 for u.
-2
Let x = -422 - 351. Let b = 775 + x. Solve 2*z = -2*u - b, 0*u - 9 = -3*z + u for z.
2
Let k(d) = -28*d - 1. Let r be k(-4). Suppose 10*l - 1308 = -2*l. Let o = r - l. Solve -3*b - 21 = -5*p, -b = -3*p - o*b + 7 for p.
3
Suppose 0 = -4*w - 0*w, -3*x + 0 = -3*w - 0. Solve -f = 4*c - 16, x = 6*c - 7*c + 3*f - 9 for c.
3
Let c(g) = 0*g**2 + 2*g**2 + 141*g**3 - 140*g**3 - 5 - 17*g. Let z be c(-5). Solve -2*r - 2*s + 8 = -z*r, -r - 2*s - 8 = 0 for r.
-4
Let o(t) = -8*t**2 + 123*t - 154. Let h be o(14). Solve h = w - d, 0 = -11*w + 6*w - 5*d + 40 for w.
4
Let o(i) = 6*i - 7*i - 2 + 4 - i**2. Let j be o(0). Suppose -2*p = -b + 11, b + p - 1 = -j. Solve -3*k - 5*d = -37, 0 = k + 4*k - b*d - 5 for k.
4
Suppose -1 = -438*s + 440*s - 37. Solve 5*d - 17*h = -s*h + 28, -3*h - 16 = -5*d for d.
5
Let f be (-214)/(-4)*-4 - 2. Let g = 220 + f. Let a(m) = m**3 + m**2 - 3*m + 2. Let n be a(2). Solve -g*l + 13 = -3, 4*r + n = l for r.
-1
Suppose 2*t + 73 = 77. Suppose q = -s - 3, 15 - 3 = -2*q - 4*s. Solve t*l + 5*d + 13 = -2*l, q = -2*l + d - 3 for l.
-2
Suppose -390*r + 326*r = -1216. Solve r = c - 3*c + 3*x, 0 = -c + 4*x - 17 for c.
-5
Let i(y) = -y**3 + 31*y**2 - 40*y + 2307. Let u be i(32). Solve -2*z + 11 - 30 = -u*f, z = -2*f + 8 for z.
-2
Let k(w) = w**3 - 9*w**2 + 7*w + 23. Let d be k(8). Let j(i) = 11*i - 162. Let x be j(d). Solve 6*b = 3*b - s - 19, x*b + 4*s = -31 for b.
-5
Let f = 445 + -958. Let v = f - -518. Solve 15 = v*s - 5*k, -15 = -5*s + 4*k + 2 for s.
5
Let q(t) = t**3 - 13*t**2 - 19*t + 93. Let b be q(14). Let v be (2 + -1)*0 - (21 - b). Let n = -14 - -16. Solve v*x = 2, 0*d + 8 = -n*d + 4*x for d.
-2
Suppose 5*g - 34 = 29*c - 26*c, -2*c = 16. Solve 3*l = 2*u + 2, -g*l + 5*u - 15 + 20 = 0 for l.
0
Suppose 23*u - 35 = -5*q + 26*u, 2*q = u + 15. Solve -3*f - 4*a = 22, 9*f - 2*a = -0*a - q for f.
-2
Let r be (-12)/7*(-7)/1. Let y be (0 + 0)/(5 - (0 + 2)). Suppose -3*g = 4*s - 95, 2*s + y*g + g = 45. Solve -q = q + 3*b - s, -r = -3*b for q.
4
Let t(h) = h**3 - 11*h**2 - 34*h - 102. Let p be t(14). Solve -y - p*u + 6*u + 4 = 0, 0 = y - 4*u + 4 for y.
0
Suppose -16*t + 8*t - 60*t = -4080. Solve -4*x = -t*k + 61*k, -x = 4*k for x.
0
Let k(z) = 12*z + 13. Let x be k(1). Suppose x = 5*o - 5*w, -o - w + 2 = -3. Solve -5*y - f + 0*f = 7, 0 = -y - 2*f - o for y.
-1
Suppose 0*c = 4*c - 20. Suppose -48 = -c*d - 28. Solve -o - 3*r - 6 = -d*o, -8 = o + 4*r for o.
0
Suppose 5*h = 2*x - 16, 11*h + 10 = 16*h. Let w(s) = 13*s - 144. Let r be w(x). Solve -5*m = -l + 4, -4*m + 5 = -5*l + r for m.
0
Let u(z) = z + 6. Let s be u(6). Suppose 7*y + 24 = 19*y. Suppose 14 = 3*j + y. Solve 3*p + 6*g = 2*g + s, p - j*g + 12 = 0 for p.
0
Let c = -66 + 66. Suppose -f + 13 - 8 = c. Suppose 4*i - f = -i. Solve j = -0 - i, -j - 3 = r for r.
-2
Let b(u) = 6*u - 25. Let r(t) = -17*t + 74. Suppose 5 = 8*d - 27. Let a(j) = d*r(j) + 11*b(j). Let i be a(9). Solve -2*y - 22 = 4*n - 5*y, -2*y = i*n + 8 for n.
-4
Suppose 46*t = -27*t - 44*t + 585. Solve a = x - t, -12*x + 3*a = -8*x - 16 for x.
1
Let s = 1068 - 603. Suppose 2*c = -459 + s. Solve 2*o - 2*w = o + c, w + 12 = -3*o for o.
-3
Let z be (-9296)/664 - 1*-19. Solve z*d - 4*t - 10 = 0, -65*d + 33 = -62*d + 3*t for d.
6
Suppose -3*d + 2 + 7 = 0. Suppose -d*m + 3*w + 18 = 0, 4*m - 5*w = 3*m + 26. Let p be (-2)/10 - ((-660)/50 - -4). Solve -j + b + m = 0, 4*j - p = 4*b + b for j.
-4
Let t = -3268 - -3268. Solve x - 10 = 2*w, t*x - 4*x - 4 = 3*w for w.
-4
Let v be (-5)/1*2/10*-13. Solve -2*w + 4*h - 5 = -v, 0 = 5*w - h + 7 for w.
-