se -u - 13 + 100 = i. Is u a multiple of 16?
False
Let a = -3024 - -5110. Does 14 divide a?
True
Let v(y) = y**3 - 15*y**2 - 13*y + 46. Does 47 divide v(16)?
True
Suppose 112 = 7*r - 1470. Does 24 divide r?
False
Let z(i) = i**2 + 4*i + 3. Let v be z(-3). Suppose v = 2*j - 0*j - 5*m - 95, 4*m - 204 = -4*j. Does 11 divide j?
False
Let x be (-2)/4*(3 - 3). Suppose -9 = 2*b + i - 4*i, x = -2*b - 4*i + 12. Suppose b = -4*g - 4*r + 80, -5*g + r + 76 = -0*g. Is g a multiple of 4?
True
Let v(h) = -h**3 + 9*h**2 + h - 3. Suppose 0 = -6*j + 2*j + 32. Let p be v(j). Let y = -45 + p. Is y a multiple of 12?
True
Let d(o) = o**2 + 3*o + 4. Let u be d(-3). Suppose 4*j = -u*c + 16, -2*j + 3*j - 29 = 4*c. Is 19 a factor of (-57)/2*(7 - j)?
True
Suppose b - 77 = 8*p - 13*p, -3*p = 4*b - 223. Is b a multiple of 5?
False
Let y be (4/1 - 7)*-3. Let x(l) be the second derivative of -l**4/12 + 7*l**3/3 + 5*l**2/2 - 3*l. Does 20 divide x(y)?
False
Let l(b) = -6*b + 22. Suppose v + 8 + 1 = 0. Is 10 a factor of l(v)?
False
Let q be (-84)/56*(-10)/3. Suppose -5*u + q*s = -295, 5*u - 4*s = 325 - 34. Does 11 divide u?
True
Let i(q) be the first derivative of -q**4/4 + 7*q**3/3 + 19*q**2/2 - 13*q - 8. Is 20 a factor of i(7)?
True
Let m = 5 + -9. Let a(z) = -3*z**2 - 4*z - 3. Let j be a(m). Does 10 divide (-20)/(-6)*(-378)/j?
False
Let o(r) = -422*r**3 - 2*r**2 - 2*r - 2. Is o(-1) a multiple of 6?
True
Suppose 0 = 2*o + 2*c - 380, -4*c - 376 = -2*o - 7*c. Suppose -3*q - 4*h + o = 0, 5*q - 105 = -4*h + 229. Is q a multiple of 14?
True
Suppose 4*f - 4 = -a, f - a + 16 = 3*a. Suppose f = 2*o + 35 - 131. Suppose -5*u + o = -v, 3*v - 9 = -2*u - 0*v. Is 4 a factor of u?
False
Let c(b) = 11*b + 3 + 4*b**2 - 6 - 5*b**2 + 2*b**2. Let p be c(-11). Is 5 a factor of 84/18 - 1/p?
True
Let l = 10 + 18. Is l/(-21) - 66/(-9) a multiple of 6?
True
Let x(f) = f**2 - 2*f - 15. Suppose v = 3*h - 3*v - 50, -25 = 5*v. Is 10 a factor of x(h)?
False
Suppose 4*q + 5*i - 35 = 0, -2*q - 3*i = -2*i - 19. Suppose -7*h + 4*h = -5*f + 29, q = 5*h. Is f a multiple of 2?
False
Let v = -663 + 1419. Is v a multiple of 17?
False
Suppose 4*l - 3374 = -2*g, 3*l = -3*g - 0*g + 2529. Is l a multiple of 22?
False
Is 231 - (26/(-10) + 66/(-165)) a multiple of 17?
False
Let z(g) = -g**2 - 6*g + 2. Let t be z(-6). Suppose t*m + 0 - 8 = 5*b, -m + 4 = -3*b. Let o(i) = i**3 - 2*i**2 + 3*i - 1. Is 9 a factor of o(m)?
False
Let q = -577 + 969. Is 15 a factor of q?
False
Let i(b) = 60*b**2 - 2*b + 2. Let h be i(1). Suppose -3*f = -6*f + h. Is 20 a factor of f?
True
Suppose -6*k - 36 = -2*k. Let u(h) = h**2 + 3*h + 5. Is 13 a factor of u(k)?
False
Let x(i) = i**3 + i**2 - 2*i + 1. Let w(r) = -r**3 + 10*r**2 + 2. Let k be (6 + 2 + 2)*1. Let l be w(k). Does 7 divide x(l)?
False
Let i(n) be the first derivative of 15*n**2/2 - 7*n + 22. Let o = -4 - -6. Does 8 divide i(o)?
False
Is -18*(-19)/((-399)/(-476)) even?
True
Let k = 110 + -124. Let t = 191 + k. Is 17 a factor of t?
False
Suppose -g = -4*l - 46, 56 = 2*g - 0*l + 4*l. Suppose -2*z - z = 4*a - 154, -z + 3*a + g = 0. Does 6 divide z?
False
Suppose 785 = 4*q - 5*a, 3*q + 2*a - 320 = 263. Is 15 a factor of q?
True
Let w(o) = -3*o + 1 + 4*o**2 - 2*o - 2*o**3 + 0*o**3 + o**3. Let r be w(4). Let q = 32 + r. Does 6 divide q?
False
Suppose 3*d + 10 = 5*a - 9, -5*a + 2*d + 16 = 0. Let r be -2 + a + 4*-1. Let u = 8 - r. Does 4 divide u?
True
Suppose 4*h = -2*y + 160, 3*y + 0*y + 4*h = 238. Is 18 a factor of 52/y + 410/6?
False
Suppose 2*i = -3*h + 6, -3*h + 2*i + 2 = 8. Let m be -3 + h + (4 - -61). Suppose x = -x + m. Does 8 divide x?
False
Let y(q) = 161*q**2 - 16*q - 68. Is y(-4) a multiple of 117?
False
Suppose 0 = -4*z + 4, 2*z - 5*z = 2*y - 249. Is 5 a factor of y?
False
Suppose -3*h = -18*h + 2580. Does 16 divide h?
False
Suppose -k + 9 = b, -4*b - k + 4*k + 71 = 0. Let g(y) = 11 + 12 - b*y - 21 - 9*y. Does 17 divide g(-1)?
False
Suppose 1679 = 9*u - 1741. Does 10 divide u?
True
Is 16 a factor of 2796*6/45 - (-2)/10?
False
Let b(q) = -13*q - 5 + 9 - 8. Let v be b(-3). Suppose -4*i + v = -21. Is 13 a factor of i?
False
Suppose -2*t + 35 = 3*t. Suppose 4*c = t + 9. Suppose c*k - 54 = 50. Is 8 a factor of k?
False
Let p(w) = w**3 + w**2 - 2*w. Let r(q) = q**3 - 5*q**2 - 7*q + 4. Let h be r(6). Let z be p(h). Suppose -a + 14 + 36 = z. Is a a multiple of 25?
True
Let a(c) = 102*c - 39. Is 29 a factor of a(20)?
True
Suppose -3*g = -7*g + 160. Let i = 82 - g. Does 14 divide i?
True
Let a(m) be the second derivative of -m**4/12 - 3*m**3/2 + 6*m**2 + 6*m. Let c be a(-10). Suppose -59 = -c*p + 13. Does 8 divide p?
False
Let m be -6 - (0 + -1 + -2). Is ((-21)/2)/((-4)/(-128)*m) a multiple of 13?
False
Suppose -2 = 6*h - 14. Suppose 2*u + 2 = 4*o, 3*o - h*u = -2 + 3. Is o/((-294)/(-291) + -1) a multiple of 27?
False
Let t = -35 - 5. Let f = 163 - t. Does 13 divide f?
False
Let z be 6948/(-24)*16/6. Is 10 a factor of (z/(-8))/((-6)/(-12))?
False
Let z(h) = h + 4. Let s be z(0). Suppose -v = s*v - 180. Does 9 divide v?
True
Let c be -3*(4 + -5 - 0). Suppose c*v + 4*i = -i + 483, -5*v + 836 = -2*i. Suppose 3*j - v - 59 = 0. Is j a multiple of 25?
True
Suppose -5*m + 6262 + 6038 = 0. Does 25 divide m?
False
Suppose 0 = -0*w - 3*w + 9. Let i(g) = -g**2 + g + 7. Let p(n) = n**2. Let d(b) = i(b) + 3*p(b). Is d(w) a multiple of 14?
True
Suppose -3*a = -4*i - 285, -5*i + 197 = 3*a - 61. Is a a multiple of 83?
False
Suppose 353 + 13 = 3*g. Is 27 a factor of g?
False
Let b be (4/2 + 0)*2. Let z be (-3)/2*(150/(-18) + 5). Suppose z*v = b*v + 18. Does 18 divide v?
True
Let s(c) = -63*c + 9. Is s(-14) a multiple of 35?
False
Let g = -84 - -229. Is g a multiple of 19?
False
Suppose 3*j + 100 = 8*j. Suppose j = 2*s - 16. Does 6 divide s?
True
Let c(j) = -j**2 + 8*j + 22. Is 4 a factor of c(9)?
False
Let f be -3*(-3)/9 + -2. Let s(g) = -7*g**3 - 2*g**2 - g. Let i be s(f). Suppose -q - i + 3 = 0, 3*t + 3*q = 306. Does 15 divide t?
True
Suppose 8*k = 6*k + 20. Let x be (-4)/k - 1064/(-35). Suppose 5*b + x = g, -3*b + 0*b - 238 = -5*g. Is g a multiple of 10?
True
Let m(b) = -3*b - 9. Suppose r - 8 = 18. Suppose -5*a = -3*h + h + r, -6 = 3*h. Does 9 divide m(a)?
True
Is 60/1*(-455)/(-10) a multiple of 14?
True
Let j(z) = z + 9. Let b be j(-15). Let u be (b/4 + -2)*-22. Suppose 0 = 5*d + q - 2*q - 89, 2*q - u = -5*d. Is d a multiple of 14?
False
Let f = 16 - 64. Let q = 74 + f. Is q a multiple of 13?
True
Suppose 2*f - 933 = -2*i - 277, 0 = 5*f - i - 1652. Does 2 divide f?
True
Suppose -z = -2*z - 2*n + 661, -3*n - 1301 = -2*z. Suppose 4*g + g - z = 0. Does 32 divide g?
False
Suppose 2*a + 4*s = 686, 5*a - 4*a + 3*s = 347. Does 67 divide a?
True
Suppose 5*m - 10 = 4*p, 2*m - 2 = 3*p - 5. Suppose 2*v + 2 = m. Is (-20)/((-1)/(9/v)) a multiple of 13?
False
Does 6 divide 6/(-4)*(-2 - 2)?
True
Let x(h) = -h**3 + h**2 + 12*h - 4. Let a be x(-7). Suppose 5*o - 94 = -3*g + 372, 2*g + 2*o = a. Is 7 a factor of g?
True
Suppose -v - 5*n + 56 + 100 = 0, 4*n - 446 = -3*v. Suppose -5*x + 14 = -v. Suppose -10 = -3*f - 5*r, f + 2*r - x = -3*f. Is 3 a factor of f?
False
Let l = 15 - 3. Does 9 divide (-4)/l*3 + 28?
True
Suppose -27 = 4*i - 7, f = -i + 1. Let w be (-2)/(3/((-750)/5)). Suppose 0 = -f*m + m + w. Is m a multiple of 10?
True
Suppose -20*i + 55293 = i. Is 20 a factor of i?
False
Let m = 1585 + -1058. Suppose 5*i - r - m = 0, 2*i + 5*r - 6*r = 212. Suppose -2*p - l + i = 3*p, -3*l = 3*p - 63. Is 20 a factor of p?
False
Suppose -o - 5*p = -188, -4*o = -0*p - p - 794. Does 9 divide o?
True
Let k(c) = 208*c**3 - 5*c**2 - 6*c + 33. Does 37 divide k(2)?
True
Is 58 a factor of 14/(-84) + (-38983)/(-42)?
True
Suppose -2*t + 2 = 3*y - 14, 5*y = 20. Let g(n) = 12*n**3 + 3*n**2 - 2*n - 1. Is 5 a factor of g(t)?
False
Let j = -166 + 118. Let z = j - -54. Is 6 a factor of z?
True
Let u be (2*9)/(3 - 1). Let m = -158 + 162. Suppose u*b = m*b + 85. Is b a multiple of 17?
True
Let x be 4*4/48*15. Suppose -3*r + x*p = -435, -2*r + p + 294 = -p. Is 25 a factor of r?
True
Suppose l - 56 = 3*m, -5*m - l - 92 = -4*l. Let a = -15 - m. Suppose 109 = a*y - 91. Is 14 a factor of y?
False
Let a be (-4 - 0/5)*-2. Let o(b) = 3 + a + 27*b - 5. Is o(2) a multiple of 10?
True
Let c = 1532 - 280. Does 14 divide c?
False
Let m(w) = 5*w**2 - 