/18 + 168/756?
True
Let y(q) = 431*q**3 + 3*q**2 - 6*q + 4. Let w be y(1). Let s = w + -168. Does 88 divide s?
True
Suppose -8*c - 7*c = -60. Let m(w) = 2*w**2 - 10*w + 7. Let u be m(c). Let p = 22 - u. Is p a multiple of 3?
False
Let q(g) = -3*g - 39. Suppose 4*k - 7*r + 9*r = -100, -3*k - r = 77. Is 3 a factor of q(k)?
True
Let v be (1 - -1) + -54 + 3 + -3. Let m = v + 5. Let j = 72 + m. Does 6 divide j?
False
Let u = -10956 - -18134. Is u a multiple of 3?
False
Let l(u) = u**3 + 68*u**2 - 157*u + 64. Is l(-70) a multiple of 13?
False
Let h = -42 + 42. Let a(r) = 2*r**3 + 1. Let y be a(h). Suppose -t + 274 = 3*z, 5*t - y = 4. Does 7 divide z?
True
Let n(u) = -18*u + 7*u**2 + 4*u**2 - u**3 + 2*u**3 - 33 + 8. Is n(-12) a multiple of 14?
False
Suppose 3*m - c = 5*m + 65, -5*m - 168 = -3*c. Let b(p) = -p**2 - 44*p - 33. Is 5 a factor of b(m)?
True
Let p = -612 - -12229. Is p a multiple of 52?
False
Let r(z) = -z + 19. Let v be r(5). Suppose -12 = 8*m - v*m. Suppose -6*u = -m*u - 308. Is u a multiple of 29?
False
Suppose -113*n + 90*n = -123234. Is n a multiple of 18?
False
Let g(p) = -5*p + 72. Let d(c) = -3*c + 48. Let m(n) = 8*d(n) - 5*g(n). Let u(i) = -5*i + 21. Let f be u(6). Is 3 a factor of m(f)?
True
Let r = 327 - 322. Let n be (-2)/4*(4 + -2). Is 9 a factor of (r/(-25)*-5)/(n/(-24))?
False
Let t be 132 + 0 + (9 - 5). Suppose 0 = -a + 3*x - 2*x - 58, 5*a + 2*x = -269. Let p = a + t. Is 25 a factor of p?
False
Suppose 895 = -r + 3700. Suppose -11*s - r = -28*s. Is 11 a factor of s?
True
Let j(w) = 16*w**3 - 4*w**2 - 8*w + 26. Let o be j(6). Suppose 294*l - 287*l = o. Does 24 divide l?
False
Let h(u) = -u**3 + 15*u**2 - 3*u - 5. Let q(z) = z**2 - z - 5. Let s be q(-4). Let a be h(s). Is 7 a factor of ((-4)/1 + 3)/(1/a)?
False
Does 52 divide 4827*((-140)/21 + 7)?
False
Let o(t) = -t**2 + 9*t - 14. Let r(s) = -1. Let m(c) = -o(c) - 4*r(c). Is 4 a factor of m(21)?
False
Let k(b) = 1185*b + 66. Let c be k(13). Suppose 0 = -13*p + c - 4473. Does 77 divide p?
False
Is (106075/(-500) + (-2)/(-10)*-3)*-48 a multiple of 74?
True
Let y(u) = 4*u + 21. Let f(g) = g**3 + 6*g**2 + 6*g - 3. Let t be f(-5). Let m be y(t). Is (9 + m)/(2/(-70)) a multiple of 17?
False
Suppose -3449 = -7*q + 28821. Is 48 a factor of q?
False
Let w(m) = -2*m - 1. Let v be w(-3). Suppose v*s = s + 20. Is 7 a factor of (-4 - -1) + s + 14?
False
Let i(r) = 7*r + 0 - r**3 + 3*r**3 - 5*r**2 - 6. Suppose -28 = -66*k + 59*k. Is i(k) a multiple of 10?
True
Let m(h) = -h**3 + 9*h**2 + 10*h + 10. Let l be m(10). Suppose 3*c - l = 4*c. Let y = 46 + c. Is 9 a factor of y?
True
Let q(v) be the first derivative of 17/2*v**4 + 2*v + v**2 - 2/3*v**3 + 52. Is q(2) a multiple of 54?
True
Suppose 5*r + 2*t + 35153 - 230046 = 0, -5*t + 194890 = 5*r. Does 183 divide r?
True
Let l(c) = c + 13. Let s be l(23). Is s/(-84) + (-2862)/(-14) a multiple of 17?
True
Let v = 958 + -618. Is 4 a factor of v?
True
Suppose 10 = -2*t, -4*n - 3*t + 814 + 10067 = 0. Is n a multiple of 6?
True
Suppose 0 = -3*r - 3, 0*n + 133 = n - 2*r. Suppose -17 + n = -6*c. Let o = 43 + c. Does 24 divide o?
True
Let q(w) = -w**3 + 4*w**2 + 21*w - 79. Let n be q(5). Let g(t) be the first derivative of 71*t**4/4 + t**3/3 - t**2/2 + t - 1. Is 18 a factor of g(n)?
True
Let k(h) = 18*h**2 + h**3 + 10 - 35*h**2 + 0*h**3. Is 3 a factor of k(17)?
False
Does 9 divide 8 + -7 - -7 - (-4401 + 3)?
False
Suppose 4*u - 25 = -u, 5*o - 20 = u. Let m be (o - 9)*-2*(-14)/4. Is (-6784)/m + 3/(-21)*2 a multiple of 18?
False
Suppose -82 = -m - 80. Let f be (2 - 64)*(m + 0). Does 21 divide 1 + 12/4 - f?
False
Suppose -10*j + 1413 = -7*j. Let k = j - 174. Is k a multiple of 31?
False
Let o(d) be the second derivative of -d**3/3 - 11*d**2/2 + 7*d. Let u(z) = 8*z + 45. Let i(h) = 22*o(h) + 6*u(h). Is i(7) a multiple of 28?
True
Suppose m + m = -5*t - 36, 5*t = -5*m - 90. Let w = -79 + m. Let y = -89 - w. Is 8 a factor of y?
True
Let m(l) = -l**3 + 14*l**2 + 7*l - 65. Is m(-13) a multiple of 47?
False
Let g(l) = 234*l - 558. Is 30 a factor of g(12)?
True
Let x = 233 - 17. Is 12 a factor of x?
True
Let f be (1035/4)/((-174)/(-928)). Suppose g + 4*g = -4*q + f, -g + 287 = 3*q. Is g a multiple of 29?
False
Let m = 1904 + 917. Does 6 divide m?
False
Let k(h) = -h**3 + 2. Let f be k(4). Suppose 0 = -3*c + t + 287 + 298, -4*t = 3*c - 615. Let n = f + c. Is 27 a factor of n?
True
Let s be (76/12 - 2)*(21 - 0). Suppose v - 667 = q - s, -4*v + 2336 = 4*q. Is v a multiple of 48?
False
Let l(p) = 3*p**2 - 14*p + 46. Suppose -j + 26 = 3*k - 3*j, -2*k + 12 = 4*j. Is l(k) a multiple of 5?
False
Let t = -15132 - -25352. Does 10 divide t?
True
Let f(m) be the third derivative of m**5/60 - m**4/6 + 160*m**3/3 - 222*m**2 - m. Is f(0) a multiple of 6?
False
Suppose -8*z + 3442 + 2182 = 0. Does 66 divide z?
False
Let j(k) = 1430*k**2 - 7*k - 6. Let r be j(-4). Is ((-6)/(-4))/(99/r) a multiple of 58?
False
Suppose 62 = -o - 4*x, 2*x - 354 = 3*o + 2*o. Is (5068/o)/(4/5 - 1) a multiple of 13?
False
Let t(r) = 13*r**2 - 12*r + 41. Let a(n) = 10 + 31*n**2 - 12*n**2 - 16*n**2 - 3*n. Let b(m) = 9*a(m) - 2*t(m). Is b(-8) a multiple of 12?
True
Suppose 84*z + 21356 = 88*z. Is 44 a factor of z?
False
Let x = 0 + 62. Let p = -33 + x. Let w = p - 10. Is w a multiple of 19?
True
Let h(w) be the second derivative of 539*w**4/6 - 4*w**3/3 - 3*w**2 + 2*w + 6. Let f be h(-1). Suppose -18*y + 3*y = -f. Does 6 divide y?
True
Let f(s) be the third derivative of -s**6/120 + s**5/30 + s**4/12 + s**3 + 2*s**2 - 64*s. Is f(3) even?
False
Suppose 4*s - 16 = -4*i, -4*i + 17 - 46 = -5*s. Suppose -3*p = s*q - 49, -3*p - 2*q = -6*q - 4. Suppose -p*c + 2*c = -246. Is c a multiple of 41?
True
Let v = -398 - -515. Suppose -4*f + 479 = l, 3*l = 11*f - 12*f + v. Is 8 a factor of f?
True
Let w = 283 - 281. Suppose -392 - 190 = -2*x - 4*b, w*x - 4*b - 622 = 0. Does 35 divide x?
False
Suppose -5*v + 13080 = 3*j, 5*v - 4*j - 2020 = 11060. Is v a multiple of 6?
True
Suppose 812 + 508 = 5*z. Let j = z + 123. Is j a multiple of 9?
True
Suppose 4*r - 14 = 2*q, -42 + 1 = 4*q + 5*r. Let g = q + 455. Is g a multiple of 33?
False
Suppose -2*z + z - 2*v = -5, -3*z = -3*v + 3. Is 23 a factor of z + -3 + -5 + 313?
False
Let q(a) = a**2 - 3*a + 6. Let m be q(4). Let c(r) = -8*r + 3*r - m - 7*r - 5*r. Does 15 divide c(-5)?
True
Suppose -117 = 6*c + 573. Let v = c - -215. Is 7 a factor of v?
False
Let b(k) = -k**3 + 21*k**2 - 8*k - 17. Let w be b(8). Let f = w + 237. Is f a multiple of 52?
True
Let j(p) = 10*p - 88. Let m be j(15). Let v = -12 + m. Is v a multiple of 4?
False
Let b(y) be the first derivative of 7*y**2 + 92*y - 108. Is 7 a factor of b(0)?
False
Suppose d + 46 = -543. Let m = -148 - d. Suppose -16*x = -23*x + m. Is x a multiple of 19?
False
Let v(y) = -604*y - 5260. Is v(-85) a multiple of 12?
True
Suppose 21*m - 3247 - 8366 = 0. Suppose -21*x = -14*x - m. Does 7 divide x?
False
Does 58 divide 6/9*17997/14?
False
Suppose 5*o + 11 = 136. Suppose 1512 = 31*k - o*k. Is k a multiple of 28?
True
Suppose 10*q = -182 + 812. Let g = 57 - q. Does 13 divide 1/(g/45)*-2?
False
Suppose 0 = -q - 5*m + 239, -4*q = -q + 5*m - 717. Suppose q + 121 = 8*v. Does 15 divide v?
True
Suppose -g - 58581 = -58800. Is g a multiple of 3?
True
Suppose -12504 - 10696 = -5*z. Does 29 divide ((z/(-12))/(-4))/((-2)/(-3))?
True
Suppose -b - p + 3257 = 0, -3*b + 7154 = 5*p - 2619. Does 74 divide b?
True
Suppose -6*t + 219 - 561 = 0. Does 27 divide (45/(-20))/((t/504)/19)?
True
Let m be 3*(50/15)/2. Suppose -5*v = 5*j + m, v + 3*v = 5*j + 23. Suppose -3*k + k = -2*d - 46, k = v*d + 18. Is k a multiple of 28?
True
Let w(v) = 33*v + 27. Let n(l) = 100*l + 82. Let a(f) = 4*n(f) - 14*w(f). Does 20 divide a(-5)?
True
Let m(b) = 16*b**2 - 3*b - 58. Is m(-5) a multiple of 7?
True
Let x = 11376 - 10546. Is 5 a factor of x?
True
Let u(s) = -21*s + 43. Let w be u(-8). Let q = 494 - w. Is q a multiple of 16?
False
Let d be 2/(-2) - 6/8*4. Is 13 a factor of 39/(7/(-2) - d)?
True
Let h(l) = 12 - 27*l + 5*l**2 + 85*l - 35*l. Is h(-6) a multiple of 14?
False
Let h = 12451 - 11047. Is h a multiple of 12?
True
Suppose -16*r = -15*r - 1. Let k be 1632/((-5)/5*r). Is k/(-39) + 6/39 even?
True
Let o(v) = -72*v + 131. Let r be o(-6). Suppose 3*h + n + 3*n = 1668