 -3*g + 2, -o = g + i*p for g.
2
Let t be ((-14)/4 + (-14)/28)/(56/(-98)). Solve 4*p + t = 3*h + 3, 0 = 5*h + 4*p + 4 for h.
0
Suppose 3*q = 3*x + 3 - 21, -5*x + 22 = -3*q. Suppose a + x = 6. Let u be (-7)/(21/6) + a/2. Solve -2*b - r - 9 = u, 3*b + 0*b + 16 = r for b.
-5
Let p = 11 + -8. Suppose -75 = a - 4*x, 0 = a + 2*x - p*x + 63. Let u = 63 + a. Solve -u*g - g - 31 = -2*v, 2*v - g - 11 = 0 for v.
3
Let r = -175 + 176. Let a = -119 + 123. Solve -p - 3 = 2*x, -4*p + 3*p - r = a*x for p.
-5
Let b be ((5/(-10))/(-1))/(3/10404). Let g be (b/(-12))/(-17)*(-2)/(-1). Solve -g = 3*u - x, -3*u + 7*u - 2*x = -24 for u.
-5
Let s(i) = 13*i**2 - 20*i + 47*i - 12*i**2 - 37 - 24*i. Let l be s(-8). Solve 0 = 5*v - l*t - 15, -2*v + 4*v + 15 = -3*t for v.
0
Let v be -187 - -2 - -6 - -1. Let u = v + 178. Solve -2*g + 4*k + 14 = u, -g = -5*k - 10 - 9 for g.
-1
Let k = 5126 - 5121. Solve -k*a - 31 = 3*u, -9*u + 5*u + 5*a + 17 = 0 for u.
-2
Let j = 707 + -722. Let v be (96/(-80))/(9/j). Solve -v*r + 6 - 18 = 5*k, -5*r + 16 = k for k.
-4
Let x be 6/((-884)/(-1700) - (-2)/25). Solve -k + 43 - 50 = -p, -x = k - 2*p for k.
-4
Suppose -4*r = 4*i - 48, 73 = 2*i + 185*r - 190*r. Solve 4*g - 5 = -w, -16*g = -i*g for w.
5
Suppose 14*d - 1873 = 395. Let f = -149 + d. Solve 0 = t - 5*o - f, -3*t + 21 = -5*o + 2 for t.
3
Suppose 11*x = 2*x - 1152. Let y = x + 132. Suppose -3*l - 14 = 5*j, -4*j - y - 8 = 2*l. Solve -1 = s + 2*i - 0, -l*i + 9 = -s for s.
-5
Let f = 8 + -5. Suppose -5 = 5*x, 2*j - 37 + 0 = f*x. Let r(s) = -s + 20. Let h be r(j). Solve -5*g + 5 = -h*l + 29, 4*l - 2*g = 18 for l.
3
Let g = 543 + -539. Solve -3*y = -z - 6, -5*y + 2*z + 5 + g = 0 for y.
3
Suppose 4*i + 4*p = -0*p - 464, -5*p - 235 = 2*i. Let x = 115 + i. Solve -3*y + 12 = 3*g, -g = -x*g - 2*y + 11 for g.
-1
Let n(i) = i - 6. Let k be n(10). Suppose -6*m + 64 = 40. Suppose -k*w = m*j - 12, 0 = -2*w + w + j + 5. Solve 0 = -0*v + w*v, 2*c + 8 = -2*v for c.
-4
Suppose 14*h - 1291 + 283 = 0. Let y = -110 + h. Let i = y - -42. Solve -5*d - 3*g = -16, 5*d - 4*g = -2 + i for d.
2
Suppose -9*c = 5*c - 4*c. Suppose c*f = 2*n + 5*f + 8, 2*n = -2*f + 4. Solve 2*p + 2*s + n = 0, 2*s = -2*s + 8 for p.
-5
Let v be 2 + (1/1 - 0). Suppose -7 = 3*l - 13. Suppose 2*i = -l*i - i. Solve -3*j = i, -3*o + 3 = -v*j - j for o.
1
Let y(a) = 3*a**2 - 58*a - 249. Let w be y(23). Solve -w*x = -5*m, 5*m - 2*m - 37 = -5*x for m.
4
Let i(v) = -669*v - 1980. Let u be i(-3). Solve -x - u + 2 = 5*z, 0 = -4*z + 5*x + 9 for z.
-4
Let l be (1 - 21/14)/(2/(-284)). Solve 0 = 4*t - 3*g - 97 + l, -3*g = t + 1 for t.
5
Let c = 51 - 27. Let j be (-30)/(-9) - 32/c. Suppose 4*t - 16 - 5 = -i, -4*t - j*i + 22 = 0. Solve 5*d + 5*v = 30, 0 = -t*d - 2*v + 13 + 5 for d.
2
Let v be 9/198 + 910/308. Suppose 0 = -l - l + 2. Solve m - 8 = 3*q - l, v*m = -3*q - 15 for q.
-3
Let q(c) = c**3 - 23*c**2 - 26*c + 60. Let v be q(24). Suppose 2 = -5*w + v. Solve -4*l - 2 = -w*t, 0 = -0*l + 5*l - 5 for t.
3
Suppose 41*f - 160 = f. Solve f*t = -3*y + 17, 8*t - 3*t = 2*y + 27 for y.
-1
Suppose 0 = 12*r - 100 - 224. Suppose 2*o - 5*o + r = 3*u, 4*u + 2*o = 28. Suppose 7*p - 66 = -45. Solve -u*w + 2*b = 20, p*b - 6*b = -2*w - 8 for w.
-4
Let b(m) = 640*m - 12785. Let l be b(20). Suppose 5*d - 1 - 14 = 0. Solve -r - l = 3*o, -4*r - 6 = d*o + 9 for o.
-5
Suppose -12 = -x - 2*x. Let n = 1413791 - 1413779. Solve -2*c = -x*t + n, -t - 3*c + 27 = 2*t for t.
5
Suppose -5*k + 2*q = -16, 0 = -k + q - 10 + 9. Solve -9*z - 5 = 4*s - k*z, -2*z + 30 = -4*s for s.
-5
Suppose 6*m - 3*m - 6 = 0. Let j be 12/8*(-8)/6. Let f be 3 + (j - (-1 - 2)). Solve 0 = f*k - m*n + 4*n, -2*k - 6 = -2*n for k.
-1
Let v = -5704 - -5728. Solve 5*a = 4*i + 20, v*i = 20*i for a.
4
Let j be 6 + -387 + -1*(-3 + 5). Let v = 392 + j. Solve 0*a + 3*a + 12 = 0, a = u - v for u.
5
Suppose -17*f + 21 = -30. Suppose -5*w - 25 = -5, -4*z - f*w = -8. Solve -z*o + 4*n = 13, 5*o - 3*o = 3*n - 8 for o.
-1
Let y(n) = -n**2 - 11*n + 1. Suppose -11 + 2 = m. Let v be y(m). Solve -4*a = 5*r + 22, 0*r = -5*a - 2*r - v for a.
-3
Let g = -4117 - -4119. Solve -5*m + l = -15, 0 = m + m + g*l + 6 for m.
2
Suppose -80*r + 58 = -182. Solve 2*v + r*w = -9 + 2, -4*v - w = 9 for v.
-2
Let u = 3471 + -3467. Solve -2*v + 4 = 3*h, 29*h - 28*h = 2*v + u for v.
-1
Let x be (16/10 - 1)/(20/100). Suppose 0*n + 57 = -x*n. Let q(h) = h**2 + 17*h - 36. Let f be q(n). Solve 3*u + 3 + 0 = -2*p, 0 = 2*p + f*u + 4 for p.
-3
Let c be ((-24)/(-9))/(-4)*-6. Let g be ((-27)/(-45))/((16/20)/c). Solve k - g*q = -6, -3*k + 2*q + 2*q - 13 = 0 for k.
-3
Let k be 0/(90/30*6/9). Let z(q) = -5*q - 1. Let i be z(-2). Suppose -4*w = -21 + i. Solve -5 = w*a + 2*h, k*a + a - 2*h = 9 for a.
1
Let u be 285/55 - (-34)/(-187). Let j = 4 + -1. Solve u*q + j*f - 2 = -0*f, 14 = -5*q + f for q.
-2
Let b be (560/12)/(-14)*3. Let h be (-36)/b + (-2)/(-5). Solve -3*a - 1 = 3*q - h, -2*a + 4*q = -20 for a.
4
Suppose 97*g - 22 = 278 - 9. Solve l - g = -3*i + 7, -12 = -4*l + 2*i for l.
4
Suppose -68 = -q - 23. Let k(v) = 3*v**2 + 63*v + 162. Let r be k(-17). Let c = r + q. Solve -3*d - 2*l = -c*l + 10, 4*d + 14 = 2*l for d.
-3
Let k(y) = -15*y - 9 - 2*y**2 - 21*y - 22*y + 44*y. Let u be k(-5). Suppose -a = c - u, -c + 3 = -3*a + 4. Solve -b + c = -3*i, -4*i + 3 = 5*b + 20 for i.
-3
Suppose -3*g = -2*s + 8, -3*g - 141*s + 34 = -137*s. Let n be 0 + (-10)/(1 - 3). Suppose n*j + 3 = 13. Solve 5*h - 11 = -g*f, 5*h - 4 + j = f for f.
3
Let x = 814 + -808. Let f be (20/x)/((-5)/(-30)*1). Solve 5*i + 17 = 2*g + 52, 2*i - 2*g = f for i.
5
Suppose 5*r = 2*w + 12, -3*r + 5*w = -r - 9. Let j = -26 + 47. Suppose 0 = 3*a - 3*t - j, -5*a + 12 = 4*t + 4. Solve m = 1 + 3, -r*f - 3*m + a = 0 for f.
-4
Suppose -15*w - 12*w - 867 = -1245. Solve -3*x + 14 = 2*u, -19*u = -w*u - 3*x - 14 for u.
4
Suppose -3*o - 2*o + 93 = -c, 2*o = -2*c - 186. Suppose 90*u - 72*u = 1710. Let h = u + c. Solve -2*q - 2*k - h = -14, -4*q = 2*k - 18 for q.
3
Let o(a) = 2*a - 12. Suppose -12*h = -111 + 39. Let s be o(h). Solve -2*t - 10 = -3*k - k, 4*k + 3*t + 15 = s for k.
0
Let q(j) = -j**3 + 2*j**2 + 3. Let m be q(0). Suppose 2*t - 16 = 2*i + i, m*i + 6 = 0. Solve 3*o + 2*o + 7 = -4*b, -5*o - 25 = -t*b for o.
-3
Let x(q) = -q**3 + 5*q**2 + 2. Let l = 28 - 23. Let u be x(l). Suppose -s - 2*s = u*j - 1, s - 15 = 3*j. Solve -3*r - 19 + 4 = 3*b, b + 5 = -s*r for b.
-5
Let p(d) = -d**3 + 20*d**2 - 29*d + 196. Let f be p(19). Solve 2*c + 3*v = -7, -v - f = -97*c + 94*c for c.
1
Suppose 155*c + 18*c - 1038 = 0. Solve 3*w - c = 4*m, -5*m + 68*w - 72*w - 23 = 0 for m.
-3
Let w(f) = f - 3. Suppose 26 = 4*q - 3*p, 2*q - 2*p - 10 = 2. Let d be w(q). Let a be (-60)/(-80) + 26/8. Solve 0 = 5*i - i + 4, a = -t - d*i for t.
1
Suppose -135 = -38*y + 108 + 175. Solve r = 4*x - 13, -37*x = -3*r - 32*x - y for r.
3
Suppose 21*v = 13*v. Suppose 4*z = 3*g + 2*g + 41, 2*z + 4*g + 12 = v. Solve r - z*m - 23 = -4*r, 4*m = 3*r - 17 for r.
3
Let p be ((-5)/10 - -3)*2. Suppose a - 48 = -p*m - 8, 4*m - 48 = -4*a. Suppose -2*q = -m*q + 10. Solve o - q*z = z - 14, -4*z + 12 = 0 for o.
-5
Suppose -3*r = -22 - 65. Let v = -29 + r. Solve -4*x - 2*p + 14 - 4 = 0, v = -x + 2*p + 10 for x.
4
Let n = 247 + -235. Let x = 8 - 16. Let m = 11 + x. Solve m*y + o - 2 = 2*y, 0 = y + 3*o - n for y.
-3
Let d(s) = -3*s + 12. Let q be d(9). Let j(i) = -2*i + 2. Let c be j(-12). Let z = q + c. Solve 0 = -4*v - 2*k + z - 1, -5*v = -4*k + 7 for v.
1
Suppose 215 - 47 = 13*n - n. Solve -2*o = 4, 2*x - o - n = o for x.
5
Let f be 198/77 + (-3)/(-7). Suppose 0 = -f*h - 2*g + 14, -55*g + 24 = 2*h - 50*g. Solve 4*t - 22 = 5*v, 3*t + 0*v = h*v + 13 for t.
3
Suppose -3*s + a = 17 - 4, -4*s - 4*a = -4. Let j be 8 + (-2 - s) + -4. Solve 0 = -4*g - j*r - 35, -4*g + 2*r - 8 = -2*r for g.
-5
Let w be (3 + 0)*-1 + 6. Let h = w + -7. Let q be (-7 + 4)/(6/h)*4. Solve 0 = 3*j - 3*y - 6, 0*y - q = -4*y for j.
4
Let k = 15 - 11. Suppose h - 21 = k*h. Let t be (-17)/15 - 8/(-60) - h. Solve 5 = -q + 3*o - t, q - 7 = -3*o for q.
-2
Let h(p) = -2*p + 26. Let x = -70 + 75. Suppose -x*o + 60 = -0*o. Let k be h(o). Solve 5*c + 32 = c + 4*w, c + 11 = k*w for c.
-5
Let z = 12098 + -12084. Solve -5 = -2*r + 3*j - 14, -4*r + 2*j - z = 0 for r.
-3
Let m = -4284 - -4308. Solve 0 = 3*u, 3*k