?
False
Suppose -m = m - 8. Let i be ((-18)/(-12))/(3/342). Suppose c = m*c - i. Is c a multiple of 12?
False
Let a = 227 - -95. Does 46 divide a?
True
Is 4 a factor of (-102)/4*-5*(-16)/(-12)?
False
Suppose -6 = 3*k, 2*k + 33 = -2*r + 9. Let p = 27 + r. Does 11 divide p?
False
Let m(b) = -80*b + 5. Let r be m(-6). Let h = r - 314. Let u = -115 + h. Is 16 a factor of u?
False
Let n(k) be the first derivative of 3*k**2 + 6. Is n(5) a multiple of 15?
True
Suppose -4*s = -663 - 397. Let x = 383 - s. Is x a multiple of 13?
False
Suppose 12*a + 324 = 2220. Suppose 118 = 3*h - a. Is 46 a factor of h?
True
Suppose -2*k + 5*r - 104 = 0, 0 = -6*r + 3*r - 6. Let x = 67 + k. Is 2 a factor of x?
True
Suppose 31 + 11 = 4*q - 2*u, 3*q - 49 = 5*u. Is 5 a factor of ((-12)/q)/((-15)/100)?
True
Suppose -289 + 67 = -3*n. Let r = n - 58. Does 16 divide r?
True
Let q = 24 + -24. Suppose 5*t - 8*t + 228 = q. Does 19 divide t?
True
Let q = 349 - -502. Is q a multiple of 26?
False
Does 11 divide (1036/42)/(6/99)?
True
Let g(d) = 12*d**2 - d**3 + 18*d + 0*d + 6*d + 5 + 10*d**2. Is 28 a factor of g(23)?
True
Let b(g) = -6*g**2 - 3*g - 10. Let h(o) = -5*o**2 - 2*o - 10. Let k(q) = 3*b(q) - 4*h(q). Is k(-5) a multiple of 13?
True
Let g(t) = 31*t**2 - 9*t - 6. Let w be g(-6). Suppose 3*h + w = 5*y, 5*y + 0*y - 1160 = 5*h. Is y a multiple of 16?
False
Suppose 42*d - 46*d + 396 = 0. Is d a multiple of 11?
True
Suppose -5*g - 10 = 0, 4*n + 15 + 1 = -2*g. Is (49/(-35) + (-4)/(-10))*n even?
False
Is 17 a factor of ((-1)/3 + 1)*(3235 - -47)?
False
Suppose -17 = -3*c - 38. Let a(n) = 2*n**2 - 2*n - 16. Is a(c) a multiple of 6?
True
Let p be ((-9 + 1)/(-1))/2. Suppose 3*a = -p*a - 98. Does 17 divide 6/(-21) - 242/a?
True
Let t(p) = -47*p + 8. Let n be t(6). Let m = 458 + n. Suppose -4*l - 5*g = -m, l - g - 46 = 4*g. Is l a multiple of 23?
True
Suppose 0 = -o - 2*o + 4*l - 116, 3*o - 3*l + 117 = 0. Does 4 divide o/(1 - (4 - 2))?
True
Let m(g) = g**2 + 7*g - 2. Let v be m(-7). Let w = 4 + v. Suppose d = 3, -3*l - w*l = -2*d - 89. Is l a multiple of 14?
False
Let c(r) = 2*r**2 + 5*r + 3. Let a be 0/(-2 + 3 + -3). Suppose a = -0*m + 2*m + 8, -3*x + m = 14. Is 15 a factor of c(x)?
True
Let f(j) = 53*j - 2. Let p be f(4). Suppose -5*g - 15 = 0, 0 = -2*o + 3*g + 105 + p. Let a = o + -88. Does 13 divide a?
True
Let k be 3 + (-1)/(-1) + 0. Suppose 70 = 5*u + 5*l, 3*u = -u + k*l + 72. Is 16 a factor of u?
True
Let n = 18 - 15. Suppose m - 74 = i, 2*m = -n*i + i + 156. Does 19 divide m?
True
Suppose 172 = 4*f - 5*n, 129 = 4*f + n - 19. Is f a multiple of 19?
True
Let z(b) = b**2 - 33*b - 19. Does 57 divide z(-19)?
True
Let m(v) be the third derivative of -29/12*v**4 + 0 - 5*v**2 + 1/6*v**3 + 0*v. Does 10 divide m(-1)?
False
Suppose 4*x + 5 = -x. Let a be (-37 + x + 1)*-3. Suppose 0 = -4*w + 4*q + 396, 2*w + a = 3*w + 5*q. Does 26 divide w?
False
Suppose 9*z = -3*z + 1872. Suppose -360 = -4*y + z. Is 15 a factor of y?
False
Suppose -4 = -d + 1. Suppose 2*s - 5*r + 15 = 0, 40 = -s + 4*s + d*r. Suppose s*q + 11 - 266 = 0. Is 25 a factor of q?
False
Let q(z) be the third derivative of -z**6/120 - 11*z**5/30 - 11*z**4/12 + z**3 + 7*z**2. Does 6 divide q(-21)?
False
Let g = 1065 - 585. Does 8 divide g?
True
Let l = -869 - -1163. Does 14 divide l?
True
Suppose 0 = 5*t - 20384 + 2324. Is t a multiple of 129?
True
Suppose -5*y - 40 = -2*h, -8 = -3*h - 4*y + 6. Let o be (4/(-10))/(h/(-2400)). Suppose -6*f + o = -2*f. Does 24 divide f?
True
Let s = 2983 + 689. Is 17 a factor of s?
True
Let q be 0/(-2) - (-62 - 0/(-3)). Suppose -5*w = -333 - q. Is w a multiple of 6?
False
Let j = -18 + 23. Suppose 3*r + 15 = 2*t - 0, j*r = t - 25. Suppose 5*w - 2 - 23 = t. Is w a multiple of 2?
False
Let n(b) = -22*b - 18. Is n(-11) a multiple of 16?
True
Suppose 5 + 5 = 2*y. Suppose 2*o = 6*o + 5*n, 0 = y*n. Suppose o = -0*i - 4*i + 44. Does 11 divide i?
True
Let s = 1141 + -277. Is s a multiple of 32?
True
Let j(k) = 254*k**2 - 17*k + 2. Is 15 a factor of j(2)?
False
Let x = -597 + 845. Is 31 a factor of x?
True
Suppose 2408 = -4*f - 0*f. Let h be (f/(-14))/(2/4). Suppose -2*y + h = w, -w + 123 = -4*y + 307. Is 12 a factor of y?
False
Suppose -425 = -5*h + 4*g, -4*h + 3*g - 4*g + 361 = 0. Is 13 a factor of h?
False
Suppose 0 = -5*z + 4*t - 0*t + 3386, 0 = -4*z + 3*t + 2709. Does 45 divide z?
False
Let q(j) = j**3 + 6*j**2 - 2*j - 5. Let y(n) = 5*n - 1. Let i be y(-1). Is 2 a factor of q(i)?
False
Let h(m) be the second derivative of m**4/12 + 4*m**3/3 - 6*m**2 - 3*m. Is h(-12) a multiple of 18?
True
Suppose 0 = -3*z + 5*s - 25, 3*z = z + 3*s - 18. Let o be z/45 + 206/6. Suppose -86 = -6*a + o. Does 5 divide a?
True
Suppose -3*y - 4*r - 4 = 0, -3 = y + 3*r - 0. Suppose y = 4*f - 2*f + 134. Let q = f - -95. Does 7 divide q?
True
Suppose 10*x + 33 = -5*k + 12*x, 5*k + 3*x + 38 = 0. Let s(h) = -44*h - 36. Does 34 divide s(k)?
True
Let j(g) = -26*g - 9. Is j(-2) a multiple of 12?
False
Suppose -m + 9 = -3*k + 2*k, -k - 1 = m. Suppose w = -3*v + 17, 0*w + m*w - 8 = -2*v. Suppose -14 = -8*f + v*f. Does 3 divide f?
False
Suppose -5 = -2*h - 1. Suppose -h*g + g = -4. Suppose -3*b = -5*k - 103, 0 = g*b - b - 4*k - 98. Is b a multiple of 11?
False
Let i(o) = -o - 8. Let h be i(-8). Suppose 3*d = 0, -a + 5*d + 20 = -h*d. Suppose y + 50 - 136 = 2*r, -4*r + a = 0. Does 24 divide y?
True
Suppose -9*i = -4*i + 5*k + 50, -3*i + 4*k = 9. Let v(w) = 7*w - w**3 - 5 - 2 - 5*w**2 + 0. Is v(i) a multiple of 11?
False
Let n(j) = -13*j - 2. Let q be n(-2). Suppose -9*l = -7*l - q. Is l a multiple of 6?
True
Let g be 329/(-21) + 4/6 - -3. Is 2 a factor of (-1 + -3)/8*g?
True
Let f(z) = 38*z**2 - 84*z - 8. Is 33 a factor of f(4)?
True
Suppose -4*g + 1267 = -3*t, 18*g - 2*t = 16*g + 636. Is 3 a factor of g?
False
Let d(c) = 3*c**3 - 23*c**2 + 9*c + 9. Is 46 a factor of d(11)?
False
Let k = 8 + -9. Let x be (-1 + -1)*(2 + k). Let q = 0 - x. Is q even?
True
Let z be 123 - 1 - (10 - 14). Let a = z - 86. Is 7 a factor of a?
False
Let t be -2*(-1)/(-3)*-6. Suppose -t*c - 4*x = -412, -122 - 6 = -c + 4*x. Does 18 divide c?
True
Let y = 1122 - 513. Is y a multiple of 21?
True
Let r = -89 + 71. Let j = r - -67. Is 13 a factor of j?
False
Suppose -15 = -4*j - j. Suppose -2*p - 12 = -j*k - 1, -4*k - 2*p = -24. Suppose 2*o - 4*r - 18 = 0, -k*r + 19 = 4. Is 5 a factor of o?
True
Is 18 a factor of (-3 - 0 - (-39288)/36)*3?
False
Suppose 2 = 2*j, 5*l + 4*j - 12 = 2. Let d(y) = -y**3 - 5 + 14 - 2*y**2 - 5*y**l. Does 2 divide d(-7)?
False
Let j be (-6)/(-4)*((-15)/9 + 5). Let n(m) = 4*m**2 + 14*m + 12. Is 25 a factor of n(j)?
False
Let y be (0 + -4)/1 - -157. Let u = -208 + 103. Let f = y + u. Is f a multiple of 13?
False
Let s(o) = 10*o + 4. Let t be s(-4). Let q = -28 - t. Let k = q - 5. Is k even?
False
Let v(y) = 2*y**2 + 10*y + 6. Let t(g) be the third derivative of -g**5/60 + g**4/6 - g**3/6 - 5*g**2. Let r be t(5). Is v(r) a multiple of 18?
True
Let k = -66 - -82. Suppose 0 = 2*h + m - 8, 2 = 2*h - 4*m + 4. Suppose -2*b + 4*g + k = -g, -h*g = b - 8. Does 8 divide b?
True
Let b = 176 + -358. Let r(a) = 5*a**2 + 9*a + 5. Let o be r(7). Let i = o + b. Is 41 a factor of i?
False
Is 54 a factor of (-695 - (-1 + -1))*216/(-63)?
True
Let l(o) = -o - 3. Let p be l(0). Let i be (17/(-5) - p)*-85. Let m = 48 - i. Is 14 a factor of m?
True
Let s(u) = 2*u**3 - 3*u**2 - 20*u + 54. Is s(11) a multiple of 139?
False
Let j be 21/(2 - ((-74)/(-20) + -2)). Let u = 174 - j. Is 13 a factor of u?
True
Let s = 10 + 4. Let m = 15 - s. Is 7 a factor of (m + -2)/((-4)/84)?
True
Let q(z) = -2*z**2 - 17*z - 3. Let x be q(-7). Does 9 divide 158/x + 18/81?
True
Let d(j) = 55*j - 118. Is 29 a factor of d(9)?
True
Let h(n) = 26*n - 1 + 31*n - 81*n + 31*n. Let g(k) = -k**3 + 5*k**2 - 3*k - 3. Let s be g(4). Is 2 a factor of h(s)?
True
Is 7/1 + (23 - 28) + 23 a multiple of 4?
False
Let u(h) = -20*h + 568. Does 16 divide u(10)?
True
Let g be ((-12)/(-8))/(2/4). Suppose -148 = -2*i - 5*x, 4*x + 268 = g*i - 0*i. Suppose 0 = 3*s - 2*p - i, s + s - 56 = -4*p. Is s a multiple of 11?
False
Let z(m) = -2*m - 17. Let d be z(-8). Let v be (16/40)/(d/(-125)). Suppose 4*t + v = 9*t. Is 10 a factor of t?
True
Let i(o) = -o - 4. Let j(w) = -3*w - 12. Let s(c) = -17*i(c) + 6*j(c). Let q be s(-6).