 of 15?
False
Let v(n) = 11*n**2 - 17*n - 74. Does 2 divide v(-4)?
True
Suppose -476 = 18*a - 16*a. Let v = a - -423. Is 15 a factor of v?
False
Let a = -5 - -7. Suppose 10*p + 613 = -587. Does 2 divide a/10 + p/(-25)?
False
Suppose 0 = d, 2*j - 32 = -2*j + 4*d. Does 2 divide -33*(2 + j/(-3))?
True
Let f(h) = -h + 1. Let a be f(-7). Suppose -a*k = -10*k - 6. Is 18 a factor of 49 - (1/(-1) - k)?
False
Let i be 1/3 + (-925)/75. Let o = 49 - i. Is o a multiple of 19?
False
Does 5 divide 12/((-38)/8 + 5)?
False
Let q(t) be the third derivative of t**5/12 + 11*t**4/24 - t**3 + 2*t**2. Does 23 divide q(4)?
False
Let i be 3/4*1 - 58/(-8). Is 40 a factor of (-4)/i + 642/4?
True
Suppose -3*b + 2*b - 3*t + 37 = 0, t + 96 = 4*b. Let d = 65 - b. Is 8 a factor of d?
True
Suppose -12 = -w - 2. Suppose 0 = w*y + 8*y - 5544. Does 22 divide y?
True
Is (-1)/4 - (-45441)/68 a multiple of 16?
False
Suppose 7*v - 627 = -39. Is 6 a factor of v?
True
Suppose -4*u + 4*o = -0*o - 8, -5*o = -4*u + 11. Let n be -13*u/((-3)/3). Let z = n - -48. Is 13 a factor of z?
False
Suppose 197590 + 10013 = 99*i. Is i a multiple of 9?
True
Suppose 0 = d - x - 74, -4*d + 251 = 3*x + 2*x. Let b = d + 36. Is b a multiple of 22?
False
Let r be (-51 - -43)/(-1 + (-6)/(-8)). Let g = -23 + r. Is g a multiple of 5?
False
Is 61 a factor of (-17418)/(-33) - 22/(-121)?
False
Suppose -n - n + 16 = -4*d, 4*n - 26 = 5*d. Suppose 0*m = -s + 3*m + 9, n*m + 20 = 4*s. Suppose -2*p + 5*t = -67 - 6, -2*p = s*t - 33. Is p a multiple of 12?
True
Suppose 0 = -2*l - 4, 5*p + 6*l - 10 = l. Suppose -p*o + 2 = -6. Suppose 0*j - 10 = -o*j. Is 4 a factor of j?
False
Suppose -z - 2*z + y = -7, 0 = -5*z + 5*y + 15. Suppose -5*d = 5*j - 10, -4*d + z = j - 0*d. Suppose -3*w - j*h + 0*h = -58, 5*w + 3*h = 95. Does 8 divide w?
True
Let u = 3976 + -2800. Is 24 a factor of u?
True
Let w = 234 - 105. Is 43 a factor of w?
True
Is 29 a factor of (-1993)/(2*5/(-20))?
False
Let z be 1/(((-6)/477)/(-2)). Suppose -4 = 4*m, 0*c - 5*c - 4*m = z. Let j = 62 + c. Is 12 a factor of j?
False
Suppose l - 446 = -39*j + 34*j, 2*j + 1321 = 3*l. Is l a multiple of 7?
True
Let s = 317 + -49. Let o = s - 66. Does 20 divide o?
False
Suppose 0 = -2*j + 4*d + 26, 6*d - 3*d = j - 14. Let r = j - -6. Is 14 a factor of r?
False
Let c = -130 + 278. Does 5 divide c?
False
Let i(j) = j**3 + 7*j**2 + 5*j - 2. Let h be i(-6). Suppose 4*g - 5*x = -88 + 467, g - 92 = h*x. Is g a multiple of 8?
True
Let x be 4/8 + 9/6. Let o(i) = -i**2 + 2*i - 2. Let d be o(x). Let w(r) = -r**3 - r**2 - 2*r - 2. Does 5 divide w(d)?
False
Let t = 3 + 3. Let n(v) = 2*v**2 - 12*v + 45. Is 11 a factor of n(t)?
False
Let m(t) = 4*t - 7. Let k be m(3). Suppose k*x + 758 = -2552. Is 16 a factor of x/(-6) + 4/6?
False
Suppose -b + 18 = 5*n, -4 = -2*b + 4*b. Suppose -n*o + 15*o = 1045. Does 19 divide o?
True
Let m(s) = -s**3 - s**2 - 8*s + 2177. Is m(0) a multiple of 74?
False
Let m = 10 - 6. Suppose -2*g + 0*n + n + 201 = 0, m*n = -5*g + 496. Suppose -5*s = 3*h - g, h + s = -s + 33. Is 7 a factor of h?
True
Let f(k) = -13*k - 20. Is f(-10) a multiple of 4?
False
Let q = 657 - 361. Is 49 a factor of q?
False
Let q(p) be the first derivative of 0*p**2 + 5 + p + 35/3*p**3. Does 9 divide q(1)?
True
Suppose 0 = 12*o - 7*o - 180. Let v = 82 - o. Does 32 divide v?
False
Let i(p) = -p**2 + 10*p - 6. Let t be i(9). Suppose 3*u - t*b - 168 = 0, u + 0*u - 60 = 3*b. Is u a multiple of 27?
True
Let x = -2 + 35. Suppose -3*j + 3*y - 25 = -97, -5*y - x = -2*j. Does 5 divide j?
False
Suppose u - 18 = -5*a - u, 2*u - 14 = -4*a. Let c be (15/a + -4)*-28. Let i = 17 + c. Does 5 divide i?
False
Let u = 1980 - 1399. Is u even?
False
Suppose -3*x - 48 = -15*x. Suppose 130 = 2*a + 5*w - 168, 570 = x*a - 3*w. Does 6 divide a?
True
Let g(l) = 253*l - 253*l + 47 - l**2. Does 31 divide g(0)?
False
Let r be 0 + 1 - (0 - 1). Suppose -4*h + 44 = 4*x, -x - 4*x = r*h - 64. Let c = x - 5. Is 3 a factor of c?
True
Suppose 13*l - 11*l = 6. Suppose 8*k - l*w - 120 = 5*k, 5*w - 34 = -k. Does 13 divide k?
True
Let r = -7 + -3. Suppose 147 + 75 = -3*v. Does 8 divide v/(-6) + r/(-15)?
False
Let x(a) = 4*a**2 + 9*a - 18. Let i be x(4). Is 22 a factor of i - ((-1)/(-5) - 92/(-115))?
False
Is 2346/(-4)*(-5 - (-14)/6) a multiple of 34?
True
Let f(u) = -6 - 7*u - 4 + 3. Let p = 96 - 109. Is f(p) a multiple of 17?
False
Let i be (-1)/6 - 95/(-30). Is 11 a factor of ((-123)/(-4))/((-33)/12 + i)?
False
Suppose -2*j - 165 - 32 = 3*o, 4*j = -4*o - 256. Let v = -6 - o. Does 21 divide v?
True
Let u(y) = 6*y**3 - 11*y**2 - 5*y - 10. Let g(j) = -j + 5*j**2 + j**3 - 1 - 3*j**2 - 3*j**2. Let o(n) = -5*g(n) + u(n). Is 11 a factor of o(7)?
True
Suppose -7*r = 5*r + 4*r. Let y(n) = n**2 - 5*n + 5. Let o be y(5). Suppose -o*a - 65 + 830 = r. Is a a multiple of 34?
False
Let i(b) = -3*b + 2. Let f = 5 + -11. Let l be i(f). Let j = -2 + l. Does 18 divide j?
True
Suppose -d = 3*d. Suppose d*m + 5*m = 315. Is m a multiple of 18?
False
Let g be (-3 - 2)*-2*3. Let x = g + 5. Does 8 divide x?
False
Suppose 12*w = 17*w - 15. Suppose w*u = 73 + 551. Let o = u + -121. Is 22 a factor of o?
False
Let o(q) = 7*q**3 - q**2 + 5*q - 5. Let z(f) = 6*f**3 + 4*f - 4. Let v(b) = -5*o(b) + 6*z(b). Let g be v(-5). Suppose 160 = g*d - 146. Is d a multiple of 17?
True
Is (4 - 1 - 12) + 170 a multiple of 3?
False
Suppose 5*t - 327 = -2. Is t a multiple of 7?
False
Suppose 0 = 7*p - 10*p. Suppose -4 + p = -2*d. Suppose y = d*w - 19 - 26, -y + 35 = 2*w. Does 10 divide w?
True
Let s(c) = -c**2 + 11*c + 44. Let k be s(14). Is 25 a factor of ((-835)/10)/((-1)/k) - 1?
False
Suppose -7685 - 91 = -12*h. Does 14 divide h?
False
Let g(y) = 54*y**3 + 3*y**2 - 2*y - 2. Does 73 divide g(2)?
True
Let b = -9 - -9. Let a(k) = k - 2. Let y be a(7). Suppose y*h + 2 = q, 4*h + h - 20 = b. Is q a multiple of 11?
True
Suppose 2*f + 2304 = 5*v, 1570 + 755 = 5*v + 5*f. Does 21 divide v?
True
Suppose 7*d - 271 = 422. Does 3 divide d?
True
Does 38 divide (-5)/3 + 366652/132?
False
Let b = 35 + -33. Suppose b*o - 5*n - 235 = 0, 5*o - 5*n + 0*n - 595 = 0. Is 40 a factor of o?
True
Suppose 5*q = a + 166, -4*a - 2*q = 453 + 299. Let j = a - -305. Is 17 a factor of j?
True
Suppose 1539 = 8*p - 701. Does 15 divide p?
False
Let p = 16 - 13. Suppose p*a + 3 = 12. Suppose 137 = a*w + i - 3*i, -102 = -2*w - 4*i. Is w a multiple of 7?
False
Let x = -7462 - -11391. Does 64 divide x?
False
Let v be ((-11)/(-22))/((-1)/(-6)). Let g(k) = k + 8*k**2 - 9*k**2 - v*k + 30. Is 10 a factor of g(0)?
True
Let f = -1 - -27. Suppose 3*c = -f + 14. Let n = 43 + c. Does 13 divide n?
True
Let l be (-7)/14 + 13/2. Suppose -l*b + 1165 = -b. Suppose -7 = -4*v + b. Does 12 divide v?
True
Let y be 0 - 0/((-28)/(-7)). Let r = -11 + 18. Let j = r + y. Is 5 a factor of j?
False
Let l = 682 + 464. Is 14 a factor of l?
False
Is 14 a factor of 6 + -1 - (-2344)/(-2 + 6)?
False
Suppose 232 + 190 = 3*w + 2*f, 0 = 3*w - 2*f - 442. Is w a multiple of 6?
True
Suppose -3*b - 1 = -10. Does 19 divide (b/(-6))/((-3)/456)?
True
Let w = -659 + 1240. Is w a multiple of 5?
False
Does 53 divide ((2 - 2) + -2)/(83/(-70384))?
True
Suppose -41*p + 191 + 629 = 0. Is 5 a factor of p?
True
Let q = -10 - -10. Suppose -18 = -q*w + w. Let c = 25 + w. Does 2 divide c?
False
Let a(u) = -u**3 + 6*u**2 + 7*u. Let y be a(7). Suppose -114 = -2*x + 3*i, y = -0*x + x - 4*i - 57. Let r = x + -39. Is 6 a factor of r?
True
Suppose 274 = 3*r + 3*m - 104, -5*m = -5*r + 650. Suppose 0 = 5*u - r - 107. Is u a multiple of 29?
False
Let x be 184/32 + (-6)/8. Suppose -x*s - 1 = -951. Does 13 divide s?
False
Let g(l) = l**2 - 13*l - 34. Let p be g(17). Suppose 0 = 3*m - 5*m + p. Is m a multiple of 15?
False
Let n(u) = 3*u**2 + 1. Let g(x) = -x**2 - 10*x + 3. Let q be g(-10). Is 7 a factor of n(q)?
True
Is 34 a factor of (-525)/(-6) - (-19)/(-38)?
False
Suppose -10 = 6*y - 40. Let v = -13 + y. Let m(a) = a**3 + 10*a**2 + 7*a - 3. Is m(v) a multiple of 18?
False
Suppose 53 = 2*c + 47. Does 14 divide ((-35)/c)/(98/(-24) - -4)?
True
Let t(y) = 233*y**3 - y**2 - 2*y - 2. Let i be t(-1). Let u = 488 + i. Does 6 divide (-4)/18 + u/9?
False
Let f = 367 - 290. Is f a multiple of 7?
True
Suppose 5*t - 2344 = 9106. Suppose -2 = g, 2*y + 96 = -3*g - t. Is (-1)/(-4) - y/40