 5 divide d(7)?
True
Suppose 0*d = 4*d - 80. Suppose -6*a = -a - d. Is a a multiple of 4?
True
Let a = -69 - 403. Let t = a - -705. Does 28 divide t?
False
Let o(y) = -y**3 + 4. Let x be o(0). Let f = 6 - x. Suppose f*h = -h + 81. Does 9 divide h?
True
Suppose -2*h = -10, 2*b = 2*h + 10 - 68. Let q = -22 - b. Suppose 3*y - z - 13 = 2*y, 0 = -q*y - 5*z + 47. Is 8 a factor of y?
True
Let s = -15 + -42. Is 18 a factor of 66/(-22) + s/(-1)?
True
Let h(p) = p**3 + 5*p**2 - 4*p + 20. Is 6 a factor of h(4)?
False
Let j be 1/(-2)*(-2 + 2). Let r be j + 0 + (9 - 3). Suppose -2*q + 38 = -t + 5*t, t + 4*q = r. Is t a multiple of 5?
True
Let x(y) = 66*y**2 + 3*y. Let j be x(-2). Suppose j = 4*a - b, 2*a + 4*b - 159 = -39. Suppose 4 - a = -5*i. Is i a multiple of 4?
True
Let m = -3 - 4. Let p = 6 + 4. Let o = p + m. Is 2 a factor of o?
False
Let v(w) = 4*w**2 + 9*w + 7. Let c be v(-8). Suppose 72 = -t + c. Is 6 a factor of t?
False
Let g(c) be the third derivative of 5*c**2 - 5/24*c**4 + 3/2*c**3 + 1/120*c**6 - 7/60*c**5 + 0*c + 0. Is g(8) a multiple of 11?
True
Is ((-252)/(-30))/((-5)/(-150)) a multiple of 36?
True
Let a(l) = l**2 + 14*l + 9. Let x be a(-14). Is 241/x + 8/36 a multiple of 8?
False
Let o = 10 - 9. Let a = o + -2. Is 13 a factor of ((1 - 39) + a)*-1?
True
Let x be 4/(-14) - (-3 + 32/(-14)). Suppose 0 = x*l - 0*d - 2*d - 352, 3*l + 5*d = 236. Does 36 divide l?
True
Let g(p) = -p**3 - 4*p**2 - 15. Let u be g(-4). Let v(o) = -10*o + 45. Is v(u) a multiple of 39?
True
Let i(n) = 2*n + 2. Let u be i(0). Suppose -4*q + 39 = u*y + q, 2*y = 2*q + 46. Let x = y - 19. Is x even?
False
Suppose 6*g + 0*g = 1236. Is 30 a factor of g?
False
Is (165/(-110))/((-2)/1392) a multiple of 18?
True
Suppose -j - 2*m = -13 + 10, -4*j - 5*m = -18. Suppose j*t - 4*t = 186. Is 13 a factor of t?
False
Let i(v) = -2*v - 52. Let j be i(-7). Let w = j + 123. Is w a multiple of 17?
True
Is 32468/22 - (-10 - 1080/(-110)) a multiple of 30?
False
Suppose 11802 = 10*i - 6198. Is 25 a factor of i?
True
Let s = 8 + -5. Suppose 5 = s*x + 14. Is 4 a factor of -2*(-10 - 12/x)?
True
Let b(k) = -482*k + 11. Let c be b(-2). Suppose 7*r = 12*r - c. Does 24 divide r?
False
Let c = 2989 + -250. Is 83 a factor of c?
True
Let i(m) = -14*m - 19. Does 10 divide i(-6)?
False
Suppose -2*g + 296 = -0*g - 4*n, -5*g + 4*n + 710 = 0. Is g a multiple of 17?
False
Let x be -2*((-13)/(-2) + -4). Let w(p) = p**3 + 7*p**2 + 7*p + 7. Does 22 divide w(x)?
True
Let v(z) = z - 1. Let c(l) = l**2 + 2*l + 18. Let i(d) = c(d) + 4*v(d). Let a be (-2)/(0 + 1/4). Is i(a) a multiple of 11?
False
Let h be (-1 + (-3 - -3))*5. Let k(f) = 3*f**3 + 4*f**2 + 4*f - 1. Let g(p) = 10*p**3 + 11*p**2 + 12*p - 3. Let r(b) = -2*g(b) + 7*k(b). Is r(h) even?
True
Let i(n) = -5*n + 19. Let c be i(9). Let f = c - -107. Suppose -3*x = 4*b - 4*x - f, -2*x + 48 = 2*b. Does 21 divide b?
True
Let k = -35 + 33. Does 12 divide 53/1 + k + 5?
False
Let v(m) = m**2 + 2*m - 8. Let z be v(-4). Suppose z = -2*w + 8 + 10. Is 9 a factor of w?
True
Suppose 4*g - 8 = 0, r + 11*g - 247 = 8*g. Is 12 a factor of r?
False
Suppose 0 = 6*n - 1012 - 6548. Is n a multiple of 28?
True
Suppose 5*b - 3 = 3*x - 13, 2*x = -b - 2. Suppose x = y - 3*y - 60. Is 2 a factor of ((-165)/y)/(1/2)?
False
Suppose 5*f = 5*g - 360, 3*g + 3*f - 216 = -0*f. Is g a multiple of 8?
True
Let a(h) = -h**3 - 4*h**2 - 8*h + 8. Does 14 divide a(-5)?
False
Let b = 21 - 7. Suppose 19*i - b*i = 175. Is 7 a factor of i?
True
Let r = 22 + 26. Let w = 117 - r. Suppose -4*p + w = 1. Does 17 divide p?
True
Let f(t) = t**2 + 7*t + 3. Let k be f(-7). Let h(m) = -m. Let l be h(-3). Suppose 3 - 86 = -2*n - u, k*n - 129 = -l*u. Is 20 a factor of n?
True
Let i be 586/8 + 2 + (-20)/16. Let m = i + -53. Is 9 a factor of m?
False
Let l(c) = -c**3 - 4*c**2 - 5*c - 3. Suppose 3*y = -2*z - 15, 0 = -5*z + z - 12. Let p be l(y). Does 22 divide 1 + (0/p - -50)?
False
Let x = 110 - 100. Suppose -x*c + 599 = -391. Is 11 a factor of c?
True
Suppose 0 = 12*x - 31*x + 30324. Does 38 divide x?
True
Let r = -1468 - -1557. Is r a multiple of 4?
False
Let l(o) = -o**3 + 7*o**2 - o + 5. Let t be l(6). Suppose 0 = -z + 44 + t. Is z a multiple of 11?
False
Let v(s) = 218*s**2 + 7*s + 37. Is v(4) a multiple of 17?
True
Let o be 3*((-2005)/(-15) - 1). Suppose 6*x - 52 = o. Does 25 divide x?
True
Let d(q) be the third derivative of q**6/120 - q**5/5 + 7*q**4/24 - 5*q**3 - 21*q**2. Is 27 a factor of d(12)?
True
Let u = 12 - 29. Let r = u + 19. Suppose -3*c = 2*x - 220, r*x + 9 - 1 = 0. Does 15 divide c?
False
Suppose -9*c + 52 = 4*c. Is 3 a factor of c?
False
Let f = 39 - 26. Let o(u) = u**2 - u + 8. Does 34 divide o(f)?
False
Let i(k) = 135*k + 3. Let p be i(3). Suppose 3*a = -4*u + 2*a + 550, 3*u = -3*a + p. Is 23 a factor of u?
True
Let m(x) = 7*x + 2. Suppose -5*p + 44 = 6*p. Is m(p) a multiple of 10?
True
Let q(o) = 2*o**2 - o + 7. Suppose 0 = -4*h - 10 + 34. Suppose -b + h - 13 = 0. Does 28 divide q(b)?
True
Suppose -5*g - 50 = -10. Let s = 89 + -63. Let k = s - g. Is 13 a factor of k?
False
Let z = 1 + 3. Suppose 2*n + w + z = 12, 2*n + 2*w = 8. Suppose -84 = -n*g + 4*x, -2*g + g + 5*x = -5. Is g a multiple of 12?
False
Let q(o) = o**3 + 9*o**2 - 8*o + 12. Let g be q(-7). Let x = g + -110. Does 21 divide x?
False
Suppose t + b - 21 = 0, -b - 39 = 8*t - 10*t. Is t a multiple of 8?
False
Suppose 4*h - k - 217 = 0, 5*h - 10*k = -6*k + 274. Is 2 a factor of h?
True
Let b be 18/3*1/3. Is 31 a factor of (b - 4)*(-93)/2?
True
Let w = -168 + 309. Is w a multiple of 8?
False
Let o(v) be the second derivative of -v**3/6 + 6*v**2 - 7*v. Let h be o(12). Suppose 2*q - 5*z = 18 + 55, h = 3*z + 15. Is 16 a factor of q?
False
Let k(y) = -y**3 - 22*y**2 - 76*y - 4. Is 34 a factor of k(-18)?
True
Let g be (-3)/(-3) - (14/(-2) + 4). Is (-8*46/g)/(3/(-6)) a multiple of 23?
True
Suppose 2*m - 84 = 3*d - 314, 2*d = -m + 151. Suppose 0*z + z - d = 0. Let s = -38 + z. Does 11 divide s?
False
Let p(y) = 2*y**2 - 15*y + 36. Is 8 a factor of p(4)?
True
Let u(t) = t - 3. Let h be u(-5). Let c(z) = -z**3 - 9*z**2 - 19*z + 2. Does 9 divide c(h)?
True
Suppose -k = 3*m - 18, 0*m + 3*m = 12. Suppose -400 = 4*c - k*c. Is 50 a factor of c?
True
Let d(t) = -1. Suppose 3*n - 9 = -0*n + 4*b, 0 = -2*n - 2*b - 8. Let c(h) = 3*h - 14. Let a(f) = n*c(f) + 2*d(f). Does 21 divide a(-10)?
True
Is 114 a factor of -3*(-4 - 22855/21)?
False
Suppose 8*s = 3*s - 3*p + 15, -2*s = -p + 5. Let c(a) be the second derivative of a**4/12 - a**3/6 + 15*a**2 - 4*a. Is c(s) a multiple of 10?
True
Suppose h + 2*h = 4*c + 269, 3*h - c - 281 = 0. Suppose -3*v = 2*v + h. Let y = 68 + v. Does 14 divide y?
False
Does 22 divide (448/(-96))/((-3)/774)?
False
Suppose -4*g + 35 = t, 7*t + 4*g - 143 = 2*t. Suppose 0 = 4*x + 3*b - 220, 0*x - 2*b - 148 = -3*x. Let i = x - t. Does 15 divide i?
False
Let a = -20 + 37. Suppose -9*j = -8*j - a. Is 6 a factor of j?
False
Suppose -4*j + j + 48 = 0. Let c be (-1)/(-2) + (-24)/j. Is 14 a factor of c/(3/(-69) + 0)?
False
Let d(t) be the third derivative of t**5/30 + t**4/24 - t**3/6 - 16*t**2. Suppose -4*c - 10 = c. Is d(c) a multiple of 2?
False
Let m(d) = -d**3 - d**2 + 4*d - 4. Suppose 0 = -2*f + 5*f + 15. Does 38 divide m(f)?
True
Suppose 4*c - 3 = -r - 7, r - 4*c = 12. Suppose 4*g + 0*n = 4*n - 352, -4*n = r*g + 384. Is 7 a factor of (-2 - -3)/((-4)/g)?
False
Suppose 12 = 2*o - 2*n + 36, -n = -2*o - 21. Is -1 - (o/18)/((-2)/(-436)) a multiple of 9?
True
Let d(q) = -q**3 + 9*q**2 - 4*q + 6. Let i(z) = z + 11. Let s be i(-3). Is d(s) a multiple of 14?
False
Suppose 0 = -2*m - 4*l - 12, m + 2*l - 90 = 6*m. Let i = -16 - m. Let p(t) = t + 8. Is 4 a factor of p(i)?
True
Let p(t) = t**3 - 2*t**2 + 11*t - 4. Let i be p(5). Suppose -3*c + i = 36. Does 15 divide c?
True
Let z = -601 - -873. Is z a multiple of 9?
False
Let m = 892 - 550. Let i be 2/(-9) + m/81. Suppose 0 = -3*g - i*f + 1 + 9, g - 5*f = 16. Does 4 divide g?
False
Let d be 490/(-25) - 2/5. Let n = 23 + d. Does 3 divide n?
True
Let j be ((0 - 0)/(-1 - 0))/(-2). Suppose -3*m = -0*m + 27. Let d = j - m. Is 5 a factor of d?
False
Let p = 666 + -380. Suppose -18*b = -5*b - p. Is 6 a factor of b?
False
Let i = 25 + -30. Let d(p) = -2*p**3 + 2*p**2 - 4. Let s be d(i). Suppose 0 = 4*w