es 2 divide p?
True
Suppose 0 = 3*x - 2*j - 98, -128 = -6*x + 2*x + 4*j. Let b = 1 - -1. Suppose -m + x = b*u, -46 - 24 = -4*u - 3*m. Is 16 a factor of u?
True
Suppose 4*r - 4 - 360 = 0. Is 13 a factor of r?
True
Suppose -5*r + 4*j = 44 - 12, -r + 4*j = 0. Let o(g) = -g**3 + 0*g**3 + 2*g**3 + 9*g**2 + 5*g. Does 7 divide o(r)?
False
Let c = 118 - 10. Let o = c + -52. Is 9 a factor of o?
False
Let u = 21 - -49. Does 25 divide u?
False
Let w = -2 - -5. Let v be 1 + w + -3 + 4. Suppose 105 = v*q - 0*q. Does 16 divide q?
False
Let v = -2 + 7. Is 6 a factor of (13/5)/(v/25)?
False
Let j(h) = -10*h**2 - 2*h + 1. Let v(f) = 9*f**2 + 2*f - 1. Let u(p) = 6*j(p) + 7*v(p). Is u(2) a multiple of 8?
False
Let y = 23 + -1. Suppose o - 4*d - y = 3, 0 = -o - 3*d - 10. Suppose o*n = 40 - 10. Is n a multiple of 6?
True
Is (-5373)/(-18) - (-4)/8 a multiple of 23?
True
Let p be 4/(-1) - 10/(-5). Let n = p + 2. Suppose n = 5*z + 5*k - 95, 0 = -5*z - 0*z + 4*k + 68. Does 5 divide z?
False
Let i(h) be the first derivative of -h**4/4 + 7*h**3/3 - 5*h**2/2 - 3. Does 14 divide i(4)?
True
Let d = -24 - -32. Suppose i = -d + 30. Does 17 divide i?
False
Let o be 1 + (-5)/(10/(-14)). Is (140/o)/(-7)*-18 a multiple of 12?
False
Let k(j) = -j + 14. Is k(-6) a multiple of 20?
True
Suppose -184 = -8*g + 224. Does 8 divide g?
False
Suppose -r = -l + 10, -l - r = 3 - 7. Suppose -4*c + 98 = -2*m, -5*c + 2*m = l - 130. Is c a multiple of 11?
False
Suppose 5*x = 18 - 78. Does 9 divide x*1/(8/(-6))?
True
Let a = -222 + 317. Is a a multiple of 19?
True
Suppose 4*i = 13 + 3. Suppose -3*x - x + 4*u + 28 = 0, 0 = 2*x - i*u - 22. Suppose 7*k - 136 = x*k. Is 12 a factor of k?
False
Let w be 1/3 + 44/12. Suppose -w*n + 112 = 16. Is 12 a factor of n?
True
Suppose x + 3*x = 12. Let f(j) = j**2 - 7 + 2*j - 4*j - x*j. Is f(7) a multiple of 7?
True
Let p = -11 - -17. Let l(n) = -n**3 - 4*n**3 - 5 + 6*n**3 + 8*n - p*n**2. Is 5 a factor of l(5)?
True
Let k(r) = r**3 - 7*r**2 + 6*r + 5. Let c be k(6). Let p be 1 + c + -1 + -1. Suppose -16 = -p*i + 64. Is i a multiple of 8?
False
Let o(b) = 2*b + 10. Let z be o(-7). Is (42/z + 3)*-2 a multiple of 6?
False
Let w = -578 + 826. Is w a multiple of 62?
True
Let j be 2 + 1 + (-3)/3. Suppose j*r - 100 = -3*r. Is 17 a factor of r?
False
Let g = 16 - 5. Is g a multiple of 6?
False
Let r(y) = 7*y - 12. Does 15 divide r(6)?
True
Suppose -7 = -x - 1. Suppose 3*y - x = 51. Let a = 33 - y. Does 9 divide a?
False
Is 3 a factor of 2*((-34)/(-4) + -1)?
True
Suppose -3*o - 24 = -5*f, 4*f + 0*o - 18 = 2*o. Suppose 2*j = 5 + f. Suppose 0 = -j*d + 2*l + 108, -3*d = 2*l + 2*l - 81. Does 13 divide d?
False
Suppose 2*j = -3 - 3. Let c be 6/(-8) - j/4. Does 6 divide (-49)/(-7)*(c - -1)?
False
Let d be (-10)/25 - 153/5. Let l = -22 - d. Let s = l + -1. Is 3 a factor of s?
False
Let z = 1 + -1. Suppose z = -2*y + 69 - 3. Is 18 a factor of y?
False
Let r be (-8)/(-6)*3/2. Let m be r - 2/2*0. Is (m*-1 - -17) + 0 a multiple of 6?
False
Let f(d) = -71*d**2 - d + 1. Let p be f(1). Let q = 8 - p. Suppose -4*g + 21 = -q. Is g a multiple of 13?
False
Let n(z) be the first derivative of z**4/4 + 8*z**3/3 - z**2 + 10*z + 5. Is n(-8) a multiple of 23?
False
Let g(i) = -i**3 + 6*i**2 - 2*i + 6. Does 25 divide g(3)?
False
Let f = 3 - 0. Suppose -2*p = -f*u + 68, -3*u + 2*p = u - 90. Is 14 a factor of u?
False
Let l(i) = -6*i - 4. Does 2 divide l(-9)?
True
Let j(p) = -15*p - 19. Is 25 a factor of j(-7)?
False
Suppose v - 5*h = 25, -2*v + 2 + 0 = 2*h. Suppose 5*l + 2*o - 27 = 0, -v*l - 2*o + 29 = 2*o. Does 5 divide l?
True
Let j be 1 - (0 + 0 + 1). Suppose 3*l - 22 + 4 = j. Does 6 divide l?
True
Let f(o) = -9*o - 13. Is f(-9) a multiple of 23?
False
Let z(w) = w**3 - 16*w**2 + 16*w + 2. Is 14 a factor of z(15)?
False
Let s(k) = -5*k - 2 + 0*k + 3*k. Let f be s(-2). Suppose 2*c = -2*m + 56, f*m - 2*c + 33 - 89 = 0. Does 14 divide m?
True
Let r = -37 + 18. Let z = r - -37. Suppose z = 2*c - 0*c. Does 7 divide c?
False
Let c be 0 + 2 + (-392)/8. Let w = -15 - c. Does 16 divide w?
True
Let s be (100/(-30))/((-1)/3). Let t = 4 + s. Is 5 a factor of t?
False
Let a(w) = 21*w - 26. Is a(7) a multiple of 8?
False
Is 7 a factor of (2 + 7/(-3))*-84?
True
Let j(m) = -m**3 - 5*m**2 - 7*m. Let v be j(-6). Suppose r = 4*r - v. Is r a multiple of 13?
True
Let h be 32/(-3) + 2/3. Let j = h - -13. Is j a multiple of 2?
False
Suppose -3*z = 3*q - 336, z + 0*z = -5*q + 92. Suppose 24 = -3*f + z. Does 10 divide f?
False
Let t(d) = d**3 + 8*d**2 - 7*d - 4. Is t(-8) a multiple of 13?
True
Is 472/16*(-1 - -3) a multiple of 18?
False
Let j = -13 - -28. Suppose 4*g = -j + 55. Is 5 a factor of g?
True
Let y = -27 - -47. Let z = -4 + y. Is z a multiple of 16?
True
Let z(v) = 2*v**2 + 7*v - 4. Let g(w) = w**3 + w**2 - 9. Let q be g(0). Let k be z(q). Suppose 129 = 3*a - 7*b + 4*b, 2*a + b = k. Does 23 divide a?
True
Let o(k) = k**3 + 5*k**2 + 2. Let t be o(-5). Suppose -t*q = 47 + 13. Is q/(-9)*3*1 a multiple of 5?
True
Let b(h) = h**3 - 2*h**2 - 4*h + 3. Let o be b(3). Let i = -2 + o. Let y = 0 - i. Is y even?
True
Let x = 131 - 219. Suppose -4*q + 2*q - 64 = h, 69 = -h - 3*q. Let a = h - x. Is 13 a factor of a?
False
Suppose 0 = 2*w + c - 2, -5*w + 2 - 3 = 4*c. Let t be (w/12)/((-2)/(-8)). Suppose s + 5*q + t = 0, -2*q = 2*s - 0*q - 6. Does 4 divide s?
True
Let l(i) = i**3 - i**2 - i + 15. Let c be l(0). Suppose 0*t + 5*m - c = -5*t, -2*m - 4 = 0. Is t even?
False
Is 13 - -4 - (-30)/(-6) a multiple of 4?
True
Let i(x) = x**3 + 4*x**2 + x - 1. Suppose -6 = -5*p - 1. Let g = -4 + p. Is 5 a factor of i(g)?
True
Let c = 57 + -86. Let y = c + 71. Is y a multiple of 21?
True
Let o(k) = 2*k. Let n be o(1). Let w(x) = -1 - 2 + x**n + x + 1. Does 6 divide w(3)?
False
Suppose 0 = -4*j - 2*d + 344, 276 + 151 = 5*j + d. Is 21 a factor of j?
False
Let w(v) = -7*v - 5. Is 8 a factor of w(-5)?
False
Let q(h) = h**2 + 5*h + 3. Let g be q(-4). Let u(y) = -4 - 27*y**3 - y**2 + 5 - 2 + 3*y - 4*y. Does 13 divide u(g)?
True
Let n = -8 + 94. Let s = 126 - n. Let v = -27 + s. Is 13 a factor of v?
True
Suppose -3*c - 3*h + 51 = h, -3*c + 54 = 3*h. Is c a multiple of 13?
False
Let m be 13*(2 + 0 + 1). Is m/(-6)*(-5 + 3) a multiple of 13?
True
Suppose 9 = -t + 4*t, 3*v + 5*t = 90. Is v a multiple of 6?
False
Let a(u) = u - 4. Let o be a(3). Let y be 10*((-6)/(-4) + o). Suppose y*g - 85 = m, -g + 1 = 2*m + m. Is 6 a factor of g?
False
Let c(b) = b**2 - b - 8. Let z = 24 + -4. Let q = 14 - z. Is 14 a factor of c(q)?
False
Let r(i) = i**3 + 4*i**2 + 3*i + 4. Let n(w) = 2*w**3 + 3*w**2 - w - 2. Let b be n(-2). Let v be r(b). Is 4 a factor of ((-5)/4)/(2/v)?
False
Let c(i) = -i**3 + 4*i**2 + i + 1. Does 5 divide c(2)?
False
Let n(g) = -g**3 - 7*g**2 - 9*g - 9. Is 27 a factor of n(-7)?
True
Suppose -v + 5*b = -9, -7*b = 3*v - 2*b + 33. Let l = -1 - v. Suppose 5*h - 3*s - 93 = 0, -l*s = -0 + 5. Does 17 divide h?
False
Let m(o) = -o**3 - 4*o**2 - 2*o - 5. Let d be m(-4). Suppose -4*h - 36 = -i - 6, 49 = 2*i + d*h. Is 13 a factor of i?
True
Let b = 79 + -84. Let j = 0 - -1. Let p = j - b. Does 3 divide p?
True
Suppose -3*c - 10 = -3*n - 5*c, 0 = 5*c - 25. Suppose n = a - 11 - 17. Is 14 a factor of a?
True
Suppose -5*t + 23 = -2*r, t - 3*r - 18 = -t. Suppose -g = t*g. Suppose -5*u + 42 + 38 = g. Does 14 divide u?
False
Suppose -4*l + 3*j = -7*l - 3, 0 = -4*l + 5*j + 23. Let y be ((-42)/12)/((-1)/2). Suppose y + 79 = l*b. Is 15 a factor of b?
False
Suppose -g + 2*g = 5. Suppose 44 = g*m - 61. Is 21 a factor of m?
True
Suppose 0 = 5*b - 2*l + 7, 2*b + l + 10 = -0*b. Let f(r) = r. Let m be f(b). Let o = 3 - m. Is o a multiple of 6?
True
Is (1 - -3 - (-48)/15)*5 a multiple of 12?
True
Suppose -180 - 8 = -4*m. Let i = m - 22. Is i a multiple of 7?
False
Let q(v) = v - 1. Let i(o) = -10*o + 6. Let f(l) = 4*i(l) + 36*q(l). Does 8 divide f(-5)?
True
Let l = -16 + 49. Suppose 4*k - l = -9. Suppose -k*u + 195 = -u. Is u a multiple of 17?
False
Let h(s) be the third derivative of 0 - 1/6*s**4 + 1/3*s**3 + 0*s - s**2. Is h(-2) a multiple of 5?
True
Suppose 0 = 5*c - 5*d - 130, -2*c - 2*d = -5*c + 81. Let u = c - 21. Is 3 a factor of u?
False
Let m = 20 - 15. Suppose -m*g = -3*g - 48. Is g a multiple of 24?
True
Is -4 + (-125)/(15/(-3)) a multiple of 2?
False
