es 5 divide u(-1)?
True
Let w(y) = 21*y - 66. Is w(18) a multiple of 48?
False
Let d(u) = -u + 6. Let w be d(3). Suppose w*o - 9*o + 522 = 0. Does 7 divide o?
False
Let g = 67 - 33. Does 7 divide ((-901)/g)/((-1)/4)?
False
Let m(p) be the second derivative of 11*p**5/120 + p**4/24 - p**3/2 - 7*p. Let a(b) be the second derivative of m(b). Does 15 divide a(5)?
False
Does 15 divide (-82)/(-287) - 103608/(-21)?
False
Let u(j) = j**3 + 14*j**2 + 20*j + 22. Does 15 divide u(-7)?
True
Suppose -4*g - 2*b = 78, g + 4*b = -3 - 6. Let u = g + 58. Does 14 divide u?
False
Suppose -5*s + 6*s = 4. Suppose s*l = 3*m + 95, l + 3 - 18 = -m. Does 5 divide l?
True
Let q be ((-28)/12 + 2)*-18. Suppose 3*s - 5*r - 2 = 2*s, -r = 3*s - q. Let u(p) = p**3 + 2*p**2 - p - 1. Is 4 a factor of u(s)?
False
Suppose 3*h - 29 = 5*s, -2*s + 4*h + h = 23. Let m be 9/(-36) + (-197)/s. Suppose 11 = q - m. Is q a multiple of 12?
True
Suppose -m - 2*z = z - 3, 4*z = -2*m + 4. Suppose 4*j - 2*h = -m*j + 114, 0 = -4*j - 3*h + 99. Suppose j = s - 6. Is 11 a factor of s?
True
Let z = -369 + 769. Suppose -k + 404 = 4*g + k, 0 = -4*g - 4*k + z. Is g a multiple of 17?
True
Let g = 851 + -707. Is g a multiple of 9?
True
Suppose -5*a + 5*x = -20 + 355, -3*a + 4*x = 202. Suppose 146 = -5*q - 339. Let t = a - q. Is 22 a factor of t?
False
Let k(s) = -s**3 + s - 3 - 2*s**2 + 0*s**3 + 7*s**2. Let f be k(5). Suppose -2*v + f*z = -4, 5*v = 4*z + 5 + 9. Is v a multiple of 6?
True
Let c(j) = -224*j + 3. Let g be c(-2). Suppose -d + 213 = s, 2*s = 2*d - s - g. Is 14 a factor of d?
False
Let t(x) = 11 - 12 + 32*x + 7. Let m be t(4). Suppose -3*i + 37 = -m. Is 11 a factor of i?
False
Let r be 42 + 0 + 4/(-2). Let n = 72 - r. Does 8 divide n?
True
Suppose 5*i - 347 = 708. Suppose 64*h = 69*h + 615. Let n = h + i. Is 18 a factor of n?
False
Let m(a) = 11*a**2 + 13*a - 32. Is 26 a factor of m(6)?
True
Suppose 5*s + 25 = 0, -204 = -2*o - 15*s + 11*s. Is 14 a factor of o?
True
Suppose 2*k = 4 - 12, 0 = 3*y - 4*k + 143. Let j = y + 93. Does 40 divide j?
True
Let g be ((-72)/(-4))/(1 + 1). Let x(a) = -a**2 + 17*a - 33. Does 31 divide x(g)?
False
Let n(i) = 6*i**2 - 3*i**2 + 7 + i + 2*i**2 + 11*i. Is n(-5) a multiple of 24?
True
Let r(b) = -2*b**3 + 25*b**2 + 48*b + 26. Is r(14) a multiple of 5?
True
Suppose 2*m - a + 20 = 0, -5*m + m + 5*a = 52. Is 9 a factor of 80 - (m/(-4) + 1)?
False
Let s be (-5 - 10)/((-1)/2). Suppose l + 16 = -s. Let w = l + 84. Does 15 divide w?
False
Let q(i) = -7*i + 131. Does 9 divide q(16)?
False
Let p(j) = -6*j + 2. Let w be p(-3). Let t = -13 + w. Suppose -u + 4*y = -t, 3*u + 4*y - 101 = -0*u. Is u a multiple of 27?
True
Is 44 a factor of (-858)/10*(41 - 61)?
True
Let o(c) be the third derivative of -7*c**4/6 + 4*c**2. Let j be -1 + 0*(-3)/6. Is o(j) a multiple of 7?
True
Suppose 14*k = 11*k + 378. Is k a multiple of 7?
True
Let j(i) = i**3 - 4*i**2 + 3*i + 2. Let b be j(3). Suppose b*d = -h + 131, -670 = -5*h + 7*d - 2*d. Is h a multiple of 22?
False
Suppose 0 = 3*q - 7 - 47. Suppose 2*k = -6*z + z + 14, 2*z - 8 = -2*k. Suppose k*o = o + q. Is 11 a factor of o?
False
Let s = 16 - 22. Let v(k) = 14*k**2 + 17*k - 26. Let x(t) = -5*t**2 - 6*t + 9. Let p(i) = s*v(i) - 17*x(i). Does 6 divide p(4)?
False
Is 3 a factor of 2/27 - (-34723)/351?
True
Suppose -2*u + 1418 = 4*s, -2*s + 1002 = 5*u + 297. Is s a multiple of 16?
False
Let j(g) = -g**2 + 2*g**2 + 11 + 971*g - 966*g. Is j(-7) a multiple of 5?
True
Suppose 0 = 138*u - 140*u + 120. Does 14 divide u?
False
Suppose 4*s + 0*r - 3*r - 35 = 0, r = -s. Let p be (-17)/(-5) + (-2)/s. Suppose -l + 2*l = p. Is 2 a factor of l?
False
Let r(x) = -50*x**3 + x**2 + x. Suppose 0 = -0*w + w. Suppose -5*m - 4 - 1 = w. Does 18 divide r(m)?
False
Let y(d) = d**2 + 5. Let f be y(0). Suppose -f*z = -4*r - r + 25, 4*r - 3*z = 18. Suppose 30 = r*a - a. Is a a multiple of 11?
False
Let f = 862 - 748. Is 47 a factor of f?
False
Let f = 2 + 37. Does 29 divide f?
False
Let z(s) = 2*s**3 - s**2 + s + 1. Let p be z(2). Let c(l) = -2*l**2 + 31*l + 6. Is c(p) a multiple of 10?
False
Suppose -5*b = -48 + 3. Suppose 3*r = 3*j + b, 5*r + 0*j - 23 = j. Suppose 2*m = -2*g + 206, 0 = m - r*g - 121 + 48. Does 25 divide m?
False
Does 48 divide 0/1 + -12 + 4095/7?
False
Let s = -43 + 87. Let p be -6*(s/(-12) + 3). Suppose 5*f + 4*g + 93 = 240, -p*g - 96 = -4*f. Does 9 divide f?
True
Suppose 0 = -5*z + 12 - 2. Suppose -z*f + 28 = -f. Let o = 49 - f. Is o a multiple of 17?
False
Let r = -1236 - -2720. Does 60 divide r?
False
Suppose -3720 = -97*x + 92*x. Is x a multiple of 12?
True
Suppose 2*j + 0*j = 0. Suppose 0*k - 3 = -k. Suppose j*d + 9 = k*d. Is d a multiple of 2?
False
Suppose 3*t - 5*k = -7, 5*t + 18 + 11 = 4*k. Let d be t/3 - (-3)/(-3). Is 18*(-3 - d - 0) a multiple of 6?
True
Suppose -t + 244 = -5*t. Let l be 1*7/((-28)/40). Let y = l - t. Is y a multiple of 9?
False
Suppose 0 = -2*k - 125 - 45. Let b = k - -154. Is 23 a factor of b?
True
Let u(i) = i**3 + 9*i**2 + 2*i + 2. Let r be (-20)/((2 + 2)/4). Let l = 12 + r. Is 14 a factor of u(l)?
False
Let x(g) = -503*g**3 - g. Let m be x(-1). Suppose -10*w = -6*w - m. Does 18 divide w?
True
Is 11/(99/15174) + 6 a multiple of 81?
False
Does 10 divide (21 - 23)*31*-5?
True
Suppose 417 + 3249 = 13*y. Does 14 divide y?
False
Let k = -1794 + 2944. Is 23 a factor of k?
True
Let k(d) = -d**2 + 11*d - 4. Let u be k(5). Let i be (-3 + u/8)*8. Suppose -n + 27 = i*n. Is 6 a factor of n?
False
Does 46 divide 115*-6*(-104)/120?
True
Let n be 1/(-4) + 18/8. Let q = 404 + -388. Suppose -62 = -n*l + q. Is l a multiple of 9?
False
Let q(p) = -4*p**2 + 2*p - 5*p - 2*p**3 - 5*p - 7 - 9*p**2. Is 5 a factor of q(-6)?
True
Let b(q) = 25*q**2 - 9. Does 56 divide b(5)?
True
Is (28/3)/((130/825)/13) a multiple of 11?
True
Suppose -l = 5*m - 12, -l + 6 = 2*m - 0*l. Let s be ((-12)/m - -3)/(-1). Suppose -3*r + 4*i = 3*i - 19, 0 = -s*r - 3*i + 39. Is r a multiple of 2?
True
Is 12 a factor of (-2)/((-16)/32*(-2)/(-131))?
False
Let f be (-8)/(-28) - 162/(-21). Suppose -38 = -2*r - f. Let h = -5 + r. Is h a multiple of 10?
True
Suppose -25*u - 45*u = -30590. Is u a multiple of 3?
False
Suppose 5*l = q + 322 + 489, -4*l - 4*q = -644. Does 37 divide l?
False
Let w(q) = q**3 - 7*q**2 + 2*q + 4. Let p(r) = 0 + 7 - r**3 - 3*r + 4*r + r**2. Let z be p(0). Is 10 a factor of w(z)?
False
Suppose -2*g - 74 = -4*g. Suppose -k + 4*k - 27 = 0. Let m = g - k. Is 14 a factor of m?
True
Let o = -56 - -63. Suppose 3*n = -2*x + 322, 5*n - o*n - x + 215 = 0. Is n a multiple of 9?
True
Let d(l) = -8*l + 17. Let s be d(-15). Let q = s + -81. Is 14 a factor of q?
True
Suppose 111*f + 4*o = 114*f - 5476, -4*f + 2*o = -7288. Is f a multiple of 20?
True
Suppose -l + 2*l - 7 = 0. Suppose 4*a = 23 - l. Suppose 0 - 16 = -a*o. Is 4 a factor of o?
True
Let k = -11 - -13. Suppose -29 = k*f - 1. Let m = -10 - f. Is m even?
True
Let h(o) = -3*o + 55. Let k be (1*-2)/(16/88). Is h(k) a multiple of 23?
False
Let z = -33 + 35. Does 4 divide (2 - (19 + 2))/(z/(-4))?
False
Let m = -61 - -27. Suppose 4*a - 27 = -243. Let n = m - a. Is 16 a factor of n?
False
Let w = 383 + -217. Let s = w - 36. Is s a multiple of 13?
True
Let p = -68 - -33. Let r = -22 - p. Does 9 divide r?
False
Suppose 3*f + 661 = 4*g + 8*f, 4*f + 688 = 4*g. Suppose -4*w = -387 - g. Suppose 0 = -2*k + 2*z - 3*z + w, 3*k - 3*z - 222 = 0. Is k a multiple of 25?
False
Suppose -3*w - 2*k - 17 = -93, 0 = w + 4*k - 22. Is w a multiple of 13?
True
Suppose -5*i + 273 + 721 = 3*m, -5*i - 358 = -m. Is m a multiple of 12?
False
Suppose 9*a + 100 = 7*a. Let c be (a/15)/5*-6. Suppose -c*p - 3*l + 65 = 0, p - 22 = 8*l - 3*l. Is p a multiple of 5?
False
Let d be 9 + -1 + 3 + -4. Suppose -59 + d = -4*q. Does 13 divide (7 + -5)/(2/q)?
True
Let b = -382 + 434. Is 4 a factor of b?
True
Suppose 5*l + 787 = -5*z + 4032, l = 2*z - 1301. Does 10 divide z?
True
Suppose -4*u + 2832 = 4*r, 4*u + 1 - 17 = 0. Does 10 divide r?
False
Suppose -k + 10 = -s, -2*k + 0*k = 2*s - 8. Let x = 26 - k. Is x a multiple of 9?
False
Suppose 5*k = -2*x - 12 - 5, -2*k + x - 5 = 0. Is ((-392)/21)/(1/k) a multiple of 14?
True
Let m(a) = -6 - 1 - 15*a + 2*a - 5. Is m(-4) a multiple of 8?
True
Let h = -21 + 21. Let p be (0 - 0) + (6 - h). Suppose -33 - p = -