b be p + 5 + 6/(-2). Suppose 3*n + 332 = b*n. Is 9 a factor of n?
False
Is ((-5)/(-4))/((-1396)/(-464) + -3) a multiple of 7?
False
Let m(i) = 3*i - 1. Let p be m(2). Let c = p + -2. Does 9 divide (-16)/(-4) - c - -8?
True
Let a(g) = 3*g - 13. Let r be (-3)/(-6)*-4*1. Let f be 2/2 - (r - 5). Is 11 a factor of a(f)?
True
Suppose 18*g - 3660 = 174. Is 29 a factor of g?
False
Suppose -2*d + 63 = -63. Suppose -4*u = 5*s - 75, -2*s - 2*s - d = -5*u. Suppose p - 8 = u. Is 4 a factor of p?
False
Let a(l) = 2*l**2 - 8*l - 4. Let n(d) = d**3 - 6*d**2 - 7*d + 9. Let o be n(7). Let p be a(o). Let r = p - -7. Does 24 divide r?
False
Is (4/(-6))/(10/(-11010)) a multiple of 49?
False
Let t be (4/6)/((-10)/(-30)). Let f(w) = -5*w + 0*w**2 - 3*w**t + 3*w**2 + w**2 - 10. Is 13 a factor of f(9)?
True
Let x(c) = 165*c**2 + 19*c - 6. Is x(-2) a multiple of 22?
True
Let r(k) = k**2 + 10*k - 3. Let u be r(-9). Let w(h) = h**2 + 12*h. Let l be w(u). Suppose 0 = s - 5*s - 2*v + 106, l = s - 3*v - 9. Does 6 divide s?
True
Let a = 35 + -31. Suppose 0 = a*q - 166 + 10. Does 17 divide q?
False
Let q(c) = -10*c + 3. Let h(o) = o + 8. Let l be h(-8). Let n(z) = z**3 + z**2 - 6. Let x be n(l). Does 21 divide q(x)?
True
Suppose -m + 4 = h, -3*h + 12 = 6*m - 2*m. Suppose 0 = 3*o - 2*d - 7, 2*d = h*o - 2*d - 8. Suppose -l = o*l - 132. Is 11 a factor of l?
True
Let f(g) = -g**2 - 6*g - 16 - 10*g + 3*g. Is f(-9) a multiple of 10?
True
Let x be 1/((-1)/5)*5. Let b = 59 - x. Does 21 divide b?
True
Suppose 0 = 8*d + 2*d - 100. Suppose 12 = g - d. Does 10 divide g?
False
Let x be (-68)/(-119) - (-116)/(-7). Does 9 divide (x/6)/((-8)/156)?
False
Suppose -11*d + 3*d + 840 = 0. Does 26 divide d?
False
Is 6 a factor of -8 - (8*-137)/8?
False
Let q(n) = 15*n + 2. Suppose 0*t - 12 = -4*t. Suppose -5 + t = -h. Is 9 a factor of q(h)?
False
Let o(g) = g**2 - 12*g - 9. Let y be o(13). Let i be -6 + (5 - -3)/y. Let w(q) = -14*q + 1. Does 11 divide w(i)?
False
Let m(y) be the third derivative of -y**6/720 + 3*y**5/40 - y**4/4 + 8*y**2. Let h(f) be the second derivative of m(f). Does 2 divide h(4)?
False
Let q(l) = -14*l + 2. Is q(-12) a multiple of 10?
True
Suppose -5*z = -3*z + l - 4, 5*z - 23 = 4*l. Does 35 divide 24/36 - ((-319)/z + 2)?
True
Suppose -2*m + m + 5 = 0, 3*m - 115 = -2*v. Let h be ((-92)/(-16))/(1/4). Let w = v - h. Is w a multiple of 9?
True
Let l(o) = 5*o**2 + 3*o - 3. Let m be (-22)/(-33) - (-17)/(-3). Let c = -3 - m. Is l(c) a multiple of 6?
False
Let r be 4/(-8) + (-3)/(-6). Let w(g) = g**3 - g**2 - g + 62. Does 9 divide w(r)?
False
Suppose 5*j = -0*j - 5*z + 1045, z - 625 = -3*j. Does 28 divide j?
False
Suppose 3*f - 3*j = -378, 0*j = -2*j + 4. Let o = 215 - 404. Let g = f - o. Is g a multiple of 12?
False
Let b(i) = i**2 + 2*i - 6. Let t be b(-6). Suppose -s = -4*s + t. Suppose 3*w = s*w - 45. Is 6 a factor of w?
False
Let d(h) = 287 - 13*h + h**2 - 10*h + 22*h. Is d(0) a multiple of 41?
True
Let a be -12 - -12 - -3*2. Let u(d) = -d**3 + 7*d**2 - 4*d - 7. Let o be u(a). Suppose -o*j + 50 + 10 = 0. Is j a multiple of 3?
True
Suppose 8*s - 2936 = -136. Does 25 divide s?
True
Let p(x) = -x**2 - 8*x + 2*x**3 + 2*x + 5*x - 7. Let k be p(5). Suppose 5*t - 3*u - k = 0, 35 + 128 = 4*t + 5*u. Is t a multiple of 10?
False
Let o(b) = -b**3 + 3*b**2 + 6*b - 4. Let z be o(-4). Suppose 0 + z = x. Is 14 a factor of x?
True
Suppose 13*y - 8*y = 30. Let p be y/14 + 241/(-7). Is (7 - 6)/((-2)/p) a multiple of 8?
False
Let x(q) = q**2 + 9*q + 9. Let i be x(-7). Let p(w) = w + 14. Is p(i) a multiple of 9?
True
Let i be 5/(5/(-1)) + (105 - -2). Let j(w) = -2*w**3 + 5*w**2 - 4*w + 2. Let o be j(4). Let r = i + o. Is 22 a factor of r?
True
Let g(f) = f + 8. Let q(l) = l - 10. Let k be q(5). Let c be g(k). Is 12 a factor of c/(-9)*0 + 24?
True
Let u(d) = 2*d**2 - 10*d + 15. Let p(w) = -w**2 + 5*w - 7. Let b(q) = -5*p(q) - 2*u(q). Let y be b(4). Is 2 a factor of y/((-4)/(-26 + 2))?
True
Let i be -139 + (-2 - -6)/4 - 1. Is (-33)/(-22)*(-1 + i/(-3)) a multiple of 9?
False
Does 14 divide 1/(7/14)*722?
False
Suppose 2*r - 4*r + 110 = 4*k, -3*r - 9 = 0. Let i = k + -14. Is 9 a factor of i?
False
Suppose -3*g + 2*w + 21 = 5*w, -3*g + 4*w + 28 = 0. Suppose -2*u + 720 = g*u. Is u a multiple of 15?
False
Let w(b) = -5*b**2 + 4*b - 6. Let v(q) = -16*q**2 + 12*q - 19. Let n(l) = 2*v(l) - 7*w(l). Let r(i) = i**2 - 2*i + 2. Let p be r(3). Is n(p) a multiple of 22?
False
Let n(w) = 28*w + 475. Is 24 a factor of n(26)?
False
Is 51 a factor of (-770)/(-1) - 20*(-5)/(-20)?
True
Let a(i) = -7*i**3 - 3*i**2 - 30*i + 5. Is 35 a factor of a(-4)?
True
Let z(k) = -4*k + 6. Let a be z(-3). Suppose -8 = 2*g - a. Suppose -4*b - 111 = -g*n - 33, 0 = 2*n - 5*b - 38. Is n a multiple of 7?
True
Suppose -87*l + 83*l = -408. Is l a multiple of 15?
False
Let p = 5 - 2. Suppose 5*h = l - 0*l - 9, 15 = p*l - 3*h. Let g(t) = 3*t**2 + t - 3. Is 21 a factor of g(l)?
False
Let g(p) = p**2 + 8*p + 15. Let f be g(-6). Suppose 6*u - 5*q = f*u + 659, -4*u - 3*q = -840. Does 36 divide u?
False
Suppose v + 65*o - 61*o - 2608 = 0, -3*o - 12994 = -5*v. Is v a multiple of 9?
False
Suppose -5*z = q - 56 - 4, -2*z = -4*q - 24. Does 2 divide z?
True
Let l(g) = g. Let m be l(-4). Is 8 a factor of (-125)/m*44/11?
False
Suppose 8*s - 1566 = -406. Does 18 divide s?
False
Does 13 divide (-6 + 1323/6)*2?
True
Let d(t) = -104*t**3 - 2*t**2 - 3*t - 2. Suppose 0 = -w + 4*w - 12. Suppose 5*s - s - 3*a + 4 = 0, 0 = w*s + a + 4. Does 29 divide d(s)?
False
Suppose 0 = -5*h + 3*i + 139 + 211, 4*i = 0. Is 7 a factor of h?
True
Suppose 0 = -4*o + 2*n - 17 - 13, n = o + 9. Let l be (-56)/o*(-12)/(-4). Suppose -3*x = -x - l. Is 12 a factor of x?
False
Suppose -2064 - 26 = -5*o. Is o a multiple of 11?
True
Let r(n) = -n**2 - 15*n + 2. Let w be r(-15). Suppose 3*u - 4*a = 208, -5*u - w*a + 345 = -7*a. Does 9 divide u?
False
Let b be 0/(1/(((-21)/6)/(-7))). Let g(h) = h**2 + h + 37. Is g(b) a multiple of 6?
False
Let h be (3 + -5)*-1 + 4. Suppose 0 = 3*b - 0 + h. Is 5 a factor of -1 + 7 + b + 5?
False
Suppose -5*h - n = -407, 24 = -2*h - 2*n + 182. Suppose 3*z = 4*z - h. Does 14 divide z?
False
Is 4 a factor of (12 - -3) + 3 + (-2 - 0)?
True
Let o be 0/(2/(4/(-2))). Suppose -5*t - 19 + 74 = o. Does 2 divide t?
False
Let l(o) = 5*o**2 + 31*o - 48. Is l(13) a multiple of 12?
True
Let g(b) = -b**3 + b**2 + 4*b - 2. Let i be g(3). Let w = i + 22. Is 7 a factor of w?
True
Let p = -548 - -2620. Is p a multiple of 7?
True
Let n = 13 + -19. Let k be 0 - n/3 - 30. Is 6 a factor of (126/k)/(3/(-4))?
True
Suppose -2019 = -3*f + 3*c, 5*f + c + 3*c - 3320 = 0. Suppose -2*k - 3*z - z = -334, -4*k + z + f = 0. Is 15 a factor of k?
False
Let p = -68 + 139. Suppose 0 = 5*o + 5*l - 21 - 44, 5*o - l - p = 0. Is 4 a factor of o?
False
Let m = 1 + 51. Let j(g) = g**3 + 2*g**2 - 11*g - 20. Let x be j(-3). Suppose 3*d - m = -5*t, -4*d + 52 = 2*t - x*t. Is d a multiple of 7?
True
Let o(g) = g**3 - 8*g**2 + 15*g - 10. Let c be o(7). Let w = 80 + c. Is w a multiple of 18?
True
Let k(f) = 4*f + 22. Let y be k(-7). Is 3/(0 - y)*(4 + 78) a multiple of 4?
False
Let z(j) = j**3 - j**2 + j - 1. Let n = 8 + -3. Does 26 divide z(n)?
True
Let s(y) be the second derivative of -1/20*y**5 - 1/3*y**3 - 5*y + 1/2*y**2 + 0 + 5/12*y**4. Is 7 a factor of s(3)?
False
Let h be 9 - (2 + -4 + 4). Suppose 0 = -2*a - 5*t + 6, -2*t = -2*a - h + 41. Does 13 divide a?
True
Let o(f) = -f**2 + 2. Let k be o(0). Let g(v) = -5*v**2 - v + 4. Let z(i) = -11*i**2 - 2*i + 9. Let a(p) = -7*g(p) + 3*z(p). Is a(k) a multiple of 3?
True
Let y = -372 + 608. Is 26 a factor of (2*y/(-8))/(-1)?
False
Let x(b) = 19*b**2 + 12*b + 87. Does 23 divide x(-8)?
False
Let o(t) = 8*t - 7. Let n be o(7). Suppose -k - 5*l + 9 = -n, 256 = 4*k - 4*l. Is 15 a factor of k?
False
Suppose -3*a + 8*a + 5*g - 85 = 0, 0 = 2*a + 4*g - 42. Let o = a - 56. Is 3*1 - (o + 6) a multiple of 20?
True
Let k = 47 - 42. Suppose -3*v + c + 195 = 0, k*c = -4*v + 2*v + 147. Does 11 divide v?
True
Suppose 3*u - 7*u + 168 = 0. Let b be (-7)/(-6) + (-7)/u. Does 5 divide (1 + b)*230/20?
False
Suppose 0 = -3*l + m + 296, -5*l + 452 = 3*m - 32. Is 3 a factor of l?
False
Let d = -1633 + 2086. Does 2 divide d?
False
Suppose -5*y - 5*q + 3505 = 0, 2135 = 3*y + 43*q - 48*q