 + 4*p = -58348, -p + 161 = 168. Does 36 divide m?
True
Let x(a) = -a**2 + 17*a - 66. Let k be x(7). Suppose -k*q + 2164 = -2*d, 0 = 2*q + 4*d - 1316 + 224. Is q a multiple of 16?
False
Suppose -548 = 43*b - 1408. Suppose 24*m = b*m + 3520. Is m a multiple of 20?
True
Suppose -16 = 4*z + v, z - 4 = 4*v - 8. Let u(m) = 22*m**2 + 8. Does 72 divide u(z)?
True
Let s(d) = -3*d**3 + 4*d + 1. Suppose 2*k = -2*g - g - 3, 0 = -5*g - 5*k. Is s(g) a multiple of 2?
True
Suppose -3*u - 76 + 387 = q, 2 = 2*u. Suppose 3*h - 5*i = q, -i + 6 = 2*i. Does 33 divide h?
False
Let q(z) = -z**3 - 11*z**2 - 8*z + 23. Let v be q(-10). Suppose 0 = v*u - 2765 + 833. Does 9 divide u?
False
Let n(f) = -4557*f - 9. Is n(-5) a multiple of 146?
True
Let n be -4 + 1*(0 - -7). Suppose 0*q - 688 = -5*q + n*c, 3*q - 4*c - 404 = 0. Is 20 a factor of q?
True
Let y = 1963 + -658. Is 8 a factor of y?
False
Let q(r) be the third derivative of -2/3*r**3 - 7/12*r**4 - 1/120*r**6 + 0 + 2*r**2 + 0*r + 13/60*r**5. Is 7 a factor of q(11)?
True
Does 209 divide 6/2 - 30*11368/(-16)?
True
Suppose 17084 = 12*b - 9*u + 5*u, 1437 = b - 2*u. Is b a multiple of 29?
True
Suppose -20*p = -19*p - 5*d - 3664, -4*p = 4*d - 14560. Does 4 divide p?
True
Let f = 828 - 825. Suppose -f*y = -y - p - 794, -3*p = -y + 402. Is 11 a factor of y?
True
Let h(i) = i**3 - 26*i**2 - 29*i + 67. Let p be h(27). Let g(j) = 26*j - 8. Is 33 a factor of g(p)?
True
Let k(f) = 65*f**3 + 10*f**2 - 500*f + 3036. Is k(6) a multiple of 99?
False
Let k = -248 - -235. Let t(j) = 8*j**2 + 3*j. Let h be t(-2). Let m = k + h. Does 4 divide m?
False
Is 12804 - -173 - (-15 - 1) a multiple of 107?
False
Let r = 4238 + -4212. Suppose 0*y + 14 = y. Let z = r + y. Is 20 a factor of z?
True
Let q = 37346 - 15306. Is q a multiple of 58?
True
Suppose 118*x - 137*x = -3553. Does 6 divide x?
False
Suppose 0 = l + 5*o - 23, -l - 3*o + 14 = -o. Suppose 0 = -t + l - 94. Let k = t + 162. Is k a multiple of 7?
False
Let z be ((-966)/(-2))/((-1)/(-2)). Let j = 1362 - z. Is 6 a factor of j?
True
Suppose 0 = 4*w + w - 2*z - 138336, 0 = -3*w + 3*z + 83016. Is w a multiple of 152?
True
Is 12 a factor of 0/(-23) - ((-98)/4 - 3)*642?
False
Let y = 1015 - -875. Does 10 divide y?
True
Suppose 3*z = 51 + 51. Let o = z + -31. Let g(d) = 3*d**2 - 6*d + 7. Does 4 divide g(o)?
True
Suppose 2*a - 2*t - 16 = 0, -11 = -13*a + 11*a + t. Is 918 - (-3)/a - 4 a multiple of 59?
False
Let k = -2201 - -2902. Is 69 a factor of k?
False
Does 39 divide ((-5644)/1245)/34 + (-4682)/(-15) + 0?
True
Let p be (8 + 2 + -10)/(3 + 0). Suppose 14*s + 15*s - 1566 = p. Is 6 a factor of s?
True
Suppose 2*t = 4*d - 9801 - 919, 5*d - 4*t - 13397 = 0. Is 4 a factor of d?
False
Let y = 730 + 3298. Does 101 divide y?
False
Suppose 24*k = 69327 - 38352 + 143601. Is k a multiple of 32?
False
Let s(y) = 3*y**2 - 24*y - 11. Let h be s(9). Suppose -h*t = -22*t + 648. Does 6 divide t?
True
Suppose -3*i = 2*q + 2 - 32, 3*i - 30 = -4*q. Suppose 7*m - 8*m + i = 0. Suppose n = m + 7. Does 5 divide n?
False
Let a be (-2 - (-3)/2)*0 - -36. Let m(n) = a + n - 12 - n**3 - n**2 - 18. Is 25 a factor of m(-4)?
True
Let x(l) = -l**2 - 7*l - 13. Let v be x(-3). Is 25 a factor of v + 1 - (-1 - 894/6)?
True
Let o be -2 + 1 + (-6)/2. Let i(q) = 55*q + 7. Let j(t) = 62*t + 9. Let k(h) = -8*i(h) + 7*j(h). Does 17 divide k(o)?
False
Let g(y) = 37*y**2 - 3*y - 154. Is 9 a factor of g(14)?
True
Let j = 2325 - -10600. Is 47 a factor of j?
True
Let i = 2314 + 302. Is i a multiple of 15?
False
Suppose -76 = -8*t + 68. Suppose -14*f + 17*f = t. Does 33 divide 66/((4/12)/(2/f))?
True
Let u be 1/5 - (-12)/(-5)*-2. Let i(c) = c**3 - 3*c**2 + 2*c - 8. Is 5 a factor of i(u)?
False
Suppose f - 42 = 5*l - 126, 0 = f + 4*l + 57. Is 62 a factor of (-7 + 18)*(-2 - f)?
False
Let q(r) = r**2 - 20*r + 97. Let l be q(7). Does 56 divide (-6)/(4/((-896)/l))?
True
Let h = -188 + 191. Suppose -h*o = -12, -o + 260 = g - 0*o. Is g a multiple of 11?
False
Let p be 68*(6 + (2 - 124/16)). Let s(c) = 2*c**3 - 34*c**2 + 11*c - 55. Is s(p) a multiple of 4?
True
Suppose -30*k + 8525 = 65. Is k even?
True
Suppose -66860 = -2*c - 10*c + 11668. Is c a multiple of 16?
True
Suppose 5*j + 3*t - 162 = 264, 2*j - 168 = -2*t. Let c = 121 - j. Is 9 a factor of c?
False
Let x(k) = -35*k**3 - 4*k**2 - 9*k - 11. Is x(-4) a multiple of 31?
True
Let q(d) = 4*d**3 + 30*d**2 + 16*d + 36. Let c be q(-8). Does 44 divide ((-12)/6 - 0)*c?
True
Let s(v) be the first derivative of 17*v**2/2 + 4*v + 7. Let r be s(-11). Is (r/(-21) - 1)/(24/112) a multiple of 4?
True
Suppose 0 = -3*h + 17362 + 4994. Is 9 a factor of h?
True
Let y be 3/(-6) - 1/2*-1. Suppose y = -4*q + 43 - 23. Let a(j) = 30*j + 2. Is 38 a factor of a(q)?
True
Suppose -d + 47*w = 37*w - 11010, 3*d - 3*w - 33111 = 0. Is d a multiple of 24?
True
Let r(f) be the first derivative of -7*f**3/3 + 44*f - 84. Does 4 divide r(0)?
True
Is ((-123)/820)/((-9)/10)*160266 a multiple of 11?
False
Let u(g) = 65*g**2 + 431*g + 10. Is 13 a factor of u(-8)?
False
Let t(o) be the third derivative of o**4/4 - 10*o**3/3 - o**2. Let g be (-27 + 35)*(0 - -1). Is t(g) a multiple of 4?
True
Let x(a) = -44*a - 2. Let c be x(1). Let u be (-2)/4 + -1 + (-11477)/c. Suppose 0 = -5*q + u + 112. Is 8 a factor of q?
True
Let g be ((-12)/(-18))/(2/(-9)*-1). Let p be (-2)/g - (-600)/36. Let f = p + -11. Does 5 divide f?
True
Suppose -5*d - 74 = 4*c - 0*c, -2*d - 2*c = 30. Let k be (d/8)/(17/(-68)). Suppose k*n - 12*n + 405 = 0. Is 37 a factor of n?
False
Let c be ((-44)/(-12) - 2)*(-54)/(-30). Suppose 0 = -3*x + g + g + 274, 0 = -2*x - c*g + 174. Is 5 a factor of x?
True
Suppose -241*m + 2679589 = -32*m. Does 16 divide m?
False
Let j = -341 - -659. Suppose -j = -3*k - 2*t, 3*k + 5*t - 281 - 28 = 0. Is k a multiple of 9?
True
Let u(k) = 26260*k**3 + 3*k**2 + 11*k - 14. Is u(1) a multiple of 26?
True
Let l(f) = 197*f - 299. Let w be l(9). Suppose -3*y = -w + 154. Is 11 a factor of y?
True
Does 13 divide 3920 + (-24)/28*-7?
True
Let k(o) = -233*o**3 + 2*o**2 - 12*o - 30. Suppose 2*m - 5*m = 4*b + 10, -2*m = -4*b. Is 68 a factor of k(m)?
False
Let o = 2 - -23. Suppose 0 = -5*z - o, 7*g + z + 5 = 2*g. Suppose g = -8*d + 3*d + 1225. Is 35 a factor of d?
True
Suppose 162 = 3*z + 234. Is 11 a factor of 0 - -9*(-88)/z?
True
Let w = -51 + 22. Suppose 4*f - 376 = 5*b, -5*b + 2*f - f - 379 = 0. Let p = w - b. Is 13 a factor of p?
False
Let x = -1166 - -1718. Suppose -3*q + 11*q - x = 0. Let w = 11 + q. Is w a multiple of 18?
False
Suppose -501*v + 223452 = -474*v. Does 16 divide v?
False
Let d(g) = g**3 + 20*g**2 + 16*g - 54. Let c be d(-19). Suppose c*j + 315 = 966. Does 11 divide j?
False
Let o(a) = -529*a - 7. Does 88 divide o(-7)?
True
Suppose 0 = 2*i - 6*i - 32. Let v be (18/(-24))/(3/i). Suppose -17 = -y + 2*d, v*y - d - 29 = 2*d. Is 3 a factor of y?
False
Let f(v) = -285*v + 198. Let g be f(-18). Suppose 8*z - 20*z = -g. Is 50 a factor of z?
False
Suppose 11*j - 24427 = 3667. Is 46 a factor of j?
False
Let r be 72/(-108) + (-8)/(-3). Suppose 2*j + 65 = -n + 426, -2*n = -r*j + 352. Is j a multiple of 5?
False
Suppose 20*w = 3973 + 587. Suppose 2304 = -222*q + w*q. Is 16 a factor of q?
True
Let i = 558 + -527. Suppose 9*r + 3080 = i*r. Is r a multiple of 35?
True
Is 175 a factor of 16/30*(-14803590)/(-188)?
False
Let q be (-5)/(-2) + (-2)/4. Let d(g) = -38*g**2 - 7*g + 5. Let f(a) = 25*a**2 + 4*a - 3. Let u(i) = 5*d(i) + 8*f(i). Is u(q) a multiple of 10?
False
Is -1 + (-1)/2 + (-4585335)/(-762) a multiple of 32?
True
Is (3 + 5/(250/(-230)))*-8235 a multiple of 22?
False
Suppose 28 = -2*q + 7*q - 2*j, 2*q = -2*j + 14. Suppose q*i - 97 + 469 = 0. Let v = 87 + i. Does 24 divide v?
False
Let o = 3103 + -4656. Let p = o + 2305. Is 7 a factor of p?
False
Let y(i) = 46*i + 53 - 54 - 22. Is 3 a factor of y(10)?
False
Let c be (-75)/50*(-1 + -1). Let r be 4*(16/(-4) + c + 2). Suppose r*s = -0*s + 152. Does 19 divide s?
True
Let q be 21 + 11 + (0 - 0). Suppose 6 = q*h - 33*h. Does 11 divide 70/(-3)*27/h?
False
Let a be 210/2*2/(-10)*-2. Let t = a + -45. Is 19 a factor of (-3)/(-9) - 398/t?
True
Suppose -4*f = 3*l - 21, -4*f + 0*f = -l - 41. Suppose 0 = f*j - 1 + 1. Suppose 3*s + 3*i = s + 30, 5*s + i - 88 = j. Does 18 divide s?
True
Let h(w) = w**3 - w**2