 + 2 for y.
-5
Let d(x) = 2*x**2 + 72*x + 616. Let i be d(-22). Solve -q + 2*q + 3*f + 4 = i, 4*f + 4 = 0 for q.
-1
Let s(p) = 24*p - 102. Let o be s(-23). Let h = o - -657. Solve 6*v + 27 = h*c + 3*v, -5*v = 4*c + 9 for c.
4
Let m be (-103536)/192 - 10/(-8). Let w = 542 + m. Solve 3*v = -2*l, l + w = 2*v - 3 for v.
2
Suppose 0 = 10*b - 16*b + 42. Suppose -r + 2*v = -22, 2*v - b = -2*r + 31. Solve 5*s + r = 0, 4 = 4*z - 0*z - 3*s for z.
-2
Let k(z) = -z**3 - 84*z**2 - 12*z - 1005. Let f be k(-84). Solve 2 = -p + r, 13 = 3*p + f*r - 5 for p.
2
Suppose 2*r + r - 6 = 0. Let z(b) = -51 + 27*b - 12*b - 9*b. Let s be z(9). Solve s - 13 = -2*j - r*a, 0 = -5*a + 25 for j.
0
Let p(c) = 2*c**3 - 2*c**2 - 6*c + 3. Let y be p(3). Suppose 0 = -b + y + 8. Let f = b - 27. Solve 3 = m, 0 = -f*z - 5*m - 2 + 21 for z.
2
Let t = 56 - 97. Let n = t - -44. Solve 5*g - n*u + 7 = 3*g, g = 2*u - 3 for g.
-5
Suppose -5*o = -2*l - 24, 28*l - o + 15 = 31*l. Let z = -2 - -5. Suppose z*p + 5 = 4*t - 9*t, -3*t = p - 1. Solve 5*i = 4*q + 12, -t*i - 2*i = l*q + 9 for i.
0
Let m(k) = -k**2 + 10*k + 4739. Let j be m(74). Solve 0 = -j*l + 24, -6*a - 35 = -3*a - 4*l for a.
-1
Suppose 5*i - 28 = 2*q, -3*i = -84*q + 87*q. Solve -y + n - 8 = -6, -i*y - 22 = 3*n for y.
-4
Let g(t) = 2*t**3 + 10*t**2 - 4*t - 18. Let r be g(-5). Suppose r*o - 12 = 2*j - 0*j, 3*o - 20 = 2*j. Solve -3*b - o = k, b + 7 = -2*k + 4*b for k.
-5
Let h(l) = 15*l**2 - 4*l + 1. Suppose a - k = 3, 0 = -4*a - 3*k - 0 - 2. Let t be h(a). Solve -p + 0*p - 8 = -2*o, 2*o + p = t for o.
5
Let b be (15/3 - 2)*(-70)/3. Let p = -70 - b. Suppose 5*n - 2*i - 1 - 13 = p, 0 = 4*n - 2*i - 10. Solve 0*x - 2*h + n = -5*x, -2 = -h for x.
0
Suppose 0*c - 2*c = 0. Suppose 5848*q = 5722*q + 504. Solve -4*i - 3*g - g - 24 = 0, c = i + q*g + 9 for i.
-5
Let o = 5 - 3. Suppose 0 = o*c - c - 3. Let j = 56557 - 56552. Solve 14 = -c*s - 2*q, 2*q + 11 + j = -4*s for s.
-2
Suppose -884 = -300*c + 519 - 203. Solve 0 = -3*j - t + 18, 12 = j + c*t - 5 for j.
5
Let f(y) = -618*y + 6192. Let m be f(10). Solve -p + 3 = 4*s, -3*s - 16*p = -12*p - m for s.
0
Let z(d) = 4*d + 12. Let f(q) = q**3 - 21*q**2 + q - 18. Let u be f(21). Suppose u*m + 6 = -0*m. Let r be z(m). Solve -2*b + 9 = 1, r*b - 20 = 4*w for w.
-1
Suppose 44428 + 9734 = 9*j. Suppose 18*k = k - j. Let l be k/(-15) + -1 + 6/15. Solve 2*p + 2*p - 3*h + l = 0, -2*p + 5*h = 15 for p.
-5
Let x = -519 - -522. Solve h = -h + x*n + 6, h = -5*n + 3 for h.
3
Let o = -399 - -448. Let m = o + -44. Solve p + 3*a = -5 - 4, 0 = m*p + 5*a + 25 for p.
-3
Let h be 348/12 + (-2 - 3). Suppose -20*x - h + 64 = 0. Solve 0*b + 9 = 4*b + 5*d, 0 = 2*b + 2*d - x for b.
-4
Suppose -28 = -5*u - 3*v, 5 = 2*v + 3*v. Suppose 4*q + q = -u*o, 3*q = 5*o. Solve 8 = 2*x - q, 4*s + 16 = 2*x for s.
-2
Suppose b + 3*x - 19 = 0, 2*b + 4 - 2 = 4*x. Solve -3*v - 4*h - b = 0, v + 3 = -5*h - 14 for v.
3
Let b(h) = -h**2 + 91*h - 1650. Let d be b(25). Solve d = -3*n + 3*z + 6, -9*z + 5*z = -2*n + 4 for n.
2
Suppose -487*p + 27 = -478*p. Let a be (4 - 1) + 0/(-5). Solve 5*c - 4 = -a*v - 3, -p*v = 4*c + 1 for c.
2
Let w = 7 - 3. Suppose -8*g = -28*g - 5340. Let u = g + 281. Solve -4*o = -3*v + u, 2*o - 5 = w*v - 17 for o.
-2
Let i(j) = 2*j**2 - 21*j + 3. Let h be i(-7). Suppose 2*n - h = 3*w - 0*w, -252 = -2*n + w. Let z = n - 114. Solve 4*g + 3 = -3*d + 17, 3*g + d = z for g.
5
Suppose 1110 = 12*d + 1086. Solve -m = 3*j + d, -4*j + 0 = m + 2 for m.
-2
Let m be 1/(3/(-2))*(-144)/32. Suppose r + m = 8. Solve 14 = -4*x - z - 3, -4*x = 5*z + r for x.
-5
Let z = -30795 - -30800. Solve 0 = 5*m + 8*o - 3*o + 5, -5*m + 2*o = z for m.
-1
Let h be (37/(-3))/((-3)/(-9)). Let u = h - -37. Let l = -150 + 155. Solve c + 3 = -l*o, 4*o + u*c = -5*c + 6 for o.
-1
Let h(c) = 34*c**2 + 17*c - 9. Let b(p) = -12*p**2 - 6*p + 3. Let z(g) = 11*b(g) + 4*h(g). Let u be z(-2). Solve -5*k = 5*i - 35, 3*k + 0*i + u = 3*i for k.
2
Suppose 1 = 20*i - 18*i - t, -2*i + 19 = 5*t. Solve i*v + u + 2 = 9, 5*u = v - 9 for v.
4
Suppose 2*t = -0*k - 2*k - 2, t - k + 7 = 0. Let x be t + -1 + 5/1. Solve -11 = 4*r - l, -2*l = 3*r - x*l for r.
-2
Let n be (5 - 6)*(1 - 4). Suppose -q - 9 = -3*x, -2*q - 3*q = n*x - 27. Suppose 79*a = 78*a + 5. Solve -a*v = g - 4 - 3, q*v - 5 = -g for v.
1
Let l = 414 + -410. Solve 0 = -l*v - 4*f, -v - f - 20 = -5*f for v.
-4
Suppose 4*o - 88 = 12. Suppose -4*k - 3 = 2*s - o, -k - 8 = -4*s. Suppose 2*f + s = 17. Solve -5*l + 3*p = -8, f*p - 2*p + 10 = 5*l for l.
1
Let x(y) = -y**2 - 239*y - 4572. Let n be x(-21). Solve 2*u + n = -4, -19 = 2*a + 5*u for a.
3
Let q = -52 - -50. Let b be (5*q/14)/(2/(-14)). Solve 0 = 6*w - 3*w + 3*i - 24, 0 = 2*w + b*i - 31 for w.
3
Suppose 101 = 20*j + 1. Let f be 10/2*(-8)/(-10). Suppose 2*o = -f*h - 0*o + 56, -h + 23 = j*o. Solve 4*y = -z + 6, -3*y + 0*y - 5*z + h = 0 for y.
1
Let j be 1078/374 - 2/(-17). Solve 3*u - 12 = 3*m, -j = 3*u - 2*m - 16 for u.
5
Suppose 0 = 110*v + 8*v - 1888. Let d(y) = y + 1. Let m be d(5). Solve -4*l = 2*q - m, -4 = 3*l - v for q.
-5
Let p be (12/9)/((-1)/(-54)). Let t = p + -48. Let j = t - 16. Solve -9 = 5*k + y, -j = 4*k + y - 1 for k.
-2
Suppose 42*w - 13*w - 305 = 72. Solve -30 = -2*v - 3*u - w, -2*v + 12 = -2*u for v.
7
Suppose -5*q + 17 = -g, 2*q + 1 - 11 = 2*g. Let p(j) = -j**2 + 5069*j + 204363. Let k be p(-40). Solve q*y - 3 + 0 = 5*o, 0 = -y - k*o + 1 for y.
1
Suppose 4*o = o + 27. Suppose -4344 - 4619 = -334*r - 613. Solve 0 = 5*g + l - r, -5*l + o = 3*g - 7*g for g.
4
Let s be (-9 - 1)/(-2)*(-1232)/385. Let v be (39 + (-2)/2)/2. Let b = s + v. Solve -3*k + 1 + 1 = -5*a, -a = -b*k + 10 for a.
2
Let n(p) = 15*p**2 - 74*p - 3. Let b = -114 + 119. Let m be n(b). Solve 3*v - 9 = m*h, -v - v + 11 = -3*h for v.
1
Let q = -156 + 152. Let l be q*(-2)/(-76) + 177/57. Solve -l*u + 4*f = 19, -2*f + 1 = -f for u.
-5
Let v be 27/63*-7 + 7. Solve o + v = 2*i + 3*o, 5*o = 20 for i.
-2
Let s = -10 - -6. Let c be (-2 + (-1 - s))*1. Suppose -5*i = -5*n - 40, 5*i + 11*n - 12*n = 16. Solve -5*g = 5*l + i + 3, -c = g + 4*l for g.
-1
Suppose 0*q + 19*q + 5928 = 0. Let y = 317 + q. Solve 0 = -2*b - 4*k, 0*b - 4*k = y*b + 6 for b.
-2
Suppose -4*c = -6*c + 18. Let u be 5 - (6 - (-4 + c)). Solve -u*n + 6 = 2*g, g + 19 = -4*n + 4*g for n.
-1
Suppose 99 = -9*m - 261. Let g be 1/2 + (m/16 - -6). Solve 2*o = x - 3, 16 = -4*x - g*o - 8 for x.
-3
Let f be (1 - (-2 + 2)) + (-175)/25. Let w be ((-30)/(-9))/((-5)/f). Solve -3*b - 4*q + 16 = 0, -w*q + 16 = -0*b - 3*b for b.
0
Suppose 706*c - 33 = 673*c. Solve -t - 2 = -d + 1, -2*t + c = 5*d for t.
-2
Suppose 7*o - 2*o = m - 33, 12 = 2*m - o. Suppose -4*x - 5*d - 7 = 0, d + 3 = 2*x - 4. Solve 2*k = -r + x, 3*k - 4*r = 22 + m for k.
3
Let b(r) = -22*r - 153. Let u be 1/(-5 - -4) + (-2 - 5). Let a be b(u). Solve j + a = 5*d, -6 = -j - 4 for d.
5
Let h be (20/(-25))/4 + 1531/5. Let y = 17 - 6. Suppose y*v - h = 2*v. Solve -2*j = 2*p + 4, -5*p + 0*p - v = -3*j for p.
-5
Let p be -16*((-284)/355)/(2/5). Solve 4*u + 4*w = -p, -2*u + 0*w - 4*w = 24 for u.
-4
Let s be 1 + (8 + -4 - 6) + 3. Suppose -s*r = 2*r + 6*r. Solve -x + 4*j + j - 14 = r, -x - 2 = -j for x.
1
Let s(r) = -66*r - 2. Let y be s(-1). Suppose 0 = -26*a - 12 + y. Solve -2*x - q = 5, -a*x + q = -2 - 3 for x.
0
Let b(f) = f**3 + 15*f**2 + 36*f + 5. Let u be b(-3). Solve -r + 4 = 2*p, u*p + r - 2 = 11 for p.
3
Let w be 882/48 + -18 + 21/8. Solve 0 = f + w*t - 6 - 13, 5*f = -3*t + 35 for f.
4
Let c = 14 + -46. Let w be (-45)/((-8)/(c/(-6))). Let l = 34 - w. Solve -n - 5*i + l = 0, -4*n + 3*i = -i + 8 for n.
-1
Suppose o = 2 + 10. Suppose -5*q + 4*p = -40, -4*q = -p - o - 9. Let a be ((-7)/((-14)/(-80)))/(-2). Solve -x = -q*x + 3*s + 15, 0 = 4*s + a for x.
0
Let h = 787 - 1291. Let k = h - -504. Solve k*c - 37 = 5*c + 4*q, -q = 3 for c.
-5
Suppose 0 = -5*y + 4 + 6. Suppose 0 = 5*f + s + 1, -3 = s + 2*s. Let q = 3 - f. Solve 0 = -y*u - q*o + 12, u - 4*o + 2 = -u for u.
3
Suppose 0 = -2*r - 3*m - 3 - 1, 5*m + 6 = -4*r. Let o be -12*(1 + r)/(-6). Solve 2*u = 3*s - 16, -8 = -o*s + 4*u + 16 for s.
4
Let m(b) = -6*b + 10. Let p be m(-7). Let j = -28 + p. Let n(k) = 304*k - 605. Let r be n(2). Solve 0 = -r*a - 2*f - 7, -4*a - j = -0*f - f for a.
-5
Let k(z) = 2*z + 7 + 5 - 6. Let f be k(-3). Suppose f