
Let y(m) = -m**2 + m + 4. Let d be y(0). Suppose d*o - 188 = 220. Does 13 divide o?
False
Suppose 64 = -4*l + 12*l. Does 31 divide (-2469)/(-12) + 10/l?
False
Let y(i) = -26*i + 8. Is 7 a factor of y(-3)?
False
Let k(z) = -z**2. Let w(n) = -5*n**2 - 11*n + 4. Let l(c) = 4*k(c) - w(c). Let h(m) = -13*m**2 - m. Let j be h(1). Is l(j) a multiple of 10?
False
Is 7 a factor of (-5 + 3 - -332) + 5/(-5)?
True
Suppose 5*t = -34*t + 50076. Does 12 divide t?
True
Let i(u) = 9*u**2 + 7*u + 11. Let p be i(-7). Suppose c - 191 = 4*k, 2*c + k - 2*k = p. Does 29 divide c?
True
Let u(t) be the second derivative of t**4/12 - 7*t**3/6 - 17*t**2/2 + 4*t. Is 16 a factor of u(-9)?
False
Let o(b) = b + 22. Let q be o(-17). Suppose -q*c + 235 = -240. Suppose 65 = 5*h + 3*n, -2*h + 3*n + c = 3*h. Is 5 a factor of h?
False
Suppose -6*a + 7*a + 814 = 2*y, -5*a = -3*y + 1214. Is 50 a factor of y?
False
Let s be ((-2)/(-6))/((-2)/6). Let l be 7/((s - 1)/2). Let p(u) = -u**3 - 7*u**2 - 7*u - 6. Does 14 divide p(l)?
False
Let d = -13 - 3. Let w(y) = -y**2 - 8*y - 16. Let t be w(d). Does 18 divide (3/6)/((-4)/t)?
True
Let p = -975 - -1297. Does 4 divide p?
False
Let a(p) = -p**2 - 5*p + 5. Let w be (-4)/(-18) + (-3)/((-108)/(-152)). Does 9 divide a(w)?
True
Let g(k) = k**3 - 10*k**2 + 3*k - 5. Let l(j) = j + 1. Let v(n) = g(n) + 6*l(n). Let d be v(9). Is 26 a factor of (d/2)/((-3)/(-246))?
False
Let v = 92 + -96. Is ((-204)/(-18))/(v/(-6)) a multiple of 17?
True
Let n be (5 - 4) + 6/(-2). Let d = -70 + n. Let y = d + 142. Does 20 divide y?
False
Suppose -12*k = 1697 - 9233. Is k a multiple of 24?
False
Let p = 0 + -9. Let w = p + 8. Is w/(-2) + (-354)/(-4) a multiple of 30?
False
Suppose h - 3*g = -1, g = 4*h - 4*g - 10. Suppose h*z + 55 = -4*p - 73, -5*p - 41 = 2*z. Let s = z - -33. Does 3 divide s?
False
Suppose 4 = -4*h - 0*h + 4*k, 4*k = 3*h + 5. Let m = 21 - h. Is 5 a factor of m?
True
Let w(g) = -84*g + 51. Is 31 a factor of w(-16)?
True
Let c(y) = 45*y - 10. Let l be c(6). Let s = -244 - -429. Let d = l - s. Does 10 divide d?
False
Suppose 3*j = 5*q - 66, -4*j = q - 6*q + 68. Let b(w) = -7 - 25*w**2 - 20*w + 24*w**2 - q. Is b(-17) a multiple of 13?
False
Let c = -38 + 111. Suppose 3*a = 2*n + 6, -4*n + a + 20 = 3*a. Suppose -357 = -5*t - n*d, t - 4*d + 5*d - c = 0. Does 14 divide t?
False
Suppose -34 - 49 = -q - 3*g, -2*g = -5*q + 500. Suppose -4*j - 2*m = -0*m - q, 2*j - 58 = -4*m. Let z = 65 - j. Is z a multiple of 15?
False
Let o(t) = 85*t**2 - 10*t - 12. Does 2 divide o(-2)?
True
Let k = 1879 + -1149. Is 28 a factor of k?
False
Let w = -847 + 1540. Suppose 8*p = 15*p - w. Does 33 divide p?
True
Let w(r) = -690*r + 87. Does 42 divide w(-4)?
False
Suppose -4*v + 3 = x, 13 = 4*v - 3*x - 10. Suppose 0 = v*j - 51 - 11. Does 5 divide j?
False
Suppose 4*i - 2*i = 0, -11*l + 41745 = -3*i. Is l a multiple of 23?
True
Suppose -3*r - 5 = -q, -q - 3*r + 35 = -0*r. Suppose -2*z + q = -z. Does 17 divide z?
False
Is 42 a factor of 2525 - 1 - (22 - 18)?
True
Let t(q) be the first derivative of q**4/4 + 2*q**3 - q**2 - 2*q + 4. Let v = 0 - 5. Is 11 a factor of t(v)?
True
Suppose 3*p + 5 = 17. Suppose -j + p = -2. Is j a multiple of 3?
True
Let l be (-21)/(-28) + 50/8. Let s(p) = -p**3 + 11*p**2 - 9*p + 14. Is 37 a factor of s(l)?
False
Suppose 28*g - 1877 - 2211 = 0. Is g a multiple of 4?
False
Suppose u - 2 - 3 = 0. Does 7 divide 74 - u/(5/4)?
True
Let j(u) = -5*u + 9. Let m(c) = 5*c - 9. Let b(f) = -4*j(f) - 3*m(f). Is 4 a factor of b(5)?
True
Let v = 27 - 22. Let h(l) = -l**2 + 8*l - 7. Is 2 a factor of h(v)?
True
Let l(i) = i**2 + 8*i + 7. Let q be l(-7). Suppose -15*n + 20*n - 270 = q. Is 9 a factor of n?
True
Let d be 10/30 - (-16)/6. Suppose -d*m + 108 = -180. Is 12 a factor of m?
True
Let k = -646 + 1486. Is k a multiple of 15?
True
Suppose 0 = j - 5*n - 344 - 605, 2*j - 1942 = -n. Is j a multiple of 17?
True
Let q be 1/((-1)/375*3). Let n = -57 - q. Does 17 divide n?
True
Is -4 + -1 + 5 - -166 a multiple of 5?
False
Suppose -527 = 4*r - 1427. Is 25 a factor of r?
True
Suppose 4*d = -0*d + 76. Let s = 5 - d. Let k = s + 23. Does 3 divide k?
True
Suppose -58 = -5*x - 4*z + 10, x - 18 = -3*z. Suppose 2*t = -k + 7, -2*k + 11*t = 16*t - x. Is 11 a factor of k?
True
Let o(g) = -262*g + 128. Is 6 a factor of o(-2)?
False
Let d = 50 + -48. Let v(k) = 4*k**3 - 6*k**2 + 6*k + 1. Is 9 a factor of v(d)?
False
Let s be (-2)/(-7) - (-99)/21. Let o(d) = -s - d**3 - 10*d + 10*d**2 - 1 + 3. Is 16 a factor of o(8)?
False
Suppose -3*y = -3*u - 30, 5*u + 0*y = 3*y - 52. Let n = -4 + u. Is (n/4)/((-3)/8) a multiple of 5?
True
Let t(o) = 540*o**2 + 2*o - 1. Let c be t(1). Suppose 5*r - c - 149 = 0. Does 23 divide r?
True
Suppose 13*v = 17*v - 1008. Does 12 divide v?
True
Is 3 a factor of 8/(5*(-1)/(-40)) + 0?
False
Suppose -b + z + 659 = 5*z, b + 5*z = 655. Suppose -2*d - 128 = 3*f - b, -f - 5*d = -178. Is 10 a factor of f?
False
Suppose 256*n - 2040 = 248*n. Is 15 a factor of n?
True
Suppose -8 = -2*u - 4*d, -3*u + 1 - 3 = -d. Let j = -7 - -12. Is 63 + j/5 + u a multiple of 13?
False
Let f = -5 - -10. Suppose -28 - 67 = -f*z. Is 10 a factor of z?
False
Let h(k) be the first derivative of 13*k**2/2 + 33*k - 20. Does 43 divide h(14)?
True
Suppose 3*s - 21 = 6*s. Let p(q) = -8*q + 28. Is p(s) a multiple of 28?
True
Let l be ((-12)/(-4))/((-6)/(-124)). Suppose 15*f = 19*f + 8. Is l + 0 + (f - -2) a multiple of 31?
True
Let f be ((-25)/5)/5 - -18. Suppose 0 = 5*w + f + 118. Is 8 a factor of (-6)/w - (-291)/27?
False
Suppose 0 = -3*p - 3*t, -3*p + 2*p - 4*t = 6. Suppose 3*b = 9, -149 = -6*i + i + p*b. Suppose -3*s + 32 + i = 0. Is 7 a factor of s?
True
Let p be 0 - (-2 - 8 - -2). Let u = 92 - 96. Let o = p - u. Is o a multiple of 6?
True
Let q = 25 + -14. Suppose -181 - 160 = -q*k. Is 14 a factor of k?
False
Let q(f) = -f**2 - 15*f + 16. Let w be q(-16). Suppose 2*s + 2*i = -i - 5, 3*s + 2*i = w. Suppose -3*u - 5*k - 6 = -114, -s*k + 99 = 3*u. Is u a multiple of 19?
False
Suppose -2*b - 12 = -2*l, -4*b = 3*l + b + 6. Suppose -8*a = -147 + l. Is 6 a factor of a?
True
Let r be 67 + -3*(-3 - -4). Let f be (18/8)/(24/r). Suppose 5*m - 4*h - 4 = f*m, 5*h = -25. Is 4 a factor of m?
True
Let z be (-33)/(-24)*2 - 3/(-12). Does 12 divide (-6)/(z/54*-3)?
True
Let i be (-23)/5 - ((-36)/(-15) - 3). Let f = i - -11. Is 3 a factor of f?
False
Let j(h) = 2*h - 9. Let d be j(6). Suppose -d*z = -4*t + 213, -7*z = -t - 3*z + 50. Is t a multiple of 15?
False
Let r(f) = f**3 + 10*f**2 + 9*f + 13. Let x(p) = p**2 + 9*p - 7. Let w be x(-10). Suppose 0 = -5*s + 2*u - 53, -5*s - 35 + 2 = w*u. Does 3 divide r(s)?
False
Let b(h) = -25*h + 30. Let f be b(-8). Let c = f + -132. Is c a multiple of 15?
False
Suppose 0 = -3*p + 418 + 287. Suppose -p = -3*k + y, 74 = k + 6*y - 2*y. Is k a multiple of 26?
True
Suppose -8*b = -10*b. Let y(m) = -m**2 + m - 2. Let h be y(b). Let q(v) = -19*v - 2. Is q(h) a multiple of 9?
True
Let u(y) be the second derivative of y**3/6 + 6*y**2 - 3*y. Let g be u(-9). Suppose 2*d = g*d - 42. Is 13 a factor of d?
False
Is 5/(-5) - (2 - 983) a multiple of 69?
False
Let s be 8/(-6) + 50/15. Let l(d) = 20 - d**s + 6*d + 2*d**2 - 14 - 9. Does 8 divide l(-9)?
True
Suppose 251 = t + 203. Let d be 346/(-14) + 4/(-14). Let a = t + d. Does 8 divide a?
False
Does 10 divide (5 - 0) + 860/(0 + 4)?
True
Let n(r) = 1 + r - 1. Let w be (-2 - 11/(-3))/((-145)/(-1218)). Is 7 a factor of n(w)?
True
Let i be (-9)/(-3) + (-3 - -1). Suppose -4*g - 4*j = -7*j - 10, -i = -5*g - 2*j. Is g/(-3)*0 - -15 a multiple of 4?
False
Suppose 19 = 3*v + 7. Suppose -2*o + 4*i = o - 25, 2*i = v*o - 40. Does 11 divide o?
True
Let n = 206 + -62. Does 5 divide n?
False
Let y(c) = -17*c + 3. Let k(i) = 35*i - 6. Let f(w) = 2*k(w) + 5*y(w). Let h be f(-3). Suppose -2*a + 77 = -x - h, 4*a + 3*x - 225 = 0. Is a a multiple of 20?
True
Let m(i) = 5*i + 28. Does 6 divide m(10)?
True
Let l(o) = 2*o**2 + 25. Let w be -1 + -5 - (-6 - -2). Let a = 2 + w. Is 12 a factor of l(a)?
False
Suppose -236 = -2*a - 5*m + 346, -a = m - 285. Is 29 a factor of a?
False
Let w(i) = -4*i + i + 1 - 4*i + 2*i. Let o be w(-1). Suppose f + 30 = o*f. Is f a multiple of 3?
True
Suppose -23*c = 5*c - 4368. Is 3 a factor of c?
True
Suppose -210 = 17*y - 7*y. Does 7 div