
True
Let h be (3/9 + 0)*-9. Let w(v) = -v**3 - 2*v**2 + 2*v - 1. Let r be w(h). Suppose -93 + 341 = 5*y - r*c, -245 = -5*y + 5*c. Does 10 divide y?
True
Suppose -5*z - c + 44 = c, -2*z + 8 = -4*c. Suppose -2*m + z = -0*m - 2*g, 0 = -2*m - 4*g + 14. Does 2 divide m?
False
Suppose 4*z - 8133 = -5*m, -6*z + 2*z - 4*m = -8136. Is 6 a factor of z?
False
Let b(r) = 3*r**2 - 25*r - 12. Is 47 a factor of b(12)?
False
Let c = 216 - 117. Is c a multiple of 10?
False
Suppose -z = -5*q + 27 - 12, 4*z + 26 = 3*q. Let a be -1*(q - (-3)/(-3)). Is 20 a factor of 8*(a + (-28)/(-8))?
True
Suppose 2*r = -15 - 15. Let w be (-25)/r + 2/(-3). Suppose 0 = p + w - 6. Does 3 divide p?
False
Let b be (-6)/27 + 3121/(-9). Let l = -239 - b. Is l a multiple of 27?
True
Suppose 0 = m + 2*t + 340, -4 = t + t. Let r = -131 - m. Does 41 divide r?
True
Suppose 5*s + 2044 - 284 = 3*v, 0 = 2*s + 5*v + 704. Does 11 divide (s/48)/(1/(-12))?
True
Suppose 3*m - 4*g + 8 = 0, -3 = -5*m - 4*g + 5. Suppose m*d = -11*d + 649. Does 26 divide d?
False
Suppose 2*c + 153 = 5*c. Suppose 3*q + 147 = 6*q. Suppose 4*z - c = q. Is 14 a factor of z?
False
Let l(q) = -q**2 - 9*q - 12. Let p be l(-7). Suppose -2*m = -m - 3*t - 45, p*t = -m + 40. Is m a multiple of 7?
True
Let k be ((-20)/30)/(4/(-282)*1). Let x be (26/(-6))/(3/(-9)). Let m = k + x. Is m a multiple of 15?
True
Suppose 0 = 5*v + 10, 3*t - v = 4*v + 103. Let f = t + -17. Is 7 a factor of f?
True
Let l(r) = -5*r + 2. Suppose h + 3 = 1. Let y be l(h). Is (y/8)/((-2)/(-76)) a multiple of 15?
False
Let j be ((-3)/(-9))/((-4)/(-48)). Suppose j*g - 2*g = 56. Let z = 40 - g. Is z a multiple of 9?
False
Suppose 3011 = 10*c + 131. Does 24 divide c?
True
Let l(i) = -i**3 - 6*i**2 - 4*i + 5. Let u be l(-5). Let b be (u + 1)/((-4)/(-48)). Suppose 2*w = -0*w + b. Is 2 a factor of w?
True
Let n(x) = -7*x - 6. Let v(s) = s**3 - 6*s**2 + 4*s + 1. Let p be v(3). Is 16 a factor of n(p)?
False
Suppose -4*h = -2*h + 5*b + 21, 24 = -5*h - 3*b. Let c(o) be the first derivative of -10*o**2 - 3*o + 1. Does 19 divide c(h)?
True
Let u(t) = t**3 - 11*t**2 + 50*t - 54. Is u(12) a multiple of 10?
True
Suppose 4*u - 11 = -3, 0 = -2*m - 5*u - 52. Let g = m + 36. Does 2 divide g?
False
Let p = 35 + 17. Let r = -5 + p. Let w = 66 - r. Is 5 a factor of w?
False
Let v(y) be the first derivative of 14*y**2 - 14*y + 27. Does 49 divide v(11)?
True
Let i(m) = m**2 - 6*m. Let k be i(7). Let l be ((-38)/(-7) + -4)*k. Let u(g) = g + 7. Is 17 a factor of u(l)?
True
Suppose 2*o - 8*m + 6*m = 392, 5*o = 4*m + 984. Does 25 divide o?
True
Let a(f) = 2*f**2 - 7*f + 15. Let m be a(-15). Suppose 0*d - m = -3*d. Is 38 a factor of d?
True
Let h = -4 - -18. Let c = 38 - h. Is 10 a factor of c?
False
Suppose -4*g + 9*g + 5 = 0. Is 18 a factor of -13*(g + -2) - 1?
False
Let p(d) = 4*d**2 + 3*d - 136. Is 41 a factor of p(14)?
False
Suppose -h + 138 = b, -5*b - h + 645 = -5*h. Does 36 divide b?
False
Let g be ((-24)/(-1))/((-7)/(-98)). Suppose m - 61 = -5*y, 4*y = 4*m + y - g. Is 27 a factor of m?
True
Let p(v) = -v**2 + 17*v - 49. Suppose 6*u = 45 + 27. Is p(u) a multiple of 7?
False
Let l be -1 + 1 + (0 - -44). Suppose -5*x = 5*t - 430, -3*x - t - 7 + 259 = 0. Let a = x - l. Is a a multiple of 13?
True
Let w(l) = -l**3 - 7*l**2 + 6*l - 16. Let j be w(-8). Suppose j = -14*h + 17*h - 48. Does 4 divide h?
True
Let n be (-150)/15*(-6)/(-4). Let x be n/(-25) + 1419/(-15). Let q = 132 + x. Is 19 a factor of q?
True
Let d = 791 - 553. Does 7 divide d?
True
Let l be 46 + -3*(8/(-12) + 2). Let h = 75 - l. Does 14 divide h?
False
Suppose -25*v + 21*v = 8. Is 10 a factor of (220/(-15))/(v/15)?
True
Suppose -5*q - 44 = -16*q. Suppose -4*j + 113 = q*u + j, -2 = -u + 4*j. Is 11 a factor of u?
True
Suppose 2*f + 157 - 5 = 3*c, 260 = 5*c - 5*f. Let b be 8/c + 34/12. Suppose 5*a - 100 = -y, 2*a + 5*y + 20 = b*a. Does 10 divide a?
True
Let d be 19/((-114)/516)*(-3 - -1). Let p = d - 137. Does 3 divide p?
False
Let y(x) be the first derivative of x**4/4 - x**3 - 5*x**2 + 8*x + 7. Is 8 a factor of y(6)?
True
Suppose 3*y + 0*z - 48 = 2*z, -3*y = -5*z - 39. Suppose 9*k - y*k = -1323. Is k a multiple of 28?
False
Let z be 1*(0 - 2) - -4. Suppose c + z*c = 5*i + 48, -c + 28 = -3*i. Is 5 a factor of 9/(-6)*30/i?
True
Is 19 a factor of (-382)/2*(-33)/165*5?
False
Let y(j) = -4*j - 30. Let r be y(-8). Suppose r*h - q - 76 = 0, -3*h + q = -20 - 96. Does 10 divide h?
True
Suppose 2*v - 5*k = 837, 0 = 2*v + k - 273 - 546. Is v a multiple of 50?
False
Suppose -66*h + 72*h - 5400 = 0. Is h a multiple of 15?
True
Suppose 0 = 8*r - 15*r + 4144. Is 37 a factor of r?
True
Let i = 857 - 497. Is i a multiple of 10?
True
Let n(u) = -u**3 + 17*u**2 - 41*u + 21. Is 8 a factor of n(11)?
True
Suppose 0 = 4*k - 1517 - 995. Suppose -2*a - k = -4*n + 2*a, -625 = -4*n + 5*a. Is n a multiple of 40?
True
Let y(j) = -j**3 - 4*j**2 - 21*j - 63. Is 10 a factor of y(-11)?
False
Let k(u) = -10*u - 9. Let f(l) = l + 2. Let w be f(-7). Is 13 a factor of k(w)?
False
Suppose 3 = 2*s - 3. Suppose 5*i + 62 = 2*h, -3*i - 4*h = -s*h + 35. Is 5 a factor of (18/i)/(6/(-20))?
True
Suppose 3*i = -0*y - 3*y + 15, -y + 2*i = -2. Suppose y*s - 8*s + 920 = 0. Is s a multiple of 8?
False
Suppose 0*j = 3*j - 534. Suppose -4*v + 7*p + 145 = 6*p, -5*v = 2*p - j. Is v a multiple of 10?
False
Suppose 3*y + 4*m + 35 = 0, 3*m + 36 = -2*y + 11. Let b(j) = -21*j - 32. Does 30 divide b(y)?
False
Let y = 860 - 192. Is y a multiple of 97?
False
Suppose 5*b - 1566 = -4*b. Is b a multiple of 53?
False
Suppose 3*n + 3*m = 138, -2*n - m - 22 = -115. Is n a multiple of 13?
False
Suppose 2*k = -5*y + 48, -k - 8 = -2*y + k. Suppose 2*l - 5*n - 140 = 0, 3*l = -5*n + n + 256. Suppose -l - y = -2*d. Does 11 divide d?
True
Let c = 16 + 14. Let l be (-6)/36 + (-14)/(-12). Is 2*(l - 0) + c a multiple of 8?
True
Suppose -444*u - 5408 = -452*u. Is 31 a factor of u?
False
Let m = 3107 + -1307. Does 60 divide m?
True
Let b(i) = i**2 - i - 39. Let v be b(0). Suppose -54*o = -474 + 5658. Let z = v - o. Is 19 a factor of z?
True
Let k = 740 + -342. Does 40 divide k?
False
Let o(b) = 4*b**2 - 12*b - 5. Let m(r) = 5*r**2 - 12*r - 6. Let d(p) = 5*m(p) - 6*o(p). Let f be d(-14). Suppose 104 = f*g - 26*g. Is 13 a factor of g?
True
Let b(f) = -f**3 - 6*f**2 + 2*f + 12. Let k be b(-6). Let q be 61 + -2 + 0 + k. Let r = 84 - q. Does 5 divide r?
True
Let s be -2 - 1 - (-8 + 2). Suppose s*d + 2 = 8. Suppose -2*v - j = -76, -3*v = d*j - 0*j - 114. Is 19 a factor of v?
True
Let n = 26 - -153. Is 33 a factor of n?
False
Suppose 2*z + 2 = 0, -2*v = 3*z - 74 + 263. Let x = v + 191. Does 14 divide x?
True
Suppose -14*o + 32*o - 54774 = 0. Is 39 a factor of o?
False
Suppose 76 = 2*z + 72. Let l(n) = -n**3 + 2*n**2 - n + 2. Let g(y) = y**2 - y + 1. Let r(c) = 5*g(c) - l(c). Is 2 a factor of r(z)?
False
Let p be (8/(-6))/((-2)/3). Suppose p*x = 153 + 51. Suppose -3*s + x = -0*s. Is 17 a factor of s?
True
Suppose 2*s + 3150 = 9*s. Is 15 a factor of s?
True
Suppose -v - p - 2*p = -12, 2*p - 28 = -4*v. Is v even?
True
Let p = 4389 + -2467. Is 31 a factor of p?
True
Suppose 0*i = 3*i + 2*a - 169, 2*a = -8. Is 59 a factor of i?
True
Let p = 87 + -79. Suppose -7*s + p*s + 50 = h, -150 = -3*h - 2*s. Does 10 divide h?
True
Let o = -218 + 263. Does 9 divide o?
True
Let a be 2/((-4)/(-10)) - 2. Is 2/(-6)*a*-55 a multiple of 20?
False
Let p(f) = f**3 - 17*f**2 - 19*f + 23. Let k be p(18). Suppose k*o - 2 = c + 237, 4*o - c - 191 = 0. Is o a multiple of 5?
False
Let y = -5 + 7. Suppose y*o + 12 = 4*c, 15 = -5*o + 5*c - 5. Does 3 divide (o - -1)*(-4 - 3)?
False
Let b(g) = 1. Let q = 12 - 11. Let c(y) = -50*y + 2. Let r(h) = q*b(h) - c(h). Is r(2) a multiple of 33?
True
Suppose -22*l - 637 = -x - 23*l, 0 = -x - 2*l + 636. Is 22 a factor of x?
True
Is (-3)/(-2)*(-618)/(-9) a multiple of 3?
False
Suppose -5*v + 8712 = 2*j, 2*v - 2560 - 920 = 4*j. Is 108 a factor of v?
False
Suppose -1214 - 151 = -5*a. Suppose -5*s + 184 = 4*h - a, 0 = -2*h + 2*s + 224. Is h a multiple of 20?
False
Suppose 2*p = -w - 10 - 2, -4*p + 3*w - 4 = 0. Is (p - (-260)/(-12))*3*-1 a multiple of 40?
False
Suppose 0 = -3*b - b + 16. Suppose -211 + 19 = -b*q. Let f = -24 + q. Does 8 divide f?
True
Let p(h) = -12*h - 98. Is 2 a factor of p(-15)?
True