t q = -118 - -124. Let m(w) = -w**3 + 5*w**2 + 9*w - 18. Let o be m(q). Suppose 2*y = 4*d + 136, o = 4*y + 2*d - 252 - 50. Does 15 divide y?
False
Let a = 15854 - 11396. Is 3 a factor of a?
True
Let m be (0/(4 - 2))/(-2). Let d be m/(-1) - (-8)/(-2). Let k(y) = 3*y**2 + 5*y - 4. Is k(d) a multiple of 8?
True
Let f(b) = 4*b - 23. Let d(j) = -j**2 + 13*j + 15. Let v be d(10). Suppose 0*g + 5*g = v. Does 7 divide f(g)?
False
Let s(r) = -8*r - 23. Let x be s(-5). Let m(h) = -43*h + 16*h + 9*h + 9*h - x. Does 23 divide m(-11)?
False
Suppose 5*l + 899 = n, 4*n + 3*l = l + 3508. Suppose -6*u + 2*u - 185 = -k, -5*k = 3*u - n. Suppose 4*f + 3*y = k, 0*y + 2*y = -f + 38. Is f a multiple of 16?
True
Let t(n) = 16*n - 33. Suppose -6*m = -11*m + 350. Let h = 74 - m. Is 15 a factor of t(h)?
False
Suppose 0 = -43*d - 4*d + 26320. Does 7 divide d?
True
Let j = -53772 + 90256. Is j a multiple of 84?
False
Let d(v) be the first derivative of 5*v**2 + 56*v + 36. Let b be d(-6). Does 3 divide ((-18)/(-24))/(b/(-96))?
True
Let f be (-9624)/(-28) + 48/(-28) + 2. Suppose f = 4*l - 0*l. Let u = -54 + l. Is u a multiple of 11?
False
Suppose -4*n + 724 = -4*t, -n - t + 206 = 3*t. Let c = n + 0. Is c a multiple of 6?
True
Let y be ((4 - -257) + 2)*1/1. Let f = -209 + y. Does 9 divide f?
True
Let h(t) = -5*t + 94. Let n be h(12). Let g = n - 9. Does 3 divide g?
False
Let a(o) = 2*o + 9. Let n(v) = -23*v - 65. Let m(k) = 15*k + 43. Let l(t) = -8*m(t) - 5*n(t). Let q(u) = 5*a(u) + 3*l(u). Is 22 a factor of q(-7)?
False
Let j(b) = -27*b + 2447. Is j(70) a multiple of 6?
False
Let a(i) = -i**3 + 10*i**2 - 11*i + 5. Let w be a(7). Suppose 4*z + 131 = -5*l, 2*l - z + 3*z + 54 = 0. Let x = l + w. Is x a multiple of 7?
False
Let l(u) = 72*u**2 + 115*u - 37. Does 13 divide l(7)?
False
Suppose 3*l = -b + 13, 4*l - 21 = 2*b + 3. Suppose 3*g + 4*t - 1724 = -2*g, 5*g - 1720 = -l*t. Is 12 a factor of g?
True
Suppose 4*p - 32 = 76. Let n = p - 27. Does 12 divide n - -1 - (-101 - -5)?
False
Let t(w) = -27*w - 3. Let q be t(-1). Suppose -96 = -5*l - 2*c, 2*l = 3*l + 2*c - q. Let f = l - -6. Does 12 divide f?
True
Let d = 885 + -561. Suppose 347 = 4*f - w - d, -f = 5*w - 173. Does 24 divide f?
True
Let f(o) = 56*o**3 - 2*o**2 + 5*o. Let t be f(-2). Let z = 718 + t. Is z a multiple of 18?
True
Let z = 21057 + -19968. Is z a multiple of 14?
False
Let x be -1 - -4 - -4*4/16. Suppose -10 = 2*y, -18 = -3*c - x*y + 235. Is 13 a factor of c?
True
Suppose 8177 = 4*g - 3*k, -1174 = -g + 4*k + 880. Let d = g + -1407. Is 8 a factor of d?
False
Suppose 4*j - 5*j + 3*l = -8, 2 = -2*l. Suppose 2959 = 5*o + 3*s - 1099, j*o - 4086 = 4*s. Is 20 a factor of o?
False
Let d(o) = 441*o - 20. Let w be d(-3). Let k = -857 - w. Is k a multiple of 14?
False
Let v = 14775 - -2704. Is v a multiple of 26?
False
Let r = -781 - -1403. Let y = r - 382. Is 12 a factor of y?
True
Let q = -139 - -141. Suppose 0 = -3*z - y + 3217, -q*z - y = -2184 + 38. Is 20 a factor of z?
False
Suppose b + 680 = 9*b. Does 15 divide b?
False
Let t = 4 - -1. Suppose 28 = 3*g + s, t*s - 54 = -3*g - 10. Suppose 4*n = 28 + g. Is 2 a factor of n?
False
Suppose 3*j = -22*x + 19*x + 9378, 5*j = 3*x - 9410. Is x a multiple of 12?
False
Does 9 divide 1249 + 7 + 24 + -21?
False
Let n be (4 + (-7)/2)*0 - 1. Is 21 a factor of 26800/75 - n/(-3)?
True
Suppose 4*m - 3*o + 209 = 0, -6*m + 55 = -7*m - 2*o. Let x = m + 179. Is 18 a factor of x?
True
Suppose 0 = -4*w + 4*n - 44, 8*w + 2*n = 4*w - 74. Let j = w - -20. Is 10 a factor of 46/j + -2 - (-14)/28?
True
Suppose 2*t - 4*p + 1256 = 0, 0 = p - 4. Let d be t/6*(-84)/(-70). Let o = -49 - d. Does 11 divide o?
False
Suppose -p = -2*u + 2*p + 12, -4*p = 0. Let c(i) = -i**3 + 7*i**2 - 8*i + 14. Let t be c(u). Is (-840)/(-45) - t/(-6) a multiple of 16?
False
Suppose 59032 + 102547 = 24*z + 33563. Is 127 a factor of z?
True
Suppose 0 = -27*s + 22*s - i + 23, -4*i = -4*s + 4. Suppose -5*a + 8 = -2. Suppose p = -a*x - s*p + 191, -4*x + 422 = 2*p. Does 9 divide x?
True
Suppose -580 = 4*s - x, -3*s + 2*s - 156 = -3*x. Suppose 0 = -p - 3*p + 1008. Let i = p + s. Is i a multiple of 6?
True
Let b(w) = 3*w**3 + 3*w**2 - w - 5. Suppose c = -3*z + 14, 22*c = 2*z + 24*c - 8. Does 8 divide b(z)?
True
Does 11 divide (192/160)/((-9)/(-33410)) - 1/(-3)?
True
Suppose -1280*z = -1264*z - 9584. Does 3 divide z?
False
Let q be (-6)/5*10/(-6) - 1. Let r be (4*-2*4/(-32))/q. Suppose -4*l + 8 = 0, -4*o - 3*l + r = -341. Is o a multiple of 14?
True
Let o(q) = 4 - 3*q + 5 - 15. Let r be o(-3). Suppose d + 52 = 2*d + l, -4*d = r*l - 207. Does 13 divide d?
False
Suppose 2*o + 2*o - 11452 = -2*f, 5*o + 30 = 0. Does 19 divide f?
True
Let m be (0 + 16/10)/((-4)/(-40)). Suppose 4*p + 0*p - m = 3*a, 0 = 2*p + 2*a - 22. Let c(n) = 18*n + 6. Does 25 divide c(p)?
False
Suppose -4*g + 4*l + 446 = 70, 0 = -4*g - 3*l + 341. Suppose j - g = 14. Is j a multiple of 3?
False
Suppose 5*d - 19 - 21 = 0. Suppose 721 = -v + d*v. Suppose -3*t - 85 = 4*z - 511, -z + t + v = 0. Is z a multiple of 15?
True
Let w(c) = 419*c**2 - 25*c + 79. Is 41 a factor of w(4)?
True
Let i be 3/((4/10)/((-2)/(-5))). Suppose 0 = h + 4*h - 5*q - 1535, -i*h + 929 = 5*q. Does 11 divide h?
True
Let g(m) = 32*m - 20. Suppose -j + 5*j - 236 = 0. Let w = -54 + j. Is 22 a factor of g(w)?
False
Suppose -2*o = 0, -6*o + 5*o + 815 = 3*u - 25. Does 7 divide u?
True
Suppose 5*t - 811 = 3*g, 468 = 5*t + 2*g - 358. Suppose 3496 = t*i - 156*i. Does 20 divide i?
False
Let z = 5 - -43. Suppose c - 78 - z = 0. Is 7 a factor of c?
True
Suppose 4 + 20 = h. Let g be 78/h - (-3)/(-12)*1. Suppose 3*v - 406 = -3*w - 13, -g*v + 2*w = -373. Is v a multiple of 33?
False
Suppose 4*h = -3*c + 24910, c - 15425 = -2*h - 2971. Is h a multiple of 38?
False
Let p(t) = -t - 1. Let w(r) = -63*r - 8. Let m(c) = 2*p(c) - w(c). Let g = 3529 + -3525. Does 25 divide m(g)?
True
Suppose 235 = 5*v + 75. Let n = v - 28. Is 9/1 + n + (-5)/5 a multiple of 2?
True
Suppose 0 = 101*q - 4967 + 791 + 237. Is 2 a factor of q?
False
Let y(d) be the second derivative of -d**5/10 + 7*d**4/2 - 13*d**3/3 + 79*d**2/2 - d + 12. Is y(20) a multiple of 38?
False
Let z be 53/(-5) - (-2)/(-5). Let f(h) = h**2 - h + 12. Let s(x) = 4*x**2 - 3*x + 36. Let a(t) = z*f(t) + 4*s(t). Is 13 a factor of a(5)?
False
Let m(u) = 40*u**3 - 251*u**2 - 25*u - 4. Is 27 a factor of m(8)?
True
Suppose -101 = -2*q + 199. Suppose 281*k + 5406 = 26145 - 507. Let x = q - k. Does 3 divide x?
True
Is (-1)/(4/18)*-4*19344/288 a multiple of 13?
True
Suppose -5*y - 5*v - 13 = -2*y, 2*v + 10 = 0. Suppose 3*f = -5*i + 537, -f = y*f - 2*i - 895. Suppose -21 = 2*d - f. Does 9 divide d?
False
Let j(p) = p**3 + 45*p**2 - 50*p - 176. Let m be j(-46). Does 16 divide 12/16*m + 1*276?
False
Suppose 4*p + 53 = 49. Is (50*p)/(6/(-150)) a multiple of 55?
False
Let z = 176 + 5314. Is z a multiple of 30?
True
Let z be (-160 + 161)*(-2 - -1 - -8). Is 74 a factor of (-387)/(-903) - (-12394)/z?
False
Is -2*1/(-4)*(-1 - (-6 + -3487)) a multiple of 6?
True
Let w(n) = n - 2. Let s(d) = d**2 - 3*d + 26. Let b(a) = s(a) + 3*w(a). Is 28 a factor of b(-6)?
True
Let r(n) = 6*n**3 + 6*n**2 - 45*n + 264. Does 9 divide r(8)?
False
Let d(g) = 2*g**2 + 18*g + 44. Let v be d(-3). Does 29 divide 145*v/(-1)*1/(-5)?
True
Suppose 0 = 10*z - 11889 - 14691. Suppose -17*u + 23*u - z = 0. Does 22 divide u?
False
Suppose 5*i - 8736 = 3624. Is i a multiple of 81?
False
Suppose 4*p = -3*d - 1325, 0 = -2*d + 6 - 4. Let x = 429 - p. Is 14 a factor of x?
False
Suppose -d + 650 + 115 + 688 = 0. Is d a multiple of 11?
False
Suppose 3*y = -62 + 50. Let q(m) = -m**3 - m**2 + 13*m + 6. Let a be q(y). Suppose a*n = 4 + 36. Is 5 a factor of n?
True
Let n(b) = b**3 - 4*b**2 - 2*b + 3. Let j be n(6). Suppose 2*o = 11*o - j. Does 7 divide o?
True
Let i = 8120 + 1823. Does 95 divide i?
False
Let k be (-60)/(111/228*2 - 1). Suppose 3*c = 18*c - k. Is c a multiple of 38?
True
Let c(v) be the third derivative of 11*v**4/24 - 5*v**3/6 - 2*v**2 - 5*v. Is 46 a factor of c(9)?
False
Let w(f) = -f**2 - 17*f - 42. Let h be w(-15). Does 12 divide ((-224)/h)/((-29)/(-9) + -3)?
True
Let q = 51 - 49. Suppose 2*k + k - 1080 = -3*l, -4*l + q*k = -1464. Does 13 divide l?
True
Let a(k) = -k**2 - 27*k - 110. Let s be a(-20). Suppose s*