18. Is n(0) a multiple of 37?
False
Suppose 17*i - 36 = 20*i. Does 41 divide i/4 - -470 - 0?
False
Suppose -8*b + 12 = 4. Is 6 a factor of 3289/138 - b*(-1)/6?
True
Let n(i) = -8*i**3 + 4*i**2 + 7*i + 3. Let h be n(-4). Let c = h + -271. Does 7 divide c?
True
Suppose 24603 = 5*j - 3*y, -13*j + 14*j = 2*y + 4929. Is j a multiple of 35?
False
Suppose -7*a + 1 = -27. Suppose 3*m + b - 541 = 0, -b = -m + a*b + 175. Is m a multiple of 12?
True
Is 33265/40 + (-90)/(-240) a multiple of 8?
True
Let b(o) = 71*o**2 - 7*o + 16. Let g be b(-4). Suppose 0*l = -10*l + g. Does 5 divide l?
False
Let y(j) = 114*j - 25. Let s be y(3). Let l = s - 24. Is 30 a factor of l?
False
Let j = 157 - 157. Suppose 2*f - 218 = -j*f. Is f a multiple of 9?
False
Let u(z) = -7*z - 164 - 16*z - 4*z - 4*z - 3*z. Is 6 a factor of u(-7)?
False
Let d(n) = 6*n - 39. Let p be d(11). Suppose 0*c - p = -q - 3*c, 5*q = -4*c + 91. Suppose 4*f - 4*w - 231 = 461, 0 = -3*w - q. Is f a multiple of 10?
False
Suppose -2*l = -5*v - l + 6219, 0 = 4*l - 4. Suppose -4*g - 310 = -3*k - 1561, 4*g - v = -4*k. Is 12 a factor of g?
True
Let i be 3/4 - 279/(-12). Is (i/7)/(28/98) a multiple of 3?
True
Suppose 4*j = 2*c - c + 109, -c = 3*j + 130. Suppose m - i - 2*i = -70, 3*i = -m - 46. Let x = m - c. Does 9 divide x?
True
Let s(l) = -1 + 4*l**2 + l**2 + 3*l**2 + l - 3*l**2. Let w be s(1). Is 82 + w/((-15)/(-6)) a multiple of 6?
True
Let o = 3857 + -855. Suppose -7*m = -1044 - o. Does 34 divide m?
True
Suppose c + 2*k - 14 = 0, -8*c + 5*c + 5*k - 2 = 0. Suppose 3*a = -3*h + 870, -3*h = -2*a - c*h + 575. Is 29 a factor of a?
False
Let o(v) = -309*v + 2652. Does 23 divide o(-57)?
False
Suppose -1601 = -3*d + 5*g, 0*g = 2*d - 4*g - 1068. Let m be (-193 - -17)/(5/10). Let j = d + m. Is 18 a factor of j?
True
Suppose 6*n - 7*n - 42 = 0. Let g = n - -45. Is 5 a factor of (-104)/(-4) + 3/(-9)*g?
True
Suppose 2*j + 3*a + 6 = -2, 0 = 4*j - 5*a + 16. Let c(d) = -122*d - 89. Is 13 a factor of c(j)?
False
Suppose -5*z - 54 = -164. Suppose 0 = -18*f + z*f - 4*v - 1528, 4*f + v = 1533. Does 7 divide f?
False
Is 8 a factor of 260/195*((-40554)/(-12) - (-6)/2)?
False
Suppose 0*n + 2*n = 13*n. Suppose -5*w - 9*w + 56 = n. Suppose 3*m - 17 - 123 = -5*x, -2*m - w*x + 90 = 0. Does 55 divide m?
True
Suppose h + 5 = 4*l, 3*h + 0 = -4*l - 15. Let a be 3 - (-75 + l)/(-3). Let v = a - -25. Is v a multiple of 2?
False
Let j(d) = -2*d**2 - 4*d + 17. Let x be j(-6). Let p(s) = s**2 + 23*s - 66. Is p(x) a multiple of 13?
True
Is 84 a factor of ((-92)/(-5))/((-2)/(-685))?
False
Let y = 10118 + 26997. Is y a multiple of 65?
True
Let d be 108/(-8)*(-48)/9. Suppose -45 = -3*h + 3*z + 48, -2*h + 4*z + d = 0. Is 13 a factor of h?
True
Let x(f) = f**2 + 0*f**2 + 8*f**2 + f**3 - 3 + 9*f - 2*f**2. Let a be x(-5). Suppose 4*l = 8, 0 = 5*k - a*l + 6*l - 803. Is k a multiple of 22?
False
Is ((8/60)/(1/(-430)))/((-6)/351) a multiple of 12?
False
Let s(z) = -61*z - 7. Suppose 0*i = -2*y - 5*i + 362, i + 4 = 0. Suppose -182 = -3*v - y. Is s(v) a multiple of 44?
True
Let n be (-345)/21 - 3/(-7). Let k = -5 + n. Is 21 a factor of (-873)/k + (-6)/(-14)?
True
Let m = 248 - 272. Is (5/(-4 - m))/((-3)/(-156)) even?
False
Let p(g) = -g + 33*g**2 - 8*g + 6 + 4*g. Let v be p(2). Suppose -155 = -3*o + 2*s, 4*o - s - 87 - v = 0. Is o a multiple of 11?
True
Suppose 0 = -4*r - 12, -3*r + 7081 = 4*n - 2*r. Suppose s + 454 = 4*h - 131, 3*s + 4*h = -n. Let p = s + 829. Is p a multiple of 16?
True
Let i = -55 - -55. Suppose 7*r - 588 = -i*r. Does 22 divide ((-1)/1)/(-7 + 6) + r?
False
Let o(x) = 18*x - 33. Let t(f) = f + 1. Let a(g) = -o(g) - 3*t(g). Let n(m) = -m**2 + 3*m - 3. Let p be n(3). Is a(p) a multiple of 14?
False
Let i = 55 + -51. Suppose 2*w - 588 = 3*b, -2*w + 316 = -w + i*b. Is w a multiple of 15?
True
Suppose -1276116 = -92*u - 22*u. Is 58 a factor of u?
True
Let c = 8826 - 5394. Does 143 divide c?
True
Let y be 26215/40 + 9/(-24). Suppose 4*h - 125 - y = 0. Is 12 a factor of h?
False
Suppose -5*f - 12910 - 3969 = -2*u, -8*u + 67538 = 2*f. Does 63 divide u?
True
Let c(s) = -2*s - 23. Let r be c(-8). Let x be (14/8)/(r/(-812)) + 2. Let q = x - 132. Is 14 a factor of q?
False
Let l = 6939 - -3147. Is 246 a factor of l?
True
Let t(b) be the third derivative of -4*b**4/3 - 13*b**3/3 + 9*b**2 - 2*b. Is t(-20) a multiple of 20?
False
Suppose -31*h + 97384 - 8199 = -30692. Does 9 divide h?
False
Does 14 divide (-2 + 1 - -2)*(14 - (6 - 7580))?
True
Let c = -7 - -35. Let s = 44 - c. Let z(v) = 4*v - 40. Is 7 a factor of z(s)?
False
Let l = -2371 + 3797. Is l a multiple of 5?
False
Let s = 70 + -79. Let h = 1074 - s. Does 19 divide h?
True
Let i(h) = -h**3 - 3*h**2 + 15*h - 12. Suppose -4*t - 2*f - 18 = 0, -4*f + 13 = -2*t + 3*t. Does 6 divide i(t)?
False
Let v(x) = x**3 + 15*x**2 - 21*x + 13. Let l be v(-16). Suppose 0 = -103*i + l*i + 3010. Is i a multiple of 7?
True
Suppose 4*j = 9*j - l - 1682, -l + 670 = 2*j. Does 42 divide j?
True
Let y(o) = -1 + 9*o - 2 + 6 - 2. Is 6 a factor of y(11)?
False
Suppose 107*a - 557920 = -53*a. Is 11 a factor of a?
True
Let q(d) = -99*d + 641. Is q(-21) a multiple of 32?
True
Let j(w) = w**2 - w - 6. Suppose l = -y - 2*y, -y - 24 = 3*l. Let g(d) = d**3 + 9*d**2 - d - 14. Let f be g(l). Does 8 divide j(f)?
True
Let n = -152 + 56. Is 18 a factor of (n/14)/((8/(-126))/2)?
True
Suppose -3*s + 5*f = 443, 0 = 4*s + 8*f - 11*f + 609. Let n = 23 - s. Is n a multiple of 15?
False
Let x(f) = -1777*f + 6577. Does 101 divide x(-20)?
True
Suppose 4*y - 12960 = y + 3*p, 0 = -2*y - p + 8652. Is y a multiple of 59?
False
Suppose 3*s = 4*z - 197, -5*s - 109 = -2*z - 0*z. Let q = -47 + z. Suppose -y - 2 = q, 415 = 4*n - n - 5*y. Is n a multiple of 17?
False
Let m = -230 + 336. Suppose 7*c = 1331 - m. Does 7 divide c?
True
Let h(k) = -43 - 6*k**2 + 3*k**3 + 4*k**2 - 10*k**3 + 6*k**3 - 4*k. Is 43 a factor of h(-6)?
False
Suppose -12*d + 18*d + 15756 = 12*d. Does 9 divide d?
False
Suppose 7*a + 0*a + 77 = 0. Is 2 - 1 - (5 + a - 143) a multiple of 25?
True
Suppose -13*h - 20 = 6. Let f(s) = -39*s**3 + 5*s**2 + 5*s + 1. Is 36 a factor of f(h)?
False
Let p = 34 + -32. Is 3 a factor of (-6)/(-36)*12/p + 6?
False
Suppose 9 = -3*x, -7*f + 5*f = -4*x + 418. Let s = f - -383. Does 24 divide s?
True
Suppose 0 = 4*o + 187*j - 190*j - 26958, -o + 6736 = j. Is o a multiple of 72?
False
Let z(h) = h**3 - h**2 - 407. Is 53 a factor of z(18)?
False
Let c = 2864 - -1805. Is 7 a factor of c?
True
Suppose -2*r - 6513 = -5*r - 3*f, f + 6529 = 3*r. Is r a multiple of 75?
True
Suppose -28*y + 14*y + 350 = 0. Let u(f) = -f**3 + 24*f**2 + 37*f + 6. Is 18 a factor of u(y)?
True
Does 62 divide (1248/60 + -8)/(26/6955)?
False
Let g(y) = 1 + 2*y + 0 + 4*y + 6*y. Let l be g(3). Suppose -p + l = -29. Is 22 a factor of p?
True
Let n = 297 + -183. Is 6 a factor of n?
True
Let s = -405 - -448. Suppose -46*t - 2*w = -s*t - 812, 3*t - 802 = -4*w. Is 2 a factor of t?
True
Let p(x) = 12 + 13*x + x - 2*x + 0*x + 0*x. Is p(36) a multiple of 4?
True
Suppose 16*b = 8*b - 64. Let a be (b/(-10))/((-24)/(-60)). Suppose 32 = a*d - 132. Is d a multiple of 23?
False
Let k = 52 + -58. Let d be (1 + -13)*(128/(-12) - k). Let o = d + -44. Does 3 divide o?
True
Suppose 5*u + 3 = -4*s + 2, u = -s - 1. Let j = -2 - s. Suppose 8*k - 3*k - 312 = -3*d, j*d = 8. Is 10 a factor of k?
True
Let v = 8588 + -3394. Is v a multiple of 7?
True
Let x(d) = d**3 - 4*d**2 - 22*d - 25. Let r be x(11). Suppose f + 2*f = c - 286, 2*c = 2*f + r. Is 13 a factor of c?
False
Let u be ((-1)/2)/((-3)/(-12) - 0). Is (-1 + u)*(-3 - 13)*10 a multiple of 16?
True
Suppose -9*z + 1249 = 2*z - 36503. Is 66 a factor of z?
True
Let m = 181 + 28210. Does 11 divide m?
True
Let p(i) = 4*i**2 + i + 9. Suppose -u = 0, -2*u + 20 = 3*d + d. Let y(w) = 6*w**2 + 2*w + 13. Let k(t) = d*y(t) - 7*p(t). Does 8 divide k(-6)?
True
Let y(k) = 8*k**2 + 679*k + 284. Is 15 a factor of y(34)?
False
Suppose 1164 = -10*r - 13686. Let m be -4 - r/(-21) - (-6)/(-21). Let q = m - -143. Does 34 divide q?
True
Suppose 5*x = -2*z + 6*z - 694, 5*x = 5*z - 695. Let c = x + 405. Suppose 117 = 4*v - c. Is v a multiple of 12?
True
Suppose 18*r - 1072 - 422 = 0. Let z = 83 - r. Suppose z = -2*u + 5*w + 367, -3*w = -u + w + 182. Does 42 divide u?
False
Let