(0). Let a = h + v. Is a a multiple of 12?
True
Let i(b) = b - 5. Suppose 2*m - 13 = y, -3*m + m - y + 19 = 0. Let k be i(m). Suppose z + 2*s = 18, 2*z + 0*s - 15 = k*s. Is z a multiple of 6?
True
Suppose 0 = -57*k + 312426 - 23379. Is k a multiple of 54?
False
Suppose -4*z = 90 - 94. Let x(s) = -1 + 15*s**3 + 20*s**3 + 3*s - s**2 - 10*s**2 + 8*s**2. Is x(z) a multiple of 11?
False
Is (-8)/10 - 12/(360/(-67314)) a multiple of 21?
False
Suppose -45 = -3*o + 2*o. Let q = o - 42. Suppose -329 = -q*h - 2*z + 118, 444 = 3*h + 3*z. Is h a multiple of 43?
False
Suppose -37*w + 36*w + 4*i = -197, -w + 182 = i. Is 8 a factor of w?
False
Let s = 132 + -127. Is 39 a factor of 5 - (1 - 955/s)?
True
Let x(u) = 440*u**2 + 48*u + 13. Let z(j) = 147*j**2 + 17*j + 4. Let f(o) = -2*x(o) + 7*z(o). Does 26 divide f(2)?
False
Let q be (-10095)/(-9) + ((-11)/3 - -3). Suppose 249 = t - q. Is t a multiple of 34?
False
Suppose 0 = 5*b + 3568 - 10858. Does 81 divide b?
True
Does 5 divide (-6800)/(-325) + -21 + (-112972)/(-26)?
True
Suppose -56*j + 11017 = -35174 - 9249. Does 30 divide j?
True
Let n = -18398 - -19226. Does 12 divide n?
True
Suppose -3*k - 48389 = -d, -2*d - 65*k = -63*k - 96786. Is 92 a factor of d?
True
Suppose -36 = -4*d - 2*v, 0 = v - 0*v - 2. Let h = d + 36. Does 28 divide h?
False
Suppose -5*p - 20 = 0, 0 = -5*j - 0*p - 2*p + 1732. Let q = j - 204. Does 3 divide q?
True
Let i(v) be the third derivative of v**5/30 - 17*v**4/24 - 11*v**3/3 + 16*v**2 - 2. Is i(14) a multiple of 66?
True
Let f(p) be the third derivative of 0 + 23*p**2 - 1/12*p**4 - 1/6*p**3 + 0*p. Does 17 divide f(-12)?
False
Suppose -2*c + 5*t + 0*t + 31 = 0, 2*t + 22 = 4*c. Suppose 2*v + 5545 = 5*v - n, -4*n - 5530 = -c*v. Is v a multiple of 50?
True
Suppose -m + 3*a - 168 = 0, 5*m + 10*a + 780 = 5*a. Let p = 49 - m. Is p a multiple of 16?
True
Suppose -26*d + 14655 = -6275. Is d a multiple of 3?
False
Let v = -18129 + 33897. Is v a multiple of 108?
True
Suppose -3*o + 6*v = 3*v - 1821, -2432 = -4*o + 2*v. Let f = o + -219. Does 30 divide f?
True
Let l(o) = -32*o + 128. Let w be l(4). Suppose w*x + x = -d + 428, 4*x - 2141 = -5*d. Is d a multiple of 39?
True
Suppose 211*z - 6*z = 178555. Does 37 divide z?
False
Suppose 0 = 5*r - 5*d - 4235, -3*r - 4*d + 3118 = 591. Is 13 a factor of r?
True
Let r(o) = 14*o**2 - 9*o + 1. Does 2 divide r(-2)?
False
Let f = -15177 + 7564. Is f/(-9) - (-17)/153 a multiple of 9?
True
Let b(f) be the second derivative of -f**5/20 - 9*f**4/4 - 14*f**3/3 - 33*f**2/2 + 4*f - 1. Does 2 divide b(-26)?
False
Let n be (9/(-5))/((-9)/2430). Suppose -3*d - r + 950 = 0, -3*d + 3*r + n = -444. Is 21 a factor of d?
True
Is (-12 + 976)*57/12 - (-4)/2 a multiple of 172?
False
Let z = 514 - -2426. Does 6 divide z?
True
Let d(c) be the third derivative of c**4/24 + 47*c**3/6 + 14*c**2. Let k be d(-20). Suppose -287 + k = -5*o. Is o a multiple of 15?
False
Let r(w) = 3*w**2 + 2*w. Suppose 5 = 4*i + 3*g + 30, 2*i - g + 5 = 0. Let f be r(i). Let l = f - -24. Is l a multiple of 14?
False
Let f be (8/(-24))/((-1)/987). Suppose 4 = 3*i - 2*s - f, 5*s - 530 = -5*i. Does 4 divide i?
False
Let d = 3445 + -1555. Is 13 a factor of d?
False
Let x be (-6)/(-2) - 0/(-6). Suppose -x*z - z = -36. Suppose -5*w = -z*w + 148. Does 13 divide w?
False
Let o = -1974 - -3118. Does 117 divide o?
False
Let n(y) = 27*y + 4418. Is 101 a factor of n(87)?
True
Let u be ((-8)/9)/(4/(-18)). Suppose -5*o + 289 = 2*h, -u*h - o + 401 = -h. Is h a multiple of 44?
True
Suppose j + 0*b = -5*b + 25, 5*j + 3*b = 15. Suppose j = -9*w + 7*w + 782. Is 23 a factor of w?
True
Let x = -247 - -220. Let p = 297 - x. Is 36 a factor of p?
True
Let q(m) = -m**3 - 4*m**2 - 29*m + 6. Let n = -272 - -263. Is 24 a factor of q(n)?
True
Suppose 0 = 2*d + 8 - 4. Let o be 3/(d/(64/12)*-2). Is 44 a factor of o/((-8)/(-6)) + 217?
True
Let l(g) = g**2 - 20*g + 93. Let y be l(16). Let j = y + 45. Does 42 divide j?
False
Let o(f) = -24*f**3 - 13*f**2 - 69*f - 852. Does 79 divide o(-11)?
False
Does 43 divide 4548/(-15)*3010/(-56)?
True
Suppose 112*h - 6354021 = -73*h - 2217421. Is 216 a factor of h?
False
Let x = -31 - 23. Is 9 a factor of (x/(-3))/(12/42)?
True
Let c = -3107 + 7207. Is c a multiple of 12?
False
Suppose -5*b + a = -109, -5*a + 63 = 5*b - 22. Suppose -9*f = -12*f + b. Suppose -10*x + 39 = -f*x. Does 13 divide x?
True
Let y = -36907 + 56652. Is y a multiple of 4?
False
Suppose 0 = 18*w + 126 + 108. Let h(o) = -o**3 - 8*o**2 + 7*o - 5. Is h(w) a multiple of 8?
False
Let a be 2/(-5) - (-18)/45. Let z be (a + 2)/((1 + 1)/2). Suppose -2*p + 48 = -g, 4 - 58 = -z*p + 4*g. Is p a multiple of 5?
False
Let n(t) = -185*t - 24. Let u be n(-12). Suppose 2*z = 5*m - u, 0 = 11*m - 8*m + 4*z - 1328. Is m a multiple of 44?
True
Let a(f) = -f**3 + 7*f**2 + 4236*f - 155. Is 4 a factor of a(-63)?
False
Suppose -11*g + 9*g - 11 = 3*p, -3*g - 4 = 2*p. Suppose 4*j + g = -c, 2*c + 6 = -3*j - c. Suppose 219*i - 216*i - 210 = j. Is 13 a factor of i?
False
Let k(z) = -2*z**2 - 103*z + 57. Is k(-26) a multiple of 3?
True
Suppose 467 = 5*a - 1863. Suppose -5*d - 810 = -10*d - 5*q, 3*d = q + a. Suppose 2*f + 2*g = 96, -4*f + 0*g + d = -3*g. Is f a multiple of 31?
False
Suppose 0 = -2*u + 4*n + 2400 + 7800, 5*u + 3*n = 25448. Is u a multiple of 6?
False
Let m(j) = 2589*j**2 + 83*j - 172. Is 37 a factor of m(2)?
False
Let x(c) = -2*c - 5. Let a(l) = -2*l - 4. Let v(g) = 5*a(g) - 4*x(g). Let r be v(3). Does 4 divide 3/(-2)*28/r?
False
Let r(b) = 11*b**2 + 3*b + 1. Let c(g) = 5*g + 16. Suppose 3*f + 85 - 76 = 0. Let n be c(f). Is r(n) even?
False
Is 5551 + -13 + -6 - 12 a multiple of 48?
True
Let f be (-2686)/(-1 + 2 + -3). Suppose -5*k - p + 1488 = 0, -3*k = 2*p + 446 - f. Is k a multiple of 18?
False
Suppose 2*w + 60 = 4*w. Suppose -w = 3*f - 8*f. Let n = f + 44. Is n a multiple of 9?
False
Suppose -h = 3*b - 18, -b + 0*h - 4*h = -17. Suppose b*k = -2*k + 14. Suppose -k*a + 2 + 6 = 0. Is a a multiple of 2?
True
Suppose -640 = -j + 2*i, -2*j = -5*i - 1065 - 220. Does 23 divide 5 + (-31)/((-155)/j)?
False
Suppose 269632 = -368*u + 400*u. Is u a multiple of 22?
True
Suppose -3*y + 1378 = -2*n, -3*n + 1577 = 5*y - 745. Is 2 a factor of y?
True
Let b be (0 + 2)/(-2) + 1. Suppose -i = -4*i - 3*a - 51, b = a. Let g = 89 + i. Does 4 divide g?
True
Let h(a) = -a**3 + 3*a**2 + 3*a - 5. Let s be 1 + -5 - (-88)/11. Let l be h(s). Let c = 49 + l. Is c a multiple of 12?
False
Is (1190/21)/((-2)/(-72)) a multiple of 10?
True
Let q(d) = -69*d - 62. Let h be q(-6). Suppose 0*l - h = -4*l. Is l a multiple of 18?
False
Suppose -3*o + 2*o = 32*o - 34848. Is 30 a factor of o?
False
Suppose -20 = -2*a - 2*a. Let g(q) = -q**3 + 5*q**2 - 24*q + 5. Let u(x) = 3*x**3 - 15*x**2 + 71*x - 14. Let s(n) = 11*g(n) + 4*u(n). Does 12 divide s(a)?
False
Let u(j) = -4*j - 6 + 24 + 7*j**2 - 2*j - 12. Let z be u(-4). Suppose -4*i + 452 = -2*n, z + 188 = 3*i + 3*n. Is 13 a factor of i?
False
Suppose -13*b + 16 + 10 = 0. Let u(v) = -21*v + 39*v**2 + 24*v + 23*v**b. Does 22 divide u(-2)?
True
Let l(v) = 120*v**2 - 30*v - 64. Is 4 a factor of l(-2)?
True
Let r be 42 + (42/(-63) - (-8)/(-6)). Is ((-100)/r)/(3/(-900)) a multiple of 23?
False
Let w be (-2)/(-6) - 6/(-9). Does 52 divide -82*((-5)/5 - 4/w)?
False
Let t be 3 + (1 - (2 - 1)). Suppose -3 = t*d, -2*d = 2*m + 3*d + 489. Let w = -154 - m. Does 27 divide w?
False
Suppose 0 = -24*p + 17 + 823. Suppose 0 = -3*o + 40*w - p*w + 875, 10 = 2*w. Is o a multiple of 30?
True
Suppose -11*d + 1370 = -1985. Let a = 518 - d. Does 11 divide a?
False
Let p be -6 - ((-20)/5 + 4). Is 8 a factor of 6/9*p - (-6 + -291)?
False
Let z(m) = -112 - m + 2*m + 6*m + 68. Is z(9) a multiple of 13?
False
Suppose 0 = b + 3*y - 40212, -135*b + 132*b - 5*y = -120632. Is 13 a factor of b?
True
Suppose 0 = 5*m - 1732 - 863. Suppose 13*t - m = -51. Is 8 a factor of t?
False
Let j = -893 + 2170. Is 22 a factor of j?
False
Suppose 4*j - 10 = -j - 5*o, 5*j - 4 = o. Let g be 2 - 5*(-1)/j. Suppose g = s - 12. Is 19 a factor of s?
True
Suppose -168*o - 215*o = -1373438. Is 20 a factor of o?
False
Is (-48984)/(-96) - (-2)/(-8) a multiple of 3?
True
Let y(h) = -h**3 + 15*h**2 + 14*h + 37. Let a be y(16). Suppose -a*u + 999 = -4*l, 3*u - l + 4*l - 621 = 0. Is 7 a factor of u