*m = 3*m - 684. Let q = m - 34. Suppose -s = -5*f + 8, -q*s - 2*f + 14 + 42 = 0. Is s a multiple of 10?
False
Let x = -10572 - -16454. Does 26 divide x?
False
Let a be (-4 + 5 + -1)/(-1). Suppose 0 = -2*z - d + 185, -3*d + 2*d - 3 = a. Is z a multiple of 4?
False
Let i(u) = 5*u - 20. Let v be i(8). Let j be -2 - 5/(v/12). Let z(k) = -12*k - 16. Is z(j) a multiple of 22?
True
Let x be (-168)/(-30) + -1 - 4/(-10). Suppose 4*a - k = 3063, 10*a - x*a - 3837 = 4*k. Is a a multiple of 21?
False
Let d be (0 - 14)*(-16)/32. Let o be (2/d)/(1/7). Let x = 18 - o. Is x a multiple of 16?
True
Let i = -966 + 1241. Is 22 a factor of i?
False
Let i(k) = -48*k - 24. Suppose 5*d - d + 4*w = -16, -5*w = d + 12. Does 18 divide i(d)?
True
Let l = -135 - -1063. Let p = l + -616. Suppose -13*i + 5*i = -p. Does 10 divide i?
False
Let g(i) = 14*i**3 + 4*i**2 - 14*i + 149. Does 86 divide g(6)?
False
Suppose 4*w - 4*u = 80, w + 7*u - 4*u = 0. Is 13 a factor of 5 - 330*w/40*-4?
False
Let d(w) = 1073*w + 35. Does 27 divide d(3)?
False
Let c = 3332 - 3334. Let j(y) = y + 1. Let k(x) = 234*x + 195. Let f(o) = 195*j(o) - k(o). Is f(c) a multiple of 13?
True
Is (96/108 - (-75)/(-54))/((-2)/3228) a multiple of 2?
False
Let c = 8425 - 3105. Is c a multiple of 28?
True
Suppose -66*d = -149778 + 6690. Does 42 divide d?
False
Is 29 a factor of 2384 - (-8 + -76)/(-14)?
True
Let u(n) = n**3 - 46*n**2 + 103*n - 44. Is u(44) a multiple of 56?
True
Suppose 273*f - 294*f = -899472. Is f a multiple of 176?
False
Suppose 56 = 2*v + 52. Let g(n) = -19*n - 8*n + 19 + 15*n - n**v. Is g(-9) a multiple of 24?
False
Let d be -2 + 72/30 + (-69)/(-15). Let x(h) = 43*h - 28. Is x(d) a multiple of 28?
False
Suppose 0 = -3*v + 186 - 1146. Let r = -158 - v. Suppose -x - 5*t + r = 0, 0 = -x + 3*x + 5*t - 314. Does 19 divide x?
True
Let c = -7 - 460. Let s = 284 - 483. Let f = s - c. Is 49 a factor of f?
False
Let y be (4/12)/(-3*1/(-108)). Suppose -y = -3*f - 0, 0 = 4*v + f - 196. Is 24 a factor of v?
True
Let i(w) = -w**2 + 11*w - 2. Let t be i(10). Let g be (t/2 - 6)*17. Let u = 58 + g. Does 6 divide u?
True
Let s(r) = 18*r + 496. Is s(-21) a multiple of 2?
True
Let z = 13131 + -5998. Is 18 a factor of z?
False
Suppose 0 = -65*z + 63*z - 664. Let c = 492 + z. Does 5 divide c?
True
Let x(a) = -9*a - 41. Let s be x(-18). Suppose 0 = -h - 57 + s. Suppose -h = -4*y + 2*y. Does 6 divide y?
False
Does 54 divide 33/44 + 2296866/104?
True
Let h(a) = -a**2 - a + 27. Let n be h(-5). Let t(x) be the third derivative of x**5/20 + x**4/8 + 2*x**3 + 5*x**2. Does 12 divide t(n)?
True
Suppose 76*t - 1079172 = 553232. Is t a multiple of 93?
False
Let c = -2588 - -2993. Suppose 5*v - 5 = -3*y + 20, -3*y + 2*v = 10. Suppose -9*o = -y*o - c. Is 15 a factor of o?
True
Suppose 56 = -v + 55. Let y be (v + (-39)/(-12))*(-352)/(-33). Suppose y = 6*h + 2*h. Is 2 a factor of h?
False
Suppose -4*y + 2*o = -12, -6*y - 7 = -y + 3*o. Let g(n) = 389*n**2 + 3*n - 1. Does 23 divide g(y)?
True
Let t be (-17)/1*(0 + -1). Let y be t/(-34) + 1/2. Suppose -3*o = -3*j + 63, -5*j + y*j + 69 = 4*o. Does 9 divide j?
False
Let y be 6/9 - (-10)/3. Let s be (-40)/10*(-1 + 7/y). Is (-30*1)/((s + 10)/(-7)) a multiple of 6?
True
Suppose 0 = -2*h - 3*u + 79, 0*u = 2*h - u - 59. Suppose -o = 3*o + h. Is 19 a factor of (-446)/o + 4/16?
False
Let a(n) = 2*n**2 + 2*n - 12. Let t be a(-3). Suppose t = 4*x - 3*i - 5035, -3*i = -x + 2*i + 1263. Is 17 a factor of x?
True
Is -341 + 730 - ((1 - 0) + -1 + 7) a multiple of 2?
True
Let o be -2 - 64 - (4 - 4). Let n = -379 - o. Let b = -179 - n. Is 10 a factor of b?
False
Let t = -581 - -877. Is 6 a factor of t/185 + (-4844)/(-10)?
True
Let u(q) = -2*q**2 - 31*q - 8. Let x be u(-15). Suppose -2616 = -x*c - 355. Is c a multiple of 26?
False
Let g = 139 - 134. Suppose 2*b = g*b - 2043. Does 43 divide b?
False
Suppose 4*g - 6*g - 771 = 5*b, g - 3*b + 413 = 0. Let l = g - -544. Is l a multiple of 7?
False
Suppose 0 = 6*l - 12377 + 977. Does 50 divide l?
True
Let u(a) = a - 1. Let c(d) = -4*d - 29. Let k(i) = c(i) - u(i). Let y be k(-6). Suppose 4*l + 84 = y*o - 0*l, -o + l + 41 = 0. Is o a multiple of 9?
False
Let f(z) = -z**2 + 5*z - 35. Let o be f(12). Let a = o + 111. Is 5 a factor of (14*9/4)/((-3)/a)?
False
Suppose -2*q + 174 = 4*r, -3*r - q = 2*r - 219. Let t be (-165)/r + (-9)/(-12). Is ((-996)/36)/(1/t) a multiple of 9?
False
Let q(y) = -y**3 + 6*y**2 - y + 4. Let n be q(6). Let a(g) = 2*g**3 + 3*g**2 + 3*g + 5. Let f be a(n). Does 7 divide (-15)/f + -5 + 44?
True
Let b(s) = -8*s + 2. Let g be b(2). Let z = 74 - g. Does 11 divide z?
True
Let u(i) = -i + 5. Let d(g) = -g**2 - 13*g - 7. Let f be d(-12). Let c(l) = 5*l - 37. Let w be c(f). Is 2 a factor of u(w)?
False
Let k(m) = 26*m - 233. Suppose 0 = 50*w - 685 - 165. Is k(w) a multiple of 37?
False
Let m(b) be the third derivative of 71*b**5/30 - 7*b**4/8 + 20*b**3/3 + 27*b**2 - 3. Is 28 a factor of m(2)?
False
Let y = -20 + 48. Suppose y*h - 27*h = 416. Does 24 divide h?
False
Suppose 65 = 4*j - 5*y, y + 30 + 31 = 4*j. Suppose 0 = -j*o - 14*o + 1537. Is 12 a factor of o?
False
Suppose 0*a - a = 0. Let q be (8 - 2 - a)*(-8)/12. Is 1/((q/(-30))/2) a multiple of 15?
True
Let i(q) = -q**2 + 23*q - 115. Let z be i(47). Let a = z + 2299. Is 66 a factor of a?
True
Suppose 18*t + 81447 = 215007. Is t a multiple of 18?
False
Let j = -1 + -2. Let h(y) = 7*y**2 - y - 3. Let t be h(j). Let r = t - 3. Is 10 a factor of r?
True
Let a(f) = -15*f + 139*f**2 - 19*f + 1 + 51*f - 14*f. Is 11 a factor of a(-1)?
False
Let l(r) = -5 - 4585*r - 9 + 2*r**2 + 4582*r. Suppose 4*g + 5 = 25. Is l(g) a multiple of 16?
False
Suppose 0 = -j - j + i, 0 = 2*i. Let m be 1711 - (0 - (-8)/2 - j). Suppose 122 - m = -5*y. Does 27 divide y?
False
Let u(o) = 152*o**2 - 13*o + 30. Is u(2) a multiple of 4?
True
Suppose 73*p - 76*p + 8541 = 0. Is p a multiple of 15?
False
Is (-137295)/(-27) + (2 + -4 - 1) a multiple of 42?
True
Let y = 350 + -352. Suppose -4*k = 5*q + 31, 15 = -4*q + 3. Does 5 divide y/k*2*29?
False
Let d(n) = -n**2 - 3*n + 13. Let z be d(-6). Let t(c) = 4*c + 23. Let g be t(-4). Let v = g + z. Is v a multiple of 2?
True
Let o(q) = -q**3 - q**2 - 7*q + 20. Let h be o(8). Let r = h + 919. Suppose 5*k - c = r, 0*k + 4*k = 5*c + 254. Does 12 divide k?
False
Let j(a) = 3*a + 3. Let v be j(5). Suppose -v = d - 489. Is 25 a factor of d?
False
Suppose -5*h = -4*l + 675, -2*h - 336 = -2*l + 2*h. Let c be ((-44)/5)/((-17)/l). Is 13 a factor of c + (20/(-5) - 0)?
False
Let m = 59171 + -21599. Is m a multiple of 186?
True
Let x(f) = f**3 - 10*f**2 + 2*f - 21. Let m be x(10). Let o be ((-352)/(-1*(-1)/2))/m. Suppose o = 4*q - 88. Does 22 divide q?
True
Let u(o) = 7*o + 46. Let s(k) = 14 + 2 + 6*k - 2*k + 2*k**2 - 8. Let f be s(-3). Does 16 divide u(f)?
True
Suppose -12*h + 4*d = -22*h + 14074, -h + 1409 = 2*d. Is 51 a factor of h?
False
Let t(m) = 58*m**2 - 1291*m. Is 44 a factor of t(-6)?
False
Let i(k) = 3*k**2 + 112*k - 108. Does 49 divide i(-41)?
True
Suppose 40*f - 35*f - 5375 = 0. Suppose n - 2*s = 215, 5*n - 2*s - f = -0*s. Is 43 a factor of n?
True
Let d be 80/(-24)*(-18)/12. Suppose d*n = -9*i + 11*i - 330, 0 = 2*i + n - 330. Is 29 a factor of i?
False
Suppose -3*a = -3*c - 1470, -316 = -5*a - 5*c + 2134. Is a a multiple of 58?
False
Let f(v) be the third derivative of -v**5/60 - v**4/12 + 46*v**3 - 15*v**2. Is 23 a factor of f(0)?
True
Let h be (-2372)/(-12) - 1*2/3. Let a = -51 + h. Is a a multiple of 55?
False
Does 15 divide (-269 - -299)*(-7062)/(-10)?
False
Let o(d) be the third derivative of d**6/5 - d**5/30 - d**4/12 + d**3/6 - d**2. Let q be o(-2). Let t = q - -325. Is t a multiple of 13?
True
Is (-24 - -46 - 19) + 1271 + -1 a multiple of 29?
False
Is (-36)/(-45)*5*2610 a multiple of 90?
True
Let q be (2 - 2) + 0/(-6). Suppose -6*w - 74 - 4 = q. Let m = 50 + w. Is 2 a factor of m?
False
Suppose 0 = -85*j + 87*j. Suppose j = 8*y - 11*y - 18. Is (2 - 1)*(y - -192) a multiple of 41?
False
Suppose 23*a - 81 = -12. Is 27 a factor of -54*(0*a/3 + -3)?
True
Suppose -80229 = -46*u + 5883. Is 24 a factor of u?
True
Is 68 a factor of (0 - (-1042)/(-4))*-1 + (-186)/(-124)?
False
Let a(f) be the first derivative of f**3/3 - 13*f**2 + 25*f + 3. Let m be a(25). Suppose -5*v + 530 = k, 