e p(2). Suppose 3*k = w + 16. Is 10 a factor of k?
False
Let b = 38 + -26. Let v be ((-12)/(-10))/(b/40). Let l = 3 + v. Is 7 a factor of l?
True
Suppose -h = -0*h - 41. Is h a multiple of 13?
False
Suppose 0*m + 2*z - 4 = 3*m, -6 = -3*z. Suppose 8*p - 4*p - 20 = m. Is p a multiple of 4?
False
Is 20 a factor of (75/(-10) - 0)/(6/(-80))?
True
Let o(l) = -6*l + 43. Is o(6) a multiple of 7?
True
Suppose -3*y + y = 0. Suppose 3*r = -3*c + 105, 3*c = -y*r - 5*r + 97. Suppose 0 = 2*q + 3*x - c, 2*q - q - x - 17 = 0. Is q a multiple of 9?
True
Suppose -y - 4*q - 1 = 0, -5*q - 7 = -5*y + 13. Let h(o) = 4*o. Is h(y) a multiple of 6?
True
Let s be (-3 + 1/(-3))*6. Does 3 divide 3 - s/(2 + 2)?
False
Suppose 0*f + f = -1. Is f/2*(-104)/4 a multiple of 13?
True
Let h = -36 - -343. Is 30 a factor of h?
False
Suppose -8 = -5*d - 5*t + 17, 13 = 3*d + 2*t. Let a be d/(-2)*60/(-9). Is 12 a factor of 246/a + (-3)/5?
True
Suppose -g - 42 = -7*g. Does 7 divide g?
True
Let g(t) = -67*t. Let j be g(-1). Let o be 21 + (2 + -2)*-1. Let a = j - o. Is a a multiple of 23?
True
Let u(q) = q**2 - q + 1. Is 13 a factor of u(-6)?
False
Let i = -68 + 260. Suppose g - d + i = 4*g, 0 = -5*g - d + 322. Does 16 divide g?
False
Suppose -5*c - 30 = -i, -5*i - c + 104 = -3*c. Suppose i = 2*n + 2*n - 3*z, 0 = n + 5*z + 18. Let s(a) = 3*a**3 - 2*a**2 - a - 1. Is 6 a factor of s(n)?
False
Let m(r) = -3*r + 12. Let q(l) = -l + 6. Let o(z) = -2*m(z) + 5*q(z). Does 4 divide o(0)?
False
Suppose -6*w = w - 14. Let g(t) be the first derivative of 2*t**2 + 1. Is 8 a factor of g(w)?
True
Let a(n) = -5*n**2 + 8*n - 1. Let v(p) = -4*p**2 + 7*p - 2. Let k(h) = 3*a(h) - 4*v(h). Let b = 16 - 10. Does 17 divide k(b)?
True
Does 26 divide ((-2)/(-6) - (-40)/15)*15?
False
Is 18 + (1 - 2) - -1 a multiple of 6?
True
Suppose z = 4*y + 10, -5*y + 14 = z - 10*y. Let o be 15/1*(0 - -2). Let q = z + o. Is 16 a factor of q?
False
Is 13 a factor of 1 - (-36)/((-1)/(-1))?
False
Suppose -2*i - 10 + 0 = 0. Let z be -3 + 3*(-3 - i). Suppose -36 = -z*p - 2*y, -2*y + 4*y = -5*p + 56. Does 3 divide p?
False
Let n = 8 - 0. Suppose -n = i + 4*z, 10 - 2 = 4*i - 4*z. Suppose c - 9 - 18 = i. Is c a multiple of 13?
False
Suppose 0 = -b + 16 + 20. Is b a multiple of 13?
False
Suppose -4*i = -2*h - 74, 4*i - 90 = -i + 2*h. Suppose 2*k - 8 - i = 0. Does 5 divide k?
False
Let t be (-18)/(-45) + 34/(-10). Does 3 divide (-230)/(-35) + t/(-7)?
False
Suppose -5*v = 2*l - 664, 135 - 397 = -2*v + l. Is v a multiple of 12?
True
Let q = 45 + -21. Let z = q + -17. Is z even?
False
Let q = -110 - -136. Is q a multiple of 26?
True
Let x(u) = u**3 + 14*u**2 - 21*u + 1. Is 14 a factor of x(-15)?
False
Let x = -50 - -92. Is 10 a factor of x?
False
Let n be 0 - 4/((-16)/140). Let d = 75 - n. Is 10 a factor of d?
True
Let k = -9 + 17. Let d(x) = -6*x - 6. Let f be d(k). Let v = f + 79. Is 9 a factor of v?
False
Let v(t) be the first derivative of t**4/4 - 2*t**3/3 + t**2/2 - 1. Let b be v(1). Suppose -3*u + 12 = -0*r - r, -4*u + r + 16 = b. Is u even?
True
Suppose -3*v = -207 - 36. Suppose -2*u = -5*u + v. Is 8 a factor of u?
False
Let a(b) = -61*b - 5. Is 14 a factor of a(-1)?
True
Let y(d) = -d + 52. Is 4 a factor of y(16)?
True
Let d = 7 + -3. Suppose -d*l - 25 = -f, 0 = 4*f - 4*l - l - 111. Does 29 divide f?
True
Let b = 7 + 3. Let t = 1 + b. Is t a multiple of 11?
True
Let j(h) = -h**2 + 6*h - 6. Let r be j(3). Suppose -81 = -4*p - 3*b - 6, -2*p + r*b = -33. Does 11 divide p?
False
Let d = -6 - -2. Let a be (d/5)/(2/(-60)). Suppose 0 = -0*p + 4*p - a. Does 6 divide p?
True
Let v be (6 - 4)/((-2)/79). Let j = v - -120. Is 18 a factor of j?
False
Suppose -4*d - a + 7 = 3, 5*d - 26 = 4*a. Let y(l) = 2*l**3 + 3*l - 2. Does 10 divide y(d)?
True
Let v(l) be the first derivative of -l**4/4 - l**3/3 - l**2/2 + 14*l - 1. Suppose -2 = 3*y + 2*p, -y + 3*y = 2*p + 2. Does 7 divide v(y)?
True
Let n(z) = 12*z**2 - z - 1. Let t = -8 + 11. Suppose t = c - 4*m, -3*m - 2*m = 5. Does 5 divide n(c)?
False
Let m(w) = 7*w + 15. Is m(5) a multiple of 18?
False
Let x = 88 - 58. Let o = x + -14. Let j = -2 + o. Does 8 divide j?
False
Suppose 0 = -5*l - 2*h + 1922, 0 = 5*l - h + 2*h - 1921. Is l a multiple of 32?
True
Let x(n) = n**2 - 5*n + 3. Let r be x(4). Does 15 divide r/(-3) + (-534)/(-18)?
True
Let x = 10 + -6. Suppose 2*d = -5*r + 38, 3*d + 3*r - 76 = -d. Let f = d + x. Is 13 a factor of f?
False
Suppose p + 2 = -0. Let k be p/(-1) - (2 + -4). Suppose 3*f - 6 = 4*w, -k*f + 4*w = -3 - 9. Is 3 a factor of f?
True
Let m(p) = -p - 4. Let h be m(-4). Suppose h = 5*y - 277 + 77. Does 14 divide y?
False
Suppose -d + 22 = -5*v + 2*d, 0 = 3*v + 4*d + 19. Let p = v - -12. Is 3 a factor of p?
False
Is ((-20)/(-8))/(-5)*-12 a multiple of 4?
False
Suppose c - 5*c = -48. Does 6 divide c?
True
Let j = 41 + -28. Suppose b + 0 = 6. Suppose z + b = j. Is 2 a factor of z?
False
Is 2/5 - 2574/(-90) a multiple of 16?
False
Suppose 3*n - 3*g - 15 = 0, g = -2*n + 5*g + 14. Does 14 divide n + 0 + -3 - -29?
False
Suppose 5*a + c + 3*c = 224, -2*a + 85 = -3*c. Does 11 divide a?
True
Suppose 3*z - 6*z - 9 = 0. Is (3 + -2 - z) + 0 even?
True
Suppose b + 1440 = 7*b. Is b a multiple of 20?
True
Let c(o) = -2*o - 1. Let t be c(-2). Let n be 242/(4 + (1 - t)). Suppose -2*w = 6*d - d - n, -2*d - 3*w = -55. Does 9 divide d?
False
Is 20 a factor of 303/5 + -1 + 44/110?
True
Let r be 18 + (0 - 1)*1. Suppose 17 = g + 5*z, -z - 3*z - r = -g. Is g a multiple of 17?
True
Suppose -6*x = -x - 50. Is x a multiple of 5?
True
Let w = 106 - 95. Does 2 divide w?
False
Let w be (-1 - 11)/(0 + -1). Does 3 divide (-126)/w*2/(-3)?
False
Let y(d) be the third derivative of d**5/15 - d**4/8 - 2*d**3/3 + d**2. Suppose 3*s - 3 = 2*s. Is 8 a factor of y(s)?
False
Suppose 0 = 5*d - 357 + 62. Is 13 a factor of d?
False
Suppose -g - 8 = -5*g - 2*u, 0 = 4*g + u - 8. Let b(t) = 2*t**2 - 3*t - 2. Let v be b(-1). Suppose g*p = -v*p + 30. Is p a multiple of 6?
True
Suppose -2*z - 5*p + 249 = 0, -z - p + 151 = 34. Is 14 a factor of z?
True
Let p(m) = -2*m**2 + 6*m + 11. Let n be p(12). Is ((-1 - n)/4)/1 a multiple of 12?
False
Let v = 152 - -25. Is 17 a factor of v?
False
Let y = 68 + -44. Does 8 divide y?
True
Let x = 168 + -77. Let g = 48 - x. Let z = 75 + g. Does 12 divide z?
False
Suppose 8*u - 692 = 4*u. Let q = u + -121. Does 11 divide q?
False
Let j(q) = q**3 + 2*q**2 + 2*q - 1. Let l = -22 + 10. Let k be -1*(l/3 + 2). Does 12 divide j(k)?
False
Let q(c) = -c**3 - c**2 + 4*c - 1. Let h = -9 + 6. Let b be q(h). Suppose -3*d + 2*d = -2*t - 42, b*d - 234 = 4*t. Is 18 a factor of d?
False
Suppose 5*c - 20 = 0, 0*c - 4*c + 7 = -3*l. Suppose 32 = u + l*u. Is u a multiple of 2?
True
Suppose 4*m = 4*k + 741 - 93, 3*m + 4*k = 514. Does 13 divide m?
False
Let o = 10 - -34. Suppose -o = -3*u + 133. Is u a multiple of 19?
False
Does 9 divide 14/84 - 53/(-6)?
True
Suppose -2*k + 608 = 410. Is k a multiple of 9?
True
Let j(y) = y**2 - 2*y. Let i be j(3). Suppose -6 = i*h - 18. Let a = 0 + h. Is a a multiple of 4?
True
Suppose -825 = -13*i + 2360. Is i a multiple of 18?
False
Suppose 3*x = 2*l - 687, -x + 240 - 1589 = -4*l. Does 12 divide l?
True
Suppose 0 = t - 2*t + 2. Let n(q) = 11*q - 2 + 1 - t*q. Is 17 a factor of n(2)?
True
Let x = -44 + 3. Let s = -94 - x. Let j = s - -76. Does 10 divide j?
False
Suppose -4*z - 40 = v - 561, -4*z + 4*v = -496. Suppose n - z = -3*f, -31 = -f - 4*n + 12. Is 25 a factor of f?
False
Suppose -4*n + 425 = -87. Suppose -g - n = -3*g. Let r = -37 + g. Is r a multiple of 22?
False
Let n = 0 + 2. Suppose -y = n*y - 15. Let u = -1 + y. Is u even?
True
Suppose -d - 35 = -7*c + 2*c, -25 = 3*d + c. Suppose -j - 121 = 4*y, -y - 34 = -0*y + 4*j. Let v = d - y. Does 10 divide v?
True
Let s be 3/(-15) - 26/(-5). Suppose -s*d = -86 - 379. Does 13 divide 12/(-42) - d/(-7)?
True
Suppose 2*p - 5*m - 5 = 5, 15 = 3*p + 4*m. Suppose 4*x - 3*k = 89, -p*x - k = 2*k - 118. Is 11 a factor of x?
False
Let c(l) = -3*l + 3. Is 6 a factor of c(-1)?
True
Suppose 0 = -n + 2*u + 2 - 10, 0 = 5*n - 3*u + 26. Let f(m) = -m - 1. Let r be f(n). Does 11 divide r/6 - (-100)/8?
False
Let l = -3 - -2. Let z = l - -5. Suppose -x + 15 = z*x. Is 2 a factor of x?
False
Suppose -2*r + 2 = -r + s, r - 11 = 2*s. Suppose 20 = -4*z, 0 