4. Is d a multiple of 11?
False
Let j be (-10)/(-3) - (-4)/6. Suppose 2*h + y = 448, -y = 2*h - j*h + 456. Suppose h = 3*t - 0*t + q, 3*t - 4*q - 236 = 0. Is t a multiple of 39?
False
Let q(k) = -k**3 - 16*k**2 - 14*k - 55. Is q(-17) a multiple of 19?
False
Suppose 2*l = -f + 5, f + l + 3*l = 11. Let p(q) = q**3 - q + 1. Let b(w) = -4*w**3 - 7*w**2 + 2*w - 11. Let h(a) = f*b(a) - 3*p(a). Is 10 a factor of h(-5)?
False
Suppose 90*r = 87*r + 1464. Does 39 divide r?
False
Let b(h) = -22*h - 66. Does 44 divide b(-13)?
True
Suppose 31657 = 21*t - 24266. Does 24 divide t?
False
Is ((-68)/(-12))/((-4)/(-264)*2) a multiple of 17?
True
Suppose l - 4 = -12. Let p(q) = -23*q - 16. Is 33 a factor of p(l)?
False
Suppose 36 = 5*n - 3*d, 4*n - 5*d - 14 = 20. Let r(j) = 1 + 1 + 7*j - 4. Is 11 a factor of r(n)?
False
Let k(d) = 2*d + 1. Let n be k(1). Suppose -4*y + 3 = -n*p, 4*p = 5*y - y. Does 2 divide p?
False
Suppose -4*m + 5484 = 5*z, 2*m + 2*z = -2*m + 5484. Is 19 a factor of m?
False
Let o(n) = -n**3 + 2*n**2 + 10*n - 6. Let v be o(-5). Let a = 130 + v. Is a a multiple of 30?
False
Suppose 2*n - 214 = -4*u, 2*u + 2*u = 4*n + 196. Suppose -172 = -p - u. Is 40 a factor of p?
True
Let o(r) be the first derivative of -5*r**2/2 + 6*r - 8. Let p be o(-10). Suppose -p = -3*m + 88. Does 12 divide m?
True
Let b = 260 + 60. Is 16 a factor of b?
True
Suppose 0 = -4*w + 4*y - y + 9, -5*w - 5*y = -20. Suppose -p = -w*v + 123, -4*p = 7*v - 2*v - 222. Is v a multiple of 27?
False
Let t = 3106 - 886. Does 65 divide t?
False
Suppose 8 = -4*n + 28. Suppose -2*s = -n*h - 15, -5*s - 3*h + 0*h + 22 = 0. Suppose -4*m = s*c - 146, 0*m - 2 = 2*m. Does 11 divide c?
False
Let h(b) = -2*b**3 + b**2 - b - 2. Let a be h(2). Let x be (-4)/12 + a/(-3). Let v(t) = t + 6. Does 11 divide v(x)?
True
Let x be (-9)/(-18) - (-2)/(-4). Suppose 3*w - 195 = -4*u, x = 3*u + 3*w - 2*w - 140. Does 6 divide u?
False
Let o(b) = b + 4. Let l be o(-4). Suppose -5*m + i + 125 = l, -5*m + 3*i - 33 = -7*m. Is m a multiple of 6?
True
Suppose -i = 4*t - 4273, 0 = -20*t + 16*t + 4*i + 4288. Does 10 divide t?
False
Suppose 169 + 135 = 4*t. Suppose 5*d - 7*d + t = 0. Does 3 divide d?
False
Let y = 16 + -8. Let d be ((-12)/y - -2)*6. Suppose -d*q = -0*q - 243. Is q a multiple of 27?
True
Suppose 4*o - s + 26 = 6*o, -o + 2*s + 23 = 0. Does 13 divide 14 - 0 - (-4 + o/3)?
True
Suppose 96 = -61*n + 64*n. Does 32 divide n?
True
Let p(t) = 22*t**2 - t + 18. Suppose 5*r - x - 12 = r, 12 = 5*r - 2*x. Does 24 divide p(r)?
False
Let o be (1 + 2 - -2)*1. Suppose z - 92 = 2*b, 0 = -o*z + 2*b + 3*b + 440. Does 12 divide z?
True
Let x(w) = w**3 - 7*w**2 + 6*w. Let j(u) = u - 18. Let z be j(16). Let p be -4 + z/((-8)/44). Is 10 a factor of x(p)?
False
Let u be -1*38/8*-4. Suppose 0 = -21*r + u*r + 162. Does 19 divide r?
False
Let d = 133 - 104. Let v = d + 97. Is 14 a factor of v?
True
Let b = 716 - 562. Does 11 divide b?
True
Let p = 7 - 2. Suppose 20 = 5*b, -p*y = -3*b + 2*b - 116. Is 20 a factor of y/((-13)/(-10) - 1)?
True
Let l be (-9192)/54 - 2/(-9). Is l/20*(1 + -7) a multiple of 17?
True
Let x(m) = -7 - 24 - 48*m + 48. Does 9 divide x(-1)?
False
Let y(n) = n**2 - 11*n + 15. Let x be y(11). Let s = 1868 - 985. Is s/x + (-14)/(-105) a multiple of 13?
False
Let p(j) = 6*j**2 + j + 40. Is 18 a factor of p(6)?
False
Let h be -39 - (-1)/2*4. Let m = h - -63. Is m a multiple of 18?
False
Suppose -3*h + 83*w + 3817 = 84*w, -4*h = 2*w - 5088. Is h a multiple of 19?
True
Suppose -5*t - 20 = -10*t. Suppose -21 = b - t*b. Is 3 a factor of b?
False
Let x = 2265 + -1019. Does 10 divide x?
False
Is 93 a factor of (-217725)/(-60) + 1/(16/(-28))?
True
Let g be 74/19 + (-8)/(-76). Let q(r) = 11*r + 16. Is q(g) a multiple of 12?
True
Let j(i) = 2*i**2 + 4*i + 3. Let d be j(-2). Is (-9)/((-78)/(-28) - d) a multiple of 21?
True
Suppose 21 = 2*y - 3*g, -y + 3 = 2*g + 10. Suppose -181 = -y*f - 2*m, -f + 6*f - 3*m - 270 = 0. Does 19 divide f?
True
Let k be 22/14 + (-3)/(-7). Let t(h) = -15 + 2*h - 6*h + h - k. Is 3 a factor of t(-8)?
False
Suppose 4*o - 11920 = -2*a, 4*o + 6*a - 9*a - 11920 = 0. Is 17 a factor of o?
False
Suppose 5*n = 5*b + 240, 0 = 5*n + 5*b - 168 - 92. Let a = n - 28. Is a a multiple of 11?
True
Let d be (8/6)/((-10)/(-75)). Let h = 27 - d. Is h a multiple of 17?
True
Suppose 0 = -11*p + 12*p - 70. Is 5 a factor of p?
True
Let z(s) = -s - 1. Let a(g) = -5*g + 2. Let f(d) = -a(d) + 6*z(d). Let j be f(-12). Is 7 a factor of 23 + (5 + -3 - j)?
True
Suppose 2813 - 887 = 6*f. Does 23 divide f?
False
Let o(k) = -2*k**3 - 4*k**2 - 3*k + 1. Let u be o(-2). Suppose 231 = u*y - 224. Is y a multiple of 5?
True
Let d(b) = 4*b + 11. Let o(q) = -1. Let f(k) = d(k) - 6*o(k). Let c(z) = -66*z + 143. Let m be c(2). Is f(m) a multiple of 35?
False
Let l be 1/(3/6*2). Is -3*(4 + -19)*l a multiple of 9?
True
Let s(o) = 172*o**2 + o. Let k be s(-2). Suppose 5*w + 161 = k. Does 15 divide w?
True
Suppose 123 = -3*b - 63. Let n = 49 - b. Does 17 divide n?
False
Let b(k) = 193*k - 140. Is b(8) a multiple of 18?
True
Suppose 3*h = 15 - 3. Suppose -3*v + 27 = o - 6*v, -124 = -h*o - 4*v. Let i = o + -15. Does 5 divide i?
True
Let n(d) = -d**2 + 11*d - 6. Suppose 25 = -9*u + 14*u. Does 12 divide n(u)?
True
Let x(l) = 2*l**2 + 6*l - 4. Let i = 19 - 24. Let n be x(i). Let r = n + 44. Is r a multiple of 20?
True
Let x(v) = 3*v**2 + 60*v - 89. Is 19 a factor of x(-30)?
False
Let p be (3/(-2))/(-1*(-2)/(-4)). Is 2 a factor of 1 + p - 20/(-4)?
False
Suppose -5*u = 3*g - 88, -100 = -5*g + 5*u - 4*u. Does 21 divide g?
True
Let l(u) = -u**3 - 8*u**2 - 2*u - 33. Let d be l(-7). Let r = 73 + d. Is 5 a factor of r?
True
Let y(n) = -137*n**2 + 3*n - 2. Let i be y(1). Let j be 2/9 - i/36. Suppose 50 = j*b - 14. Does 16 divide b?
True
Is 10850/140*24/10 a multiple of 4?
False
Let t be 24/(-9)*2/((-4)/3). Suppose -t*u = -383 - 21. Does 21 divide u?
False
Let z(u) = -13*u**3 - u**2 - 8*u - 7. Suppose -4*d = 28 + 16. Let s(r) = 7*r**3 + r**2 + 4*r + 4. Let h(t) = d*s(t) - 6*z(t). Does 9 divide h(5)?
True
Suppose 5*s = 6*s - 41. Suppose -g + 7 = -s. Is 24 a factor of g?
True
Let r be (9 + -3)/(1*-2) - -1. Let j(v) = -2*v**3 + 2. Is 6 a factor of j(r)?
True
Let i(b) = 5*b + b**3 - 3*b**2 + 4*b - 11*b - 20. Is 8 a factor of i(5)?
False
Let d = -5 + 6. Is 2 + 61 - (2 - d) a multiple of 21?
False
Suppose -3*z - j + 2*j + 5 = 0, 2*z + j = 5. Suppose -z*w = b + 2*w - 174, b + w = 174. Is 29 a factor of b?
True
Let t be (-15)/(-3)*(3 - 2). Suppose 0 = t*h - 141 - 179. Is h a multiple of 16?
True
Suppose 3*x + 72*a - 67*a = 1097, x - 4*a - 360 = 0. Is 14 a factor of x?
True
Let v(n) = 31*n + 4. Suppose -2*l + 0 = -4. Does 11 divide v(l)?
True
Suppose 3*a - l + 0*l - 5 = 0, 4*l + 8 = 0. Let r be (-4)/24 - 495/(-54). Suppose -a = -v + r. Does 10 divide v?
True
Let t(s) = 3*s**3 + 5*s**2 - 4*s - 3. Let k(p) = -4*p**3 - 5*p**2 + 3*p + 3. Let c(u) = -2*k(u) - 3*t(u). Is 13 a factor of c(-8)?
False
Let u(a) = -2*a**3 - 5*a**2 - a + 10. Let y(t) = -2*t**3 - 5*t**2 - 2*t + 11. Let r(n) = 4*u(n) - 3*y(n). Does 28 divide r(-5)?
False
Suppose -21*g + 1115 = -502. Does 11 divide g?
True
Let k(q) = -q**2 + 26*q - 6. Let j be k(12). Suppose -j = -8*o + 2*o. Is 4 a factor of o?
False
Suppose n - 117*f - 1529 = -120*f, 0 = -2*n + 4*f + 3058. Does 33 divide n?
False
Let d be -3*(-205)/75 + (-3)/15. Suppose d*s - 2*s - 240 = 0. Is s a multiple of 11?
False
Suppose 4*q = r - 94, 3*q + 280 - 97 = 2*r. Does 10 divide r?
True
Is 15/20 - 3961/(-4) a multiple of 7?
False
Suppose 0 = -3*b + h + 1050, -4*b = -0*h + 3*h - 1387. Let g = -234 + b. Let d = g + -66. Is 9 a factor of d?
False
Suppose -4*q = 2*d - 1338, 92 + 246 = q + 4*d. Does 13 divide q?
False
Let z be (14/35)/(1/(-20)). Let p be (-198)/z - 2/(-8). Is 8 a factor of (-2 - (-90)/p)*15?
True
Suppose -660 = 47*m - 49*m. Is 5 a factor of m?
True
Let f(n) = -1025*n**3 + n**2 + 47*n + 47. Does 19 divide f(-1)?
True
Suppose -2*v - 3*n + 9 = 0, -3*v + 4*n = -n - 4. Suppose -11*y + 576 = -v*y. Is 12 a factor of y?
True
Suppose 0 = 5*h + 5, f + 5*h = 649 + 428. Is 62 a factor of f?
False
Suppose -13*c + 14 = -25. Suppose 0 = 5*o - 4*g - 63, 5*o + g - 69 = c*g. Is o a multiple of 3?
True
Let j(y) = -y**2 - 43*y - 104. Does 67 divide j(-31)?
Tru