3*d. Does 10 divide d?
False
Let m = 1 + 31. Let h be 1/(-2) + 140/(-8). Let l = m + h. Is 5 a factor of l?
False
Let w(j) = -j**3 + 6*j**2 + j - 6. Let c = -2 - -7. Does 14 divide w(c)?
False
Suppose -r + 159 = 4*x, 4*r + 111 = 3*x + 2*r. Is x a multiple of 5?
False
Is 4*(-2 + 11/2) a multiple of 3?
False
Let y = 62 + -35. Is 27 a factor of y?
True
Let k be 96*(15/(-4) - -3). Let h = k - -114. Does 9 divide h?
False
Let q be -110*((-24)/15)/2. Suppose 3*j - q = -10. Does 9 divide j?
False
Suppose 3*r + 3*b = 177, -2*r + 0*r - b + 121 = 0. Is 12 a factor of r?
False
Let w = 19 - 59. Let k = w - -25. Is (-201)/k + 2/(-5) a multiple of 9?
False
Let a be (-2)/(-10) - 72/(-40). Suppose -c - 2*w + 52 = c, -a*w + 83 = 3*c. Does 31 divide c?
True
Let r(h) = -4*h**3 - 3*h. Is r(-2) a multiple of 19?
True
Suppose 0 = 3*o + 3*l - 4*l - 107, 2*l = o - 34. Is 36 a factor of o?
True
Let d(z) = -48*z**2 - 96*z + 33. Let k(m) = 3*m**2 + 6*m - 2. Suppose -4 = 4*w - 6*w. Let s(o) = w*d(o) + 33*k(o). Is 15 a factor of s(-4)?
False
Is 7 a factor of (177/(-4 - -1))/(-3 + 2)?
False
Let q(k) = 93*k + 2. Is 24 a factor of q(1)?
False
Does 8 divide (1 - (-45)/2) + (-45)/(-90)?
True
Suppose 3*v - 311 - 541 = 0. Is v a multiple of 59?
False
Suppose 0*y = -y - 52. Let s be -3 - -1 - y - 0. Suppose -28 = -3*c + s. Does 13 divide c?
True
Suppose y = -5*v + 36, v + 4*v = 5*y - 180. Is 18 a factor of y?
True
Let d(f) = f**3 + 11*f**2 - 14*f - 4. Does 17 divide d(-11)?
False
Let d = 15 - -1. Let b = -1 + d. Does 12 divide b - (-3 - (1 + -4))?
False
Suppose 5*q = -2*i + 34, -20 = -5*q - i + 17. Does 8 divide q?
True
Suppose 0*t + 141 = n - 3*t, 0 = -3*n + 2*t + 430. Is n a multiple of 31?
False
Let b be -4*(0 - (-3)/(-6)). Suppose l - b + 6 = 0, 3*l + 16 = 4*t. Is (-4)/(-3)*6*t a multiple of 4?
True
Let w(b) = 434*b. Let p be w(2). Is 14 a factor of p/21 + 4/6?
True
Suppose 6*m - 2*m + 40 = 0. Does 10 divide (116/m)/(22/(-55))?
False
Suppose 0 = -2*c + 1 + 65. Does 19 divide c?
False
Let p = 525 + -313. Suppose 0 = 5*g + 3*v + p, -5*g - 210 = 5*v. Let d = -11 - g. Does 16 divide d?
True
Suppose 5*s = -10 - 0. Let p be 1 + 0 - (s - -1). Does 3 divide (-1)/(p*(-1)/14)?
False
Let t be (-18)/9 - 8*-2. Suppose -2*g = -3*g - t. Is (0 + 6)/(g/(-63)) a multiple of 13?
False
Suppose 4*g + 2*g = 36. Does 5 divide (1 - 2)*(-90)/g?
True
Suppose -305 = 2*z - 7*z. Is 12 a factor of z?
False
Let k(f) = -1 + 4*f**2 - 3*f - 3*f**2 + 0*f**2. Suppose x = -4*x + 25. Is k(x) a multiple of 9?
True
Let j(r) = -7 - 6*r + 5*r + 29*r. Let p be j(5). Let n = p - 94. Is n a multiple of 13?
True
Let d = 69 + -17. Does 8 divide d?
False
Let h(f) = 12*f + 0 + 6 + f. Does 13 divide h(3)?
False
Let f be (-4)/(-6) - 52/(-12). Suppose 2*n - 4*v = 96, 2*n - f*v - 32 = 63. Is 10 a factor of n?
True
Does 31 divide 171/(-18)*(-5 + -1)?
False
Let z = 2 - 8. Let m be -4*(z/(-8))/(-1). Does 13 divide 26/(2 - (m - 2))?
True
Let k be -9 + 1*(4 - 2). Let f(h) = 3*h**2 + 9*h + 6. Does 30 divide f(k)?
True
Suppose -1968 - 242 = -13*l. Does 34 divide l?
True
Suppose -3*z + 2*d - 2 = 0, -5*z + 3*d = -0*d + 3. Is 42 - (z + 0 + 1) a multiple of 13?
False
Suppose 3*z - 5 = 1. Let s be z/(-4) + 11/2. Suppose 4*y + 3 = s*y. Is 3 a factor of y?
True
Let w(j) = j**3 + j**2 + 17. Let b be w(0). Suppose 2 - b = 5*l. Is 13 a factor of (-37)/1*l/3?
False
Let u(g) = -g**2 + g + 211. Let r be u(0). Let w = -151 + r. Does 15 divide w?
True
Let r = 0 + 0. Suppose -o + 10 + 17 = 0. Suppose r*y - 3*y = -o. Is 9 a factor of y?
True
Suppose -22 = -2*o + 402. Is (-22)/(-99) + o/18 a multiple of 4?
True
Let b be (-9)/(-3) - 3 - 230. Does 8 divide b/(-14) + (-6)/14?
True
Suppose 39*z = 34*z + 145. Does 10 divide z?
False
Suppose -464 = -8*x + 4*x + 4*a, 0 = 5*x + 4*a - 562. Does 39 divide x?
False
Let v(s) = s**3 - 3*s**2 - 5*s + 3. Let b be v(4). Let x be ((b - -1) + 1)*-1. Does 5 divide (x - 0)/((-1)/5)?
True
Let v(m) = -m**3 + 3*m**2 - 2. Let w be v(3). Is 1 - -1*(42 + w) a multiple of 14?
False
Let c(h) = 3*h**2 - 7*h**2 - 7 + 15*h - 6*h**2 + 9*h**2. Let r(o) = -o**2 + 7*o + 7. Let u be r(6). Does 17 divide c(u)?
False
Suppose -6*w + w + 25 = 0. Suppose -w*b = -27 - 38. Does 6 divide b - (1 + (-3 - -3))?
True
Suppose 0*r + 10 = 2*r. Is 13 a factor of r*(-3)/((-30)/52)?
True
Suppose 1089 = 5*c + 4*c. Does 9 divide c?
False
Is 15 a factor of (-4 + -2)/(4/(-20))?
True
Let b(r) = 9*r + 1. Let a be b(3). Suppose 140 - a = 4*x. Is 7 a factor of x?
True
Suppose 0 = 4*q - 5 - 3. Suppose -3 - 5 = -q*m. Let b = m - -1. Does 3 divide b?
False
Let s(h) = 86*h**3 + 3*h**2 - h - 1. Does 17 divide s(1)?
False
Suppose 3*t = 5*o - 329, 6*t - 311 = -5*o + 3*t. Is o a multiple of 10?
False
Let s(i) = 2*i**2 + 4*i - 1. Let z be s(-6). Let m = -26 + z. Is 21 a factor of m?
True
Suppose -28*o + 31*o = 66. Is o a multiple of 13?
False
Suppose 6*d - d = 0. Suppose 2*k - 68 = -d*k. Is k a multiple of 17?
True
Let a(k) = k**3 + 7*k**2 - 2*k - 8. Is 10 a factor of a(-6)?
True
Suppose -v - 2*v = -381. Is v a multiple of 19?
False
Suppose 0 = -p + 5*p - 44. Is p a multiple of 8?
False
Let h(y) = -3*y**3 + 9*y**2 + 6*y - 2. Let u(f) = 7*f**3 - 19*f**2 - 13*f + 3. Let w(i) = 5*h(i) + 2*u(i). Does 12 divide w(7)?
True
Let r = -5 - -4. Let j be 1 - 1/r - 4. Does 10 divide (0 - j - 1)*10?
True
Let y = 6 + -6. Suppose b - 24 = -y*b. Is 12 a factor of b?
True
Suppose -4 = -2*h - 0*h. Suppose h*r - 4*m + 184 = 6*r, -4*m + 16 = 0. Is r a multiple of 18?
False
Let d(a) = -5*a**2 - 5*a + 3*a**2 - 6*a + a**2 - 8. Suppose 2*j + 0*j + 16 = 0. Is 8 a factor of d(j)?
True
Let k(f) = 272*f + 9. Does 22 divide k(1)?
False
Suppose 0 = 5*b - 4*o - 28 - 87, -66 = -3*b + 3*o. Is b a multiple of 22?
False
Suppose 2*q + 5*x = -22, 4*x = -5*q + 3*q - 18. Let c(i) = -15*i**3 - i**2 - 2*i - 1. Let b be c(q). Does 13 divide ((-12)/b)/((-2)/65)?
True
Let d(q) = -q. Suppose 6*a + 16 = 4*a. Is d(a) a multiple of 7?
False
Let i be 0 - (-1 + -1 - 40). Suppose -3*j + j = -i. Is 21 a factor of j?
True
Let d(w) = w + 27. Let h be d(0). Suppose -2*j - j = 3*r - h, -2*r + 14 = 3*j. Suppose 3*t + r = 4*t. Is 5 a factor of t?
False
Let c(l) = 15*l - 1. Let g = 3 - 4. Let z be c(g). Does 6 divide ((-3)/4)/(2/z)?
True
Let o(g) be the first derivative of 5*g**3/6 + g**2/2 + 4*g + 3. Let f(m) be the first derivative of o(m). Is 2 a factor of f(1)?
True
Let i(l) = l**3 - 2*l**2. Let h be i(1). Let a = h + 6. Suppose -17 = -z - a*j, -4*z + j + 67 = -z. Does 11 divide z?
True
Let g be (-4)/30 - 310/(-75). Suppose v + 3*v = 3*k - 67, -3*k = g*v - 107. Does 9 divide k?
False
Let g = 235 - 154. Is 11 a factor of g?
False
Let x(c) = c - 1. Let q be 6/4*16/6. Let t be x(q). Suppose -2*r + 11 = -t. Is 2 a factor of r?
False
Let v be (-16)/(-6) + (-2)/(-6). Suppose 4*x + v*p = 8, 4*x = p - 9 + 1. Is 12 a factor of 30*(x - 15/(-9))?
False
Let l = 33 + -26. Is 3 a factor of l?
False
Let y = -8 - -15. Let g(l) be the third derivative of -l**6/120 + 7*l**5/60 + l**4/24 + l**3 + l**2. Is g(y) a multiple of 5?
False
Let m = -28 - -12. Let d = m + 35. Is d a multiple of 19?
True
Let m(d) = d**2 - 10*d + 9. Let w be m(9). Suppose -6*k + 2*k + 192 = w. Is 24 a factor of k?
True
Suppose -5*f + 3*y + 22 + 0 = 0, -3*f - 3*y = -18. Suppose 30 = -0*d + f*d. Does 3 divide d?
True
Let k be (15/4)/(3/8). Let c = k - -14. Does 14 divide c?
False
Let b(r) = 2*r + 4. Let n(q) = -q - 3. Let z(m) = 2*b(m) + 3*n(m). Let k be z(5). Suppose -146 = -k*d - h, 0*h - 4*h - 64 = -2*d. Does 18 divide d?
True
Let j(t) = 3*t**2 - 4*t + 18. Is j(-6) a multiple of 15?
True
Let z(u) = u**3 + 10*u**2 + 9*u - 2. Let o be z(-8). Suppose -3*l - 66 = -5*t, l - 4*l + o = 3*t. Is 15 a factor of t?
True
Let q(c) = -c**3 + 20. Suppose 3*r + 2*f - 8 = 0, -4*r - 3*f + 12 = r. Let u be q(r). Suppose 0 = -5*j + u + 65. Does 17 divide j?
True
Let n = 11 + -11. Suppose 2*f - f - 22 = n. Is f a multiple of 13?
False
Let p be 188/10 - (-4)/20. Suppose -o = -29 - p. Is 12 a factor of o?
True
Let k(q) = q + 4. Let o be k(0). Let m(h) be the first derivative of h**4/4 - 4*h**3/3 + h**2 - 5*h - 11. Does 2 divide m(o)?
False
Let n = 664 - 321. Let r = n - 232. Does 33 divide r?
False
Let k(z) = -z**3 + z**2 - 312. Let q be k(0). Is q/(-14) - 12/42 a multiple of 13?
False
Let