). Is 11 a factor of (20 + -19)/(0 + -1)*d?
False
Let k(n) = -4*n**2 - 8*n + 26. Let o be k(4). Let b = o + 125. Is 21 a factor of b?
False
Is (-81 + 0 + -5)*(8/2 + -266) a multiple of 43?
True
Let p(f) = 27*f. Let y = -1 + 4. Let w be p(y). Suppose -i = -4*i + w. Is i a multiple of 6?
False
Let w be ((-1)/4)/(9/(-12))*15. Suppose -5*n = 2*c - w*c - 5090, -5*c = 4*n - 4035. Suppose 9*b - 470 - n = 0. Is 15 a factor of b?
True
Suppose -3*i - 4*n = -4*i - 25, 3*i = 4*n - 99. Let b = i + 37. Suppose h + h + 5*d - 62 = b, 4*h - 4*d - 68 = 0. Is h a multiple of 12?
False
Suppose -320 = -14*p - 6*p. Let y(f) = -f**3 - 3*f**2 + 5*f + 4. Let a be y(-4). Suppose -p*j + 1575 + 665 = a. Is 14 a factor of j?
True
Let b = -23 - -25. Suppose 5*k - 17 = b*x, 2*x = 7*k - 3*k - 12. Suppose -h - x*l = -0*l - 10, 0 = -3*h + 3*l + 105. Does 10 divide h?
True
Suppose 5*p = p. Let b be p*4/(-20) - 4. Is 12 a factor of 0 - -1 - -19 - b?
True
Let u = -50 - -39. Let t(d) = -3*d - 33. Let z be t(u). Suppose 0*l - 4*l + 72 = z. Is 9 a factor of l?
True
Let v(j) be the third derivative of j**5/20 + 23*j**4/24 + 4*j**3/3 - j**2 - 39*j. Is 59 a factor of v(-11)?
True
Is (-8)/((-88)/50721) - -9 a multiple of 132?
True
Is (-62448)/(-10)*(-840)/(-252) a multiple of 16?
True
Suppose 0 = -6*l - 514 - 404. Let t = 214 + l. Let y = t - -35. Is y a multiple of 16?
True
Suppose -3 = 10*w - 13. Let o(k) = 90*k + 4 - 11 + 0 + 3. Is o(w) a multiple of 15?
False
Let p(f) = f**3 - 6*f**2 + 10*f - 1. Let r be p(4). Let x(b) = -5*b**3 + 6*b**3 - r*b**2 - 6*b + 11*b**2 - 3. Is x(-4) even?
False
Let s = -3 + 7. Let i(j) = -j + 9. Let g be i(s). Suppose -4*r = -3*d - 107, 5*d - 11 = g*r - 141. Does 29 divide r?
True
Suppose -20*s + 32526 = -2*s. Does 18 divide s?
False
Suppose 3*o - 4 = 3*g - 28, g + o - 2 = 0. Suppose -2*z + g*a = -718, -9*a = -11*a + 4. Is 7 a factor of z?
True
Suppose -j + 5*f - 18 = 0, -5*j - 32 = 12*f - 8*f. Let s(p) = -14*p - 5 - p**3 - 1 - 12 - 7*p**2. Does 31 divide s(j)?
False
Let l(u) = 13*u - 41. Let k be l(4). Let t(w) = w**2 + 9*w + 10. Let f be t(-2). Does 33 divide ((-3)/f*k)/((-3)/(-12))?
True
Does 9 divide (-9 + 4)/(113276/37760 + -3)?
False
Suppose g - w + 1 = 0, -7*w + 27 = 3*g - 4*w. Suppose -9*b - 2140 = -5*x - 12*b, 3*x - 1255 = g*b. Is 10 a factor of x?
False
Let y = 38 - 34. Suppose -5*j - 5*v + y = -4*j, -3*j + 2*v = -12. Let m(z) = -z**3 + 6*z**2 + 6*z + 6. Is 19 a factor of m(j)?
False
Let q = -20377 + 30114. Does 4 divide q?
False
Suppose 0 = -11*c + 14*c + 5*l - 1142, -4*c - 2*l + 1532 = 0. Is c a multiple of 24?
True
Suppose -258*c - 148*c + 10677187 = -579975. Does 220 divide c?
False
Suppose -x - 5*h = -58, -4*h = -2*x + 10 + 36. Let j = 35 - x. Let y(m) = m**2 + m + 3. Is y(j) a multiple of 4?
False
Let c(d) = d**3 - 11*d**2 - 6*d + 10. Let b(f) = 29*f - 75. Let q be b(3). Is c(q) a multiple of 9?
False
Let v(b) = 9*b + 15. Let c be v(3). Suppose c*k = 33*k + 90. Is k even?
True
Let f(c) = -6*c + 149. Let t(r) = -r**3 + 12*r**2 - 17*r + 38. Let w be t(11). Does 11 divide f(w)?
False
Let j(p) = 1053*p**2 - 188*p - 977. Does 62 divide j(-5)?
True
Let x be (-3)/(-2) - 2/4. Is 7 a factor of 1519/49 + (-1 - x)?
False
Let s = -17685 + 21507. Does 7 divide s?
True
Let k(p) = 31*p - 29. Let y be k(1). Let i be (-1 - (-2 - 44))*6. Suppose 7*v - i = -y*v. Is 10 a factor of v?
True
Let c = 669 - 669. Suppose -16*z + 9*z + 203 = c. Is 2 a factor of z?
False
Is 4 a factor of (-7441 - 0)*-1 + 10?
False
Let w(f) = -2*f**2 - 2*f + 15. Let k be w(-3). Suppose -3546 = -k*r - 4*h, -2*r + 3*h = 4*h - 2359. Does 38 divide r?
True
Let y(g) be the second derivative of 5*g**3/3 + 2*g**2 - g. Let i be y(10). Let d = -26 + i. Does 30 divide d?
False
Let r(l) = l**3 - 19*l**2 + l - 9. Let p be r(19). Let x = 10 - p. Suppose 6*t - 17 - 25 = x. Does 2 divide t?
False
Suppose -3*a + 3*m + 18 = 6*m, -3*a + 16 = 2*m. Suppose -2*w + 831 = x, -a*x = -6*x - 3*w + 1665. Is 7 a factor of x?
False
Let g(z) = z**3 - 3*z**2 - 5*z. Let i be 10/25*5*2. Let f be g(i). Does 5 divide 1 - (1 + f - 8)?
False
Let s(n) = n**3 + n**2 - 7*n + 2. Let q be s(2). Suppose q*a + 768 = a + 4*v, -a - 3*v + 772 = 0. Is 56 a factor of a?
True
Let x(w) = -w. Let a be x(0). Let u be (-2 - 1) + a + (3 - 0). Suppose u = 18*f - 21*f + 144. Does 12 divide f?
True
Is 16 a factor of (((-8)/(-18))/2*3)/(221/474708)?
False
Suppose -2*d = 2*o - 11074, -o + 3*d + 5144 = -365. Is o a multiple of 33?
False
Let n be 5/(-2)*(-104)/52. Suppose 434 = 3*g - 2*g - s, -10 = n*s. Does 36 divide g?
True
Let l(c) = 37*c**2 + 5*c + 10. Suppose q - 5*o = -22, 4*q + 0*o - 4 = -3*o. Let d be l(q). Let i = d - 74. Is 37 a factor of i?
True
Suppose 2*x = 4*l - 5 + 53, -62 = 4*l + 5*x. Let b = l - -31. Let s = -10 + b. Does 4 divide s?
True
Let y be 482/(-12) + 14/84. Does 19 divide (1 + 84)*(72/y - -5)?
False
Let d(r) = r + 68. Does 11 divide d(20)?
True
Let p(c) = -182*c - 2401. Is p(-55) a multiple of 9?
False
Let l = 15926 + -12734. Does 3 divide l?
True
Suppose -2*t - 10*d = -810, 2*t - t + 2*d = 402. Does 118 divide t?
False
Suppose 13*h = 14*h. Suppose -2*k - 2*t + 538 = h, -2*k = k - 4*t - 779. Is 12 a factor of k?
False
Suppose 3*q = -q - 3*a + 18, 5*q = -3*a + 21. Suppose -q*k = -7*k + 16. Suppose -2*p + h - 35 = -3*p, k*h + 12 = 0. Is 3 a factor of p?
False
Suppose -27*n + 24*n = -1266. Is 114/(-19) + 1*n a multiple of 32?
True
Suppose 0 = -22*l - 3*l + 800. Suppose -25*t + l*t - 112 = 0. Is t a multiple of 3?
False
Let b = -104 - 457. Let c = b - -814. Does 11 divide c?
True
Let l be 321 + -2 - (-3 + 7). Let z = l + -111. Suppose 3*h + 5*j - 226 = 80, 5*j = -2*h + z. Is h a multiple of 17?
True
Let s = 16 - 25. Let y be 3 + (-1)/(-3 + (-26)/s). Suppose -7*r + 492 = -y. Is 6 a factor of r?
True
Let p = 3829 + 2342. Is 3 a factor of p?
True
Let d(k) = -62*k**3 - 39*k**2 + 22*k + 201. Does 11 divide d(-7)?
False
Suppose 0 = -11*l + 26 - 411. Let w = 97 + -25. Let x = l + w. Is x a multiple of 8?
False
Let j = 4303 + -3679. Does 23 divide j?
False
Let g be 16/32 + (-6)/4. Does 42 divide -17 + 21 + (-456)/g + 0?
False
Let d(w) = -10*w**3 - 20*w**2 - 27*w - 232. Does 10 divide d(-15)?
False
Let r(q) = 2*q - 5. Let l be r(4). Suppose 0 = l*m - t - 2, -3*m - 4*t + 22 = -0. Is 33 a factor of 1200/18 - m/3?
True
Suppose -r - 27977 = -278*b + 277*b, 3*r + 111903 = 4*b. Does 33 divide b?
False
Let t(q) = q**3 + 13*q**2 - 17*q + 3. Let x be t(-14). Suppose -j + x = -31. Let n = j - 33. Is 36 a factor of n?
False
Suppose -9 = 3*g, 0 = -5*a + 2*g - 48 + 89. Is 5 a factor of a?
False
Let k(w) = -w**3 - 8*w**2 - 19*w - 4. Let a be k(-5). Let l(f) = -18*f + f**2 - 15*f + a + 39*f. Is l(-14) a multiple of 20?
False
Let u(x) = -x**2 - 13*x - 1. Let p be u(-6). Suppose 3*o - p = 16. Let m = o - -9. Does 9 divide m?
False
Let r(c) = -c + 5. Let h(m) = -m + 6. Suppose 4*q = 2*q - 5*i + 31, -q = -3*i + 12. Let z(v) = q*h(v) - 2*r(v). Is z(-5) a multiple of 13?
True
Let u(m) be the first derivative of 37*m**3 + 3*m**2/2 + 10*m - 187. Is u(-3) a multiple of 40?
True
Suppose 3*l - 320 = 2*c, -6*l + 7*l - 85 = 5*c. Let h be (-4)/6 + l/(-33). Is 14 a factor of -3*h/(-24)*452/(-2)?
False
Let p(f) = 3*f**2 - 14*f + 541. Does 13 divide p(17)?
True
Let w(y) = -2*y + 80. Suppose -170 = -39*s + 29*s. Is w(s) a multiple of 9?
False
Let x(h) = h**3 + 3*h**2 - 3*h + 16. Does 12 divide x(16)?
False
Suppose 4*m = 4*b + 132, 6*m + 4*b - 66 = 4*m. Let p = -364 - -563. Does 28 divide p/3 - -2 - (-22)/m?
False
Let z(r) = r**3 + 32*r**2 - 8*r - 3. Let l be z(-23). Suppose -6734 = -21*f + l. Is f a multiple of 25?
False
Suppose c = 10 + 3. Let w = 16 - c. Suppose 0 = -4*i + 4*u + 104, 5*u - w = -18. Is i a multiple of 3?
False
Let d be (3/(-5))/((-2)/20*2). Let a(t) = -t**d + 18 + 126*t**2 - 126*t**2 + 16*t. Is a(-5) a multiple of 4?
False
Does 14 divide -3918*49/(-42) - -21?
True
Let q = 9678 - 7190. Does 8 divide q?
True
Suppose -39 + 63 = b. Suppose 32 - b = 4*y. Suppose 0 = 3*p - y*g - 183, -p + 3*g - 6*g = -50. Is 2 a factor of p?
False
Suppose 206*j - 203*j + 3 = 0. Does 13 divide ((-2 - 4) + -410)/j?
True
Suppose -6*f = 5*u - 68695, 25*f - 30*f + 54956 = 4*u. Does 7 divide u?
False
Suppose -2*l - 4*i - 1424 = -3*l, -2*i + 4202 = 3*l. Is (3 - 2)/(9/l) a 