b a multiple of 3?
False
Let w(r) = 6*r - 9. Let s = -68 + 75. Is 11 a factor of w(s)?
True
Let t(o) = -2*o**3 - 38*o**2 - 20*o - 38. Is 29 a factor of t(-19)?
False
Let y(r) = 2*r + 3. Let p be (-8)/5*30/(-4). Is 17 a factor of y(p)?
False
Let y(h) = -50*h + 3405. Is y(0) a multiple of 31?
False
Suppose -35*i + 41*i = -72. Let r(k) = k**3 + 13*k**2 + 5*k + 16. Does 10 divide r(i)?
True
Suppose 5*p = 0, -5*p = -4*a + 134 + 418. Let l be a/8*80/15. Suppose 0*t = -2*t + l. Is 25 a factor of t?
False
Let q(n) be the first derivative of -n**4 + 2*n**3/3 - n**2/2 + 52. Let j = -5 + 3. Does 6 divide q(j)?
True
Let j(x) = 29*x + 7. Let r be j(7). Suppose 5*m + r = 5*t, 7 = 3*m - 2. Let a = -7 + t. Is a a multiple of 19?
True
Let z(a) = 3 + 0*a**3 + a**2 - 1 + a**3. Let x be z(-2). Let b(u) = -u**3 - u**2 - 2*u - 3. Is b(x) a multiple of 2?
False
Suppose 4 = -2*t, 2*l + 3*l + 5*t - 2040 = 0. Suppose 0 = z + 3*z + v - l, -5*z + 523 = -4*v. Is 17 a factor of z?
False
Suppose 0 = 8*m + m + 9. Does 36 divide (m + 1)/4 - -74?
False
Suppose 0*y = 3*y - 1584. Suppose -2*h = 2*h - y. Is ((-8)/6)/((-8)/h) a multiple of 11?
True
Suppose 24 = 2*m - 4*i, -3*i = -4*m - i + 72. Let w be 2 + 6 + (2 - 1). Let n = m - w. Does 2 divide n?
False
Suppose -8*d + 2*d + 468 = 0. Let q = 183 - d. Is q a multiple of 15?
True
Let c(q) = 22*q**2 - 23*q - 26. Does 22 divide c(-4)?
True
Suppose 5*g - 7*g + 240 = 0. Suppose 190 = 2*x - g. Is x a multiple of 15?
False
Let j = -250 + 242. Let c(u) be the first derivative of 2*u**3/3 + 13*u**2/2 + 27*u + 1. Is 10 a factor of c(j)?
False
Let j be -1 - -5 - (-9 + -9)*-2. Suppose 2*i = 4*i - 4*g + 36, -4*i = 3*g + 50. Let w = i - j. Does 6 divide w?
True
Suppose 0 = 4*z - z - 48. Suppose 0 = d + 2*d. Suppose 3*i - 2*i - z = d. Is 4 a factor of i?
True
Is 12 a factor of (12/9)/(8/912)?
False
Suppose 425 = -16*j + 21*j. Does 22 divide 68/j*(-275)/(-2)?
True
Let g(l) = -9*l + 15*l + 6 - 18*l. Let a(c) = -c**2 - 7*c - 7. Let n be a(-7). Does 18 divide g(n)?
True
Let w = 29 - 33. Let i be (-6)/24 - 13/w. Does 19 divide (1064/7)/(i + -1)?
True
Suppose q - 184 = w, -908 = -5*q + 4*w - 2*w. Is q a multiple of 8?
False
Let x be (-249)/(-9) + 10/(-15). Suppose x*f = 31*f + 60. Let p = 45 + f. Does 6 divide p?
True
Suppose -61*a + 336 = -5*a. Is 2 a factor of a?
True
Let u = 353 + -245. Suppose 4*a - 2*i + 76 = -i, -92 = 4*a - 5*i. Is 1320/u + 4/a a multiple of 6?
True
Let m(j) = -7*j**3 - 7*j**2 - j - 4. Is 48 a factor of m(-4)?
True
Let y(z) = 9*z**3 + 2*z**2 + 4*z + 3. Let n be y(-2). Does 15 divide (n/2)/((-6)/12)?
False
Let o(d) = 78*d + 5. Suppose 3*a - r = 8, -3*a + 0*r = 2*r + 7. Is 17 a factor of o(a)?
False
Is (208/10)/(-4 + (-364)/(-90)) a multiple of 18?
True
Let d = -278 - -598. Is d a multiple of 24?
False
Let w(i) = i**3 - 9*i**2 + 8*i + 4. Let x be w(8). Suppose -3*o = -x*t + 49, 5*t + 10*o - 35 = 5*o. Suppose -14*r + t*r = -132. Is 11 a factor of r?
True
Let m = -6 - -337. Is 13 a factor of m?
False
Let z(c) = 146*c**2 - 5*c - 5. Is z(-2) a multiple of 52?
False
Let r(w) = -4*w**3 - w**2 + 6*w + 5. Does 28 divide r(-6)?
False
Does 17 divide (-100 - -114)*(-1 + 2*4)?
False
Let w be 1/(-3) + 544/12. Let q = w - -54. Is q a multiple of 16?
False
Let l = -78 - -85. Suppose 880 = -3*v + l*v. Is 22 a factor of v?
True
Suppose -3*g + 4*z = 6*z - 410, 3*z = -3*g + 408. Does 3 divide g?
True
Let o(i) = 5*i**2 - 11*i + 21. Let h be o(6). Suppose -5*k + h = -0. Is 9 a factor of k?
True
Suppose 5*r = 11 + 59. Let z = r - 9. Is (36/(-5))/(z/(-50)) a multiple of 16?
False
Let p(v) = -v**3 + 13*v**2 + v - 27. Let k be p(13). Is 16 a factor of (86 + -14)*(-2 + k/(-3))?
True
Let v(o) = o. Let y(u) = -22*u - 1. Let r(l) = 22*v(l) + 2*y(l). Is r(-2) a multiple of 5?
False
Suppose 5*y - 271 + 2165 = 3*k, 3*k + 5*y = 1934. Is 14 a factor of k?
False
Let s(h) = h**2 + 7*h - 162. Does 48 divide s(18)?
True
Let d = 6 - 9. Let k(x) = -4*x - 5. Let a be k(d). Suppose 165 = a*u - 2*u. Is 11 a factor of u?
True
Let q(c) = -c**2 + 2*c + 8. Let l be q(4). Suppose -5*g + 3*x + 33 = 0, 3*x = -g - l*x + 3. Let n(t) = 4*t - 1. Does 10 divide n(g)?
False
Suppose -5*b = -0*m + 2*m - 10, m + b - 2 = 0. Suppose h + 5*f = -0*f + 54, m = 4*h + 3*f - 250. Does 13 divide h?
False
Suppose 3*z - 4207 = -y, 0 = 3*z + 9*y - 6*y - 4197. Does 12 divide z?
True
Let i be (-51)/(6 + -3)*-5. Suppose i = 5*n - 80. Let w = n - -11. Is 11 a factor of w?
True
Let g(v) = -v**3 - 32*v**2 - 15*v + 72. Is g(-32) a multiple of 15?
False
Let s(p) = -2*p - 23. Let v be s(-14). Is 216/v + 3/(-15) a multiple of 11?
False
Let h(g) = -12*g + 12. Let z be (-2)/6 + (22/(-6))/1. Is h(z) a multiple of 4?
True
Suppose -17*y = 122 + 82. Let u(i) be the second derivative of i**4/12 + 4*i**3/3 + 3*i**2/2 - i. Is 18 a factor of u(y)?
False
Suppose -22*p + 192 = -18*p. Let l = p + -10. Does 19 divide l?
True
Let h be ((-4)/5)/(16/40) - -8. Suppose 67 = h*m - 29. Is 2 a factor of m?
True
Let f = 71 + -71. Suppose f = -0*m - 13*m + 1872. Does 9 divide m?
True
Let x(q) = -q**3 - 10*q**2 + 4*q + 10. Let z be x(-7). Let l = z - -285. Is 30 a factor of l?
True
Let y = 63 + -36. Is (4/((-24)/y))/(12/(-64)) even?
True
Let k(x) = 3*x**2 - 8*x + 5. Suppose -5*i + 15 = -2*i. Suppose j + i = 2*j. Is k(j) a multiple of 21?
False
Let s be (-2)/7 - 160/(-70). Is -3 + 0 + 3 + s even?
True
Suppose y + 3*y + 24 = 0. Let r be 0/((-7)/(21/y)). Suppose -3*w = -5*u - 0*u - 65, r = w + 5*u + 5. Is 5 a factor of w?
True
Suppose 20*m - 860 = 900. Suppose -7*u + 1089 = m. Is u a multiple of 34?
False
Let h = -69 + 126. Let m = h + -28. Is 29 a factor of m?
True
Let h = -17 - -133. Suppose h + 7 = 3*g. Suppose -4*w + 3*c + 108 = 0, -2*w + 5*c + g = 1. Is w a multiple of 22?
False
Suppose 0 = 5*l - x + 184, -2*l + x = 13 + 60. Is (0 - l - 2)*6/10 a multiple of 11?
False
Suppose -4*c - 3*d - 65 = c, -3*d + 31 = -c. Is 11 a factor of ((-561)/68)/(3/c)?
True
Let q = 223 + -247. Suppose -5*o - 224 = 16. Let u = q - o. Is u a multiple of 16?
False
Suppose 375*j = 372*j + 5*a + 2517, -3*j = -2*a - 2526. Is 10 a factor of j?
False
Suppose 2*g - 565 + 25 = -5*o, 2*g = 4*o + 540. Is 9 a factor of g?
True
Suppose 7*h = 9*h + 200. Let g = 76 - h. Does 20 divide g?
False
Let q(g) = -14*g - 9. Suppose -6*i - 13 = -1. Is 4 a factor of q(i)?
False
Suppose 11*r - 3 - 19 = 0. Suppose -p + 95 = r*f, -5*p + 0*f = -3*f - 527. Is 13 a factor of p?
False
Let c(j) = -7*j**3 + 2*j**2 - 1. Let t(q) = -q**3 - 6*q**2 + q + 7. Let b be t(-6). Let n be c(b). Let h = 30 + n. Is h a multiple of 6?
True
Suppose -190 = -x - o, 5*x = -0*x - 4*o + 949. Is 21 a factor of x?
True
Suppose 0 = 8*t - 6*t - 4160. Does 40 divide t?
True
Let n(j) = j**2 + j - 2. Let b be n(-2). Suppose 6*h - 9 = 9. Suppose h*a - 297 + 86 = 5*k, b = -5*a + 3*k + 357. Is a a multiple of 18?
True
Let d(o) = -3*o**2 - 3*o + 21. Let w(c) = c**2 + c - 10. Let t(j) = -2*d(j) - 5*w(j). Is 14 a factor of t(-4)?
False
Is 13 a factor of (24/6 - 316)*(-4)/6?
True
Suppose 0 = 4*j + 5*z - 24, -5*j + 4*z + 12 = -18. Suppose 0 = 4*b, 0 = -l + 4*b + 6 + j. Is l a multiple of 4?
True
Let q(k) = 2 - 233*k - 4 + 230*k + 53*k**2. Is 7 a factor of q(-1)?
False
Let c(h) = 2*h**3 - 13*h**2 + 31*h - 13. Is 7 a factor of c(6)?
False
Let l(x) = 3*x**3 - 19*x**2 + 70*x. Does 10 divide l(8)?
True
Let y(a) = -128*a - 48. Is 112 a factor of y(-10)?
True
Suppose 0 = 5*s - 0*i - 5*i - 915, -2*s = 5*i - 338. Is s a multiple of 28?
False
Suppose -3*q + 2*c + 6304 = 0, 0 = 4*c - 9*c - 10. Is 15 a factor of q?
True
Suppose -3*c - 603 - 721 = -4*x, 316 = x + 3*c. Suppose 0 = 5*f - f + x. Let r = -58 - f. Is r a multiple of 6?
True
Let p be (2 + -2)*(52/12 - 4). Suppose p*f = 2*h - 2*f - 342, -3*h + 5*f = -509. Does 14 divide h?
False
Let x(z) = 4*z - 1. Let i(v) = 4*v - 1. Let p(h) = -3*i(h) + 4*x(h). Suppose 2*j + y - 16 = -0*j, -3*j + 38 = -2*y. Is 12 a factor of p(j)?
False
Let w(b) be the third derivative of -17*b**4/24 + 4*b**3/3 + 14*b**2. Does 36 divide w(-8)?
True
Let p(r) = r**3 - 20*r**2 + 28*r + 16. Is 17 a factor of p(19)?
True
Let p = 17 + 161. Is p a multiple of 3?
False
Suppose -933 + 82 = -3*p + j, -4 = 2*j. Is 17 a factor of p?
False
Let o(b) = 7*b + 2. Let p be o(-1). Does 13 divide -310*((-12)/18)/(p/(-3))