?
True
Let t be 3 - 0/(3 + 0). Suppose 3*g = -4*n + 14, t*n - 2*g + 2 - 21 = 0. Does 5 divide n?
True
Suppose -17 = -3*y - 5*t + 5, 4*y + 2*t = 34. Suppose l = 3*i + 11, 4*l = 5*i - y + 46. Is 4 a factor of l?
True
Let v(s) = 3*s**3 - 13*s**2 + 3*s + 11. Let m(r) = -r**3 + 6*r**2 - 2*r - 6. Let y(i) = -5*m(i) - 2*v(i). Does 20 divide y(-6)?
False
Suppose n + 19 = 4*y, 3*n + 2*n = -4*y + 25. Suppose -y*m = m - 72. Does 4 divide m?
True
Suppose -88 = -3*s - 7. Suppose 3*w + 35 = -4. Let l = s + w. Is 7 a factor of l?
True
Let b = 5 - -30. Let x = -3 + b. Is x a multiple of 18?
False
Suppose 2*i - 3*i + 35 = 0. Does 7 divide i?
True
Let d(i) be the second derivative of i**3/3 - 3*i**2/2 - i. Let m = 12 - 8. Does 4 divide d(m)?
False
Let u be 579/15 - 6/10. Suppose 194 = 4*k + u. Does 13 divide k?
True
Suppose 0*g - 2*g + 26 = 0. Does 3 divide g?
False
Let u(d) be the second derivative of -d**5/20 - d**4/2 - 5*d**3/6 + 3*d**2 + 6*d. Let q = -7 - -2. Does 6 divide u(q)?
True
Let n(a) = 6*a**2 - 2*a + 1. Let r be n(1). Let v = 16 - r. Does 4 divide v?
False
Let o be -1 + -2 - (-5 - -5). Let s(w) = -w**3 - 3*w**2 - 4*w - 4. Is s(o) a multiple of 4?
True
Suppose 3*k + 2*o + 6 = 0, 3*k - 2*k = -5*o + 11. Let n = -4 - k. Suppose -3*a = 3*u - 15, a - 4*u - 16 - 4 = n. Is 3 a factor of a?
False
Suppose -2*x + 320 = 5*f, -3*f + 0 = 3*x - 480. Does 44 divide x?
False
Suppose 88*z = 87*z + 30. Is 12 a factor of z?
False
Suppose 0 = r - 15 - 35. Is 10 a factor of r?
True
Suppose 28 = 3*j - 29. Let u = j - -1. Is 10 a factor of u?
True
Suppose 24 = 4*l - 2*l. Suppose p - 3*p + l = 0. Let w(j) = j**3 - 7*j**2 + 6*j + 6. Does 6 divide w(p)?
True
Suppose -108 - 101 = -4*d - m, 4*d - 2*m = 206. Is 9 a factor of d?
False
Let u be ((-3)/(-9))/((-1)/(-9)). Suppose 5*v - 24 - 23 = -u*c, -19 = -5*v + 4*c. Is -21*v/((-49)/6) a multiple of 18?
True
Suppose 2*x - q = 9, x - 2*x - 8 = 2*q. Suppose x*v + 2*k = 52, -4*k = 3*v + 19 - 102. Is 16 a factor of v?
False
Suppose 5 = o - 8. Let m = 6 - 8. Let n = m + o. Is n a multiple of 5?
False
Let o be 0*(-3)/(-9) - -105. Suppose -17*s + o = -12*s. Is 7 a factor of s?
True
Let v(p) = -p**3 - 4*p**2 + 4*p + 7. Does 6 divide v(-5)?
True
Let f(a) = -a**3 + 5*a**2 + 6*a + 8. Let x be (12/14)/((-7)/(-49)). Is 4 a factor of f(x)?
True
Suppose -5*p + 2*p + 216 = 0. Does 24 divide p?
True
Suppose 619 = -5*d + 8*d + 4*m, 0 = -d + 2*m + 223. Does 29 divide d?
False
Let m(w) = -2*w + 3. Let x(l) = 4*l + 1. Suppose 2*n + 1 = -1. Let t be x(n). Is m(t) a multiple of 4?
False
Let u(a) = -3 - 2*a**3 + 7*a**2 - 3*a**2 + a**3 + a**2 + 2*a. Does 7 divide u(5)?
True
Let t = 2 - 7. Let j = -3 - t. Suppose j*y = -y + 102. Does 17 divide y?
True
Let t(k) = -2*k - 12. Let c be (-4 + 6)/((-2)/8). Let n be t(c). Suppose n*v + i = 147, v + 5*i + 7 - 58 = 0. Does 11 divide v?
False
Let v = 31 - 19. Suppose v + 10 = 2*u. Is 7 a factor of u?
False
Suppose 2*x = -0*x + 204. Does 34 divide x?
True
Suppose 2*n - 2*d - 101 = d, 5*n = -5*d + 315. Suppose -2*k + 6 = -n. Does 12 divide k?
False
Suppose -5*r + 493 - 43 = 0. Suppose 2*y = -y + r. Does 10 divide y?
True
Suppose -r + 2 = 3. Let k = 4 + r. Suppose -2*g + 6*m - m = -33, -5*g - k*m = -160. Does 20 divide g?
False
Suppose 5*i - i = 16. Let b(c) = 4 + c**2 + 4*c**2 - 4*c**2 + 2*c. Is 14 a factor of b(i)?
True
Suppose p = -3*q - 2*q - 48, p = -4*q - 38. Let j = -3 - q. Does 2 divide j?
False
Suppose -5*c + 6*v + 95 = 3*v, 2*v = 10. Is 11 a factor of c?
True
Is 9 a factor of (-1)/(-4) + (-369)/(-12)?
False
Is 52 - -1 - (0 + (-4)/(-2)) a multiple of 12?
False
Suppose v + 1 = 3. Suppose v*j = -n + 164, -j + 4*n = 3*j - 352. Does 28 divide j?
True
Suppose 5*x + 4 = -6. Is 8 a factor of (-138)/x*(-5)/(-15)?
False
Let d(n) = -n**2 + 5*n - 4. Let r be (15/(-25))/(2/(-10)). Let u be d(r). Let z(m) = 5*m**2 - 3*m. Does 7 divide z(u)?
True
Suppose h + 12 + 21 = 0. Is (-1128)/h + 4/(-22) a multiple of 12?
False
Let u be -1*17*(-2 - -1). Let o = -11 + u. Suppose a = o + 7. Is a a multiple of 13?
True
Let b(j) = 14*j**3 - 3*j + 2. Let q be b(1). Let f = q - -14. Is f a multiple of 15?
False
Let x = -2 - -6. Let h = x - 1. Suppose -a + 20 = h*k, a - k + 10 = 2*a. Is a a multiple of 5?
True
Suppose 4*i - 4*n = 3*i + 33, 2*n = -5*i + 231. Let r = -27 + i. Is r a multiple of 9?
True
Suppose 0 = 4*j + 3*x - 2*x + 25, -2*j + 3*x = 9. Is (-3)/j*26*2 a multiple of 13?
True
Let o be -11 - (-3 + 6/3). Let j = -5 - o. Is 5 a factor of j?
True
Suppose -3*r = u + 10, -5*u - 4 = r - 10. Let m(j) = -j**3 + 5*j**2 + 8*j - 6. Let n be m(6). Is 303/n + 2/r a multiple of 22?
False
Let w(p) be the third derivative of 1/2*p**4 + 0 - p**2 - 1/3*p**3 + 0*p - 1/60*p**5. Is 17 a factor of w(6)?
True
Suppose 3*v = q + v - 171, 0 = 4*q - 5*v - 684. Let j = q + -105. Suppose -8*b + 3*b = c - j, 3*c = 2*b - 40. Does 5 divide b?
False
Let m(f) = 20*f + 5. Let o be m(5). Suppose 0 = 2*k + 3*k + o. Does 13 divide (3 + k)*5/(-3)?
False
Let a be (13/(-13))/((-2)/6). Does 13 divide a/(-12) + (-1827)/(-28)?
True
Suppose 0 = -5*f + 11 - 31. Let n be (-16 + 4)*6/f. Suppose -2*l + n = -2. Does 10 divide l?
True
Let i(u) = u**3 + 5*u**2 - 6*u - 2. Let d be i(-6). Let r be d/3*-6*-1. Let j = r + 8. Is 2 a factor of j?
True
Let c = 19 - -26. Is 15 a factor of c?
True
Let c(f) = f**2 - 8*f + 4. Let h be c(2). Let u(o) = -4*o**2 - 4*o + 3. Let a be u(2). Let t = h - a. Is t a multiple of 12?
False
Let t be 175/49 + 3/7. Suppose t*i + 44 = 6*i. Is 14 a factor of i?
False
Let j = -20 + 28. Let x = 36 - j. Is 14 a factor of x?
True
Let u = -46 - -22. Is 8 a factor of u/(-5)*10/3?
True
Let c = 130 + 136. Is 23 a factor of c?
False
Is 3 a factor of 7 + (3/9)/((-1)/(-3))?
False
Suppose -2*c + 145 = -25. Is c a multiple of 11?
False
Suppose 3*t - 4*t + 4*j + 67 = 0, 283 = 4*t - j. Suppose -5*y = -t - 49. Does 9 divide y?
False
Let t = 4 - 4. Suppose t = -m - m + 38. Does 19 divide m?
True
Suppose -157 = -3*n + 143. Does 22 divide n?
False
Let w be (-1)/(-3) - 2/6. Let r(c) = c**3 + 4*c**2 + 3*c + 2. Let j be r(-3). Suppose -45 = -b - j*i, -5*b = -w*i + 3*i - 204. Is 14 a factor of b?
False
Suppose -5*b + 30 = -4*n, 23 = -2*b + 6*b - 3*n. Is 12 a factor of 171/5 - b/10?
False
Does 22 divide 116/6*6/4?
False
Let g = 2 - 1. Is 5 a factor of (1 + -1 + g)*5?
True
Let u(o) = -o**3 - o**2 - o + 2. Let i be u(0). Suppose i - 15 = -y. Is 13 a factor of y?
True
Let f be (38/4)/(1/4). Suppose -5*w = -52 - f. Is 6 a factor of w?
True
Let f = -214 - -395. Does 18 divide f?
False
Let v(q) = -3 - 5 - 3 + 7*q. Is 19 a factor of v(7)?
True
Suppose -2*c - 7 = 5. Let b(n) = n - 21. Let z be b(12). Is (-6)/z + (-8)/c even?
True
Suppose -5*q + 4*z + 106 = 0, 6*q - 4*q + 3*z - 24 = 0. Is 9 a factor of q?
True
Let w(m) = m**3 - 4*m**2 + 2*m - 7. Is 20 a factor of w(6)?
False
Let d = 9 + -3. Suppose 50 = -d*q + 8*q. Is q a multiple of 12?
False
Let p(i) = -i**3 - 20*i**2 - 21*i - 2. Does 20 divide p(-19)?
False
Let i(r) = -r**3 - 4*r**2 + 7*r + 7. Let z be i(-5). Does 6 divide 9/6*(-42)/z?
False
Suppose -2*l + 4*c = -32, 0 = 5*l + 2*c - c - 58. Suppose -32 = -14*u + l*u. Is 3 a factor of u?
False
Let q(b) = -b**3 + 7*b**2 - b + 9. Let m be q(7). Let v(o) = 3*o**3 - 2*o**2 + 2*o - 1. Does 6 divide v(m)?
False
Suppose 3*q + 12 = 0, 50 = -0*c + c - 5*q. Is 6 a factor of c?
True
Let d = -69 - 1. Let u(o) = -3*o**2 - o + 1. Let b be u(-3). Let l = b - d. Is 15 a factor of l?
False
Suppose -5*y - 4*s - 18 - 33 = 0, 3*y - 4*s = -5. Let o = -33 - -21. Let t = y - o. Is t even?
False
Let n = 12 - 6. Suppose 2*p = -p + n. Suppose -5*w - 5*j = -p*w + 1, 15 = -3*j. Is 3 a factor of w?
False
Suppose -3*i + 17 = -2*i. Is 17 a factor of i?
True
Let o(d) = d**2 - 11*d + 6. Is 26 a factor of o(13)?
False
Let r(s) = 2 - 9*s + 0*s - 8. Let f be r(6). Let n = f - -84. Is n a multiple of 8?
True
Let t be 2 - 1*2*3. Let r(p) = -2*p**2 - 7*p - 4. Let i be r(t). Let z = i - -21. Does 5 divide z?
False
Let c(r) = -2*r**2 - 8*r - 5. Let s be c(-6). Let p = s + 110. Suppose -5*u + 3*u - 78 = -4*h, -3*u + p = 5*h. Is 9 a factor of h?
True
Let a be (-20)/(-3) - (-1)/3. Suppose 2*w + a = f, 0*w - 4*w + 4*f = 4. Let l(r) = -r**3 - 7*r**2 - 8*r + 6. Is l(w) a multiple of 12?
False
Let x(s) = 8*s + 14. Let h be x(-6). Su