n be s(-3). Let x = n + 545. Is x a multiple of 52?
False
Let d = 24 - 18. Suppose 2*y + 16 = d*y + s, s = 0. Suppose -y*a + 149 = 17. Is 22 a factor of a?
False
Let l(j) = -150*j + 16. Is 4 a factor of l(-4)?
True
Let u(w) = -382*w - 20. Is u(-1) a multiple of 6?
False
Let i(f) = -f - 8. Let a be i(-8). Suppose 26 = v - n, a = 3*n - 0*n - 12. Suppose -v = -l - 0*l. Is l a multiple of 15?
True
Is 51 a factor of (-72)/(-38) + -2 - 430032/(-589)?
False
Let t(j) = -9*j**3 - 6*j**2 - 33*j - 15. Does 15 divide t(-5)?
True
Let z(j) = -3 + 20*j**2 - 16*j**2 - 29 + 12*j. Is z(6) a multiple of 20?
False
Suppose 0 = 3*z - 3*h + 2*h - 617, -2*h + 620 = 3*z. Does 3 divide z?
False
Let l(q) = 3*q + 45. Does 6 divide l(13)?
True
Let t = -10 + 10. Suppose -5*n + 4*n + 3290 = t. Is (-2)/9 + n/63 a multiple of 16?
False
Let r = -20 - -22. Let k be r/(-5) + 666/15. Suppose 4*b - 176 = -k. Is 11 a factor of b?
True
Let a(q) = -q. Let s(g) = -8. Let r(p) = -a(p) + s(p). Let n be r(14). Is 3 + n + -1 + 0 a multiple of 4?
True
Let l(k) = -k**3 - k**2 + k + 2. Let r be l(0). Let f = r - -3. Suppose v - 4*y - 17 = 0, -f*v - 2*y + 20 + 21 = 0. Does 5 divide v?
False
Let s be -4 - ((-5)/(-15) + (-19)/3). Suppose -5*u + 88 = w, -3*w + s*u + 364 = -3*u. Is w a multiple of 27?
False
Suppose -4*v - g = -226, -2*g - 156 + 48 = -2*v. Is 8 a factor of v?
True
Let c = 62 + 34. Is c a multiple of 57?
False
Suppose 3*o - 36 = -o. Let s = o + -7. Suppose i - s*i = -24. Does 8 divide i?
True
Let d(u) = -45*u**2 - 3*u - 9. Let o(s) = -23*s**2 - 2*s - 4. Let a(k) = -3*d(k) + 5*o(k). Does 48 divide a(4)?
False
Let m(p) = -10*p**2 + p - 3*p**3 - 10 - 2*p**2 + 14*p**3 - 8*p**3. Does 9 divide m(5)?
False
Let o = 2 - 4. Is 14 a factor of (o - -5) + 41 + -5?
False
Suppose 3*x + 5*d = 5, 0 = x - 0*x - 4*d - 13. Let j be (-21 - 5)*x/(-2). Suppose -15*f = -20*f + j. Is f even?
False
Suppose 8*m = 3*m + 15. Let a be 260/45 - 4/(-18). Suppose -3*q - 141 = -a*q + d, m*q + 4*d - 126 = 0. Is q a multiple of 15?
False
Let q be (-40)/12*(-33)/2. Let u = -31 - -20. Is (-10)/q - 464/u a multiple of 14?
True
Let w(x) = 3*x**3 - x**2 - 19*x + 3. Is w(8) a multiple of 49?
True
Let u(t) = 8*t**3 - 6*t + 30. Does 123 divide u(6)?
True
Let k = -287 + 408. Is k a multiple of 2?
False
Let z(h) = -h**2 - 6*h + 3. Suppose 20 = -3*v - 2*b, 2*v + b + 5 = -9. Let y = v + 2. Does 2 divide z(y)?
False
Let m(f) = 2*f - 1. Let l be m(2). Let d = -3 + 7. Suppose l*b = 2*b + d. Does 4 divide b?
True
Let x = 51 - 74. Let r = x - -19. Does 14 divide (4 - -39) + r/2?
False
Let i be 34 + (-12)/(-3) - -2. Suppose 4*j = -j - i. Does 6 divide ((-24)/j)/(1/2)?
True
Let d(b) = -b**3 - 30*b**2 - 20*b - 292. Is d(-31) a multiple of 116?
False
Suppose 0 = r + 3*l + 9, -2*r - 6*l = -3*l + 12. Is r*(-196)/12 + -1 a multiple of 15?
False
Suppose 0 = 5*m - 3*b + 205, 5*b + 99 + 24 = -3*m. Let t = m - -58. Is t a multiple of 17?
True
Suppose -32 = -o - u + 4*u, 5*o - 5*u - 140 = 0. Let c be (-2 - 0)/((-2)/o). Let f = c + 34. Does 30 divide f?
True
Let v = -102 + 58. Let q = 56 + v. Is q a multiple of 3?
True
Let w(m) = m**2 + 18*m + 12. Let a be w(-10). Let u = -32 - a. Is u a multiple of 18?
True
Let v(s) = -s**2 - 3*s - 2. Let m be v(-1). Suppose 0 = a - m*a - 4*i - 1, 3*i = -5*a - 18. Is 14 a factor of a/2*224/(-6)?
True
Suppose 5*q + 3*r = 3040, -q - 3*r + 393 + 203 = 0. Does 21 divide q?
False
Let z(l) = 26*l + 422. Is 11 a factor of z(21)?
True
Suppose 7406 = 2*u + 4*w, -19*u + 17*u = -2*w - 7424. Does 9 divide u?
False
Let a be 6/21 - 2739/7. Suppose -2*k - 30 = -4*u, 2*u - 5*k - 30 = -k. Is 8 a factor of (a/85)/((-1)/u)?
False
Let p be -2 + 4 + (11 - (-5 + 4)). Let j = p - -5. Is j a multiple of 3?
False
Suppose -2*r - 62 = -5*o, -4*r = o - 8 - 22. Suppose -971 = -5*x + o. Is x a multiple of 41?
False
Suppose -5 = -3*q + 2*q. Suppose 0 = -q*m - r + 65, r = -2*r + 15. Is m even?
True
Let v(h) = -h**2 - 9*h - 8. Let s be v(-7). Suppose 0 = 2*c + 3*a - 93, s*c - 2*a + 174 = 10*c. Is 7 a factor of c?
True
Is 17 a factor of (-1133754)/(-777) + (-1)/7?
False
Is 788*-3*23/((-138)/4) a multiple of 22?
False
Let m be (-9 - -11)/((-2)/(-20)). Suppose -2*o - 3*o = m. Is 2*6*(-3 - o) a multiple of 3?
True
Let m(t) = 26*t**2 + 17*t - 30. Is 13 a factor of m(4)?
False
Suppose -d - 2412 = -5*d. Does 67 divide d?
True
Let z(u) = -u**2 + 7*u + 4. Suppose 0 = -8*h + 7*h + 7. Let v be h*-1*(6 - 7). Does 4 divide z(v)?
True
Let u(f) = f**3 - 16*f**2 + 15*f + 4. Let s be u(15). Suppose 0 = 4*v + 4*a - 68, s*v + 5*a = -0*a + 64. Suppose v = n + 6. Is 5 a factor of n?
True
Suppose -3 + 9 = -g. Let j be (25 + 3 + g)*4. Suppose v - j = -v. Does 22 divide v?
True
Suppose -2*z - 24 = -4*k, -4*z - k = 2*k + 4. Let h(y) = -2*y + 4. Let n be h(z). Let m = 2 + n. Is m a multiple of 10?
False
Let f = 42 - 21. Suppose -i = -5*v - 2*i + 15, -v - f = 5*i. Does 3 divide v?
False
Let a = 3 - 3. Let r(l) be the third derivative of -l**5/60 + l**4/24 + 9*l**3/2 - l**2 + l. Is r(a) a multiple of 9?
True
Suppose a + 25 - 9 = 0. Let u = 32 + a. Does 4 divide u?
True
Let a = 3381 - 1000. Is 4 a factor of a?
False
Let z = -224 + 544. Is z a multiple of 40?
True
Suppose q - 30 = -5*b, -3*q + 2*b - 1 + 23 = 0. Suppose -3*x + 20 = 2*v - 3*v, 0 = 3*x - 12. Let k = q + v. Is k a multiple of 2?
True
Let s(j) = -j**3 + 2*j + 150. Is s(0) a multiple of 7?
False
Suppose -5*y + 182 = 2*d, 35 = y - 0*d - d. Let v = y + -21. Is 3 a factor of v?
True
Suppose -p + 2*u + 299 = 0, -4*u = 2*p - u - 619. Suppose -2*z = p - 1367. Suppose -2*y + 6*y = -5*x + z, 4*y = 16. Is 23 a factor of x?
False
Let z = -880 - -1273. Is 13 a factor of z?
False
Is 5 - (-64 - (4 - (1 + 7))) a multiple of 65?
True
Let v = 697 + -442. Does 17 divide v?
True
Does 33 divide (10 - (-450)/(-40)) + 645/4?
False
Let f(m) = -12*m + 6. Let d be f(0). Suppose d*g = 5*g + 84. Is 21 a factor of g?
True
Suppose 3*b + 3*c - 381 - 525 = 0, 0 = 5*b + 3*c - 1506. Suppose 15*o = 10*o + b. Does 12 divide o?
True
Let h(w) = 7*w**2 - 2*w + 120. Is h(16) a multiple of 47?
True
Suppose -2*k - 16 = -3*k. Let f = 19 - k. Suppose 0 = -4*o - 5*g - 4, 0 = f*g + 9 + 3. Does 3 divide o?
False
Let p = 16 + -2. Let h = p - 12. Suppose 3*v - 85 = w, 5*v + h*w - 173 = -35. Does 14 divide v?
True
Is 23 a factor of ((-385)/(-20) - 6)/((-2)/(-368))?
True
Suppose 4*j - 5*m = 2*j + 1581, -2*m - 2 = 0. Is 15 a factor of (-2)/(-9) - j/(-18)?
False
Let w(s) = s**3 + 11*s**2 + 12*s + 13. Let l be w(-10). Let i be (3 + l - -1)/(-1). Suppose i*j - 7*j + 100 = 0. Is 6 a factor of j?
False
Let r = -373 + 975. Is r a multiple of 25?
False
Let n be 0 + 1 - (-3)/(-1). Let o be ((-9)/n)/((-7)/(-154)). Let v = 175 - o. Is v a multiple of 18?
False
Suppose g - 2*g = 4*g. Let y(n) = -n**3 + 6*n**2 + 6*n - 6. Let x be y(6). Suppose 10*h - 15*h + x = g. Is 6 a factor of h?
True
Let l(q) = 44*q**2 - 2*q + 1 + 3*q + 1. Suppose 35*m - 34*m = -1. Is l(m) a multiple of 20?
False
Let a(l) = 2*l**2 + 24*l + 29. Let h be a(-11). Let d = -3 - -7. Let p = h + d. Does 2 divide p?
False
Let t = 42 - 115. Let y = 46 - t. Let v = -80 + y. Does 13 divide v?
True
Let t(p) = -35*p + 11. Suppose 7 + 14 = -7*w. Is 29 a factor of t(w)?
True
Let i = -3465 + 7640. Does 138 divide i?
False
Let w = 340 + 19. Does 12 divide w?
False
Let y = -4705 - -2007. Does 44 divide y/(-9) - 10/(-45)?
False
Let i = 15 + -10. Let z be 4/10 - (-28)/i. Suppose -3*k + z = -3*d - 30, -2*k + 33 = d. Is 6 a factor of k?
False
Suppose 660 = w - 4*q, 0 = -w - 12*q + 11*q + 635. Does 74 divide w?
False
Let t(a) = 2*a + 1. Let z be t(4). Let y be (-30)/z + (-3)/(-9). Does 5 divide (1 - y)/(-4) - -6?
True
Let q(f) = -f**3 - 2*f**2 - 4*f - 6. Let d be q(-2). Suppose 3*j + 3*o = -d*j + 595, 2*o = 0. Is j a multiple of 11?
False
Suppose 4*v - k + 49 = 0, 2*v - 5*k = -3*k - 26. Let p be (-3)/1*16/v. Does 13 divide (-58)/p*(0 - 2)?
False
Suppose 0 = -2*p + 29*v - 34*v + 2564, -2*v = 5*p - 6452. Is 17 a factor of p?
True
Let z be ((-5)/(15/(-261)))/(9/6). Suppose -j = -z - 50. Does 27 divide j?
True
Suppose 1183 = -5*o + 6363. Is 4 a factor of (-2)/(-13) + o/26?
True
Let x = -489 - -712. Let n = -108 + x. Is 20 a factor of n?
False
Let d = 19 - 19. Suppose d = -0*x - 2*x. Suppose x = -p - 2*c + 26, -p + 40 = -3*c