Does 5 divide p?
False
Suppose 4*z - 57 = -t - 9, -2*z = 4*t - 10. Is z a multiple of 2?
False
Let r(u) = -u**2 - 7*u + 4. Let y be r(-6). Let f = y + 11. Is 7 a factor of f?
True
Let p be (5/(-10))/((-1)/(-10)). Let s = p + 35. Is 11 a factor of s?
False
Let j(w) = -w**3 - 4*w**2 - 2*w + 3. Let m be j(-3). Let u = 3 - m. Suppose 2*l = -p + 3*l + 5, 0 = -p - 3*l - u. Is 3 a factor of p?
True
Let x(v) be the first derivative of v**3/3 - 3*v**2/2 - 2. Let u be x(3). Suppose -2*f + 3*f - 14 = u. Does 14 divide f?
True
Suppose -2*m + m + 3*x = -59, -4*x - 56 = -m. Let u = m - 5. Does 21 divide u?
True
Suppose w - 3 = -2*r, 5*r + 5*w = 2*w + 9. Let g(x) = 6*x**3 - x**2. Let l be g(1). Suppose r = l*m - 0*m - 105. Is 7 a factor of m?
True
Suppose 0 = -4*a + 20, -5*n + 175 = -4*a + 3*a. Is n a multiple of 22?
False
Let a = -129 + 83. Does 23 divide a/4*6/(-3)?
True
Suppose -4*h + 194 + 126 = 0. Is 16 a factor of h?
True
Suppose 0 = -5*d - 4*n - 3 - 3, 5*n + 12 = -4*d. Suppose 4*a = -0*p + d*p + 70, -2*p + 5 = a. Is a a multiple of 12?
False
Let o be 2/15*6*5. Suppose 8 = -3*f + o*c, c + 0*c = -f + 9. Suppose -r = f*k - 15, -k + 0*k = -r. Is k a multiple of 3?
True
Is 4 a factor of (3 + 7)*(-4)/(-10)?
True
Suppose 2*l - 3 = -5*f - 2*l, 0 = 3*f + l + 1. Is (-3)/(f/(-56)*-3) a multiple of 28?
True
Suppose -8*v + 3399 = 3*v. Is 40 a factor of v?
False
Suppose 0 = -k - 2*u - 4, -4*k - 2*u + 3 - 1 = 0. Let d(q) = q**3 - q**2 - q + 1. Let o be d(1). Suppose -k*b + 4*b - 78 = o. Is b a multiple of 13?
True
Let w = -38 + 74. Does 18 divide w?
True
Let b(c) = -c**2 - 5*c - 4. Let q be b(-3). Suppose v + q*n - 6 = 0, -v = -0*v - 2*n - 14. Is v a multiple of 10?
True
Suppose 4*p - 1 = p + 5*u, -3*p + 3 = -3*u. Suppose 4*f - 38 = p*n, -2*f + f - 4*n - 13 = 0. Is 7 a factor of f?
True
Let g(i) = i - 6. Is g(9) even?
False
Let x = -73 + 121. Is 8 a factor of x?
True
Is 438/(-9)*3/(-2) a multiple of 10?
False
Suppose -6*z + 105 = -3*z. Is z a multiple of 15?
False
Let s(n) = n + 17. Suppose d - 1 + 0 = 0. Let j be (-3)/(-6)*(1 - d). Does 5 divide s(j)?
False
Let q = -8 - -10. Suppose -q*a - 24 = -2*c, 5*c + 2*a - 65 = 16. Is 12 a factor of c?
False
Let p(c) = c + 4. Let a be p(-4). Suppose a = -2*s, 0 = -0*x - 3*x - 2*s - 36. Is ((-8)/x)/((-4)/(-114)) a multiple of 10?
False
Let x(b) = -b**2 + b. Let c be x(2). Let s(t) = -t**2 - t + 1. Let k(y) = 7*y**2 + 6*y - 5. Let p(a) = k(a) + 6*s(a). Does 4 divide p(c)?
False
Let l be -3 + 4 + 1 + 0. Let y(u) = 2*u + u**3 + 3*u**2 + 4*u**2 - 2*u**l. Is 4 a factor of y(-4)?
True
Suppose 0*n = -v - 5*n + 457, 3*n = 2*v - 927. Is v a multiple of 33?
True
Let l(d) = 0*d**2 + 3*d - d**2 - 1 + 2*d**2 - d**3 - 1. Does 5 divide l(-3)?
True
Suppose 9*l = 6*l + 66. Is 11 a factor of l?
True
Suppose 2*k - 4*k - 2 = 0. Let m = k - 3. Is 4 a factor of (2/m)/((-3)/48)?
True
Suppose u - 31 = -3*r, -2*r + 3*u + 5 = -23. Suppose -2*m = r - 29. Does 2 divide m?
False
Suppose 4*c + 5 - 17 = 0. Suppose 0*v + 6 = c*v + d, -3*d + 8 = -v. Suppose f = 11 + v. Is f a multiple of 6?
True
Let s = 10 - 5. Let q(x) = -x + 11. Is 3 a factor of q(s)?
True
Is 4 a factor of (2 - 40)*(-1)/2?
False
Let c(l) = l + 1. Let p be c(0). Let r = -1 - -1. Does 13 divide 31 + (0 - r)/p?
False
Suppose -y + 1 = -3. Suppose 2*p - y*p + 56 = 0. Does 28 divide p?
True
Let y(w) be the first derivative of 2*w**2 - 7*w - 2. Is 12 a factor of y(13)?
False
Suppose 0 = -5*g + 9 + 1. Is 5 a factor of ((-30)/21)/(g/(-14))?
True
Let m = 2 - 7. Let b(v) = v**2 + 5*v + 4. Is b(m) a multiple of 4?
True
Let r be 30/8 - (-9)/(-12). Let h(k) = 5*k**2 - 4. Let n be h(r). Suppose n = -2*i + 105. Is i a multiple of 16?
True
Let x = 275 - 185. Is 10 a factor of x?
True
Is 3 a factor of 22 - 4 - 4 - -1?
True
Let r(s) = -2*s - 12. Let p be r(9). Let q = p - -53. Is q a multiple of 10?
False
Let x(u) = u**2 - 5*u + 6. Let f be x(4). Let t = 2 - f. Let b = t - -22. Is 11 a factor of b?
True
Let q(x) be the second derivative of 11*x**4/12 + 2*x**3/3 + x**2 - x. Suppose 0 = 5*s + 2 + 8. Is q(s) a multiple of 14?
False
Suppose -3*t + 48 = 12. Suppose j - t = -3. Suppose 1 - j = -c + 3*b, 5*c = 2*b + 53. Is 11 a factor of c?
True
Suppose 4*g = -4*l + 3*l + 4, 3*g + 5*l - 3 = 0. Let o = -1 + g. Suppose -5*w + 5*x + 58 = -67, o = -2*w + 3*x + 45. Does 15 divide w?
True
Let u = 12 + 7. Is u a multiple of 19?
True
Let q be -3 + 5 - (3 + -4). Let p be 16/1 - (-2)/(-2). Suppose -5*u - 21 = -z, -8*z = -4*z + q*u - p. Does 6 divide z?
True
Suppose 82 = -7*q + 9*q. Does 41 divide q?
True
Let t(d) = -d**2 + d. Let b(p) = 5*p**2 - 5*p. Let l(r) = -b(r) - 6*t(r). Let m be l(3). Does 8 divide (-25)/(-3) + m/(-18)?
True
Let w = 63 - 55. Does 4 divide w?
True
Suppose v - 4*b - 83 = -2*v, -46 = -v + 5*b. Let o = v - -4. Does 15 divide o?
False
Suppose d + d - 100 = 0. Is d a multiple of 10?
True
Let p(u) = -1 + u**2 + u**2 + 0*u**2 - 1 - 3*u. Let m be -1 - -2 - (3 - 6). Does 6 divide p(m)?
True
Suppose -5*x - 1 = -2*q + 56, 5*q - 3*x - 133 = 0. Does 6 divide q - (-2 - -3 - 2)?
False
Let o(z) = z**3 - 2*z**2 + 4*z. Is o(3) a multiple of 6?
False
Suppose -l - 23 = -h - 9, 2*l + 12 = h. Is 8 a factor of h?
True
Let u(x) = -x**3 + 9*x**2 - 2*x + 17. Let v be u(9). Let r(n) = 16*n + 5. Let p(l) = l + 1. Let a(f) = 5*p(f) - r(f). Does 10 divide a(v)?
False
Suppose 20 = 4*y, -3*r - 195 = -8*r - 4*y. Does 20 divide r?
False
Suppose 9 - 124 = -5*o. Is 7 a factor of o?
False
Suppose -2*j + 4*j = 10. Suppose -4*p + 4 = 2*s, 3*s + 0*s - 50 = j*p. Let w = -5 + s. Does 5 divide w?
True
Let a(k) = k**3 + k**2 - k + 1. Let f be a(2). Let r(i) = i - 2. Let x be r(f). Suppose x*m = 4*m + 35. Is 2 a factor of m?
False
Suppose -4*q + 0*q - 40 = 0. Is (-4)/q - 316/(-10) a multiple of 15?
False
Let b = -22 - -17. Is 9 a factor of b/((-20)/88)*1?
False
Let g(j) be the third derivative of -j**7/2520 - j**6/144 + j**5/20 - 4*j**2. Let d(z) be the third derivative of g(z). Is d(-9) a multiple of 4?
False
Let m be 14/(-21) - (-8)/(-6). Let g(l) = -2*l**3 - 2*l**2 + 2. Does 9 divide g(m)?
False
Suppose -8*w + 4*w = 60. Does 10 divide (36/w)/((-1)/10)?
False
Suppose 2*j - 4*j + 8 = 0. Let c(p) = 7*p**2 - j*p + 0*p**2 + 10*p**2 + 3*p. Is c(1) a multiple of 16?
True
Let h = 8 - 4. Suppose -4*i - 3*a = -38, -i + 3*i = h*a + 30. Is i a multiple of 8?
False
Let s be 1/(0 - 1/(-17)). Suppose 0 = 5*a - 4*a - s. Is a a multiple of 16?
False
Suppose -4*w + 2*w = -8. Let r be (-10)/(-2) - (-2 + w). Suppose r*h = 5 + 22. Is 4 a factor of h?
False
Suppose 2*c - 20 = u, -50 = -5*c - u - 0*u. Is 3 a factor of c?
False
Let q(d) = 4*d + 2. Let i be q(2). Let a = i - 4. Is 2 a factor of a?
True
Let y = -1 - -3. Suppose 3*g - 300 = -y*g. Does 11 divide g?
False
Suppose 2*f - 2*z + 8 = 0, -2*z - 2 = -0. Is f*(27/(-5) - -3) a multiple of 8?
False
Let b = 34 - 40. Let f(g) be the third derivative of -5*g**4/24 - 4*g**3/3 + g**2. Is 11 a factor of f(b)?
True
Suppose -m = 4*m - 420. Does 14 divide m?
True
Suppose -24 = q - 5*q. Is ((-4)/q)/((-2)/21) a multiple of 7?
True
Let f be -1*1 - 7/7. Let b(c) = -45*c. Let h be b(f). Suppose 2*r + h = 7*r. Is r a multiple of 6?
True
Let y = 35 + 71. Is 16 a factor of y?
False
Let n(b) = 14*b**3 + b**2 + b - 1. Does 10 divide n(1)?
False
Let g = -6 - -8. Suppose 51 = -2*j + 5*s, -g*j + s = -42 + 105. Is 8 a factor of 1/2 - j/2?
False
Suppose 5*u - 11 = 4. Suppose -u*p + 7 + 24 = 4*v, 0 = -2*v - 4*p + 28. Suppose 4*s - 5*t = 137, s - 2*t = -v*s + 184. Is s a multiple of 11?
False
Let i = -5 + 9. Suppose -q = 2*r + 6, -2*r - i = 4*q + 8. Is 16 a factor of ((-246)/(-9))/(r/(-3))?
False
Suppose -630 + 2037 = 7*n. Let l = n - 83. Does 22 divide l?
False
Let s(f) = -f**2 + 8*f + 4. Let v(r) = -r**3 - 8*r**2 - 8*r - 4. Let t be v(-7). Suppose 3*o - t*c = o - 3, 3*o - 23 = -c. Is s(o) a multiple of 8?
True
Let g(k) = -k**3 + 7*k**2 - 3*k - 6. Suppose 0 = -5*u - 5*f + 45, u - 4*f + 21 = 2*u. Suppose -5*j = -u*w - 55, 3 + 7 = -2*w. Does 6 divide g(j)?
True
Let y be (0 - 3)*44/(-6). Let x be (-4)/y - (-1310)/(-55). Let m = 43 + x. Is 6 a factor of m?
False
Let x be (-93)/(-2) - (-21)/14. Let q = x - 18. Does 9 divide q?
False
Suppose 4*o = 22 + 6. Does 15 divide 41 + (o - 6/2)?
True
Let o = -52 + 117. Does 23 divide o?
False
Suppose 