4
Let v = 312 + -299. Suppose 4*q - 35 = 1. Suppose -v*x = -q*x. Solve -3*a - 6 = -2*a + 3*o, x = -a + 2*o + 9 for a.
3
Let k = -51 - -54. Let y(a) = 4*a**3 + a**2 - a - 1. Let l be y(1). Let f be l*(-2)/4*-2. Solve 0 = k*w - 0*w + 12, f*v - 4*w - 25 = 0 for v.
3
Suppose -4*m + 875 - 131 = -5*f, -558 = -3*m - 3*f. Solve -5*t + k = 19, -185*t + m*t + 23 = 5*k for t.
-3
Let l = 84398 + -84396. Suppose 0*f + 4*f - 20 = 0. Solve l*u - 5 = 3*u + a, -f*u + 2*a = 18 for u.
-4
Let c be 1 + 17/1 - (-54)/27. Let s be (-5)/(25/c) + 28/4. Solve -4*l + 0 = -4*p + 4, -2*l = s*p + 17 for l.
-4
Let j be (-76)/(-266) - (1 + 205/7). Let p be (-64)/j - 1*(-28)/(-210). Solve 0 = -3*r + 5*l - 24, p*r + r + 3*l = 0 for r.
-3
Suppose -1 = -10*t - 1. Suppose -2*o = 4*w - 6, 4*w + 0*w = t. Solve -4*x = k - 3*x + 5, x = 3*k + o for k.
-2
Let c(v) = -143*v - 3286. Let n be c(-23). Solve 8*b - 3 = 11*b - k, -n*k = -5*b - 13 for b.
1
Let u(j) = 2*j + 0 + 5*j**2 - 1 - 3*j**2 - 3*j**2. Let m be u(1). Suppose -10*n - n + 44 = m. Solve 10 = 5*q + 3*o, n*o + 18 + 2 = 0 for q.
5
Let a = 6659 + -6638. Solve -2*i + 5*h = -35, 2*i = h + a - 6 for i.
5
Let z(l) = 4*l - 70. Let p be z(19). Let n be 2/p - 644/(-138). Solve 0*d - d + 4 = 0, 3*j + 5*d - n = 0 for j.
-5
Suppose -2*g + 6*j = 5*j + 1, -5*g - 2*j + 20 = 0. Suppose -g + 11 = 3*h. Let k = -83 - -93. Solve 0 = t + 2*m - 6, -h*t + 2*t - 4*m + k = 0 for t.
2
Let v = 7395 + -7393. Solve -6 = -x - 2*p, 3*x - 19 + 1 = -v*p for x.
6
Let c = -792 + 797. Suppose -3*j = 5*d - 14, 4*j + 6*d = 3*d + 15. Solve -2*h = -4*b, c*h = j*b + 10 - 3 for b.
1
Let k(b) = b**3 - 3*b**2 + b + 1. Let p be k(1). Let r = 890 - 887. Solve 4*w - r = -t - 2*t, p = 3*w + t - 1 for w.
0
Let n(u) = -u**3 - 19*u**2 - 20*u - 35. Let m be -4 + 2 + 3 + -19. Let d be n(m). Solve -5*c = -5*z - c - 6, d = -2*z + 3*c for z.
-2
Suppose 544*f = 476*f + 68. Solve 5*s - 6*s - 3*r = -10, -5*s = -2*r + f for s.
1
Let a = -3056 + 3017. Let x be (-1 + 2)/(5/195). Let f = x + a. Solve f = t + 2*k, 4*t - 6*t - 2*k = -4 for t.
4
Suppose 2*d + 7*q = 3*q - 12, 0 = -4*q - 16. Suppose -d*y + k = 47, 2*k - 46 = y + y. Let z be -3*2*4/y. Solve 3*l - 4*w = 5*l - 14, w = -5*l - z for l.
-1
Suppose 13*s - 115 - 54 = 39. Suppose -u - 4*u + 15 = 0. Suppose -3 = -v - 1. Solve -j + s = -v*y - 3*j, u*j = -12 for y.
-4
Let k(b) = 60 - 2*b + 2*b - b**2 + 15*b**2 - 6*b - 5*b + b**3. Let j be k(-15). Solve 5*c + 0*w + 29 = -w, j = 4*c + 5*w + 40 for c.
-5
Let g(d) = 3*d + 48. Let w be g(-10). Let c = 105 - 103. Solve -c*x - w = 4*t, 20 = -2*t - 2*t for x.
1
Suppose 7*s - 10*s - 3 = -h, -3*h - 3 = 3*s. Suppose 4*i = 5*r, 4*r - 2*i + h = 6. Solve -5*y + 0 = r*d - 11, -2*d = -8 for y.
-1
Let m be (5/(-10))/((-3)/42). Suppose 2*r - 3*r + 2*u = -9, 4*r - 36 = 4*u. Let l = r - 4. Solve 0 = 3*n + l*v + 1, -v + m = -5*n - 4 for n.
-2
Let m = 7202 - 7193. Solve -5*y - 14 = -2*r, 0 = 2*y - 1 + m for r.
-3
Suppose 0 = -p + 8 - 3. Let v be (-3)/12 + -27*6/(-8). Suppose -5*l - n - 1 = -5*n, -p*n = -v. Solve 28 = 4*g - 4*a, -l*g + 16 = -4*a - 8 for g.
4
Let j(g) = g - 8. Let h be j(8). Let k be 6 + -7 + 40/8. Solve -x - 4 - 1 = w, h = 2*x - k*w - 8 for x.
-2
Let l(f) = 2*f**2 - 92*f + 624. Let z be l(38). Solve -4*o + 7*o - 9 = -3*t, 0 = -4*o - 2*t + z for o.
5
Suppose -129 - 25 = -38*d - 2. Solve 17 = -4*w - 68*y + 67*y, d*w + 37 = -5*y for w.
-3
Suppose -4*k = -6*k + 12. Suppose 22 = k*u - 4*u. Suppose 0 = -2*w + 308 - 302. Solve -32 = 4*q + 4*i, -w*q - i - 3 = u for q.
-3
Suppose 39*j + 342 = 37*j. Let i = j - -171. Solve 4*f - 1 + 8 = -5*u, -2*f - u - 5 = i for f.
-3
Let c(v) = v**2 + 20*v + 87. Let b be c(-6). Suppose -7 = 4*p - b*d - 2*d, 0 = -3*p + 2*d. Solve 4*y + 4 = -2*q, 3*y - 1 = p for q.
-4
Suppose -3*u + 3*g + 72 = 0, 2*g + 7 + 16 = u. Suppose -29*n + 16 = -u*n. Suppose n*c = 2*c + 2. Solve -z + v - c = 0, z - 14 = -3*v + 5 for z.
4
Let r(h) = -h**3 - 21*h**2 - 51*h + 58. Let d be r(-18). Solve -2*k = 4*b - 6*k, -k - 20 = d*b for b.
-4
Let y be -2*5 + -277 + 290. Solve 3*m + 3*p - 3 = 0, 0 = -276*m + 272*m + y*p + 39 for m.
6
Let r(s) = 4*s**2 + s - 33. Let y(u) = 3*u**2 - 30. Let n(f) = 2*r(f) - 3*y(f). Let i be n(6). Solve -j + 1 = 2*t - i, 3*t = -j - 1 for j.
5
Suppose -6*p = -p + p - 1122. Solve p*k + 2 = 2*m + 183*k, -2*m - 2*k = -8 for m.
3
Let d(t) = -240*t**2 - 4*t + 2. Let y be d(1). Let m = -240 - y. Solve -2*a - m*a = 5*b + 36, 2*a + 28 = -5*b for a.
-4
Let c = -176 - -1164. Suppose -c = -2*h - 984. Solve z - 6*z = -v + 6, -h*z = 4 for v.
-4
Let p(o) = -86*o + 3. Let j be p(-3). Let q = -259 + j. Solve -q*r - d - 9 = 3*r, r - 3*d + 5 = 0 for r.
-2
Let v = -7403 + 7405. Solve 0 = u - 8*n + 3*n + 27, -v*u + n = 0 for u.
3
Let g be (-3 - -15)*(-1)/(-3). Suppose 2*o = g*o + y - 7, 4*y + 11 = 5*o. Suppose 5*s + 3*q - 10 = o, q + 9 = s. Solve -4*p + 0 = 4*k + 4, s*p = -2*k + 4 for p.
2
Suppose 0 = -i + 4*f + 326, -3*i = -f - 47 - 920. Let z = 325 - i. Let r be (0 - -1) + 3*3. Solve -5*k + 20 = z*h, 0 = -r*h + 5*h - k + 26 for h.
5
Let r(k) = -9*k + 41. Let y be r(4). Let s = 418 + -416. Solve -4*c - 21 = 5*t, y*t = c - s*c - 9 for c.
-4
Let m = 112 - 109. Let t be (1/m)/((-9)/(-135)). Solve 4*u + 23 - 1 = t*c, 0 = 2*u + 3*c for u.
-3
Suppose i - 9 = -0*i. Suppose i*q - 18 = 3*q. Let u = -357 + 366. Solve 0 = -q*j + 3*r - u, 2*j + r + 3*r = 6 for j.
-1
Let k be (-11 - -12)*2*1. Let a(m) = 0 - 2*m**k + 2 + 2 + 2*m. Let p be a(2). Solve p = 7*o - 3*o, n - 4*o = -4 for n.
-4
Let l(u) = 4*u + 4. Let h(w) = -11*w - 11. Let y(x) = 3*h(x) + 8*l(x). Let c be y(0). Let o = c + 6. Solve 9*b - 3*j = 4*b + 5, 2*j + 5 = o*b for b.
1
Suppose -2*q - b = -44 + 15, -4*q + 49 = 5*b. Suppose -4*x - q = -24. Solve x*f + 20 = 6*f - 5*t, f = 3*t + 12 for f.
0
Let a be 16/(-280)*10 + 156/28. Solve a*t - 5*v = 15, 3*t + 2 = 2*t - 4*v for t.
2
Suppose -5*t = -3*l, 0*t = t - 2*l. Let f = 42 + -27. Suppose f*i - 269 - 31 = t. Solve 0 = -3*o + o + 3*x - 2, 0 = -5*x + i for o.
5
Let b(r) = -5*r + 77. Let k be b(15). Suppose -3*h = -v - 8, -21*h + 19*h = -k*v - 4. Solve -5*x + 2*i = -15, -h*x + 4*i + 22 = -x for x.
1
Let v(u) be the second derivative of -u**4/12 + 5*u**3/3 - 9*u**2/2 + 17*u - 6. Let c be v(1). Solve -b - 16 = 2*q - 4*b, -3*q - 4*b - 7 = c for q.
-5
Let z(d) = -d**2 + 14*d - 4. Let c be z(8). Suppose c = 4*u + 4*k, 0*u - k = -2*u + 7. Let q = -37039 + 37041. Solve u = -3*a, -4*o + 2*a = a + q for o.
-1
Let o be ((-17097)/973)/((-6)/14). Solve -4*m = 5*w + 30 - o, 3*m + 2*w = 3 for m.
-1
Let l be (-12 + 4/(-2) - -4)*7/(-14). Solve -4*u = -5*w + 25, -l*u + 2*w - 22 - 5 = 0 for u.
-5
Suppose 0 = 43*g - 47*g + 24. Let q = 31 - 15. Suppose -13*u - 1 = -53. Solve -q = 5*i - c, -3*i + g*c + u = 2*c for i.
-4
Suppose -102*o - 97*o = -162*o - 185. Let f be ((-2)/(-6))/(3/18). Solve -3*p + 10 = f*l, 3*p - o*p = 2*l - 8 for l.
2
Let j(g) = g**3 + 6*g**2 + 5. Let s be j(-6). Solve -5*u + 9 + 11 = s*q, u - 4*q - 9 = 0 for u.
5
Let r = 67 + -39. Suppose -2*y - k = -r + 14, 9 = y + k. Solve y*i = n - 30, -3*n + 10 = n + 2*i for n.
5
Let k = 2056 - 2054. Solve -3 = -5*o + n - 4, -3*o - k*n = -2 for o.
0
Let o = 42 - 85. Let l = -41 - o. Suppose l*t + j - 3 = 17, 3*t = -2*j + 30. Solve -4 = -b - 2*u, -u = 4*b - 6*u + t for b.
0
Let t(m) = 11*m**2 + 5*m - 25. Let n be t(-5). Suppose -220*p - 80 = -n*p. Solve -4*c = -4*u + p, c + 3*u - 11 = 5*c for c.
1
Let p(f) = -2*f**2 - 13*f - 9. Let h be p(-1). Solve 4*s + 14 = k, h*k + 2*s - 4*s = 10 for k.
2
Suppose -8*s + 24 = -4*s + 2*s. Solve -o = 3*z + 2 + 1, -s = 5*o + 4*z for o.
0
Let t be 7/(35/4)*20/8. Suppose t*r - 18 = r. Let j = -18 + r. Solve 2*p = 2*q - 2*p + 4, j = -2*q - 2*p + 8 for q.
2
Suppose -96*u - 1070 = -310*u. Solve -2*x - 20 = -m - 4*m, u*m = -x + 20 for m.
4
Let s = 58 - 8. Let x = -168 + s. Let k = x - -123. Solve -6*r = -5*l - 5*r - k, 5 = -l + r for l.
0
Let v be 896/(-152) + (-4)/38 + 8 + 6. Solve 5*y = -3*h, 0 + v = -4*y - 4*h for y.
3
Let o(z) = -z**2 - 16*z + 2. Let g be o(-14). Let f be (g/20)/(6/116). Suppose 10*d - 66 = -16. Solve f = -4*b - 3*v, d*b - 2*v = -0*b - 19 for b.
-5
Let b be (2/6)/(4/120). Let u(n) = n**2 - n - 1. Let y be u(-2). Suppose -d + 2*d + 4*o - 3 = 0, -o = y*d - 15. Solve 0 = 2*h - b, d*h - 6*h = 2*i - 25 for i.
5
Suppose