t + v + k = 0, -4*v = 3*t + v + 2 for t.
-4
Suppose 3*o - 7 + 25 = 0. Let t be (o + 10)/(2*1). Solve 12 = u - 5*n, 0 = t*u - 0*n + 2*n for u.
2
Let l(o) = 9*o - 200. Let i be l(23). Suppose 0 = -43*h - i + 93. Solve 4*f - 6 = h*u, 0 = 2*u - f + 3 + 3 for u.
-3
Suppose 4*q - 1710 = -5*q. Let p = -187 + q. Solve -3*x = -5*k - 2 - 3, p = x - 2*k for x.
-5
Let v = 66 + -65. Let t(p) = -49*p**2. Let n be t(v). Let u = n + 56. Solve 2*y + u*m - 2*m = 1, -17 = -5*y + 2*m for y.
3
Suppose 68*y - 74*y + 30 = 0. Suppose -2*u - y = -7. Suppose -2*g + 4*g = -2*h + 22, g + 14 = 4*h. Solve 2*m + 0 = v - u, -m - 5*v = g for m.
-1
Let m be -4 + 72/14 - (-1035)/105. Solve 2*b - 10 = -3*h, -m*b + 16*b + 2*h - 25 = 0 for b.
5
Suppose -2*j - 233*i + 267 = -230*i, 4*j = -5*i + 541. Solve -4*m = -5*n, -142*n = -2*m - j*n - 18 for m.
-5
Let l = -260 + 265. Suppose 897*n = 902*n - l. Solve j = -s + 8, -4*j + 11 = -s - n for s.
4
Suppose 3*v - 2 = 4*v. Let s(x) = -8*x - 2. Let t be s(v). Let o = 806742 + -806737. Solve 3*q + 5*h + t = 3*h, 23 = -o*q - 3*h for q.
-4
Let z(t) = -71*t + 1294. Let s be z(18). Solve -8*d - s = -4*m - 4*d, -13 = 3*m + 2*d for m.
-1
Suppose i - 5*m + 10 = 0, -11*i + 2*m = -15*i + 26. Solve 3*s = 4*c - 7, 5*c - i*s - 26 = -7*s for c.
4
Let i be 7/(-56) - ((-6)/20)/(228/95). Solve 4*m - 5 = 2*r + 13, 3*m - 3*r - 15 = i for m.
4
Let w = -135 - -137. Suppose 5*n - s = 6 + 67, -38 = -w*n - 4*s. Solve 5*i - 5 = l, -4*l - n = 4*i + 5 for i.
0
Let h = -11 - -200. Suppose 0 = -4*c - h + 209. Let s be (1/1)/(-1)*-4. Solve -s*n + 5*l = -0*l + 23, 2*n + 3*l - c = 0 for n.
-2
Let c be (-2)/(-6)*(5 - -1). Let v = -58359 + 58361. Solve -3*m + v*j + 13 = 0, 0*m - 2*m = 2*j - c for m.
3
Let j(t) = 30 - 4 - 34 - 22 + 4*t. Let q be j(8). Solve 0 = -q*y - p + 3*p + 6, 0 = -2*y + 5*p + 9 for y.
2
Suppose 0 = 10189*b - 10200*b + 55. Solve -68 + 49 = b*v + d, d + 10 = -2*v for v.
-3
Let y = -99 - -102. Let z be 27*(-8)/84*(-28)/y. Let d = -18 + z. Solve 0 = -3*q - 2*s + d - 29, 2*q - 6 = 4*s for q.
-5
Let d(u) = -17*u + 60. Let q be d(16). Let l = q - -218. Solve 0 = -5*a + l*y - y - 30, 5*a + 4*y + 12 = 0 for a.
-4
Let q = -1811 - -1816. Solve 26 = -x + 24, -4*x = -q*o - 12 for o.
-4
Let q(m) = 4*m + 207. Let s be q(-47). Solve -4*v + j - s = -17, -5*j = 3*v - 10 for v.
0
Let f(u) = -u**2 - 3*u - 12. Let b be f(-6). Let p = -26 - b. Suppose -p*c + 10 = 2*l, 3*c - 21 = -0*c + 3*l. Solve -3*t - 15 = c*m, -t + 3*m + 5 = 3*t for t.
-1
Let y be 34 - 12/(-48)*(20 + 0). Suppose t = 4*p - 3, -42*p + t = -y*p - 1. Solve q - 2*o + 3 = 0, -2*q - 5*o - 8 = -p for q.
-3
Suppose -1 = n - 3. Let r(i) = -i**3 - 13 - 15*i - 44*i - 15*i**2 + 92*i. Let o be r(-17). Solve 5*k = 25, -k + n*k = o*d + 5 for d.
0
Let n be (-3)/(-3)*(5 - -10). Solve u + 2*u = 2*j + 25, 4*u + j - n = 0 for u.
5
Let x(h) = 150*h + 307. Let p be x(-2). Solve -3*j - 8 = -39*a + 41*a, -5*j = -3*a + p for a.
-1
Suppose -44*y - 157 = -89*y + 23. Solve -y*h - o = -9, 7 = 5*h + 3*o - 6 for h.
2
Let k = 22 - 13. Suppose 5*g - 2*j = 146, 0 = 5*g - 4*j + 7*j - 131. Suppose -3*c = 11*c - g. Solve -3*p = c*t + 14, 0 = 3*p - 2*t + k + 1 for p.
-4
Let w = 317 - 315. Let l(t) = -t**3 + 6*t**2 + 6*t + 8. Let z be l(7). Let j be 1 - (1 + -2)*z. Solve m + o - 5 = w*o, -6 = -m + j*o for m.
4
Suppose 14*t + 504 = 20*t. Let q be (-3)/((-2)/(-8) - 105/t). Solve q*k - 7 - 7 = -4*y, 6 = 4*y - k for y.
2
Suppose -59*a + 4570 = 855*a. Solve 5*p = a*o + 10*p - 15, p = o + 9 for o.
-3
Let m be 4*3/(4 - -2). Suppose 5*c = -4*k - 1, 2*c + 4*k = 3*c - 19. Let u = 154 + -154. Solve 4*g - j - m*j + 5 = 0, u = -g - j - c for g.
-2
Suppose 18*t - 26*t = -15*t. Solve -3*c + t*f + 5*f - 27 = 0, 4*c = -5*f - 1 for c.
-4
Suppose -i - 1 = 2*g, -3*i + 3*g + g + 27 = 0. Solve 5*x = -3*k + 20, 2*x = i*k - 2*x - 21 for k.
5
Let y be 2/(-5) - 44/(-10). Suppose -c - 3 + 4 = 0. Let q be y + 0 + -3 + c. Solve g + 5*f = 6*f - q, -5*g - 14 = -3*f for g.
-4
Suppose 0 = -5*q + 3*l - 3540, -3*q - 20*l = -15*l + 2124. Let k = q + 711. Solve 4*t - 4*w + 2 = -2*w, 2 = k*t - 5*w for t.
-1
Suppose -n = 5*c - 5, -2*c - 42 + 44 = 2*n. Solve 18*f + c = 20*f - j, 0 = f - j + 2 for f.
3
Let x(b) = 40*b + 122. Let f be x(-3). Suppose 2*g + 3*g = 15. Solve -2*t = n + g, -4*n = f*t + 8 - 2 for t.
-1
Let j(c) = -110*c + 5. Let q be j(-2). Let o = 225 - q. Solve o*r - 4*r - 26 = 5*h, -2*r = -4*h for r.
-4
Suppose -q + 5 = -0*q. Suppose 5 = -2*b - t, q*b - 5 = -8*t + 9*t. Suppose b = -i - 2*i + 6. Solve -2*g - 4 = 5*v, 4*v - i*v + 3*g = -6 for v.
0
Let f be (-108)/(-40) - (1 - 13/10). Solve -f*k = -2*k + 4, -2*q - 3*k = 4 for q.
4
Suppose -23*n - 10984 = -11076. Solve 22 = 2*m + 4*g, 4*m + n*g - 29 = g for m.
5
Let j = 23440 - 23430. Solve 0 = -3*m + 3*a - 1 + j, 3*a - 3 = -m for m.
3
Let u be -18 - 10500/(-585) - 714/(-234). Let h(k) = k + 3. Let o be h(-5). Let d be 1/3 - o/3. Solve -v - 4 = 3*z, -4*z + u*v + 0 - d = 0 for z.
-1
Suppose m = 4*n - 4*m - 4, 0 = -3*n + 2*m + 10. Suppose -19 = -n*y + 5. Let j be 33/36*y - 4/6. Solve -3*s - 12 = h + 2*h, 4*h = -j*s - 16 for h.
-4
Suppose 0 = 3*o + 12, 6*x + 2*o - 10 = 3*x. Let q(f) = f**2 - 7*f + 11. Let v be q(x). Suppose 0 = -7*r + v + 2. Solve -d - 3*u - 5 = r, d = -u for d.
3
Let q be (-15 - 1)*(0 + -1). Let j = q - 7. Let w be ((-1)/((-3)/4))/((-12)/(-135)). Solve -h = -2*f + j, -7*h + 2*h - 2*f = -w for h.
1
Let x(k) = -k**3 + k**2 + 11*k - 1. Let u be x(-3). Let g be (-1 - u/(-3))/((-29)/174). Solve -4*s + g*l = 5*l - 35, -5*s + 40 = 3*l for s.
5
Suppose 2*i - 27 = -3*n, -794 = 4*i - 830. Solve 18 + n = 5*q + 4*x, 3*q - 12 = -3*x for q.
5
Let h = 8400 - 8400. Solve -5*z - 3*d + 34 = h, 5*z + 21 = 8*z + 2*d for z.
5
Let v(u) = -7*u**2 + 21*u. Let g be v(1). Solve -4*m + g*y - 12*y - 8 = 0, -m - 2*y + 8 = 0 for m.
0
Let g be (-21)/(((-20)/6)/(-10)). Let p be g/(-15) + 1 + (-13)/65. Solve 5*n + 3*u = -34, -p*n - 28 = -2*u + 3*u for n.
-5
Suppose -257 = -89*c + 90*c. Let m = 264 + c. Solve -o = -2*x + 5, 2*o + 10 = 4*x - m*x for o.
-5
Let v(u) = 40*u - 200. Let f be (30 - 28)/(2/5). Let n be v(f). Solve 5 = -5*x - n*x - 5*d, 4*x + 12 = 4*d for x.
-2
Let y = 214 - 127. Let u = y - 93. Let g be 8/u*234/(-104). Solve -3*m - g = -3*l, 2*m + 2 = m for l.
-1
Let u = 17342 - 17340. Solve 139*t + 8 = -3*i + 140*t, -u*t + 10 = -3*i for i.
-2
Suppose -v + 5*j = -15, 5*v = -14*j + 18*j + 12. Solve n + 2*t + 4 = v, 2 = -2*n - 2*t - 6 for n.
-4
Let v = -465 - -467. Let s be (20/(-8))/(-5)*(v - -2). Solve -d = 4*i - 6*d + 21, 0 = -i + s*d - 9 for i.
1
Suppose -394 - 25 = -151*b + 336. Solve 5*l = 3*m + 32, -8 = -3*m - 0*m - b*l for m.
-4
Suppose 86*h + 187 = 703. Solve 2*i = 3*b, 0 = -h*i + 7*i - b for i.
0
Let y(t) = t**2 - 21*t + 70. Let q be y(17). Solve 0 = q*s - 0*s - 4*c - 2, -3*s = c - 10 for s.
3
Let z be 3/15*0 - -3. Suppose -z*x = 2*x - 25. Solve 16 = -x*s - 2*i, 2*s - 2 = 2*i - 0 for s.
-2
Suppose 71*y - 132*y + 66*y = 0. Solve 5*t - 3*t + 12 = 3*h, -t + 3*h - 9 = y for t.
-3
Let n = 4996 + -4991. Solve -3*m + 15 = m - 3*g, -2*g - n = -m for m.
3
Let d be (1/(-4))/(61/(-12) + 5). Suppose -34*u + 30 = 5*n - 39*u, -2*n = d*u + 3. Solve 5*m + n*w = 2*w - 4, -5*w = -m + 20 for m.
0
Let f be (3/(-6))/(-1 - (-25)/30). Let n be -1 - 1 - (-2 - (f - 3)). Solve n = 6*r - r - 2*s - 7, 2*r - 22 = -4*s for r.
3
Let w = -15325 + 15333. Solve 23 = 3*c + 4*a, -2*c + w*a - 8 = 6*a for c.
1
Let t be 2160/2592 + (-655)/(-6). Solve -15 = 3*a, -75 = -3*s - 4*a - t for s.
-5
Let u be (-7 - -4 - (-3 - 1)) + 3. Suppose 3*c = -3*w + 12, -u*c + 4*w - 5 = w. Solve 0 = q - f, 4*f = -5*q + 10 - c for q.
1
Suppose -2*s + 9 = 5. Let p = -93 - -102. Solve -s*u = -3 + p, 3*u + 10 = n for n.
1
Let g(w) = -146*w - 872. Let z be g(-6). Solve -5*r = -2*y - 11, -6*r + z*r = -y - 5 for r.
1
Let j(x) = x**3 + 19*x**2 + 45*x - 43. Let z be j(-16). Solve -3*l + 4 = 4*o, 7*l - z*l = 0 for o.
1
Suppose 0 = 6*h - 9*h + 278 - 263. Solve -3*g + 12 = -n, -4*n - 7*g = -h*g + 6 for n.
-3
Suppose 223 = 9*g - 83. Suppose -2*j + 10 = g. Let k = 43 + j. Solve -3*h - 2*h + k = -4*i, -2*h - i = -2 for h.
3
Let h be ((-6)/(-8))/(1/4). Let c = 62077 - 62063. Solve j = 6*o - 11*o + 6, 0 = 2*j - h*o + c for j.
-4
Suppose 3*a - 12 = -3*n, -5*a + 4*n + 24 = -a. Suppose u - 8 = a*u, 