
Let m be 2/4 - 104/(-16). Let d(h) = -h**2 + 9*h - 9. Does 4 divide d(m)?
False
Let u be (295/10)/(2/4). Suppose 4*i - 4*q + 34 = -14, 5*q = -2*i - u. Let l = i + 47. Does 15 divide l?
True
Let o be (1 - 14/4)*-2. Let g(f) = 3*f**2 - 7*f - 1. Is 19 a factor of g(o)?
False
Let v(w) = w**3 + 4*w**2 - 4*w + 2. Is v(2) a multiple of 8?
False
Does 6 divide (-2)/(-15) - 1376/(-30)?
False
Let y(c) = 22*c**3 - c. Is 6 a factor of y(1)?
False
Suppose 3*d = -25 + 97. Is 12 a factor of d?
True
Let z = 15 - 47. Let f be z/(-6)*105/10. Suppose -3*r + 2*k = -f, -r = 3*k + k - 28. Is r a multiple of 20?
True
Let f = 11 + -19. Let y(u) = 2*u**2 + 11*u + 8. Does 9 divide y(f)?
False
Let g = 81 - -32. Suppose 5*v - 52 = g. Suppose 19 = 2*x - v. Is 15 a factor of x?
False
Let o(c) = c**3 - c**2. Let r(k) = 4*k**3 + 6*k**2 + 10*k + 4. Let z(t) = 3*o(t) - r(t). Does 4 divide z(-8)?
True
Suppose -3*v + 3*y = -57, 2*y + 7 = v - 15. Is v a multiple of 5?
False
Suppose 7 = -3*z + 4. Is (-105)/(-6) + z/(-2) a multiple of 8?
False
Suppose -l + 48 = 5*d - 75, -15 = -d + 3*l. Is d a multiple of 5?
False
Suppose -d + 17 = 4*f, 5*f = -4*d + 6*f + 17. Suppose 5*t = -y - 45, -3*t = 4*y + 15 - d. Does 14 divide 680/25 - (-2)/t?
False
Suppose 0 = -f + 1 + 12. Let l = 20 - f. Is 7 a factor of l?
True
Let p = 40 - 25. Does 4 divide p?
False
Suppose 0 = 5*v - 224 + 54. Does 17 divide v?
True
Suppose 5*f - 846 = -3*g, -3*g - 172 = -2*f + 179. Is 19 a factor of f?
True
Let b = -3 - 5. Let f be b/20 + (-84)/(-10). Does 11 divide ((-58)/f)/((-2)/8)?
False
Let f(s) = -5 - 2*s - 5 + 1 + 4. Is f(-4) a multiple of 3?
True
Suppose 45 = 5*d - 4*r - 37, -4*d + 41 = 5*r. Is 3 a factor of d?
False
Let f = 584 + -335. Is f a multiple of 16?
False
Let o be ((-1)/(-2))/((-3)/198). Is 11 a factor of (14/21)/((-2)/o)?
True
Suppose 345 = 7*f - 2*f. Suppose 3*o - f = -4*u + 17, o - u = 17. Is 7 a factor of o?
False
Suppose -v + 5*k + 7 = 3*v, k + 11 = -4*v. Is 10/(-15)*57/v a multiple of 5?
False
Suppose -4*z = s, -4*z - 2*s = -0*s - 4. Let h be (-52)/(-4)*(0 + z). Let p = 12 - h. Does 19 divide p?
False
Let j = 40 - -10. Is j a multiple of 10?
True
Suppose 0*s = 2*s - 144. Is 12 a factor of s?
True
Suppose 0*m = 5*m - 25. Is m a multiple of 2?
False
Let q be (-14)/49 + (-268)/(-7). Let i(g) = g + 1. Let c be i(2). Suppose q + 100 = c*f. Does 16 divide f?
False
Let z = -184 - -130. Let j = 90 + z. Is j a multiple of 12?
True
Let u = 280 - 192. Is u a multiple of 28?
False
Let v(x) = 1 - 2*x**2 + 2 + x**3 + 2*x - 4. Let q be v(2). Suppose -5*p + 79 = 2*w, 0 = -0*w - 4*w + q*p + 145. Is w a multiple of 13?
False
Let r(w) = -5*w + 9. Is r(-6) a multiple of 13?
True
Does 35 divide (7/2)/((-3)/(-30))?
True
Let b = 4 - 2. Let y = 17 - b. Is y a multiple of 6?
False
Let u = -29 - -47. Suppose 0*l + u = l. Does 11 divide l?
False
Let b(v) = -v - 7. Let u be b(-9). Let q be u/(-5) + 441/15. Suppose r - 2*r = -q. Is 13 a factor of r?
False
Let d be 434/10 - (-6)/10. Suppose 4*j - d = -4*u, 2*u + 4*j - 42 = -10. Does 3 divide u?
True
Let y(h) = -h**3 + 6*h**2 + h - 8. Let t be 2/(-3) - (-60)/9. Let j be y(t). Does 7 divide (0 + 7)/(j - -3)?
True
Let t be 20/6 + 3/(-9). Suppose 5*n + 67 - 173 = -t*y, 0 = 4*n - 2*y - 76. Is 10 a factor of n?
True
Suppose 4*v = -42 - 118. Let y = 70 + v. Is 13 a factor of y?
False
Suppose 284 = 5*z - 3*z. Is 42 a factor of z?
False
Let r be 3/(-6)*-3*2. Suppose 0 = 6*g - 4*g - 5*a - 82, r*g = -3*a + 123. Suppose -7*l + x = -2*l - g, 4*l = 2*x + 28. Is 9 a factor of l?
True
Suppose 5*r + 56 - 11 = 0. Let m be (-2)/9 + (-56)/r. Is (-2)/m - (-73)/3 a multiple of 12?
True
Let l(t) = -t + 11. Suppose -5 - 5 = -2*j. Suppose -41 = -3*w - 5*q, 17 = -4*w - j*q + 65. Is 2 a factor of l(w)?
True
Suppose -405 = 2*t - 5*t. Is t a multiple of 27?
True
Let d be ((-9)/6)/((-1)/4). Let m be 32/d - (-1)/(-3). Suppose -4*y - m*a = -58, 1 + 19 = y + 4*a. Is y a multiple of 12?
True
Let z be -2*12/(-1) + -2. Let n be (0 + 1)/((-2)/z). Is (1 - 0)*(2 - n) a multiple of 13?
True
Suppose 7*k - 9*k = -62. Is 14 a factor of k?
False
Suppose 0 = -5*c + 17 + 243. Is c a multiple of 26?
True
Let q = 592 + -264. Does 58 divide q?
False
Let w = 5 + -2. Suppose 4*c = 47 - w. Is 4 a factor of c?
False
Suppose 15 = -0*q - 3*q, 0 = 2*z + 2*q + 76. Let f = -124 - -178. Let r = f + z. Is 11 a factor of r?
False
Let b(f) = 4*f - 3. Let z be b(7). Suppose z = 2*a + 3*a. Suppose -w = -2*c + 1 + 4, a*c = 2*w + 14. Is c a multiple of 4?
True
Let c(s) = s**3 - 9*s**2 + 5*s + 10. Is 16 a factor of c(9)?
False
Let y(b) be the first derivative of -b**4/4 - b**3 - 5*b + 1. Let j = -9 + 5. Is 11 a factor of y(j)?
True
Suppose -137 = -w - 82. Does 8 divide w?
False
Suppose 0 = 2*z + 3*z - 25. Suppose 3*r - 180 = -2*p - 2*p, -60 = -r - z*p. Does 15 divide r?
True
Is 21 a factor of 1*-2 - (11 + -69)?
False
Let x(k) = k**3 - 10*k**2 + k + 12. Does 11 divide x(10)?
True
Suppose 4*t - 468 = -0*t. Is t a multiple of 16?
False
Suppose -3*l + 8*l = -10, 258 = 4*n - l. Is 8 a factor of n?
True
Let q = -20 + 11. Let k = 19 + q. Does 10 divide k?
True
Let g = 6 - 4. Suppose 2 = g*v + 62. Let c = v - -67. Is 15 a factor of c?
False
Suppose -5*v + 40 = -d + 2*d, 5*d - 200 = v. Let y = d - 21. Suppose 4*g = 13 + y. Is 4 a factor of g?
True
Suppose -2*t + 393 = 41. Suppose 99 = 2*n - 0*g + 3*g, -g - t = -3*n. Suppose -5*k = 3*y - 127, -2*k = -5*y - 0*y - n. Is k a multiple of 13?
True
Suppose 0 = 3*r - 2*r - 81. Let w be (3 - (-3 - -3)) + 1. Suppose -26 = -2*k - 5*u, -w*k + r = -2*u + 5. Is 9 a factor of k?
True
Let l be 4 + 1/1*1. Suppose -l*v = -60 - 5. Is v a multiple of 11?
False
Suppose 2*a + 4 = -2*a. Let u be 0 - (a - (-2)/(-2)). Suppose 20 = -0*k + u*k. Does 10 divide k?
True
Let j be 0/(-3*(-6)/(-9)). Let l(f) = -f. Let z be l(j). Suppose m - 21 = -z. Is m a multiple of 7?
True
Let l be (-1 - -7)*(-78)/(-4). Is 10 a factor of 2/8 + l/12?
True
Let f be ((-11)/2)/((-2)/12). Suppose 2*m = j + 18, -5*m + j + f = -18. Does 11 divide m?
True
Let y(j) = 20*j**2 + 2*j + 1. Let x = -5 + 8. Suppose -3*z + 3 = 4*d - 2, 9 = x*z. Is 18 a factor of y(d)?
False
Let m = 37 + -66. Let t = 25 - m. Is t a multiple of 18?
True
Suppose -3*t = -37 - 26. Let a = t + -8. Does 9 divide a?
False
Let q = 40 - 4. Is q a multiple of 12?
True
Suppose -301 - 489 = -5*k. Is k a multiple of 19?
False
Let o be (30/6)/(-1 + 2). Is 4 a factor of (16/o)/((-6)/(-30))?
True
Suppose -5*h + 1 = d + 11, -2*h - 6 = 0. Let f(y) = -2*y**2 + d*y**2 + 2 + 10*y - y**2. Is f(-7) a multiple of 15?
True
Let t(f) = f**2 + 7*f + 3. Suppose 0*v = 5*i - 2*v - 30, i + 4*v - 6 = 0. Is t(i) a multiple of 27?
True
Let z(d) = 3*d**2 - d + 1. Let o = 3 + -2. Let h be z(o). Suppose 10 + 17 = h*u. Is 6 a factor of u?
False
Let n be (-6)/(-33) - (-158)/(-22). Let o = n - -47. Is o a multiple of 28?
False
Let m be (-3)/(-1) - -1*2. Suppose t - m = -0*t. Suppose t*l - 69 = 6. Is 7 a factor of l?
False
Let c(g) = -g**3 - 2*g**2 + g + 18. Does 9 divide c(0)?
True
Let o = -3 - -7. Suppose 2*b - 2 - o = 0. Suppose -b*s + 71 + 19 = 0. Does 15 divide s?
True
Suppose 4*a + k = 1405, 0*k - 2*k - 1390 = -4*a. Is 50 a factor of a?
True
Let m = -6 + 7. Suppose w - 4*f = -m, 0 = 2*w - f - 11 - 8. Is w a multiple of 3?
False
Suppose 9 = 4*u - 3, -j + 3*u + 75 = 0. Is j a multiple of 34?
False
Let y = -2 + 4. Suppose 3*d - y*d = 0. Suppose -5*m = -2*l + 39, -2*l = -d*m - m - 27. Does 6 divide l?
True
Suppose 1384 = 23*i - 15*i. Is 19 a factor of i?
False
Let h = -334 + 488. Is 22 a factor of h?
True
Suppose -368 = -4*h - 3*o - 141, 2*h - o = 111. Is h a multiple of 4?
True
Suppose -5*u = -4*u - 69. Is u a multiple of 35?
False
Suppose -a - 3*i = -50, 5*a - 3*a + i = 80. Is 17 a factor of a?
False
Is 6 a factor of 3 - 336/(-15) - (-6)/(-15)?
False
Is (-1 - 3)*(2 - 10) a multiple of 16?
True
Let w(y) = y**3 + 5*y**2 + 2. Let u be w(-5). Let t be 4/(-1)*10/u. Is (t/15)/((-4)/6) even?
True
Suppose 17 = 3*c + 5. Suppose -84 = -4*l - 0*r + r, 3*l = c*r + 63. Does 10 divide l?
False
Let u(d) = 2*d + 10. Is u(5) a multiple of 20?
True
Let j(i) = 35*i**2 - 2*i + 2. Is 35 a factor of j(1)?
True
Does 10 divide (9/(-9))/((-2)/20)?
True
Let j = 88 + -63. Is j a multiple of 12?
False
Let c(l) = 238*l**2 + 6*l - 5. Is 20 a