factor of p?
False
Let f(s) = s**2 + 4*s + 3. Let a be (-4 - 1) + 1 + 0. Let l be f(a). Is l/(-2)*(-16)/3 a multiple of 3?
False
Let r(h) = -h**3 - 9*h**2 - 11*h + 8. Is 22 a factor of r(-9)?
False
Suppose 0 = -2*y + 4*a - 1390, -2*a - 1127 - 239 = 2*y. Does 19 divide 2/(-8) + y/(-12)?
True
Suppose 0 = -2*q - 2*q. Suppose 2*p - 64 + q = 0. Does 9 divide p?
False
Suppose 3*q - 7 + 4 = 0. Does 8 divide 2/(-2) - q - -10?
True
Let g(d) = -7*d + 7. Let q be g(-5). Suppose 3*i - 15 = q. Is 4 a factor of i?
False
Suppose -4*u - 4*k - 3 - 9 = 0, -3*u + 31 = -5*k. Let l = u - 5. Does 17 divide l/(63/22 + -3)?
False
Let a(p) = -12*p - 17. Is 11 a factor of a(-7)?
False
Let n(x) = 2*x - x + x - 2 + 10 - x**2. Let m be n(6). Let c = 2 - m. Is 18 a factor of c?
True
Suppose -x = -27 + 13. Is x a multiple of 10?
False
Let a = -2 + 1. Is 13 a factor of (-1)/a*(56 - 1)?
False
Let b(l) = l - 7. Let m be b(-4). Let f = -7 - m. Does 2 divide f?
True
Let d(k) = 24*k**2 + 2*k + 1. Is d(-1) a multiple of 10?
False
Suppose 2*i - 5 = f - 3, i - 4*f = 8. Suppose 3*q + i*q = -j - 4, 3*q = 2*j - 28. Suppose 3*b - 188 = -j. Is 17 a factor of b?
False
Suppose 3*f = -4*a + 165, -5*f = -a + 4*a - 132. Is a a multiple of 26?
False
Suppose 8 = 4*n - 0. Suppose 48 = n*q + 2*q. Is q a multiple of 4?
True
Let p(c) = 4*c - 28. Is 4 a factor of p(12)?
True
Suppose 6*n + 3*q - 67 = n, -n = -2*q - 3. Does 7 divide n?
False
Suppose -3*j = -2 - 10. Suppose -j*d - 8 = -3*d. Is 5 a factor of (-4)/1*20/d?
True
Let h be (-1)/2*1*0. Suppose h = 5*p - 6*p + 22. Is p a multiple of 20?
False
Let y(m) = 3*m - 2. Let l be y(3). Suppose -4*j - 114 = -l*j. Is 12 a factor of j?
False
Suppose -6 = -c + 2. Suppose -7*m + 9*m = -12. Does 4 divide -6*m/c*2?
False
Let h(d) be the first derivative of -d**4/4 + 7*d**3/3 + 5*d**2 - 10*d + 4. Let j be h(7). Suppose 0*c = -4*c + j. Is c a multiple of 15?
True
Let k be ((-52)/(-10))/(6/(-120)). Let w = 173 + k. Does 16 divide w?
False
Suppose 16 + 8 = 4*f. Let l(c) = c**2 + c - 10. Is l(f) a multiple of 9?
False
Let g be 1518/18 - 1/3. Suppose -q + g = q. Does 15 divide q?
False
Let f(i) = 1 + 4*i - 3*i + i**3 + 4 + 7*i**2. Let y be f(-7). Does 4 divide (-1)/y*(-24)/(-2)?
False
Suppose 864 = g + 3*g + 5*b, 0 = -5*b. Does 24 divide g?
True
Let w = -6 + 10. Suppose 0 = q + h - 8, q + 2*h - 5 = -2*h. Suppose 0 = d - q - w. Does 13 divide d?
True
Let i be ((-8)/5)/(8/(-20)). Suppose 5*v - i = 6. Suppose -z = v*z - 3*c - 21, -13 = -4*z - c. Is z a multiple of 4?
True
Suppose 3*j - j = 28. Is j a multiple of 14?
True
Let y be 786/(-7) - (-6)/21. Let c = -62 - y. Is c a multiple of 13?
False
Suppose 0 = a, 3*x + 2*a = 8*x - 15. Suppose 0 = 3*u + 15, -7*j = -x*j + u + 9. Is 5 a factor of (-2 + 7)*j*-1?
True
Suppose -j - 3*y + 4*y = -7, -j = -3*y - 17. Let r = -2 + j. Suppose -2*l - l + 72 = r. Is l a multiple of 12?
True
Let r = 71 + -16. Suppose 6 = 4*p - 2. Suppose -3*u = -5*m + r, -p*m - 3*u + 7 + 15 = 0. Does 7 divide m?
False
Let b be (9/6)/(6/8). Suppose 2*x = v - 8, -b*v - 5*x + 8 = -v. Is v a multiple of 3?
False
Let g(r) = -r**2 - 7*r + 6. Let p be g(-7). Suppose p*n = 3*n + 9. Does 4 divide 9 - (2 - n)*1?
False
Let o(u) be the third derivative of u**6/120 + 2*u**5/15 + u**4/3 + 5*u**3/6 + 2*u**2. Let p be o(-7). Let f = 23 + p. Is 10 a factor of f?
False
Let v = 1 - -1. Let i(g) = -g + g - g + g**v. Does 7 divide i(-4)?
False
Suppose -2*m = -5 + 1. Suppose l = -2*b + 5*b - 6, -l = b - m. Suppose v - b = 2. Is v a multiple of 4?
True
Let z(o) = -2*o - 4. Let f be z(5). Is 3 a factor of (3/(3/f))/(-2)?
False
Suppose 8 = b + b. Suppose 4*x + 2*i = -2*i - 4, -2*i - 8 = -b*x. Let q(z) = 32*z - 1. Does 26 divide q(x)?
False
Let r = 5 - 9. Let m(n) = n**3 + 3*n**2 - 3*n + 4. Let h be m(r). Does 11 divide (0 + -2)*(-11 + h)?
True
Let a(j) = -j**3 + j**2 - 3*j - 4. Suppose 5*x + 15 = p, -p + 3 = -x - 6*p. Let b be a(x). Suppose 3*q = -f + 17, q = f - 2*q - b. Is f a multiple of 15?
False
Let k(i) = -2*i + 1. Let m be k(-1). Let b(o) = 3*o - 4. Let q be b(m). Suppose -5*p + p + 151 = s, -q*p = -4*s - 194. Does 19 divide p?
True
Suppose -540 = -3*i + 180. Is i a multiple of 60?
True
Suppose -3*z = 2*h - 69, 6*h - 179 = h - z. Let c be h*(2 - 0) - 2. Let p = -37 + c. Is 12 a factor of p?
False
Suppose 2*h = 6*h + 12. Let m(g) = 2*g**2 + 2*g + 2. Does 14 divide m(h)?
True
Suppose 4*x = -0*x. Suppose g - 3*g + 28 = x. Does 2 divide 4/(-2) - g/(-2)?
False
Does 14 divide (-265)/(-20) + 9/12?
True
Suppose -g = b - 2*b - 84, 0 = -3*g + 2*b + 252. Suppose x - g = -x. Let m = -5 + x. Does 11 divide m?
False
Let u = 190 + -183. Does 7 divide u?
True
Let x(k) = -k**3 + k. Let b(u) = -u**3 - u**2 + u + 1. Let p(i) = 2*b(i) - 3*x(i). Let c be p(2). Suppose c = r - 22 + 1. Does 20 divide r?
False
Is 6/30 - (-149)/5 a multiple of 15?
True
Let w = 137 + -27. Suppose -o = 4*o - w. Let l = 37 - o. Is 15 a factor of l?
True
Suppose 5*b - 30 = 5*y, 2*y + 3 = -y - 2*b. Let p be (-4)/y*33/2. Let k = p - 10. Is 5 a factor of k?
False
Suppose -5*i = 25, -9*a + 4*a + 2*i + 310 = 0. Does 3 divide a?
True
Suppose 7 = 3*p + 2*z, 2*p = 2*z + 2 + 6. Let f(h) = -10*h - 4*h + p - 3. Does 14 divide f(-2)?
True
Suppose 0*x + 8 = x. Suppose 7*j - 3*j = x. Suppose -j*p + 32 = -6. Is p a multiple of 7?
False
Let a be (0 + 4)*(-8 + 16). Suppose y - 31 = a. Is y a multiple of 11?
False
Let s be -21 + (-6 - -3) + 0. Let i = -7 - s. Is i a multiple of 3?
False
Let m be ((-9)/(-12))/((-4)/(-176)). Suppose -18*f = -19*f + m. Does 15 divide f?
False
Let p be (-2 + (-15)/(-12))*-4. Suppose p*j - 296 = -j. Is 14 a factor of j?
False
Suppose 4*b - 4*t = 480, 3*b + b + 4*t - 480 = 0. Is 24 a factor of b?
True
Suppose 3*s = 13 + 59. Is 8 a factor of s?
True
Suppose 29 = 3*c + 125. Is 16 a factor of (c/6 - 0)*-3?
True
Let w(s) = 8*s + 2. Suppose -y + 4*u - 3*u = -8, 2*u - 26 = -5*y. Is 7 a factor of w(y)?
False
Suppose -3*k + 19 - 1 = 0. Suppose -4*z = -k*z + 76. Does 19 divide z?
True
Is 10 a factor of -5 - (-450)/(4 + 2)?
True
Suppose -1 - 5 = -2*x, x - 11 = -2*q. Suppose 5*t - 4*z - 3 = 0, -q*t = -2*t - 4*z + 6. Suppose 0 = -4*k + 5*k + t*y - 11, -4*k - 5*y = -51. Is 7 a factor of k?
True
Suppose 0 = -g + 27 + 15. Let x = 73 - g. Is x a multiple of 13?
False
Suppose -5*r = -2*r - 36. Suppose h - k - 15 = 2*k, r = 4*k. Is 8 a factor of h?
True
Let r(k) = -13*k - 2. Is r(-3) a multiple of 37?
True
Suppose 2*m + 2*r = 0, -m + 2*m = -2*r + 3. Let j = m - -11. Is 4 a factor of (j/5)/((-3)/(-15))?
True
Suppose a + w - 200 = 2*w, w = 2*a - 405. Does 30 divide a?
False
Suppose 2*h - 42 = -4*i, 3*i + h - 26 - 4 = 0. Let j(m) = -27*m**3 - m - 1. Let a be j(-1). Let g = a - i. Is g a multiple of 9?
True
Let d = 104 - 56. Is d a multiple of 20?
False
Suppose 5*h - 2*h = 582. Suppose -5*u + 0*c = c - h, -3 = 3*c. Is u a multiple of 12?
False
Let c(m) = m**2 + 2*m + 3. Let x(h) = 2*h**2 + 2*h + 4. Let u(y) = -6*c(y) + 5*x(y). Does 14 divide u(2)?
True
Suppose -t = 3*o - 3, 4*t - 3*o = 2*t + 33. Let a = 3 + t. Suppose a = 3*l - 0. Is 2 a factor of l?
False
Let b(s) = s**2 - 4*s. Let k be b(3). Let c = 2 + k. Is 6 a factor of (-1)/c + 2 + 9?
True
Let g(r) = 3*r - 5. Suppose 21 = 5*s + k, -s = 4*s - 5*k - 15. Is 2 a factor of g(s)?
False
Suppose 0 = u - 1 - 1. Let x be (-2)/((-1)/u*1). Suppose 0 = -3*h + 4*i - 14, i - 3 = -x*h + 5*h. Is 2 a factor of h?
True
Is (7 + -9)*139/(-2) a multiple of 13?
False
Let y(g) = -61*g. Is 13 a factor of y(-2)?
False
Suppose -5*x + 45 = 4*i, 2*i = 3*x + 7*i - 40. Let r be 0/(-1) - 10/x. Is 15/(1/1) - r a multiple of 9?
False
Suppose 0*s + 2*s + 12 = -2*y, 4*y + 24 = -5*s. Let o(b) = -b**3 - 6*b**2 - 3*b - 4. Is 14 a factor of o(y)?
True
Suppose 0 = 13*c - 10*c - 303. Does 6 divide c?
False
Let g be 284/6 - 10/(-15). Let k = g + -28. Suppose v - 5*v - m + 31 = 0, -k = 4*m. Is v a multiple of 9?
True
Let q = -5 - -9. Let o = q + 18. Does 13 divide o?
False
Suppose 4*y + 2*f = 14, 3*y + 3*f - 6 = 9. Let c(b) = y - 2*b + 7*b**3 + 5*b**2 - 6*b**3 + 4. Is c(-5) a multiple of 16?
True
Suppose -5*d + 11 = -9. Suppose 5*t + 5*r - 118 = 82, -d*r = 2*t - 76. Is 12 a factor of t?
False
Let l(z) = -6*z - 1. Is l(-1) a multiple of 2?
False
Let y = 12 + -90. Let v be 4/(-10) + 218/(-5). Let s = v - y. Is 1