, q = -2*q - o + 8 for q.
3
Suppose -17692*p - 168 = -17713*p. Solve -p = 4*y + 3*b, 2*y + y - 2*b + 23 = 0 for y.
-5
Let o = 6 - 3. Let u be 3*(0 + 1)*(-22)/(-22). Suppose -4*k + u*c - 6*c + 12 = 0, 0 = -4*c. Solve 2*y = -o*p + 15, p + 10 = k*p + 2*y for p.
5
Let m = 7 - -2. Let d be (-133)/(-42) + (-1363)/(-282) + (-8)/2. Solve -m = -4*l + 3, 14 = d*h - 2*l for h.
5
Let t = -967 - -978. Suppose 0*f + 30 = 2*f. Suppose -t*c = -f*c. Solve c = 5*n + 3*p, 0 = -3*n + 6*n + p for n.
0
Let k(t) = 148*t + 890. Let q be k(-6). Let x = -1 - -3. Solve q*p = -0*p + r + 2, -x*r = 4 for p.
0
Suppose -3*m + 21 = 3*h, -m + 5*h = 134 - 99. Solve -2*i - 4*n + 6 = m, -2*i = -n + 64 - 50 for i.
-5
Suppose -91*m = 31*m - 610. Solve 2*x = q + 12, -31 = -q - m*x - 8 for q.
-2
Suppose 0*x - 4*j = -x + 7, 0 = -5*j - 5. Let p(q) = -q**2 - 10*q - 7. Let h be p(-9). Suppose 11*o - h*o = 0. Solve r = 3*r + 4*k, o = x*r + 4*k + 4 for r.
-4
Suppose 0*x + 40 = 4*x. Let f be 11/(-55) + ((-114)/x)/3. Let h be f*(-3)/15*5/2. Solve d = h*l - 11, d + 23 = 3*d + 5*l for d.
-1
Let h be 0 + (-8)/40 + (-191)/(-5). Let g = h - 54. Let p be g/20 + (-76)/(-20). Solve -35 = -p*y - 4*f, -3*y + f = -0*f - 10 for y.
5
Let n = -13086 - -13097. Solve -5*r - 21 = -9*b + n*b, -15 = r + 4*b for r.
-3
Let l = -53 - -63. Suppose 46 = 5*v - 3*k, 2*v - l*k = -8*k + 16. Solve -13 = -s + 5*x, -3*s - 2*x + 3*x = -v for s.
3
Suppose -46 - 54 = -10*p. Suppose -y - p = 58. Let w = -64 - y. Solve 2*g - 2 = -w*r, -2*r = -5*g - 10 - 9 for g.
-3
Let o = -614 + 624. Suppose 0 = -2*j - 8*j + o. Solve -2*k + 4 = -4*r, 4*k + j = -2*r - 1 for r.
-1
Let o be (-1 - 3) + (2 - (-2 + 0)). Suppose 0 = -2*j + 2*m + 22, o = 3*j + 5*m - 66 + 9. Solve -2*a - 4*u + 18 = 0, a = 3*a - 4*u + j for a.
1
Let o be 5/(1 - 2 - -2). Suppose 9 = 3*p + o*d - d, 3*p - 9 = d. Let a(q) = -6*q**2 - 14*q + 24. Let k be a(1). Solve 0 = p*v + k*h, 2*v - h = -6*h for v.
0
Suppose 23 = -n + 34. Suppose 0 = n*l - 7*l - 8. Solve 2*b = -2*f + 7*f - 11, l*b = -4*f + 16 for b.
2
Suppose -2*s + 2*b = 10, 20 = -s - 2*s - 2*b. Let y be ((-4)/(-11))/(448/(-77) - s). Solve -5*d + 2*i + y = 4*i, 2*d = -2*i + 2 for d.
0
Let q be 20/6*(-15)/(-10). Suppose -27 + 117 = q*l. Suppose -18 = -l*f + 15*f. Solve a - f = 5*t, -5*t - 4*a + 9 = 35 for t.
-2
Suppose -4*r = 20, 6 = -5*l - 5*r - 9. Suppose -5*a - 142 = -i - l*a, -3*i + 2*a = -391. Let o = i + -124. Solve -4*j + o*b = 7*b - 8, 16 = 4*j - 4*b for j.
3
Suppose 3 = 3*k - 9. Let t be (-6)/2*(-3 + 14/6). Suppose -3*z - 3*d + 15 = 0, 3*z + 4 = 2*z + t*d. Solve -3*l - 4 = -z*v + 3, k*l + 13 = -v for l.
-3
Let i be (20/(-100))/(1 - (-52)/(-50)). Solve 4*k + p = 24, -i*k = -10*k - 3*p + 37 for k.
5
Let t = -188 + 190. Solve 0 = 3*q + 2*y + 7, 4*q + 11 - t = -3*y for q.
-3
Suppose -75*b + 144 + 81 = 0. Solve 6*d = -4*u + 5*d - 3, -7 = 4*u - b*d for u.
-1
Let d(k) = -7*k + 16. Let l = -323 - -325. Let f be d(l). Solve -3*z = -3*r - r - 4, 12 = -5*z + f*r for z.
-4
Suppose x - 51 = -5*t - 0*t, 0 = 2*t - 2*x - 18. Suppose -3*q + r + 4 = 0, -13*r - 12 = -t*r. Solve q = 4*s - s - g - 3, -5*g - 15 = s for s.
0
Let k = -53 + 55. Suppose k*f - 2 = f. Suppose 5*z - 30 = 3*z + u, f*u = 2*z - 28. Solve -3*a - z = -5*i, 0*a = 3*i + 4*a + 2 for i.
2
Suppose 0 = 2*l + 107 + 305. Let g = l - -211. Solve -2*i - 5*p + 3*p = 6, 2*p = -3*i - g for i.
1
Let j(a) = -37*a - 361. Let p be j(-18). Suppose 0 = -p*g + 302*g + 12. Solve y + 3*s = 0, 4 = -g*s + 8*s for y.
-3
Let p = -219 - -223. Let q(o) = 5 - 3*o - 4 + 4*o + o**3 - 4*o. Let d be q(2). Solve -d*j - 16 = -7*j, -p*g + 2*j - 12 = 0 for g.
-1
Let w(q) = -q**2 - 45*q + 1334. Let m be w(20). Solve 6*c = 3*y + 2*c - m, 0 = 2*c + 8 for y.
6
Let g be (4/(-8))/(13/(-104)). Suppose h - 4*c + 20 = 0, 0 = -h - 0*h - c + 5. Solve 0 = -5*n + 3*j, g*j = -h*n - 2*n for n.
0
Suppose 10*s - 18*s = -80. Suppose -d - 2*w + 11 = 0, 2*d - 6*w + 7*w - s = 0. Solve 0*q + 18 = 2*r + 4*q, d*r + 4*q = 21 for r.
3
Let g be (9/(-45))/(11/(-55)). Suppose -4*v - 3*f = -16, 2*v + 3*v + 2*f - 20 = 0. Let u = g + v. Solve -2*o - u*x + 8 = 0, -3*o - 4*x = -7 - 5 for o.
4
Let y = 22 + -16. Suppose -1056*m + 1045*m + 176 = 0. Let i be (m/3 - -1)/(2/y). Solve -3*j - 4*d - i = 0, -2*j + 0*j = -d + 9 for j.
-5
Let t be (32949/35)/9 + (-2)/(-5). Let y = 137 - t. Let i = y + -32. Solve 0 = -2*h + j + 5, -h + 25 = -5*j - i*j for h.
0
Let c = -44 + 74. Let g be 93/5 + 12/c. Suppose -g*n = -14*n - 15. Solve -n*m + 15 = -5*j - 0*m, 4*j + 4*m = 20 for j.
0
Let i = 226 - 198. Let b be (60/i + -3)/(6/(-28)). Solve -h + 7 + 3 = 5*a, -b*h + 5*a - 10 = 0 for h.
0
Let z(o) = o**3 + 22*o**2 - 41*o + 171. Let w be z(-24). Solve 0 = 3*h - w*n - 12, -4*h + 3*n + 9 = -5 for h.
2
Let x be (-1)/(-5) + 94/5. Suppose 4*l - x = -3. Suppose -12 = 102*w - 108*w. Solve 28 = -3*a - w*a - 2*j, l*j = -2*a - 24 for a.
-4
Let k be (-8)/((-32)/20) + 3. Let y be (k/(-16))/(2/(-12)*1). Solve 3*c - 2*c - 2*u = -5, 5*c = -y*u + 1 for c.
-1
Suppose v + 2*u = -8, -u + 6 = -1228*v + 1231*v. Let y = -5 + 7. Solve 3*g + 6 = v*g - d, 4*d = y*g - 22 for g.
1
Let h = -10262 - -10267. Solve -h*r = 5*s - 5, 5*s = 5*r + 3 - 38 for s.
-3
Let u(x) = x**2 + 1. Let h(p) = -p**3 + 4*p**2 - 9*p + 51. Let y(j) = -h(j) - 3*u(j). Let t be y(7). Solve -t + 1 = -a + 5*o, 2*a - 10 = 4*o for a.
3
Let p be (4 + 848)/4 - -4. Let g be (-364)/(-124) - (-14)/p. Solve -g*s + m = -3, 0 = s + s - m - 3 for s.
0
Suppose -178*j + 161*j = -238. Solve -2*p + j = 5*s, -s = -5*p + 6*p - 4 for p.
2
Let d(f) = -102*f + 1943. Let j be d(19). Solve 4 = 4*u - j*l - 4, -2*l = 8 for u.
-3
Suppose -265 = -16*g + 935. Suppose -82*i = -g*i - 14. Solve 3*s = -5*x + 21, 0 = i*x - s - 2*s for x.
3
Suppose 0 = 31*a + 75 - 113 - 55. Solve -a + 8 = -u, -2*j = -4*u - 26 for j.
3
Suppose -135 = 8*w + 33. Let j = w - -21. Let a be j + -3 - 152/(-4). Solve -2*l - 3*l = -h + 30, -3*h + 4*l + a = 0 for h.
5
Suppose 49 = 4*l + 2*o - 45, 0 = 3*l - 2*o - 60. Solve -l*p + 18*p + x - 13 = 0, 0 = -p + x - 4 for p.
-3
Suppose -3 = 2*l + 1, 4*n - 16 = 2*l. Let o(p) = 8*p + 11. Let j be o(-1). Let y be 14/(j*(-18)/(-81)). Solve 3*f + y = n*a, -3*a - 2*f + f + 1 = 0 for a.
2
Suppose 0 = 5*j + 10, 2*r - 2*j - j = 96. Let b = r - 36. Solve 5*v + 45 = 5*m, -2*m = -5*v - 42 + b for m.
4
Let g(i) = -2*i - 24. Let b be g(-12). Suppose 3*c - 14*c + 231 = b. Suppose l - 3*z = 4*l - c, 3 = -3*l + 5*z. Solve 5*t + 7 = -l*d, -d + t = -0*t + 4 for d.
-3
Let t(g) = -g**2 - 56*g + 665. Let m be t(10). Suppose 3*q + 2 = 5. Suppose 3*d = 7 - q. Solve -m*c + r = 19, -d*c - 3 = -2*r - 3*r for c.
-4
Let v = 70 - 137. Suppose -18*f + 3*t - 186 = -15*f, -62 = f + 2*t. Let w = f - v. Solve 5*m - h - w = 0, -5*h - 4 = -5*m + m for m.
1
Suppose 183 = -6*w + 195. Solve -4*s + 2*s + w*i = -4, 0 = i + 3 for s.
-1
Let u(z) = -180*z - 1416. Let x be u(-8). Solve 21*t + 7 = x*t - 5*p, 4*p - 16 = -3*t for t.
4
Suppose 17 = -28*a + 101. Let z(t) = -t - 8. Let w be z(-13). Solve -f - 2*x + 3 = 0, a*f = w*f - 2*x for f.
1
Let s be 11/3 - 2/3. Let c(o) be the first derivative of -2*o**2 - 28*o + 59. Let l be c(-8). Solve 2*r + l*h + s = -3*r, 0 = 4*r - 3*h - 10 for r.
1
Let x be 11 - (-5)/10*2*-5. Let b(m) = m + 23 + 3 - 16. Let k be b(-5). Solve 4*v - 2*o = -x*o - 16, -5*o = -k*v + 20 for v.
0
Let x be -1 + 1 + -6 + (-3 - -8). Let p be (1/(-4))/(0 + x/12). Solve -5*s - 7 = r, 0*s = -r - s - p for r.
-2
Suppose -4*a - 3*g = -2*a - 16, -3*g + 18 = 3*a. Suppose 4*d - a*c = 40, 5*d + 2*c = 61 - 11. Solve 4*t = -3*q + 5*q + 4, 5*q + d = -4*t for q.
-2
Let f = 2333 - 2317. Solve -5*a - 5 = f*r - 12*r, -2*a = -r - 11 for r.
-5
Let w = -232 + 95. Let c = -125 - w. Solve 0*f - 10 = -3*f + q, 2*q = -2*f + c for f.
4
Let z = -5553 + 5557. Solve -z*c = -o - 17, 71*c = 66*c + 5*o + 10 for c.
5
Let c be (7 + 2)*8/(-48)*-2. Solve c*j = -3*h + 12, 5*h = -4*j + 7 + 9 for h.
0
Let v be 6 + (-1 - -3 - (1 + (2 - 0))). Solve -4*o - 12*m = -13*m + 21, -3*o - 33 = v*m for o.
-6
Suppose 4*x = -2*u + 46, -422*x + 423*x - 29 = -4*u. Solve 35*n - 32*n + x = 3*q, 2*q = n + 7 for q.
4
Let k be (-574)/2 + (4 + -5 - -2). Let r = k - -290. Solve -r*c + 13 = 5*i, -2*i + c = -i - 8 for i.
5
Suppose 8 = 3*f - 7. Suppose -3*g + f = -2*g. Let o(k) = k - 3. Let w be o(g). Solve c + w