ltiple of 15?
True
Suppose 8*a + 232 = 4*a. Is 12 a factor of a/(-2) - (7 - 4)?
False
Let v be (-2)/(-3*(-6)/9). Let x be 1/((-4)/(-32)) + v. Let y(a) = a**3 - 5*a**2 - 4*a + 9. Does 24 divide y(x)?
False
Let c(t) = 2*t**2 + 71*t + 1465. Is 19 a factor of c(-27)?
False
Let c(p) = p**2 + p - 5. Let t(v) = 2*v**2 + 2*v - 9. Let o(m) = -7*c(m) + 4*t(m). Suppose 15 = -10*q + 5*q. Does 2 divide o(q)?
False
Let t = 2084 + -1476. Is 76 a factor of t?
True
Let w = 1400 - -3802. Suppose -17*o - o = -w. Does 51 divide o?
False
Let x(f) = 5*f - 3. Let w be x(1). Suppose -t + w = 4. Does 5 divide 36/1*t/(-4)?
False
Suppose -3*t + 55 = b, -3*b = -4*t - 4*b + 74. Let q be 4 - (0 - (0 - 0)). Suppose -q*s + 81 = -t. Is s a multiple of 19?
False
Suppose -3*r = 2*r - 460. Let o = r - 52. Does 4 divide o?
True
Suppose 5*k - 4716 = 11099. Does 37 divide k?
False
Is (180 + -194)*(358/(-14) + -1) a multiple of 6?
True
Let t(h) = 45*h**2 + 35*h + 138. Does 96 divide t(-9)?
False
Let o = 362 + 177. Is 20 a factor of o?
False
Suppose 64090 = -32*z + 61*z. Does 10 divide z?
True
Let p(q) = -2*q**3 - 8*q**2 - 5*q - 6. Suppose -4*a - 8 = u + 3*u, -5*u + 30 = -3*a. Let g be p(a). Suppose -5*k + g = -11. Is k a multiple of 13?
False
Let q = -9 - -13. Suppose -i + 375 = q*i + 4*n, 150 = 2*i + 2*n. Is 15 a factor of i?
True
Let k(z) = z**2 + 7*z - 73. Is 23 a factor of k(11)?
False
Suppose -3*k = -6*k + 69. Let i = k - -13. Let m = i - 4. Is 8 a factor of m?
True
Let v(g) = 6*g + 10. Let k(s) = 18*s + 30. Let w(z) = -3*k(z) + 8*v(z). Is w(-4) a multiple of 3?
False
Let g = 3406 - 3152. Is 12 a factor of g?
False
Suppose 3 = 2*c + 7, -2*x + 3284 = -4*c. Is 63 a factor of x?
True
Suppose -132 = -14*g + 8*g. Suppose h = -4 + g. Does 6 divide h?
True
Let w be 4/(-10) - 136/(-40). Suppose 0 = j - n - 4*n, -j + 2 = -w*n. Suppose o - 132 - 263 = -j*a, -4*a + 292 = -4*o. Is a a multiple of 14?
False
Let y = -380 - -665. Does 15 divide y?
True
Suppose 1007 = -3*x + 251. Let z = -153 - x. Is 22 a factor of z?
False
Let n = -121 + 175. Is 54 a factor of n?
True
Let j(m) = m + 22. Suppose 0 = -21*p + 10*p + 33. Is 25 a factor of j(p)?
True
Let h(q) = q**3 + 7*q**2 + 20*q + 113. Let a be h(-6). Let x be (-2)/(-4) - 47/2. Let k = a + x. Does 3 divide k?
True
Let h(l) = -l**2 - 4*l + 3. Let t be h(7). Let f = t + 41. Is (-176)/f + 2/3 a multiple of 3?
True
Let t(a) be the first derivative of -a**4/4 + 7*a**3/3 + 3*a**2/2 - 9*a - 7. Let i be t(7). Let c(u) = 3*u. Does 12 divide c(i)?
True
Let l(a) = 2*a**2 - 60*a - 113. Is l(33) a multiple of 5?
True
Let n = 1492 - 980. Suppose 21*k = 17*k + n. Is k a multiple of 16?
True
Let j(x) = -40*x - 9. Is j(-9) a multiple of 27?
True
Let k(c) = 13 - c - 4 - 6 - 24*c. Is k(-1) a multiple of 6?
False
Suppose -31*k = -14*k - 3400. Is 3 a factor of k?
False
Let k(i) = i**2 + 53*i - 28. Is 89 a factor of k(6)?
False
Does 13 divide 3 + -2 - -137 - 0?
False
Is (837/6)/((-5)/(-10)) a multiple of 12?
False
Let p = 435 + -304. Is 16 a factor of p?
False
Suppose 6*w = -0*w + 30. Let l be -53 - ((-5)/w - 2). Let t = l - -92. Does 21 divide t?
True
Let u = -17 - -19. Suppose 3*h = u*h + 204. Suppose -4*d + h = -0*d. Is 9 a factor of d?
False
Suppose -2*k = -5*r + 16 + 3, -r = -3. Let p = 45 - k. Is p a multiple of 8?
False
Let l = 1585 - 815. Is l even?
True
Let a(z) = -z**3 + 23*z**2 + 32*z + 3. Is 65 a factor of a(24)?
True
Suppose 196*i = 195*i + 62. Is i a multiple of 26?
False
Let l(b) = 2*b**2 + 27*b - 8. Let n(x) = x**2 + 14*x - 4. Let t(r) = -6*l(r) + 11*n(r). Let h be t(-9). Let p(k) = -3*k + 7. Does 11 divide p(h)?
True
Is ((-6)/10)/(26710/(-4450) - -6) a multiple of 61?
False
Suppose -40*m + 20*m = -5460. Is m a multiple of 21?
True
Let j be (-3)/((-9)/(-4))*3. Let h = j + 11. Suppose -h*l + 3*l + 42 = 2*s, 0 = -l. Does 8 divide s?
False
Suppose 0 = 7*a - 4*a. Suppose a = -4*t - 2 + 50. Is 8 a factor of t?
False
Let s(q) be the third derivative of q**8/10080 + q**6/60 + 2*q**5/15 - 4*q**2. Let r(i) be the third derivative of s(i). Is r(6) a multiple of 12?
True
Let f = -946 + 3674. Is f a multiple of 62?
True
Suppose 2*r + 287 = -51. Let x be r/9 + (-12)/54. Let c = x + 25. Is c a multiple of 2?
True
Is 2*(8 - 868/(-8)) a multiple of 75?
False
Suppose -k - 3*o - 12 = -o, -65 = 5*k + 5*o. Does 12 divide (-1771)/k + -5 + (-2)/4?
False
Suppose 5*l - 14 - 11 = 0. Suppose -l*i + 257 + 183 = 0. Suppose -7*m - i = -11*m. Is 11 a factor of m?
True
Does 8 divide (1/(-7) + (-8718)/126)*-6?
True
Let m = 3150 - 1599. Does 47 divide m?
True
Suppose 16*f - 22866 = -1586. Does 10 divide f?
True
Suppose 52 - 12 = 8*z. Suppose 3*x - 63 = -w, z*x + 0*x - w - 105 = 0. Suppose -6*l = -x - 63. Is l a multiple of 14?
True
Suppose -142 - 130 = -2*u. Is 13 a factor of u?
False
Suppose 2*g = 5*g + 36. Let t = 100 + g. Is t a multiple of 22?
True
Is (-7)/(-14)*(-6)/9*-186 a multiple of 31?
True
Let m(u) = 2*u**3 - u**2 - 3*u - 2. Let p be m(-2). Let j = -14 - p. Suppose r = -j*r + 279. Does 25 divide r?
False
Let t = -28 - -33. Suppose -2*f = -4*f, -t*n + 10 = 4*f. Is 1 + 1/n*28 a multiple of 15?
True
Suppose 0 = 2*a - x - 91, 0*x + 224 = 5*a + x. Let s = -85 + a. Let b = s + 168. Does 33 divide b?
False
Let k = 433 + -202. Let v = k + -157. Does 16 divide v?
False
Suppose -2*s - w + 1 = -14, 17 = 2*s + 3*w. Let y(z) = -5*z + 5*z - s - 6*z - z**2. Is y(-3) even?
True
Let x(q) = -q**3 + 7*q**2 - 2*q + 1. Let p = 5 + -13. Let o be ((-18)/p)/((-12)/(-32)). Is 5 a factor of x(o)?
True
Let u be (-2)/12 - (-1443)/18. Suppose -2*g + g + u = 0. Let t = -35 + g. Is 11 a factor of t?
False
Let z = 8 + -10. Let t be -1 + (-44)/z - 3. Let w = -3 + t. Does 11 divide w?
False
Let u(x) = 2*x**2 - 30*x + 180. Is 24 a factor of u(9)?
True
Let v = 366 - 157. Is v a multiple of 11?
True
Let w = 64 + -65. Is 13 a factor of (-516)/(-8) - w/2?
True
Suppose 6*m = -7*m + 3380. Does 65 divide m?
True
Suppose 210 = s - 3*a, -s + 5*a - 96 + 298 = 0. Does 7 divide s?
False
Let m(x) = -4*x - 35. Let y be m(-10). Suppose -304 = -2*k + o, -596 = -y*k + k - o. Does 30 divide k?
True
Suppose 1224 = 9*u - 1017. Does 6 divide u?
False
Let h(a) be the third derivative of -a**5/60 - 11*a**4/12 - 6*a**3 - 12*a**2. Is 15 a factor of h(-16)?
True
Suppose -4*r + 2*j = -210, 0 = 2*r + 2*r - 4*j - 220. Let w = 30 + r. Is 11 a factor of w?
False
Suppose 5*q + 900 = -7*q. Let k = q + 187. Does 14 divide k?
True
Let l be (-442)/6 + (-2)/6. Let n be (-20)/(-5)*(-1 - (-107)/4). Let o = l + n. Is 8 a factor of o?
False
Suppose -4*l + 2*p + 10 = 0, l + 6 = -p + 1. Suppose -17*i + 13*i + 240 = l. Is i a multiple of 20?
True
Suppose -4*a + 9*a = -45. Suppose -127 = 5*m + 3. Let z = a - m. Is z a multiple of 17?
True
Suppose 17*w = 19*w + 4. Let o be ((-203)/(-14))/(w/(-4)). Let d = 52 - o. Is 19 a factor of d?
False
Let x(m) = m**2 + 2*m - 5. Let o be x(-4). Suppose 4*y - 49 = 3*s, -2*s - y + 16 = -3*s. Is 52/o - 10/s a multiple of 6?
True
Let x(m) = -m**2 + 30*m + 19. Let k(w) = 3*w + 9. Let l be k(4). Does 13 divide x(l)?
True
Let b(q) = q**3 + 14*q**2 + 14*q + 17. Let w be b(-13). Suppose 4*y = 2*d - 67 - 275, -y = w. Let t = d + -72. Is t a multiple of 14?
False
Suppose 13*y = 10*y + 9. Suppose y*r = 383 + 193. Suppose -2*b = 2*b - r. Is b a multiple of 16?
True
Suppose -4*s + 4*m - 4 = -40, 0 = 3*s + 5*m - 59. Let t = s - 14. Does 11 divide t/5 + 392/35?
True
Let n = 444 + 395. Does 26 divide n?
False
Let b(i) = 11*i - 33. Let k(g) = -10*g + 34. Let w(c) = 5*b(c) + 6*k(c). Is w(-7) a multiple of 7?
False
Suppose 0*l - l = 103. Let t = 176 + l. Is t a multiple of 17?
False
Suppose -5*k = 4*y - 2, -32 = -4*y + 5*k - 10. Suppose -4*t + y = x, 5*x + t = 6*t + 15. Suppose -2*u = 8, 4*n + n + x*u = 23. Is n a multiple of 4?
False
Let m = -196 + 283. Let w(l) = 2*l**2 + 20*l - 2. Let p be w(-6). Let b = m + p. Is b a multiple of 10?
False
Let t(d) = 2*d**2 - 3*d - 49. Is t(-5) a multiple of 4?
True
Let i(r) = 2*r - 1. Suppose 5*y - 42 = 2*y - 3*u, -y = -u - 8. Is i(y) a multiple of 7?
True
Suppose -247*h + 246*h = -16. Is h a multiple of 3?
False
Let s(f) = 0*f**2 + 0*f**2 - 5*f + f**3 - f + 6. Suppose 26 - 6 = 5*n. Does 25 divide s(n)?
False
Let t be 594/(-4)*(-12)/2. Suppose -723 = -4*g - b, -3*g + 8*g - t = 3*b. Does 36 d