= 0*d + 24 - 20 + 0*d + d**3. Suppose 5*c = c + 16. Is u(c) a multiple of 23?
False
Suppose 4*f - 546 = 2*f. Suppose -f = -3*u + 3*y, -5*y - 365 = -3*u - u. Suppose 130 + u = 5*j. Is j a multiple of 22?
True
Let z = -51 + 113. Suppose 2*k = -4*l + z, 4*k + 82 = 5*l + 2*k. Is 2 a factor of l?
True
Suppose 3735 = 5*f + 6*q - q, -3*q - 3016 = -4*f. Is 12 a factor of f?
False
Let n(a) = -7*a**3 + a. Let h be n(1). Suppose -5 = -3*i + s - 0*s, i - s - 1 = 0. Does 28 divide (h/2)/(i/(-46))?
False
Let a(w) = 3*w**2 - 4*w - 4. Suppose 19 = -2*k + n, 28 - 74 = 5*k - n. Let z be 45/k*8/10. Is a(z) a multiple of 15?
True
Let a(q) = 9*q**2 + q - 1. Let k be a(1). Let v(t) = -4*t + k - 2*t + 9*t - t. Does 2 divide v(-3)?
False
Let o(b) = -b**3 + 25*b**2 - 30*b + 41. Let k be o(24). Let d = 184 + k. Is 27 a factor of d?
True
Suppose 4*l - 392 = -4*t, -196 = -t - t - l. Suppose -13 - t = -3*i. Let y = 53 - i. Is y a multiple of 8?
True
Let k be 7/(-56) - 321/(-8). Let o = k - 8. Does 5 divide o?
False
Let t(i) = -2*i - 14. Let p(n) = n**3 + 6*n**2 + 3*n - 10. Let s be p(-5). Suppose 3*g - 34 = 3*q + 8*g, -4*g + 4 = s. Does 12 divide t(q)?
True
Let t = 220 - 136. Suppose -t = -0*c - c. Is c a multiple of 14?
True
Does 29 divide (87/(-6))/(29/(-754))?
True
Let r(a) = a**2 - 6*a - 5. Let k be r(7). Suppose -12 - 4 = -p + 4*o, p + k*o - 22 = 0. Is 10 a factor of p?
True
Let t(d) = 10*d**2 - 2*d - 1. Let f be t(-2). Let n = -8 + f. Does 7 divide n?
True
Let x(q) = q**3 + q**2 - q + 1. Suppose u + 6*t + 10 = 3*t, 3*u - 2 = -t. Let h be -3*u*4/(-12). Does 8 divide x(h)?
False
Let n = 150 + -122. Is n even?
True
Is (-4)/5*6/(-4)*10 a multiple of 4?
True
Let o(v) = 10*v - 18. Is o(4) a multiple of 4?
False
Does 11 divide (12/4)/((-2)/(-10))?
False
Let j(z) = -7*z - 14. Let g be j(11). Let d = 164 + g. Does 23 divide d?
False
Let c(x) = -2*x**2 + 3*x - 1. Let u be c(-12). Is u/(-3) + 6/(-18) a multiple of 27?
True
Let l be (10/(-15))/((-2)/9). Suppose -l*q + 2*q + 161 = 0. Suppose 0 = -4*x + 3*s + 169 + q, -s = -2. Is 21 a factor of x?
True
Let k = 1827 + -1227. Does 75 divide k?
True
Let b be (-1)/4*2*-8. Suppose 43 + 13 = b*d. Is d a multiple of 7?
True
Is 11 a factor of (-1012)/(-6)*12/(48/12)?
True
Let d(h) = h**3 + 6*h**2 - 2*h - 4. Suppose -b + 2 = -0*b. Suppose -b*s + 0*s = 10. Is 16 a factor of d(s)?
False
Suppose 5*z = -5*v - 60, -2*v = -5*z - v - 48. Let k = z - -22. Does 8 divide 576/k*1/3?
True
Let t(z) be the first derivative of 15*z**2/2 + 16*z + 13. Is t(5) a multiple of 13?
True
Let x be (-144)/(-15) + (-4)/(-10). Let a be (-2)/5 - (-4)/x. Is -2*(1 + a)*-22 a multiple of 11?
True
Let m(i) = -i + 2. Let d be m(2). Is 3 a factor of (0 + d + -3)/((-14)/70)?
True
Let m(w) = -2*w**2 + w**2 + 6 + 0 + 3 + 14*w. Let d be m(15). Is 10 a factor of d/3 + 6*12?
True
Let h(d) = 6*d + 3. Let l(q) = q**2 - 4*q - 17. Let m be l(7). Suppose m*r + r = -3*c + 36, -r = 2*c - 10. Is h(r) a multiple of 8?
False
Let n be ((-2)/(-6))/((-2)/18). Let m be (-12)/(-5 - -1) - n. Suppose -79 = -m*s + 41. Is s a multiple of 6?
False
Let u = 17 - 19. Let t be (-4256)/(-36) + u/9. Let g = t - 79. Does 20 divide g?
False
Let v(p) = -p**2 - 22*p + 51. Is 5 a factor of v(-17)?
False
Let a(v) = 8*v**3 - 106*v**2 - 20*v - 12. Is 34 a factor of a(14)?
True
Suppose -6*z = -10 + 10. Let w be ((-6)/(-4))/((-3)/(-56)). Let b = w + z. Does 7 divide b?
True
Let j(y) be the first derivative of 2 - 3 - 2 - y + 29*y**2. Does 19 divide j(1)?
True
Let n(p) = -8*p**2 - 8*p + 9. Let t(o) = 9*o**2 + 8*o - 10. Let f(v) = 7*n(v) + 6*t(v). Let y be f(-4). Does 8 divide y*4*18/12?
False
Let v(w) = 2*w**3 + 7*w**2 + 9*w + 14. Does 47 divide v(6)?
True
Is 4 a factor of ((-156)/(-7))/((-195)/(-1820))?
True
Let u(l) = l - 19. Suppose -3*h = -7*h + o + 54, -2*h + 2*o = -24. Let n be u(h). Let f = n + 21. Is f a multiple of 12?
False
Suppose -7*f = -4*f - 12. Suppose -3*s = 2*g - 81, -g - 4*g + 115 = f*s. Is 5 a factor of s?
True
Suppose -58*i + 36510 + 7338 = 0. Is i a multiple of 4?
True
Suppose 2*c - 8391 = -5*j, j + 9*c = 12*c + 1685. Is j a multiple of 23?
True
Let s be -10*4/16*124. Is 31 a factor of (30/10)/((-6)/s)?
True
Let z(n) = 12*n - 20. Is 8 a factor of z(4)?
False
Let z(t) = -3*t + 2. Let y be z(-9). Let x = y + -23. Suppose 76 = 7*r - x*r. Is r a multiple of 17?
False
Let o be 875/3 - 2/(-6). Suppose 292 = 2*c + 4*m, -5*c - 3*m + 987 - o = 0. Is 17 a factor of c?
True
Let t be 14/6 - (-2)/3. Suppose 5*r - 157 = -t*q, 0 = -3*r + 2*q + 29 + 50. Is 6 a factor of r?
False
Is 19 a factor of 279/5 + (-4)/120*-6?
False
Let m = -66 + 69. Suppose -m*s - 394 + 114 = -5*f, 4*f - 224 = -5*s. Is 8 a factor of f?
True
Let z(g) = -g**3 + 15*g**2 - 9*g - 2. Is z(12) a multiple of 23?
True
Let o(k) = -k**3 + k**2 - 2*k + 497. Let m be o(0). Let g = m - 333. Is 41 a factor of g?
True
Let y(t) = -139*t - 26. Let r be y(-4). Suppose z = 6*l - 7*l + 134, -z = 4*l - r. Is 11 a factor of l?
True
Let i = 35 - 31. Suppose 5*j - 287 = u, -6*u = i*j - 3*u - 241. Is j a multiple of 10?
False
Suppose q - 118 + 14 = 0. Suppose -4*v - q = -12*v. Is 9 a factor of v?
False
Suppose 0*l - 3*l - 429 = 4*s, 4*l + 541 = 5*s. Let j = 227 + l. Is 8 a factor of j?
True
Suppose -5*n + c + 30 = 0, 0 = -3*n - 5*c - 9 - 1. Suppose 3*h + 125 = 2*b, 1 = -4*h + n. Suppose 12*w - 16*w + b = 0. Is 16 a factor of w?
True
Let r(n) = n**3 - 8*n**2 + 16. Let s(v) = 4*v. Let t be s(2). Is r(t) a multiple of 6?
False
Let p(d) = -3*d**2 - 11*d. Let q be p(-3). Suppose 0 = 4*x - 8, 0 = -s + q*s - x - 2003. Is 55 a factor of s?
False
Let x be (-2)/(-5) - 591/15. Let o be x/(-9)*(-2 + -1). Is o*(-1 + 0/(-3)) a multiple of 6?
False
Does 4 divide 68 - -11 - ((-4)/1 + 2)?
False
Suppose -5*g + 7*b - 4*b = -291, -4*g + 2*b = -234. Let o = -41 + g. Let d = 13 + o. Is d a multiple of 16?
True
Let q(k) = k**3 + 9*k**2 + 4*k - 4. Let o be q(-7). Suppose o = 3*r - 3*t, 5*r + 0*t - t - 94 = 0. Is r a multiple of 9?
True
Is 336/(4/1) + -1 a multiple of 82?
False
Let b(f) = 12*f - 114. Is 50 a factor of b(18)?
False
Let v = -81 + 53. Let x = -10 - v. Suppose x = -u + 75. Is u a multiple of 16?
False
Suppose -3*x - 5*o = -4*o - 542, -547 = -3*x - 2*o. Let z = -60 + x. Is 20 a factor of z?
False
Let j(l) = l**2 - 5*l + 52. Is 10 a factor of j(9)?
False
Let n(k) = 11*k - 3*k + 10*k + 2*k. Does 25 divide n(5)?
True
Let q be (-2 + 1)/((-6)/270). Suppose 0 = -3*h + s + 7, -h = -6*h - 5*s + q. Suppose j - 35 = -h*g, 2*j - 4 = 2*g - 24. Is g a multiple of 8?
False
Let x(s) = -s**2 - s - 23. Let d be x(0). Let y = d + 67. Is 11 a factor of y?
True
Suppose -6*k + 151 = 121. Let x(t) = -t**3 + 5*t**2 + 2*t - 7. Let p be x(5). Suppose -p*a - 92 = -k*a. Does 16 divide a?
False
Let v(d) = -2*d - 14. Let o be v(-11). Let u(y) = y - 11. Let g be u(o). Let r(p) = -11*p - 3. Does 10 divide r(g)?
True
Let a be (-2)/7 - 2820/28. Let s = -26 - a. Is s a multiple of 10?
False
Let j(m) = -8*m**3 + 2*m**2 - 3*m + 1. Let x be j(2). Let d = x + 77. Is d a multiple of 16?
True
Let g(h) = 53*h - 136. Does 39 divide g(21)?
False
Suppose -7 + 3 = -x. Suppose 16*y - 13*y - 9 = 0. Suppose -y*p + x*l - 1 = 0, 1 = -2*p + l + 7. Is 4 a factor of p?
False
Let z(k) = -k**3 - k**2 + 3*k + 2. Let o be z(-2). Let l be 76 - (4/(-2) + -2). Suppose 0 = -5*h - o*h + l. Is 4 a factor of h?
True
Suppose 0 = 3*z - 2*m + 68, 5*m = 3*z + 93 - 13. Let k = z - -20. Suppose k = g - 4 - 26. Does 10 divide g?
True
Suppose 0*f = b - 3*f - 19, 4*b + 3*f - 31 = 0. Let v = -8 + b. Does 3 divide ((-22)/(-4))/(v/4)?
False
Suppose h - 7 + 2 = -2*y, -3*y + 3 = 0. Suppose -n = h*n + 24. Let k(r) = -5*r - 5. Does 15 divide k(n)?
False
Let h be ((-89)/4)/((-3)/12). Let s = h - 54. Let q = s + 9. Is q a multiple of 9?
False
Let c(i) = -3*i - 3. Let m(l) = 12*l + 13. Let b(g) = 26*c(g) + 6*m(g). Let a be b(-1). Let r(o) = -o**3 + 8*o**2 - 7. Does 17 divide r(a)?
False
Suppose -4*m - 15 = -f, -2*m = 3*m - 2*f + 18. Let u be 160/3 + m/(-6). Suppose -u = -6*n + 78. Is 8 a factor of n?
False
Let b = -314 - -36. Let u be 2 - (-2 + 1) - b. Suppose -209 - 70 = -5*v - t, -5*v + u = -t. Is v a multiple of 11?
False
Let y(f) be the third derivative of -11*f**4/6 - 7*f**3/6 + 18*f**2. Is 23 a factor of y(-2)?
False
Let p = 144 - 71. Let v = 