ppose 0*b = -5*b - 5*p - 15, 5*b + 9 = -y*p. Suppose 8*d - 61 - 43 = b. Is 4 a factor of d?
False
Let p be 2*-57*4/(-8). Suppose 5*k + p = 12. Is 20 a factor of k/(-4)*720/27?
True
Let m(a) = a**2 - 8*a + 1416. Does 6 divide m(0)?
True
Suppose 2*n + 6*n = 1352. Let g be n + (1 - (-3 + 2)). Let h = -120 + g. Is h a multiple of 17?
True
Suppose 0 = 10*a + 114 + 106. Let j be 3 - (62 - 2/2). Let k = a - j. Is k a multiple of 6?
True
Suppose 4*n - 1525 - 323 = -4*x, -4*n = x - 1857. Is 155 a factor of n?
True
Suppose 2945*p = 2980*p - 18200. Is p a multiple of 20?
True
Let h(i) = -6*i - 21. Let o(t) be the second derivative of -t**5/20 - 5*t**4/12 + 13*t**3/3 + t**2 - 25*t. Let x be o(-8). Is h(x) a multiple of 7?
True
Suppose 3*a = -4*g + 37 + 9, -3*a + 4*g = -62. Is 7 a factor of ((-10)/(-3) + 1)/(a/378)?
True
Let i(k) = k**2 - k - 2. Let l(j) = -j**3 - 14*j**2 + 17*j + 36. Let y be l(-15). Let u be i(y). Suppose u*a - 27*a - 90 = 0. Does 30 divide a?
True
Suppose 5*n - 4*q - 267 = -0*n, -2 = -q. Suppose -19 = 9*i - n. Is i a multiple of 2?
True
Let v(b) = b**3 + 15*b**2 + 58*b + 85. Let r be v(-10). Let t(y) = -37 + 17*y - 2*y + 6. Is t(r) a multiple of 11?
True
Suppose -18*d = u - 15*d - 10877, 2*d = -2*u + 21758. Does 64 divide u?
True
Let a(t) = 2*t**2 + 18*t + 28. Let y(v) = 3*v**2 + 27*v + 42. Let n be 11 - ((-2)/(-5) - (-117)/45). Let j(f) = n*a(f) - 5*y(f). Is 5 a factor of j(-8)?
False
Let u(h) be the second derivative of -37*h**3/6 - 45*h**2 + 9*h + 1. Does 19 divide u(-5)?
True
Let n(g) = -2*g**3 - 22*g**2 + 21*g + 23. Let z be n(-13). Let q = 777 - z. Does 12 divide q?
False
Let f(l) = -30*l - 49. Let a(u) = -6*u**2 + 21*u - 3. Let c be a(4). Does 6 divide f(c)?
False
Let s(v) = -v**3 + 130*v**2 - 62*v - 1869. Does 4 divide s(129)?
False
Let b be 409/(-4)*(8 - 12). Suppose 116 = 7*l - b. Does 27 divide l?
False
Let f(p) = 2*p**3 - 8*p**2 + 11*p. Let n be f(5). Let o = n + -57. Suppose 5 = -u + o. Is u a multiple of 18?
False
Let n be (-16)/24 + 40/6 + -2. Let l be ((-746)/(-1))/(n*8/16). Suppose l = 13*o - 524. Is o a multiple of 28?
False
Let j(d) = -10*d**3 - 3*d**2 + 8*d + 16. Let o be -10 - -17 - (3 - -7). Does 14 divide j(o)?
False
Let n(x) = -x**2 + 14*x + 6. Let w(g) = 2*g**2 - 4*g - 7. Let y be w(4). Let u be n(y). Suppose u*z - 62 = 50*z. Is z a multiple of 4?
False
Suppose 6*j - j = -20. Is 7 a factor of 193 - 12/((-8)/j)?
False
Let v(d) = -d**2 - 22*d - 6. Let i be v(-21). Let u = 19 - i. Does 31 divide (-186)/u*(-8)/12?
True
Is 11 a factor of (-56)/(-112) + (-7053)/(-2)?
False
Suppose 125*d = 140*d - 13545. Is 7 a factor of d?
True
Let m(s) = -s**2 - 4*s + 7. Let r be m(-5). Suppose q + 5*y = 25, -4*q + r*y = -8*q + 28. Let l(i) = 7*i**2 - i + 15. Is l(q) a multiple of 37?
True
Suppose 23*t + 2346 = 3*c + 21*t, 0 = 3*t - 9. Is 98 a factor of c?
True
Suppose 148*s - 188*s = -484*s + 1476300. Is s a multiple of 35?
True
Let g be (4/(-6) + 0)*(-52 - -40). Suppose -4*k = g*k - 3576. Is 9 a factor of k?
False
Suppose 131*z - 129*z = -8. Let g be (5 + (-315)/10)/(2/z). Is 19 a factor of 5*(g/5 + -3)?
True
Suppose -2*b = -s - 13, 17 + 0 = b - 4*s. Suppose -5*r - b*h = -440, 0*r = 4*r - 2*h - 346. Let n = -71 + r. Is n a multiple of 5?
False
Let f(q) be the third derivative of q**5/60 - 7*q**4/6 + 35*q**3/6 - 14*q**2. Does 10 divide f(36)?
False
Let y(c) = c**2 + 4*c. Let a be y(-6). Suppose a = 4*o - 216. Let w = -39 + o. Is 15 a factor of w?
False
Let q be 3 - (21/9 + (-6)/(-9)). Let c be (4/(-8) + q)/(6/(-24)). Suppose -5*j + 16 = 2*o, 3*o - j + c*j - 24 = 0. Is 2 a factor of o?
True
Suppose -18 - 6 = -6*d. Suppose d*c + 0*c = 936. Is 26 a factor of c?
True
Let j = -131 - -136. Suppose 8*m + j*m - 6578 = 0. Is 11 a factor of m?
True
Let m(l) = -800*l + 20. Let r be m(-1). Suppose f + 0*j - 4*j - 834 = 0, 0 = -f - 3*j + r. Is 18 a factor of f?
False
Let t = -14 - -24. Let a = t + 41. Let o = a - 29. Does 11 divide o?
True
Let n(k) = -k**2 - 9*k - 18. Let p be n(-4). Suppose p*v = 5*u + 92 - 22, -5*u = 0. Is v a multiple of 2?
False
Suppose -5*w + 4*w - 3 = 0. Let k(r) = -14*r**3 - 5. Is 16 a factor of k(w)?
False
Let w(q) = q**3 + q**2 + 12*q + 22. Let r be w(-8). Let x = r - -878. Does 4 divide x?
True
Let z be -33 - (-4)/(-3 - -5). Let d be (-39)/1*198/(-54). Let j = z + d. Is j a multiple of 16?
True
Let t be (-1117)/(-2) + ((-6)/(-6))/(-2). Suppose s + 5*s = -t. Let k = 222 + s. Is k a multiple of 24?
False
Let u(a) = -a**2 + 20*a + 16. Let c = -481 - -481. Is 4 a factor of u(c)?
True
Suppose 466*h + 69542 = 488*h. Does 3 divide h?
False
Let z(c) = 3*c**2 - 90*c - 840. Does 18 divide z(-56)?
True
Suppose -r - 215 = -821. Let n = r + -304. Is n a multiple of 17?
False
Suppose -6*a + 7*a - 5*s = 10, 0 = -5*a - 5*s + 50. Let b = 27 - 1. Suppose 27*u = b*u + a. Is 2 a factor of u?
True
Suppose -9*i - 3*w = -4*i - 88, w + 64 = 3*i. Suppose i*z - 2748 = 272. Does 4 divide z?
False
Suppose 25879 - 182439 = -5*u. Is 76 a factor of u?
True
Let a(m) = 645*m - 2636. Is a(15) a multiple of 59?
False
Does 28 divide (-114080)/(-690)*(-147)/(-2)?
True
Let m(h) be the third derivative of h**4/12 + h**3/3 + 303*h**2. Let v be 13 - 2/((-6)/(-3)). Is 3 a factor of m(v)?
False
Let h(k) = -2*k**3 - 6*k**2 + 21*k + 156. Does 3 divide h(-13)?
False
Let l = -447 - -448. Is l/2 - (20956/(-8))/13 a multiple of 7?
False
Let j(x) = -727*x - 873. Is 56 a factor of j(-23)?
True
Let b(s) = 2*s + 10. Let r be b(-5). Let q(m) = -m + 2. Let z be q(r). Suppose -2*x - z - 6 = 0, c - 3*x = 147. Is c a multiple of 11?
False
Let h = -212 - -212. Suppose -61*i + 63*i - 96 = h. Is 3 a factor of i?
True
Let i = -78 + -547. Let q = -194 - i. Is q a multiple of 11?
False
Suppose 94*c - 27*c = 119311 + 30501. Is c a multiple of 19?
False
Suppose 4*f - g + 2*g = 37, 4*f - 2*g = 46. Suppose -3*x + f = -2. Is 15 a factor of (-5*x/(-50))/(2/390)?
False
Let f be ((-2)/1)/(4/22). Let o = 14 + f. Suppose 467 = o*n + 4*z, -2*z = 3*n - 243 - 226. Is 40 a factor of n?
False
Let f = -3137 - -3313. Is 4 a factor of f?
True
Let w(z) = -56*z**2 - 4843*z - 50. Does 48 divide w(-86)?
False
Let h(y) = 2230*y + 4670. Is 130 a factor of h(7)?
True
Suppose 13*w + 40 = 15*w. Is ((-708)/5)/(w/(-50)) a multiple of 18?
False
Let g(l) be the second derivative of 5*l**4/6 + 3*l**3/2 + 9*l**2/2 + 110*l. Does 24 divide g(-2)?
False
Suppose -64 - 2006 = -l. Suppose 880 = 5*t - l. Let v = -328 + t. Is 50 a factor of v?
False
Suppose -72527 = -3*a + t, 80*a - 75*a + 5*t = 120925. Is 8 a factor of a?
False
Does 32 divide 10 + -10 - (5799/(-2) + (-16)/32)?
False
Suppose 103*b = 122*b - 551. Suppose -403 = -b*m + 6557. Is 3 a factor of m?
True
Suppose 4*p - t + 108 = 0, 4*t = 3*p + 6*t + 70. Let c = 96 + p. Is c a multiple of 8?
False
Let h be (4 - 1)*(-4 + 322/(-21)). Let i = h - -80. Suppose 17*z - i*z = -945. Does 9 divide z?
True
Let n = 18 + -11. Suppose -m = 3*l - 117, -6*l - 259 = -2*m - n*l. Let z = m - 74. Is 11 a factor of z?
False
Let v be ((-73)/3)/(1/(-36)). Let w = -556 + v. Is w a multiple of 31?
False
Let i(a) = 33*a + 19. Let n = 163 - 159. Does 12 divide i(n)?
False
Does 31 divide 143130/70 + 9/7?
True
Suppose 3*y - 2*a = 104022, 12186 = -5*y + 5*a + 185551. Does 95 divide y?
False
Let o(f) = 2*f**2 - 22*f - 57. Let v be o(-13). Let c = v - 252. Is c a multiple of 32?
False
Let f = -9255 + 17780. Does 34 divide f?
False
Let s = 0 + 3. Let h be (3 - 9 - -9)*4/6. Is -13*(-3 + h) + -5 + s even?
False
Suppose -4*s + w + 280 = 0, 9*s + 5*w = 8*s + 91. Suppose -f = 57 - s. Is 2 a factor of f?
True
Let h(q) = -50*q + 50. Let a be h(4). Suppose 0*c - 525 = 5*c. Let p = c - a. Is 5 a factor of p?
True
Let q = -167 + 251. Suppose q*v - 77*v - 259 = 0. Is v a multiple of 37?
True
Suppose 76 = -11*c - 144. Let t be (-3)/1 + 6 + c/4. Is t/(-10) + (-254)/(-5) + 1 a multiple of 4?
True
Let o(j) = -j**3 - 9*j**2 + 12*j + 15. Let y be o(-10). Let v(q) = -q**3 - 6*q**2 - 3*q + 4. Let s be v(y). Is s/15 + -1*2886/(-15) a multiple of 48?
True
Let w(u) = u**3 - u + 4. Let k be w(-2). Let b be k*(-291*2/(-12))/(-1). Suppose -4*l - 5*z = -b, 2 - 24 = -l - 2*z. Is 14 a factor of l?
True
Suppose -97*l + 95*l - 10 = 0. Is (((-456)/l)/4)/((-1)/(-15)) a multiple of 39?
False
Suppose -76*g - 184320 = -85*g.