e 2*j + 295 = a*y - 3*j, 4*j = -y + 34. Is 18 a factor of y?
True
Suppose -7*t - 176 = -9*t. Let c = -24 + t. Is c a multiple of 16?
True
Suppose 3*p - 5*q - 3635 - 4039 = 0, q = 4*p - 10249. Does 11 divide p?
True
Let t(m) be the first derivative of m**3/3 - 9*m**2/2 + 2*m - 9. Let y be t(9). Suppose 0 = -4*x + y*x + 24. Is x a multiple of 12?
True
Let i be 430*(2 + 1/(-2)). Suppose 6*z = -63 + i. Suppose -5*c + z = -263. Is 18 a factor of c?
True
Suppose -n + 30 = 5*v, 3*v + 0 = -3*n + 54. Suppose -o - n = -2*o. Is o a multiple of 5?
True
Let w(y) = -1 + 2 + y + 5*y**3 + 1. Does 13 divide w(2)?
False
Let p(j) = j**3 - 6*j**2 + 4*j + 2. Let t be p(5). Let d be 3*-1 - (t - 3). Does 3 divide (-2)/d + (-280)/(-42)?
True
Let i(r) = r**3 + 5*r**2 - 4*r + 4. Let p(j) = -4*j**2 + 3. Let s(z) = 3*z**2 - z - 2. Let l(t) = -2*p(t) - 3*s(t). Let f be l(4). Is i(f) a multiple of 18?
True
Let i(y) be the second derivative of y**5/10 - y**4/12 + y**3/6 + 3*y**2/2 - 10*y. Is i(2) a multiple of 2?
False
Let h(x) = x**2 + 6*x - 5. Suppose q - 7 = m, 4 = -5*q + 4*m + 42. Let k = q - 20. Does 7 divide h(k)?
True
Suppose 4*l + 2*v - 272 = 0, 3*l - l - 136 = -2*v. Let i = l + -41. Does 9 divide i?
True
Let k be (-1 - 1)*(0 - 2). Does 27 divide (-113 + 2 + 3)/(3 - k)?
True
Suppose 7*i - 44 = 11*i. Let g(y) = y**2 + 10*y - 9. Let z be g(i). Is 3/((-121)/62 + z) a multiple of 22?
False
Suppose 5*l - 5 = 5. Suppose -d - 233 = -3*g - 3, 150 = 2*g + d. Suppose 2*q - g = -l*q. Is 9 a factor of q?
False
Let d(u) = u**2 + 5*u - 6. Let n be d(-6). Suppose -3*q + 37 = -0*q - z, n = q + 4*z - 34. Is q a multiple of 14?
True
Let l(r) = 87*r - 3. Let q be l(8). Suppose -q = 3*k - 10*k. Does 33 divide k?
True
Suppose -4*s = 4*j - 880, 7*s - 6*s + 672 = 3*j. Is 22 a factor of j?
False
Let i = -1132 - -1662. Suppose -5*g + i = 5*v, -2*g - g = -9. Is v a multiple of 14?
False
Is ((-568)/14)/((-42)/441) a multiple of 65?
False
Let w be 7/28 + 22/8. Suppose -g + w*g - 2 = 0. Suppose s - 35 = -4*t, -g - 22 = -s + 2*t. Is s a multiple of 9?
True
Let y = 193 - 138. Let z = -280 + 280. Suppose 5*p - 2*d - y = z, -3*d + 2 = 2*p - 1. Does 9 divide p?
True
Suppose -2*n = 5*x - 9 - 0, -3*x = -15. Let a be 0/(2*4/n). Suppose -4*k + 137 = -r, 4*r + 7 + 13 = a. Is 11 a factor of k?
True
Suppose -5 - 1 = -3*l. Suppose -3*u - 1 = -l*u - 3*t, -4*u + 51 = -t. Is u a multiple of 7?
True
Suppose -3*y + 3646 - 790 = 0. Is y a multiple of 56?
True
Let d(k) = -32*k - 56. Is d(-8) a multiple of 8?
True
Is 21 a factor of 2/(80/8) + 15732/15?
False
Suppose 4*v = 2*q + 206, -12*q = -3*v - 8*q + 157. Does 4 divide v?
False
Let s be (0 + -1)/((-2)/4). Let h = 8 + -6. Suppose h*x = 3*p + 48, 0*x + s*p = 5*x - 109. Is 9 a factor of x?
False
Let k(z) = z**2 - z - 1. Let y be k(-1). Let a be 3 + 109/(0 + y). Suppose 0 = -8*p + 4*p + a. Is 7 a factor of p?
True
Let a be (-4)/16 - 13/(-4). Suppose a*j + 0*j = -327. Let t = j - -164. Is 11 a factor of t?
True
Let j(g) = -3*g**3 + 7*g - 6. Let b be j(-5). Does 13 divide (-2 - b/(-8)) + (-12)/16?
True
Let v(h) be the third derivative of h**4/12 - h**3/3 - 3*h**2. Let o be v(6). Let z = 6 + o. Does 7 divide z?
False
Suppose -4*l - 150 = -5*x, -5*x + 23 = l - 102. Suppose -4*t + 98 = -5*y, -t - 7 = -4*y - x. Suppose -75 + t = -4*i. Is i a multiple of 12?
True
Let s = -118 - -201. Is s a multiple of 17?
False
Suppose 0*x + x = 60. Suppose 5*p = 3*d + 2*p - 45, -x = -5*d + 2*p. Is 8 a factor of d?
False
Suppose -4*n = k - 16, 4*n - 16 = -k + 2*k. Let v = -363 + 250. Is 19 a factor of 2/n - v/2?
True
Let k be -118*6/(-4) - (2 + -2). Let f = k - 80. Does 17 divide f?
False
Suppose 0 = 6*d - d - 15. Suppose d*x = x. Let l = x + 6. Is 4 a factor of l?
False
Suppose -132 = -f + 1330. Is 16 a factor of f?
False
Let r = -318 + 972. Suppose 8*b - r - 186 = 0. Is 35 a factor of b?
True
Let v be (-3)/(4 + -3) - (1 + -8). Suppose -v*k = 4*j - 92, -46 = -3*k + k - 3*j. Is k a multiple of 2?
False
Let z = 147 - -139. Is 11 a factor of z?
True
Let n(b) be the first derivative of -4*b**2 - 4*b - 5. Let u be n(-5). Let m = u - 3. Is 12 a factor of m?
False
Is 13 a factor of (-3245)/(-10) + 4 + (-35)/10?
True
Is 28 a factor of (-4197)/(-15) - (120/25 + -5)?
True
Let o = 17 - 24. Let l = o - -9. Suppose 3*n + 20 = q + n, -30 = -2*q + l*n. Is 5 a factor of q?
True
Let h = 1313 + -611. Is (-3)/10*-2 - h/(-30) a multiple of 12?
True
Suppose 0 = -23*p + 24*p - 40. Let i = p + 60. Is i a multiple of 25?
True
Let i = 386 - 41. Is i a multiple of 35?
False
Let n(j) = -j**2 - 37*j + 3. Is n(-20) a multiple of 7?
True
Let h = 49 - 65. Let t = h - -41. Is 6 a factor of t?
False
Let q(c) = 15*c**3 + c**2 + 3*c + 1. Let m be q(-1). Is 11 a factor of (-1148)/(-12) - m/12?
False
Let i(l) be the third derivative of -l**5/30 - l**4/2 - 15*l**2. Is 3 a factor of i(-5)?
False
Let q be (18/(-4))/((-3)/6). Suppose -12*l = -q*l - 216. Is l a multiple of 18?
True
Suppose -14*a + 7*a = -2968. Is 16 a factor of a?
False
Suppose -6*c + 3*c - 5*s = -104, -2*s + 148 = 4*c. Let k = 28 + 15. Let m = k + c. Is 23 a factor of m?
False
Let y = 49 + 113. Is y a multiple of 9?
True
Let m = 580 + 1055. Is m a multiple of 46?
False
Let h(c) = -5*c**3 + 6*c**2 - 5*c + 6. Let r be h(3). Let d = -43 - r. Is d a multiple of 16?
False
Suppose 0 = 3729*w - 3725*w - 920. Is 16 a factor of w?
False
Suppose 0 = 2*v - 3*v + 172. Let f = -112 + v. Does 20 divide f?
True
Let s = 357 + -165. Is 6 a factor of s?
True
Is (-6160)/(-20)*27/6 a multiple of 22?
True
Let w(v) = -v**3 - 4*v**2 + 3*v - 3. Let f be w(-5). Suppose 4*c - 3*c + 4*d = -26, 2*c + f = d. Is (0 - 9)/(c/10) a multiple of 7?
False
Suppose 49 = 3*c + 5*i, 3*i + 37 = 3*c + 2*i. Let w = 30 - c. Is 3 a factor of w?
False
Let t = 1358 - 585. Suppose -5*c = 3*q - t, -2*q - 4*c = 219 - 733. Suppose -5*d + q = -4*v, -3*v + 154 = 3*d - 8*v. Does 18 divide d?
False
Suppose 2*w - 2*j - 5552 = 3658, j + 13805 = 3*w. Is w a multiple of 25?
True
Let q be (7 - 0)/((-7)/(-287)). Suppose -3*u + q = 44. Does 27 divide u?
True
Let k(m) = 12*m**2 + 20*m - 208. Does 55 divide k(12)?
True
Let r = 618 + -356. Does 50 divide r?
False
Let t(i) = 34*i - 7. Let w(l) = -17*l + 4. Let q(o) = 3*t(o) + 7*w(o). Let z = 71 - 75. Is q(z) a multiple of 15?
True
Let f be -4 + 1 - ((10 - 6) + -10). Suppose 2*n - f*n = -5*o + 254, -o = 3*n - 38. Does 10 divide o?
True
Is 46 a factor of 2/(10/12235) + -9?
True
Let k be (-1*6)/(9/(-6)). Suppose 0 = -n + 4*z + 23, -4*n + n - k*z = 11. Suppose 0 = -4*p + n*d + d + 240, -2*p - 5*d = -92. Does 18 divide p?
False
Let s be (9/(-2) + 3)*-38. Suppose 7*i - 447 = s. Is 24 a factor of i?
True
Let d(u) = 8*u**2 - 3*u + 6. Let z be d(4). Let y = 172 - z. Is y a multiple of 7?
False
Does 26 divide 15228/40 - 18/(-60)?
False
Let z = -873 + 486. Let p = -238 - z. Is 13 a factor of p?
False
Let t = 75 - -65. Is 11 a factor of t?
False
Let b = 1486 + -118. Does 50 divide b?
False
Let b be (-28)/(-21)*6/4. Suppose -5*w = 3*h - 14, -b*h + w = -0 - 5. Suppose -2*t + 55 = h*t. Is 7 a factor of t?
False
Suppose -10 = 4*a - 30. Suppose -3*j = -4*i - 10 - 12, 3*i - 56 = -a*j. Does 3 divide j?
False
Suppose 10*h - 945 = 1485. Is 27 a factor of h?
True
Let a = -51 - -76. Let l = a + -22. Is -65*(l + (-72)/20) a multiple of 22?
False
Let y = -17 - -11. Let o be y + 3 - (2 - 95). Suppose -a - 5*a + o = 0. Does 13 divide a?
False
Suppose 0 = -4*p - 2 + 10. Suppose 3*h = h + p*f + 16, 5*f = -h - 16. Suppose c - 190 = -h*c. Is c a multiple of 19?
True
Suppose 0 = 2*o + 2*a - 2524, o - 13*a = -9*a + 1247. Is o a multiple of 5?
False
Suppose 2*a = 3*z + 4392, -2203 = 5*a - 6*a + 5*z. Does 48 divide a?
False
Suppose -4*f + 14 = 5*y, 0 = -y + f - 0 + 1. Suppose -375 = -7*u + y*u - 3*a, 20 = -4*a. Is u a multiple of 13?
True
Let u(m) = m**3 - 6*m**2 - 8*m - 9. Does 9 divide u(9)?
True
Is 4*(5 + -9 + 394) a multiple of 10?
True
Let a be 1 - (-10)/(-7) - 67/7. Is 44 a factor of (-3 + 267)*(-5)/a?
True
Is 40 a factor of (-50)/(-5 + -5) + (-1 - -276)?
True
Let a(f) = -f**3 - 6*f**2 + 2*f + 8. Let r be a(-6). Is r/18 - (-6944)/63 a multiple of 10?
True
Suppose -3*j = -j - 6. Let f(x) = 5*x - 5*x + j*x + 28 - 4*x. Does 11 divide f(0)?
False
Let x = -3 - -4. Let s = x - -2. Suppose -3*q = -7*q + s*