Let k be y(-5). Is (-1 - 3) + -3 + k a multiple of 16?
False
Let x(n) = n**3 + 10*n**2 + 8*n + 19. Let w(s) = 2*s**3 + 20*s**2 + 16*s + 37. Let a(g) = 6*w(g) - 11*x(g). Is a(-9) a multiple of 6?
False
Is (-1)/2 - (-441)/6 a multiple of 19?
False
Let r = 6 - 22. Let c = r + 23. Does 7 divide c?
True
Let z be 4/2 + (-1 - 1). Suppose y - 6 = -z*a - 2*a, 20 = 5*a + 5*y. Suppose 5*x = 10, 94 = a*f + x + 8. Is f a multiple of 14?
True
Let l be (1 + 6/2)/2. Does 14 divide 61*1*(-1 + l)?
False
Suppose -5*p - 7 = -4*v - 2*p, 3*v = p + 4. Does 7 divide v*-2 + 3 + 16?
False
Suppose 0 = 19*p - 26*p + 1274. Does 8 divide p?
False
Let n(l) = -l**3 + 5*l**2 - 9*l + 10. Let g be n(7). Let a = 225 + g. Does 15 divide a?
False
Let u = 43 + -20. Is u a multiple of 23?
True
Let o(l) = -4*l - 11. Is o(-11) a multiple of 12?
False
Suppose 3*y - 688 = -0*a - 5*a, -a - 3*y = -128. Is a a multiple of 28?
True
Suppose 0 = 3*i + i - 8. Suppose i*q = -2*q + 12, -2*k = -4*q - 36. Does 8 divide k?
True
Let s(m) = -m**3 + 6*m**2 - 4*m + 3. Suppose 1 + 5 = 3*a. Is s(a) a multiple of 9?
False
Let t(x) be the second derivative of x**3/3 - 5*x**2 - 2*x. Let z be t(9). Suppose -2*h + 5*c = 3, -3*c - 58 = -3*h - z*c. Does 3 divide h?
False
Let s(l) = -l + 15. Is 5 a factor of s(-4)?
False
Let m(z) = -z + 24. Does 9 divide m(11)?
False
Let p(f) = f**3 + 13*f**2 + 12*f + 7. Let z be p(-12). Let y = -4 + z. Suppose 3*w = y*i + 84, 0*w = -3*w - 5*i + 68. Does 13 divide w?
True
Let d = 1 - 0. Let s be (2/4)/(d/(-6)). Is 3 a factor of (s/(-9))/(3/63)?
False
Suppose -6*y + 539 = -301. Does 19 divide y?
False
Let v = -33 + 65. Suppose 3*p - v = -p. Suppose -14 = 3*j + 4*x, -4*x + 28 = 4*j - p*x. Does 2 divide j?
True
Let d = -21 - -46. Is 620/d - 12/15 a multiple of 8?
True
Suppose 2*u = -5*j - 160, u + 175 = -5*j - 4*u. Let w be 3/((j/(-8))/(-5)). Is (26/5)/(w/(-20)) a multiple of 13?
True
Let n(k) be the second derivative of -2*k**2 + 0 - 3*k + 4/3*k**3. Is 12 a factor of n(5)?
True
Let v(r) = -r**3 - r**2 + 3. Suppose -w = -0*w. Let h be v(w). Suppose h*p = 106 - 16. Is 12 a factor of p?
False
Let d(o) = 4*o**3 - 2*o**2 + o. Let w(n) = -4*n**3 + 6*n**2 + 7 + 3*n**3 - n + 1. Let l be w(6). Is 13 a factor of d(l)?
True
Let r be 33*(3/9 - 0). Suppose 0*y - r = -y. Is y a multiple of 8?
False
Let x = 20 - 35. Let g = x + 36. Is 7 a factor of g?
True
Suppose 7*j - 3*j + s - 63 = 0, -5*j - s = -79. Is j a multiple of 8?
True
Let i be 3/9 - (-118)/6. Is 14 a factor of 824/i - (-4)/5?
True
Let d(c) = 3*c**2 + 2*c - 15. Is 15 a factor of d(-5)?
False
Does 11 divide 2/(-8) + 595/28 + 1?
True
Let f(p) = -7*p**3 - 5*p**2 - p + 5. Does 14 divide f(-3)?
False
Suppose 0 = -2*x + 139 - 51. Is x a multiple of 14?
False
Suppose 5*d - 3*d = 72. Is 6 a factor of d?
True
Let t(z) = 2*z**2 + 8*z + 20. Is t(-6) a multiple of 5?
False
Let y = 25 - -30. Is 11 a factor of y?
True
Let q = -1 - -9. Is 2*-1*(-52)/q a multiple of 13?
True
Suppose -2*l = -v - l + 7, -1 = 2*v - 5*l. Does 4 divide v?
True
Let b(o) = o + o**3 - 1 + 5*o**2 - 2 - 11*o**2. Let x be b(6). Suppose -3*q + 150 - 40 = -4*z, 96 = 3*q + x*z. Is 17 a factor of q?
True
Suppose 5*z = 2*z + 15. Let f(x) = -x - 1. Let l be f(-5). Suppose -l*a - z*c = -113, 3*c - 14 = -a + 23. Is a a multiple of 11?
True
Let n(t) = t**3 + t**2 + 60. Let p be n(0). Is (-2)/4 - p/(-8) a multiple of 7?
True
Suppose -2*k = -4*k + 18. Suppose 0*m - 3*m = -k, w - m = 3. Is w a multiple of 4?
False
Let m(w) = -w**3 - 13*w**2 + 8*w - 15. Let s be m(-14). Suppose 2*u - s + 7 = 0. Is 31 a factor of u?
True
Let w = -20 + 104. Suppose w = 2*u + 10. Let d = -26 + u. Is d a multiple of 11?
True
Suppose 7 - 3 = 2*v. Let o = 6 + -1. Is (o/10)/(v/32) a multiple of 8?
True
Let f = 204 - 84. Is f a multiple of 30?
True
Suppose 18*x = 15*x + 360. Does 40 divide x?
True
Suppose -60 = -4*i + 5*d, 0 = 4*i - i - 2*d - 38. Let m be (6/(-5))/((-4)/i). Let y(g) = 2*g**3 - g**2 - 3*g. Is y(m) a multiple of 12?
True
Suppose 5 = 3*q - 4. Suppose q*z - 7*z + 8 = 0. Suppose 4*p = -z*n + 102, 5*n + 5*p - 60 = 200. Is n a multiple of 15?
False
Let x be (-6)/8 - 21/(-28). Suppose -2*n + 141 = -2*s + s, 5*n - s - 357 = x. Is n a multiple of 26?
False
Suppose 0 = y + 2, 4*y + 0*y = g - 45. Suppose -d + 0*d = -g. Does 14 divide d?
False
Let r(h) = 3*h + 1. Let y = 2 - 3. Let x be r(y). Let z = x - -13. Is z a multiple of 10?
False
Let x = -4 + 4. Suppose x*o = -3*o. Suppose j + j - 36 = o. Does 9 divide j?
True
Let m be (-5)/(-2)*(7 - 1). Let t = 3 + m. Is 17 a factor of t?
False
Let w(m) = 5*m**2 - m + 2. Let x be w(-2). Let v(u) = u**3 + u**2 - u + 2. Let q be v(0). Suppose -x = -q*c - 8. Does 4 divide c?
True
Suppose 0 = -5*p + 6*p - 39. Is 11 a factor of p?
False
Let s = -7 + 12. Suppose -t - s*r = -19, -t + 5 = 2*t + 2*r. Is (0 - 5 - 0)*t a multiple of 5?
True
Let u be ((-2)/4)/(2/(-12)). Suppose -53 = -u*y + 7. Is 16 a factor of y?
False
Let r(j) = 4*j - 2. Let f be r(2). Is (-4)/6 - (-64)/f a multiple of 5?
True
Does 31 divide (-3)/((1 - -2)*(-2)/124)?
True
Suppose -3*d + 432 = -327. Let w = d + -173. Does 26 divide w?
False
Suppose 5*a + 5 = 0, 2*u + 4*a = 3*a + 111. Is u a multiple of 24?
False
Suppose 4 = -2*w + 2*n, 0 = -2*w - n + 2 - 0. Suppose w = -5*b - 27 + 132. Is 21 a factor of b?
True
Suppose -4*p = -3*l + 14, 0*p + 3*p = -3*l. Is 18 a factor of p/((4/1)/(-108))?
True
Suppose 4*x - 8 = m, 3*m + x - 18 = -x. Suppose 5*u - 5 = m*u. Does 5 divide u?
True
Let z = -104 + 181. Let x = z - 25. Is 20 a factor of x?
False
Suppose 3*y + 10 + 2 = 0. Does 15 divide (y/(-2) - 3) + 16?
True
Let t = 24 - 6. Is t a multiple of 18?
True
Suppose k + 388 = 4*c - 3*k, 4*k = -16. Suppose 4*t - m = -101, 4*t - 7*t = 5*m + c. Is 13 a factor of -2*-2*t/(-8)?
True
Let r be 1/3*60/5. Let v(c) = -c + 3. Let i(b) = -b + 4. Let o(m) = r*v(m) - 3*i(m). Is o(-5) a multiple of 2?
False
Let u = 64 + -27. Is 13 a factor of u?
False
Let j = -35 - -61. Is 9 a factor of j?
False
Let y(v) = -1 + 0 + 2 + 4*v**3 + 2*v. Does 10 divide y(2)?
False
Let f = 39 - 15. Suppose 4*p + f = 4*a, -24 = -a + 2*p - 7*p. Is 3 a factor of a?
True
Suppose -39 = 5*r + 2*i, 2*r + 4*i + 7 = 1. Let j be (-8)/(-12) - (-213)/r. Is 23 a factor of (-2 + 1)/(1/j)?
True
Let g(p) = 11*p**2 - 3*p - 1. Let d be g(4). Suppose -d = 5*l - 3. Is 12 a factor of ((-232)/l)/((-1)/(-4))?
False
Suppose 4*y - f = 15, y + 3*f = 3*y - 5. Suppose -n + 104 = y*v, -v = 5*n - 17 - 9. Is 13 a factor of v?
True
Let y = 2 - 4. Let j = 1 - y. Suppose 3*p - 3 = j. Is p a multiple of 2?
True
Let d(f) = -f**2 + 6*f - 6. Let v be d(5). Is -2 - (0 + 22*v) a multiple of 11?
False
Let v = -344 - -532. Suppose v = 2*z - 0*z. Suppose 68 = 3*t - 4*m - 2, -5*t + m = -z. Is t a multiple of 18?
True
Is 23 a factor of (9/6)/((-2)/(-52))?
False
Let l(n) = 18*n**2 - 5*n + 2. Let u be l(3). Let p = -83 + u. Is p a multiple of 18?
False
Let z(d) = -d**3 + 3*d**2 + d - 2. Is 7 a factor of z(-3)?
True
Let k(b) be the first derivative of 2*b**3/3 + 9*b**2/2 - 5*b - 1. Does 12 divide k(-7)?
False
Let v be 2 - (1*-1 + 1). Let n(o) = 67*o**2 - 1. Let h be n(-1). Suppose 2*a - h = -v*p, a - 4*p + 160 = 6*a. Does 14 divide a?
True
Let b(g) = g**3 - 10*g**2 + 10*g - 13. Let z be b(9). Let p = 12 + z. Suppose 2 = -u + p. Does 6 divide u?
True
Suppose -s = 2*s - 3*v - 63, s = 3*v + 19. Let c = -13 + s. Is c a multiple of 4?
False
Suppose 219 = -3*o - 2*q, -3*o + 0*q - 207 = -2*q. Let r = o - -122. Is r a multiple of 11?
False
Suppose -2*r - 5*r + 1008 = 0. Does 36 divide r?
True
Does 13 divide (-3 - -6)*(8/(-4) - -61)?
False
Suppose 53 + 175 = 4*w. Does 19 divide w?
True
Let j = -215 - 214. Is 17 a factor of 6/(-8) - j/12?
False
Let q be -70*((-6)/7)/1. Suppose 0 = -8*u + 4*u + q. Is 5 a factor of u?
True
Suppose y - 2*y = 3*d - 151, 2*d = y + 104. Is d a multiple of 10?
False
Let k(l) = 23*l - 2. Is k(9) a multiple of 12?
False
Let n be (-4)/(-6)*-3 + 86. Suppose -m = m + n. Does 4 divide (-4)/(-8) - m/4?
False
Suppose 2*h - 42 = h. Does 20 divide h?
False
Suppose n + 208 = 17*n. Is n even?
False
Let y(d) = 48*d. Let j(x) = 95*x - 1. Let u(w) = -2*j(w) + 5*y(w). Let n be u(2). Suppose -5*h = -103 - n. Is h a multiple of 14?
False
Let h(o) = -1 - o + 0 + 10. Is h(-9) a multiple of 9?
True
Let a be 