 Let n be q(-13). Does 4 divide (2/n)/(4/116)?
False
Suppose 53 = -4*m + 17. Is 6/m + (-224)/(-12) a multiple of 15?
False
Suppose -7*u = -2*u - 5. Let n(b) = 3 + 1 + 3*b - u + 11*b**2. Does 11 divide n(-2)?
False
Suppose 0 = 6*b - 7*b + 2. Let n(y) = 2*y**b + 4*y**2 + y**3 + 9*y - 4*y - 1. Does 4 divide n(-4)?
False
Let t(y) be the second derivative of -y**5/20 + 7*y**4/12 + 5*y**3/6 + 17*y**2/2 - 15*y. Does 13 divide t(7)?
True
Let j(w) = 8*w**2 - w + 1. Let q be j(1). Let k(a) be the first derivative of a**2 + 6*a - 6. Is k(q) a multiple of 11?
True
Let p(a) be the first derivative of a**4/4 - a**3 + 4*a - 1. Let k be p(3). Suppose -4*g = -3*g - 5, -k*t - 3*g = -123. Is 13 a factor of t?
False
Suppose 10*v + 21 = 13*v. Suppose -5*d + 2*o + 1 = 3*o, 3*d - v = o. Is (d - 4/8)*18 a multiple of 9?
True
Does 18 divide (252/(-10))/(12/(-120))?
True
Let y be (2/6)/((-3)/(-27)). Suppose 0 = 2*f - y*r - 272, -3*f = -f - 4*r - 268. Suppose 3*a + 34 = f. Is 18 a factor of a?
True
Does 14 divide (1/(2/1155))/(6/8)?
True
Let h be 27/(-18) - 133/(-2). Suppose -3*d - 4*x = -2*x - h, 2*x - 15 = -d. Is d a multiple of 10?
False
Let d(c) = 3*c**2 - 10*c - 1. Let u be 62/8 + (-4)/(-16). Let a be d(u). Suppose -2*v - 7 = 4*g - a, 0 = -v - 5*g + 64. Is 19 a factor of v?
False
Suppose 4 = 5*f - 11. Suppose 74 = d + 5*g, f*g - 2 = 1. Is d a multiple of 16?
False
Is 54 a factor of (14 + -86)*9/12*-18?
True
Let i = 13 - 13. Suppose i*u = -u - 24. Does 16 divide (-1 + (-1)/(-3))*u?
True
Suppose 517*w - 7072 = 513*w. Is 17 a factor of w?
True
Let a be 4 + 0/((-12)/(-4)). Suppose -a*w + 144 = 2*w. Is w a multiple of 8?
True
Let y(u) be the second derivative of u**5/2 + u**4/6 - u**2/2 - 4*u. Let w be y(1). Suppose 7*x = w*x - 96. Is 8 a factor of x?
True
Let t = -1103 + 2759. Is t a multiple of 6?
True
Does 7 divide 7/(21/(-15))*-4?
False
Does 54 divide (-104)/1612 + (-3350)/(-31)?
True
Let o(y) = 35*y**2 + 64*y - 45. Is o(-7) a multiple of 13?
True
Let i(f) be the third derivative of -f**4/24 - f**3/2 + 4*f**2. Let z be i(-3). Let g = 24 - z. Is 8 a factor of g?
True
Suppose -5*a + 749 = 5*h - 8*h, 4*a - 2*h = 600. Is 31 a factor of a?
False
Suppose 23*n = 7814 + 17578. Does 48 divide n?
True
Suppose -3*x + 5*a - 25 = x, 2*x - 4*a = -20. Suppose 2*j + x = 4. Suppose 3*p + j = 5*b - 52, -10 = -5*p. Is b a multiple of 9?
False
Is 32 a factor of (0 - -449)/((-26)/(-26))?
False
Let i = 106 + -82. Is 8 a factor of i?
True
Suppose -2*j - 4*f + 3394 = 0, -4*j + 6*j - 3392 = -3*f. Suppose 20*b + j = 5153. Does 19 divide b?
False
Suppose 15*l - 197 = 328. Is l a multiple of 5?
True
Suppose 4*l + 191 = -5*i - 247, 3 = l. Does 11 divide -4 - (i + 1 + -3)?
True
Suppose 460 + 1556 = 16*b. Does 2 divide b?
True
Is 99351/166 + 2/4 a multiple of 29?
False
Suppose 5*p + 445 = 2*c, -p - p - c - 187 = 0. Let i be 26/p + (-2578)/(-7). Suppose 5*h - i = s + s, 220 = 3*h - s. Is 18 a factor of h?
True
Let s be 68/20 + 3/5. Suppose 7*t = -s*t + 297. Is t a multiple of 8?
False
Let r = -56 + 60. Suppose -3*t + r*a - 164 = -7*t, -3*a = -t + 41. Is 25 a factor of t?
False
Let a(q) = -920*q + 30. Is 9 a factor of a(-3)?
True
Let b = -648 - -707. Does 9 divide b?
False
Suppose -3*z - 12 = 0, -3*b - 5*z + 640 = -9*z. Is 2 a factor of b?
True
Suppose 80 = -30*h + 38*h. Is h a multiple of 5?
True
Let b = 2889 + -2554. Does 13 divide b?
False
Let b = -1541 - -2208. Does 9 divide b?
False
Let z = -20 + 27. Let w be 4/(-14)*-1*z. Suppose -w*f + 3*f - 33 = 0. Is f a multiple of 11?
True
Suppose 436 = 10*k + 56. Does 19 divide k?
True
Suppose 5*w - 11 = 9. Suppose r - 9 + w = 0. Suppose 0 = -x - r*v + 27, 2*x - v + 5*v = 36. Does 12 divide x?
True
Is (-7)/((-98)/(-15309))*-2 a multiple of 32?
False
Suppose 4*p - 16 = 4*z, -z - 5*p + 11 = -9. Suppose -3 = 2*l - 11. Suppose -3*m - 15 = z, 350 = -2*s + 7*s - l*m. Does 11 divide s?
True
Let t = -11 - -7. Let f(b) = -2*b**3 + 2. Let l be f(t). Suppose -q + 2*u - 37 + 109 = 0, -2*q - 3*u = -l. Is 25 a factor of q?
False
Does 17 divide -1 + 928 + (-40)/(-5)?
True
Suppose -2*i = -5*r - 32 - 1, 41 = 4*i - 5*r. Suppose 5*k = -4*l + 313 + 488, 4*k = -i*l + 804. Is l a multiple of 34?
True
Suppose 6*n + 507 = 3*d + 8*n, -4*n = -4*d + 696. Is d a multiple of 9?
True
Suppose 0 = -5*a + 15 - 0. Suppose w + 8 = -c + 53, -a*w = 5*c - 141. Is 6 a factor of w?
True
Let z(i) be the first derivative of -21*i**2/2 - 3*i + 5. Is 37 a factor of z(-6)?
False
Does 8 divide -6 - 1190/(-7 + 2)?
True
Suppose 410*b - 408*b - 1172 = 0. Is b a multiple of 3?
False
Suppose -19*c + 15*c = 0. Suppose -y + 3*y - 6 = c. Suppose -h + 10 = 2*s, h - 8 = -y*s + 8. Is s a multiple of 6?
True
Let q(y) = -7*y - 14. Suppose 0 = -5*i + 2*g - 45, 5*i - i - 2*g = -38. Does 3 divide q(i)?
False
Suppose 5*p + t - 267 = 0, -2*p + 6*p + t = 213. Is 3 a factor of p?
True
Suppose 4*h = 7*h - 1740. Is 29 a factor of h?
True
Let f = -25 + 29. Is 1 + (44 - f - -2) a multiple of 12?
False
Suppose 4*v = 6*o - 5*o + 355, 2*v = -3*o + 195. Does 45 divide v?
True
Suppose -4*q + 2*w = 660, 3*w + 660 = -2*q - 2*q. Let u = -117 - q. Is 21 a factor of u?
False
Let l = 44 + -1. Let p = 31 - l. Let m = p + 28. Is 8 a factor of m?
True
Let w be 0*(-4)/(-8) + 4. Suppose 16 = w*l - 2*d, 2*l + l + 3*d - 3 = 0. Suppose -l*x + 4*x - 76 = 0. Is x a multiple of 10?
False
Suppose -h + 320 = -152. Does 11 divide h?
False
Let a be (-8)/6 + (-52)/(-12). Suppose -5*g = -a*h + 692, 0 = -g + 3*g - 3*h + 284. Is 1*g*4/(-8) a multiple of 20?
False
Suppose 2*h - 3*v = -5*v + 1072, v = 3*h - 1620. Does 49 divide h?
True
Let h(a) be the third derivative of 6*a**2 + 0*a - 1/60*a**5 + 0 - 5/8*a**4 - 11/6*a**3. Is h(-13) a multiple of 5?
True
Suppose 0 = 3*x - 3*t - 114, -4*x - 2*t - 45 = -209. Suppose 0 = -2*v - n + 55, -v - n + 3*n + x = 0. Is v a multiple of 12?
False
Let z be -1*1*10/(-2). Suppose -z*y = -2*y. Suppose y = 3*j + 5*l - 157, -j + l = -4*j + 149. Is j a multiple of 15?
False
Suppose 5*q + 2*n - 542 = 0, 2*q - 10*n = -6*n + 212. Is q a multiple of 11?
False
Does 75 divide 1/4 + (-16024)/(-32)?
False
Let l = -2 - -21. Let q = l - -5. Is 9 a factor of q?
False
Let y be (-6 - 2)*(-2)/4. Suppose 3*r - 12 = 0, -7 + 135 = 4*u - y*r. Is 6 a factor of u?
True
Let u(d) = d**3 + 10*d**2 + 9*d + 12. Let y be u(-8). Let z = y + -35. Is 17 a factor of z?
False
Let y = -46 + 42. Let t(j) = 46*j - 74. Let d(v) = 9*v - 15. Let n(c) = 14*d(c) - 3*t(c). Is 20 a factor of n(y)?
True
Suppose 3*t = -t - 5*w - 245, 3*w = -t - 70. Let j be (-10)/t + (-686)/22. Let d = 7 - j. Does 19 divide d?
True
Let k = 135 + -65. Suppose -4*a = -2*a - 10, 2*u - k = -2*a. Is 4 a factor of u?
False
Suppose 0 = -o - 3*t - 25, 3*t - 15 = 6*o - 3*o. Let l be (-4)/((o/(-3))/5). Let a(g) = -3*g - 14. Is 3 a factor of a(l)?
False
Let l = 140 - 311. Let r = l - -240. Is 23 a factor of r?
True
Let i be 3/(-4)*(-9 + 1). Suppose c = i*c. Suppose -2*f - a + 152 = -c*f, 4*f - 2*a - 312 = 0. Is f a multiple of 10?
False
Suppose -8*y + 220 = -3*y - 3*u, -3*u + 15 = 0. Is 37 a factor of y?
False
Suppose -11*n = -774 - 1052. Let q = n + -106. Is 15 a factor of q?
True
Suppose -5*g + 32 = -3*b - 19, 5*g = 5*b + 55. Suppose 0 = 3*h + 5*y + 4 - 14, 5*h - 4*y = 29. Suppose h*c - g - 11 = 0, -56 = -4*u - 3*c. Is 11 a factor of u?
True
Let p = -11 - -13. Let y(z) = 3*z + 1. Let f be y(p). Suppose 2*s - f*s - 4*c = -140, -4*c - 20 = 0. Does 8 divide s?
True
Let m(j) be the third derivative of -5*j**4/24 + j**3/6 + 23*j**2. Is 12 a factor of m(-7)?
True
Let a = 1753 - 1054. Does 10 divide a?
False
Suppose 0 = 4*g - g + l - 204, -3*g + 204 = -4*l. Suppose 8*r - g + 12 = 0. Is 2 a factor of r?
False
Suppose -6*d + 103 = -4*d + 3*u, 3*u - 56 = -d. Suppose 0 = 4*i + 4*z - 196, 2*i = i - 2*z + d. Does 10 divide i?
False
Let c(y) = y**3 + 8*y**2 - 5*y + 14. Let v be c(-8). Let b = 60 - v. Is b a multiple of 3?
True
Let n(u) = -14*u**3 - 9*u**2 - 3*u - 10. Does 9 divide n(-2)?
True
Let q(x) = -x**3 + 11*x**2 - 28*x + 9. Is 3 a factor of q(4)?
True
Let x = 6 + -13. Let b(t) = 3*t**2 + 1. Let s be b(x). Suppose 65 = 2*o + 5*p, 0 = -2*o - 3*o + 2*p + s. Is o a multiple of 15?
True
Let o(b) = 9*b + 84. Does 23 divide o(6)?
True
Let m be (-33)/(-22)*(-4)/3. Let g = 78 - m. Is 16 a factor of g?
