o + 230. Does 41 divide b?
False
Let m = 42 - 37. Let n(u) = 2*u**2 - u - 1. Is 11 a factor of n(m)?
True
Suppose 3*y - 2*q + 356 = 0, 6*q + 598 = -5*y + 7*q. Is 7 a factor of (y/100)/(4/(-250))?
False
Suppose 119 = -6*a + 119. Suppose 15*y - 12*y - 66 = a. Does 2 divide y?
True
Let b(g) = -13*g - 20 - g**3 + 45*g**2 + 3*g - 53*g**2. Does 12 divide b(-8)?
True
Let o be (1*-9)/(((-162)/(-12))/(-9)). Suppose o = -7*z + 216. Is 15 a factor of z?
True
Let m be -1 - (3 - 2)/1. Is (0 - m)*296/16 a multiple of 26?
False
Suppose 4*l = 2*k - 150 - 4, -4*l = 4*k - 284. Does 5 divide k?
False
Let f(p) = 3*p**3 - 5*p - 6. Let t(r) = -r**2 + 10*r - 4. Let h be t(10). Let b be f(h). Is b/(-9) + 4/18 a multiple of 19?
False
Suppose 99 = -r + 1. Let x = 51 + r. Let q = 131 + x. Is q a multiple of 28?
True
Suppose -10*j + 6*j + 32 = 0. Suppose 7*a + 55 = j*a. Does 9 divide a?
False
Is 30 a factor of 530*5/10 + 5?
True
Is (-29 + -16 + 7)/((-2)/22) a multiple of 21?
False
Let u = 2793 - 1282. Does 47 divide u?
False
Let f be (-4)/(-22) + (-6)/33. Suppose f = 8*w - 533 + 77. Is 9 a factor of w?
False
Let j(o) = -12*o**3 + 19 + 13 - 25 - o**2 + 2*o. Is j(-2) a multiple of 8?
False
Let r = -163 - -166. Suppose r*n = -n + 4*i + 1560, 4*n - i - 1560 = 0. Does 39 divide n?
True
Let w(b) = -b**3 - 7*b**2 + 10*b + 4. Let t be w(-8). Let p(a) = a**2 + 5*a + 1. Is 13 a factor of p(t)?
False
Let q(v) = -v**2 + 15*v + 7. Does 6 divide q(15)?
False
Let b(y) = -y**3 - 4*y**2 + 6*y + 4. Let t be b(-5). Let w(j) = 36*j**2. Let o be w(t). Let g = o + -24. Is 12 a factor of g?
True
Suppose -v + 0*v + 803 = -5*o, o - 4093 = -5*v. Does 15 divide v?
False
Suppose 0 = 2*i + 2*i - 16. Suppose -4*s + 41 = -4*x - 3, i*x - 5*s + 42 = 0. Does 11 divide x/((-52)/264) - -3?
False
Let x(c) be the first derivative of c**4/4 - 16*c**3/3 + 23*c + 33. Is 6 a factor of x(16)?
False
Let n(v) = 2*v**3 - 35*v**2 - 5*v - 18. Let h be n(18). Suppose 0 = 32*z - 29*z - h. Does 9 divide z?
True
Let y = 49 - -42. Let l = y + -55. Is l a multiple of 18?
True
Let k(s) = 24*s + 3. Suppose -4*c = -81 + 57. Is k(c) a multiple of 55?
False
Let o be 128/24*1/(4/(-6)). Does 9 divide (0 + -9)/(o/48)?
True
Suppose -38*w + 1458 = -35*w. Does 9 divide w?
True
Suppose 3*y - 3*m + 3 = -3, 17 = -y + 4*m. Suppose -y*o - 9 = -5*l, -1 + 2 = -o + l. Suppose o*n = -0*n + 6. Is n a multiple of 2?
False
Let m = 35 + -21. Let s be (2 - m/4)*-2. Suppose 3*i = -s*k + 21, -2*i + 3*k + 63 = 2*i. Is i a multiple of 8?
False
Let q = -161 - -281. Suppose 8*n - 3*n - q = 0. Is 5 a factor of n?
False
Let p = -67 - -199. Suppose p = 5*l - 128. Is 14 a factor of l?
False
Let j = -29 + 31. Let c(y) = 2*y**2 - 3*y + 3. Is 5 a factor of c(j)?
True
Suppose m - b - 2 = 0, 0*m - 5*m = -4*b - 11. Suppose -m*o = -123 + 24. Is 11 a factor of o?
True
Suppose 2*i - 48 = -q - 2*i, 2*i - 164 = -3*q. Is 8 a factor of q?
True
Let m(c) = c**2 - 27*c + 27. Let f be m(26). Suppose -a = -3*y - 105, -y - 5 = -f. Is 11 a factor of a?
False
Let y = -5949 - -9657. Is y a multiple of 15?
False
Suppose -3*d = 4*d - 77. Let o(t) be the first derivative of -t**4/4 + 10*t**3/3 + 15*t**2/2 - 16*t - 2. Is o(d) a multiple of 9?
False
Suppose 0 = 2*j - 1 - 77. Let p(r) = -r**3 - 6*r**2 - 5*r + 9. Let d be p(-5). Suppose -5*f - 12 = -l - d*f, -l = -5*f - j. Does 12 divide l?
True
Let j(l) = 2*l**3 + 34*l**2 + 17*l - 54. Is j(-16) a multiple of 34?
False
Let j(z) = 2*z**3 + z**2 - 2*z + 4. Let p be j(2). Suppose 5 = 5*f + 2*s - p, 25 = 5*f + 3*s. Let m(k) = k**2 - 3*k + 1. Is m(f) a multiple of 2?
False
Let x(d) = d**3 + 10*d**2 - 5*d - 15. Suppose 3*l + 0*l + 26 = -2*p, 2*l - 26 = 3*p. Does 7 divide x(p)?
True
Let m = 114 - 73. Is 4 a factor of m?
False
Suppose z + 2 + 3 = 0. Let r(j) = j + 6. Let h be r(z). Let v(s) = 3*s**2 - s + 1. Is 2 a factor of v(h)?
False
Let i be (5 + 71)*(-2 + (-22)/(-8)). Let t be 2 + -1 + (4 - 1). Suppose 3*q + 0*q - i = j, -65 = -t*q + 5*j. Is q a multiple of 5?
True
Suppose 3*r - 3 = 0, -4*a = -a - 2*r - 1. Does 21 divide 4*16 + (-4)/2 + a?
True
Suppose -2*y - 486 = 3*d, d = 5*y - 0*y + 1249. Let t = 384 + y. Is t a multiple of 31?
False
Suppose -3*q + 64 = -5*n, 98 = 5*q + 41*n - 45*n. Does 9 divide q?
True
Let u(s) = -s**3 + 13*s**2 - 13*s + 3. Let n be u(10). Suppose 3*w = -79 - n. Is 34 a factor of (w/(-9))/((-2)/(-12))?
False
Let h = 30 + 84. Suppose -3*n + 5*n = h. Is n a multiple of 26?
False
Let c be 22/(-77)*(7 + 0). Let i = 34 + c. Does 8 divide i?
True
Suppose -178 + 64 = -2*y. Is y a multiple of 9?
False
Let j = -669 + 1137. Is 12 a factor of j?
True
Let s be 1*-15*6/(-15). Suppose -s*t - 2 = -4*t, a + 5*t = 49. Is a a multiple of 27?
True
Let m(f) = -56*f + 681. Is m(8) a multiple of 52?
False
Suppose 244*j = 240*j + 6064. Is j a multiple of 24?
False
Let q = 127 + 3622. Is q a multiple of 23?
True
Suppose 28 = 4*s + 3*b, -b = s - 2*b. Is 3 a factor of -1 + 27 + s + -8?
False
Suppose -61*r + 66 = -55*r. Does 2 divide r?
False
Let s be ((-10)/(-8))/(3*(-4)/(-48)). Suppose n = -s*n + 48. Does 6 divide n?
False
Is 23 a factor of 3/((-2427)/(-3600) - 8/12)?
False
Let a(z) = 187*z - 308. Is 20 a factor of a(19)?
False
Suppose -3*u = -5*u + 122. Suppose 3*y - u = 47. Suppose 0*o = -3*o + y. Is 6 a factor of o?
True
Let o(j) = 345*j**2 - j. Let v be o(1). Suppose 2*a - 4*a = -v. Does 41 divide a?
False
Let x = 80 - -60. Is 30 a factor of x?
False
Let r = 34 + 233. Suppose -3*j = -2*u + 183, -3*j = -3*u - 6*j + r. Is 9 a factor of u?
True
Let g(k) = -k**3 + 5*k**2 + 4*k. Let h be g(5). Let j = h + -14. Is 28 a factor of 370/j - (-8)/(-12)?
False
Suppose -513 = -11*k + 2*k. Is 30 a factor of k?
False
Let q(b) = b**3 + 13*b**2 - 14*b - 4. Let n be q(-13). Let j = n + -67. Is 29 a factor of j?
False
Let g(k) = k**3 - k**2 - 2*k + 6. Let o be g(0). Does 40 divide o/(-15) - (-2004)/10?
True
Does 15 divide 0 - (-15 - 3)*(-150)/(-3)?
True
Let g(m) = -m**3 - 31*m**2 + 95*m + 18. Does 33 divide g(-34)?
False
Let w(j) = -j**3 + 4*j**2 - 4*j + 3. Let r be w(2). Let s be r + (-1 - -7) + 0. Does 2 divide (-30)/(-9) - 3/s?
False
Suppose 4*s = 2*s + 8. Suppose s*y = 11 + 1. Suppose -5*v + 4*a = -70, v = y*v - 3*a - 21. Is 9 a factor of v?
True
Is (-7)/((-175)/320) - (-2)/10 a multiple of 2?
False
Suppose -1 = -4*n - 9. Let b(w) = 12*w**3 - 4*w**2 + 3. Let m(l) = -13*l**3 + 5*l**2 + l - 3. Let h(z) = -6*b(z) - 5*m(z). Is h(n) a multiple of 15?
False
Suppose 5*j + m = 20, 4*j - 3*j = -m + 8. Suppose 0 = -j*a - 4*a. Suppose -5*v - 79 = -c, -253 = -3*c - v - a*v. Does 12 divide c?
True
Suppose -3*t + 4 = -3*m - 11, 3*m = -3*t - 3. Suppose -t*i - 102 = -6. Does 18 divide (-1)/((-4)/i)*-6?
True
Let k(j) = 108*j**2 + 2*j - 16. Is 40 a factor of k(4)?
True
Let p be ((-24)/15)/((-4)/20). Let o(y) = 6*y**2 - 5*y - y**3 + p - 3 + 1. Does 6 divide o(4)?
True
Suppose f + 3*g = 4*f - 7365, 4*f + 3*g = 9813. Does 41 divide f?
False
Suppose 3*b = -6*b + 45. Suppose b*y + 4*p - 304 = 0, 4*p - 13 = -9. Is 12 a factor of y?
True
Suppose -5*m + 16 = -13*m. Let z be m/(-2*(-3)/(-60)). Does 9 divide 1*z/5 + 14?
True
Does 5 divide 1*142*(-21)/(-42)?
False
Let s = -188 + 524. Is 24 a factor of s?
True
Suppose 367*q = 362*q + 550. Is 14 a factor of q?
False
Suppose 48 = 5*c - c. Let j = c - 26. Is 14 a factor of (-11 - -8)*j/3?
True
Let c(m) be the first derivative of m**7/840 - m**6/40 + 11*m**5/120 + m**4/4 + m**3 + 3. Let a(k) be the third derivative of c(k). Does 8 divide a(8)?
False
Is 36 a factor of (2*2 + 5447/(-13))*-1?
False
Suppose 0 = 3*b - 5*s - 3581, -3*b - s - 540 + 4133 = 0. Does 7 divide b?
True
Let o = -67 - -117. Let u = 92 - o. Does 7 divide u?
True
Is ((-2)/3)/((-3)/1746) a multiple of 97?
True
Is (5 + (-290)/30)/(2/(-102)) a multiple of 7?
True
Let l be (1/1)/2*8. Suppose 0 = l*v + 3*v + 721. Let j = v - -165. Does 22 divide j?
False
Suppose 41*v - 855 = 26*v. Is 5 a factor of v?
False
Let h(x) = -x**2 + 7*x - 3. Suppose 3*z - 2*z = 7. Let v be h(z). Is (60/25)/(v/(-10)) a multiple of 8?
True
Let c(p) = -p**3 + 3*p**2 + p + 6. Is 25 a factor of c(-4)?
False
Suppose -2*q - 2*n = -6*n - 8, 0 = q + 3*n - 4. Suppose -316 = -4*o + q*f, 2*o + f - 73 = o. Does 16 divide o?
False
Let t(l) = -l**3 - 13*l**2 - 27*l. Is 20 a factor of t(-12)?
True
Suppose 2*m 