3*t = f*k + 5 for t.
1
Suppose 29*h - 32567 = -31378. Solve -4*g + r + 52 = 41, h = 4*g + 5*r for g.
4
Let j = -3288 + 3291. Solve o - 4 = j*b, 4*o = -o - 3*b + 20 for o.
4
Let a be (25 - (2 + 0))/((-2)/14). Suppose 5*w + 2*n + 1 = 26, w + 5*n + 18 = 0. Let v be 19/w + (-46)/a. Solve -5*l + 40 = -5*y, -v*l + 2*y = 10 - 31 for l.
5
Suppose v - 8 = -3*v. Suppose 3*h = -12, -2*c + 32*h - 33*h = -20. Suppose c = 278*u - 275*u. Solve v*z - 1 = x - 16, 4*z = -u*x for x.
5
Let o be 848/(-530)*30/(-8). Solve -5*l - 20*d + 17*d = -16, o = 4*l - d for l.
2
Let o(i) = -i**3 + 7*i**2 + 16*i + 10. Let a be o(9). Let v(w) = 6*w + 50. Let s be v(a). Solve t = 2, -s*c + c - 9 = -4*t for c.
-1
Suppose -124 = 16*u - 12*u. Let p = 38 + u. Suppose g - 7 = y, p*g - 3*g + 5*y = 19. Solve -3*z = 5*t - 20, -g*t + 3*z - 10 = -t for t.
1
Let v be (6 + 3)*152/342. Solve 0 = -2*i + 3*o + v, -4*o = -i + 4*i + 11 for i.
-1
Let a be (0 + -1 + -2)*(-30)/45. Let s be 7 + a + -2 + -3. Solve -2*m - s = -2*g, 0 + 2 = -3*m - g for m.
-1
Suppose 4*b + 1 - 14 = j, -5*b = -5*j - 20. Let h be (-9)/108 - (-1060)/48. Solve -11 = b*g - 4*u, -5*g + g - 2*u = -h for g.
3
Suppose -5*r + 8 = -r. Suppose 5*s + 32 = 5*u - 2*u, 4 = u - 5*s. Suppose 0 = -2*v, u - 38 = -2*k - v. Solve 0 = -2*p - a - k, 3*p - r*a + 28 = -6*a for p.
-4
Suppose 5*f + w - 25 = 0, -16*f + 4*w = -14*f - 10. Solve t + 11 = 5*z, 285 - 250 = f*z + 5*t for z.
3
Suppose 6*x = 117 - 69. Suppose -3*i = 4*r - 28, x*r - 9*r - 12 = -4*i. Solve 3*b - 3 = 2*q, b - 3 + r = 0 for q.
-3
Let u = -212 - -219. Let d be (u - 135/20) + (-7)/(-4). Solve -4*g + h - 12 = 0, 0*g + 4 = -3*g + d*h for g.
-4
Suppose -24 = -3*c - 15, 0 = 4*n + 5*c + 1. Let x be 28/(-6) - n - (-68)/12. Solve 23 = -3*b + x*z, 4*z = -b - 0*b + 15 for b.
-1
Let h be 22/(-66) + 21/9. Solve 8*r + 2*o = 10*r - 4, 4*r + h*o = 2 for r.
1
Suppose -456 = -4*p + h, 2*p - 314 = -2*h - 76. Let y = -115 + p. Solve y = -3*l, l - 4 + 2 = -2*d for d.
1
Let o = 21196 - 21195. Solve -l + o = -3*q, -3*q + 0 + 7 = l for q.
1
Suppose 0 = -2*c + 18 - 8. Solve -c*d - 35 = -5*t, -t - 5*d - 16 = 1 for t.
3
Let h(f) = 42*f**2 + 40*f + 40. Let z be h(-1). Suppose -31*a + z = -17*a. Solve a*d = -4*y + 19, 4*y - 1 - 13 = 2*d for d.
1
Suppose 0 = -4*z - 5*g - 451, -241 = -5*z + 3*g - 777. Let a = -104 - z. Solve 0 = -3*w - a*m - 25, 5*m = -w - 16 + 1 for w.
-5
Let d = 150 + -146. Suppose 5*c + 4*j = 6*c + 20, -4*j = d*c - 20. Solve c*i = -2*i - 3*v - 2, 0 = -3*i + 5*v + 16 for i.
2
Let k(v) = v**3 - v**2 - 2*v + 16. Let l be k(0). Let o be 2/4*l*(-3)/(-6). Let u be o/(-1)*(-15)/20. Solve x = -i - i + 9, -u*i + 2*x = -17 for i.
5
Let f = -654 - -657. Solve -6 = f*k, 4*m = 10*k - 8*k - 8 for m.
-3
Let q(o) = o - 2*o - o - o**2 + 4. Let i be q(-2). Let j = 802 - 785. Solve -g = 4*g - 5*m + 15, 0 = 5*g - i*m + j for g.
-5
Let l be (-11)/(-4) + 3/(-4). Let c be (-980)/(-539) - (6/(-33) - 0). Solve -h - 2*u - 17 = l*u, 2*u + 16 = c*h for h.
3
Let w be 4235/1210 + (-1)/(-2). Solve 4*f - 4 = 15*t - 11*t, -w*f - 4*t = 4 for f.
0
Suppose 14*k = 15*k. Suppose k = 8*b + b - 153. Suppose -4*i + 20 = -0*i - 5*t, -i - t = -5. Solve i*x - 2*q + b = 0, 5*x - 4*q - 7 = -26 for x.
-3
Suppose 9 = 3*g + 792*l - 789*l, 0 = -2*g + 4*l + 12. Let n be 1*-4*4/(-8). Suppose -6*v = -n*v - 8. Solve 4*t - k - g*k + 28 = 0, 2*k - v = -3*t for t.
-2
Suppose -90*s + 215 = -1315. Solve 3*p + 4 + 0 = -2*q, 4*p + s = -5*q for q.
-5
Let t(x) = x**3 - 25*x**2 - 148*x - 56. Let v be t(30). Solve r - b - 5 = -0*r, v*b = 2*r - 16 for r.
2
Let n = 15167 + -15162. Solve -3*i + c + n = -7*i, 5*i + 25 = 5*c for i.
-2
Suppose 205*b - 9 = 200*b - 2*r, 3*b + 3*r + 9 = 0. Solve -3*j - 1 = -m, 52*j + b*m = 54*j + 18 for j.
1
Suppose 0 = -18*x + 16*x - 4*g + 52, 96 = 4*x + 4*g. Suppose 4*t - 2*a - x = 0, -12 = 6*t - 5*t - 4*a. Solve u = 3*h + 6, 2*u + t = -4*h + 3*u for h.
-2
Suppose -2 = 23*i - 71. Solve -8*y = -5*u - 13*y, u - i*y = 4 for u.
1
Suppose 0 = -5*h - 320 + 5. Let n = 65 + h. Solve d = -x + 3, -n*x + 12 = 3*d + 2*d for d.
2
Let k(i) = -i**2 - 7*i + 8. Let s be k(-6). Let o(v) = 0*v + 2*v - 17 - v + 5 + 0*v. Let z be o(s). Solve 4 = x - u, -24 = -z*x + 5*u - 1 for x.
-1
Let r(i) = -11*i**2 - 13*i**2 - 14 + 23*i**2 + 9*i. Let k be r(3). Solve -s + 4*z - 6 = 6, -3*z + 9 = -k*s for s.
0
Suppose -2*r + 11 + 1 = f, 3*f = -4*r + 30. Solve 14*m + 4*q = 17*m + f, -7 = 4*m - 5*q for m.
2
Suppose -22 = -3*l - 16. Suppose -s + 12 = -l*u + 2*s, 0 = 3*u + 5*s - 20. Solve -4*m - 20 = u, 6 = -2*i - 3*m + m for i.
2
Let k be (0/(-6))/((-4)/(-4)) + 26. Suppose -13*q + 0 = -k. Solve 0 = -4*a - 4*r, -q*a - 3 = -0*a - r for a.
-1
Let h be -4 - -1*(21 + -7). Let p = -3 - -6. Suppose p*i - 4 - 8 = 0. Solve 4*u = 2*w - h, 2*u - i*w - 4 = 6*u for u.
-2
Let t(h) = -165*h - 489. Let a be t(-3). Solve f - 5 = 2*b, -3*b + 5*f + a - 3 = 0 for b.
-4
Suppose 0 = 3*h - y + 1704, -2840 = 11*h - 6*h - 5*y. Let n = h - -576. Solve -5*g + p = 3*p - 16, -g + 2*p + n = 0 for g.
4
Let j(n) = -2*n**2 - 2*n + 3. Let i be j(-2). Let m be i/(((-5)/1)/10). Solve 3*l + 5*z = 15, -7 - m = -2*l - 3*z for l.
0
Suppose 0 = 27*h - 61 - 317. Suppose 4*b + h = 5*j, -3 = 5*b + 2. Solve -z + 5*y - 1 = -3*z, 5*y + 11 = j*z for z.
3
Let w be (-10 - (-10 - 5))/1. Solve 3*b - k - 4 = 0, 2*b - w*k - 12 + 5 = 0 for b.
1
Suppose 5*t = -8*u + 7*u + 139, -4*u = -16. Let q be ((-36)/(-15))/(t/45). Solve 2*m + 13 = 3*m - 2*r, -2*m - 2*r = q for m.
3
Suppose j - 4*u - 4 = 0, 17*u - 21 = -2*j + 12*u. Suppose 5*n = a - j + 29, 4*n - a - 16 = 0. Solve -3*g = -t + 7, -11 = 3*t - 7*t - n*g for t.
4
Let r(u) = u**3 + 12*u**2 + 16*u - 38. Let p be r(-10). Solve -10*s - 16 = -11*s + 3*j, 3*j = -p*s - 13 for s.
1
Let u be (-87*8/(-32))/((-12)/(-16)). Solve -2*g + 6*y + u = 11*y, -2*g = -4*y + 16 for g.
2
Suppose 17*s - 13*s = 0, -2*c + 3*c = -4*s + 29. Solve -4*r + 4 = -2*o, -5*o = -2*r + c - 35 for r.
2
Let h be (16/(-60))/(2/(-15)). Solve -3*k + k + 15 = 3*v, 0 = h*k - 2*v for k.
3
Suppose 24 = 4*c, 7*h = 8*c - 6*c + 177. Solve 3*p + 3*z = h, -3*p - 2*p = -4*z for p.
4
Let l = 3 - -3. Suppose 82 = -16*a + 159 - 29. Solve -a*x - 10 = 2*d, l*d + x + 4 = 5*d for d.
-2
Let z = 33 + -34. Let r be (0 + z - (-3 - -1))*5. Solve -i = r*n - 9 - 7, 4*i + 11 = 5*n for n.
3
Let t be 2 + 1 - 7 - -8 - (-51)/3. Solve -19*a + t*a + 2*k = -6, 8 = -4*a - 2*k for a.
-1
Let w(y) = 2*y - 16. Let f be w(3). Let i = f - -15. Solve -2*s - s + 5*b = -11, i*s = -2*b - 23 for s.
-3
Suppose -8*k + 53 = -3. Let n be (1 - 51)/(-5) - k. Solve i = u + 6, -3*i + 8 + 4 = n*u for i.
5
Let h(m) = -m - 5. Let j be h(-9). Suppose 512 = 17*b - 270. Let p = b - 41. Solve -o = -j*z - 16, 0 = p*z - 0*o + 5*o + 20 for z.
-4
Suppose 10 = 5*q - 5*j, 129*j = -5*q + 126*j + 10. Let l(n) = n**2 - 12*n + 12. Let o be l(11). Suppose 10 = 5*a - 5. Solve -a*z = d + o + 9, -q*d = z for z.
-4
Suppose 16*i = 17*i - 5. Let w be -4*(i + -7) - 5. Solve 0 = b + 3*f - 5, -5*b + f + w = 5*f for b.
-1
Suppose 2*w = 2*r + 2, -2*r + 8 = 2. Let b be 3/6*4*12/8. Solve -v - 15 = v - 3*f, 3 = b*v + w*f for v.
-3
Suppose 0 = -4*g + 2*o - 2 + 10, 0 = -4*g + o + 4. Suppose 2*c + 15 = 4*c + 3*a, 4*a - 20 = g. Solve m = 4*y - 17, -4*y + 4*m + 13 + 7 = c for y.
4
Let h(q) = q**2 + 157*q + 616. Let a be h(-4). Solve -4*m - a*l + 24 = -12, -11 = m - 4*l for m.
5
Suppose 406*d + 191 = 191. Let o be 1 + 0 + (1 - -1). Suppose q = -0*s - 3*s + 11, -21 = -o*q - 3*s. Solve 0 = -h - 4*b + 6 - d, 0 = -q*h + 2*b + 8 for h.
2
Let y(l) = -l**3 - 9*l**2 + 12*l + 23. Let n be y(-10). Suppose 653*a - n = 652*a. Solve 0 = -s - a*q - 15, 5*s - 5*q + 13 - 38 = 0 for s.
0
Let q = 76 + -76. Let d(x) = x**2 - 4*x + 7. Let a be d(4). Suppose -2*m = -2*o + 48, -3*o + a*m + 75 = 3*m. Solve f - o = 5*s, q = 3*f + 4*s + 19 - 6 for f.
1
Let h(g) = g**3 + 5*g**2 + 11*g + 62. Let a be h(-5). Suppose -2*r + 3*v = -6, 4*r - 2*v + a*v - 56 = 0. Solve -5*f = -w - 27, -4*w + f - 4 = r for w.
-2
Let m = 237 - 232. Suppose -24 = -m*x + 4*z, -4*x + 7*z + 13 = 10*z. Solve 0 = 5*b + 25, -b + 3 + 8 = -x*t for t.
-4
Suppose -92*m - 782 = -2990. Suppose n = 6*n - 5*q - 15, -5*n + 13 = -3*q. Solve 16 = 4*a + 5*b - m, -18 = -2*a - n*b for a.
5
Suppose 3*p - p - v = 100, 0 = -3*p + v + 152. Let w = 40 - p. Let h be (