5))*z?
True
Is 31 a factor of ((-168)/(-16))/((-3)/(-54)*3)?
False
Suppose 0 = -2*o - b + 10, 1 - 16 = -3*o + b. Suppose 5*l - o*s = 680, 4*s = l - 4*l + 387. Suppose 2*d = 3*q - l, 4*q - 2*d - 35 = 139. Is 10 a factor of q?
False
Suppose 3*j - 13 = 2, 0 = 2*z + 2*j - 3094. Is 37 a factor of z?
False
Let f(x) = x**2 + 5*x - 2. Let g = 9 + -8. Let c(v) = 4*v**2 - v. Let l be c(g). Is f(l) a multiple of 11?
True
Let m be (2 - -1 - 3)/(-2). Suppose -n - 11 - 1 = m. Is 19 a factor of 59 + (n/(-4) - 3)?
False
Suppose 6160 = 13*o + 3*o. Is o a multiple of 55?
True
Let s(o) = o**2 - 15*o - 16. Let v be s(16). Suppose v = -4*w - 12, -i + 2*w + 2*w + 20 = 0. Is 5 a factor of i?
False
Let o(m) = -22*m**2 + 3*m - 6. Let q be o(-8). Is (-2)/(-5) - q/5 a multiple of 18?
True
Let z(g) = g**3 - 9*g**2 + 14*g + 3. Let q be z(7). Suppose q*b - 79 = -0*b - 4*n, 0 = -3*n + 12. Is 3 a factor of b?
True
Let d(b) = b**2 + 4*b - 14. Suppose -36 = 3*w - 0*w - 5*z, -3*w = 3*z + 12. Is 4 a factor of d(w)?
False
Suppose -9*m + 4939 + 9569 = 0. Does 62 divide m?
True
Let v(z) = 33*z**2 - 4. Let c(t) = -t**3 - 4*t**2 - t - 2. Let h be c(-4). Let f be v(h). Let r = f - 60. Is 9 a factor of r?
False
Let k(s) = s**2 + 4*s - 4. Let a be k(-4). Let r be (1 + -3)/a*4. Suppose -r*v - 380 = -7*v. Is 19 a factor of v?
True
Let n = 33 + -89. Let x be (n/(-35))/((-1)/5). Does 2 divide x/4*(0 - 1)?
True
Let a(j) be the first derivative of -j**5/20 + 5*j**4/6 + 2*j**3 + 6*j**2 + 6*j + 1. Let k(o) be the first derivative of a(o). Is k(11) a multiple of 9?
False
Suppose -o = 4*g + 20, -25 = 2*o + g + 4*g. Suppose x = 4*u - o*x - 248, 325 = 5*u - 5*x. Let r = -26 + u. Does 8 divide r?
False
Let x = -17 - -17. Suppose x = -2*t + 5*u + 4 + 23, -t - 2*u - 9 = 0. Suppose -f = -t - 8. Does 6 divide f?
False
Let j(g) = -g**2 - 23 - 15*g - 13*g + 7*g. Let r = 24 - 41. Does 16 divide j(r)?
False
Let b(u) = u**2 - 2. Let v be b(-2). Suppose -g - 3*g + 3*i + 23 = 0, v*g + 5*i = 5. Suppose 0*r - 5*r + 189 = -2*d, -g*d = -5*r + 180. Is r a multiple of 13?
True
Let m(a) = a**3 - 16*a**2 - 15. Let n be m(15). Let g = -32 - n. Is 52 a factor of g?
True
Let j(u) = u**2 - 4*u - 7. Let t = 31 + -36. Is 7 a factor of j(t)?
False
Let z(q) = 2*q**2 - 125. Does 13 divide z(24)?
True
Suppose 0*x - 7 = x. Let p(o) = o**3 + 6*o**2 - 12*o - 14. Does 9 divide p(x)?
False
Let j(b) be the first derivative of -b**2 + 9*b + 14. Let i be j(6). Does 19 divide 14/(-42) - 193/i?
False
Suppose 25*v - 904 = 17*v. Is v a multiple of 19?
False
Suppose 30*r - 7740 = -13*r. Is r a multiple of 5?
True
Let w(o) = o**2 + 4*o - 30. Let c be w(4). Suppose 2*v - 2*t - 601 - 277 = 0, 0 = 2*t. Suppose 75 = -n + c*n + 3*b, v = 5*n - b. Is n a multiple of 13?
False
Is (13 - (-1120)/24)*45 a multiple of 16?
False
Let x(q) = -1 - q**2 + 0*q**2 - 28*q**3 + 35*q - 35*q. Is x(-1) a multiple of 3?
False
Let z(h) be the second derivative of -3*h**3/2 - 7*h**2/2 + 3*h. Let w be z(-7). Suppose w = y + y. Is y a multiple of 7?
True
Let j be (-30)/(-25)*(0 + 400/(-6)). Let s = 197 + j. Is 52 a factor of s?
False
Let d(r) = -2*r + 0*r - 5 + 0*r + 12. Does 7 divide d(0)?
True
Let m(k) = k**2 - k + 7. Let r(c) = 5*c**2 - c + 1. Let v be 2/(-5) + (-28)/(-20). Let w be r(v). Is m(w) a multiple of 9?
True
Let w = 2324 - 785. Does 27 divide w?
True
Let q(k) = -k**3 - 11*k**2 - 7*k - 11. Does 11 divide q(-13)?
True
Let r(l) = l**3 + 19*l**2 - 53*l - 51. Does 18 divide r(-21)?
True
Let r(s) = s**2 - 5*s - 4. Let c be r(6). Suppose 6*p = c*p + 204. Is p a multiple of 16?
False
Suppose 0 = -f + 2*a + 42, 4*a + 161 = 4*f + 3*a. Is f a multiple of 20?
True
Let p be 4140/22 - 8/44. Suppose 347 = -8*y - 557. Let x = y + p. Is x a multiple of 13?
False
Let m be -1*(-8)/1 - -2. Let a(d) be the first derivative of d**4/4 - 3*d**3 - 9*d**2/2 + d + 7. Is a(m) a multiple of 3?
False
Let v(j) = j**2 - 6*j - 11. Let y be v(8). Suppose 0 = 3*g - 6, -y*l = 4*g - 34 - 44. Is l a multiple of 14?
True
Suppose -4 = 5*z + 4*x + 8, -3*z - 5*x = 15. Suppose -2*g + 239 + 221 = z. Does 47 divide g?
False
Let d(t) = 185*t + 127. Does 28 divide d(6)?
False
Suppose 23*k = 24*k - 650. Is k a multiple of 17?
False
Let f = -2864 - -4096. Is 47 a factor of f?
False
Let r(a) = -3*a + 21. Is r(-8) a multiple of 25?
False
Suppose 24488 = 5*y - 4*m + 4423, -3*m = 2*y - 8026. Does 43 divide y?
False
Let k(b) be the third derivative of -29*b**6/120 - b**5/30 - b**4/24 - 4*b**2. Is 7 a factor of k(-1)?
True
Let l = -80 + 459. Suppose r - l = -2*h, -5*r + r + 949 = 5*h. Is 16 a factor of h?
False
Let m(d) = -d**3 - 10*d**2 - 3*d - 9. Suppose -b + 5*s = 25, -2*b + 3*s - 26 - 3 = 0. Does 6 divide m(b)?
False
Let i be (2/(-2))/((-2)/(-26)). Let a = i + 18. Suppose -u = -5*d - 20, 3*u + 0*u - 140 = -a*d. Does 20 divide u?
True
Let b(a) = 6*a**2 - 1. Let d be b(-1). Let t be (-2 + d)/(1/6). Let l = t - 16. Does 2 divide l?
True
Let r be ((-2)/(-1))/(0 + -2). Let z be (1/2)/((-2)/(-4)). Is 11 a factor of z*(-41 + 0)*r?
False
Let g = -45 - -66. Let n be -2 + 0 + (21 - -17). Let o = n - g. Does 15 divide o?
True
Suppose 9979 = 44*f - 8501. Does 12 divide f?
True
Is 10 a factor of (-4 - -5)*(427 + 6)?
False
Let p(a) be the first derivative of 19*a**3/3 - a**2 + 2*a + 7. Does 8 divide p(1)?
False
Let v(h) be the first derivative of -h**3/3 - 9*h**2/2 - 4*h + 2. Let u be v(-7). Let n = -3 + u. Is n a multiple of 7?
True
Suppose 5*t = 3*z - 2, -2*z - 27 = 5*t - 70. Let n(d) = -d**2 + 11*d + 9. Is 19 a factor of n(z)?
False
Let l(x) = 11*x + 4. Let h be 270/50 - (-2)/(-5). Let r be l(h). Suppose 5*i = r + 31. Is i a multiple of 6?
True
Let x(m) = m**3 + 15*m**2 + 32*m - 31. Is 9 a factor of x(-11)?
False
Suppose 0 = -k + j + 489, 3*k + j - 5*j = 1470. Is k a multiple of 6?
True
Let t = -399 - -411. Is t a multiple of 4?
True
Let w(c) = -c**3 - 2*c**2 + 11*c - 2. Let t be w(-5). Does 13 divide 803*2/t - (-6)/(-27)?
False
Let s = -40 + 41. Is 6 a factor of s/(-3) + (-657)/(-27)?
True
Is 30 a factor of (636/477)/((-4)/(-5799))?
False
Suppose -10*g = g - 3707. Is g a multiple of 2?
False
Let i(f) = 86*f**2 - 43*f**2 - 46*f**2 - 55*f**3 + f - 3*f. Is i(-1) a multiple of 6?
True
Is ((-125)/1)/((-14)/56) a multiple of 5?
True
Let v be 14/6 - 4/12. Suppose -f - v*f = 0. Suppose -4*w + u - 32 + 232 = f, -250 = -5*w + 4*u. Is 10 a factor of w?
True
Let a(h) = -h**2 - 6*h - 3. Let j be a(-4). Suppose 5*z + 2*i = -25, -j*i - 3 = -4*z + 10. Let q = 12 + z. Is 8 a factor of q?
False
Suppose 10*f - 16224 = 34486. Does 11 divide f?
True
Let w(b) = -4*b**3 - 45*b**2 - 16*b - 4. Is w(-14) a multiple of 88?
True
Let n(j) = 2*j**3 - 45*j**2 + 18*j + 23. Let l(c) = c**3 - 22*c**2 + 9*c + 12. Let u(b) = -7*l(b) + 3*n(b). Is u(18) a multiple of 49?
True
Let i be -2*(1 + (-7)/2). Suppose -v = 2*v - i*f - 186, -2*v = 4*f - 146. Let z = v + -47. Is z a multiple of 4?
True
Suppose 24 + 0 = -6*i. Does 6 divide 1 - (-32 - i) - -1?
True
Suppose -311*v + 305*v + 8916 = 0. Is 70 a factor of v?
False
Let v be (-100)/(-30) + (-1)/3. Let k(p) = -3*p - 2*p**v - 1 - p + 0*p**3 + 0*p - 2*p**2. Does 15 divide k(-3)?
False
Suppose -26*x - 181 = -831. Does 7 divide x?
False
Suppose 1367 = -2*q + 5*c, 6*c - 2*c = 12. Is (q/6)/((-2)/3) a multiple of 13?
True
Let f = 4443 + -3127. Does 28 divide f?
True
Let y be (-50)/(-18) + (-4)/(-18). Let d = 2 + y. Suppose -111 = -3*x + a, -d*a + 140 = 3*x + 11. Is x a multiple of 19?
True
Let o(n) = -n**3 - n**2 - 6*n - 4. Let r be o(-1). Let u(p) = 57*p - 14. Is u(r) a multiple of 10?
True
Let x(u) = -u**2 + 25*u - 93. Does 3 divide x(19)?
True
Let y be 4*1 - (8 - 4). Suppose -v - 3*v = y. Suppose 10*j - 11*j + 17 = v. Is j a multiple of 6?
False
Suppose k - 105 = 5*c + 5*k, 3*k - 2 = c. Is (51/c)/(1/(-18)) a multiple of 6?
True
Suppose z + 51*o - 47*o - 188 = 0, -2*z + 3*o + 409 = 0. Is z a multiple of 111?
False
Suppose 0*d + 3*d = -2*k + 13, 4*k - d - 5 = 0. Is 42 a factor of (-2436)/(-58) + 2*(0 + k)?
False
Let l(p) = 110*p**2 - 2*p + 5. Is l(2) a multiple of 6?
False
Let h(z) = -z**3 - 9*z**2 - 6*z + 2. Let d = 13 + -22. Is 8 a factor of h(d)?
True
Suppose 0 = 16*t - 9846 + 1206. Is 15 a factor of t?
True
Suppose 28 = 4*v - x, v - 8 - 14 = 4*x. Let w = -4 + v. Suppose -3*m - w*m + 395 = 0. Is m a multip