p = 25, p + 3*p = 5*t for t.
-4
Suppose 5*w + 0*w + 46 = -2*k, 3*k = 3*w - 111. Let x = -23 - k. Suppose 0 = 4*q + x - 30. Solve 0 = 4*n + q*j - 37, -5*n + 58 = 4*j + 23 for n.
3
Suppose 0 = -3*k - 2*n + 25, 12*n - 15*n = -3*k. Let h = 51 + -47. Solve -x + h*p = 0, k*x + 2*p = 4*x for x.
0
Let a(z) = 13*z**2 + z - 1. Let r be a(1). Suppose 2*x = 5*n - r, 2*n + 3*x - 9 = -0. Let m = -4363 + 4367. Solve -2*k + 12 = -m*u, -k + 13 = n*k + 3*u for k.
4
Let o(x) = -3*x**2 + 66*x - 52. Let r be o(21). Suppose 62 - 53 = 3*d, d = -4*f + r. Solve f*i + b = 11, 2*i + 0*i = -2*b + 16 for i.
3
Suppose 224*v = -231*v + 456*v - 4. Solve -v*x + 0*x - 4*b = 12, 4*x - 5*b - 24 = 0 for x.
1
Let z(b) = -63*b - 22. Let c be z(-4). Suppose -239*r + 45 = -c*r. Solve 4*p - 2 = -3*q - 6, 2*q = 5*p + r for p.
-1
Let o(i) = -28*i - 29*i + 80*i + 2 - 20*i - 6*i**3 - 2*i**2. Let b be o(-2). Let j = -24 + b. Solve 0*s + j = 4*s, 0 = 3*v - s + 15 for v.
-4
Let x = 497 + -495. Suppose -g + 4 = 2*g - z, -x*g - 4 = -2*z. Solve 2*s - g*s = 2, -6 = b + 2*s for b.
-2
Let d(i) = -2*i**2 - 96*i + 104. Let s be d(-49). Solve -6 = y + 2*z, 3*y - z = -s + 16 for y.
2
Let z(d) = d - 3. Let o be z(5). Suppose -11 = o*c - 17. Suppose 2*y - c*b - 7 = 0, -4*b - 8 = -5*y + 6. Solve -3*f - y*f = 4*l, -5*l = 2*f for l.
0
Suppose 3*y = -5*d + 49, 4*d + 64*y = 61*y + 41. Solve d = -2*o + 4*l, l + 12 = o + 15 for o.
-2
Suppose 12 = -2*h + 26. Suppose -8*u + h*u + 29 = 0. Let g = u + -24. Solve 4*d + 31 = g*b, 4*d = b - 0 - 19 for d.
-4
Suppose 74*z = -56*z + 36*z + 376. Solve 13 = -3*f - z*l, 2*l - l = 5*f + 14 for f.
-3
Let t = 1870 - 1865. Solve s + t*f = 6*f, -5*f = -4*s + 1 for s.
-1
Suppose 8*h + 112805 = 112829. Let p(f) = -f**3 + 6*f**2 + 7*f + 4. Let w be p(7). Solve -4*n + 28 = -w*i, -18 = -h*n - 0*i + 2*i for n.
4
Let a = -964 - -966. Solve -2 = 4*y + 2*m, 2*m = -5*y + a*y - 2 for y.
0
Suppose -4*p + 8 = 3*g, 0*p - 3*g - 32 = -4*p. Suppose 27 = -p*u + 14*u. Solve -5*a - 2*s + 6 = -a, a + u*s + 11 = 0 for a.
4
Let l(h) = -2*h**2 + 94*h - 955. Let p be l(32). Solve -5*y - 20 = -p*w, -w + 17 - 13 = 0 for y.
0
Suppose -9*a + 104 = 17*a. Suppose -1 = -a*u + 7. Solve l + 3*g + u*g = -5, 0 = l - 4*g + 5 for l.
-5
Suppose -18 = -89*a + 78*a + 4. Solve 3*u = 6*u - a*q + 18, -9 = -3*q for u.
-4
Let v(k) = -k**3 - 17*k**2 + 19*k - 26. Let l be v(-18). Let s = -32 - l. Suppose 11*o = 8*o + s. Solve 0 = 3*i + 3*p + 12, 3*p - o*p - 9 = -4*i for i.
1
Suppose 4*p + x = -4*x - 13, -11 = 3*p + 4*x. Suppose 5*o - p*d = 1 + 5, o + 2*d - 9 = 0. Solve -2*y + 2 = -2*b, b + 0*y - o = 2*y for b.
-5
Let a = 3 + 101. Let t = a + -99. Suppose -t*j = -262 + 152. Solve 5*f = o, 3*f = 2*o + 3*o - j for o.
5
Let u = 1431 - 1428. Solve -u*m + 3 = -5*c + 15, -4*m = 5*c + 16 for c.
0
Let k = 2452 - 2444. Solve -3*u + 16 = 9*a - 14*a, -k = 2*a - 2*u for a.
-2
Let x be 2/((10/2)/10). Let g(m) = x*m + 3 + m**2 - 2*m - 1. Let w be g(-2). Solve -4 = a + j, -a = j - w*j for a.
-2
Let t = 20 + -16. Suppose -18*r + 96 = 42. Solve -3*o = t*c - 19, c + 5 = -3*o + r*c for o.
1
Let i be (-4)/26 + (-3276)/(-1521). Solve 5*m + 31 = 4*f + 6, -3*m - 13 = -i*f for f.
5
Suppose -1166 = 6*v + 1210. Let p = 398 + v. Solve -3*b + 5 = j, p*b - b = -2*j - 5 for j.
-4
Suppose 4*p + 18*t = 15*t + 14, -3*t = 8*p - 22. Solve 11*n + 14 = 3*i + 9*n, 3*n + 16 = p*i for i.
2
Let n be -1 + -1 + (-162)/(-24)*4. Suppose n = 21*r - 38. Solve 3*k + 20 = 4*k + 4*a, -2*k + r*a = 4 for k.
4
Suppose -4*k + 5*o = -34, k + 2*o = 5*k - 28. Suppose k*p + 5*p - 77 = 0. Suppose 16 = p*n - 3*n. Solve -3*y - n*l = -11, -3*y + 17 = y + 3*l for y.
5
Let n = 210 - 197. Suppose -n*p = -5*p. Solve -5*w + p*w = 4*h - 16, -2*w = h - 7 for w.
4
Suppose -4*d + 43 + 5 = 0. Suppose 54*b = -570 + 1866. Solve 2*n - 5*i + 10 = 0, -4*i + b + d = 4*n for n.
5
Let b(o) be the second derivative of -o**5/20 - 5*o**4/12 - 2*o. Let q be b(-5). Suppose -119*t + 390 + 420 = -618. Solve q = -4*m + t, 4*m - 4 = 3*s + s for s.
2
Let w be 12 - (4 + -2)*(70/(-4))/(-5). Solve 10*s + 5*g = 6*s + 42, 15 = -w*s + 5*g for s.
3
Let a be 2338/8 - (13 + 816/(-64)). Suppose -6*p + a - 178 = 0. Solve -g + 5*r - p = g, g = 2*r - 7 for g.
3
Let i = 2 + 1. Let w(j) = 3*j**3 - 14*j**2 + 22*j - 7. Let b be w(1). Solve -2*s = -2*g + i*s - 1, b*g - 12 = -4*s for g.
2
Suppose 4*h + 2 = 7*u - 8*u, -5*u = -5*h - 15. Suppose u*v + 10 = 4*j, j = -7*v + 3*v + 16. Let b = -2 + 9. Solve 3*p + 2*g - j = 0, -5*g - 2 = -2*p + b for p.
2
Suppose -63*f + 221 + 787 = 0. Solve i = 3*m + 3*i + 12, 4*m = 5*i - f for m.
-4
Suppose -13 = -0*h + 2*h - 3*o, 15 = 5*o. Let c be 20/(-180) + h/(-18). Solve 5*k + 5 = -u - 4*u, -5*k - 4*u - 3 = c for k.
1
Suppose 0 = 4*z + 5*q - 6, -3*q + 26 = 4*z - 8*q. Suppose 301 - 291 = 2*d. Solve 3*g - 12 = v, z*g = 3*v + 11 + d for v.
0
Let t be (34 - -4 - 37)*(-2)/((-2)/3). Solve -2*z - 2*l - 2 = -0*l, -t = -2*z + 3*l for z.
0
Let n(p) = -p - 1. Let u be n(-5). Let f(g) = 3*g**3 - 20*g**2 - 31*g - 6. Let y be f(8). Solve r + 20 = 4*r + y*m, -3*m = -2*r - u for r.
4
Let p be 114/28 - 4/56. Solve 3*h - 6*h - 5 = -p*x, h = -3 for x.
-1
Let l = -4611 + 4611. Solve -2*a + 3*p + 2 = l, 5*a + 3*p + 32 = 16 for a.
-2
Let n(c) = c**3 + 54*c**2 + 506*c + 87. Let w be n(-42). Suppose u = -3*u + 4. Suppose 0 = -2*y - u + 5. Solve y*r + 18 = 2*j, w*r + r = -20 for j.
4
Let w be (-408)/(-85)*30/12. Solve 8*q = w*q + o, -3 = 5*q + 2*o for q.
1
Let v = 1844 - 1836. Solve 2*z = -v, 0 = g + 5*z + 4 + 13 for g.
3
Let l = 2304 + -1111. Suppose l*r - 4 = 1191*r. Solve 0 = r*i - 0*i - 2*t, 0 = -4*i - 5*t + 18 for i.
2
Let v be (0/(-1) + 0)/(-2). Solve 5*u + 5*o + v*o = -5, -o + 14 = -2*u for u.
-5
Let r be 6/(2*1) + -1. Suppose -66*m = -24*m - 1344. Suppose 5*w - 4*c = 4, 13*w - 4*c = 17*w - m. Solve r*q + 27 = -5*d, w*q - 5*q + 4 = -d for q.
-1
Let t = -2023 + 2025. Solve 4*q - 2*p = -2, -t*p - p - 1 = -2*q for q.
-1
Suppose 3*t + 20 = -5*m, -2*t - 2*m - 24 = -4*m. Let z be ((-16)/t)/(3*2/15). Solve 8 = 5*v - z*s, -4*v = -v - 3*s - 3 for v.
4
Let y = -19160 - -19162. Solve 4*o - 5*o = -a, y*a = o - 5 for a.
-5
Suppose 6*z - 42 = -5*t, 3*t - 6 = 12. Solve 22 = 2*l + 26, z = -2*s - l for s.
0
Let o be 5*(77/21)/(-11)*-3. Let b be (1 + (o - 5))*2. Suppose 0 = -5*x + 11 + 4. Solve k = -x*a - 10, -a + 5*k + b = 32 for a.
-5
Let o(f) = f - 88. Let v be o(37). Let j be 530/170 + 6/v. Solve -q + 5*q = -a, j*a = 5*q - 17 for q.
1
Let b(z) = -z + 8. Let c be b(5). Suppose -163*d - 57 = -182*d. Suppose 4*j + 4 = -o + 22, 10 = -o + d*j. Solve -2*u + 2*s - o = -0*s, -5*s = -c*u - 3 for u.
-1
Let q(n) be the first derivative of -n**3/3 + n**2 + 19*n - 42. Let j be q(-3). Solve -j*k + 3*b = -2*b + 19, -k - 3*b + 8 = 0 for k.
-1
Let t(n) = 346*n**3 - n - 2. Let k be t(-1). Let g = k - -350. Solve -2*q - 8 = z, q + 3*z = g*q for q.
-3
Suppose -4*g - 244 = -b, 2*g + b + 140 = 6*b. Let c = g - -63. Solve -3*r = -r - 6, -c*r = -w - 7 for w.
2
Let x(y) = 2*y**2 - 23*y. Let c be x(0). Solve 17 = -5*i - 3*q, 0 = 4*i - c*q - q for i.
-1
Let k be (374/221)/(46/299). Solve 8*o = 3*d + k*o - 3, -7 = -d + 2*o for d.
3
Let u = 63 + -38. Let i = 35 - u. Let c be 10/(-100)*102*(-15)/9. Solve 0 = 2*w + i, -5*q + 3*w = -3*q - c for q.
1
Let q be 2/7 + (-182 - -188)*(-39)/(-14). Solve 5*h = -3*i + 21, -q = -i - 13*h + 8*h for i.
2
Suppose 20*j = 25*j - 25. Suppose -5*q = 3*n - 14, -q - q = -j*n + 13. Solve 0 = -5*s - 4*d + n, -3 = 2*s - 5*s - 3*d for s.
-1
Let t be (15/(-9))/(180/(-648)). Solve 0 = -5*x + 3*o + 28, 0*o - t = -x + o for x.
5
Let m(b) = b**2 - 6*b - 2. Let h = -43 - -41. Let y be m(h). Let t be -5*(-4)/70 - (-52)/y. Solve -t*a = -4*p, -4*p + 0*a - 3*a = 0 for p.
0
Suppose -370 = 34*c - 29*c. Let g be (-111)/c*10/3. Solve -3*t - 11 = -2*b, -4*b + g = 1 for t.
-3
Let b = -274 - -342. Suppose b = 3*d + 38. Solve 3*l - 2*w = l, l - d = -w for l.
5
Suppose 2*z + 7*z = 3636. Let l = z + -402. Solve 10 = l*s + 4*w, -w + 0*w - 5 = 2*s for s.
-5
Let i(c) = -c**2 - 5*c - 2. Let z(j) = j**3 + 10*j**2 - 13*j - 25. Let h be z(-11). Let f be i(h). Solve -5*y - 3 = f*q, 1 + 2 = -q + y for q.
-2
Let s be (768/1 - 4)/(-2). Let y = s + 385. Solve 2*a = -4*b - y*a, 4*a = 2*b + 26 for b.
-5
Suppose -453*l - 119290 = -604*l. Solve 2*d - q - 795 = -l, 3