(2). Suppose 4*p = -u*p + 588. Is 14 a factor of p?
True
Suppose 4*f - 3*q = 23, 3*f - 6*f = -q - 11. Let d(v) = 10*v + v**2 - 2*v**f - 4 - 9*v**2 + v**3 + 0. Does 5 divide d(9)?
True
Is (18 + 2 + -2)/(9/48) a multiple of 34?
False
Let p(t) = -3*t**2 - 17*t - 26. Let q be p(-8). Let v = 8 - q. Does 14 divide v?
False
Let i(w) = w**3 + 2*w**2 - 6*w + 2. Let q be i(-5). Let h = q + 86. Let j = h + -28. Is 3 a factor of j?
True
Suppose -9 = -2*u + 15. Is 17 a factor of (-139)/(-3) - 4/u?
False
Let f be ((-6)/5)/((-3)/15). Suppose a = 4*d - f, 5*a = 4*d + 50 - 0. Is a a multiple of 5?
False
Let n = -9 - -13. Suppose -5 = 5*v, -8 = 5*l - n*v + 13. Let j(b) = b**2 + 5. Does 18 divide j(l)?
False
Let h(b) = 613*b - 1. Is 51 a factor of h(1)?
True
Let g be -1 - -5 - -4 - -2. Let b be (16/g)/1*80. Suppose 136 = 4*h - b. Is h a multiple of 22?
True
Let g(a) = a**3 + 12*a**2 - 21*a - 153. Is g(-9) a multiple of 9?
True
Suppose 0 = -4*k - 2*h - 3 - 1, -1 = k + 4*h. Is (160/(-24))/(k*(-4)/(-90)) a multiple of 15?
True
Suppose 142*w - 380 = 137*w. Does 4 divide w?
True
Suppose -f = -3*n, 0 = 2*n + 2*n - 5*f. Suppose -3*m + 11 - 26 = n, 0 = -2*a - m + 25. Let v = 29 - a. Is v a multiple of 4?
False
Let i(g) = -2*g**2 + 2*g + 355. Does 10 divide i(0)?
False
Suppose 5*d = 4*u + 5, -5*u - 3*d - 1 = -4. Suppose u = -3*b + j - 3*j - 26, -52 = 5*b - j. Let p(g) = -g**2 - 13*g - 9. Is p(b) a multiple of 7?
True
Suppose 0 = 3*g - 6. Let c be (-9)/g*(-20)/30. Is (c/(-2))/((-2)/36) a multiple of 8?
False
Suppose 2*s - 50 + 6 = -4*x, 3*s - 5*x - 33 = 0. Let z be (12/s)/((-1)/(-4)). Suppose 206 = 4*i - 2*b, -3*i + 4*b = z*b - 157. Is 9 a factor of i?
True
Suppose -4*s + 4*g = -12, 2*s = 3*g + 7 + 3. Let q(m) = -9*m. Let h be q(s). Let l = -6 + h. Is l a multiple of 2?
False
Let c(k) = 13*k**2 + 39*k - 24. Is 23 a factor of c(9)?
True
Let o = 78 - -12. Is 4 a factor of o?
False
Suppose 0 = o + m + 2*m + 18, -2*o = 5*m + 31. Is 10 a factor of o - (-5)/((-10)/(-102))?
False
Suppose -2*t + 115 = 403. Let r = 30 + t. Let i = r + 228. Is i a multiple of 33?
False
Let s(p) = p**3 - p**2 - p - 1. Let a(o) = o**3 - 16*o**2 - o - 17. Let z(j) = a(j) - 2*s(j). Is 39 a factor of z(-15)?
True
Suppose 3*u = -1 + 10. Let s(h) = -3 - 2*h + u*h**3 + 1 + 3. Is 21 a factor of s(2)?
True
Suppose -9672 = -15*m - 9*m. Is m a multiple of 13?
True
Suppose 12*a = 7*a + 5. Suppose 34 = 5*x - a. Let f(r) = 5*r - 16. Is 19 a factor of f(x)?
True
Suppose s = q - 28, q + q = 4*s + 64. Is q a multiple of 6?
True
Suppose -6*b = 6*b - 1440. Suppose -b = x - 5*x. Is 3 a factor of x?
True
Let t(c) = 787*c - 10. Does 23 divide t(2)?
True
Let i be 0/(3*6/9). Suppose -2*o = -i*o - r + 7, -1 = r. Does 14 divide (3 + o)*(1 - 29)?
True
Let r(c) = 20*c. Let g = -31 + 38. Is 35 a factor of r(g)?
True
Let t be 88/33*-21*(-3)/1. Let x = t - 24. Is x a multiple of 18?
True
Let r(i) = -i**2 - 22*i + 17. Let b = -3 - 14. Is r(b) a multiple of 9?
False
Let j be -3 + (2 - -9) + -1. Let o(x) = 2*x**2 - 11*x + 6. Let f be o(j). Does 12 divide f/18 - 102/(-4)?
False
Suppose 400*p + 10010 = 410*p. Does 15 divide p?
False
Let c(y) be the second derivative of -y**4/12 - y**3/2 - 3*y**2/2 - 10*y. Let q be c(-2). Does 10 divide (-2)/(((-1)/(-16))/q)?
False
Suppose 0 = 4*x, -4*x = -w + 1265 + 750. Is w a multiple of 13?
True
Is 42 a factor of 6 + (-10 - -2133 - -5)?
False
Suppose 34*a - 32 = 206. Is a a multiple of 7?
True
Suppose 0 = 4*k - 18 - 98. Suppose o + 3*q - 7*q - 4 = 0, 3*o - k = -5*q. Suppose -2*v - o = -86. Does 13 divide v?
True
Let c = 14 - 11. Suppose 3*p - 4*w = 353, -c*p - 581 = -8*p + 3*w. Is 23 a factor of p?
True
Let l be 297*((-21)/9 + 3)*2. Let r = 660 - l. Is r a multiple of 44?
True
Suppose 6*k + 4*n = k + 21, 2*n + 2 = 0. Let i(z) = 67*z**2 + z - 1. Let o(j) = 133*j**2 + 3*j - 2. Let f(v) = k*i(v) - 2*o(v). Is f(-1) a multiple of 23?
True
Let t(b) = b**3 - 31*b**2 - 32*b + 40. Does 20 divide t(32)?
True
Let f = -86 + 91. Suppose -y - 4*i = -75, -y - 3*i = -f*y + 300. Is 7 a factor of y?
False
Let t(j) = 36*j**2 + 5*j - 12. Does 8 divide t(4)?
True
Suppose -2*b + q + 581 = 0, -3*q = b - 0*q - 273. Let h = -198 + b. Is 18 a factor of h?
True
Let c be (-2)/(-6) - 14/42. Suppose c = 5*i + 3*o + 210, 4*i + 5*o + 160 = o. Is 19 a factor of (-3672)/i + 6/15?
False
Let t = 1640 - 763. Suppose 5*l = 4*n + t, 3*l = -0*l - 5*n + 541. Is 59 a factor of l?
True
Suppose 0 = -2*g + 1308 + 876. Does 39 divide g?
True
Let p(x) = -18*x**2 - 371*x + 6. Does 5 divide p(-14)?
False
Suppose 4*p = 4*n, 0*p = 2*p + 4*n + 30. Let b(s) be the third derivative of s**5/20 + s**4/12 - s**3 - 173*s**2. Is 13 a factor of b(p)?
False
Let j(d) = -16*d - 40. Let n be j(6). Does 14 divide n*(-3)/(-6)*-1?
False
Let j = 105 + -67. Is j a multiple of 18?
False
Let i = 121 - 112. Suppose 3*r - 2*n - i - 133 = 0, 5*r - n = 225. Does 3 divide r?
False
Let b(d) = -52*d + 16. Is 36 a factor of b(-2)?
False
Let n(d) = d**2 + 7*d - 14. Let i be n(7). Suppose 3*o - i = -o. Does 3 divide o?
True
Suppose -5*v - 15 = 0, 5*m = -0*m + v + 1133. Is m a multiple of 2?
True
Suppose 5*b = -4*w + 8466, -3*b - 1283 + 6370 = -5*w. Is 11 a factor of b?
True
Suppose 0*j - 3*j = 51. Let v = j + 45. Is 7 a factor of v?
True
Let h = 25 + -24. Is 3 a factor of (h + -9)*12/(-6)?
False
Let v(h) = -35*h + 404. Is 14 a factor of v(-36)?
False
Let c be 4/(-2) - (-5 - -1). Let y(g) = 7*g**3 - 3*g**2 + g + 3. Is 12 a factor of y(c)?
False
Suppose -4*d - 9 = 5*o, d - 40 = -4*d + 4*o. Suppose -3 = d*c - 23. Suppose -3*m + 61 = c*s, 0*s - 89 = -5*m - 2*s. Is 17 a factor of m?
True
Suppose -4 = -4*z + 3*z. Let h be (z*1)/(8/(-16)). Let t = 2 - h. Is 4 a factor of t?
False
Suppose 0 = 17*t - 596 - 594. Is t a multiple of 7?
True
Is 22 a factor of (-3429)/(-18) - 18/(-12)?
False
Let s be (-4)/6 - (-254)/3. Let t(r) = r**3 + 8*r**2 + r + 5. Let u be t(-5). Suppose -3*w + u = 3*d - s, 53 = d - 5*w. Is d a multiple of 6?
False
Suppose -2236 - 495 = -2*k - 5*w, w = -k + 1373. Does 57 divide k?
False
Let w = -2027 + 3457. Is w a multiple of 55?
True
Let z be (-19)/(-2) - 7/(-14). Let x be (6 - z)/(-3 - -1). Suppose 5*c = -5, 2*p + x*c - 33 = p. Is 7 a factor of p?
True
Suppose 0 = u - 5*n - 38, -u = 3*n - 5*n - 35. Suppose 3*c - 3*o - u = 0, -c + 3*o - o = -16. Suppose c = 3*m, i + 0*i - m = 82. Is i a multiple of 29?
False
Let l(k) = k**2 - 10*k - 1. Let w be l(7). Suppose 2*b + 24 = -4*a, 0 = 5*b + 5*a - 0*a + 45. Let q = b - w. Is q a multiple of 8?
True
Let p = -51 + 58. Let m(n) = -3*n - 4. Let x be m(-7). Suppose 3*w - x = p. Does 6 divide w?
False
Suppose -n + 5*h + 304 = 3*h, -2*h = 5*n - 1496. Does 10 divide n?
True
Let i(d) = 51*d**3 + d**2 - d. Let q = 7 - 6. Does 16 divide i(q)?
False
Let z(n) = -n**3 + 8*n**2 + 9*n + 6. Let q be z(9). Let i(r) = -r**2 + 8*r - 5. Let x be i(q). Let m(v) = 5*v + 17. Is 13 a factor of m(x)?
True
Let x be -1*(-3 + 3 + 1). Let u be (-28)/(x/26 - 0). Suppose u = 5*j + 2*j. Is 21 a factor of j?
False
Is (1476/(-27))/((-12)/630) a multiple of 14?
True
Let w = 14 + -14. Suppose w*b + 2*b = 0. Suppose 5*y = 3*o - 77, b = -2*o - o - 2*y + 49. Is 14 a factor of o?
False
Let j be (-4)/(0 - -4) + 3. Let d be 19 - (-4 - 0 - -3). Is d + j + -3 + 1 a multiple of 10?
True
Suppose 15 = 5*d - h, 4*h = d + 13 + 3. Suppose -d*x + 535 = w, -5*w = 4*x - 0*x - 515. Does 8 divide x?
False
Let j(b) = 2*b + 22. Let o be j(-10). Suppose t + o = -t. Is 11 a factor of ((-144)/(-21))/(t/(-7))?
False
Let w be -189 + (4 - 0 - 8). Let b = -113 - w. Is 27 a factor of b?
False
Let q(c) = 10*c**2 + 4*c + 13. Let y be q(5). Let h = y + -84. Is h a multiple of 21?
False
Let u(p) be the third derivative of p**5/30 - p**4/3 - 23*p**3/6 - 10*p**2. Let h(k) = k**2 - 8*k - 22. Let d(i) = -3*h(i) + 2*u(i). Is 5 a factor of d(-8)?
True
Suppose 2*k - 5 = -3*k. Let l = 18 - k. Let g = 6 + l. Is 7 a factor of g?
False
Let a(y) be the first derivative of -3*y**2/2 + 2*y + 8. Let q be a(-4). Let w(m) = -m**2 + 18*m + 13. Does 23 divide w(q)?
True
Let g(b) = -2*b**3 + 2*b**2 + 3*b - 6. Let y = 3 - 6. Does 15 divide g(y)?
False
Let c be 1 + 2 + -4 - 14. Let f be (-146)/6 - (-2)/(-3). Let v = c - f. Is 5 a factor of v?
True
Let d(s) = -s**2 - s. Let j(b) = -b**2 - 3*b + 1. Let c(p) = -5