?
True
Let a = 29 + -27. Suppose a*h - 360 = -5*j, -3*j - 23 = 2*h - 243. Does 14 divide j?
True
Let y = 376 + -259. Let c = 171 - y. Let g = c - 1. Is 17 a factor of g?
False
Let q(w) = -w**3 + 4*w**2 + 21*w - 21. Let v be q(4). Suppose 5*f = 4*a + 863 - 53, -5*f - 3*a + 775 = 0. Let l = f - v. Does 15 divide l?
False
Does 17 divide 199 + (-1)/((-4)/20)?
True
Suppose -5*q - 2*l = -17, 0*q + 2*l = -4*q + 14. Let d = q - 1. Suppose -d*w + 6*w + 72 = 5*c, 0 = 4*c + 4*w - 36. Is 7 a factor of c?
False
Let a(q) = 21*q + 455. Is 4 a factor of a(-5)?
False
Let h = 172 + 96. Suppose -3*c - 329 - 963 = -5*i, i - h = 3*c. Is 16 a factor of i?
True
Let t = -2604 + 4284. Is t a multiple of 20?
True
Suppose -15 = 3*m + 4*h, -2*h = 2*m - 0*h + 8. Is 4 a factor of (-27 - -7)*(-2)/((-2)/m)?
True
Let q be (-10)/30 + 1*1/3. Suppose q = 2*a + 1 + 7, 76 = 2*k - a. Does 6 divide k?
True
Let y = 7 + -6. Let m be 1 - (-8 - y)*-1. Does 14 divide (-130)/(-4) - (-4)/m?
False
Is (-8936)/(-14) - -16*18/(-1008) a multiple of 10?
False
Suppose -5*j + 58 + 47 = 0. Let u = j + -12. Suppose 2*k = 5*a + u, 5*k - 110 = -5*a - 0*a. Does 13 divide k?
False
Let n(p) = -p**3 + 24*p**2 + 25*p + 5. Let g be n(25). Suppose 5*t = -3*u + g*u - 69, 3*u - 4*t - 107 = 0. Does 13 divide u?
False
Let w(j) = 6*j**3 - 18*j**2 + j - 5. Let a(m) = m**3 - m**2 + m - 1. Let z(b) = 5*a(b) - w(b). Does 8 divide z(13)?
False
Let g = 1235 - 418. Is 82 a factor of g?
False
Let j be 2 - ((-16)/72 + (-5011)/9). Suppose 8*x = 65 + j. Does 16 divide x?
False
Let s be 0*(2/4)/1. Suppose -5*y + s*x + 2*x = -96, 68 = 3*y + 4*x. Does 5 divide y?
True
Let o = 59 - 55. Suppose o*z = 4*t + 404, -z - 105 = -2*z - 3*t. Is 17 a factor of z?
True
Is 16 a factor of 120*((-308)/8)/(-11)?
False
Let c be 4 - (3 + -2) - 63. Let k = c - -101. Is k a multiple of 4?
False
Suppose -f - 4*n = -653, n - 3310 = -5*f - 4*n. Suppose 2*r = f - 71. Suppose 2*x - q = 2*q + 147, -4*x = -3*q - r. Is 14 a factor of x?
False
Is 232*4 + (-6 - -5) a multiple of 61?
False
Let m(z) = -2*z**2 - 11*z + 6. Let l be m(-6). Let k be 1 + l + 4/4. Suppose k*j = -3*j + 170. Is 7 a factor of j?
False
Let p be ((-20)/6)/((-1)/12). Let l be (96/p)/((-2)/(-530)). Does 14 divide 6/(-45) + l/45?
True
Let x(m) = 47*m**2 - 106*m - 7. Is x(5) a multiple of 22?
True
Let d = 38 - 36. Is 4/(-24)*d - 354/(-9) a multiple of 13?
True
Suppose -5*z + 5 = -5. Suppose -z = 2*u - 0. Let g(w) = 14*w**2 - w - 1. Is g(u) a multiple of 4?
False
Let c(n) = -n**3 - 3*n**2 - 4*n - 6. Let p be c(-4). Suppose 7*r = -3*q + 2*r - 17, -2*q = 4*r + 10. Let j = p + q. Is j a multiple of 17?
True
Let q = 375 + -157. Does 45 divide q?
False
Let n(r) be the third derivative of r**6/120 + 2*r**5/15 - r**4/24 + 5*r**3/3 + r**2. Suppose -364*k + 320 = -404*k. Is 4 a factor of n(k)?
False
Let n = -275 + 563. Suppose m - n = -7*m. Is 7 a factor of m?
False
Let j = -19 - -45. Let c = -20 + j. Is 4 a factor of c?
False
Suppose 0 = 4*q + 25 - 25. Suppose -2*s - s + 4*i = -180, q = s - i - 60. Is 15 a factor of s?
True
Let g = 8 - 6. Suppose 0 = 2*w - 4*h + 4, 6*h = w + g*h + 10. Suppose p - 10 = w. Is 8 a factor of p?
True
Suppose -2*w + 7*a = 11*a - 174, -4 = -a. Is 2 a factor of w?
False
Let b(f) = f**3 + 10*f**2 - 4*f - 5. Does 28 divide b(-9)?
True
Let y = 28 - 30. Is 6/((-6)/y) + -9 + 35 a multiple of 7?
True
Suppose 2*k + 4*x = 508, 0 = 4*k + 5*x - 1267 + 260. Does 26 divide k?
False
Suppose 2*z - 9*z = -21. Suppose 0 = -5*t + 3*a + 3, z + 0 = 2*t - 3*a. Suppose o + t = 6. Is o a multiple of 4?
False
Let y = 64 + 128. Does 19 divide y?
False
Let x(n) = -n**2 - 12*n + 13. Let m(z) = z**2 + 14*z + 34. Let j be m(-9). Is 4 a factor of x(j)?
True
Suppose b + 48 = -7*b. Is 81*(-4)/b + -8 + 6 a multiple of 18?
False
Let i(h) = 842*h**2 + 3*h + 1. Does 8 divide i(-1)?
True
Let h be 2/6 + 68/3. Let s = 582 - 534. Let j = s - h. Does 5 divide j?
True
Let w(l) = 33*l. Let p be w(1). Suppose 5*c - p = -138. Let q = c - -26. Does 5 divide q?
True
Let a(h) = h**3 - 29*h**2 - 124*h - 12. Is a(33) a multiple of 14?
True
Suppose 3*z = -2*x + 6*x - 69, -3*x + 4*z = -50. Is 33 a factor of (x/4)/(27/396)?
True
Let d be ((-8)/12)/(2/(-9)). Suppose d*q + 155 = 23. Let s = -24 - q. Is 6 a factor of s?
False
Let a = -1 - -6. Let z(r) = 7*r - 12. Let x(d) = -7*d + 11. Let k(i) = a*x(i) + 4*z(i). Is 32 a factor of k(-5)?
False
Suppose 0 = 5*g + 5*q - 2 - 133, -2 = -q. Let c = -62 + 89. Let d = g + c. Is d a multiple of 26?
True
Let o(m) = -m**3 - 2*m**2 - 3*m + 7. Let a(c) = -2*c**2 + 4*c + 3. Let t be a(-1). Is o(t) a multiple of 8?
False
Suppose -25 = -5*h - 5*m, 0*m + 4*m = -3*h + 20. Suppose h = 4*w - 12. Does 21 divide (-265)/(-5) + 12/w?
False
Suppose -185 = -5*p + 100. Suppose 4*y + 7 + p = 0. Let d = 22 + y. Is d a multiple of 3?
True
Suppose m = y + 18, 3*m - 7*m - 5*y = -45. Is m a multiple of 7?
False
Let f = -43 + -27. Let m = 1145 + -1027. Let o = f + m. Is o a multiple of 8?
True
Let f(i) = 33*i - 3. Let v be 14/16*2*4. Let g be f(v). Suppose -4*p = -p - g. Is p a multiple of 16?
False
Suppose 5*a = -2*s + 7, -19 = -5*a + 5*s + 16. Let b be 15/a*12/(-20). Does 9 divide 15/b - -2 - -45?
False
Let k = 59 + -51. Suppose j - 177 = k*f - 9*f, -369 = -2*j + f. Does 13 divide j?
True
Let y(a) = -3*a**2 - 2*a - 1. Let q be y(-1). Is (114/(-15) - q)/((-8)/60) a multiple of 42?
True
Is (-728)/260 - 2/10 - -227 a multiple of 14?
True
Suppose -4*a + 4458 = -0*n - 3*n, -a = n - 1118. Does 62 divide a?
True
Let t(a) = 152*a - 35. Does 52 divide t(5)?
False
Suppose 0 = -3*g - 11 + 29. Suppose -g*h = -187 - 497. Does 25 divide h?
False
Let b(f) be the first derivative of 7*f**4/24 + 5*f**3/6 + f**2 + 5. Let i(u) be the second derivative of b(u). Does 8 divide i(5)?
True
Let g(f) = 22*f**2 - 22*f + 42. Is g(6) a multiple of 31?
False
Is 13 a factor of -11 - -12 - (-60 - 4)?
True
Let i(l) = -l**3 + 3*l**2 + 15*l + 11. Let a be i(6). Let w(m) = -m**3 - 5*m**2 + 8*m - 11. Is 8 a factor of w(a)?
False
Suppose 0 = -3*j - 1039 - 1142. Does 8 divide j/(-7) + ((-6)/14)/(-3)?
True
Let x = -282 + 381. Is 9 a factor of x?
True
Let c(y) = 11*y - 9. Let v be (-1)/(4/(-4 - 8)). Suppose 0 = -v*a - a + 44. Is 15 a factor of c(a)?
False
Let a be -1 + 2/((-4)/(-6)). Let h = a - -42. Suppose -7*s + h = -3*s. Is 4 a factor of s?
False
Let g(x) = -8*x**3 - 6*x**2 - 15*x - 72. Is g(-6) a multiple of 18?
True
Let d(u) = 6*u**2 - 4*u + 19. Let c(r) = -24*r**2 + 15*r - 76. Let g(k) = 2*c(k) + 9*d(k). Is g(4) a multiple of 16?
False
Is ((-6 - -305) + 7)*(-2)/(-3) a multiple of 17?
True
Let x(w) = -w - 1. Let i be x(8). Let u be 1*i/((-18)/4). Suppose -2*o + 130 = 4*q, -5*o + u*q + 345 = -16. Is o a multiple of 16?
False
Suppose 0*n - 2*n = 12. Let d(v) = -16*v - 1. Let m(q) = -15*q. Let o(h) = n*m(h) + 5*d(h). Does 15 divide o(4)?
False
Suppose 5 - 4 = b. Let i(x) = 2*x. Let n be i(b). Suppose 3*p + 0*z - n*z = 53, 0 = 5*p - 4*z - 91. Does 5 divide p?
True
Let b = -107 + 117. Suppose -p + 20 = 4*o - 9*o, -35 = -2*p + 5*o. Suppose -b*n = -p*n + 270. Is 18 a factor of n?
True
Let r(n) = 4*n + 1. Let j be r(1). Suppose -3*y = 5*k - j*y - 185, -4*k + 148 = y. Let d = 93 - k. Is d a multiple of 16?
False
Let v = -1 - -19. Suppose 5*o = u + v, -5*o - 3*u = -3*o - 14. Is (45 + -1)/(o + -3) a multiple of 11?
True
Suppose 5*g - 4 = 1, 0 = -2*k + 2*g + 14. Does 12 divide (-45)/(-36) + 446/k?
False
Suppose 2*q + 5*d = 525, -q - 1287 = -6*q - 4*d. Suppose 6*s = s + q. Is 18 a factor of s?
False
Suppose 5*v = 3*v - a + 4584, 4*v = a + 9180. Does 137 divide v?
False
Let m(d) = 2*d + d**2 + 0*d**2 + 159 - 162 - 4*d. Let q be m(4). Let i(h) = -h**3 + 6*h**2 - 2*h - 5. Is 3 a factor of i(q)?
False
Suppose -9*i - 4*a = -14*i + 1670, 20 = -4*a. Is i a multiple of 30?
True
Suppose 0 = -0*u + 3*u + 3*b - 459, -3*u = -5*b - 419. Suppose -5*r = -1068 + u. Is r a multiple of 37?
False
Let r = 1 + 6. Suppose 2*m = j + 7 - 4, 5*m = 5*j. Let w = r + j. Is 4 a factor of w?
False
Suppose 4*p - 45 = 5*b, -2*p + 6*p = -5*b + 75. Suppose -h = -5*k + 88, -5*h - p = -0. Is -3 + 2 + 3 + k a multiple of 19?
True
Suppose c = 3*c - 6. Suppose j - 2 = 0, c*s + 0*s + j = 65. Suppose -s = -2*x - 9. Is x a multiple of 6?
True
Suppose 0 = 3*f - 1 - 2, -2*f = -2*x + 152. Suppos