Let b(z) = 2*z**2 + 2*z - 2. Let y be b(6). Suppose 5*p = 3*p - 3*t + y, -2*p + 80 = 2*t. Is p a multiple of 19?
True
Suppose -5*h - 2*d - 2 = 0, 1 - 3 = 2*d. Let p(q) be the third derivative of q**5/60 + 25*q**3/6 - 2*q**2. Is 18 a factor of p(h)?
False
Let y be ((-58)/3)/((-1)/3). Suppose 16 - y = 3*j. Is (-186)/j + 2/(-7) a multiple of 5?
False
Suppose 20 = 2*j - 3*x, 3*j - 17 = x - 3*x. Let l be 7/21 - (-46)/6. Let c = l + j. Is 7 a factor of c?
False
Let z be 2/(3 - 5)*3. Is (-166)/(-8) + z/(-12) a multiple of 13?
False
Let u(q) = 2*q + 3*q - 2*q - 3. Let j(c) = c + 1. Let k(x) = 2*j(x) - u(x). Is 7 a factor of k(-4)?
False
Let v be (0 - 6/(-3))*2. Let r(w) = w + 4. Is 5 a factor of r(v)?
False
Suppose v = -2*g - 6, -16 = 6*g - 2*g + 4*v. Is 10 a factor of -1*((-14 - g) + 2)?
True
Let k(a) = -a**3 + 5*a**2 + 4*a - 9. Is k(4) a multiple of 23?
True
Let z = 57 + 262. Is 15 a factor of z?
False
Does 13 divide 11664/104 + 5/((-130)/4)?
False
Is 4 a factor of (-8)/36 + (-56)/(-9)?
False
Is 6 a factor of (-70)/(-4) + (-3)/(-6)?
True
Let o(f) = -f**2 + 14*f + 15. Does 13 divide o(11)?
False
Let p be 440/36 + 2/(-9). Suppose -j - 5 = -p. Does 7 divide j?
True
Suppose 7 = 3*w - y, 2 = 2*w - y - y. Suppose w*t = t - 4. Is 0 - t - (-3 + -1) even?
True
Let i = -6 + 8. Suppose 0 = 3*n + i*n. Suppose 0 = -n*j + j - 10. Is 5 a factor of j?
True
Let z(s) = -2*s**3 - 3*s**2 + s + 2. Let c be z(-2). Let q(f) = -9*f - 6. Let x be q(-5). Suppose 3*k = -c*m + x, -k = k - 3*m - 26. Is 5 a factor of k?
False
Let k be (795/25)/((-2)/(-10)). Suppose 4*x - k = x. Is x a multiple of 21?
False
Let j be -2 - 1*9*-1. Let b = 25 + j. Is 9 a factor of b?
False
Let d(r) = -r + 3*r**3 + 2*r + 5*r**2 - 4*r**2 + 2. Let l be d(-2). Is (-2)/(-8) + (-295)/l a multiple of 15?
True
Let q = 80 - -7. Does 25 divide q?
False
Let l = 2 - -103. Does 16 divide l?
False
Let d(t) = t**3 + 4. Let i be d(0). Suppose i*w = 5*w - 20. Does 20 divide w?
True
Let p be 2 + (-2 - 16) + 2. Let w(c) = -c**2 - 17*c + 3. Is 10 a factor of w(p)?
False
Let v = 195 - -5. Is 20 a factor of v?
True
Let z = -67 - -35. Let y = z - -48. Does 9 divide y?
False
Let p(l) = 3*l - 6. Let m(j) = -j**3 + 10*j**2 + 12*j - 6. Let b be m(11). Is p(b) a multiple of 9?
True
Does 33 divide ((-1)/(-3))/((-19)/(-4047))?
False
Let n be 402/10 - 2/10. Let s = n - 26. Suppose s = t - 4*u, 40 = -2*t + 4*t - 2*u. Does 11 divide t?
True
Let m be (-33*1)/((-9)/6). Let z = 17 - 4. Let a = m - z. Does 5 divide a?
False
Suppose 2*z - 210 = -4*o + 74, 5*z - 10 = 0. Is o a multiple of 14?
True
Let k be 4/18 - 210/(-27). Let d = -1 + k. Let f(r) = 5*r - 8. Does 12 divide f(d)?
False
Suppose 0 = 5*r + 46 + 29. Let x = 2 - r. Is x a multiple of 17?
True
Suppose 5*u = -3*v + 2734, -3*u + 1650 = -0*u + 5*v. Is u a multiple of 43?
False
Suppose -5*a = 4*k - 346 - 623, -4*k = a - 949. Is k a multiple of 34?
False
Is 28 a factor of (-1132)/(-8) - 2/(-4)?
False
Suppose 6*d = 39 + 309. Does 7 divide d?
False
Let t(a) be the first derivative of -a**3/3 - a**2/2 + 14*a + 1. Does 5 divide t(0)?
False
Let h(f) = f + 7. Let v be ((-1)/(-1))/((-1)/7). Let q be h(v). Suppose -o - 2 = q, -m + 2*o + 3*o = -37. Is m a multiple of 15?
False
Let y = -119 + 182. Does 11 divide y?
False
Suppose -6*a + 3*a + 3*v = 0, 4*v = 0. Suppose -3*y - 2*p + 19 = a, -3*y + 2*p - 1 = -0*y. Suppose 3*g - 26 = -5*m, 3*g - 16 = y*m + 2. Does 7 divide g?
True
Let k(b) be the third derivative of b**6/120 + 2*b**5/15 - 11*b**4/24 + 3*b**3/2 + 14*b**2. Suppose 0 = 4*f + f + 45. Is 19 a factor of k(f)?
False
Suppose 0 = -4*y + 4 + 4. Suppose y*x = -41 - 23. Let i = x + 56. Does 12 divide i?
True
Let n = -52 - -61. Is 3 a factor of n?
True
Let k = 8 + -12. Let n = k - -6. Suppose -23 = -2*z + z + 4*t, -29 = -3*z + n*t. Does 5 divide z?
False
Let h be ((-18)/5)/((-2)/(-10)). Let x = 33 + h. Does 4 divide x?
False
Suppose 7*u = 5*u + 5*v + 3, 0 = -5*u + 2*v + 60. Let a = 23 - u. Does 3 divide a?
True
Let y(l) = 21*l**2 + 46*l + 1. Let j(c) = -4*c**2 - 9*c. Let x(n) = -11*j(n) - 2*y(n). Suppose 0 = 3*t - 2*t + 4*b - 14, 2*t + 32 = 4*b. Is 10 a factor of x(t)?
False
Let x(a) = -2*a**2 - 5 + 1 + a**2 + 2 - 3*a. Let h be x(-2). Suppose -3*m + h*t + 4*t = -20, 2*m - 3*t = 12. Does 12 divide m?
True
Let m = -410 - -634. Does 28 divide m?
True
Let q = -25 + 45. Is 5 a factor of q?
True
Suppose -7*m + 18 = -5*m. Is 4 a factor of m?
False
Let f(w) = -w**2 + 10*w - 10. Suppose 0 = -2*n + 4*c + 14, 2*n + c - 21 = -7. Let v be f(n). Let y = v - -2. Is 13 a factor of y?
True
Let c be (-28)/(-6) - (-2)/(-3). Suppose 4*m - r - c*r = 25, -3*m - 2*r = 10. Suppose 5 = g - m. Is 2 a factor of g?
False
Let o(z) = -17*z + 16. Is 16 a factor of o(-3)?
False
Let n(t) = -t**3 - 3*t**2 + 2. Let b be n(-3). Let y(m) be the third derivative of 7*m**4/8 + m**3/3 + 7*m**2. Is y(b) a multiple of 22?
True
Suppose 5*c + 4*v - 440 = 0, 4*c - 2*v = v + 383. Is 26 a factor of c?
False
Suppose -3*t = -7*t + 620. Suppose n - t = -51. Suppose -3*a + n = 2*v + 2*v, 5*a - 3*v - 125 = 0. Does 19 divide a?
False
Let b(m) = -m**2 - 10*m + 14. Let g be b(-11). Suppose -4*n = r - g*r - 52, -5*n + 79 = r. Is n a multiple of 5?
True
Let w(m) = -m + 4. Let f be w(2). Suppose -j = f*j - 9. Suppose j*g = 230 - 80. Does 17 divide g?
False
Let v be 3/(-6)*-188 - 1. Suppose -5*h + 2*h + v = 0. Is 5 a factor of h?
False
Let b(h) = -3*h - 10. Let l(w) = 4*w + 11. Let v(y) = -5*b(y) - 4*l(y). Let z be v(6). Suppose z = -2*g + 4 + 24. Is 5 a factor of g?
False
Let r(h) = -h**2 - 4*h. Let k be r(-4). Suppose k*a - 3*a + 78 = 0. Is 14 a factor of a?
False
Let h(x) = 4*x**2 - 2*x. Let d be h(3). Suppose b = f - 7, -5*f + 4*b = -d - 6. Suppose f*p - 4*p = 4*o - 132, o - 4*p = 39. Is 11 a factor of o?
False
Suppose -3 = q - 1. Suppose -6*z = -z. Is (q + z)/((-2)/13) a multiple of 13?
True
Let r = -133 - -227. Let c = r + -56. Is c a multiple of 14?
False
Suppose 8*a - 30 = 2*a. Is a even?
False
Suppose k - 21 = -2*r, -2*k - 9 = -3*r + k. Let i = 6 - r. Is ((-5)/(-10))/(i/(-56)) a multiple of 7?
True
Let y be -1 - (-4)/((-8)/(-342)). Let p be ((-2)/4)/((-1)/y). Suppose m + p = 3*j - 4*m, -2*j + 5*m = -60. Is 13 a factor of j?
False
Suppose g - 26 = y, 3*g - 70 = y - 0*y. Suppose 5*m = 5*d + 23 + g, -5*m = -4*d - 38. Let c = d - -19. Is c a multiple of 6?
True
Let t be (-8)/10*25/10. Let r(j) = 2*j**2 + j + 2. Is 3 a factor of r(t)?
False
Let p = 4 - 2. Suppose -p*y - 4 = 0, q = 5*y - 0*y + 28. Does 6 divide q?
True
Let t(r) = 8*r - 4 + 4 - 2. Let b be t(2). Suppose -q + 22 = -b. Does 18 divide q?
True
Let n be -24*6*1/(-8). Let t = n - 0. Is t a multiple of 9?
True
Does 5 divide (-1 - 34/6)*(-54)/4?
True
Suppose -6*t + 158 = -4*t. Is t a multiple of 30?
False
Let m be (-3)/2*3*2. Let w(i) = i**2 + 9*i + 12. Does 12 divide w(m)?
True
Suppose -21 = -5*b + 4. Suppose 2*q + b = 37. Is 10 a factor of q?
False
Let r(z) = -z**3 + 10*z**2 + 13*z - 7. Let l be r(9). Suppose -5*o + 44 = -5*p - 111, 0 = -5*o - 4*p + l. Does 17 divide o?
False
Let r(z) = z**2 + 8*z - 5. Suppose 2*w + 2*g = -22, 78 = -5*w - 2*g + 29. Is r(w) even?
True
Let g(i) = 145*i**2 + 13*i + 9. Let w(b) = 36*b**2 + 3*b + 2. Let l(c) = -2*g(c) + 9*w(c). Suppose 0*z - 5*z = -5. Does 11 divide l(z)?
False
Let s = 9 + -14. Suppose -5*z = -y - 35, 3*z - 110 = 4*y - 2*z. Is 13 a factor of (-315)/y - 2/s?
True
Let r = 21 + -27. Is (-68)/r*(11 + -5) a multiple of 27?
False
Let l(m) = 0*m**2 + 1 + 8 + 6 + m**2. Let a be l(0). Does 9 divide ((-4)/(-5))/(1/a)?
False
Suppose 7*y + 48 = y. Let c(l) = -l**2 - 8*l + 7. Is c(y) a multiple of 3?
False
Is -1*(116/(-4) + 4) a multiple of 8?
False
Suppose 0 = -3*m + 5*p + 39, p + 33 = m + m. Suppose 0 = -4*v + v + m. Suppose 2*g + g - v = 0. Is g even?
True
Is 1 - ((-300)/(-4))/(-3) a multiple of 26?
True
Let h = -32 + 44. Does 6 divide h?
True
Let y(g) = 2*g + 6. Let r be y(-8). Let a = 6 - r. Does 16 divide a?
True
Suppose -32 = 4*c - 3*m, 5*m = -2*c + 4*c + 16. Let v be (-3)/((30/c)/5). Suppose -k + v*h + 4 = -8, -30 = -2*k + 2*h. Is 7 a factor of k?
False
Is 10 a factor of (-117)/(-7) + (-2)/(-7)?
False
Suppose 135 - 450 = -5*d. Is 21 a factor of d?
True
Let p be (-50)/(-2)*(-1 - 1). Let m be 9/6*2 - 3. Let r = m - p. Does 17 divide r?
False
Su