f i?
False
Let h be (-260)/(-70) - 4 - (-22)/28*-6. Let a(u) be the third derivative of -u**4/8 + 7*u**3/3 - u**2. Is 3 a factor of a(h)?
False
Let a(b) = -b**3 + 18*b**2 - 15*b - 19. Let h be a(17). Suppose -z + 83 = -5*u - 101, 5*u = -h. Is 29 a factor of z?
False
Let i(f) = -3*f**2 - 5*f + 14. Let c be i(4). Let t = c + 51. Does 21 divide ((135/6)/t)/((-1)/14)?
True
Suppose -4*k = 3*q, 4*q + 6 = -k - 7. Suppose -k*r = -13 + 4. Suppose r*j - 18 - 126 = 0. Is 25 a factor of j?
False
Suppose -4*z - 12*z = -880. Does 23 divide 11/(z/1160) + -1?
False
Let k = -8 + 22. Let j = k + -7. Suppose -4*s = -4, -41 = -3*t - j*s + 2*s. Does 2 divide t?
True
Let r be ((-14)/(-56))/((1/(-1))/(-12)). Is 30 a factor of 283 - 1*r/1?
False
Suppose -15 = -37*m + 96. Suppose -m*y + 3927 = g, -5*y + 4267 + 2278 = 5*g. Does 27 divide y?
False
Let l = 12956 + -9246. Does 106 divide l?
True
Is 52 a factor of ((-24)/10*1 - 0)/((-2127)/11195110)?
False
Suppose 36*h - 19217 - 3751 = 0. Is 134 a factor of h?
False
Suppose 0 = -7*f + f - 312. Is (54 - f)*(2 - 0 - 1) a multiple of 14?
False
Let x(q) = 2*q**2 + 67*q + 310. Is x(-66) a multiple of 2?
True
Let p(u) = 3*u**2 + 46*u - 831. Is 12 a factor of p(-43)?
False
Suppose -8 = -2*n, -12 = -30*k + 26*k - n. Suppose 0 = k*b + 10, -3*w + w + 3*b + 191 = 0. Is w a multiple of 22?
True
Let z(t) = -t**3 + 20*t**2 - 17*t - 82. Is z(18) a multiple of 159?
False
Let i(u) = u**3 + 12*u**2 - u + 14. Suppose -12*r + 32*r + 200 = 0. Is 25 a factor of i(r)?
False
Let k(m) = m**3 - 4*m**2 + 2*m + 4. Let z be k(2). Suppose z = -14*h + 9*h + 225. Is h a multiple of 6?
False
Let q = -161 + 235. Let a = -88 + q. Is 27 a factor of (-1386)/(-15) + 2 + a/35?
False
Let i(j) = j**3 - 21*j**2 + 20*j + 18. Let a(y) = 2*y**2 - 29*y - 3. Let q(h) = h + 1. Let m(b) = -a(b) + 2*q(b). Let p be m(15). Is 18 a factor of i(p)?
True
Let i(x) = -43*x**3 - x**2 + 3*x + 4. Let t(s) = s**2 + 11*s - 1. Let l be t(-11). Is i(l) a multiple of 3?
False
Suppose -4*u + 3*z + 19859 = -6067, 19446 = 3*u - 3*z. Is u a multiple of 48?
True
Let t = 29142 - 28523. Does 3 divide t?
False
Suppose 5*j - 3*n = 6 + 10, 4*n + 18 = 5*j. Let r(s) = 3*s + j + 31*s**3 - 16*s + 11*s. Is 31 a factor of r(1)?
True
Is 8 a factor of 494 - (150/24 - 2/8)?
True
Let q be 7/(-2 + 1)*(-180)/70. Suppose 7*a = q + 24. Let h(t) = 10*t + 18. Is h(a) a multiple of 16?
False
Let u = 38 - 34. Suppose 0 = -2*n + 3*w + 39, 23 = 8*n - u*n + 5*w. Let q(k) = 3*k - 28. Is q(n) a multiple of 8?
True
Let t be 3 - (-1)/(-3)*3. Let f be -4 + (-5*t)/5. Is ((-39)/4)/(f/72) a multiple of 39?
True
Let n(q) = -2*q**3 - 3*q - 293*q**3 - 2*q**2 - q**2 - 96*q**3 - 1. Is 39 a factor of n(-1)?
True
Let u = -11 + 8. Let i be 2/(-10) + u/(-15). Let h(r) = 6*r + 52. Does 13 divide h(i)?
True
Let y(v) = 3*v**2 - 32 + 63*v - 6*v**2 - 10 - 23 - 3. Does 5 divide y(17)?
False
Let p(u) = -9*u - 57. Let m be p(-12). Let s = 67 - m. Is s a multiple of 8?
True
Let j be (2/(-10) - 1)*(-10)/6. Suppose -j = -2*k - 4*d + 382, -2*k + 383 = 5*d. Is 18 a factor of k?
False
Let r(y) = -9*y**2 - 9*y - 28. Let d be r(-8). Is 36 a factor of 24626/19 + 56/d?
True
Suppose -5*a + 48768 = 4*n - 8408, -5*n - 2*a = -71487. Is 28 a factor of n?
False
Let k(u) = -5*u**3 + 7*u + 37. Suppose 0 = 4*j + 2*y - 5 + 29, y = j. Does 5 divide k(j)?
False
Let w be (-18)/(-30) + 228/(-5). Let n = w + 171. Is 42 a factor of n?
True
Let z(j) = -j**2 - 10*j + 32. Let s be z(3). Is (-30)/(-105) - 733/s a multiple of 15?
True
Let h(c) = 188*c + 81*c - 46*c - 12 + 29 - 311. Is 58 a factor of h(6)?
True
Let i = 1993 + 4826. Is i a multiple of 12?
False
Let r(u) = -32*u + 19. Let j(d) = 33*d - 20. Let w(t) = -2*j(t) - 3*r(t). Is w(3) a multiple of 61?
False
Let m = 130 + -131. Let y(q) = -342*q. Is y(m) a multiple of 18?
True
Suppose 602 = 2*h + 2*y, -h - h = -3*y - 577. Let d = h - -388. Is d a multiple of 36?
True
Let c(r) = r**2 - 6*r + 5. Let o be c(4). Let h = -184 - -172. Is 14 a factor of (5 + 39)*o/(h/11)?
False
Let g = -177 - -181. Is ((-14)/g)/((-23)/3956) a multiple of 21?
False
Let f(d) = 2*d**2 - 6*d + 4. Let n be f(2). Suppose m = -n*m + 3. Is 2 a factor of 4 - (-1 - -4) - (-15)/m?
True
Suppose q - 8 = -j, 17*q + 48 = 5*j + 14*q. Does 97 divide ((-4497)/j)/(-10 - (-203)/21)?
False
Let l = 53004 + -24892. Does 230 divide l?
False
Suppose -y = 189*i - 187*i - 11742, -4*y - 5*i = -46989. Is 20 a factor of y?
False
Let m be (-1568)/(-40) - (-1)/(-5). Does 3 divide (-15)/(-5) + m/1?
True
Suppose 210*h = -66*h + 7935276. Does 8 divide h?
False
Let v be (-144)/3*7/((-112)/12). Suppose 0 = -4*z - 1391 + 11503. Is z/v + (-10)/45 a multiple of 14?
True
Let n(h) = 184*h**2 - 281*h + 53. Does 143 divide n(8)?
True
Suppose 4*q - 19*i + 20*i = 18154, 8 = 4*i. Does 68 divide q?
False
Let l be 50/6*(-414)/(-345). Suppose -33*z + l*z = -4692. Does 8 divide z?
False
Let a be (1215/30)/(2/120). Suppose 7*y - a = 2*y. Is 6 a factor of y?
True
Let k(v) be the third derivative of 13*v**4/24 + 4*v**3/3 - 4*v**2. Let j be 5 + -4*5/(-4). Is 40 a factor of k(j)?
False
Let l = 4 - 2. Suppose 32*t - 6180 = 15*t - 13*t. Suppose -2*g + 2*q = -t, -l*g - 4*q + 533 = 3*g. Does 15 divide g?
True
Is (-12816)/(-64)*(12 - 0) a multiple of 110?
False
Suppose 0 = -788*z + 695*z + 1324134. Is 42 a factor of z?
True
Does 20 divide (956/18 - 5/45)*(13 + -7)?
False
Suppose -3835 = -38*b + 3689. Suppose 2*q + 5*r - 206 = 0, -2*q + 20 = 2*r - b. Is q a multiple of 5?
False
Let p(k) = -k**3 + 6*k**2 + 8*k + 10. Let v be p(7). Suppose -3*l = 11 - v. Suppose 3*m = -2*t + 132, -l*m = 2*t - 39 - 47. Is 23 a factor of m?
True
Is 1/4*8/6 - (-14995)/15 a multiple of 4?
True
Let q(u) = -58*u + 6. Let p be q(-3). Let y be (-1)/((-2)/2)*(-10 + p). Let c = y - 58. Is 17 a factor of c?
False
Suppose 0 = 3*t + 28 - 34. Suppose 7*d - t*d = 180. Does 4 divide d?
True
Suppose 0 = 15*o - 10*o + 3*s - 144, -4*o + 4*s + 128 = 0. Let b = 18 + o. Is b a multiple of 6?
True
Suppose 1220*o + 73099 = 1233*o. Does 12 divide o?
False
Suppose -12021 = -18*j - 933. Let l = j - 55. Does 17 divide l?
True
Let b be 0 + -1 - (-1 + -7). Let m = b + 24. Suppose m + 45 = t. Does 20 divide t?
False
Let z = 504 + -859. Let x = -51 - z. Does 7 divide x?
False
Let l(j) = 10*j**3 + 9*j**2 + j - 9. Let o(d) = -12*d**3 - 10*d**2 + 10. Let g(n) = -7*l(n) - 6*o(n). Is 11 a factor of g(4)?
True
Let l = 30 + -12. Is l/(-5 - 1) - -52 a multiple of 5?
False
Let i(u) = -u**3 - 16*u**2 + 14*u - 93. Let l be i(-17). Is 18 a factor of ((-24)/14)/((-6)/l)*-36?
True
Let s be -2 + (-2 + -1 - -1). Let x be s - -6 - 5/(-5). Does 17 divide (-6)/x + 85 - -2?
True
Let s = 22 - 17. Suppose -4*l + d - 42 = 0, -s*d - 1 = 2*l + 9. Is l/(-15)*(-33)/(-1) a multiple of 11?
True
Suppose 3*f + 0*f - 6 = 0. Suppose -156 = -43*a - 35*a. Suppose 2*d = -0*d + f*z + 50, -4*d - a*z + 82 = 0. Is 5 a factor of d?
False
Suppose 8*x - 13*x = -25. Suppose 3*s + 454 = x*u, 2*u - 132 = s + 50. Does 4 divide u?
True
Let l(d) be the first derivative of 5*d**3/3 + 7*d**2 - 2*d + 16. Does 15 divide l(-4)?
False
Let o(q) = q**2 - 4*q + 15. Let b be o(0). Does 4 divide 3*(-7 + 1225/b)?
True
Let u(y) = 12*y**2 - 25*y - 103. Let c be (18/3 - 3) + -10. Is u(c) a multiple of 30?
True
Suppose 31*m + 2*m + 22214 = 86927. Does 6 divide m?
False
Let u(j) = j**2 + 2*j + 3. Let a be u(-2). Suppose -726 = -4*z - a*v, 3*z + 5*v - 910 = -2*z. Is 30 a factor of z?
True
Suppose -3*y = -3*z - 21, -4*y + z + 0*z + 13 = 0. Suppose 0 = 4*h - 5*c - 1999, -y*h + 4*h = -c + 989. Is 44 a factor of h?
False
Let m be 7/((-420)/8) + (-558)/(-135). Suppose -5*p + 4*x = -878, -2*p - 368 = -4*p - m*x. Does 11 divide p?
False
Let p(b) = 890*b**2 + 1335*b - 5329. Does 50 divide p(4)?
False
Suppose -63667 + 35441 = -30*u + 85804. Is 30 a factor of u?
False
Let a(z) = -38*z**3 + 6*z + 4. Let f = -55 - -81. Let b be 7/(273/(-72)) + (-4)/f. Is a(b) a multiple of 37?
True
Let g(h) = -h**2 + 15*h - 19. Let u be ((-55)/(-22))/(((-5)/12)/(-1)). Is g(u) a multiple of 5?
True
Let z(j) = -2*j**3 + 57*j**2 + 39*j - 287. Let f be z(29). Let v(w) = 14*w + 1. Let c be v(1). Is 52 a factor of 210 - (f - 39/c)*5?
True
Let x(u) = u**3 + 6*u**2 - 10*u - 5. Let j be x(-7). Suppose 15*k + 14 + j = 0. Let f(b) = -3*b**3 - b**2 - 3