53) + -2 + -1 + 3?
True
Let s(f) be the first derivative of 29*f**2/2 - 32*f + 31. Is 17 a factor of s(8)?
False
Let r = 252 - 162. Does 18 divide r?
True
Let s(w) = 21*w + 7. Let k be s(9). Suppose -5*d - 465 = 5*r, -2*r - d - k = 3*d. Let q = r + 126. Is 15 a factor of q?
False
Let c(k) = 173*k + 10. Let l(p) = -p. Let m(i) = -c(i) - 2*l(i). Let v be m(5). Does 17 divide (-9)/6 - v/10?
True
Let q = 0 - 4. Let p be 3 - (q + 0 - 0). Suppose -p*b = -2 - 194. Is b a multiple of 14?
True
Let w be (1 + -3)/((-2)/(-4)). Let m = w + 6. Suppose -x + 2*b + 9 + 3 = 0, 16 = 3*x - m*b. Is 2 a factor of x?
True
Does 18 divide (-11 - (-70)/(-40))/(2/(-136))?
False
Let f(w) = -10*w - w**3 + 3 - 11 - 7 + 13*w**2 - 1. Let h be f(12). Suppose 3*v - h - 1 = 0. Is 3 a factor of v?
True
Suppose a + 10 = 9. Is 4/(-2) + (-1*33)/a a multiple of 6?
False
Let y(z) = 2*z**3 - 104*z**2 + 48*z + 121. Is 10 a factor of y(52)?
False
Let d be 1 + 0 + -1 + 5. Suppose -c + d*w + 23 = c, c = -4*w + 18. Is c a multiple of 7?
True
Let s(b) = 56*b + 824. Is 17 a factor of s(-6)?
False
Suppose 11*y - 6*y - 455 = 0. Let a = y + -51. Is 5 a factor of a?
True
Suppose 10*t - 12*t + 86 = 0. Suppose 5*k - t - 2 = 0. Is 2 a factor of (-66)/4*(-6)/k?
False
Suppose 5 + 4 = -h. Let z be (h/(-6))/((-7)/(-14)). Suppose 0*y = z*b - 4*y - 241, b = -3*y + 63. Is b a multiple of 25?
True
Suppose 3*h + 0*y - 5*y - 79 = 0, 0 = -3*h + y + 71. Does 4 divide h?
False
Does 18 divide 162/12 - 15 - 459/(-2)?
False
Suppose 5*d - 4722 = -8*s + 6*s, -3*s - 3796 = -4*d. Is d a multiple of 86?
True
Is ((-43)/4)/((-64)/256) a multiple of 29?
False
Let w be (-3 + 1)/((-14)/(-21)). Let s be 1*-12*w/6. Does 6 divide (-2)/((s/27)/(-1))?
False
Suppose 3*m - 7*m = -232. Is m a multiple of 6?
False
Suppose 0 = -19*r - 0*r + 3591. Does 27 divide r?
True
Let q(a) = 35*a**2 - 14*a - 5. Does 22 divide q(-3)?
True
Suppose 3*n - 34 = 2*n. Is n a multiple of 11?
False
Let t(k) = k - 4. Let q be t(8). Suppose -q*s + 2*g = g + 33, -5*s - 44 = -4*g. Is 4/(s/(-74)) - 2 a multiple of 12?
False
Let c(n) = 2*n**2 + 22*n + 2. Let f be c(-11). Suppose 3*r - 144 + 21 = -f*s, 5*r = 3*s + 186. Is 19 a factor of r?
False
Suppose -3122 = -5*v + 253. Is v a multiple of 54?
False
Let b(w) be the first derivative of -w**4/4 - 13*w**3/3 - 13*w**2/2 - w + 9. Is b(-12) a multiple of 7?
False
Let a be (1 - 1)/(-5 + 7). Suppose p - 5*p + 1240 = a. Suppose -5*u + p = -2*x + 116, 4*u - 2*x = 156. Is u a multiple of 19?
True
Suppose 2*x + 4*n = x + 308, -x = 2*n - 318. Does 35 divide x?
False
Let w(f) be the second derivative of -f**3/3 + 12*f**2 - 13*f. Is 8 a factor of w(8)?
True
Suppose 0 = -3*o + 5*o - 48. Let f = 154 - 151. Let d = f + o. Is 12 a factor of d?
False
Let j be -2 - (11 - (-6 + 3)). Is j/(-3 + 7) - -86 a multiple of 11?
False
Let m be (2 + 2)/8*4. Let t = m - 7. Let z(r) = r**3 + 5*r**2 - 4*r - 7. Is z(t) a multiple of 6?
False
Let q(i) = 3*i + 3 - 6*i - 9. Let b be q(-8). Suppose -6*h + 18 = -b. Is h a multiple of 3?
True
Let f(y) = y - 16. Let q be f(7). Is 124/6*q/(-2) a multiple of 31?
True
Let u(h) = 10*h + 5. Let t be u(6). Is 31 a factor of (-56)/20*t/(-2)?
False
Suppose 10*f = -867 + 3507. Does 30 divide f?
False
Let w = 0 - -5. Suppose 0*r + 218 = 3*y - 4*r, -y + 91 = -w*r. Is 22 a factor of y?
True
Suppose 0 = -8*y + 3*y - 30. Does 23 divide (-5562)/(-36)*(-4)/y?
False
Suppose 4*p = 3*u - 2834, -u - 11*p = -13*p - 944. Does 24 divide u?
False
Suppose -2*d = -3*q - 16, -2*d - 24 = 4*q - 6*d. Does 13 divide (-86)/q*2/1?
False
Suppose 5*k = -3*t + 27, 5*k + 5 - 40 = -5*t. Suppose d - 7 - 1 = -3*r, -k*d - 8 = r. Does 2 divide r?
True
Let h = 610 + -243. Is h a multiple of 34?
False
Suppose b + 2*b - 51 = 0. Let l = 24 - b. Does 11 divide 2 - 12/(-2)*l?
True
Let d(n) = n**3 + 7*n**2 + 3. Let i be d(-7). Suppose -i*p + 107 = -139. Suppose 0 = -3*o + 62 + p. Is o a multiple of 18?
False
Suppose 6 + 9 = -3*u. Let y(w) = 4*w**2 + 10*w + 13. Let q(n) = n**2 - n. Let f(g) = u*q(g) + y(g). Is f(11) a multiple of 11?
False
Suppose 65124 = 46*g - 21816. Is 27 a factor of g?
True
Suppose 0 = -91*q + 5*q + 30616. Is q even?
True
Let z = 37 + -35. Let t(w) = 6*w**3 - w**2 + 2*w. Is t(z) a multiple of 28?
False
Let f be 0*(-4 - (-33)/9). Suppose f = w - 43 - 29. Is w a multiple of 13?
False
Suppose -103*n + 19*n = -138432. Is 14 a factor of n?
False
Suppose 11*o - 12 = 8*o. Suppose o*p = 8*p - 28. Does 4 divide p?
False
Let p = 450 - 310. Is p a multiple of 5?
True
Suppose b + 3 - 6 = 0. Suppose b*p + 3*y - 11 - 166 = 0, 3*y = -4*p + 231. Is 9 a factor of p?
True
Let x = 10 + -4. Suppose -148 = 2*l - x*l. Let a = l - 22. Is a a multiple of 15?
True
Let m(s) = -50*s - 61. Is m(-10) a multiple of 47?
False
Let t = 11 + -8. Let n be 11 - (5/1 + -3). Suppose n + 24 = t*o. Does 11 divide o?
True
Suppose -223*r + 264 = -221*r. Is r a multiple of 11?
True
Let g(z) = 76*z**2 + 2*z + 2. Suppose -2*w + 7 = -3*d, 2*w + 0 - 13 = 5*d. Is g(w) a multiple of 12?
False
Suppose -4*p - 35 = 93. Let v = p - -47. Does 13 divide v?
False
Suppose -d - 4*q = 1231 - 6165, 2*q = -8. Does 11 divide d?
True
Let t(p) = p**3 - 9*p**2 - 15*p - 11. Suppose -4*f - 6 = -i + 3, -3*f + 22 = 5*i. Let q be f - (10 - 4)*-2. Is t(q) a multiple of 33?
True
Suppose g = o - 1582, -4064 - 672 = -3*o + 5*g. Is o a multiple of 23?
True
Let z(n) = n**2 + 25. Let q be z(0). Let r be (-5)/10 + q/2. Suppose 28 = g + r. Is 4 a factor of g?
True
Let h = 12 + -10. Let u(f) = f + 2*f - 2*f + h*f - 11. Is u(6) even?
False
Let r be (408/(-18))/(2*2/(-6)). Suppose 0 = -2*j - r + 116. Is j a multiple of 41?
True
Let t(y) be the third derivative of y**6/120 + 2*y**5/15 - y**4/4 + 2*y**3/3 - 7*y**2. Let r be t(-9). Let i = 4 - r. Is 9 a factor of i?
True
Let s(p) = 43*p**2 - 27*p + 26. Is s(1) a multiple of 3?
True
Suppose 5*v - 6711 = 3*z, 0 = -5*v + 8*z - 7*z + 6707. Is v a multiple of 33?
False
Let u(s) be the first derivative of s**4/4 + 4*s**3/3 - 9*s**2/2 + 2*s + 11. Is u(-5) a multiple of 22?
True
Let g = 1774 + -958. Does 17 divide g?
True
Let p(b) = 136*b**2 - 7*b - 28. Is 24 a factor of p(-4)?
False
Suppose -3800 = 9*j - 28*j. Is 25 a factor of j?
True
Let i(o) = 45*o + 3. Let w be ((-8)/2 - -3)*-1. Is 12 a factor of i(w)?
True
Is (-5 + 1 - -460) + 6 a multiple of 8?
False
Let q be ((-12)/8)/((-12)/(-208)). Does 18 divide (-958)/q + (-16)/(-104)?
False
Suppose -12 = -0*y - 4*y + 5*o, 5*o - 44 = -3*y. Let j be y/32 - 507/(-4). Let s = j + -91. Is s a multiple of 9?
True
Let u(h) = 6*h**2 - 2*h + 4. Let q be u(3). Is 6 a factor of ((-4)/8)/((-2)/q)?
False
Let m(z) = -z**3 + 14*z**2 - 12*z + 5. Let k(t) = 1. Let a(f) = -4*k(f) - m(f). Let c be a(13). Let b = c + 40. Does 6 divide b?
True
Suppose -34*n + 10230 = -24*n. Does 93 divide n?
True
Let z(h) be the third derivative of h**6/120 - h**5/15 - h**4/3 + h**3/6 - 24*h**2. Is 4 a factor of z(6)?
False
Let s be (1424/(-10))/((-6)/15). Suppose -8*i = -12*i + s. Suppose -i = -3*n + 58. Is 20 a factor of n?
False
Suppose -84 = -7*f + 210. Suppose -44*v + f*v + 292 = 0. Is 16 a factor of v?
False
Let o be (0 - -4)*(-27)/(-4). Let w = o - 39. Let l = -4 - w. Is 8 a factor of l?
True
Let c(v) = 18*v**2 + v - 1. Let l = 28 - 29. Is c(l) a multiple of 3?
False
Suppose 0 = -5*u - 12 - 13. Let c(g) = -g**3 - 3*g**2 + 5*g - 4. Does 12 divide c(u)?
False
Let z = -28 - -34. Let k(r) = -r**3 + 7*r**2 + 2*r + 3. Does 8 divide k(z)?
False
Let p(j) = 9*j**2 - 4*j + 1. Let l be p(2). Let z = -13 + l. Is 4 a factor of z?
True
Let q = 18 - 29. Is ((4 + 0)/2)/((-2)/q) even?
False
Suppose 5*g + 1244 = 3*z - 2207, g = 5*z - 5781. Is 13 a factor of z?
True
Let o be 6198/(-3)*(-3)/6. Let i = o + -673. Suppose -p = 4*p - 4*g - 360, 5*p - g = i. Does 19 divide p?
False
Let n be (-48)/(-18)*(-78)/4. Let f = 74 + n. Suppose -4*j = -5*w - f, 4*j + 3*w = 5 + 1. Is 2 a factor of j?
False
Is (7 - 4)*-50*(-8)/3 a multiple of 5?
True
Let y(x) = x - 8. Let d be y(19). Let z(w) = -w**2 + 16*w - 10. Is 15 a factor of z(d)?
True
Let k(n) be the first derivative of -n**3 + 2*n**2 - n + 6. Let b(y) be the first derivative of k(y). Does 29 divide b(-9)?
True
Suppose 44*c = 43*c + 507. Is c a multiple of 39?
True
Suppose 5*b + 150 = z, 489 = 4*z - 3*b - 94. Does 23 divide z?
Fa