36 a factor of p?
False
Let d(p) = p**3 + p**2 - p - 14. Let j be d(0). Let g = j - -4. Let t = 1 - g. Does 5 divide t?
False
Is 4*2/(-72) - 5834/(-18) a multiple of 18?
True
Let k = -452 + 302. Is k/(-8) - (-2)/8 a multiple of 12?
False
Let k(j) be the second derivative of j**5/20 - j**4/4 - 7*j**3/6 + j. Does 19 divide k(6)?
False
Let n = 7 - 3. Is 21 a factor of 536/10 + n/10?
False
Suppose -8 = -o - 3. Is 161/35 - (-2)/o a multiple of 3?
False
Suppose 5*a - 459 = 1981. Suppose 3*b - 7*b - 5*p + 380 = 0, 0 = -5*b - 3*p + a. Suppose b = 4*z + 7*r - 2*r, 5*z = -2*r + 142. Is 15 a factor of z?
True
Suppose f = -h + 5*f + 6, -f - 3 = -h. Suppose z = -3*k + 19, -4*k + 9*k = -h*z + 33. Is 5 a factor of k?
True
Let l be (105/(-6))/(2/(-4)). Suppose 0 = o + 4*o + l. Let v = o + 19. Is v a multiple of 12?
True
Suppose -4*b + 3*t = -24, 5*t = -5*b - 2 - 3. Suppose 0*m = -3*m + b. Let u = 3 + m. Is u even?
True
Let g(u) = -2*u**2 + u**2 + 8*u**3 + 1 - 4*u**3 + u + u. Is g(2) a multiple of 10?
False
Let b(s) be the first derivative of -2 - s + 11/2*s**2. Is b(1) a multiple of 10?
True
Let w = 69 - -3. Is 12 a factor of w?
True
Let o(s) = 5*s + 36. Is o(12) a multiple of 24?
True
Does 27 divide -4 + (18/(-27) - (-257)/3)?
True
Let q = 10 - -2. Let t be (q/14)/((-1)/(-7)). Is 7 a factor of 4/(-6) + 70/t?
False
Let i = -89 + 104. Is i a multiple of 12?
False
Suppose -3*v + 228 = -4*b, -b + 76 = v - 0*v. Suppose 7*k = 3*k + v. Let f = -11 + k. Is 3 a factor of f?
False
Suppose -29*n = -22*n - 427. Does 18 divide n?
False
Suppose 47*z + 54 = 48*z. Is 6 a factor of z?
True
Suppose 100 = 4*o + 5*h, -3*o = -7*o - 4*h + 100. Does 2 divide o?
False
Let v be 1078/6 + 5/15. Suppose -2*w + l - v = -5*w, 3*l = 0. Is w a multiple of 14?
False
Suppose 295 = 4*d - 41. Is d a multiple of 21?
True
Let w(l) = -5*l + 20. Let q(o) = 1. Let y(t) = -20*q(t) + w(t). Suppose 20 = -4*v, -3 + 19 = -3*a + v. Is y(a) a multiple of 14?
False
Let t(u) = -3*u**2 - u - 1. Let s be t(-1). Does 3 divide 8/(-3)*s/2?
False
Suppose i = -0*i + 3*p - 12, p - 4 = -3*i. Suppose i = -z - u + 10, -2*z + 40 = z + u. Does 11 divide z?
False
Let o(g) = 3*g - 3. Let b be o(2). Suppose -4 = -3*r + 4*m + 46, -b*r - 3*m = -15. Is 5/(-2)*(-68)/r a multiple of 17?
True
Let a(n) = -4*n**3 - 5*n**2 - 2*n + 3. Let l be a(-3). Let z = 111 - l. Is 14 a factor of z?
False
Suppose 0 = -3*u + 4*y - 2, 5*u = 4*y - 14. Let f = -10 - u. Is 2 a factor of (2 + 1)*f/(-6)?
True
Let s(b) = 2*b**2 - 7*b - 3. Let u be s(-5). Suppose i = -3*f + 95, 3*i + u = 2*f + 26. Is 18 a factor of f?
False
Let w(v) = -v**3 - 4*v - 7. Is w(-4) a multiple of 37?
False
Let l = -32 - -23. Suppose -2*y = 3*y + 2*w - 98, -w - 1 = 0. Let s = l + y. Does 10 divide s?
False
Suppose 0 = 2*h - h - 14. Does 7 divide h?
True
Suppose -8*w + 3*w = 3*l - 143, 147 = 3*l + 3*w. Is 26 a factor of l?
False
Let d = 617 - 873. Let y be 12/42 + d/14. Let q = y + 31. Is 13 a factor of q?
True
Suppose 0 = 4*v + p - 15, -2 = 3*v - 5*p + 4. Is v a multiple of 3?
True
Let h(a) = 25*a**2 - 1. Is h(1) a multiple of 9?
False
Let w(b) = b + 11. Is w(-8) a multiple of 2?
False
Suppose n = -3*n. Suppose -2*d = -5*q - 2, n*q + 3 = -5*q + 3*d. Suppose 5*s - 170 = -q*s. Does 17 divide s?
True
Let p be (-4 + (3 - 2))/1. Does 11 divide 3*1*(-11)/p?
True
Let o = -86 + 115. Is 2 a factor of o?
False
Does 18 divide 444/15 - 3/5?
False
Let m be (-3)/9 + (-848)/(-6). Is 20 a factor of (-2)/3*m/(-2)?
False
Let o = 41 - 73. Is 334/22 + o/176 a multiple of 3?
True
Suppose 5*c - 188 = -3*w - w, 2*c - 252 = -5*w. Is 25 a factor of w?
False
Is 2/(-3) + (-87)/(-9) a multiple of 5?
False
Let t(f) = f**2 - f + 2. Let x = -25 + 44. Suppose -3*v - 13 = 4*c + x, 5*c - 4*v = -9. Is 16 a factor of t(c)?
True
Let h(p) = 2*p**3 - 10*p**2 - 4*p - 12. Does 20 divide h(8)?
True
Let f = -239 + 372. Suppose 0*i + 4*i = 5*b - 224, 3*b - f = i. Does 11 divide b?
True
Suppose 2*l = 2*t + 2, 0 = 6*t - 3*t + 6. Let h be -23 - 2*l/(-1). Let g = -14 - h. Is 11 a factor of g?
True
Suppose -3*g = -b + 110, -4*b - 2*g = -9*b + 602. Is b a multiple of 27?
False
Let r be (-2)/5 - 8/5. Is r - 7*(2 + -4) a multiple of 6?
True
Let r = -11 + 4. Is 9 a factor of 18/(-4)*(r - -3)?
True
Let q be (5 + 7)*6/(-8). Let r be 2/(1 - q/(-15)). Suppose -2*d = -2, -r*z - 3*d + 4*d = -14. Does 3 divide z?
True
Let v = 5 - 2. Let b be (-70)/(-4) - v/(-6). Let j = 14 + b. Is j a multiple of 13?
False
Let f(m) be the first derivative of m**2/2 - 4*m - 3. Let q be f(6). Suppose 4*y - 34 = q*y. Is 17 a factor of y?
True
Suppose 5*s + 840 = 17*s. Does 12 divide s?
False
Let i = 165 + -143. Does 19 divide i?
False
Suppose 5*f - 5*h - 30 = 0, 0 = -4*f - 4*h + h + 59. Suppose -23 = 10*g - f*g. Is 10 a factor of g?
False
Let y be (2 - -62)*(-10)/(-4). Suppose -46 = 2*b - y. Is b a multiple of 14?
False
Suppose 4*q - 22 = -2. Suppose q*i = 53 + 2. Is i a multiple of 11?
True
Let g = 293 - 192. Does 27 divide g?
False
Suppose -3*m + 42 = o + m, -3*o - 2*m + 146 = 0. Let b = 4 + o. Does 29 divide b?
False
Let q(p) = -p + 14. Let o be q(-6). Does 23 divide 760/14 + o/(-70)?
False
Suppose -15 = -5*r + 5*p, 3*p = 3*r + 2*p - 19. Suppose -4*f = -0*f - r. Is (-1 - 1)/(f/(-15)) a multiple of 8?
False
Suppose 2*x = 146 - 36. Does 11 divide x?
True
Let w = -3 - 39. Let g = w + 113. Suppose 0 = 4*l - 5*t + 4*t - g, -4*t = -l + 14. Is l a multiple of 18?
True
Let m(v) = -2*v + 1. Let q be m(-1). Suppose 25 = -q*c + 7. Let i = 4 - c. Is i a multiple of 5?
True
Suppose -61 = -y - 0*y. Suppose -y = -5*u + 2*h, 3*u - 2*h = 6 + 29. Is u a multiple of 2?
False
Let m(z) be the third derivative of -z**5/60 - z**4/24 - z**3/3 + z**2. Let b be m(2). Is 3/((-10)/b - 1) a multiple of 5?
False
Suppose -321 = -3*z + 3*b, 3*z - 7*z - 4*b = -404. Is z a multiple of 15?
False
Suppose -4*d - 7 = 3*t, 4 + 9 = -t + 4*d. Let b = t + 5. Suppose -4*g - 2*v + 18 = -b*v, -2*g = -5*v - 3. Does 3 divide g?
False
Suppose 6 = -2*f + 5*f. Let w = 4 + f. Suppose -3*a - w - 97 = -4*q, -5*q = 3*a - 122. Is 15 a factor of q?
False
Let u(k) = -k**3 + 6*k**2 + 8*k + 2. Let a be u(7). Let v = 1 + a. Suppose v = -3*r + 67. Is r a multiple of 19?
True
Let h(n) = -2 + 4*n**2 - 2*n**2 - 1 - 4*n. Let t be ((-2)/(-2))/(1/4). Is 5 a factor of h(t)?
False
Let f be 3/12*2*4. Suppose 3*i + 5*a - 42 = 31, 2*i = -f*a + 46. Does 7 divide i?
True
Let u = -13 + -3. Let b be 9/(-2)*u/12. Suppose b*m - 200 = m. Does 16 divide m?
False
Suppose 2*d = 2*j + 54, -j + 3 = 2*j. Is d a multiple of 25?
False
Let b be (-79)/3 + 1/3. Let q = b + 191. Suppose -q = -4*r - r. Is r a multiple of 15?
False
Suppose -4*r + 5*b = 4*b - 6, -7 = -r + 3*b. Is (-3)/(-1) + r + 0 a multiple of 2?
True
Let m be ((-2)/(-1))/(1/4). Suppose 4*t = -2*a + 80, 4*t + 2*a + 64 = m*t. Is t a multiple of 18?
True
Let m(g) = -4*g**2 - g - 52 + 0*g**2 + 53 + g**3. Does 12 divide m(6)?
False
Let y(n) = -3*n**2 + 5*n + 8. Let j = -2 - 0. Let m(r) = -r**2 + 1. Let u(t) = j*m(t) + y(t). Does 6 divide u(5)?
True
Let c = -2 + 2. Let n(z) = z**3 - 5*z**2 + z - 5. Let b be n(5). Suppose a - l - 11 = c, -4*a - a + 4*l + 51 = b. Is a a multiple of 7?
True
Let u = -2 - -5. Let x(a) = -5*a**2 + 8 + 3*a**2 + u*a**2 - 3*a. Is x(6) a multiple of 13?
True
Suppose -3*z - 471 = -5*h, z - 21 = h - 114. Does 15 divide h?
False
Suppose 15*v = 10*v + 45. Is 9 a factor of v?
True
Suppose 0*n = 3*n - g - 31, -5*n - 5*g + 85 = 0. Does 6 divide n?
True
Let b = 4 + -1. Suppose 3*x = -d + 4, 5*d + 23 = b*x - 11. Suppose -x*k + 56 = 8. Is 14 a factor of k?
False
Suppose -5*k + 623 = -3*b - b, -3*k + 361 = 4*b. Suppose 2*a - k = -31. Does 8 divide a?
False
Suppose 33 = 2*k - 87. Is k a multiple of 15?
True
Suppose 2*w - q + 18 = 4*w, q + 9 = w. Is 2 a factor of w?
False
Suppose 0 = 5*y - 4 - 21. Suppose -a = -y*a + 96. Is a a multiple of 8?
True
Let g(n) = n + 1. Let x be g(-16). Let u = x + 39. Is 7 a factor of u?
False
Does 10 divide (-20)/(-1)*(-14)/(-7)?
True
Suppose -5*a - y + 245 = -5*y, -5*a - y + 220 = 0. Is a a multiple of 2?
False
Let j(u) = 9*u**2 - u - 1. Let r(x) = x + 2. Let b be r(-3). Let a be j(b). Let f = a + -2. Is f a multiple of 3?
False
Let k(h) = -h**3 - 4*h**2 + 2. Let r be k(-4). Suppose 4*m = r + 2. Let u(s) = 8*s. Is 4 a factor of u(m)?
