of 65?
True
Let v = 14 - 7. Let j = v + -3. Suppose j*d = -0*d + 40. Is d a multiple of 6?
False
Suppose 1830 = w - 2*v, -4*v + 7*v = -3. Is w a multiple of 58?
False
Let l(b) = -b**3 - 32*b**2 - 19*b + 2. Is 10 a factor of l(-32)?
True
Let b be -3 + 1 - (75/(-5))/3. Suppose -o + 50 = -2*y, -4*y - 113 + 293 = b*o. Does 8 divide o?
True
Let l be 81/18 + (-1)/2. Suppose -l*w + 26 + 46 = 0. Is w a multiple of 6?
True
Let c(p) = -2*p**2 + 3*p + 3. Let z(o) = 10*o**2 - 15*o - 15. Let r(q) = -11*c(q) - 2*z(q). Does 13 divide r(6)?
False
Suppose 0 = p + 5*r - 17, 0 = -5*p - 5*r + 57 + 48. Let k(m) = -4*m + 2. Let j be k(-4). Suppose -d - u + j = 0, 5*u + 2 = p. Does 6 divide d?
False
Let t = -153 + 319. Let o = t + -114. Does 3 divide o?
False
Suppose 98 + 132 = 5*z. Suppose 0 = 7*m - z - 3. Is m a multiple of 2?
False
Let i = -240 + 134. Let n = 323 + i. Is 13 a factor of n?
False
Suppose 4*s - 13 - 55 = 0. Let v = -15 + s. Suppose 2*l + 2*l - 3*g - 216 = 0, -v*l + 98 = g. Is l a multiple of 17?
True
Is 8 a factor of 0 + 447/2 - 2/(-4)?
True
Let t(x) = 15*x**2 + 4*x + 3. Let y be ((-1)/(-1))/(6/(-18)). Is t(y) a multiple of 27?
False
Let d(s) = s**3 + s**2 - 9*s - 12. Is 3 a factor of d(4)?
False
Suppose -3*w = 5 + 4, -3*y - 9 = -5*w. Let o = y + 44. Does 36 divide o?
True
Let b(t) = 2*t**2 + 4*t - 4. Let a be 4/(1 + 6/(-4)). Let n be b(a). Suppose 0*q + 4*q - 4*h - n = 0, 0 = -q + 4*h + 14. Does 26 divide q?
True
Let u be (2/5)/(1/15). Suppose u*h = 2*h + 992. Suppose -5*r - 212 - 108 = -5*q, -4*q + h = 4*r. Is 13 a factor of q?
False
Let i(q) = -q + 4. Let f be i(2). Suppose -3*u - 3*x = -39, -u + 17 - f = 3*x. Is 4 a factor of u?
True
Let v(r) = r**2 - 3*r - 51. Does 50 divide v(19)?
False
Let n(s) = -s**3 + 13*s**2 - 13*s + 15. Let z be n(12). Suppose 0 = -3*q + 18 + z. Suppose -2*j = -y - 83 + q, j = 4*y + 31. Is j a multiple of 13?
True
Let z(x) = -2*x**3 - 3*x**2 - 6*x - 10. Let u be z(-6). Suppose -u = -0*n - 5*n. Does 10 divide n?
True
Let i be (-2 - 2*-2) + -2. Suppose i = 6*k - 3*k - 198. Suppose -3*d + 6*b - 3*b = -k, -d = -2*b - 25. Is 7 a factor of d?
False
Let u(w) be the first derivative of -w**2/2 + w - 4. Suppose -3*y + 0 - 18 = 0. Is u(y) even?
False
Let h(j) = -10*j**2 + 18*j + 50. Let x be (6/4)/(9/30). Let s(a) = 7*a**2 - 12*a - 33. Let w(u) = x*h(u) + 7*s(u). Is w(8) a multiple of 2?
False
Suppose x - 3 - 1 = 0. Let j(k) = 2*k + 6. Let b be j(x). Is 15 a factor of (120/b)/((-2)/(-14))?
True
Suppose -2144 = 11*f - 43*f. Is 54 a factor of f?
False
Let y(w) = 2 + 4*w + 6 - 5 + 2*w**2. Let i be y(-7). Suppose -100 = -4*k + v, -3*k + i + 2 = 4*v. Is k a multiple of 13?
False
Is 17 a factor of (-1)/(-11) + (-152014)/(-187)?
False
Let p = 271 - 181. Is 9 a factor of p?
True
Suppose 3*o - 49 = -5*p + 2*o, 2*o = 8. Suppose r = p + 63. Is r a multiple of 23?
False
Let f be (-5 + 1)*-2*(-25)/(-25). Suppose -f*c - 9*c = -1343. Is 5 a factor of c?
False
Let z(r) = r + 9. Let c be z(-14). Let v(p) = p**3 + 8*p**2 + 7*p + 4. Is v(c) a multiple of 22?
True
Let i(t) = t**3 - 20*t**2 + 20*t - 19. Let g be i(19). Suppose 0 + 5 = o, -4*p + 5*o + 107 = g. Is p a multiple of 11?
True
Let r be (-4)/14 + (-6)/(-63)*591. Suppose 54*m - r*m = -82. Is m a multiple of 6?
False
Suppose 3*f - 4*t - 545 = 204, 2*f - 476 = -2*t. Is f a multiple of 9?
True
Let f be ((-200)/(-6))/(1/(-12)). Let s be (3/(-4))/((-10)/f). Let t = -14 - s. Is 4 a factor of t?
True
Let l(i) = -4*i + 11. Let w(s) = -9*s + 22. Let z(o) = -5*l(o) + 2*w(o). Is 2 a factor of z(7)?
False
Let x be 1 + 188 - (0 - 1)*-2. Does 9 divide (-4)/(-18) + x/9 + -3?
True
Suppose -4*z + 8 + 4 = 0. Suppose 4*t - z*t = 63. Does 21 divide t?
True
Let h(y) = 25*y + 9. Suppose -2*n = -18 + 10. Is 24 a factor of h(n)?
False
Suppose 5*t + 5*r - 906 = 3*r, 2*r - 6 = 0. Does 30 divide t?
True
Suppose 360 = x - 11*x. Let y = 57 + x. Is y a multiple of 7?
True
Let j = -30 + 322. Is j/20 + 2 + (-2)/(-5) a multiple of 9?
False
Let b(y) be the first derivative of y**2 + 201*y + 16. Is 27 a factor of b(0)?
False
Suppose 9*w - 262 = 242. Is (288/(-56))/((-6)/w) - -1 a multiple of 20?
False
Suppose 11*f = 19*f. Suppose -5*m + 15 = f, -3*x + 483 = 3*m - 174. Does 46 divide x?
False
Let y = -115 + 117. Suppose -y*w - 32 + 60 = 0. Does 5 divide w?
False
Suppose k + 5*i - 157 = -0*k, -3*k + i + 471 = 0. Is 28 a factor of k?
False
Let m = 5 - -10. Let d(l) = 1 - 9 - m*l - 5. Is 17 a factor of d(-5)?
False
Let v(q) = -4*q + 20. Let r be v(5). Suppose 5*z - m - 70 = -0*m, z - 5*m + 10 = 0. Suppose -i + r*i = -z. Is i a multiple of 11?
False
Let m be 8/5 - (-8)/20. Suppose -m*k - 3*s = 9, -2*k - 4*s - 15 = k. Let p = k + 18. Is p a multiple of 9?
True
Suppose 0 = -20*l + 15*l + 10. Suppose n - 4 = -3*t + 10, -l*t = 3*n - 56. Is n a multiple of 3?
False
Let w(v) = v - 1. Let u be w(7). Is (-141)/u*(-3 + 1) a multiple of 16?
False
Suppose 4*w = -4*z + 24, 4*z + w - 4 = 17. Is z even?
False
Suppose -4*i + 189 + 547 = 0. Is 2 a factor of i?
True
Let j be 3 - (3 + -3 - 1). Does 5 divide (-18 - -3)*(-5 + j)?
True
Let j be (-3)/12 - 15364/(-16). Suppose -j = -9*l - 3*l. Does 16 divide l?
True
Suppose -106*c = -110*c + 7244. Is 11 a factor of c?
False
Let o be (0/1)/(5 - (1 + 2)). Suppose 0 = 3*w - o*v + v - 143, -5*w - v + 239 = 0. Is 24 a factor of w?
True
Let v(s) = -s. Let g be v(0). Suppose -3*i - 3*u - 2 + 392 = g, 3*u = 0. Does 13 divide i?
True
Let r(d) = 101*d**2 + 104*d + 5. Is 30 a factor of r(-5)?
True
Suppose 39 = -4*k + 159. Is 5 a factor of k?
True
Let v(l) = -8*l**2 + 9*l + 12. Let k(n) = -7*n**2 + 10*n + 11. Let z(c) = 7*k(c) - 6*v(c). Does 10 divide z(15)?
True
Let a(m) = -17*m**2 - 21*m**2 + m + 39*m**2 + 30. Is a(0) a multiple of 5?
True
Let b = -12 - -7. Let i(v) = 2 - 5 - v**3 + 3*v - 4*v**2 + 0*v - 2*v. Is 17 a factor of i(b)?
True
Let z(h) = h**2 - 7. Let x be z(-3). Suppose 3*j = 4*c - 10, 0*j = -4*c - x*j. Is (0 + c - -1)*24 a multiple of 12?
True
Is 9 a factor of (-3 + -865)/(6 - 8)?
False
Suppose 132*z - 44518 + 5842 = 0. Does 2 divide z?
False
Suppose 2*y - 96 = 54. Let p = y - 20. Let f = 88 - p. Does 11 divide f?
True
Suppose -5*f + 1749 = -1131. Is 10 a factor of f?
False
Let v = -20 + 9. Let h = v + 11. Does 15 divide h + 0 + (7 - -23)?
True
Suppose -4*k = -5*m + 12, -m + 9 = 3*m - 3*k. Suppose 6*w + w - 2058 = m. Is w a multiple of 21?
True
Suppose 0 = -5*s - 5*x + 1135, -10*x + 1133 = 5*s - 6*x. Is s a multiple of 15?
True
Suppose -5*c = 3*a - 529, -a + 2*c - 541 = -4*a. Suppose -6 = 9*g - 24. Suppose 4*n - v = a, -g*n - 2*v + 48 = -n. Is 13 a factor of n?
False
Suppose w - 3*d = 537, 2*d - 307 = -3*w + 1337. Is 21 a factor of w?
True
Let r be 2 + (0 + 0)/(-2). Suppose -r*t + t + 21 = 0. Let i = t + -11. Is 3 a factor of i?
False
Is 1/(-12*2/(-37272)) a multiple of 30?
False
Let l(q) = 3*q**2 + 41*q - 4. Does 10 divide l(7)?
True
Suppose -3*p = -4*t - 23, 4*t - 4*p + 30 = -t. Suppose 4*f - 1 = -5*a - 2, 0 = f - 1. Is t/a - (-206)/2 a multiple of 36?
False
Suppose -2*j = -224 - 56. Is j a multiple of 14?
True
Let o = -3 - -1. Let l be (-18)/o*(-4)/6. Let w(x) = x**2 + 2*x - 3. Is 19 a factor of w(l)?
False
Let w(b) = -16*b - 4. Let f be w(-10). Let q = -104 + f. Suppose 0 = 3*m - q - 71. Does 13 divide m?
False
Suppose -92*c - 95 = -93*c. Is 19 a factor of c?
True
Suppose 3*j - 268 = -4*l, -j + 174 = j - 2*l. Suppose -6*o + j = -8. Is 8 a factor of o?
True
Suppose t + 4 = u, -u - 26 = 3*t + 2*t. Let d be u/(5/3 + -2). Suppose -x + 15 = h + x, 0 = -d*h - 3*x + 33. Does 7 divide h?
True
Let g = -106 + 59. Let c = 277 - 177. Let i = g + c. Does 18 divide i?
False
Let c be ((-334)/6 + 0)*(-25 - -4). Suppose -11*o + 910 = -c. Is o a multiple of 11?
False
Let j be -1 - (11 + (-7 - -3)). Let k = j + 10. Suppose -4*u = k*u - 78. Is u a multiple of 10?
False
Suppose 0*s = -9*s + 5643. Does 57 divide s?
True
Let j be 1001/(-35) - (-2)/(-5). Let s = j - -32. Let c(q) = 37*q - 4. Does 23 divide c(s)?
False
Let t(c) = 361*c**2 + 13*c + 12. Is 40 a factor of t(-1)?
True
Let u = 1044 - 379. Is u a multiple of 19?
True
Suppose -2*x = 3*l - 1737, -2*l + 6*l + 5*x = 2316. Is l a multiple of 29?
False
Suppose -152 = -14*j + 11*j - 5*i, -4*i + 154 = 3*j. Is 9 a factor of j?
True
Suppose -904 + 59 = -5*z + 2*u, -5*