250 + 562. Is 20 a factor of t?
False
Let j(q) = -q**2 + 7*q - 6. Let a be j(5). Suppose 2*x = a*x - 54. Is 10 a factor of x?
False
Is 9 a factor of ((-1)/(-1))/((-1)/(-11))?
False
Let h = 2 - 4. Let o be ((-1)/h)/((-1)/(-42)). Let x = 38 - o. Is 9 a factor of x?
False
Let l = -19 - -17. Let o = 10 + l. Is 4 a factor of o?
True
Let m be (-3 - 0)*(-6 + 5). Does 7 divide (2*m)/(-3) - -16?
True
Suppose z + 89 = 4*r + 2*z, -r - 5*z = -8. Suppose -r + 81 = l. Is 20 a factor of l?
False
Let i = 4 + 166. Let r = -5 + 9. Suppose i = r*o - 10. Is o a multiple of 20?
False
Let g = -198 + 283. Suppose 0*y - 32 = -2*y - 2*i, -5*y - 4*i + g = 0. Does 7 divide y?
True
Suppose -70 - 700 = -7*n. Does 4 divide n?
False
Suppose -2*d + 3*z = 36, -4*d - 3*z = -7*d - 51. Let q = 100 + -70. Let w = q + d. Does 15 divide w?
True
Let o(u) = 34*u - 1. Let m be 8/44 + (-20)/(-11). Let f be o(m). Suppose 0 = -2*a + 2*d + 22, a + 4*a = -d + f. Is 13 a factor of a?
True
Is 1 + 7 - (3 - 5) a multiple of 5?
True
Suppose -14*o = 4*f - 15*o - 33, 4*f - 3*o - 43 = 0. Is f a multiple of 7?
True
Suppose 5*z + 4*o - 37 = -162, 5*z + 125 = -2*o. Suppose 3*i + i + 8 = -4*s, 4*i = 4*s + 8. Is ((-10)/z)/(s/(-140)) a multiple of 14?
True
Let c be (-6)/(-27) - 34/(-9). Suppose 0 = c*r + n - 211 - 45, -256 = -4*r + 4*n. Suppose 4*v - r = -0*v. Is v a multiple of 13?
False
Let d(y) = y**3 + 10*y**2 + 3*y + 5. Let l be d(-5). Let k = l + -82. Let w = k - 11. Is w a multiple of 11?
True
Let b(m) = m + 6. Let o(i) = 4*i**3 - i**2 - 2*i - 1. Let g be o(-1). Let y be b(g). Suppose n + y*z + 3*z - 33 = 0, -n + 5*z = -33. Is 14 a factor of n?
False
Let d(o) = -4*o**3 - 2*o**2 - o. Let n be d(-1). Suppose -4*i + 5*j + 15 + 48 = 0, i = 5*j - n. Does 11 divide i?
True
Suppose -375 = -9*g + 4*g. Is g a multiple of 25?
True
Suppose q = -2*x - 0*x + 3, -2*q + 27 = -3*x. Is q a multiple of 3?
True
Let i(t) = -16*t - 2. Suppose 0 = 5*y - 3*g + 42, 5*g - g - 16 = 0. Let m be i(y). Let q = -56 + m. Is 17 a factor of q?
False
Let s = -3 - -8. Is 3 a factor of s?
False
Suppose -4*l + l - 6 = 0. Let n = 8 + l. Suppose 32 = -4*w + n*w. Is w a multiple of 8?
True
Let k be 0 + 52 + 26/(-13). Let r = -34 + k. Is r a multiple of 4?
True
Suppose -5*t + 14 = -21. Is 6 a factor of t?
False
Let r(p) = p**2 + 8*p - 5. Does 14 divide r(-11)?
True
Let y = 13 + -9. Suppose -4*p - 2*s + 8 = 0, -y*s = -4*p - 7*s + 10. Is 6 a factor of -2 + 13/(p - 0)?
False
Let t = -44 + 74. Suppose -5*h - 12 = -5*p + 28, 0 = -3*p + h + t. Is 11 a factor of p?
True
Let h(z) = -z**3 - 12*z**2 + 12*z - 11. Let j be h(-13). Let i = 249 - 146. Suppose -4*t + 5*a + i = 0, -a = -3*a + j. Is 12 a factor of t?
False
Let l(j) = -j + 1. Let w(q) = q**3 + 12*q**2 - 4*q - 2. Let t(y) = -4*l(y) + w(y). Let b be t(-12). Let u(i) = i**3 + 6*i**2 - 3*i + 7. Is 25 a factor of u(b)?
True
Let b = 612 + -332. Is b a multiple of 35?
True
Suppose -5*c = 4*o - 52, 4*c + 5*o - 1 - 37 = 0. Suppose 0 = r - 4 + 7, c = 3*p - 4*r. Is 14 a factor of p*3/(-9) - -26?
False
Let c = -66 - -147. Suppose -5*v + c + 59 = 0. Does 10 divide v?
False
Suppose 4*b - 4 = 3*s + 4, -b = 5*s - 2. Suppose 0 = -4*m - s*o + o - 12, -5*o - 3 = m. Let i = m + 5. Is i even?
True
Let y(q) = -6*q**3 + q**2 + 3*q + 7. Is 12 a factor of y(-3)?
False
Let s = 598 - 356. Suppose -3*q - 35 = -s. Does 23 divide q?
True
Suppose 4*n + 16 = 4*x, 4*n + 36 = n - 5*x. Let l(u) = u**2 + 5*u + 5. Does 13 divide l(n)?
False
Let a(h) = -16*h + 1. Let m be a(-3). Suppose -180 = -3*y - 2*y + 4*r, 3*r - m = -2*y. Is y a multiple of 8?
True
Let x be 75/6 - (-3)/(-6). Suppose -3*i - 6 = 18. Let t = i + x. Is t a multiple of 2?
True
Suppose -154 = 6*c - 8*c. Is 25 a factor of c?
False
Let v = -8 + 8. Suppose -2*h - h + 81 = v. Does 9 divide h?
True
Let h = -11 - -16. Suppose 5*y + 5*w = -0*w + 135, -h*w = -4*y + 99. Does 13 divide y?
True
Suppose -8*b + 9*b = 11. Does 3 divide b?
False
Suppose -3*u - 3*s = -7*s + 54, s = 5*u + 73. Does 16 divide (-4)/u - (-3699)/63?
False
Let m(a) = -a**3 + 4*a**2 + a. Let f be m(4). Suppose -62 = -f*y + 6. Is y a multiple of 10?
False
Let s(l) = -9*l + 2 - 4 + 2*l. Let x be (-28)/7 - (-1 + 0). Does 5 divide s(x)?
False
Let x be 0/(1 + -1 - -1). Suppose 0 = 3*u - x - 6. Does 20 divide (u + -2 + 1)*40?
True
Suppose 7*q - 10*q = -318. Is 19 a factor of q?
False
Suppose -55 = -3*p + 4*p. Does 10 divide (253/p)/(2/(-10))?
False
Let h be (-1)/((-3)/(-7 - -4)). Does 17 divide ((-51)/(-2))/(h/(-2))?
True
Let j be 5/(10/(-4)) - -12. Suppose -2*f + 10 = -j. Does 5 divide f?
True
Does 3 divide ((-6)/4)/(2/(-12))?
True
Let j(h) be the first derivative of -9*h**2/2 - 3*h - 9. Does 17 divide j(-7)?
False
Let k be 336/15 - (-6)/(-15). Suppose -4 - 2 = 3*c, -k = 5*g + c. Let z(b) = -9*b - 4. Is 16 a factor of z(g)?
True
Let y(l) = 8*l + 6. Is 9 a factor of y(6)?
True
Let p(q) = q**3 - 11*q**2 + 11*q + 14. Does 13 divide p(10)?
False
Let w(t) = t + 99. Is w(0) a multiple of 30?
False
Suppose -111 = -4*q - 15. Is q a multiple of 8?
True
Let g = 43 - 11. Is g a multiple of 11?
False
Suppose 4*s = 9 - 1. Suppose -r = -4*w + 27, 0 = s*w - r - 8 - 3. Is 3 a factor of w?
False
Suppose -5*i + 3*i = -124. Does 11 divide i?
False
Let r(u) = 3*u - 6. Let i be r(5). Let a be (3/(-2))/(i/(-48)). Suppose a = x - 1. Is x a multiple of 5?
False
Suppose -4*v = -79 - 149. Suppose 0 = 4*h + 2*n - 44, -3*h - 3*n = 2*h - v. Does 3 divide h?
True
Suppose 3*z + 2*q + 40 = 0, -4*z + 62 = -9*z - q. Does 25 divide (-3143)/(-42) - 2/z?
True
Let z(w) be the first derivative of 2*w**2 - 3 - 2*w - 4*w - w**2. Is 8 a factor of z(7)?
True
Suppose -4*a + 636 + 148 = 0. Is 29 a factor of a?
False
Let n = 16 + -8. Is n a multiple of 4?
True
Let c(a) = a**3 + 2*a**2 - 2. Let k be c(-2). Let h = k + 1. Does 2 divide -2*(h - -1 - 2)?
True
Let i(s) = -13*s**3 - 2*s**2 - 2*s + 2. Does 17 divide i(-2)?
True
Suppose -i = -2*r + 9, -r - 2*r - 4*i = 3. Suppose -3*b - 3 = -r*g, -3*g + 9 = -3. Is 3/(2*b/18) a multiple of 9?
True
Let t = 88 + -43. Does 18 divide t?
False
Is (14/(-5) - 2)/(14/(-140)) a multiple of 8?
True
Suppose 21 = -9*a + 10*a. Is a a multiple of 21?
True
Let d(h) = h - 5. Let t be d(7). Let n be 2/7 + t/(-7). Is 2 - (n/1 - 2) a multiple of 4?
True
Is ((-30)/75)/((-2)/60) a multiple of 5?
False
Suppose 2*b + 5*m - 218 = 0, -3*b = -0*b - 4*m - 304. Is 13 a factor of b?
True
Suppose 0*c + 5*c + 4*q - 82 = 0, -4*q - 44 = -4*c. Is 11 a factor of c?
False
Is 8*-3*(-28)/24 a multiple of 9?
False
Suppose -100 = -5*i + 3*i. Is 18 a factor of i?
False
Suppose -2*b = -3*a - 25, -4*a + 2*a = 10. Suppose b*i = 14 + 6. Is 2 a factor of i?
True
Suppose -h + 6 = h. Suppose 0 = -h*n + 23 + 196. Is n a multiple of 25?
False
Suppose 0 = 5*b - 15 + 5. Suppose -k - b*k = -66. Does 13 divide k?
False
Let j = 42 + -24. Let c = 8 - j. Let m = 38 + c. Does 14 divide m?
True
Let i = -2 - -4. Let z = -1 + i. Let d = 2 + z. Is d a multiple of 2?
False
Let x(p) = p**3 + 2*p**2 - 15*p + 8. Does 27 divide x(5)?
True
Let w(x) = -2*x - 2. Let b be w(-6). Let v be (4/b)/(4/20). Is ((-48)/20)/(v/(-5)) a multiple of 6?
True
Let z = -3 + 10. Is z even?
False
Suppose 3*y - 6*y + 6 = 0. Suppose 0 = -y*v + 7 + 13. Is v a multiple of 10?
True
Let f(c) = -c**3 - 8*c**2 + 7*c - 18. Is 16 a factor of f(-10)?
True
Let f(r) be the second derivative of r**3/3 - 6*r**2 - r. Let c be f(8). Suppose -u + 38 = 2*o, u + o - 145 = -c*u. Is u a multiple of 18?
False
Is ((-39)/2)/((-39)/52) a multiple of 19?
False
Suppose a = -2*a - 27. Suppose 0 = m - 6 - 13. Let d = a + m. Does 6 divide d?
False
Let x = -75 + 168. Let w = x - 41. Is w a multiple of 17?
False
Suppose -2*w - w = -210. Suppose 3*o - w + 28 = 0. Does 7 divide o?
True
Is 10*(3 - 6/(-4)) a multiple of 15?
True
Let k = -18 + 11. Let x = 9 - k. Does 13 divide x?
False
Suppose -27 = -b - 2*b. Suppose 4*s = b*s - 145. Let v = -19 + s. Does 10 divide v?
True
Let u = -13 - -15. Suppose u*m + 3*r = 19, -35 = -4*m - 0*r - 3*r. Does 4 divide m?
True
Let l(j) be the second derivative of -j**5/20 + 7*j**4/12 + 3*j**3/2 - 3*j**2 + j. Let n be l(8). Suppose n*m - 24 = -m. Is m a multiple of 4?
True
Let l = 118 + -10. Is 18 a factor of l?
True
Suppose 0 = -p - p + 8. Let w = 9 - p. Let u = w + 1. Is u a multiple of 3?
True