x + 1135 - 5727, -7*x - b + 7996 = 0. Is x a multiple of 9?
True
Suppose 6*b = -13*b - 0*b. Suppose 8*k - 6*k - 126 = b. Is k a multiple of 7?
True
Let y(d) = -74*d**2 - 2*d - 3. Let a be y(-1). Let k = a - -22. Let t = k + 71. Is 6 a factor of t?
True
Let j(b) = b**3 - 10*b**2 + 9*b. Let h be j(9). Suppose 5*n = i + 17, h*i - 4*n = 2*i - 22. Suppose 70 = -5*v - i*a + 280, 4*v - a = 168. Does 6 divide v?
True
Let m(v) = 4*v + 18. Let x be (32/10)/((20/(-125))/(-2)). Suppose -x*s = -36*s - 32. Does 30 divide m(s)?
False
Let c = -29 - -32. Suppose -3*z = 3*g + 3, -z + c = 2*g + 8. Suppose z*n = -2*n + 555. Is n a multiple of 18?
False
Let y(d) = 2*d**2 + 24*d + 72. Let c be y(-8). Suppose c*p - 10054 = -14*p. Is p a multiple of 41?
False
Let d = 51 - 15. Let y be (d/10)/((-54)/15 + 4). Let q(p) = 14*p - 14. Does 26 divide q(y)?
False
Let r(k) = -9*k + 71. Let b be (12 - 0)*3/(-2). Is 9 a factor of r(b)?
False
Let p = -15 - -70. Suppose a + p = 5*o - 0*o, 4*a + 3*o + 266 = 0. Let f = a + 110. Is 5 a factor of f?
True
Suppose 2*h + 2 = -4. Let t be (-4 + 6)*3/h. Is 6 a factor of (6/4)/(t - 307/(-152))?
False
Let n = -141 - -234. Suppose 0 = 5*o + 3*p - 1202, -3*p - 133 = -o + n. Is 8 a factor of o?
False
Is 1 + 1*(-11 - -2) - -7646 a multiple of 67?
True
Suppose -62818 - 129619 = -37*s. Does 9 divide s?
False
Suppose 5*o - 2050 = p + 4*p, -5*p = 2*o - 785. Let c = -282 + o. Suppose 3*x = -3*v + c, 0*v = v + 3*x - 35. Does 5 divide v?
False
Suppose -23 = -4*s - 5*q, -4*s + 2*s = -q - 1. Suppose 3*c - 185 = -s*c. Is (1 + 273)/2 - (c - 38) a multiple of 23?
True
Let l(r) = r**3 + r**2 + 187. Let s(f) = f**2 + 18*f - 19. Let z be s(-19). Is 38 a factor of l(z)?
False
Suppose 4*g = -3*a - 0*g + 1838, 2*a = 5*g + 1187. Let z = a + -429. Is 22 a factor of z?
False
Suppose 0 = -4212*m + 4149*m + 2341206. Is m a multiple of 96?
False
Let k = 1864 - 669. Is k a multiple of 5?
True
Suppose -5*n - 1434 = -54. Does 14 divide 1 - (3 - n/(-1))?
False
Let b = -47 + 27. Let a = b - -50. Is 7 a factor of 2/12 + 5*41/a?
True
Suppose 4*f = -3*n + 14921, f - 3744 = 6*n - 4*n. Suppose 0 = -6*t + 3130 + f. Is t a multiple of 13?
True
Let d(i) be the third derivative of -29*i**4/24 - 37*i**3/3 - 101*i**2. Does 42 divide d(-4)?
True
Let o be (-9)/(108/120) - -1*6. Let f(z) = -10*z**3 - 5*z**2 - 15*z - 5. Is f(o) a multiple of 15?
True
Let v(a) = -4*a**2 + 16*a + 31. Let w be v(9). Let r = w - -317. Is r a multiple of 7?
True
Suppose -4*q - 18*q - 15*q + 391941 = 0. Is q a multiple of 321?
True
Let k(h) be the third derivative of -h**6/120 + h**5/60 - 3*h**4/8 + 153*h**3/2 - 2*h**2. Is k(0) a multiple of 17?
True
Let c(q) = 3*q**2 - 63*q - 489. Is 14 a factor of c(44)?
False
Let k be (13616/6 + 1)/(2/6). Suppose 0 = 40*t - 7029 - k. Is t a multiple of 13?
False
Let i(v) = -3*v**3 + 5*v**2 + 3*v - 1. Let r be i(-1). Suppose -r*h = y - 257, -2*y + 478 = -0*y - h. Does 6 divide y?
False
Suppose -2*v - g + 11 + 1 = 0, 0 = 4*v - 2*g - 8. Suppose -v*u + u = -3, 0 = 3*a - 2*u - 13. Suppose a*t + 136 = h, -4 = -4*t - 12. Is 9 a factor of h?
True
Suppose -4*a - 153*t + 157*t = -28, -5*t - 17 = -3*a. Let k be (-1*2)/(2/(-4)). Suppose -5*m + 732 = 2*l, a*m - k*l - 756 = 4*m. Is 13 a factor of m?
False
Let t = -40 + 42. Suppose 0 = t*w - 10 + 6. Suppose 8*u = 3*u - w*k + 611, -4*k - 8 = 0. Is 17 a factor of u?
False
Let s = -50 + 52. Suppose 2*b = 3*t + 2*t - 107, 0 = s*t + 3*b - 39. Suppose -t = -5*r + 2*r. Does 7 divide r?
True
Let q(t) = 4*t + 7 + 6 - 10*t + 10*t. Let a be q(8). Suppose 3*n - a = -4*b, -5*b + 31 = 4*n - 25. Is b even?
True
Is 1/(-4)*(73 + -31)*(-1324)/3 a multiple of 17?
False
Let k(a) = a**3 - a**2 + 14*a + 30. Is 40 a factor of k(13)?
True
Suppose 0 = 4*l + l + m + 5, -3*l + 5 = -m. Suppose l = 28*o - 15299 - 2509. Is o a multiple of 50?
False
Let z(y) = y**2 + 2. Let d(t) = -t**2 - 5*t + 34. Let m(g) = -2*d(g) + 6*z(g). Is m(-8) a multiple of 8?
True
Suppose -36*x + 44*x - 8 = 0. Does 10 divide 16 + -20 - (-916)/(x*2)?
False
Suppose 0 = -2*m - 8*m + 20. Suppose -m*n - 3*u + 79 = 0, 4*n - 5*u + 78 = 203. Suppose 4*i = 5*z + 2*i - 65, 5*i + n = 4*z. Does 15 divide z?
True
Let a = -871 + 509. Let n = -112 - a. Does 50 divide n?
True
Let b(l) = -2*l**2 - 2*l + 20. Let h be b(0). Does 3 divide (610/(-50))/((-2)/h)?
False
Let d(i) be the first derivative of -i**3/3 - 49*i**2/2 - 143*i + 237. Is d(-28) a multiple of 4?
False
Suppose 5*s - 60 = 2*k, -11*s + 7*s - 5*k + 81 = 0. Suppose 2*t = 62 - s. Is t a multiple of 14?
False
Let r = -386 - -390. Let o(v) = 21*v**2 + 2*v + 8. Is 16 a factor of o(r)?
True
Suppose 6 = 3*q, 2*i + 2*q = -432 + 1148. Is 18 a factor of i + -4 + (6 - -2)?
True
Suppose -8*q + 16 = -16. Suppose -9*j = -q*j - 1500. Is j a multiple of 25?
True
Let m be 120/150 - (-16651)/5. Suppose 0 = 36*b - m - 1277. Does 16 divide b?
True
Suppose -s = -4*b - 1841, 4*s + 4*b = 6921 + 363. Is s a multiple of 25?
True
Let s be ((5/15)/1*-33)/(-1). Suppose 5*k = p + 224, -3*p - s + 14 = 0. Is k a multiple of 3?
True
Suppose -2*y + 5 = -y. Suppose -4*i - 270 = -y*h - 9*i, -h + i = -52. Let u = h - 7. Does 23 divide u?
True
Is 64 a factor of (-3 + 5 - (64 + 2))/(2/(-172))?
True
Let j(w) be the third derivative of -13*w**5/120 - 2*w**4/3 - 6*w**3 - 21*w**2. Let a(y) be the first derivative of j(y). Is a(-4) a multiple of 6?
True
Suppose -10 = -r - 9. Let h be r - -75 - (-6 + 3). Suppose 0 = 80*o - h*o - 238. Does 34 divide o?
True
Suppose -3*g - 2*g - 4*h + 66 = 0, 2*g = -3*h + 32. Let o = 18 - g. Suppose 2*m - 3*n = 39, -5*m + 3*n + 112 + o = 0. Is 5 a factor of m?
False
Suppose -3*j + 0*d + 5*d = -40264, 12*j - d = 161075. Does 31 divide j?
True
Let f(p) = 888*p + 24. Let q be f(3). Let b = q + -1856. Is b a multiple of 52?
True
Let f(c) = 20*c - 199. Let k be f(11). Suppose -210 = -k*j + 16*j. Is 2 a factor of j?
True
Suppose 2*b = 2*w - 20, 4*w - 9 = -4*b + 15. Suppose 0 = -w*x + 6093 - 1757. Does 11 divide x?
False
Let i(c) = 2*c**2 - 6*c - 5. Let v = 22 - 27. Let l be i(v). Suppose 0 = -x - 3*f + l, -3*f = -x - 8*f + 71. Is x a multiple of 27?
True
Let z(h) = 12*h**3 + 11*h**2 - 45*h + 49. Does 100 divide z(7)?
False
Let k(v) = -3*v**3 - 4*v**2 - 3. Let n be k(-2). Suppose -l + 2*p = -45, l - 48 = n*p - 9. Suppose -87 - l = -2*r. Is 34 a factor of r?
True
Does 4 divide ((-30)/20)/(18/(-9732))?
False
Is ((-130)/(-52) - -3)*(-668)/((-1)/1) a multiple of 22?
True
Suppose -130 = 16*d - 26*d. Is 13 a factor of d?
True
Let z(p) = -3397*p - 1434. Does 59 divide z(-4)?
True
Does 19 divide 52894/16 + (1 - 12) + 623/56?
True
Suppose 34 = -8*b - 246. Is (-3)/((b/7)/215) a multiple of 3?
True
Let b(h) be the third derivative of -7*h**4/8 + 83*h**3/6 - 3*h**2. Is 67 a factor of b(-12)?
True
Suppose -4*z - 570 = -1594. Is z a multiple of 64?
True
Let c be 2/9 - (-2102)/18. Let i be c + -3*(3 - 11/3). Is 16 a factor of -3 - ((5 - i) + -1)?
True
Let u = -9 - -150. Is 79 a factor of ((-1)/(-3))/(-1) + 100298/u?
True
Let n(i) = i**3 + 5*i**2 + 3*i + 49. Let a be n(-6). Does 21 divide -2 - 861/a - 36/(-45)?
False
Suppose -5*j + 21 = 4*t, -25*t + 11 = -22*t - j. Suppose 0 = u + t*h - 246, -u + 200 = -2*h - 64. Does 43 divide u?
True
Suppose 250*m - 2070396 + 185103 = 1017207. Does 54 divide m?
True
Let m(u) = -4*u + 12. Let l be m(3). Suppose 0*g - 3*v = -g - 79, l = -3*g + 5*v - 229. Let w = -48 - g. Is 14 a factor of w?
False
Let p be (-6)/4*(-27 + 21) + 2. Is 53 a factor of 948 + p + (3 - 8)?
True
Suppose 0 = 17*a + 115 + 1296. Let m = a + 475. Is 56 a factor of m?
True
Let m be 100/(-250) - 617/(-5). Let n = m + 340. Is 9 a factor of n?
False
Let m(s) = -4972*s**3 - 2*s**2 - 31*s - 31. Is m(-1) a multiple of 10?
True
Let f(b) = 4*b**2 + 5*b - 38. Let o(l) = -22*l - 121. Let g be o(-5). Does 11 divide f(g)?
False
Let b(t) = -10*t + 118. Let k be b(-30). Suppose -64*g + 62*g + k = 0. Is g a multiple of 8?
False
Let r(t) = 304*t**2 + 10*t + 10. Suppose 0 = -3*m - 1 - 2. Does 38 divide r(m)?
True
Suppose 2276 = -5*x - 3*m - 526, 2243 = -4*x - m. Let r be (-2)/(-3) - (x/9 + 3). Let s = r + -22. Is 11 a factor of s?
False
Is 6 a factor of (-173)/(18/(-54)*(-7)/((-2345)/15))?
False
Does 119 divide (246/(-41) - 50/(-8))*41240?
False
Let a(x) = -10*x - 6. Let u(k) = k**2 + 3*k + 1