t s be (44/10 + 2)*5. Let q = m + s. Is 11 a factor of q?
True
Is (7 - 561/(-9))*21/2 a multiple of 52?
True
Let b(s) = 5*s**2 + 2*s - 16. Does 38 divide b(-6)?
True
Suppose -3 = -y + 2. Let a be (-5 - 10)/3*(-208)/5. Suppose a = 3*x - y*n, 5*n = 5 - 15. Is 22 a factor of x?
True
Let l = 28 + -4. Suppose -5*p - 3*j + 78 = -j, -l = -2*p + j. Does 5 divide p?
False
Let v(d) = -4*d + 46. Let t be v(23). Let u = 68 + t. Is u a multiple of 8?
False
Let g(k) = -k + 12. Let t be g(9). Suppose -t*v + v + 74 = 0. Does 10 divide v?
False
Let q = -167 - -1121. Is 6 a factor of q?
True
Suppose 5*o - 167 - 58 = 0. Is (65/15 + 1)*o/2 a multiple of 15?
True
Let v = 27 + -14. Suppose 11*m - v*m + 10 = 0. Suppose 2*l = u - 8, 2*l + 43 = 4*u + m*l. Is u a multiple of 4?
False
Let a(m) be the third derivative of m**5/12 + m**4/4 + m**3/6 - 12*m**2. Is a(-3) a multiple of 4?
True
Is (-233)/(-1*(-5)/(-5)) a multiple of 7?
False
Let s(c) = c**3 - c**2. Let p be s(2). Suppose -p*t + 3*n - 48 = 0, -t = 5*n - 11 + 46. Is 4/10 - 564/t a multiple of 19?
True
Suppose 43*y = 35*y + 2016. Is 21 a factor of y?
True
Let w = 23 + -18. Suppose -w*x + 293 = -7. Is x a multiple of 15?
True
Let h(x) = -x**2 - 7*x - 3. Let z be h(-6). Let u be z/(-2)*14/(-3). Suppose 0 = -u*o + 2*o + 210. Is 14 a factor of o?
True
Let z(d) = 7*d + 8. Let s be z(4). Suppose 32 = -4*f - s. Let h = f - -50. Is 9 a factor of h?
False
Let y(w) = 5*w**2 + 48*w - 45. Does 5 divide y(-15)?
True
Let o(t) = 11*t**2 + 19*t - 42. Is o(-11) a multiple of 45?
True
Suppose 1012 = -3*v + 5377. Is 15 a factor of v?
True
Let f = -476 - -153. Suppose 2*z + 398 = o - 5*o, -4*z = -o + 769. Let h = z - f. Is 26 a factor of h?
True
Let d(c) = 22*c + 664. Is 10 a factor of d(-27)?
True
Let d = 62 + 20. Let l = 215 - d. Is l a multiple of 19?
True
Is 3 a factor of -30*((-392)/35)/2?
True
Suppose -2*j + 9 = 2*d - 61, 2*j = 3*d + 60. Let x = j + 1. Is 19 a factor of x?
False
Let c(p) = p**2 + 15*p + 5. Let r be c(-15). Let z = -3 + r. Suppose -y = -3, 2*f + 0*y + z*y - 122 = 0. Is 18 a factor of f?
False
Let t = -357 + 649. Is t a multiple of 50?
False
Let s(v) = v**2 + 7*v + 1. Suppose -4*g - 16 = 8. Let w be s(g). Does 19 divide w*(0 - (-2 + 6))?
False
Let v = 7 - 12. Is 24 a factor of (-866)/(-18) + v/45?
True
Suppose 1172 = 5*y - 478. Suppose 0 = 3*l + 2*l - r - y, -5*l - 5*r + 300 = 0. Is l a multiple of 13?
True
Suppose 0 - 2 = -2*l. Suppose 0 = v + 1, -p + 91 + 13 = -3*v. Suppose 2*r - l = p. Is 11 a factor of r?
False
Let r(h) = h**2 - 2*h + 1. Let q be r(-6). Suppose -5*c + 2*w - q = 0, -c + 6*c = -3*w - 64. Is 2/(-11) - 68/c a multiple of 3?
True
Let y(w) = -w**3 - 6*w**2 + 2*w + 12. Suppose -8*o + 3*o - 2*p - 38 = 0, 5*o + 37 = -3*p. Is 15 a factor of y(o)?
False
Let s = -1428 - -1728. Does 15 divide s?
True
Suppose -3*m = 2*s - 1613 - 1577, 5316 = 5*m + 4*s. Does 14 divide m?
True
Suppose -2*a = 3*y - 161, -8*y + 3*y + 239 = 3*a. Let c = -88 - a. Does 11 divide c/4*(-2)/8?
True
Let y be (1 - (-4 + 2)) + -3. Suppose f + f + 112 = 3*j, -3*j - 3*f + 102 = y. Does 9 divide j?
True
Let h = 1819 + -1531. Does 12 divide h?
True
Suppose -2*g + 30 = -4. Suppose 4*z = g + 3. Let l(m) = m**3 - 4*m**2 - 5*m + 5. Is l(z) even?
False
Let k = 23 - 21. Suppose 0 = x + k*d - 95, 3*x + 2*d - 295 = -2*d. Is x a multiple of 37?
False
Suppose 0*o + o = -4*d - 3, -4*d - 7 = -3*o. Does 17 divide ((-423)/(-5) - (-2)/5)*o?
True
Let l(q) = -q**2 - 14*q - 7. Let r = -9 + 12. Let v be (-3 + -5)/(2/r). Is l(v) a multiple of 10?
False
Let g(h) be the third derivative of -h**6/120 + 2*h**5/15 + 3*h**4/8 - h**3/2 + 11*h**2. Let o be g(9). Is 18 a factor of (1 - o) + 16 + -2?
True
Let r(q) = -q - 8. Let s be r(-10). Let t be s/((-22)/6 - -3). Does 3 divide (-32)/t - (-1)/3?
False
Suppose 5*f + 25 - 1543 = 2*p, -4*f = p - 1204. Is f a multiple of 5?
False
Suppose 3*z = 5*k + 2*z - 202, -k + 42 = -z. Does 10 divide k?
True
Is (9 + 0)/((-143)/(-6435)) a multiple of 9?
True
Is (4/12)/((-3)/(-9)) + 115 a multiple of 13?
False
Let s(j) be the second derivative of 5/6*j**3 + 0 + 1/20*j**5 + 5/12*j**4 - 6*j + 2*j**2. Does 5 divide s(-3)?
False
Let w be 10/4*(-8)/(-10). Suppose 0 = w*d + 22 - 100. Suppose 5*x - 2*t - 23 = d, -x + 9 = 3*t. Is 7 a factor of x?
False
Let j = -2604 - -3648. Is j a multiple of 36?
True
Let n be 3*(-4)/6*2. Suppose -11*b + 16*b - 15 = 0. Is 8 a factor of n/(-6) - (-46)/b?
True
Let s = -256 + 880. Suppose 0*q - 3*q = -s. Does 26 divide q?
True
Suppose -21190 = -15*r + 11945. Does 18 divide r?
False
Let n be 5/(-30) + (-1298)/(-12). Suppose 6*c - n = 2*c. Does 2 divide c?
False
Let q be (-15)/(-1) - 3/3. Let t be -2*7/(q/(-45)). Does 12 divide 10/t - (-507)/27?
False
Suppose -432*a = -443*a + 15884. Does 38 divide a?
True
Suppose l + 4*a + 6 = 0, 2*l - 3*a + 52 + 4 = 0. Let i = 155 + l. Is i a multiple of 19?
True
Suppose 376 = 4*a - 0*a. Let f = a - 52. Is f a multiple of 6?
True
Suppose 0*z - 832 = -4*w + z, -3*z + 624 = 3*w. Does 26 divide w?
True
Is 25 a factor of (-36981)/(-87) - (-72)/(-1044)?
True
Is 33 a factor of (-4)/4*18*(-3 + -8)?
True
Let g(n) = -n**3 + 12*n**2 - 10*n - 7. Let o be g(11). Suppose 0 = -3*q + 4 + 2. Suppose -q*t - 60 = -o*t. Is t a multiple of 14?
False
Let r(h) = -h**3 - 2*h**2 + 6*h + 9. Is r(-4) a multiple of 4?
False
Let n = -18 + 58. Let g = n - -32. Does 6 divide g?
True
Let v be -3 + -3*((-60)/(-9))/5. Let n(u) = u**2 + 5*u - 7. Is 7 a factor of n(v)?
True
Let h = 11 - 23. Let n = 16 + h. Suppose 0 = -j - n + 67. Is j a multiple of 19?
False
Let v(u) = 81*u + 12. Is 84 a factor of v(4)?
True
Suppose 2*b - 3 - 3 = 0. Suppose d + 8 = -2*t, -2*d + d + 17 = -b*t. Is 2 a factor of d?
True
Suppose -o = -5*s + 4, -s + 2 = -3*o - 10. Suppose 0 = -s*f - f. Suppose 2*w - 21 - 49 = f. Is w a multiple of 10?
False
Suppose 0 = -19*m - 3*m + 1188. Is m a multiple of 9?
True
Let n(f) = -f**3 - 9*f**2 + 20*f + 324. Does 60 divide n(-18)?
True
Let a be 0 + -2 + -4 + 36. Is 3 a factor of (a/(-3))/(-2) - -21?
False
Let p = 745 - 332. Does 7 divide p?
True
Suppose k - 14 - 79 = 0. Let z = 135 - k. Does 6 divide z?
True
Let r be (4/8)/((-1)/(-10)). Let b be (-1 - 169) + r/(-5). Let l = 298 + b. Is l a multiple of 31?
False
Let s(b) = -3*b**3 + 4*b**2 + 16*b + 2. Is s(-5) a multiple of 17?
False
Let y(i) be the second derivative of i**4/12 + 2*i**3 + 12*i**2 - 26*i. Is 4 a factor of y(-12)?
True
Let c be 10/(-8) + (-5)/(-20). Let b be (11 - 14)*1/c. Suppose -2*t + 74 = k, -3*k = -b*t - 0*t - 267. Is 21 a factor of k?
True
Suppose -51*s = -23*s - 19600. Does 25 divide s?
True
Let s = 266 + -138. Let i = s + 65. Is 17 a factor of i?
False
Let t = 41 + -44. Let n = 8 - t. Is 11 a factor of n?
True
Let c = -198 + 759. Does 33 divide c?
True
Suppose 0*m - m - 240 = -b, 0 = -5*b - 3*m + 1168. Is b a multiple of 8?
False
Let r(j) = 2*j + 98. Does 13 divide r(29)?
True
Let m be 3/(-9)*9/3. Let p be 0/(((-1)/m)/(-1)). Suppose -3*x - x + 48 = p. Is x a multiple of 11?
False
Let q(v) = -v**2 - 15*v - 29. Let g be q(-12). Suppose -10*r + g*r + 96 = 0. Does 11 divide r?
False
Suppose 4*t = 3*o + 10, 0 = 3*o + 2*t + 2*t + 26. Let f(r) = 3*r**2 + 7*r - 6. Is f(o) a multiple of 14?
False
Is 19 a factor of (-853)/(-5) - 7/((-315)/18)?
True
Suppose 5*a - u = 27, 5*a + 2*u + 8 = 29. Suppose 3 = -a*i - 7, 2*m - 3*i = 140. Let t = -5 + m. Is t a multiple of 31?
True
Suppose 7 = -4*c - 1. Is (-1 - c)*(67 + 2) a multiple of 22?
False
Suppose 0 = -2*r + 7*r - 25, 3*r + 2865 = 5*d. Does 12 divide d?
True
Suppose 4*h - 3*h - 30 = 4*q, -5*h = -5*q - 165. Let u = -19 + h. Is 5 a factor of u?
True
Suppose 0 = 4*p + 116 - 1312. Is p a multiple of 23?
True
Let y(l) = 16*l**2 - 3*l - 8*l**2 + 6*l - 7*l**2 + 1 - 109*l**3. Is 9 a factor of y(-1)?
True
Let p(g) = -3*g + 12. Let v be p(15). Let s = 3 - v. Is 6 a factor of s?
True
Let d = -53 - -13. Let f = -20 - d. Let y = f - -30. Does 25 divide y?
True
Let m be 13680/96 - ((-1)/2 + -1). Let y = -24 + m. Does 20 divide y?
True
Let o be 1*-4 - (1 + -39). Let x = o + -51. Let l = 35 + x. Does 5 divide l?
False
Suppose 5*v - 1889 = 3*f, -7*v + 11*v - 5*f - 1519 = 0. Suppose -4*l - v = -12*l. Does 40 divide l?
False
Let f = -665 + 1175. Does 47 divide f?
False
Suppose -6*z = -8*z + 8. Is 9 a factor