 (-22)/(-4) - 3/36*6. Suppose -182 = -8*g + k*g + 2*x, 55 = g + 5*x. Is 15 a factor of g?
True
Let b(m) = 451*m + 246. Let o(y) = -2*y - 1. Let k(g) = b(g) + 164*o(g). Is k(3) a multiple of 39?
False
Suppose 25*y - 830 = 35*y. Let n = 27 - y. Does 5 divide n?
True
Let y(u) = 7*u**2 + 10*u - 196. Is 17 a factor of y(-12)?
False
Suppose 40*b - 3*m + 159535 = 47*b, 0 = -2*b - 3*m + 45575. Is b a multiple of 14?
True
Let y(q) = 7*q**2 + 2*q - 56. Let j be y(-5). Is (5 + (-28)/7)*j a multiple of 6?
False
Let z be (-1221)/(-148) - 5/4. Suppose z*y - 19*y + 1512 = 0. Is y a multiple of 14?
True
Let p = 42 - 23. Let s(o) = 18*o**2 - 2*o + 2. Let z be s(1). Suppose -z*y = -p*y + 28. Is y a multiple of 14?
True
Let y = -56 - -71. Suppose -2 + y = -a. Let w = a + 53. Is 8 a factor of w?
True
Let d = -15392 - -31712. Is 20 a factor of d?
True
Let m(k) = -k - 16. Let o be (-18)/6 - (-1 + 16). Let z be m(o). Suppose -4*c = -4*i - 336, 0*i - 2*i = z. Does 20 divide c?
False
Let r(u) = u - 12. Let a(t) be the second derivative of -2*t**2 - 19*t. Let c(x) = -21*a(x) + 6*r(x). Is c(10) a multiple of 18?
True
Let a(r) = 4*r**2 + 101*r - 170. Is 6 a factor of a(-34)?
True
Let x = 21121 + -14656. Does 177 divide x?
False
Let p(h) = 25*h**2 + 3*h - 1. Let f be p(-3). Let m(g) = -g + 16. Let d be m(10). Suppose -2*t + 2*q + 86 = 0, 5*t - 3*q - f = d. Is t a multiple of 21?
False
Let n be -5 - 2/((-6)/2427). Let v = 924 - n. Does 17 divide v?
False
Let j be (-6 - -3)*1882/6. Let l = j - -1711. Is 55 a factor of l?
True
Let d be (15/(-9))/((765/(-162))/17). Suppose d*x + 4131 = 11595. Is x a multiple of 13?
False
Suppose -q - 2*o = -103, -3*q + 305 = 2*o + 3*o. Suppose -q = 2*y + 5. Does 9 divide y/(-6) - 10/(-15)?
True
Let r(b) = -1195*b + 692. Does 38 divide r(-4)?
True
Suppose 5*a - 2*u = 20, -5*a + 3*a - u = 1. Suppose 3*o + a*r + 282 = 0, 354 = -4*o - 2*r - 24. Is 10 a factor of -3 + 0 + -4 + 10 - o?
False
Let x(z) = -z**3 + 64*z**2 + 278*z - 111. Is 144 a factor of x(59)?
True
Suppose 0 = -17*c + 12*c + 20. Suppose 6*n = 5*n + z + 345, -4*n = c*z - 1388. Let g = n + -195. Is 11 a factor of g?
False
Let r(q) = -8*q**2 + 7*q**2 + 12 + 27*q**2 + 7*q + 20 - 29*q. Is 10 a factor of r(4)?
True
Let i(x) = x**3 + x**2 - 9*x + 5. Let u be i(6). Let j = 123 + u. Is j a multiple of 15?
False
Suppose 48*s = 50*s. Suppose r + 0*r - 152 = s. Is r a multiple of 9?
False
Let s = 7 - 4. Suppose 105 + 15 = s*b. Is b a multiple of 5?
True
Let r = 98 - -178. Let w = r + -219. Is w even?
False
Let t be (254 - 0)/(-4 - (-12 + 7)). Suppose 8*g - 5526 = -t. Is g a multiple of 62?
False
Suppose -1355*b = -1350*b + w - 134542, -3*b - 3*w = -80706. Is b a multiple of 230?
True
Let y(p) = -83*p**2 - 6*p - 10. Let k be y(-2). Let c = k - -370. Does 14 divide c?
False
Suppose -r + 6 = 52. Suppose 100 = -7*m + 16. Let z = m - r. Does 17 divide z?
True
Suppose -22*i = -28*i - 150. Let p = i - -191. Is 38 a factor of p?
False
Let z(d) = 14 + 263*d**2 + 12 + 2*d - 26. Is 9 a factor of z(-1)?
True
Let f(k) = 155*k - 10. Let p(r) = -74*r - 55*r - 22*r + 9 - 3*r. Let w(c) = -4*f(c) - 5*p(c). Does 15 divide w(1)?
False
Suppose 5*m = 4*m - 3, 5*m + 30219 = 2*i. Suppose -20*x = -2*x - i. Is x a multiple of 27?
False
Let q = 9693 - 180. Is q a multiple of 8?
False
Suppose -2*u + 14588 = 2*u. Suppose 0 = 35*o - 13013 - u. Does 14 divide o?
True
Let h be ((-3)/(-1))/3 + 27. Let p(x) = 61 - h*x + 29*x - 21. Is 4 a factor of p(-11)?
False
Let c(l) = l**3 + 22*l**2 + 2*l + 44. Let d be c(-22). Suppose 12*o - 1512 = -d*o. Is o a multiple of 3?
True
Suppose 62*p = -9*p - 26*p + 9249435. Is 13 a factor of p?
True
Suppose 0 = 4*w - 2*w - 4*n - 18, -3*w + 27 = -n. Suppose w*y - 406 = 224. Let u = 12 + y. Is u a multiple of 26?
False
Let b be 2/(4/22) - 3. Suppose 0 = -b*z + 5*z - 294. Let l = -82 - z. Is l a multiple of 4?
True
Let n = -281 - -299. Suppose 24*l = n*l + 2160. Is l a multiple of 10?
True
Let l = 73 + -37. Let i be (l/45)/((-1)/(-5)). Let x = 51 + i. Is 11 a factor of x?
True
Let k(c) = -c - 14. Let z be k(-7). Is (-11 - z) + 4 - (2 + -515) a multiple of 19?
True
Suppose 0 = 7*f - 12*f + 3*x + 45980, -5*f + 45945 = 4*x. Is f a multiple of 246?
False
Suppose 23*z - 566 = -474. Is z a multiple of 4?
True
Suppose -a + 1329 = n, -2*a + 3*n = -3262 + 609. Does 16 divide a?
True
Let f = 668 + 3748. Is 24 a factor of f?
True
Let z = -113 + 115. Suppose 0 = 8*j - 4*j + 5*f - 407, z*j + 2*f = 206. Is j a multiple of 18?
True
Let l(r) be the second derivative of 19*r**3/2 + 2*r**2 - r + 72. Is l(5) a multiple of 64?
False
Let x(u) = 11*u**3 - 16*u**2 + 30*u - 113. Is 182 a factor of x(11)?
True
Let n(y) = -7 - 3*y + y + 2*y**2 + 11*y - 4*y. Is 5 a factor of n(-8)?
False
Let r(x) be the first derivative of -x**4/4 - 14*x**3/3 - 11*x**2/2 + 31*x - 11. Let l be r(-13). Suppose -l*c + 16 = -44. Does 3 divide c?
True
Let f(w) = 7060*w**3 + 93*w - 92. Is 66 a factor of f(1)?
False
Suppose 0 = -5*w + 7*z - 8*z + 16, -3*z - 6 = -3*w. Suppose 393 = w*g + 4*o, 2*g - 2*o - 267 = -3*o. Is 40 a factor of g?
False
Suppose -o - 5*a + 216 = o, -3*a + 110 = o. Suppose -2*c + 106 = 3*m, -5*m + 5*c = -87 - o. Does 6 divide m?
True
Let r(q) = -9*q - 103. Let c be r(-12). Is 58 a factor of 13128/20 + c + 108/(-20)?
False
Let r = -317 - -336. Let k(p) = 17*p - 44. Is k(r) a multiple of 3?
True
Suppose -6*u - 2*u + 4992 = 0. Suppose -u = 2*d - 4*d. Is d a multiple of 39?
True
Let s(c) = -3*c**3 + 89*c**2 + 16*c + 53. Is s(27) a multiple of 49?
False
Suppose 58*d = 15*d - 35*d + 12246. Is d a multiple of 17?
False
Is ((-30348)/(-243))/(8/36) a multiple of 2?
True
Let r = 205 - 215. Is 52 a factor of 27885/66*(-16)/r?
True
Let g(d) = -2*d**3 - 18*d**2 - 19*d + 49. Let o be g(-12). Let c = o - 621. Is c a multiple of 8?
True
Does 10 divide (-132)/(-19) + -7 + 645400/152?
False
Let m(y) = 89*y - 297. Does 2 divide m(6)?
False
Suppose -4*i - 323 = m, i = 5*m + 1263 + 289. Let y = m - -353. Is 6 a factor of y?
True
Suppose 8*g = 5*g + 1029. Suppose -2*i - 116 = a - g, -5*i - 4*a = -575. Let n = i + -59. Is 10 a factor of n?
False
Let u = -35 - -43. Let w(r) = 4*r - 27. Let g be w(u). Suppose 4*j + 214 = 3*b, -420 = -g*b - 2*j - 72. Is 8 a factor of b?
False
Let g = 3284 - 1814. Suppose 7*p + g = 14*p. Is p a multiple of 14?
True
Does 11 divide (-62 + -4)*103/(-6)?
True
Is ((-42613)/(-5) + 5 - 6/(-15)) + 1 a multiple of 17?
False
Suppose 23*i - 28*i = 0. Suppose -3*g + 2982 = -4*u, g - 6*g + u + 4953 = i. Is 6 a factor of g?
True
Suppose -13596 = -49*c - 64556. Is 12 a factor of (-675)/(-8) - 13/(c/(-30))?
True
Let q(k) = 12*k**2 + 106*k + 336. Does 13 divide q(-20)?
True
Let h(c) = -c**3 + 16*c**2 - 22*c - 79. Is 21 a factor of h(12)?
False
Let m be 8 + 14/(-4)*2. Let d(w) be the third derivative of 16*w**4/3 + 2*w**3/3 - 2*w**2. Is 22 a factor of d(m)?
True
Let f(c) be the third derivative of -5*c**4/12 - 34*c**3/3 + 74*c**2. Does 21 divide f(-11)?
True
Let l(a) = -34*a - 21. Let r be l(-4). Let w = 88 - r. Is (34/3)/(((-48)/w)/8) a multiple of 51?
True
Let x(k) = 3*k**3 - k**2 - 7*k + 18. Let h be x(3). Suppose -3*d + h = -48. Is d a multiple of 39?
True
Let i = -127 + 132. Suppose i*b - 34 = 2*f, -2*b = 2*f + 2*b - 2. Is f + 5 - 107/(-1) a multiple of 7?
True
Suppose 5*h - 8468 = -7*t + 4*t, 4*h - 6814 = -9*t. Does 5 divide h?
True
Let s be 254/(-8)*(-3 - -23). Let f = s - -689. Is 10 a factor of f?
False
Suppose -3*i + 3*g = -4*i + 699, -4*i = 4*g - 2820. Does 10 divide i?
False
Suppose -4*s - 4*i = 27 + 1, 3*s - 4*i + 14 = 0. Let z(b) = 7*b**2 - 7*b + 5*b**3 - 2*b**2 - 4*b**3 + 1. Is z(s) a multiple of 7?
True
Let t be (-836)/190*7*(-2 - 3). Suppose 5*p + t = 4*c, -4*c + 2*p + 43 = -105. Does 29 divide c?
False
Is 71 a factor of ((-3)/(-12)*-514)/((-2)/44)?
False
Does 80 divide 24641/7 + 23 + 810/(-35)?
True
Let j = -140 + 215. Let x = 49 + j. Let a = 12 + x. Is a a multiple of 34?
True
Let c(d) = 13*d**2 - 84*d + 94. Does 10 divide c(-16)?
False
Let s(l) be the first derivative of -l**5/30 + 5*l**4/24 - 22*l**3/3 + 43. Let r(a) be the third derivative of s(a). Is r(-6) a multiple of 3?
False
Let j = 10274 - 4330. Is 103 a factor of j?
False
Let s(h) = -5*h + 9. Let v(b) = 1. Let k be ((-4)/(-10))/((-10)/(-25)). Let c(z) = k*s