factor of p?
True
Let m(r) = 2*r**2 - 7*r - 5. Is m(-3) a multiple of 28?
False
Let c(p) = -p - 11. Let x be c(-5). Let u(d) = -d**3 - 5*d**2 + 5*d - 5. Let s be u(x). Does 15 divide (-45)/(3/s)*-1?
True
Suppose -z = -3*h - 3*z - 24, -3*h = 5*z + 24. Let u(r) = -9*r**2 - 9*r + 7. Let b(w) = -w**3. Let i(t) = b(t) + u(t). Is i(h) a multiple of 15?
True
Let g = 6 + -6. Let d = g + 1. Is 3 a factor of (d + 0)/((-7)/(-63))?
True
Let v(x) be the first derivative of x**3 - x**2/2 + 4*x - 4. Is v(4) a multiple of 18?
False
Suppose -28 = -4*z - 2*m, 2*z - 3*m + 2*m - 6 = 0. Does 15 divide (-42)/(-3) + z + -4?
True
Suppose -3*i - 33 = -n - i, -i = -4*n + 153. Suppose -y + 2*a = -29, -5*y - 3*a + 41 = -n. Is 19 a factor of y?
True
Suppose 18 = -t - t. Let n be (-65)/t + 10/(-45). Let c = n - 3. Is c a multiple of 3?
False
Let w(d) = -d**3 + 13*d**2 + 5*d - 5. Let o(i) = i + 23. Let c be o(-10). Is w(c) a multiple of 20?
True
Let h(b) = 49*b**3 + b**2 - 2*b. Does 8 divide h(1)?
True
Suppose 0 = 2*v + 2*v + 5*g + 128, -5*v - 3*g = 147. Let k = -6 - v. Does 8 divide k?
False
Let l(t) = -3*t - 9. Let a be l(-4). Suppose -2*p - 79 = -a*s + 1, p = -2*s + 51. Is 17 a factor of s?
False
Suppose 245 = 9*v - 4*v. Does 11 divide v?
False
Let m = 0 - -5. Suppose -m*l = -47 - 218. Does 28 divide l?
False
Is 628/7 - 20/(-70) a multiple of 18?
True
Let v(y) = -y**2 - 7*y + 11. Let z = -3 - 5. Let q be v(z). Suppose -q*l - 2 = 5*f - 28, -2*l + 26 = -f. Does 5 divide l?
False
Let o = -132 - -223. Does 12 divide o?
False
Is 40 a factor of (69/(-9))/((-33)/(-18) - 2)?
False
Suppose y - 56 = -11. Does 21 divide y?
False
Does 3 divide (-10)/(-8)*-6*(-6)/5?
True
Let a = 13 - 27. Let u be 4/a - (-60)/14. Suppose -4*x = -12, -u*l - x + 86 = x. Is 10 a factor of l?
True
Suppose -4*x + 4*h + 0*h = -52, -x + 16 = -2*h. Does 10 divide x?
True
Let i = 32 - 20. Is i a multiple of 6?
True
Suppose -2*v - 8 = 4. Is 14 a factor of (-164)/v - 18/(-27)?
True
Let z = 6 - 2. Let s(o) = 2*o**2 - 4*o + 4. Is s(z) a multiple of 17?
False
Let w = 1 + 3. Suppose -2*x - 79 = -3*a - 2*a, 2*x + 62 = w*a. Is 17 a factor of a?
True
Let a = -13 - 26. Suppose 0 = -3*b - b + 232. Let q = b + a. Is 11 a factor of q?
False
Suppose 5*l - 2 = 3. Let t be -2 + l*74/2. Let a = 55 - t. Is a a multiple of 11?
False
Is (-1 - 1460/(-12)) + 2/(-3) a multiple of 30?
True
Let c be (28/16)/((-1)/4). Let i(s) be the second derivative of -s**4/12 - 5*s**3/3 - 3*s**2/2 - 2*s. Is i(c) a multiple of 9?
True
Let v(d) = d**2 + d - 7. Let l be v(-4). Suppose -92 - 48 = -l*h. Is h a multiple of 11?
False
Suppose -6*d + 117 = -3*d. Does 16 divide d?
False
Let b(j) = j**2 + 12*j + 2. Let a be b(-11). Is 9 a factor of (a/2)/((-9)/24)?
False
Suppose -4*g = -3*g. Suppose g*u = -u + 58. Is u a multiple of 30?
False
Does 20 divide 125 - (1 + 1 + 0)?
False
Let i(x) = -x**3 - x**2. Let q be i(-2). Let d(f) = 5*f + 1 - 2 - 3. Is d(q) a multiple of 9?
False
Suppose 40 = -4*w + 8*w. Suppose r = 3*n + 46, 2*n - 3*n - w = r. Let a = n + 26. Does 12 divide a?
True
Suppose 2*t + 8 = 3*t. Suppose 0 = 5*p - t - 7. Is p a multiple of 2?
False
Let p = 375 - 825. Is p/(-42) - 2/(-7) a multiple of 11?
True
Let i(p) = -2*p**2 - 2*p**3 + 2*p - 2*p - 3*p. Let n(u) = u - 15. Let l be n(13). Is i(l) a multiple of 7?
True
Suppose p - 3*f - 8 = 0, 4*p - p - 12 = -3*f. Is p a multiple of 3?
False
Suppose 2*f + 2*f = -5*g - 13, -f + 5*g + 28 = 0. Let a(i) = 6*i**2 - 2*i**3 - 1 + f*i**3 + 4. Is a(-5) a multiple of 14?
True
Suppose -2*j + 6*j = 8. Let c(g) = g**3 - 3*g**2 + 4*g - 2. Let z be c(j). Is 13 a factor of z*24 + -1*2?
False
Let o(v) = -v**3 - 14*v**2 + 14. Let n be o(-14). Does 5 divide (n/8)/((-6)/(-72))?
False
Suppose 3*c - d = 9, d = c - 2*d - 3. Let f be 1*0/((-1 + 2)*2). Is 4 a factor of c*(20/6 + f)?
False
Suppose 3*d - 5*d + 646 = 4*t, -2*t = 2*d - 318. Is 24 a factor of t?
False
Let a(d) = -1 + 0*d + 22*d**2 - d + d. Is 7 a factor of a(1)?
True
Let o(v) = -v**3 + 1. Let a be o(0). Suppose -b - a + 3 = 0. Suppose 4*h - 12 = b*h. Does 6 divide h?
True
Let n = 45 - 18. Does 9 divide n?
True
Let d(f) = -f**2 - 2*f - 2. Let v be d(-2). Let l = v - 2. Does 13 divide 78/l*(-2)/1?
True
Let b(o) be the first derivative of -o**4/2 - 5*o**3/3 + 3*o**2/2 + 4*o + 1. Is 10 a factor of b(-4)?
True
Suppose -i - d = -4*d - 48, -d = -4*i + 181. Is 11 a factor of i?
False
Suppose 2*t = -t + 3*g + 27, 0 = t - 5*g - 25. Suppose 3*v + s = 185, -2*v + t*s = -94 - 1. Is v a multiple of 20?
True
Suppose -5*m + 6*o - 3*o - 21 = 0, 3*m - 3*o + 9 = 0. Let j(c) = 2*c**2 + 7*c - 8. Is 11 a factor of j(m)?
True
Let m = 4 - -78. Suppose -5*g + 3*f + m = -f, -5*g + 86 = -2*f. Is g a multiple of 9?
True
Let z(p) = p**2 + p - 3. Let i be z(-3). Suppose -i*r - 2*j = -68, -4*r + j - 2*j + 89 = 0. Is 11 a factor of r?
True
Suppose -5*d = 5*i - 105, 5*i + 1 = d - 20. Is 3 a factor of d?
True
Suppose -3*g + 192 + 38 = -4*r, 345 = 5*g + r. Is 10 a factor of g?
True
Let g = 7 - -74. Is g a multiple of 11?
False
Let b = 2 + 1. Let i be b*(6/(-9) - -1). Suppose -2*n = 2*o - 38, 0 = n + 5*o + 2 - i. Is 9 a factor of n?
False
Suppose -3*x + 2*x = -16. Let k = 5 + x. Is k a multiple of 7?
True
Let k(l) = -3*l - 7*l**2 + 0*l**2 - l**3 - 4*l. Let s be k(-6). Is 12 a factor of (38/(-6))/((-2)/s)?
False
Let g(r) = 118*r - 9. Is g(1) a multiple of 15?
False
Suppose 2*w + 4 + 0 = 0. Is 16 a factor of w + 0 - (-18 + -7)?
False
Let b = -4 - -4. Suppose -m + 3*u = u + 1, 3*m - 5*u = b. Suppose -m*l + 0*d = -4*d - 165, 0 = -3*l + 3*d + 102. Is l a multiple of 11?
False
Let c = -11 - -10. Let g(k) = -15*k. Is 9 a factor of g(c)?
False
Suppose 3*b = -2*b + 190. Does 8 divide b?
False
Let n(t) be the second derivative of t**5/20 - t**4/4 - t**3 + 3*t**2 + t. Let z be n(4). Does 14 divide 0 + (17 + z - 1)?
True
Is -74*(21/7 + (-14)/4) a multiple of 16?
False
Let s be (-16)/5*10/(-4). Let y = -4 + s. Let c = 58 - y. Is 18 a factor of c?
True
Let l = 63 + -18. Is 9 a factor of l?
True
Suppose 0 = -x + 4*x. Suppose x = 4*h - 4*i + 20, -6*i + 1 = h - i. Is 11 a factor of ((-44)/(-6))/(h/(-12))?
True
Is 5*12/4 + -2 a multiple of 13?
True
Suppose -3*t + 77 = -121. Is 15 a factor of t?
False
Let f(p) = -p**3 - 5*p**2 - 6*p - 4. Suppose 3*q + q + 6 = -5*z, 2*z + 12 = -4*q. Let l be f(q). Suppose -2*k = -l*k + 24. Does 12 divide k?
True
Let l be (6/(-10))/((-1)/5). Let g(f) be the third derivative of f**5/60 + f**4/8 + 7*f**2. Is g(l) a multiple of 18?
True
Let d(w) = w**2 + 7*w + 12. Is 19 a factor of d(-9)?
False
Let o(x) = x**2 + 2*x. Let b(c) = 4*c**2 + c. Let m be b(1). Suppose -3*v + 14 = 2*l, -l + 4*v = m - 1. Is o(l) a multiple of 9?
False
Suppose a - 2 = -0. Suppose a*t - 10 = 6. Does 8 divide t?
True
Let l(m) = -7*m + 1. Does 15 divide l(-2)?
True
Let h(v) = v + 8. Let s be h(-5). Suppose o - 15 = s. Is 9 a factor of o?
True
Suppose -7*d = -4*a - 4*d + 162, 5*d = -3*a + 107. Is 13 a factor of a?
True
Suppose -3 + 9 = 2*p. Suppose p*u - 111 = -0*u. Suppose -3*n + u = k + k, 44 = 4*k - 4*n. Is 14 a factor of k?
True
Let z(t) be the first derivative of -t**2/2 + 18*t - 1. Let y be 1 - (-8 + 3/3). Is 4 a factor of z(y)?
False
Suppose -2*l + 8 = 2. Suppose 0 = -6*p + l*p. Suppose -5*z + 4*z + 8 = p. Does 8 divide z?
True
Let q = 44 + 29. Is q a multiple of 35?
False
Let z = 9 - 16. Let m = -5 - z. Let u(b) = 10*b - 2. Does 9 divide u(m)?
True
Let j = 375 - 168. Is j a multiple of 10?
False
Suppose -3*p = 5*a - 16, -5*p + 10*p + 5 = -2*a. Let m be (-620)/30*6/(-4). Let s = p + m. Does 16 divide s?
False
Suppose 0 = -o + 4*o. Suppose -m + 90 + 9 = o. Suppose -3*p = -m - 9. Is 12 a factor of p?
True
Let x be ((-48)/(-20))/((-3)/(-10)). Suppose -4 = -2*a - 5*h, -2*a - 4*h + x = 2*a. Suppose -a*j + 171 = 65. Does 14 divide j?
False
Let f(q) = 29*q - 3. Let x be f(2). Suppose 0*d = d - x. Is 11 a factor of d?
True
Suppose -2*q - 10 = -7*q. Suppose -4*o + 32 = -q*o. Is 9 a factor of o?
False
Let c be (-1 + (-12)/(-8))*6. Let k(o) = o + 3. Is k(c) a multiple of 3?
True
Let b(c) be the second derivative of c**4/12 - 7*c**3/6 + 5*c**2/2 + 3*c. Let t be b(7). Suppose t*y = -14 + 49. Is 7 a factor of y?
True
Let j(f) = f**2 + 2*f. Suppose -a = 3*w - 9, -5*a - 2*w - 15 = 5. Is j(a) a multiple of 12?
True
Suppose