u - 4, -m*u = 5*w - 4 for u.
2
Let f(d) = -2 + 9 + 8 - 5 + d. Let w be f(-7). Let i = -219 + 222. Solve -3*b - 2*p - 16 = -w*p, 3*p = -i*b for b.
-4
Let c(d) = -2*d**3 - 27*d**2 - 38*d - 300. Let a be c(-13). Solve -i = -3*w - 17, a - 2 = -i - 5*w for i.
2
Suppose 4*d + 4 = 0, i + 3 = -0*i - 5*d. Solve i*p - g - g = -12, 27 = -5*p + 2*g for p.
-5
Let q = -89191 - -89193. Let g(d) = -d**2 - 5*d + 3. Let j be g(-5). Solve w = -i - 7, q*w + 26 = -2*i - j*w for i.
-3
Let n be 100/92 - (-92)/(-1058). Solve -4*b - 15 = -m, n = 3*b + 13 for m.
-1
Suppose 207*t = 297*t - 1530. Solve -3*m = q, 5*m - 12*q = -t*q + 10 for m.
-1
Let y = -1348 - -1351. Solve -4*i = y*r - 5*i - 1, 5*r - i = 5 for r.
2
Let g be ((-2190)/(-9))/(-5) + 4/6. Let y = g + 50. Suppose 0 = -3*s + 5*f + 30, 3*s - s - 20 = y*f. Solve -10 = 5*t - 2*z, 0*t - 4*t + 2*z = s for t.
0
Suppose -i + 3*r = 2*r + 1, i - 8 = -2*r. Let l = 89 + -92. Let h be 6/3 + l/6*-4. Solve -5*w - 8 = h*s, -s - w + i = s for s.
3
Let u be ((-58)/(-87) - (-2)/(-12))*124. Suppose -u = -26*o + 16. Solve -w - p = 2*w + 1, -o*w + 4*p = -19 for w.
1
Let b be (-8)/20 - 3444/(-210). Solve -24*w = -3*a - 28*w + b, 3*a = -5*w + 17 for a.
4
Let q be (0 + 1)/((-17)/(-68)). Suppose -q*d = -d - 30. Solve -5*z - 26 = 2*j, -3*z - z - d = -2*j for z.
-4
Let a = -2069 + 2091. Solve 0 = 5*c - 3*j + 13, -19*c + 17*c - 3*j = a for c.
-5
Let m = 117 - 69. Suppose -m = g - 51. Solve -g*b - 9 = -3*n, 3*b + 8 = -4*n + 34 for b.
2
Let x be -6*20*(15/10 + -1). Let p = -38 - x. Suppose -2*z - 3*o - p = -7*z, 0 = -o + 1. Solve m = 3*m + z*d - 17, -2*d + 5 = -m for m.
1
Suppose 11*g - 150 = g. Solve 5*q + 6*u + 20 = 2*u, 3*u + g = 5*q for q.
0
Suppose -310 = 5*l - 1340. Let g = l - 201. Solve -k + 7 = -c + 3*k, 0 = -3*c + g*k - 14 for c.
-3
Let i be (-5)/(-2)*(-94)/(-235) + 4. Let c = 293 + -286. Solve -4*q - q - v = c, -2*v = -i*q - 16 for q.
-2
Let r(x) = -71*x - 18. Let m be r(2). Let l be 6/(-9) + m/(-60). Solve l*w + d = -3*d + 20, 5 = w + d for w.
0
Let s = 115 + -67. Let d(r) = s + 2*r + 29 - 10 - 1. Let m be d(-31). Solve 4 = m*n - z - 8, 4*z + 3 = n for n.
3
Let l(q) = -3*q**3 - 23*q**2 - 40*q. Let w be l(-5). Solve r - 1 = -j, w = -33*j + 38*j - 3*r + 11 for j.
-1
Let f be (10/8)/(-5) - 25/(-4). Suppose f*r = 26 - 2. Suppose 0 = r*t - 5*c - 26, 4*t + 4*c = -c + 6. Solve 6*a - t*a + 8 = -3*n, 2*n + a = -4 for n.
0
Let y = 30 - 11. Let l = -14 + y. Let b be (-4 - -3)/(31/8 + -4). Solve l*h + 2*d = 23, 0 = 2*d - b for h.
3
Let j be -10 - (4 + (-46 - -25)). Let r = 1 + 2. Suppose 2*c + r*b - 14 = 5*b, 5*c - 2*b = 26. Solve -f = -p - c - 2, j = 2*f - p for f.
1
Let p be ((-21)/12)/((-294)/336). Solve -3*s - 4*j + 36 = -7*s, -p*s = 2*j - 2 for s.
-4
Let i be (53 - -2)*(-9 + 4 + 4). Let k be 5/i*-11 + (4 - 1). Solve -7*c + 14 = -4*m - 4*c, 2*c + 24 = -k*m for m.
-5
Let t(b) = b**2 - 1. Let l be t(9). Suppose -3*g - g = -l. Let p be (8/(-20))/((-2)/g). Solve p*h - 16 = -4*z, 2*h - 4*z = -13 - 9 for h.
-1
Let z = -7196 + 7212. Solve 0 = -5*b - 3*j - z, 6 = -4*b - 4*j - 2 for b.
-5
Let g(n) = -12*n + 2. Let b be g(-1). Suppose -y = 4*d - 19, -2*y - 3*d + b = 1. Let j = y + 2. Solve 3*i + j = -5*v + v, 9 = 4*i - 5*v for i.
1
Suppose -32 = n + 4*n + 2*s, -2*s + 22 = -4*n. Let f = 11 + n. Let j = 512 - 503. Solve 5*q = q + l - j, f*q + 5*l = 20 for q.
-1
Suppose 0 = -4*x + 12 + 12. Let j = 7 + x. Suppose 0 = -j*h + 16*h. Solve h*i + 11 = i - 3*p, i + 3*p = -13 for i.
-1
Let s be (-6)/(-6) + (10 - (3 - 3)). Suppose 3*p - s - 14 = c, -3*c = 4*p - 42. Solve 0 = -5*t - 4*x - p - 12, -5*t - 5*x - 20 = 0 for t.
-5
Let n be (10/(-30))/((-1)/(-3)). Let p be (5 - n) + 192/(-64). Solve -p*q + 2*q = -2*i + 1, i + 4*q = 5 for i.
1
Let v(x) = 2*x**2 + 3. Suppose 2*c = -i, -3*i + 5*i + 5 = c. Let m be v(c). Solve a + 1 = 0, -m*u = -4*a - 14 - 5 for u.
3
Suppose -4 = -h, 4*b - 9 - 7 = 3*h. Suppose 8*p - b = p. Let f be (3 - 3)/(5/p - 3). Solve -3*w + 4*x + 3 = f, 5*w - x = -4*x - 24 for w.
-3
Let n(h) = 12*h - 70. Let t be n(11). Let v = -60 + t. Let z(f) = -f. Let s be z(-3). Solve 3*y = s*d, 2*y + 5*d + 20 = v*d for y.
-4
Let s = -148 + 146. Let l be ((-15)/s - 8)*0. Solve 0*u - 10 = -5*z - 4*u, -4*z + 4*u + 8 = l for z.
2
Suppose 0 = -t - 5*n + 13, 4*n + 772 - 648 = 4*t. Solve -3*l - 13 = 4*x, 25*x + l = t*x + 13 for x.
-4
Let k(b) = -b**2 - b - 1. Let h(l) = 5*l**2 - l + 8. Let q(s) = h(s) + 6*k(s). Let t be q(-7). Solve 4*m - 4*a - 6 = t*m, 3*m + 9 = -3*a for m.
-1
Let p be (1 - (-267)/(-2))*(14 + (-1440)/100). Solve z + 3*q - 10 = 0, 5*z + p*q - 20 = 48*q for z.
1
Let y = 630 + -267. Suppose 0 = 371*b - y*b - 32. Solve 4*h - 2 = -5*m + b, -5*h = m + 3 for m.
2
Suppose 0 = 5*c - 356 + 366. Let s(i) = 2*i**2 + 3*i. Let x be s(c). Solve l + 3 = 3*f - 1, -3*f - x*l = -1 for f.
1
Let p = -933 - -1897. Suppose -p*h = -969*h. Solve h*y - 25 = -z + 4*y, -z + y = -10 for z.
5
Let l = -944 + 964. Suppose 91*w = a + 95*w - 14, 4*a = -4*w + l. Solve -j - 5*x + 11 = 0, -7*j + a*x = -5*j + 14 for j.
-4
Suppose 0 = -11*x + 89 + 1539. Let o = 151 - x. Solve 7*d = 2*g + 4*d + 10, -3*g = o*d for g.
-2
Suppose -o = 4*o - 285. Suppose o*y = 51*y + 18. Suppose -y*b = -p + 18, 2*b + 30 + 6 = 2*p. Solve -5*x = 5*g, 6 - p = 3*x for g.
4
Suppose -8 = s - 4*t, -5*s + 7 = -5*t + 2. Suppose -8 = -2*f - 0. Let k be (-215)/(-7) + 22/77. Solve -5*g + f*n = -k, 2*n + n = s*g - 24 for g.
3
Let j = -5 - 11. Let w be (-2)/8 + (-68)/j. Let z = 115 + -113. Solve -w*q - s - 24 = 0, -q = q - 3*s - z for q.
-5
Let m(v) = v**3 - 11*v**2 + 20*v - 15. Let x be m(9). Suppose 0 = -4*a + 9*a - 130. Suppose x*j + 20 = a. Solve 0 = 4*g - 16, 5*w - 3 = g - j for w.
1
Let b(f) = f**3 - 6*f**2 + 10*f - 6. Suppose 0 = d + 5*d - 228. Let h = 42 - d. Let j be b(h). Solve 5*o = -q + j*q - 7, 4*o + 8 = 2*q for o.
-1
Let w be (-1)/(-1) - (1 - 2). Suppose -2*s - 16 = -10*a + 6*a, 0 = -4*a + 20. Suppose j - w*j + s = 0. Solve -j*i + 10 = 3*h, 3*i = -2*h - 0*h + 10 for i.
2
Suppose f = v - 4, 3*f - v = 64 - 62. Solve 5*h = c - 21, -3*h + 36 = -f*c + 51 for h.
-4
Let o be 7*(-7)/(-196)*4*1. Suppose 2*t + 1 = 11. Let d = -3 + t. Solve 2*i - o = -d*j - 9, -3*j + 12 = -3*i for j.
0
Let z be 50/8 + -1 + (-17 - (-2010)/120). Solve z*b + 2*o = 19, -25 = -2*b - 2*o + 7*o for b.
5
Suppose 3*t = -2 - 7, 5*t = 4*c - 15. Suppose 4*u = -6*v + 7*v + 20, 3*v - 12 = 0. Solve c = f, 2*w + u*f - 3*f + 6 = 0 for w.
-3
Suppose -97 - 73 = 5*g. Let y = 37 + g. Suppose -2*u = -o - o - 6, u + y*o = -1. Solve 5*k = -3*n - 17, -k + u*n + 2*n = -15 for k.
-1
Let f(r) = 21*r**2 - 35*r + 2. Let s be f(3). Solve 5*k = 20, s*c = 82*c + 2*k - 8 for c.
0
Suppose 0 = 2*r + 30*x - 34*x, -6 = -2*r - 2*x. Suppose 5*y + 20 = 3*s, -3*s - r = 4*y - 40. Solve v - 6*v = -h + s, -2*v - h = 11 for v.
-3
Suppose 22*q + 31 = 37*q - 29. Solve -q*b + 11*n - 14*n = -10, 0 = 2*b + 5*n - 12 for b.
1
Let p = 1847 + -1831. Solve 0 = 4*g - 2*h + p, -3*g = -4*h + 11 + 11 for g.
-2
Let p(l) = -10*l - 26. Let h be p(-3). Suppose h*d = -2*v + 288, -2*d + 6*d - 8 = 0. Let w = v - 120. Solve -w = 2*n - 3*x, 2*n - 24 = 5*n - 3*x for n.
-4
Suppose 0 = 2*g + 8, -u = 2*u + g + 214. Let t be (-10)/4*56/u. Let z be t/12 + 1/(-6). Solve 3*o - 3*d + 6 = z, 3*d - 7 = -3*o - 1 for o.
0
Suppose -o = -0*o - 22. Let q = -119866 + 119867. Solve 4*m = -5*g - 11 + q, 4*m = g - o for g.
2
Suppose -j + 14 = j. Suppose 0 = -2*l - 11 + j. Let h be l + (4 - (-4 - -5)). Solve 6*n = 3*n + k + 8, -4*n = k + h for n.
1
Suppose 9 = f + 7. Let b be f/((-48)/(-20) + -2). Suppose 5*p - 7 = r, -b*r - 9 = -5*p + 6. Solve 0*j + j + p = 0, -2*y + 5*j = -5 for y.
0
Suppose 3*n - 5*o + o + 52 = 0, -4*o = n + 12. Let f = -10 - n. Let y be (4 + 6)*(-2)/(-5). Solve 4*z = 5*q + 15, -y*q + 2*q + 4*z = f for q.
-3
Suppose 153 + 17 = 5*x. Let t be x/10 + (56/10 - 5). Solve 0*d + 2*p + 8 = -5*d, d + t = -p for d.
0
Let p = -1834 + 1839. Solve w + 5*i - 3 = 0, -9*i + p*i = -4*w + 12 for w.
3
Suppose -22*m + 75 = -57. Let o be (23 + -2)*2/m. Solve z + o = 4*h, 3 = 2*h - 3*z + 2 for h.
2
Suppose -4*f + 401 = -2*k - 111, 0 = -5*k - 4*f - 1266. Let s = -249 - k. Solve -4*t + 5*t - 2*v - 2 = 0, -25 = -5*t - s*v for t.
4
Suppose 18790*i + 923 = 18803*i. Solve 67*x = -3*y + i*x - 4, 5*y = -3*x - 26 for y.
-4
Let 