t s be h(2). Is 18 a factor of j*(-10)/15*s?
False
Let k(a) be the second derivative of 29*a**3/3 - 23*a**2 + 2*a + 13. Is k(7) a multiple of 40?
True
Suppose -20*t + v + 1368 = -19*t, v - 6828 = -5*t. Is t a multiple of 10?
False
Let p(v) = v**3 + 7*v**2 + v + 1. Suppose 3*a + 2*g - 6 = 18, 0 = 3*a + 4*g - 30. Suppose -5*y - a = -4*y. Is 16 a factor of p(y)?
False
Suppose -26*k = -27*k + 5. Is 10 a factor of 0 + 252/k - 6/15?
True
Suppose -5*f + 43 - 58 = 0, -4*h + 374 = -2*f. Is h a multiple of 11?
False
Suppose 18 = 3*m - 18. Is m/(-6)*114/(-4) a multiple of 19?
True
Let t(n) = -19*n + 140. Is t(-21) a multiple of 49?
True
Suppose 8*z = 6*z - 176. Let m = z + 168. Does 31 divide m?
False
Let c = -52 + 29. Let t = 19 + c. Is t/(-1) + (10 - 0) a multiple of 7?
True
Let z = -343 + 406. Does 7 divide z?
True
Let d(n) = n**3 - n**2 + n + 3. Let z be d(0). Suppose -z*k - 12 = -6*k. Suppose 0*b + 9 = 3*b, -r = -k*b - 10. Is 11 a factor of r?
True
Suppose -f = 6*f - 28. Suppose 0 = -5*z + f*o + 44, -z - o + 24 = 2*o. Does 5 divide z?
False
Suppose 4*c + 11 - 143 = 0. Suppose 0 = -3*a - 2*q + q - 14, -3*q - 12 = -a. Let i = c - a. Is i a multiple of 12?
True
Let g(m) = 37*m**2 + 16. Let l(t) = 185*t**2 + 79. Let o(a) = 11*g(a) - 2*l(a). Does 46 divide o(3)?
False
Suppose -a = -2950 + 2797. Does 17 divide a?
True
Let i(p) = 9*p**2 + 5*p + 2. Let f be i(-3). Let y = 98 - f. Is 5 a factor of y?
True
Let f(v) = -v + 10. Let m be f(5). Suppose 505 = m*o - 3*q - 2*q, 3*q + 495 = 5*o. Is 14 a factor of o?
False
Let g(z) = -2457*z + 54. Is g(-1) a multiple of 20?
False
Let o(p) = p**2 - 7*p + 6. Let a be o(8). Is (a/6)/(8/288) a multiple of 12?
True
Let u(x) = -x - 2. Suppose 7*g = 2*g + 15. Let o be -6 - 0/((-9)/g). Is 2 a factor of u(o)?
True
Suppose 2*r - 6*r = -4*p + 1368, -2*p = -4*r - 684. Is p a multiple of 38?
True
Suppose -f - s = 234, 3*s - 4*s = -2*f - 477. Is f/(-5) + 26/(-65) a multiple of 10?
False
Is (-1)/(6/(-4032)) + -1 a multiple of 22?
False
Suppose 4*q + 7*v - 213 = 2*v, 15 = -5*v. Let a = q + -36. Does 8 divide a?
False
Let s = -387 + 760. Is s a multiple of 18?
False
Let z = 5499 + -2859. Is z a multiple of 16?
True
Let q = 41 + -38. Suppose 3*f = 5*g + 29, q*f + g - 40 = 19. Is 16 a factor of f?
False
Suppose 21*k - 1491 = 1092. Is k a multiple of 2?
False
Let v(j) = -j - 7. Let a be v(-5). Let y be ((-3)/a)/(18/24). Suppose 30 = 2*u + y*l, -5*u = -4*l + 2*l - 110. Is 15 a factor of u?
False
Suppose 0 = -21*s + 1329 - 279. Does 13 divide s?
False
Let v be (6 - 4) + 1830/5. Let r = -263 + v. Is 18 a factor of r?
False
Let m = 55 + -52. Suppose m*w = 230 + 37. Is w a multiple of 9?
False
Suppose 5*y + 15 = -25. Does 24 divide (-3)/(-12) - 190/y?
True
Let d = 135 - 18. Let x = d + -71. Does 16 divide x?
False
Suppose 0 = 15*k - k - 18060. Does 43 divide k?
True
Let d(j) be the first derivative of j**4/4 - 7*j**3/3 + 3*j**2/2 - 18*j + 5. Does 34 divide d(8)?
False
Suppose 6*p + 372 = -144. Let m = p + 125. Does 13 divide m?
True
Suppose s - 19 = 2*u - 4*u, -3*u + 3*s + 42 = 0. Is u a multiple of 5?
False
Let u = -250 - -520. Does 30 divide u?
True
Let u(f) = -f**2 + 24*f - 34. Is 2 a factor of u(13)?
False
Let c(q) = -6*q - 8. Let a be c(9). Let n = a - -88. Let w = 48 - n. Is 22 a factor of w?
True
Let r(g) = -11*g**2 + 82*g + 10. Is r(6) a multiple of 28?
False
Let n be ((-38)/(-4))/(3/6)*-1. Is 12 a factor of (9/(-15) - 3)*(-1 + n)?
True
Let o(a) = a**3 + 26*a**2 + 24*a + 23. Let s be -3*9 - (-1 - 1). Is 12 a factor of o(s)?
True
Let y(n) = 235*n**3 + 3*n**2 - 4*n + 2. Let s be y(1). Suppose 77 = -3*i + s. Does 6 divide i?
False
Does 28 divide (168/30 - -4)*(-70)/(-3)?
True
Let p(u) = 12*u - 81. Is p(9) a multiple of 5?
False
Suppose 4395 = 5*i - 315. Is 26 a factor of i?
False
Let y = 34 + -31. Is (6/(-5))/(y/(-260)) a multiple of 13?
True
Suppose -7*d + 33 = -2*d - 4*f, 15 = d - 5*f. Suppose -h - r + 245 = 2*r, -d*h - 4*r = -1258. Is h a multiple of 21?
False
Suppose -10*z = -31*z + 1260. Is z a multiple of 14?
False
Let o = 2573 - 791. Is 11 a factor of o?
True
Suppose -10 = -3*h + 8. Let c = 9 - h. Suppose -80 - 37 = -c*x. Does 21 divide x?
False
Does 9 divide (1026/(-21))/((-12)/112)?
False
Suppose 2*j = 5*t - 405, -2*j + 4*j - 306 = -4*t. Is 20 a factor of t?
False
Let j(l) = -2*l**3 - 10*l**2 + 15*l - 1. Let f(z) = -z**3 - 5*z**2 + 8*z - 1. Let h(u) = 11*f(u) - 6*j(u). Suppose 27*m - 29*m - 10 = 0. Is 5 a factor of h(m)?
True
Let g be 10/6*42/35. Suppose -a - l = 3*a - 400, -4*a + g*l + 412 = 0. Is a a multiple of 16?
False
Let t = -2 + 2. Suppose 36*o + 77 = 293. Suppose t = -2*z + o*z - 248. Is z a multiple of 17?
False
Suppose -2*v = -k - 46, -5*k - 14 = -3*v + 69. Let z = v + 3. Does 13 divide z?
False
Suppose 0 = -2*t + 5*r + 64, -2*r = 3*t - 3*r - 83. Let a = 8 + t. Is a a multiple of 7?
True
Let s = -38 + 80. Suppose -2*b - 210 = -5*o, 0*o + s = o - 4*b. Does 14 divide o?
True
Let n be 5/((-10)/(-56)) - 3. Let o = n - 22. Is 3 a factor of o?
True
Suppose -5*c + 7 = -2*i + 2, 3*c - 4*i - 17 = 0. Is c/(368/(-364) - -1) a multiple of 21?
False
Is 6/24 + (-56)/96*-15 a multiple of 9?
True
Let l = 255 + -173. Let v(w) = 2*w + 19. Let p be v(-8). Suppose j - l = -3*x, 4*x = p*x + 3. Is 38 a factor of j?
False
Suppose -903 = -8*a + 1465. Does 4 divide a?
True
Let k(i) = i**2 - 7*i - 5. Let q(f) = -f**2 + 1. Let a(j) = -j**2 - j + 1. Let t(m) = -3*a(m) + 2*q(m). Let z be t(-5). Is 13 a factor of k(z)?
True
Let i(c) = -c**2 - 3*c + 1. Let h be i(-3). Suppose -w = n - 9, -4*n + 3*w = -0*n - h. Is 4 a factor of n?
True
Let h = -727 - -1203. Is h a multiple of 4?
True
Let p(n) = 5*n - 5. Let u(y) = -55*y + 55. Let w(r) = -65*p(r) - 6*u(r). Let d be w(2). Suppose 0 = -3*c + d*k + 61, 4*k = -c + 3*c - 42. Is 4 a factor of c?
False
Suppose 10 + 14 = m. Let b = m + 84. Let o = -43 + b. Is 13 a factor of o?
True
Let q be 30*(9/(-2) + 5). Let m(a) = 5*a - 19. Does 28 divide m(q)?
True
Let b(n) = 9*n + 3. Suppose -g = g + 14. Let x be b(g). Is 4 a factor of x/(-8) + (-3)/2?
False
Suppose -93 = -2*t + 59. Is 19 a factor of t?
True
Let y(m) = -m**2 - 27*m + 8. Let x be y(-25). Let b = x + -49. Is b a multiple of 3?
True
Suppose -3*m + 147 = 2*r, -129 = -2*r - 3*m + 6*m. Is 23 a factor of r?
True
Let i = -35 - -27. Is 6 a factor of (-10)/i + (-477)/(-12)?
False
Let u(v) = 3*v**2 - 15*v - 233. Is 67 a factor of u(-13)?
True
Suppose 4*o = -22 + 58. Let a = -7 + o. Suppose -23 - a = -5*h. Is h a multiple of 4?
False
Let i(x) = -15*x - 34. Is 8 a factor of i(-6)?
True
Suppose -18*o + 2890 = -o. Does 3 divide o?
False
Suppose l = -2*j + 31, 5*l - 110 - 17 = -3*j. Let o = 9 + l. Does 32 divide o?
True
Let o(y) = -y**3 + 8*y**2 - 10*y - 4. Let l be o(5). Is 21 a factor of ((-350)/l)/(4/(-30))?
False
Let f(m) be the second derivative of 13*m**4/6 - m**3/2 + 7*m. Is 12 a factor of f(2)?
False
Suppose -3*v + 2589 = -1110. Is v a multiple of 9?
True
Suppose 0*k - 603 = -9*k. Let i = -2 + k. Is i a multiple of 8?
False
Suppose 0 = -5*s - c + 635, s - c = 153 - 20. Suppose -4*r - 3*b = -246, 5*r - 3*b - 166 - s = 0. Is r a multiple of 30?
True
Let o(g) = g**3 + 7*g**2 - 16*g + 2. Suppose -14 = -6*j - 56. Does 38 divide o(j)?
True
Let w be 143 + 4/(16/(-12)). Suppose -4*t = -4*i - w, 0*i - i + 121 = 3*t. Is t a multiple of 11?
False
Let g = 56 + -51. Suppose -p + g*h = -42, h = 5*p - 2*h - 254. Is p a multiple of 26?
True
Suppose 4*b - 17 = -3*k, -b + 4*k = 2*b - 44. Let u(o) = b*o + 7*o + 69 - 12*o - 2*o. Is 19 a factor of u(0)?
False
Let g be (-6)/9 - (-8)/3. Suppose g*y + 106 = 3*o, o - 6*o - 4*y = -162. Suppose -2*q = -4*q + o. Is q a multiple of 11?
False
Let y = 259 - 205. Is 18 a factor of y?
True
Let s be 171/(-1)*(-1 + (-21)/9). Suppose 3*j + s = 5*g + 5*j, -2*g + 5*j + 257 = 0. Does 29 divide g?
True
Suppose 16*g - 2*n = 17*g - 806, 0 = -2*g - 3*n + 1614. Does 9 divide g?
True
Let f = -5824 + 9642. Is f a multiple of 12?
False
Let n(x) = x**2 - 5*x**2 + 2*x**3 + 2*x**3 + 2*x**2 - 2. Let d be n(3). Suppose 28 = -2*j + d. Is j a multiple of 14?
False
Suppose 5 = 4*b - 11. Suppose -2*o = -0 - b. Suppose 79 = o*w - 5*y, -5*w + 3*w - 3*y = -71. Is w a multiple of 12?
False
Let x = 3141 - 1012. Is 60 a factor of x?
False
Suppose 0 = i - 2*z + 26, -