?
True
Let h = 3 + -10. Suppose 3*c + 4*d - 37 - 6 = 0, 3*d - 3 = 0. Let y = h + c. Does 3 divide y?
True
Is 3 a factor of (18/4)/(10/20)?
True
Suppose -2*c = -4*h, -2*c - 4*h + 9*h = 0. Suppose z = 5*r - 3*z - 475, c = r - 4*z - 79. Is 26 a factor of r?
False
Let s be 1/(-2*2/(-104)). Let x = 41 - s. Is 6 a factor of x?
False
Let f be 2 - (-3 + 3 + -1). Suppose f*k + 2*h = 39 + 85, k = h + 43. Does 21 divide k?
True
Let g(h) = 14*h + 8. Does 16 divide g(4)?
True
Does 22 divide 7152/108 - 4/18?
True
Let l be (5*1)/(1 + 0). Suppose l*w - w = 36. Let f = -1 + w. Does 8 divide f?
True
Suppose 17 = 5*w - 3. Suppose w*j - 72 - 88 = 0. Does 9 divide j?
False
Let s(o) = o**2 - 2*o + 5. Is s(-4) a multiple of 13?
False
Does 5 divide (-18)/(-4)*10/3?
True
Suppose 4 + 21 = 5*s. Suppose 0 = s*j - j - 108. Is j a multiple of 12?
False
Let z(c) = 2*c**2 + 1 - 8*c + 0*c + 0*c**2. Let q be 36/2*(-2)/(-6). Is 10 a factor of z(q)?
False
Let i(r) = 8*r + 7. Let w be 1 - (-6)/((-1)/(-1)). Is 14 a factor of i(w)?
False
Let m be (-16)/40 - 4/(-10). Suppose 2*k + 5 - 43 = m. Does 9 divide k?
False
Suppose 4*s - 21 - 15 = 0. Is 9 a factor of s?
True
Let c be 5 + -2 + (-22)/2. Let u = c + 21. Does 13 divide u?
True
Let s = 53 + -35. Suppose u - 5*u = -20. Suppose 42 + s = u*j. Is j a multiple of 4?
True
Let g = 429 - 303. Does 7 divide g?
True
Let s(a) = a**3 - 5*a**2 + 5*a + 3. Let o(i) = -i**3 + 11*i**2 - 11*i - 6. Let u(n) = -3*o(n) - 7*s(n). Is u(-2) a multiple of 12?
False
Suppose 4*h = 52 - 8. Is 2 a factor of h?
False
Let z(t) = 2*t**3 + t**2 - t. Let b be z(-2). Let j(q) = -14*q + 29*q - 17*q + 10. Does 15 divide j(b)?
True
Let f = -2 + 4. Suppose f*d = -2*t - 3 - 1, d - 3*t - 18 = 0. Does 3 divide d?
True
Let v = 45 + -24. Suppose 0 = 3*r - 4*y - v, 2*r + 4*y + 7 = 3*r. Is r a multiple of 3?
False
Let q = -7 - 42. Let l = 7 + q. Let c = l - -76. Is 17 a factor of c?
True
Is (-5)/((-50)/1682) - (-2)/(-10) a multiple of 21?
True
Let f = 5 - 3. Let r be f + -2 + 0 + -2. Is 14 a factor of 4/r + 51 - 2?
False
Let x = 696 + -471. Does 15 divide x?
True
Let a = -12 + 6. Let h(k) = 2*k**2 + 5*k - 8. Let f be h(a). Suppose -6*w + f = -4*w. Is 10 a factor of w?
False
Suppose n + 2*m - 14 - 10 = 0, 0 = -4*n - 4*m + 96. Does 4 divide n?
True
Suppose 6*d = 3*d + 90. Suppose 4*u - u = d. Is u a multiple of 10?
True
Let x(l) be the second derivative of -l**4/12 + 2*l**3 + l**2 - 6*l. Is 16 a factor of x(5)?
False
Let o be (-2)/7 + (-4)/(-14). Suppose 7*m - 4*m - 96 = o. Does 19 divide m?
False
Suppose -5*x - 3 = 2*d + 2, 0 = 5*x + 5*d + 20. Does 10 divide (-18)/6 - (x - 21)?
False
Let d = -2 - -25. Suppose 25 = 2*m - d. Is 7 a factor of m?
False
Suppose -5*p - 30 = -10*p. Suppose 0 = -4*k + p + 10. Suppose 0 = -k*z + z + 84. Is z a multiple of 14?
True
Suppose 0 = 2*m + 4*m - 510. Does 14 divide m?
False
Suppose 6*m + 736 = 5*a + 2*m, 5*m = -20. Suppose 4*y = 4*z - a, 119 = 4*z + y - 0*y. Does 12 divide z?
False
Let m = 104 - 57. Let o be 4/(-18) - m/(-9). Suppose 176 = o*n - d - 3*d, -2*n + 72 = -2*d. Does 16 divide n?
True
Let q = 163 + -249. Let c = q - 4. Let t = -58 - c. Is 16 a factor of t?
True
Let o(f) = -8*f + 3. Let j(y) = -8*y + 4. Let i(x) = -3*j(x) + 4*o(x). Let k = 1 - 3. Is 6 a factor of i(k)?
False
Suppose -4*m - 226 = -5*c, 8*c - 12*c - 5*m + 148 = 0. Does 2 divide c?
True
Let c(v) = 5*v**2 + 7*v - 1. Let t be c(-6). Let h be 839/(-9) + (-4)/(-18). Let s = t + h. Is 15 a factor of s?
False
Suppose 5*w - 39 = -3*r, 3*r - 2*w - 3*w - 9 = 0. Suppose -2*q + 4*x + 28 = 0, 3*x - r = 7. Is 12 a factor of q?
True
Let d(y) = -y**3 - 6*y**2 + y + 6. Let k be d(-6). Suppose k = -4*c - 3 - 5. Is c/(-1) - (-7 - -1) a multiple of 3?
False
Let j = 22 - 15. Is 6 a factor of j?
False
Suppose 0 = 5*o + 2*s - 51, 5*o + 5*s = o + 34. Let m = o - 2. Is m a multiple of 9?
True
Let a(g) = -3*g - 8*g + g**2 - 3 + 2*g + 5. Is 12 a factor of a(11)?
True
Let d be (1 + 5)*3 - 3. Suppose -b + 2*b + 5*t - d = 0, -5*b + 5*t = -105. Does 10 divide b?
True
Suppose 0 = -3*x - 2*x + 295. Suppose -4*w - 29 - x = -4*q, 0 = -q - 2*w + 22. Is q a multiple of 11?
True
Let r(h) be the first derivative of h**3/3 - 3*h**2 + 5*h + 3. Let c be r(4). Let l = c + 21. Is 6 a factor of l?
True
Suppose -5*h + 2*f = -16, -3*f = 5*h - 0*f - 1. Suppose 0 = 2*p + 6, a - 1 - 6 = h*p. Is 7 a factor of (-1 - -17)*a/2?
False
Suppose 2 = -4*w + 134. Is 8 a factor of w?
False
Suppose 4*p + 48 = -32. Is 6 a factor of 12*-1*15/p?
False
Does 18 divide (784/(-3))/7*-3?
False
Let i(h) = 4*h - 7. Let y be 0 - 1 - 0 - -8. Let f be i(y). Suppose 5*m - 56 + f = 0. Is m a multiple of 7?
True
Let m(g) = 104*g - 4. Let l be m(3). Let y = l + -135. Suppose 4*j = v + 4*v - y, -5*j + 56 = 2*v. Is 12 a factor of v?
False
Let o = 21 + 7. Suppose 2*b + 2*b = o. Is 7 a factor of b?
True
Suppose 0 = -4*w - 2*o + 1196, 0 = -3*w + 5*o + 1295 - 424. Is w a multiple of 48?
False
Suppose -11 = n - q, 4*n + 44 + 3 = 3*q. Does 12 divide (1 + 0)/1 - n?
False
Suppose 5*u + 3*l = -1656, 0 = -4*u + l - 0*l - 1318. Let h = -226 - u. Suppose -2*q = 2*q - h. Is q a multiple of 13?
True
Let y = 31 + -20. Is y a multiple of 2?
False
Let c(k) = 2*k - 8. Let h be -9*(4/3 + -2). Let g be c(h). Let m = -1 + g. Is 2 a factor of m?
False
Let k(h) = -9*h. Let z be k(-2). Let v = z - 9. Let d = v - 5. Is d even?
True
Let s(o) be the third derivative of -o**6/120 - o**5/30 + o**3/6 + o**2. Let h be s(-1). Suppose 0 = -5*q - h*q + 200. Does 15 divide q?
False
Let i = -455 + 651. Is 28 a factor of i?
True
Suppose -4*q = c - 6*c + 180, -q = 2*c - 85. Does 11 divide c?
False
Let a = 41 - -5. Does 13 divide a?
False
Let i = -36 + 7. Let m = i + 46. Is 17 a factor of m?
True
Suppose -7 + 46 = t. Does 7 divide t?
False
Suppose -2*u + 3*i + 9 = 0, 0 = u - 2*u - 2*i + 1. Suppose b - 3*q - 20 = 0, 2*b - 48 = u*q + q. Is b a multiple of 8?
True
Does 20 divide 30 - -6 - (1 - 1)/1?
False
Let f be 0 - -1 - (-1)/1. Suppose 6*j = f*j. Suppose 6*s - 2*s - 32 = j. Is s a multiple of 8?
True
Let a = -79 - 4. Let y = a - -135. Is y a multiple of 13?
True
Suppose -j - 5*u + 92 = 0, 237 = 3*j - 3*u + 5*u. Does 33 divide j?
False
Let a = 100 + -74. Is a a multiple of 2?
True
Suppose 2 = -4*c + 14. Suppose -c*f = -264 + 90. Is 16 a factor of f?
False
Does 15 divide (-680)/(-15) + 3/(-9)?
True
Suppose -z = -0*z - 90. Is 20 a factor of ((-4)/(-3))/(3/z)?
True
Let x(b) = b + 9. Let z be x(-7). Is 2 a factor of (-141)/(-27) + z/(-9)?
False
Let k = 180 + -96. Does 14 divide k?
True
Let h(b) = -b**3 + 4*b**2 - 2*b - 1. Let u be h(2). Suppose -6*x - 3*t + 6 = -5*x, u*t = 2*x - 39. Is x a multiple of 5?
True
Let k(y) = -2*y**2 + 10. Does 5 divide k(0)?
True
Suppose y + 3 = 7. Is 15 a factor of -4*((-15)/y - 0)?
True
Let q(v) = -144*v**3 + v**2 - 2*v - 2. Does 13 divide q(-1)?
False
Suppose 4*q - 1 = 2*q - c, 0 = q - 2*c + 2. Suppose -r = -q*r - s - 5, 3*r = -s + 15. Is 252/30 - 2/r a multiple of 4?
True
Let q be (2 + -12)*1/(-2). Suppose -2*y - 12 = -q*y. Is y a multiple of 2?
True
Let j(g) = -4*g + 4. Is j(0) a multiple of 4?
True
Let b = -13 + 15. Suppose b*a - 348 = -4*a. Is 29 a factor of a?
True
Suppose a + 1 = 3. Does 5 divide (30/(-9))/(a/(-3))?
True
Let k = 57 - 51. Is k a multiple of 5?
False
Suppose 3*w + 40 + 27 = o, 3*o + 4*w - 253 = 0. Let a = o - -35. Does 8 divide 2/10 - a/(-5)?
False
Is 11 a factor of (-1)/(-1*(-3)/(-105))?
False
Let h be (-3)/(-4) - 5/(-4). Suppose 5 = h*t - 13. Is t a multiple of 3?
True
Suppose 0*x - 3*x + 9 = 0. Is 13 a factor of (-2)/(-2)*53 - x?
False
Suppose 3*a - 1 = i - 5*i, 2 = 2*i. Suppose 2*p - 3*p + 12 = 0. Let q = p + a. Is 11 a factor of q?
True
Is (-253)/(-5) + 6/15 a multiple of 17?
True
Let p be 45/27 - (-2)/6. Does 10 divide 27/p + (-2)/(-4)?
False
Let f(g) = -10*g - 20. Does 6 divide f(-5)?
True
Suppose -3*n - 2*s = 3*s + 32, 5*n = 3*s - 42. Let g = n - -15. Is g a multiple of 6?
True
Suppose 7*j = 10*j - 1008. Is j a multiple of 48?
True
Let t = 587 + -332. Does 51 divide t?
True
Let c(l) = l**3 - 4*l**2 - 6*l - 1. Let p be c(5). Let b(h) = h**2 + 2*h - 6. Is b(p) a multiple of 5?
False
Let s = -17 - -17. Suppose -23 = -0*r - 3*r - 4*z, 4*r - z - 56 = s. Is 5 a factor of r?
False
Let f be (2 - 318/(-3)) + 2. Does 12 divide f/(-4)*(-