 - p - 0. Let r be (-6)/i - (-8)/32. Let x = r + 5. Does 3 divide x?
True
Let m(r) be the second derivative of 9*r - 69/20*r**5 - 1/6*r**4 + r**2 + 1/6*r**3 + 0. Is 17 a factor of m(-1)?
True
Suppose 2*r = -2*i + 674, 0*i = -i - 3*r + 331. Is 10 a factor of i?
True
Let q(k) = 3*k + 10. Let p be q(-7). Let i(x) = 2530*x - 2520*x - 3 + 16 + x**2. Does 12 divide i(p)?
True
Let l(s) = s**2 - 10*s + 4. Let g be l(10). Suppose g*v + 9 - 66 = 3*n, -4*v + 82 = 2*n. Is 9 a factor of v?
True
Suppose 0*l + 3*l - l = 0. Does 14 divide (17 - 22)*(-14 + l)?
True
Suppose -k + 21 = -0*k - 4*m, 2*k - 2*m = 12. Suppose 0 = -13*p + 14*p + k. Does 13 divide (15/25)/(p/(-35))?
False
Let j = -41 + 10. Let u = -10 - j. Is 14 a factor of 9*-2*u/(-9)?
True
Suppose -699 = -5*g + 2*s, -3*g - 3*s + 8*s = -408. Let k = 221 - g. Does 10 divide k?
True
Suppose -4*j + 223 + 125 = 0. Let v = j + -61. Does 7 divide v?
False
Suppose 15*f - 74750 = -25700. Does 38 divide f?
False
Suppose 2*s = -2*l + 7*l - 667, 4*s - 129 = -l. Is l a multiple of 28?
False
Suppose 0 = 4*r + 4*t - 16, -4*t = -3*r - 2 - 0. Let v(h) = 6*h**2 + 0*h**2 + 3*h**r + 2 - 5*h + 4. Is 28 a factor of v(4)?
False
Let m(u) = -4*u**3 - 17*u**2 - 15*u + 15. Is 21 a factor of m(-6)?
True
Is 15 a factor of 11/((-22)/10)*-111?
True
Let g(q) = 14*q. Suppose c - 11 + 1 = -5*s, 0 = -2*s - 2*c + 4. Is g(s) a multiple of 4?
True
Let t be 1 + (-1 - (-4 + 0)). Suppose -184 - 203 = -t*b + 3*k, -2*b + 194 = -2*k. Is b a multiple of 16?
True
Let x = -1787 - -2512. Is 29 a factor of 2/(((-20)/x)/(-2))?
True
Let g be 0/(15/7 + (-3)/21). Suppose 4*z - l - 347 = g, 4*z - 113 = 3*z - 5*l. Does 8 divide z?
True
Suppose -4*t - 5 = 4*g - 21, -4*t - 9 = -g. Suppose -4*o + 27 - 1 = p, -3*p - g*o + 43 = 0. Is p a multiple of 6?
True
Let d be (2 + -5)/(3/(-26)). Does 5 divide (1 + d/(-4))*-10?
True
Let p(w) = w**3 + 4*w**2 - 4*w - 4. Let r be p(-4). Suppose -r = -3*n + 5*n. Does 6 divide ((-2)/n)/((-4)/(-264))?
False
Let x(m) = -10*m - 5. Suppose 0 = 3*w - 5*q - 40, 16 + 4 = w - 3*q. Suppose 7*c = 8*c + w. Is x(c) a multiple of 12?
False
Is 3 a factor of -21 + 24 - (1 + -80)?
False
Is (-102)/340 + (-3506)/(-20) a multiple of 5?
True
Let i(y) = 2*y + 42. Let j be i(-19). Suppose 0 = 2*v - 0*v - r - 96, -220 = -j*v - 5*r. Does 6 divide v?
False
Let u(n) = -n**3 - 7*n**2 + 6*n + 23. Is 35 a factor of u(-10)?
False
Suppose w - 71 = -3. Is w a multiple of 18?
False
Does 2 divide 1209/12 + 40/32?
True
Let b = 50 + -46. Suppose -872 = -4*z - b*f, 1080 = 6*z - z - 5*f. Does 31 divide z?
True
Let p be 14*((-100)/(-70) + 0/1). Is 1792/p - 16/(-40) a multiple of 17?
False
Let r(h) = -h**3 + 5*h**2 + 2*h + 3. Let w be r(6). Is ((-144)/w)/(1/7) a multiple of 16?
True
Suppose -785 - 31 = -8*r. Suppose 89*q - 92*q + r = 0. Is q a multiple of 13?
False
Let a = 35 + -15. Suppose -4*c - c = -a. Suppose c*p = -5*i + 272, -p - 2*i - 3*i = -83. Does 16 divide p?
False
Suppose -2 = s, -4*v + 4590 = 3*s - 2844. Does 62 divide v?
True
Let m be (-2)/6 - 6/9. Is 20 a factor of ((-20)/(-1))/(0 + m/(-10))?
True
Let g(k) = k**3 + 2*k**2 + 3*k - 6. Let m be g(4). Suppose m = 4*f - 154. Is 12 a factor of f?
False
Let f(d) = d - 3*d - 4*d + 0*d + 24. Is f(-8) a multiple of 8?
True
Let a(r) be the second derivative of -r**5/20 + 5*r**4/12 + 7*r**3/6 - r**2/2 - 4*r. Is 4 a factor of a(6)?
False
Let r(h) = 3*h - 26. Let v be r(12). Is 30/(-12)*318*(-4)/v a multiple of 53?
True
Let o(s) = 2*s**2 + 3*s - 7. Let l be o(-5). Let t = 5 + -6. Is l/8 + t/(-2) a multiple of 4?
True
Let l be (-2519)/(-33) - (-4)/6. Let n = -54 + l. Is 8 a factor of n?
False
Let q(w) = 32*w + 66. Is q(20) a multiple of 4?
False
Let g(b) = 20*b**2 + 1. Let p be (2*4/(-8))/1. Let y be g(p). Is 3 a factor of ((-6)/7)/((-3)/y)?
True
Let l = 97 + 92. Does 7 divide l?
True
Suppose 5*u - 320 = -5*n, 55 = 3*u - 3*n - 119. Does 14 divide u + -5 + (-1 - -1)?
True
Let n(x) = 8*x + 42. Let w be n(-5). Suppose -78 = -s + w*k - 7*k, 0 = 2*s + k - 111. Is s a multiple of 5?
False
Let r be -2 + -2 - (-12 + -1). Suppose 65 = c + r. Is c a multiple of 14?
True
Let q(g) = -g**3 + 3*g**2 - g - 1. Let c be q(3). Suppose 3*v - 69 = 57. Is 21 a factor of (v - (-2 + -1)) + c?
False
Let h(s) = -s**2 - 7*s + 91. Is 11 a factor of h(-13)?
False
Suppose -3*k + 405 = -2*k. Let h = -157 + k. Suppose 0 = 11*g - 9*g - h. Is g a multiple of 31?
True
Suppose 1241 = -12*d + 5993. Is 40 a factor of d?
False
Let i be ((-42)/4)/(-4*(-6)/(-448)). Let y = i + -169. Is y a multiple of 7?
False
Suppose 3*b + 207 = 3*v, -2*v + 5*v - 140 = 2*b. Let k = -1 - 99. Let g = b - k. Does 8 divide g?
False
Is (0 - 4)/16 - (-325)/4 a multiple of 9?
True
Let i(n) = -3*n - 12. Let l be i(-6). Suppose l*f = 11*f - 390. Is 9 a factor of f?
False
Let n(q) = -q**2 - q + 2. Let t be n(0). Suppose -4*o = -t*j + j - 295, 4*o + 3*j = 299. Is o a multiple of 9?
False
Let l(z) = 6*z - 4 - 2*z - z + 6*z. Let n be ((-18)/8)/((-6)/16). Is l(n) a multiple of 23?
False
Let d(q) = -72*q + 33. Is 21 a factor of d(-8)?
True
Let h(w) = -20*w + 53. Let x be h(-24). Suppose 4*f + 65 - x = 0. Does 26 divide f?
False
Let f = -13 - -18. Is (-49 - (-10)/f)/(-1) a multiple of 11?
False
Let z(g) = -g**2 - 7*g + 5. Let h be z(-6). Let l(a) = -4*a - 3 + h*a - 2. Does 11 divide l(7)?
True
Does 8 divide 15/(-4) + 4 + 547/4?
False
Let f = -41 + 57. Does 7 divide f?
False
Is 22 a factor of ((-16)/(-2))/((16/(-66))/(-4))?
True
Suppose 0*m = -2*m. Let d be m + (2 + -2 - 0). Let z = 60 - d. Does 22 divide z?
False
Suppose 5*c + 4*z = 4*c + 25, 4*z = 4. Does 2 divide 38/4 - (c/(-6) + 3)?
True
Suppose x - 4 = 3*x. Let m(a) be the first derivative of 19*a**3/3 + a**2/2 + a - 4. Is 33 a factor of m(x)?
False
Let h be (2 + -4)/(-4 + 3). Suppose 3*w + 3*z - h*z - 558 = 0, 3*w - 2*z - 558 = 0. Is 31 a factor of w?
True
Let i be -1 + (-3 - -4) + 16. Suppose -5*n + 10 = -n + 2*l, 20 = 5*n + 4*l. Suppose n = p - i - 0. Is p a multiple of 16?
True
Suppose u + 2*s = 1502, 1974 = -4*u + s + 8027. Does 23 divide u?
False
Is -2 + ((-714)/35)/((-6)/40) a multiple of 23?
False
Let y be 2/12 + (-21)/18. Let x be (2 - -63 - 3)*y. Let m = x - -105. Is m a multiple of 18?
False
Suppose -p - 2*p = 0. Suppose p = -4*w - 2*w. Suppose -3*d - 2*g + 106 = w, -2*d - 2*g + 72 = -0*g. Is 17 a factor of d?
True
Let i(j) = 2*j**2 + 2*j - 19. Is 21 a factor of i(4)?
True
Let l(i) = -2*i**2 + 3*i + 3. Let m(v) = -v**3 - 7*v**2 + 9*v + 11. Let g be m(-8). Let d be l(g). Let x(q) = q**2 - 2*q - 1. Is x(d) a multiple of 13?
False
Is ((-144)/(-216))/((-2)/(-270)) a multiple of 30?
True
Let p(h) = 0*h**2 + 0*h**2 + h**3 - 29*h - 10 + 3*h**2 + 21*h. Let k be p(-4). Suppose k*q = 2*q + 104. Is q a multiple of 15?
False
Let w = -66 - -34. Does 32 divide (63 - 3)*(w/(-10))/2?
True
Is 11 a factor of 0 + 9 - 3 - -825?
False
Let r = -89 - -194. Let t be (-3736)/(-24) - (-2)/6. Let z = t - r. Is 17 a factor of z?
True
Let c(h) = h**2 - 6*h - 4. Let m be c(7). Suppose 0 = -m*l - 4*u + 23 - 4, -u + 8 = 4*l. Is 24 a factor of l/1 + 13 + 10?
True
Let z = -165 + 553. Is 6 a factor of z?
False
Does 83 divide 554/6 + (-6)/(-36)*-2?
False
Let k(m) = -2*m - 5. Let p be k(-5). Suppose -6 = -4*q + p*q. Is 44/(3/q*-2) a multiple of 19?
False
Let n = 6 - 5. Let b be 7*n + (-2 - -2). Does 2 divide 1*(b - 4 - -4)?
False
Let x(r) = 2*r**3 - 11*r**2 + 6*r - 6. Let z be x(5). Does 44 divide 4/(-6)*(1 - (68 + z))?
True
Let o(s) = -17*s + 2. Let f be o(-4). Let v = f + -48. Is 13 a factor of v?
False
Suppose -5*g - 5 + 93 = f, 5*f + g = 536. Suppose -154 - 116 = -5*z - 4*q, -2*z - 2*q = -f. Is 6 a factor of z?
True
Let v be (-1)/3*(-3 + 6)*-53. Let u = 177 - v. Does 31 divide u?
True
Let l = -194 + 276. Is 2 a factor of l?
True
Suppose 0 = 12*k - 7*k + 35. Does 15 divide (1*60/k)/((-2)/21)?
True
Let t(b) = b**2 - 12*b + 14. Let u be t(11). Suppose -u*a + 9*a - 306 = 0. Is a a multiple of 11?
False
Suppose 14*d - 2209 = -249. Does 21 divide d?
False
Suppose 15 = -n + 4*n. Suppose -3*w + n*h = -637, -9*w - h + 1043 = -4*w. Is 58 a factor of w?
False
Suppose 2*t = -259 + 1069. Does 27 divide t?
True
Let u(q) = 3*q**3 - 6*q**2 + 5*q - 1. Let d be u(5). Suppose -3*a = -0*a - d. Suppose -l - 22 = -a. Is l a multiple of 13?
False
Suppose 10*m + 1104 = 16