4 divide p?
True
Let v = -776 - -842. Is v a multiple of 22?
True
Suppose 4*s - 14 = -3*r, 7*r - 18 = 3*r - 5*s. Suppose r*x - 4 = 0, -5*k - x + 377 = -0*x. Is k a multiple of 12?
False
Suppose -4 = -t - 4. Let y(i) = i**2 - i - 5 - i**3 + 0*i**2 + 65. Is 20 a factor of y(t)?
True
Let l(t) = t**3 + 11*t**2 + 8*t + 5. Is 58 a factor of l(-4)?
False
Let t be 3*(16/12 + -1). Let y(p) = 292*p**3 + p - 1. Does 57 divide y(t)?
False
Suppose -37*x = -32*x + 45. Let w = x - -69. Is w a multiple of 23?
False
Suppose 0 = 14*o - 2*o - 1092. Suppose -5*z = 4*u - 706, z + 4*u - 47 = o. Is z a multiple of 21?
False
Let u(p) = -57*p - 240. Is 12 a factor of u(-10)?
False
Let c(p) = p - 8. Let z be c(11). Let k be 1/(z + (-57)/18). Does 35 divide (26 - k) + -2 + 5?
True
Is 37 a factor of 4 + -884*15/(-10) - -2?
True
Let h = 5760 + -3160. Is 26 a factor of h?
True
Let b be (0/3)/(2/(-2)). Is (-71 + -1)*-2 + b a multiple of 29?
False
Let l(h) = -38*h - 256. Does 16 divide l(-34)?
False
Let u be 5*7/((-105)/66). Let p = u - -18. Is 13 a factor of 4*7 + (-2 - p)?
False
Let c = 39 + -9. Suppose 0*t = 2*t + c. Is 2 - t - (-2)/2 a multiple of 9?
True
Let g = 216 + 864. Is g a multiple of 42?
False
Suppose -6*o - 69 = -1269. Let v = o - 35. Let k = v - 109. Is 14 a factor of k?
True
Does 5 divide 9333/81 + ((-2)/9 - 0)?
True
Let z = 1244 - -898. Is 18 a factor of z?
True
Let v be (-6*(-145)/15)/2. Suppose 5*g + v = 294. Does 25 divide g?
False
Let b(m) = m**3 - 6*m**2 - 24*m + 9. Is b(9) a multiple of 12?
True
Suppose d = -3*i - 157, 2*d = -5*i - 477 + 159. Let y = 83 - d. Is y a multiple of 36?
True
Let g(r) = 2*r**3 + 2*r**2 - 48*r + 20. Is 3 a factor of g(7)?
True
Let r(m) = m**2 - 8*m + 9. Let n be r(7). Suppose 58 + n = 5*u. Is u a multiple of 12?
True
Suppose -2*z + 3*a = -8, 0 = z + 4*a - 2*a - 18. Does 15 divide (5 + -9)*(-165)/z?
False
Suppose 12*y + 1000 = 22*y. Is 13 a factor of y?
False
Let k = -121 - -172. Suppose -774 = -5*v - 2*r, 5*r = -v - 0*r + 164. Suppose -5*m + v = -k. Is m a multiple of 22?
False
Suppose -4*s + 3*z + 2703 = 0, -3*s + 8*s - 3371 = -4*z. Does 68 divide s?
False
Let j be -1 + (4 - 0) + 27. Suppose -d + 41 + j = 0. Is d a multiple of 20?
False
Let v = -235 - -406. Does 3 divide v?
True
Let z(j) = 2*j + 4. Let s = 3 - -1. Is z(s) even?
True
Let l(m) be the first derivative of -m**2/2 + 22*m + 7. Suppose 0 = 3*t - 48. Does 4 divide l(t)?
False
Let s(m) = -36*m + 720. Is s(0) a multiple of 8?
True
Let j(h) be the first derivative of -h - 1 + 5/2*h**2 - h**3 - 1/4*h**4. Is 12 a factor of j(-5)?
True
Suppose -54 = o - 261. Let p = -75 + o. Is p a multiple of 33?
True
Does 104 divide 48*6/((-108)/(-117))?
True
Let y(n) = n**2 + 12*n + 12. Let z be y(-7). Let x = z - -96. Is 14 a factor of x?
False
Let v(c) = -c**2 + 14*c - 1. Let k be v(7). Let n = k - 23. Does 25 divide n?
True
Suppose 0 = 4*f + 2*h - 16, 2*f + 5*h - 24 = -0*f. Suppose -31 = -f*a + 41. Does 24 divide a?
False
Suppose 3*i - 5*j + 14 - 83 = 0, j = 5*i - 137. Suppose 30*u - i*u - 96 = 0. Is u a multiple of 17?
False
Let h = -6 - -12. Let a be (-5 - 1)/(4/h). Let y = a + 27. Is y a multiple of 18?
True
Let d(i) = -i**2 + 4*i + 8. Let u be d(7). Is ((-14)/(-13))/7 + (-674)/u a multiple of 3?
False
Let a be 6/(-4)*44/(-6). Let v(c) = -4*c**2 + 12*c + 2. Let p(l) = -5*l**2 + 13*l + 2. Let y(r) = 3*p(r) - 4*v(r). Is y(a) a multiple of 9?
False
Suppose 6*p = 392 + 82. Is 4 + (3 - 2) + p a multiple of 21?
True
Let l be 14 - (3 - (-1 + 0)). Let q = -8 + l. Suppose -2*m - 4*d + 62 = 0, q - 13 = -m + 3*d. Does 7 divide m?
False
Suppose -4*b = -3*b + 2*s + 6, b + 3*s + 11 = 0. Suppose -2*i + i + 74 = -2*n, -b*i + 260 = n. Is 5 a factor of i?
False
Suppose 89*d - 82*d - 4165 = 0. Is d a multiple of 7?
True
Let k(b) be the third derivative of -b**5/60 - 2*b**4/3 - 7*b**3/2 + 3*b**2. Let o be k(-15). Let f = o - -39. Is 11 a factor of f?
True
Let i = -68 - -95. Suppose -2*p + i + 127 = y, 0 = -5*p - 3*y + 383. Does 12 divide p?
False
Suppose -2*x = -3*f + 18, 0 = -4*x + x - 9. Suppose -f*z = -2*z - 92. Suppose -5*h + z + 14 = 0. Is h a multiple of 4?
True
Suppose -h - 296 = -5*v, 4*h - 101 = -3*v + 72. Suppose 5*z - 137 = -j, 2*z + j + v = 4*z. Does 7 divide z?
True
Suppose -15 = -3*x, j + j + 2*x - 4 = 0. Let f(v) = 2*v**2 - v - 11. Does 5 divide f(j)?
True
Suppose 0 = -3*b + 3, -3*u - 5*b = 290 + 137. Let v = -237 + u. Is v/(-12) - 2/(-8) a multiple of 13?
False
Suppose 125*i + 150 = 130*i. Is 6 a factor of i?
True
Let b be 8/(-3) + 2/3. Let i(y) = y**2 + 12*y**2 - 1157 - 2*y + 1156. Does 11 divide i(b)?
True
Let w = 23 + -10. Suppose -5*k - 712 = -w*k. Suppose n = 4*r - k, -r = -10*n + 5*n - 46. Is 4 a factor of r?
False
Let v = 81 - -319. Does 6 divide v?
False
Let y(s) = s. Let l(a) = 43*a**2 + 7*a - 3. Let f(c) = l(c) - 5*y(c). Is f(-2) a multiple of 33?
True
Let i be (-2 - 10)*(-3 + 4). Let d = i - -13. Does 9 divide 112/4 - (d + 0)?
True
Suppose -3*x - i = 18 - 145, 4*x = 4*i + 196. Is 39 a factor of x?
False
Let m(s) = -s + 12. Let h be m(12). Suppose h*o - o = -31. Is o a multiple of 5?
False
Suppose i - 709 = -2*o, 3*o = 7*o - 12. Is i a multiple of 37?
True
Let c be 2/(1/(15/6)). Suppose -2*m + 65 + 32 = -3*j, c*j = -3*m + 193. Is 28 a factor of m?
True
Suppose 4*n - 31 - 20 = 5*g, -5*n = -4*g - 57. Let h(j) = j**3 - 10*j**2 + 12*j - 7. Is h(n) a multiple of 2?
True
Suppose u - 2880 = -5*s, 3*s + 23*u - 20*u = 1716. Is s a multiple of 13?
False
Suppose 0 = -3*k - 2*d + 75, -9 = d - 4*d. Let y = k - 15. Is y a multiple of 8?
True
Let l be (84 + -1 - -2) + 4. Let s = 200 - l. Does 37 divide s?
True
Let f be (-57)/(-4) - 1/4. Let a = -11 + f. Let o(x) = 4*x**2 + 4*x - 1. Does 12 divide o(a)?
False
Let y be (5/(7 - 12))/((-1)/(-107)). Is 16 a factor of 3 - (-1 + 0 + y)?
False
Suppose 15 = 3*g, -3*r = -4*r + 5*g + 1131. Does 11 divide r?
False
Suppose -4*q + 3 + 2 = 3*i, -4*i = 4*q. Suppose -r + 2*b = r - 22, -q*r = 2*b - 62. Does 9 divide r?
False
Suppose 21 = -2*o + 25. Suppose 42 = o*k + k. Is k a multiple of 14?
True
Let v(f) = f + 43. Let j be v(-18). Suppose -j*r + 7 = -24*r. Is 7 a factor of r?
True
Let a(h) = -3*h**3 + 3*h**2 - 13*h - 56. Is 6 a factor of a(-5)?
False
Let p(w) = -3*w + 2. Let m be p(-2). Suppose 0 = 2*s + m - 134. Is s a multiple of 9?
True
Let u(r) = -r**3 + 12*r**2 - 12*r + 20. Let s be u(11). Let x(m) = m**3 - 9*m**2 + 11*m + 9. Does 9 divide x(s)?
True
Suppose 265 = n - 295. Is 56 a factor of n?
True
Suppose 0 = 2*f + 3*d - 19, 4*f - 16 + 3 = -d. Is 15 a factor of (f/6)/((-13)/(-1794))?
False
Let z(w) = 9*w**3 + 2*w**2 + 15*w - 53. Does 7 divide z(5)?
True
Let v = 4 + -12. Let o(j) be the first derivative of -4*j**2 + 5*j + 54. Does 23 divide o(v)?
True
Suppose -5*w + 519 = 4*o, o = -4*w + 4*o + 440. Suppose -34 = -r - 2*s, -2*r - 14 = -s - w. Is r a multiple of 11?
True
Does 8 divide (-3)/7 + (-7077)/(-49)?
True
Let d be (-6)/36 + ((-14980)/(-24))/1. Let o = 894 - d. Is o a multiple of 18?
True
Suppose -4*n = -5*o + 18 + 18, -2*o - 8 = 4*n. Suppose 54 = 2*j - 4*v, -2*j = -o*j + 5*v + 54. Is j a multiple of 2?
False
Let x(n) = n**3 - 8*n**2 - 7*n + 9. Let a be x(9). Let y be a + 2 + (-4 - 0). Suppose y + 79 = 2*b. Is b a multiple of 26?
True
Suppose 0 = a + 2*a + 36. Does 2 divide a/(9/16*(-40)/30)?
True
Suppose -186*w + 1400 = -178*w. Is w a multiple of 5?
True
Suppose 3*s - 4*c = 92, -s - 2*s + 5*c + 88 = 0. Let t = 54 - s. Is 9 a factor of t?
True
Let j(u) = 32*u - 35. Let r be j(16). Suppose 11*n = 8*n + r. Does 24 divide n?
False
Does 9 divide 1/8 - 3*(-10969)/168?
False
Does 24 divide 3 + 2363/4 + 2/8?
False
Suppose -6*s = -s - 2*x - 30, -5*x = 5*s + 5. Suppose s*o = 12 - 4. Suppose l - 38 = o*q, -4*l + 153 = -3*q + 1. Is 19 a factor of l?
True
Let s = -198 + 492. Is s a multiple of 7?
True
Let w(p) = p**3 + 7*p**2 - 4. Let o be w(-7). Does 10 divide 50/o*(-48)/15?
True
Suppose 0*w = -4*n - 5*w + 17, 5 = 3*n - 4*w. Suppose -2*j - n*x - 8 = -0*x, -j + 3*x = -14. Suppose -48 = -2*g - 5*p, -18 - 34 = -j*g - 4*p. Does 10 divide g?
False
Suppose 5*r - 4 = 4*r. Suppose -74 - 22 = -r*v. Is 13 a factor of v?
False
Suppose -13*j + 12*j - 9 = 0. Is ((-30)/j)/(-5)*(-225)/6 a multiple of 7?
False
Let a be (1 + 5)/((-3871)/770 - -5). Let q = -84 - a. Is 