(-5). Suppose 2*c - 134 = -c + p*g, -c - 5*g = -13. Does 9 divide c?
False
Does 19 divide (2/4)/(109/76954)?
False
Let a(p) = p**3 - 14*p**2 + 39*p + 46. Is a(15) a multiple of 58?
False
Suppose -59*u = -55*u - 1464. Is 61 a factor of u?
True
Let s be (-126)/105*(-5)/2. Suppose 4*j - 275 = -5*k, k + s*k + 284 = 4*j. Is 14 a factor of j?
True
Let v(s) = -8*s**3 + 2*s**2 + 7*s - 3. Is 5 a factor of v(-2)?
True
Let g = -63 + 207. Let c = g + -85. Let v = c + -18. Does 10 divide v?
False
Suppose 654*f = 658*f - 1176. Is 42 a factor of f?
True
Let l = -2 - -7. Is 4 a factor of (-244)/(-10) + (-2)/l?
True
Suppose -4*y - y + 16 = -2*p, -2 = -p. Suppose 3*b = -b, 3*d + y*b = -21. Is 7 a factor of 3/(-7) - 157/d?
False
Suppose -7*b + 231 = -119. Is 50 a factor of b?
True
Suppose -5*v + 4*q + 2107 = 0, v = -0*q + q + 422. Suppose -5*z + 5*u - 13 = -423, -v = -5*z + 2*u. Is z a multiple of 8?
False
Let r(d) = d**2 + 3*d + 1. Let w be r(-1). Is 40 a factor of 83 + w - (15 - 5)/5?
True
Let o(n) = -15*n**3 - n**2 + 3*n + 2. Let h be o(-2). Suppose 4*a - 3*l - l = h, -61 = -2*a + 3*l. Suppose -3*c - a + 71 = 0. Does 10 divide c?
False
Suppose -516 = 9*v - 9957. Is v a multiple of 7?
False
Suppose -48*l + 2883 = -5373. Is 21 a factor of l?
False
Let x(w) be the second derivative of w**4/3 - w**3/2 + w**2 - 4*w. Is x(-4) a multiple of 13?
True
Let h(u) = 3*u**2 - 99*u - 110. Is h(35) a multiple of 2?
True
Let s = 134 + -134. Let b(t) = -t + 3 + 13 + 0*t. Does 3 divide b(s)?
False
Let x(d) be the third derivative of -d**6/120 - 9*d**5/20 - d**4/12 + 11*d**3/3 - d**2 + 2*d. Is x(-27) a multiple of 19?
True
Let h = 92 + -47. Suppose -s + 69 + h = 0. Is 19 a factor of s?
True
Suppose 3*p - 66 = 3. Let k = -11 + p. Does 3 divide k?
True
Suppose -40 = -3*s + 455. Let y = -93 + s. Is 13 a factor of y?
False
Suppose 4*v + 7*z = 21348, -15998 = -3*v - 0*v - 2*z. Does 41 divide v?
True
Let o be 1308/6 - -2*2. Let y = -75 + o. Is 20 a factor of y?
False
Suppose -2*n = -7 - 1. Let s = 104 + -110. Does 7 divide s*(n/6 + -3)?
True
Let c(w) = 4*w**3 - 10*w**2 + 5*w - 6. Let s(f) = 5*f**3 - 11*f**2 + 6*f - 6. Let u = 3 - -2. Let b(a) = u*s(a) - 6*c(a). Does 6 divide b(-5)?
True
Suppose -44*k - 2722 = -7694. Is k a multiple of 48?
False
Let y(i) = 6*i**2 + i - 4. Let o(q) = -q**2 - 13*q + 12. Let w be o(-14). Is 3 a factor of y(w)?
True
Let t(d) = -29*d - 73. Is t(-4) a multiple of 7?
False
Is 18 a factor of 1 + 319 - (38 + -43)?
False
Suppose 0 = 3*r + 5*a + 67 + 348, -4*a - 20 = 0. Let l = 77 + r. Let k = 84 + l. Is 22 a factor of k?
False
Suppose 44*q = 48*q + 2*g - 8860, -4*g + 8864 = 4*q. Is q a multiple of 26?
False
Let s(y) = -3*y**3 + 4*y**2 + 10*y - 9. Let h(z) = -7*z**3 + 9*z**2 + 21*z - 19. Let u(d) = -2*h(d) + 5*s(d). Is u(3) a multiple of 8?
True
Let m(h) = -h**3 + h**2 + 6. Let b be (-142)/(-6) - 22/33. Let w = b - 23. Does 5 divide m(w)?
False
Let o be (-4)/6*15/(-5). Suppose -o*x + 19 + 143 = 0. Is x a multiple of 27?
True
Let g(p) be the third derivative of -p**5/60 + p**4/4 - p**3/6 - 10*p**2. Let b be g(5). Suppose 2*r - 12 = -b*s + 24, -76 = -5*r - 3*s. Is r a multiple of 7?
True
Let g = -12 + 31. Let i be 36 - (-3)/6*2. Let l = i - g. Is 8 a factor of l?
False
Suppose -5*q + 4 = -q, -5*n + 5*q = 25. Suppose 0*m - 4*m = -12. Is 40/m*(-9)/n a multiple of 30?
True
Let r(b) = 9*b. Let y be r(1). Suppose 3*a + 3*g - 8*g = -y, 4*a + 2*g = 14. Suppose 0 = a*h - 3*x - 139, 3*h + x - 192 = -0*x. Is 15 a factor of h?
False
Suppose -15 = -i - 0*i. Let j be (i - 16)/(2/(-12)). Is 27 a factor of -66*((-4)/j)/1?
False
Suppose 0 = -3*p, -5*p = -17*l + 14*l + 1308. Does 42 divide l?
False
Let f(s) = 3*s**2 - 5*s + 13. Suppose -2*p + 2*o = 10, 21 = -3*p + 2*o - 5*o. Is f(p) a multiple of 15?
False
Suppose -209 = -i - 4*v, 0 = 4*v - 0*v. Does 11 divide i?
True
Suppose -16*r + 1139 = -1309. Let a = r - 145. Is a a multiple of 4?
True
Let o = 14 - 10. Suppose 0*n + n + o = 0. Is 13 a factor of (-9)/12 - 67/n?
False
Let t(g) = g**2 + 40. Let h(i) = 2*i - 6. Let z = 18 - 15. Let d be h(z). Is t(d) a multiple of 10?
True
Suppose 324 = -4*i + 4*o, 0 = 2*i + 5*o - 2*o + 162. Does 12 divide (-1 - -4) + 6*i/(-6)?
True
Let c(d) = 4*d - 1. Let p be c(-1). Let w be p/(((-21)/48)/7). Suppose -2*l + w = -68. Does 28 divide l?
False
Is 16 a factor of 48/40*3360/9?
True
Suppose -39 = 11*s - 14*s. Suppose s + 29 = a. Is a a multiple of 42?
True
Let n = 10 - 14. Let x(o) = -36*o + 181. Let d be x(5). Let i = d - n. Does 2 divide i?
False
Let i(b) = b + 3. Suppose -3*o - 4*t = -50, 0 = 7*t - 3*t - 20. Let f be i(o). Let m(w) = w**2 - 10*w - 14. Is m(f) a multiple of 25?
True
Suppose 2*j - 524 = -l, 0 = -6*l + 7*l + j - 525. Is 39 a factor of l?
False
Let j = 26 - 22. Let o = 3 + j. Let u(b) = b**2 + b - 17. Is 7 a factor of u(o)?
False
Is (-5)/70*12*-70 a multiple of 15?
True
Is 5 a factor of 8/(-10) + ((-5124)/(-10))/3?
True
Let g(i) = i**2 - 17*i - 125. Does 15 divide g(-23)?
True
Let t(y) = 62*y + 52. Is t(22) a multiple of 8?
True
Suppose 0 = 15*o - 33*o + 7560. Is 30 a factor of o?
True
Is 7 a factor of ((-1564)/(-5) - -2) + (-3)/(-15)?
True
Let x(j) = 87*j + 34. Does 15 divide x(3)?
False
Let m(k) = 5*k**2 + 5*k + 4. Let g be m(-2). Let f(x) = -x**3 + 14*x**2 + 4*x - 1. Does 11 divide f(g)?
True
Let c = -487 + 531. Is 8 a factor of c?
False
Let w(n) = -n**2 + 21*n + 119. Does 2 divide w(16)?
False
Let x(c) = c**3 + 6*c**2 - 9*c - 10. Let q be x(-7). Suppose q*z - 19 - 33 = 0. Is 5 a factor of z?
False
Let f = 22 - 12. Let c(n) = n - 9. Let y be c(f). Is (y + (-24)/4)*-2 a multiple of 6?
False
Let n(l) = l**2 - 7*l. Let q be n(7). Suppose q = 2*r + 6 - 14. Suppose 2*w - 18 = -4*c, 0 = r*w + c + c - 60. Does 15 divide w?
False
Suppose 5*w + 13 = 28. Suppose 2*i + 2*p = 31 - 13, -5*i - 4*p + 41 = 0. Suppose -5*x + 317 = 4*a, w*a - 4 = i*x + 225. Is 14 a factor of a?
False
Does 6 divide 38/6 - 8/24?
True
Suppose 5*k = 23 - 3. Suppose 5*c + n - 273 = 0, 2*c = k*c - 3*n - 99. Is 9 a factor of c?
True
Suppose -17 = -5*d - 2. Suppose -d*x + 5*x - 5*v - 187 = 0, 3*x + v = 272. Is 12 a factor of x?
False
Suppose -4*d + 203 = -3*n, -2*n - 21 - 111 = -2*d. Let s = 41 - n. Is 29 a factor of s?
False
Let u = -39 - -16. Let w = u - -33. Is w a multiple of 10?
True
Let d(o) = -2*o**2 - 91*o - 79. Is 3 a factor of d(-35)?
False
Let j = 1463 - 1043. Is j a multiple of 42?
True
Let d = -39 + 32. Is (1/5)/(d/(-1645)) a multiple of 12?
False
Suppose 0 = 5*g - 5*u - 1415, 28 = 2*u + 18. Does 48 divide g?
True
Let k(j) = 3*j**2 + 7*j. Let o be k(-7). Suppose -11*b = -4*b - o. Does 34 divide (720/(-42))/((-2)/b)?
False
Let t = -682 - -697. Is 6 a factor of t?
False
Let l be (-2584)/(-57) - ((-1)/(-3) + -1). Suppose l*m - 51*m + 635 = 0. Is m a multiple of 22?
False
Suppose 0 = d - 4*d - 2*n - 4, -n = 5. Let x(c) = -d*c**2 - c**2 + c + 2*c**2 - c**3 - 8 + 22. Does 14 divide x(0)?
True
Suppose -656*y + 657*y = 60. Is y a multiple of 12?
True
Let f(q) = 2*q - 14. Let p be f(11). Let b = p - 4. Suppose -h = -b*l - 43, 4*l = 3*h - l - 122. Is 13 a factor of h?
True
Let b be ((-30)/(-4))/(-5)*(-2 - 0). Suppose -2*c = -0*w + 3*w - 57, 42 = c - b*w. Is 11 a factor of c?
True
Let c be 10 - (-4 + 0 + 0). Suppose c*s - 9*s - 105 = 0. Is s a multiple of 10?
False
Let g(r) = -4*r + 1. Is 5 a factor of g(-36)?
True
Let x = 410 + -106. Is x a multiple of 20?
False
Let a be (-42)/7*(-1)/2. Suppose 22*u = 23*u - a. Suppose 5*f + q - 406 = 0, u*q = 2*f + 6*q - 165. Is f a multiple of 27?
True
Suppose 2*v - 16 = 448. Does 38 divide v?
False
Suppose 0 = 10*r - 11*r + 27. Let g = 8 + r. Is g a multiple of 5?
True
Suppose 3*r - 2*r + 4 = 0. Let a(u) be the third derivative of u**5/60 + u**4/8 + u**3/2 - 5*u**2. Is a(r) a multiple of 4?
False
Suppose -5*w = 2*o - 1516, -3*o + 8*o = -10. Is 16 a factor of w?
True
Suppose -4*k + 4*m + 4808 = 0, -9*m + 4*m + 15 = 0. Is (-4)/16 - k/(-20) a multiple of 20?
True
Let t(n) = 13*n + 29. Let o be 2 + -6 - (-34)/2. Does 33 divide t(o)?
True
Let v = 10 - 8. Suppose 0 = 2*g + 5*n - 6, -4*g - v*n + n = -30. Is 3 a factor of g?
False
Let c(r) = -r**3 + 11*r**2 + 15*r - 7. Let v be c(12). Suppose 0 = -4*p + v + 71. Does 7 divide p?
False
Let y(n) = 2*n**3 + 150*n**2 - 14*n + 156. Is 6 a factor