- v*t = -1 - 27, -4*m + 3*t + 7 = 0 for m.
4
Let c(x) = -261*x + 783. Let p be c(3). Solve 4*f + 4 = p, -8*m + 3*m - 24 = 4*f for m.
-4
Suppose 26*m = 3*m + 69. Suppose w + 3 = m*k - 9, -5*k + 12 = w. Solve -k*c = c - 2*g - 4, -c = 3*g + 13 for c.
-1
Suppose -5*i - 275 = -4*y, y - 5*y = -20. Let l = i + 61. Suppose 0 = -5*b - 0*b + l. Solve 3*j - 3*s = 21, 0*j - b*j = 5*s + 21 for j.
2
Let u(j) = -3*j + j**3 - 11*j**2 + 13 - 26*j + 28*j. Let r be u(11). Solve o + 3*z - 5 = 3, 0 = r*o - 2*z for o.
2
Let s(r) = 11*r**2 + 258*r + 117. Let h be s(-23). Solve -o + 5*c + 5 = h, 0 = -2*o - 3*c + 6 for o.
3
Suppose 7*u - 264 = -4*u. Let b(j) = -j - 5. Let r be b(-6). Let n = u - r. Solve n = 5*g - 2*s, -5*g + 0*s + 4*s + 31 = 0 for g.
3
Suppose -50 = -47*r + 37*r. Solve 4*m + 2*b = 7*m + 25, -r*b + 10 = 3*m for m.
-5
Suppose -11*o = 7*o + 3*o - 84. Solve -25*g = x - 21*g + 3, -g = -o*x + 22 for x.
5
Let n(l) = -l**2 - 22*l + 145. Let a be n(-27). Solve 4*r - 8 = 11*u - 10*u, 5*r - 2*u = a for r.
2
Suppose -f = -4, 25 = -5*g - 5*f - 35. Let o be 33/15 - g/(-80). Solve -4*n = 5*i - 25, 2*i - 2*n = o*n + 10 for i.
5
Suppose 4*v + 334 = 8*x - 7*x, -4*x + 3*v + 1336 = 0. Let f = x - 332. Solve -3*y - 1 - 10 = -2*d, 10 = 2*d - f*y for d.
4
Let j = -13894 - -13926. Solve j*c - 2*u = 28*c + 10, -1 = u for c.
2
Let k(d) = d**3 + 16*d**2 - 17*d + 2. Let f be (26/(-52))/(1/34). Let h be k(f). Solve -h*u = -4*o + 2, -5*u - 1 = -4*o - 8 for o.
2
Let b = -416 + 446. Suppose -2*s + 10 = 3*s + 5*c, 0 = -3*s + c + 18. Suppose -2*d = -d - s. Solve 2*u = 5*m + 35, d*m - u + 0*u + b = 0 for m.
-5
Let w = -5201 - -5220. Solve -2*n - 6 = 2*f, 14*n - 1 = w*n - 2*f for n.
-1
Let s = -46 - -51. Suppose s*i - 4*z = 20, -3*i - i - 20 = 4*z. Suppose 5*o - o - 5*m = 7, -5*o - 3*m + 18 = i. Solve d + o*w - 5 = 0, -3*d - 2*w - 3 = w for d.
-4
Suppose -29 = -r - 3*k, -35*k + 32*k = -15. Solve l = -3*w + 18, 2*w - r = 15*l - 16*l for w.
4
Let d(j) = 2*j**2 - 11*j + 20. Let u be d(3). Suppose 3*x + x = u*n + 16, 0 = -n - 2*x + 8. Solve -4*q + f + 8 = n, -4*q + 0*q + 3*f = 0 for q.
3
Let t be (-31)/(3/3 - 2). Suppose -q - t = -36. Solve 3*h - 2*k = 15, q*h + k - 5 = 4*h for h.
5
Let z = -153 + 217. Suppose m = -15*m + z. Suppose -3*j + 14 = 2. Solve -j*h + 2*u + 10 = 0, 3*h + u = -u + m for h.
2
Let g be (105/9)/7 + -1 + 4/3. Solve 5*n = -2*u + 9, g*u = 9*n - 11*n for n.
3
Let h be (-106)/(-159)*(-18)/(-4). Let a = -19 - -21. Suppose -m = -5*r + 16, 2*r - a*m + 20 = 5*r. Solve h = -y - r*q, 6*q = q for y.
-3
Let o be 15*6/18 + (-4)/2. Suppose 0*q - 4*s + 21 = o*q, 5*q + 3*s = 35. Solve -q = -5*b - m - 20, m = 2 for b.
-3
Suppose 30 - 7 - 17 = 3*q. Solve 94*r - 97*r = q*o - 2, o = r - 4 for o.
-2
Let h(r) = -r + 52. Let z be h(7). Suppose 5*s = -2*d + d + 95, 2*s - d = z. Solve -8*a + 2*u + s = -3*a, -4*a + 3*u + 23 = 0 for a.
2
Let n = 20 + 99. Suppose 0 = -5*q + 5*i - 500, -2*q - n = 3*i + 91. Let y be (-1)/(-7) + q/(-21). Solve y*p - b + 6 = 0, -4*p + 1 + 0 = 5*b for p.
-1
Suppose -2*u - 3*a + 20 = -10, -3*a + 6 = 0. Suppose -q = q + 2*l - 16, l = -3*q + 24. Let o = 18144 + -18140. Solve -2*p = 4*g + 3*p + u, -o*p - q = 4*g for g.
2
Let d(b) = 597*b + 602. Let q be d(-1). Solve q*w + 4 = -4*m - 5, 0 = -4*m - w - 5 for m.
-1
Let r = -2460 + 2464. Solve -3*y = 3*t - 6, 3 = r*y - t - 5 for y.
2
Let v be ((-1)/(-8)*-3)/(54/(-432)). Solve p + 2*l - 11 = 0, -3*p + 26*l + v = 22*l for p.
5
Suppose 5*i = i + 3*r + 198, 0 = 4*i - 5*r - 202. Let o = i + -55. Let z be (o - -15)*2/8. Solve -k - 10 = 5*y + k, z*y - 3*k = 15 for y.
0
Suppose 5*z - 2*s - 27 = 0, -4*z + 4*s - 842 = -866. Solve m - 3 = -2*m + 2*n, -2*n = z*m - 5 for m.
1
Suppose 4*v + 12 = 2*n - 16, 12 = -2*n - 4*v. Let z be (1 + -9)*(-1235)/(-76). Let s = -126 - z. Solve -30 = 2*k + s*i, -2 = 5*k - n*i + 3 for k.
-5
Let w = -221 - -221. Let v = 91 + -87. Suppose -4*n - 2*s + 1 = -3, -5*n = -v*s - 18. Solve -n*h + r = -w*h + 8, -4*h - 14 = -r for h.
-3
Let k(h) = -2*h**2 - 8*h - 31. Let w be k(-9). Let c = -106 - w. Solve 4*y - 20 = 8*y + 5*b, 3*y + 3*b + c = 0 for y.
-5
Let p be 3 + 16/(-12)*-3. Suppose p = 4*s - 9. Let w = 86 - 58. Solve z - 4 - 13 = -s*b, -z + 5*b = w for z.
-3
Suppose -2*u - 4*v - 32 = 0, -2*u - 37 = 3*v - 4*v. Let j be (4 - 8) + u/(-2). Solve -2*c + 1 = k - 2, 0 = j*k + 2*c - 23 for k.
5
Let m be (-12*4/6)/(-2). Suppose -2*h + m + 0 = 0. Solve 2*o = -2*t + 6, t - 6*o = -h*o + 13 for t.
5
Suppose 5*m - 2*z = 2*z - 21, -21 = 4*m + z. Let a be 273/65 - 4/m. Suppose -f - a*v - 9 - 7 = 0, -4 = v. Solve -o = -2*h + 4, 2*o = 3*o - h + f for o.
-4
Let a be 4/(-16)*-4*-19. Let r(l) = l**3 + 20*l**2 + 17*l - 31. Let t be r(a). Solve 2*y - t*y = 2*m + 9, 2*m = 4*y + 18 for m.
3
Suppose -347*u - 211 = -394*u - 23. Solve -4*k + 18 = -9*i + 7*i, u*i - 3*k + 11 = 0 for i.
1
Let q be 1 + 0 - 11 - (18 - 63). Solve 2*u + 7*v - 2*v = q, 0 = 5*v - 25 for u.
5
Let z be -3*((-13 - -7) + 5). Solve -2*k - 4 = 0, 20 = 5*p - z*k - 1 for p.
3
Suppose -o = 4*d - d + 435, 444 = -3*d - 4*o. Let u = d - -149. Solve -3*m + u*b = -3, 3*b + 12 = -4*m - 13 for m.
-4
Let j be 112/49 + -2 + (-72)/7. Let t = -7 - j. Solve 4*m - t*d - 6 = -d, 5*m = -5*d - 15 for m.
0
Let p = 418 - 424. Let o be ((-209)/33 - p)/((-2)/6). Solve 0 = a - 3*v - 3 - o, -6 = 3*a - 3*v for a.
-5
Suppose -d - 27 = 3*l - 134, 0 = -3*d - 4*l + 311. Suppose -26 = -d*o + 88*o. Solve 5*n = o*a - 10, 3*n + 2 = 3*a + 5 for n.
-4
Let c(x) = x**3 - 41*x**2 + 94*x + 765. Let m be c(38). Solve y + 15 = -4*h, 17*h = m*y + 15*h + 9 for y.
-3
Suppose 2*s - 59 = 5*t, -149*s - 4*t = -148*s + 29. Solve -l - 7 = -535*r + 532*r, 2*r = 3*l - s for l.
5
Let h(m) = m**3 + 20*m**2 + 63*m - 4. Let q be h(-4). Solve u - 4*x = -17, q*x - 16 = 3*u - 5*x for u.
3
Suppose 161*x - 8207 = -418*x + 7426. Solve -s + 24*b + 4 = x*b, -b = -1 for s.
1
Let w = 0 - -2. Let n = 243 + -238. Suppose i + n*g - 15 = 0, -2*g + 8 - w = -2*i. Solve i*u + 16 = 3*u + s, 0 = -u + 4*s - 12 for u.
4
Let q be (46/3)/(((-42)/9)/(-7)). Suppose 6*m - q*m + 51 = 0. Solve m*y + 6 = -3*u, 5*y = 7*u - 2*u - 10 for y.
-2
Suppose -12*n + 14*n - 13 = -3*u, 4*u - 20 = -4*n. Solve -5*g + 29 = 4*h, 0 = 2*g - 0*g + u*h - 13 for g.
5
Suppose 4*d = 8*d + 2*z - 6, -4*d - 5*z = -3. Suppose 2*c - 3*i - 31 = 0, -d*c - 2*i + 0*i + 16 = 0. Solve -4*a - m = 2*m, -3*a = 5*m + c for a.
3
Let m be 112/14 + -4 + 0*(-4)/12. Solve 4*w + 10 = -2*g, m*g - 5*w - 13 = -2*w for g.
1
Suppose x - 6 = -1. Suppose -46*h + 1090 = -51*h. Let z = h + 218. Solve 2*i + x*v + 14 = z, 1 = 2*v + 5 for i.
-2
Let o = -12 + 30. Let y be (-1*(2 - 2))/(0 + 1). Solve 3*m - o = b, y + 10 = 2*m for b.
-3
Let j(s) = 258 + 248 + 3*s - 501 + s**3 - 4*s**2. Let m be j(3). Solve -o = m*g - 7 - 4, -4*g = 4*o + 4 for g.
3
Let c(s) = -6*s + 51. Let t be c(8). Suppose -u - 5*f = 3, 4*u - 5*f - 17 = t*u. Solve 5*i - j + 6*j - 20 = 0, -2*j + u = 3*i for i.
-1
Let p(i) = i**3 - 6*i**2 - 13*i + 2. Let x be p(7). Let v be (-8)/x*0/1. Solve -2*c - 5*w - 14 = 0, -4*c + 2*w + v*w - 4 = 0 for c.
-2
Let x(t) = 2*t - 17. Let i be x(7). Let k be (-14)/7*3/i. Suppose 2*l - 24 = -k*n, n - 8 = l + 2*l. Solve 0 = -2*b + 4, -b + n = 3*p - 0*p for p.
3
Let u = -7262 + 7266. Solve -3*p = -5*o + 3 - 23, 4*o = -u*p - 16 for o.
-4
Suppose -48*w = 36*w - 336. Solve w*p = i - 11, i + 10 = 3*p - 6*p for p.
-3
Let h be -4*27/12 - -38. Suppose -7*x + 27 = -h. Solve 0 = z - 5*w - 10, -5*z + 4*w = -4*z - x for z.
0
Let m be -26 + (-560)/(-16) - (1 - 10). Solve 286*p + 2 = o + 285*p, 5*o = -2*p - m for o.
-2
Suppose -200 = -85*u + 45*u. Solve 5*v + 18 = -d, 5*d + 0*v - 30 = u*v for d.
2
Suppose g + q + 6 = 0, -12*q = -3*g - 11*q + 14. Solve 0*m - 3*m = 4*j - 32, -4*m - g*j + 26 = 0 for m.
4
Suppose 19*f + a = 21*f - 446, -5*f = 5*a - 1145. Let j be (-2)/(-5*18/f). Solve 0 = z + l, j*z + 4*l - 1 = -4 for z.
-3
Let p(t) = -11*t + 8*t**2 + 6 - 6*t**2 + 2 - 12. Let v be p(6). Solve 4*y = y - 3*r + 9, 3*y + v*r - 4 = 0 for y.
-2
Let t(d) = -d**2 + 118*d + 4091. Let i be t(-28). Solve 4*j - 17 = -5*g, -5*j - 28 + 3 = -i*g for j.
-2
Let z be (-14)/18 + 1 - (-5 - 152/(-36)). Solve z = -u, 0*i + 2*u - 28 = 5*i for i.
-6
Suppose 12 = -123*t + 129*t. Solve 18*m = 5*k + 21*m - t, -3*k - 3*m = 0 for k.
1
Suppose -21*p = -16*p