 a multiple of 16?
True
Let b be (-36)/9*(-10)/(-4). Is ((-168)/b)/(565/550 - 1) a multiple of 7?
True
Suppose 236656 = 4*t + 12*t. Is t a multiple of 53?
False
Suppose -11682389 - 841275 = -11*b - 207*b. Is b a multiple of 270?
False
Suppose 0 = -123*o + 30*o + 104853 + 63570. Is 16 a factor of o?
False
Let p be 12/16 - (-26)/8. Suppose 0*h - 27 = -p*n + h, -n + h = -3. Suppose -5*o - 51 = -n*o. Is o a multiple of 5?
False
Suppose 1384*i = 1387*i + 6, -3*i = 4*j - 12330. Does 11 divide j?
False
Let l = 25 + -20. Suppose b + 2 + 11 = 5*y, 23 = l*y + 4*b. Suppose 3*p + 2*c + 3*c - 390 = 0, 0 = c + y. Is 27 a factor of p?
True
Let u = -15 + 13. Let z be (61 - u) + 1 + 7 + -4. Let y = 94 - z. Is 21 a factor of y?
False
Suppose -34 + 62 = 2*x. Let y(g) = g**3 - 12*g**2 - 13*g + 48. Does 36 divide y(x)?
False
Suppose 5*g + 3*v - 339 = 0, 0*g - 4*g - 5*v = -266. Suppose -5*r = t, 4*t - 3*r = -0*t + g. Does 14 divide -3*(4 + (-365)/t)?
False
Let s be 378960/112 + (-1 - 10/(-7)). Suppose 15*q + 3*q - s = 0. Does 16 divide q?
False
Let r be 7776/66 + (-2)/(-11). Let n = r - 83. Let j = n - -19. Is 27 a factor of j?
True
Let d = -1462 + 3198. Is d a multiple of 124?
True
Suppose -63*g + 9812 = 7022 - 11511. Is g a multiple of 2?
False
Suppose -82493 + 7304 - 144261 = -15*m. Is m a multiple of 19?
True
Let d(t) = 11*t - 3*t**3 - 1041 - 3*t**2 + 1050 + 2*t**3. Let a be d(-5). Suppose 8*h - a*h - 224 = 0. Is 15 a factor of h?
False
Let w(p) = -2574*p + 1524. Is 24 a factor of w(-16)?
False
Suppose 45*n = 27016 + 55199. Is n a multiple of 39?
False
Is -17 - -17517*22/33 a multiple of 13?
True
Let a(z) = 57*z**2 - 109*z - 1016. Does 11 divide a(-10)?
False
Is 26 a factor of (-5)/(-50) - (-56411)/190?
False
Let b = -35 - -11. Suppose 2*f + y = -13, -177*f + 2*y = -182*f - 34. Is (-3729)/b - (-3)/f a multiple of 31?
True
Let b(j) = -2*j**2 + 166*j - 2627. Is 7 a factor of b(44)?
True
Let a(d) be the third derivative of -85*d**4/8 - 8*d**3/3 - 67*d**2. Is 38 a factor of a(-2)?
True
Let i(g) = -20*g**3 + 5*g**2 - 23*g**2 + 29*g**3 + 19*g - 45*g - 10*g**3 + 44. Does 8 divide i(-17)?
False
Let g(h) = -h**3 + 18*h**2 + 8*h - 34. Let t(l) = -l**2 - 20*l + 62. Let j be t(-22). Does 51 divide g(j)?
False
Let v(z) = -45*z - 3298. Does 61 divide v(-76)?
True
Let y = 5357 + -1623. Does 106 divide y?
False
Let b = 3238 - 2020. Suppose -47*u + b = -41*u. Does 7 divide u?
True
Suppose -3*b + 4*n + 738 = 0, -2*b - 119*n + 492 = -121*n. Is b a multiple of 28?
False
Let w(f) = -102*f - 1542. Is w(-37) a multiple of 72?
True
Let f(d) = -d**3 - 8*d**2 - 8*d + 4. Let h be -12*(7/(-2) - -4). Let r be f(h). Is 11 a factor of -5 - 0 - 760/r?
True
Suppose 144 = 3*c - 24. Let z be 2 + 2 + (-2)/1. Suppose c = z*i - 176. Is i a multiple of 13?
False
Let i = -152 - -280. Let n = 37 + i. Is 11 a factor of n?
True
Suppose 371292 - 58962 = 21*n + 9*n. Does 99 divide n?
False
Let b(j) = 6*j**2 - j - 5. Let f be (-4)/(-10) - 299/(-65). Let q be b(f). Suppose -2*k = -4*k + q. Is 14 a factor of k?
True
Suppose 1444 = -3*t - 5*g + 5161, 0 = -t + 3*g + 1239. Is t a multiple of 59?
True
Let v = 181 - 176. Is 41 a factor of (v + -11 + 5)*-383?
False
Suppose 0 = 4*b + 38 + 50. Let h(m) = -6*m + 62. Let z(s) = 9*s - 92. Let v(a) = 8*h(a) + 5*z(a). Is v(b) a multiple of 6?
True
Suppose 5*u = 122 + 248. Suppose 2310 = -u*f + 81*f. Does 15 divide f?
True
Let v be (30/(-4))/3*3564/(-810). Suppose -4*f + 13*b = v*b - 152, 3*f + 2*b - 121 = 0. Is f a multiple of 3?
True
Let w = -204 + 207. Suppose -10 = 2*y, -c - w*y + 123 + 123 = 0. Is c a multiple of 17?
False
Let a be (28/(-21))/(5/(-3) + 2). Let s be (-6)/a*(0 - (-2 + 0)). Suppose 4*j + 640 - 193 = s*u, -565 = -4*u - 5*j. Does 8 divide u?
False
Let a(t) = 26*t**2 - 26*t - 185. Is a(-9) a multiple of 5?
True
Does 164 divide (-15)/(105/(-190904)) + (-7)/1?
False
Suppose 21*r - 353025 = -54*r. Does 7 divide r?
False
Let w(n) = 1988 - 3*n - 1984 + n. Let k be w(4). Is (-3 - k) + -2 + 157 a multiple of 13?
True
Let y = -251 + 521. Does 23 divide (46/5)/((-9)/y*-2)?
True
Suppose -11419 = 4*c - 5*n, -3*c + 4*n - n = 8562. Let b = -1960 - c. Does 26 divide b?
False
Suppose 113 = -n + 281. Let b = n + 453. Is b a multiple of 69?
True
Let l be -2*(-26)/20 - (-70)/175. Suppose 0 = n + l*k - 41 - 22, 3*n + 2*k - 154 = 0. Is 4 a factor of n?
True
Let d = 129 + -559. Let u = d - -247. Let l = -36 - u. Is l a multiple of 28?
False
Let v(n) = 27*n**2 + n + 47. Let k be v(-6). Suppose -3*y = 4*b - k, 5*y - 22 = -7. Is b a multiple of 5?
False
Let i(j) = 8424 - 8414 - j**3 + 6*j**2 + 4*j**2 + 5*j. Let r(y) = y**2 + 5*y + 4. Let h be r(-6). Is 10 a factor of i(h)?
True
Suppose 0 = -5*m - 1 - 14. Let h = m - -22. Let j = h + 59. Is j a multiple of 18?
False
Let r(y) = -5*y + 5 + 21 + 4*y - 9. Let s be r(16). Is (s - 15/2)*-2 a multiple of 13?
True
Let a = -2334 - -3294. Is 71 a factor of a?
False
Let h(o) = -o**2 + 5*o - 1. Let c be h(3). Suppose 2*y + 3*n = 0, 5 = c*y + 2*n + 3*n. Suppose 0 = y*b - b - 274. Is 8 a factor of b?
False
Suppose -5*s = 5 - 15. Let r(u) = 0*u**s - 2*u**2 + 3*u**2 - 18*u - 2*u**2 - 13. Is r(-9) a multiple of 17?
True
Let i = -319 - -321. Is ((-209)/(-22) - 9)/(i/232) a multiple of 13?
False
Let y = -446 - -187. Let x = y - -275. Is 8 a factor of x?
True
Suppose -d = -i, i - 3*i + 4*d - 8 = 0. Suppose 5*b - 8*b + 638 = 5*q, -3*b - i*q + 640 = 0. Is 27 a factor of b?
True
Let c(h) = 1473*h**2 - 7*h - 8. Let v be c(-1). Suppose 19*y - v = 11*y. Is y a multiple of 8?
True
Let h be (6/(-8) + 1)*(0 - 4). Let w(r) = -385*r + 5. Does 13 divide w(h)?
True
Let b(t) = 10*t**2 + 4*t - 20. Suppose -c - 6*a = -a - 10, 4*c - 5*a - 140 = 0. Suppose 0*p = 6*p - c. Is 10 a factor of b(p)?
True
Let n be (-2)/12 - ((-704216)/(-48))/(-19). Suppose 6*j - 8*j = -n. Is j a multiple of 10?
False
Let d = 3568 + -240. Is 128 a factor of d?
True
Suppose 0 = -8*g - 7*g - 3555. Let h(m) = -18*m - 7. Let b be h(5). Let c = b - g. Is c a multiple of 14?
True
Let z be -120*(-7 + (-246)/(-30)). Let l = 300 - z. Is 7 a factor of l?
False
Suppose 0 = 3*v - 15, 7401 = 3*m - 22*v + 19*v. Is m a multiple of 4?
True
Let k(s) = -43*s - 39. Let g = -21 - -27. Suppose -g*d = -3*d + 9. Is k(d) a multiple of 30?
True
Let q be (294/175)/(9/30)*-5. Is 4 a factor of (q/(-16) + -1)/(9/576)?
True
Suppose 3*j = -7*o + 6106, 3*o - 2244 = -j - 206. Is j a multiple of 23?
False
Let j be 2*(-20)/24*432/4. Let z = j + 355. Is z a multiple of 5?
True
Let t(x) = 16*x + 5658. Is t(103) a multiple of 28?
False
Let m(x) = -109*x + 36. Let k(c) = 108*c - 44. Let o(y) = 3*k(y) + 4*m(y). Is o(-6) a multiple of 18?
True
Let y be 6 + (-2936)/(-40) + (-4)/10. Let z = 109 + y. Is 4 a factor of z?
True
Suppose 0 = 38*u - 35*u - 9. Is (u + -4)*(7 - 188) a multiple of 75?
False
Let h(p) = 2*p**2 + 16*p + 19. Let z be h(-7). Let m = 62 - 30. Suppose z*s - m = 4*s. Does 8 divide s?
True
Let c(s) = -s**2 + 4*s + 12. Let g be c(6). Suppose -4*i + 31 = r, 4*r = -g*r - i + 64. Let k = 69 - r. Does 11 divide k?
False
Let x(r) = 2*r**2 - r + 1. Let t(i) = -i + 1. Let g(h) = 2*t(h) - x(h). Let b be g(1). Does 14 divide -3*35*b/3?
True
Let h be 18/(-30) + (-54)/(-15). Let b(r) = 4*r - 2*r - h*r + 10 - r**3 + 38*r**2 - 31*r**2. Is b(7) a multiple of 2?
False
Let w = 317 + -191. Suppose 5*u = 2*k + w - 382, 2*u - 488 = -4*k. Is 13 a factor of k/1 + 8 + -12?
False
Let z(w) be the second derivative of -53*w**5/20 + 5*w**4/12 - w**3/3 - 9*w**2/2 - 138*w. Does 70 divide z(-3)?
False
Suppose -3*z = -2*z + 4*p - 11, -z + 3*p = 3. Is 7 a factor of 2/z - (-1122)/18?
True
Let b be (-26)/(-4) - 175/(-70) - -643. Suppose m + 2*m + 1335 = 0. Let s = m + b. Does 24 divide s?
False
Suppose 0 = 354*b - 222*b - 1055472. Does 65 divide b?
False
Let v = 66 + -61. Let r = v + -29. Let n = r - -36. Is 6 a factor of n?
True
Suppose 9*v - 3 = 51. Suppose -246 = -v*k + 150. Is k a multiple of 12?
False
Suppose 0 = -4*h + y + 6, -2*y + 3*y + 2 = 2*h. Suppose 2*a = h*s - 522, -4*a + 0*a - 1068 = 4*s. Does 20 divide (-1)/(2/a - 0) - 2?
False
Suppose 918055 = 92*f + 156755. Is 106 a factor of f?
False
Let x = 2177 + 23316. Does 23 divide x?
False
Suppose 7*s - 5*c + 45 = 2*s, 4*c = -4*s - 52. Let x(l) = 5*l - 7. Let r(b) = 21*b - 17. Let d(v) = 2*