15 a factor of (6/u)/12 - 1002/(-8)?
False
Let l be 90/4*(-4)/(-6). Let m = l - 10. Let w = 7 + m. Is w a multiple of 12?
True
Does 3 divide 25 - (-2)/(-12)*6?
True
Let g = -5 + 7. Suppose -2*f = 3*x - 266, 0 = 2*f - 0*x - g*x - 246. Is 21 a factor of f?
False
Let j = -110 - -445. Is 67 a factor of j?
True
Let j = -29 - -302. Does 13 divide j?
True
Let h(p) = -12*p + 7. Let i = 25 + -34. Is h(i) a multiple of 23?
True
Let p(d) = 23*d**3 - d. Let f be -2*6*1 - -2. Let s = f + 11. Is 8 a factor of p(s)?
False
Let t(q) = -3*q**2 - 7*q - 7. Let o(w) = w**3 + 4*w**2 + w - 3. Let r be o(-4). Let k be t(r). Let y = 160 + k. Does 12 divide y?
False
Suppose k + 14 = 5*p - 2*k, 0 = -p - 2*k + 8. Suppose 3*z - 4*z + 4*b = -129, -b - 123 = -z. Suppose -z - 87 = -p*y. Is y a multiple of 13?
True
Let l(p) = p**3 + 7*p**2 - 5*p - 3. Let a be ((-4)/(-4))/((1/7)/(-1)). Is 8 a factor of l(a)?
True
Suppose 7*k - 17*k = -1670. Let c = -107 + k. Does 10 divide c?
True
Suppose -5*l = -0*l. Let c(p) = -11*p + 2 - 2 + l. Is c(-4) a multiple of 17?
False
Suppose 0*f - 4*f = -5*g + 56, 0 = f + 2*g + 14. Let k be 32/f - 6/(-21). Let t(y) = 3*y**2 + 4. Is t(k) a multiple of 16?
True
Let w(c) = -7*c + 8. Let f = 24 + -34. Let u(i) = -i**3 - 9*i**2 + 11*i - 2. Let d be u(f). Is 24 a factor of w(d)?
False
Let b(o) = -169*o - 32. Is 14 a factor of b(-4)?
True
Let i(f) = 2*f**2 + 39 + 3*f**2 + 5*f**3 - 37 - 4*f. Is i(3) a multiple of 31?
False
Let d(t) = -t**3 - 5*t**2 - 2*t - 6. Let f be d(-5). Is 13 a factor of (f - 39)*4/(-2)?
False
Let a(g) = 11*g + 20. Let h(z) = 7*z + 13. Let i(l) = -5*a(l) + 8*h(l). Let r be i(7). Let v = r + -8. Is 3 a factor of v?
True
Let z(f) = 210*f**2 - 18*f - 3. Does 19 divide z(3)?
False
Let f be (-1)/(-2) - 119/(-14). Is f/(-2)*114/(-9) a multiple of 14?
False
Let d(n) = n**2 + 8*n + 12. Let a be d(-6). Suppose -5*x + 104 = o, -5*o + a*o + 436 = 4*x. Suppose -4*l + t = 2*t - o, 0 = -3*t + 12. Is 12 a factor of l?
False
Suppose 2*z = m + 129, 5*z - 285 = -4*m - m. Is 3 a factor of z?
False
Let u(i) = -i + 6. Let v be u(11). Let b = -1 - v. Suppose -b*l + 16 = -92. Is l a multiple of 7?
False
Let b(k) = -6*k**3 + 5*k**2 - k - 47. Let f(l) = l**3 - l**2 + 1. Let g(d) = -b(d) - 5*f(d). Does 15 divide g(0)?
False
Let r(q) = 27*q - 2. Suppose 0 = -3*m - 3 + 6. Does 16 divide r(m)?
False
Let b(j) = 9*j**2 + 13*j - 45. Is 21 a factor of b(-9)?
True
Let k(i) = 4*i**2 + 3*i - 30. Is k(-6) a multiple of 12?
True
Let j(h) = h**2 - h + 2. Let m be j(0). Let n be (144/(-40))/(m/(-180)). Does 12 divide (n/(-42))/((-9)/42)?
True
Let f(a) = a**2 + 4*a - 19. Let o be f(8). Let h = o + -27. Does 10 divide h?
True
Suppose 478 + 389 = 3*k. Is 17 a factor of k?
True
Let j(a) = 4*a + 6. Let x be j(-1). Suppose 4*c = x*v - 54, -91 = -4*v + c + 52. Is 3 a factor of v?
False
Suppose -24 = -0*g - 3*g. Let z = 44 + -40. Let m = z + g. Is 3 a factor of m?
True
Let c be 15/(-45) - (-340)/(-6). Does 19 divide ((-4)/12)/(1/c)?
True
Let k be 2 + 8/(-2) + (-66)/11. Let r = k + 19. Does 9 divide r?
False
Suppose -5*d + 119 + 1501 = 0. Does 12 divide d?
True
Suppose 237 = -0*g + 3*g. Suppose 2*o - g - 36 = -5*c, 4*c + 2*o - 90 = 0. Is c a multiple of 17?
False
Let j(g) = -8*g**3 - g**2 - 12*g - 3. Let r(q) = -7*q**3 - 2*q**2 - 11*q - 4. Let z(l) = 6*j(l) - 7*r(l). Does 29 divide z(-6)?
False
Suppose -3*k - 5*z - 62 = -268, 5*k = 5*z + 370. Is 24 a factor of k?
True
Let z be 4/(16/(-18))*32/(-48). Does 23 divide -4 - (z/(-12) + (-199)/4)?
True
Let i(d) = 11*d**3 - 3*d**2 - 4*d - 6. Does 26 divide i(5)?
True
Suppose -4*l - 262 = -802. Is l a multiple of 27?
True
Suppose -14 = -c - 7. Is 2 a factor of c*2/7*3?
True
Suppose 0*b = 4*b + o - 10661, -o = -4*b + 10659. Does 13 divide b?
True
Suppose -206 - 44 = -c. Suppose 428 = 4*r - 5*m - 100, 2*r + m - c = 0. Suppose -2*w = -w - r. Is w a multiple of 31?
False
Suppose -508*i + 918 = -505*i. Is 17 a factor of i?
True
Suppose 0 = -5*m - 5 - 0. Is 10 a factor of ((-1)/(-3) - m)/((-2)/(-21))?
False
Let o be (-2 + 0)*68/(-8). Let c = 17 - o. Let q(z) = z**3 + z + 56. Is q(c) a multiple of 28?
True
Let l be 0/((-5)/(25/15)). Let g be (0/(l + 1))/1. Suppose b + 1 - 15 = g. Is 12 a factor of b?
False
Let d = -44 - -44. Suppose d = m - 6 - 14. Is 20 a factor of m?
True
Let s be (1/(-3))/(-1)*99. Let o = -24 + s. Suppose -3*n + o = 0, 2*k + 2 = -n + 37. Is k a multiple of 6?
False
Suppose 0*d - 472 = -d + 3*o, 5*d + 4*o = 2284. Does 4 divide d?
True
Let v(c) = 2*c**2 - 10*c + 11. Let q(y) = 3*y**2 - 11*y + 12. Let r(g) = -3*q(g) + 4*v(g). Is 2 a factor of r(-4)?
True
Suppose -2*x - 3*n + 17 = 0, x + 2 = 3*x - 2*n. Suppose 16 = x*a, 4*a - 17 = -3*f + 8. Let c = 27 - f. Does 6 divide c?
True
Suppose 0 = u + 18 - 24. Is u/12 + -2 + (-310)/(-4) a multiple of 19?
True
Suppose 4*a = 1074 + 402. Is 9 a factor of a?
True
Let u = -120 - -116. Let g(z) = -9*z - 12. Is g(u) a multiple of 3?
True
Let w(i) = 5*i**2 - 25*i - 130. Is 20 a factor of w(22)?
True
Let y(u) = -48*u - 812. Does 3 divide y(-25)?
False
Suppose -15*j + 20430 = -16050. Does 76 divide j?
True
Let y be 65*((-11)/5 - -4). Let c be (-26)/y - (-1624)/18. Suppose 5*p - 5*k = c, -2*p + 18 + 8 = 3*k. Does 4 divide p?
True
Let h(r) = r**2 + 4*r + 3. Let t be h(-3). Is ((-26)/(-1) + t)*(-77)/(-14) a multiple of 27?
False
Suppose l + i = 89, -2*l + 173 = -i + 4. Does 21 divide l?
False
Let u(y) = -11*y + 50. Let i(m) = m - 1. Let g(t) = -3*i(t) - u(t). Is 32 a factor of g(19)?
False
Let g(r) = -10*r**2 + 35. Does 3 divide g(0)?
False
Let r(x) = x**3 - 9*x**2 + 9*x. Let t(n) = n**3 + n - 1. Let m be t(2). Is r(m) a multiple of 27?
True
Let p(s) = s**3 - 2*s**2 - 2*s - 4. Let b be ((-6)/5)/((-18)/60). Is p(b) a multiple of 10?
True
Let w = 12 + -6. Suppose 0 = 6*c - 46 - 8. Suppose w*p - c*p = -165. Is p a multiple of 20?
False
Is (4 + -2)*(-56238)/(-52) a multiple of 14?
False
Suppose 0 = 2*j - j - 198. Suppose -6*l + j = -0*l. Does 11 divide l?
True
Let d(m) = 4*m**2 + 226. Is 15 a factor of d(0)?
False
Let h(a) = -2*a - 11*a - 26 - 9 + 31*a**2 - 30*a**2. Is 39 a factor of h(23)?
True
Suppose -11 - 5 = -4*w. Suppose -w*n = -9*n + 170. Is n a multiple of 8?
False
Suppose 7 = g - 4*y, -2*g - 4*y + 2 + 0 = 0. Suppose -381 = -3*r + g*k, -4*r - 2*k = -378 - 154. Does 28 divide r?
False
Suppose 2*x - 10 = 0, 2*s + 4*x - 3784 = 196. Is 33 a factor of s?
True
Let p = 36 + -37. Is 10 a factor of (p - 2) + 4/(12/309)?
True
Suppose 0 = -m - u + 107, m + 455 = 5*m - 5*u. Is m a multiple of 18?
False
Let c = 79 - 48. Suppose -r - 7 = -c. Suppose 2*d = d + r. Is 16 a factor of d?
False
Let t be -2 - (5 + 23)/2. Is t/(-28) + (-1)/((-7)/1228) a multiple of 22?
True
Suppose r - 171 = -5*u, 0 = 5*r - 14*u + 18*u - 813. Is 67 a factor of r?
False
Suppose -4*d - 2*d - 54 = 0. Let s(c) = c**2 + 3*c - 40. Is s(d) a multiple of 5?
False
Suppose 136*v - 119*v - 38335 = 0. Is 55 a factor of v?
True
Let u = -2 + 10. Suppose u*l = 3*l + 120. Is 3 a factor of l?
True
Let s = 198 - -48. Is 6 a factor of s?
True
Let v(r) = -r**3 - 15*r**2 - 13*r - 8. Let u be v(-14). Let s = -3 - u. Is s even?
False
Let b(v) = 4*v**2 + v - 2. Let s be b(1). Suppose 2*g - 3*g = -3*m + 77, 66 = 2*m + s*g. Is 9 a factor of m?
True
Suppose 492 - 140 = 4*j. Suppose 8 = 3*x - j. Suppose b - 20 - x = 0. Does 13 divide b?
True
Let n = -73 + 67. Is 44 a factor of (-2364)/(-18) - n/9?
True
Suppose 3*q - 4*q = -4. Suppose -2 + 7 = -z + q*l, 0 = 2*l - 10. Is z a multiple of 3?
True
Let v = 3 - 5. Let o(p) = p**2. Let m be o(v). Suppose -5*r = -x - 60, -4*r + 19 = -r - m*x. Is 8 a factor of r?
False
Let z be 20/(-3)*(9 + -6). Let c = z - -34. Suppose c*y - 10*y = 128. Is y a multiple of 15?
False
Suppose -2*f + 37 = -3*z, 11 = 3*f + 4*z - 53. Let t = -4 + f. Suppose -5*m = -h + 21, -3*h + 58 = -4*m - t. Does 13 divide h?
True
Is 7 a factor of (-24388)/(-168) - (-3)/(-18)?
False
Let x(j) = 8*j**3 - j**2 + 4*j - 3. Suppose -v + 15 = -5*u, 4 = -u + 2*v + 1. Let t be 6*(-3)/27*u. Does 21 divide x(t)?
False
Let l(j) = 8*j**2 + 6*j + 34. Is l(-6) a multiple of 32?
False
Suppose 6*m - 3144 = -0*m. Suppose -g = 3*g - m. Is 19 a factor of 8/28 - g/(-7)?
True
Let m(g) = g + 4. Let z be m(-6). Is 13 a factor of (8/(-12) + 1)/(z/(-78))?
True
Suppose 0 = 3*i - d