Suppose -10 = -3*n - 1. Is s(n) a multiple of 6?
False
Is 12 a factor of 0 + (-1490)/(-15) - 1/3?
False
Let x(n) = -n**3 - 3*n**2 + 3*n + 5. Let m be x(-4). Suppose 3*k - m = 27. Is 6 a factor of k?
True
Let w(i) = -i**2 + 20*i + 16. Is w(7) a multiple of 12?
False
Let i = 4 - 3. Let x be 1*0*i/(-3). Suppose x = 4*f - u + 5*u - 148, f - 40 = -2*u. Does 13 divide f?
False
Let p = -10 + 3. Let o = 52 + p. Suppose -2*f = -3*f + o. Does 17 divide f?
False
Suppose -4*b + 22 = -30. Suppose -4 = -s, -2*s - 33 = -2*r - b. Is 4 a factor of r?
False
Suppose d - 13 = -3*f + 2*f, 0 = 2*f - 3*d - 6. Let h = 4 + f. Does 11 divide h?
False
Is (-3)/6 + (-124)/(-8) a multiple of 5?
True
Let z be (-10)/4*(-276)/10. Let o = z - 27. Is o a multiple of 7?
True
Is 20 a factor of 137/7 + (-15)/(-35)?
True
Let z be (8/(-5))/((-4)/20). Is 15 a factor of 411/12 + (-2)/z?
False
Let v(n) = -n**3 - n**2 + 2*n - 5. Let j be v(-5). Suppose 0*r = -5*r + j. Does 17 divide r?
True
Is 6 a factor of ((-4)/(-2))/(6/36)?
True
Let x = 9 - 10. Let y(t) = -27*t - 1. Is 13 a factor of y(x)?
True
Let p be (-8 + -1)/((-3)/(-4)). Let g = 12 - p. Is g a multiple of 19?
False
Suppose 0 = -5*p + 20, 4*w = -0*w + 5*p - 8. Suppose w*s + 63 = 4*q, s + 5*q = -2 - 0. Let k = s - -28. Is 6 a factor of k?
False
Is 8 a factor of -10*(-2)/(-5)*-2?
True
Is (160/15*15)/1 a multiple of 32?
True
Suppose 7*q - 9*q + 342 = 0. Is 36 a factor of q?
False
Let m(h) = 2*h + 9. Let k be m(8). Let o = -12 + k. Is o a multiple of 9?
False
Suppose 360 = -16*z + 19*z. Does 12 divide z?
True
Does 15 divide (-3 + -24)*(-11)/3?
False
Let l = -69 - -266. Is l a multiple of 27?
False
Suppose 5*c + 1032 = 4*x, 4*x - 1032 = c - 2*c. Is x a multiple of 43?
True
Let b = 9 + -6. Does 23 divide (0 + b)*-1 - -51?
False
Suppose 308 - 58 = 5*k. Let q be (-4)/(2/1 + 0). Let m = q + k. Does 24 divide m?
True
Let t = 4 - -2. Is t a multiple of 2?
True
Let b = -6 + 13. Let f = -2 + b. Let h = 1 + f. Is h a multiple of 3?
True
Let t = 88 - 33. Let v = t - 17. Is v a multiple of 20?
False
Let c(h) = 381*h**2 - h. Let a be c(1). Suppose -3*i = 2*i + a. Does 16 divide (2 + i/6)*-3?
True
Suppose -2*h - 2*h - 25 = -l, 5*l - 81 = -2*h. Suppose -l + 7 = -5*k. Suppose -k*i = -3*i + 10. Is 5 a factor of i?
True
Suppose 405 = 3*a - 75. Suppose 3*i - a = -2*i. Is i a multiple of 23?
False
Let h(p) = 6*p + 0 - 1 + 2. Let u = 2 + 0. Is 13 a factor of h(u)?
True
Let d(t) = 2*t - 1. Is d(6) a multiple of 11?
True
Is 23 a factor of (-10)/20*(-131 + -1)?
False
Let v(t) = t**2 + 3*t + 1. Let s be v(-3). Is (-115)/(-3) - s/3 a multiple of 22?
False
Suppose -4 = 2*a - 2. Let g = 24 + a. Does 8 divide g?
False
Suppose -13*r + 137 + 383 = 0. Does 20 divide r?
True
Let p(b) = 1 + b**3 + 2*b + 5*b - 4*b - 8 + 6*b**2. Is 3 a factor of p(-4)?
False
Let i = 3 - 5. Let w be (2 - 8)*i/6. Is (12/w)/(2/2) a multiple of 6?
True
Suppose 3*o = -4*q + 160, 2*o - o = 3*q - 120. Is q a multiple of 21?
False
Let i be (-2)/4 - (-1518)/12. Suppose -i = -4*q + 74. Is 25 a factor of q?
True
Let o = 6 - -10. Let p = o + -6. Does 5 divide 1/(-2)*-1*p?
True
Let k = -4 + 7. Suppose 2*w = -k*w + 95. Does 19 divide w?
True
Suppose 3*i - 84 = -27. Let g = -11 + i. Is 4 a factor of g?
True
Let n = 10 + -2. Let w be 136/6 + 10/(-15). Let u = n + w. Is 14 a factor of u?
False
Does 13 divide 2*338/6*3?
True
Let w = 0 - 0. Let m(z) = -z + 28. Does 9 divide m(w)?
False
Let d(w) = -21*w**2 - 6*w - 7. Let l(n) = 43*n**2 + 13*n + 15. Let h(y) = -13*d(y) - 6*l(y). Does 16 divide h(-1)?
True
Let p(h) = h**2 - 10*h - 11. Let d be p(8). Let v = d + 40. Does 4 divide v?
False
Let b(w) = w**2 + 6*w - 43. Is b(-21) a multiple of 16?
True
Let r(g) = 40*g**2 + g + 1. Is r(1) a multiple of 10?
False
Is 2 - -1 - (-76 - -2) a multiple of 13?
False
Suppose -h + 4*h = -j + 119, -4*h = -3*j - 176. Is 6 a factor of h?
False
Suppose 0 = -3*q - 3*c + 141, 5*c = 7*q - 3*q - 233. Is q a multiple of 26?
True
Let y = 14 - 23. Let i be (3/y)/(2/(-342)). Suppose 0 = 4*l + 5 - i. Is l a multiple of 13?
True
Let b(h) be the third derivative of h**5/20 - h**4/24 + h**3/6 + h**2. Let t be b(1). Suppose 5*q + l = 288, 2*l + 270 = 5*q - t*l. Is q a multiple of 19?
True
Is 57 a factor of (-81)/(-135) + (-2844)/(-10)?
True
Suppose 5*h - 75 = 25. Suppose 2*j + h = 3*j. Is 20 a factor of j?
True
Let z(d) = d + 13. Suppose c + 15 = -3*a + 2*c, -3*c = 2*a + 21. Does 7 divide z(a)?
True
Let z(i) = -2*i**3 + 4. Suppose -t = 2*g + 7, 3*t + 4*g + 4 = -13. Is z(t) a multiple of 29?
True
Suppose 0 = -7*s + 838 + 30. Does 12 divide s?
False
Suppose -5*f - 5 = -q, q + f - 5 = 2*f. Suppose 15 = b + q*n, 0 = -2*b - 0*b - 2*n + 70. Does 15 divide b?
False
Let h be (-1)/(-6) - 20/(-24). Suppose 3*l + 4*c - 86 = 0, -3*c + 26 = l - h. Is 15 a factor of l?
True
Is 7 a factor of (84/10)/((-2)/(-10))?
True
Suppose 2*c - 150 = -3*c. Is 15 a factor of c?
True
Is 15 a factor of 16 + (-1)/(3/3)?
True
Let k be (-45)/(-10)*(-8)/6. Let t(r) = r**2 + 7*r + 5. Let b be t(k). Is (21/b)/(-1 - 0) a multiple of 12?
False
Let p = 54 + -4. Suppose -4*x - x + p = 0. Is 8 a factor of x?
False
Suppose -8 = 4*x - 24. Suppose 0 = 5*c - 0*c + 4*v - 235, 4*c = -x*v + 188. Does 12 divide c?
False
Let x(t) = -2 + 3*t + 3 + 1 + 1. Is x(4) a multiple of 14?
False
Let k(t) = -6*t**2 + 5*t - 4. Let s(m) = 2*m**2 + 2*m**2 - 3*m**2 + 8 + 10*m**2 - 9*m. Let p(q) = 7*k(q) + 4*s(q). Does 16 divide p(4)?
True
Let w(q) = -q**2 + q + 2. Let n be w(2). Suppose 4*a + 0*a - 48 = n. Does 6 divide a?
True
Let w(g) = -g**3 - 5*g**2 + 3*g + 6. Is 12 a factor of w(-6)?
True
Suppose -40 = -2*b + 3*y, 5*b - 123 = -y - 23. Does 20 divide b?
True
Let c(t) = -t**2 - 4*t + 1. Let i be c(-3). Suppose u - 3*l - 5 - 2 = 0, -2 = -5*u + i*l. Is (35/u)/(2/(-4)) a multiple of 15?
False
Suppose 0 = -2*l + 8, 3*t - 3*l = 2*t + 6. Does 9 divide t?
True
Suppose -i + 255 = 4*i. Is 19 a factor of i?
False
Is ((-255)/2)/((-1)/2) a multiple of 18?
False
Let a(d) be the first derivative of d**4/4 - 4*d**3/3 - 5*d**2/2 + 5*d + 2. Let s be a(5). Suppose s*c - 104 = 51. Is c a multiple of 17?
False
Suppose 2*b + 2 + 6 = 0. Does 9 divide (69/6)/(b/(-8))?
False
Suppose -2*m - 2 = 0, 5*j - 2*m + 0*m - 392 = 0. Is j a multiple of 16?
False
Suppose 1 = -r + 5*x - 6, 14 = -5*r + 4*x. Let k = r + 14. Does 7 divide k?
False
Let v(c) = 6*c**2 + c + 9. Is v(-3) a multiple of 8?
False
Suppose m - 1111 = -4*m + 3*u, -3*m + u = -665. Is 18 a factor of 1/(-4) - m/(-4)?
False
Let u be ((-8)/6)/((-4)/30). Let b(i) be the second derivative of i**4/12 - 4*i**3/3 + 4*i**2 - 32*i. Is 14 a factor of b(u)?
True
Let r(l) = l**2 - 6*l. Let p be r(5). Let s = p + 14. Let j = s + -1. Is 8 a factor of j?
True
Suppose x - 50 = -5*l, 0*x = -5*l - 2*x + 50. Let b = 15 - l. Is b a multiple of 4?
False
Suppose 168 + 339 = 3*t. Is 13 a factor of t?
True
Is 9 a factor of (-1)/(2916/(-728) + 4)?
False
Let f(k) = 2*k. Is 5 a factor of f(10)?
True
Let r(l) = -l**3 - 3*l**2 + 2*l - 4. Let k be r(-4). Let p = k + -2. Let n(a) = 10*a + 2. Does 8 divide n(p)?
False
Suppose 3*w - 62 = 10. Suppose 0 = -4*q + 88 + w. Is 9 a factor of q?
False
Let q(j) = j + 3. Let t be q(0). Suppose 5*f + 71 = -2*s, 2*f + t*s + 9 = -15. Does 13 divide (78/f)/(1/(-5))?
True
Let d(x) = -2 + 0*x**2 + 0*x**2 + 2*x - x**3 + 2*x**2. Let r(i) = i**3 - 7*i**2 + 5*i + 4. Let j be r(6). Does 4 divide d(j)?
False
Let s(d) be the second derivative of -d**6/60 + d**4/12 - d. Let l(q) be the third derivative of s(q). Does 6 divide l(-1)?
True
Let f = 42 - 8. Does 7 divide f?
False
Let c(f) = f**3 + 7*f**2 - 8*f - 5. Let m be c(-8). Suppose 0 = -4*z + 22 + 74. Let l = m + z. Is l a multiple of 19?
True
Let a = 58 - -8. Is a a multiple of 13?
False
Is 20 a factor of 635/25 - (-8)/(-20)?
False
Let m = -2 - 13. Let o be 200/m*18/(-8). Is (-1)/(-6) - (-595)/o a multiple of 12?
False
Suppose 17 = 4*z - d, 2*z + 2*d + 8 = 4. Suppose -m - z = -0*m. Let t = 12 - m. Is t a multiple of 11?
False
Let t = 96 - 152. Let r(p) = p**3 + 7*p**2 + 4*p + 1. Let f be r(-7). Let o = f - t. Does 14 divide o?
False
Let q be (-1 - 4)*72/(-20). Suppose 0 = -5*l + 4*n + 62, n + 86 = 5*l + q. Let m = l + 10. Is m a multiple of 19?
False
Suppose 3*a - 262 = -2*x + 156, 0 = 3*x + 4*a - 629. Does 36 divide x?