2 for g.
1
Let i(n) = -2*n**2 + 24*n - 62. Let y be i(8). Solve 13*q - 15*q + 2 = -y*l, -4*q + 3*l = -2 for q.
-1
Suppose 0 = 4*a - 73*a + 69. Solve -3*u + 30*s + a = 29*s, -3*u - 3 = 3*s for u.
0
Suppose 364 = 18*b - 4*b. Let k(t) = -t**2 + 13*t + 35. Suppose -47*o = -48*o + 15. Let g be k(o). Solve -3*j + 2*m + 14 = 4*m, g*m = -3*j + b for j.
2
Let f be (-47)/47*(-3 + 2 + -2). Solve 2*x = p + f, -p - 12 = -42*x + 37*x for p.
3
Suppose 2758 = 132*j + 1570. Solve 4*r + 46 - 49 = -l, -3*l + j = r for r.
0
Suppose -302 = 13*b - 328. Solve 2*n = -y - 7 + 8, -b*y = -n - 12 for n.
-2
Let j(d) = -19*d + 183. Let r be j(-22). Let t = r + -601. Solve t = -y - 3*b - 1, 2*y - 6*y + 4*b - 4 = 0 for y.
-1
Let c = -101398 + 101410. Let s(o) = o. Let j(q) = 3*q**2 - 3. Let z(a) = j(a) - 4*s(a). Let g be z(-2). Solve 3*f = -2*w + g, -3 = 5*w - 4*f + c for w.
1
Let l = 8235 + -8235. Solve -5*i + 5*w = 5, l = -i + 2*w - 27 + 21 for i.
4
Let c(d) = -2*d**3 - 21*d**2 + 33*d + 36. Let k be c(-12). Solve -5*q + 15 = -4*m, -75*q = -k*q + 2*m + 13 for q.
-1
Let q = 10973 - 10969. Solve -c = -2*x - 6, 11*c - 8*c + q*x - 8 = 0 for c.
4
Let o = 1010 - 1010. Suppose 2*q = h + 18, -5*q + 26 = h - 12. Let v = q + -6. Solve -2*c + 2*s = -o*c + 8, v*s + 1 = -c for c.
-3
Let i(k) = -k**2 - 91*k + 129. Let o be i(-93). Suppose 252 = -5*u + 2*g, 3*u + 2*u = -3*g - 272. Let d = u - o. Solve 5*z = d*v - 25, 0*v + 4*v - 14 = z for v.
3
Let w be 4/2 + 9 - 2. Let d(g) = -709*g + 4256. Let z be d(6). Solve -3*a = w, -y + 27 = z*y - 5*a for y.
4
Suppose 3*m = 4*l + 45, -7*m + 9*m - 4*l = 34. Suppose -5*x + 17 - m = n, 12 = 4*x - n. Solve x*y - 3*k + 21 = 0, -3*k = 3*y + k - 11 for y.
-3
Let r be (-22)/3*6/(-4). Suppose 0 = 3*w - 4*v + r, -2*w + 14 = -v + 13. Solve w*t + 0*t + 18 = 2*u, 5*u = -5*t - 5 for u.
3
Suppose d + 10*d - 440 = 0. Let h be (-32)/d + 72/15. Let c = 46 - 33. Solve -4*x = 3*b - 11, -5*b = h*x - 0*x - c for b.
1
Let c be (-1)/3 - (-26)/6. Let w(f) = -2*f**2 - 9*f + 6. Suppose -14 = 2*b - 4*r, 4*r + 6 = -b - b. Let v be w(b). Solve u - 2 = -v, x = -c*u + 4 for x.
0
Suppose 0 = z - 2 - 9. Suppose -6 + 3 = -j. Suppose 6*v - j = 15. Solve -4*q - z - 4 = w, -v*w - 5*q = 17 for w.
1
Let x = 2104 - 2098. Solve 9 = 3*b - 2*s, -x + 0 = 3*b + 3*s for b.
1
Let w(n) = n**3 - 4*n**2 - 9*n + 12. Let d be w(5). Let f be ((-4)/(-14))/(d*1/(-112)). Solve -41 = 5*h - f*l, 2*l - 3 + 0 = -h for h.
-5
Let p be (-4)/(-6) - (-399)/9. Let c be (-1)/(-3)*p/3. Let q be (-15)/(-60)*(-10 + 6/21*49). Solve -i + q = -c*m + 6, -m - i = -1 for m.
1
Let i be 2 - (0 + 8 + -136). Suppose -i - 52 = -13*t. Solve -y + 2*y + t = -3*b, 29 = 4*y - 5*b for y.
1
Suppose 4*a = 71 + 1. Let k(p) = p**3 + 62*p**2 + 477*p + 4. Let h be k(-53). Solve 4*l = q + 14, 0 = -q - 0*q - h*l + a for q.
2
Let f(d) = -770*d - 13856. Let p be f(-18). Solve -4*i - 2 = 2*z, 31*z - 30*z = -p*i - 7 for z.
5
Let t(r) = -69*r - 8. Let x be t(-5). Let j = -337 + x. Let k = 14 - 6. Solve -4*o + 3*l + 35 = 0, o - k*l + 3*l - 30 = j for o.
5
Suppose 5*h - 241 = -6. Let o = 52 - h. Solve 5*l = -3*c, -4*c - o*l = -6*c for c.
0
Let v = -6 - -10. Suppose 936 = -4*p + 4*x + 996, -2*p = 3*x - 20. Solve 3*s + 4 = v*u - s, -u + 4*s = -p for u.
-3
Let j = 2095 + -2081. Solve 20 = 3*g + 2*z, 5*g + 12*z - j*z = 12 for g.
4
Suppose 5*q = 2*n - 75 + 10, 3*n - 4*q - 94 = 0. Suppose -n*m = -32*m + 12. Solve 2*s - i + m = i, -i - 1 = s for s.
-2
Suppose 23 = 9*y - 4. Suppose -5*x + 4 + 20 = -v, -5*v = 2*x + 12. Suppose x*w = -k - 1, 5*w - 1 = -k - 3. Solve u - k*q = 3*u - 7, -y*u + 9 = 3*q for u.
2
Suppose -7 + 14 = 3*f + 2*z, 5*f = -3*z + 12. Solve -f*k + 15 = -5*i + 10*i, 3 = i for k.
0
Suppose 290 = 11*p + 183 - 102. Solve 2*s = -q + 8, -16*q + p*q + s = 14 for q.
4
Let u be (-2 + 1)*((-18)/(-27) - 42/9). Solve 0 = 3*n - 3*t, -3*n + 3*t = -u*n - 4 for n.
-1
Let f be 540/(-120)*16/(-18). Solve -h + 17 = f*u, 25 = 4*u + u + 2*h for u.
3
Suppose 0 = -14*m + 15*m - 569. Let g = -569 + m. Solve -s - 13 = -2*x - g*s, -5*x + 3*s = -34 for x.
5
Let t = -1977 + 1982. Solve 0 = t*s - 2*g + 6*g - 36, 2*s - 4*g = -8 for s.
4
Let f = -83 - -77. Let u(g) = g**2 + 6*g + 2. Let k be u(f). Solve x + 2 = -4*b - 2, 0 = -k*b + 4*x - 20 for b.
-2
Suppose -j = j - 6. Let g(p) = -925*p + 1853. Let b be g(2). Solve -3*s = -j*l - 3, 31 = -4*l + 8*l + b*s for l.
4
Let c = -1625 + 1629. Solve 5*k - 9 = -0*v + v, -c*v - k - 15 = 0 for v.
-4
Suppose 1252*c + 50 = 1277*c. Solve -3*q + 2*k = 9, k + 0 = -q + c for q.
-1
Let v = -1942 - -1947. Solve -13 = -5*n - 2*t, 16*n - v*t + 21 = 17*n for n.
1
Let r(m) = -6*m**2 + 72*m + 4. Let s be r(12). Solve 22 = s*b + y, -6*y + 10 = -y for b.
5
Let b = -258 - -252. Let c be (-32)/b + 108/(-81). Solve -c*j + 5*v + 1 = -3*j, 0 = -2*v for j.
1
Suppose -3*y - 3*h = -576, 2*y + 10*h - 388 = 7*h. Let u = 198 - y. Solve j = 2*j - 2, -5*j = -4*d + u for d.
5
Suppose -p - 1 = 0, -5*n = -4*n - 3*p - 35. Suppose 4*m = n - 20. Solve -5*g - 26 = m*k, 0 = -2*k - 0*g - 4*g - 20 for k.
-2
Suppose -16*u = -19*u + 6. Suppose 2 = 2*p + 4*x + 4, -13 = -u*p + x. Suppose 6 + 9 = p*t. Solve -2*b + h + 5 = 0, -t*b - 4 = 2*b + 3*h for b.
1
Let t = 1581 + -1578. Solve 6*o + 1 = 4*o + t*s, 5*s + 25 = -2*o for o.
-5
Let s be (-2)/(-8) + 4/(-16). Suppose -29*y = -36*y + 14. Suppose z + 3*u = -9, y*u - 4 = -41*z + 37*z. Solve -z*m - 9 = s, m + 5 = 5*p - 8 for p.
2
Suppose 0 = -53*q + 105*q - 156. Solve 0*b - 2*b - q*m = -5, -m + 7 = -2*b for b.
-2
Let x = 742 + -736. Suppose 209 = x*z + 185. Let r(s) = -s**2 - 5*s + 3. Let k be r(-5). Solve 3*f - 12 = 5*f - 4*u, -z*u = -k*f - 16 for f.
-4
Let d be -14 + (4 - 4 - -3). Let a(j) = -j**3 - 11*j**2 - 3*j + 9. Let w be a(d). Let z = w - 39. Solve 23 = 4*c - 5*t, 5*c - 19 = -0*c + z*t for c.
2
Suppose 24*v + 67 = 499. Let k be (-29)/(-2) - (-9)/v. Solve -o = 5*i - k, 21 = 3*i + o + 2*o for i.
2
Let h(i) = 159*i - 3493. Let x be h(22). Solve -3 = -l + x*z, 4*l - 3*z - 11 = 1 for l.
3
Let k = -516 - -350. Let g = k - -169. Solve 5*n - g*b - 10 = 2*b, b = -2*n - 5 for n.
-1
Let v be 1 + -2 + 4*(-2 + 0). Let n = v - -13. Solve -n*l + 19 = 5*i - 2*i, -5*i + 4*l = 11 for i.
1
Suppose -6*j - 196 + 208 = 0. Suppose 3*x + 42 = 3*k, 0 = -x - j + 3. Solve 0 = -4*u - 5*i - 16 - 4, 0 = 3*u + 2*i + k for u.
-5
Suppose -3*x = 2*f - 5, x + 0*f + 3*f - 4 = 0. Suppose -l + 3 = -x. Solve 0 = 3*b - 6*b - 2*r - 23, -4*b - l = -4*r for b.
-5
Let d be -1 - ((-1652)/70 + ((-6)/15 - 0)). Let z(l) = l**2 + 5*l + 11. Let c be z(-8). Let x be (-4)/14 - (-115)/c. Solve 3*a - x*v + 5 = d, 3*v = -3*a for a.
3
Let a(q) = -23 - q + 29 + 0*q. Suppose -2*z + 6 = -z. Let y be a(z). Solve y = -3*g + f - 6, -2*g + f = -f + 4 for g.
-2
Let a be (-8)/12*(1 + (-34)/4). Let v be (2/4)/(6/324). Let k = v - 20. Solve 4*h + k = -a*w, -3*w + 2 = -2*h + 15 for h.
2
Let v = 222 + -80. Let y = -139 + v. Let s be (-9)/6*(-16)/6. Solve 0 = 2*a - y*a - 1, s*r - 1 = 5*a for r.
-1
Suppose -6 = -5*s + 2*s. Suppose -k - 4 = 2*p, -5*k + p = -15 + s. Let o = -1164 - -1170. Solve -2*v + k = -3*b, -3*v + 4*b = -v - o for v.
-5
Suppose 40 = 207*a - 212*a. Let h(o) = -5*o**2 - 40*o + 3. Let y be h(a). Solve -2*x - 2*q = 3*q + 23, -q = y for x.
-4
Suppose 0 = 5*m - 10 - 15. Suppose -4*g + 130 = -22. Suppose 35*r = g*r - 6. Solve r*v + 6 = 5*f, -5*f = 5*v - 15 - m for v.
2
Let z = 1 + 1. Suppose 4*c - 2 = z*c. Let i(n) = 3*n - 1. Let d be i(c). Solve -12 = d*k + a, k - a = -0*a for k.
-4
Let f(d) = d**3 + 2*d**2 - 2*d + 4. Let g be f(-3). Suppose 458*r + 39 = 471*r. Solve -3*j - r*z - 9 = 0, -j + g - 4 = -z for j.
-3
Let a be (16 + -21)*(8/10 - 2). Let t be a + -3 + 4 + -5. Solve q + t = g, -2*q + 4*g = -q - 7 for q.
-5
Let b(v) = 12*v - 1. Let k be b(1). Let a(f) = -2*f**3 - f**2 - 4*f - 3. Let j be a(-3). Let s = -48 + j. Solve 0*u = -3*m - u + k, 2*m = -u + s for m.
5
Let h be -5*26/(-65) - 28/(-2). Let g be 0/((4/16)/(2/h)). Solve l + 3 = c, g*c + 3*c = 5*l + 5 for l.
2
Let g be 15/(-6)*1/(-5)*4. Suppose 5*t - 52 + 22 = -5*l, g*t - 2 = 0. Solve 2*d + 20 = -l*i - 3*d, 4*d - 8 = 4*i for i.
-3
Let m = 225 + -103. Suppose 85 = 9*o - m. Solve -q = -5*k - 4 - o, -3*k = 5*q + 5 for k.
-5
Let c(q) = -q**3 - 10*q**2 - 8*q + 23. Let b be c(-9). Suppose b*t - 1 = 13*t + 2*k, 5*t - 3*k = 