 r = -2*f - 2*z + 948. Does 33 divide f?
False
Suppose -84 = 4*a + 12. Let d = a + 35. Suppose -700 = d*i - 16*i. Is i a multiple of 10?
True
Suppose -20*s + 12744 = -23*s. Let l be (2/3)/((-12)/s). Suppose 2*i - l = -188. Is i a multiple of 3?
True
Let u(j) = 2*j**3 - 9*j**2 - 2*j - 13. Suppose -18*b - 104 = -31*b. Does 14 divide u(b)?
False
Is 6 a factor of (3/12 + 1106/56)*1915/10?
False
Let o be (636 - -1)/(-16 + 17). Let h = o + -330. Let a = h - 177. Does 11 divide a?
False
Let z(f) = f**3 + 3*f + 3. Let b be z(-2). Let w = 57 + b. Is w a multiple of 23?
True
Let b = -40 - -84. Let v = b - 41. Suppose -v*r + 19 = -17. Does 4 divide r?
True
Let t be (3 - -2) + -1 + (0 - 2). Let i be 90/(-25)*(t - 3)*5. Let p = 10 + i. Is p a multiple of 7?
True
Let q = -206 - -218. Suppose 304 = -4*a + q*a. Is 24 a factor of a?
False
Suppose -3*b + 7*b + 33540 = 17*b. Is 5 a factor of b?
True
Let l = -40 + 34. Suppose -591 = -v + 5*o, -2*o - 656 = -v - 62. Does 11 divide 4/l + (-5)/(-15)*v?
True
Suppose 22*o - 20*o - 8 = 0. Let r(b) = 17*b + 50. Is r(o) a multiple of 59?
True
Suppose 3*i - 9 = 0, -3*m - 3*i + 23 - 2 = 0. Is 27 a factor of (2 + (-322)/m)*-2?
False
Let w = 540 - 525. Does 22 divide ((-20)/w + (-35)/(-15))*317?
False
Suppose 2*d - 267*g - 5548 = -265*g, 5*d + 3*g = 13846. Is d a multiple of 36?
False
Let w(j) = 170*j + 10. Let c = -716 - -722. Is 35 a factor of w(c)?
False
Let m be 190/8 + 5/20. Suppose m*n + 142 = 26*n. Let i = n + -8. Is i a multiple of 14?
False
Suppose -103*v + 858636 = -37*v - 149976. Does 9 divide v?
True
Does 78 divide 3535 + 1 + -1 + -12 + 4?
False
Does 13 divide (30/(-2 + -1 - 4))/(1/(-3542))?
False
Suppose -181*o + 190*o = 19107. Let p = o - 1493. Does 42 divide p?
True
Let a(r) = -5*r**2 + 0*r**3 + 2*r**3 - 2 - 4 - 7*r + 13*r. Is 5 a factor of a(6)?
False
Does 6 divide 195 + -197 - 2*-4387?
True
Is 236275/100 - ((-14)/(-8))/(-7) a multiple of 17?
True
Is 57 a factor of (-2 - -2727) + 17/(-136)*-8?
False
Let f(k) = 3*k**2 - 16*k - 159. Is f(31) a multiple of 31?
False
Is 5 a factor of 931 + (-2 - -9) - 5/((-25)/(-20))?
False
Suppose 2*p - 5 + 1 = 0. Let l be (127/(-1))/(-1) - p. Suppose -2*j + l = 3*j - 5*o, -j + 3*o = -19. Is j a multiple of 11?
False
Suppose -231*g + u - 3806 = -234*g, -g = 5*u - 1250. Is 10 a factor of g?
True
Suppose -543*u = -561*u + 173048 + 314248. Is 141 a factor of u?
True
Let o(m) = 3*m**3 - 27*m**2 + 70*m - 238. Does 19 divide o(22)?
True
Let i = -5568 - -5516. Suppose 217 = -2*l + 5*k - 16, -2*l - 234 = -4*k. Let m = i - l. Is m a multiple of 6?
False
Suppose 15171481 = 742*i - 10404561 - 1109246. Does 54 divide i?
True
Let s = 726 + -549. Is 2 a factor of s?
False
Let y be -2 + 120/54 - 362/9. Let f = 51 + y. Suppose f*g - 7*g = 120. Is g a multiple of 6?
True
Let x = 810 - 439. Let d = 623 - x. Is 14 a factor of d?
True
Suppose -110*r + 524055 = 107*r. Is r a multiple of 15?
True
Let a(c) = -c**3 - 6*c**2 - 8*c - 4. Let r be a(-5). Let n(x) be the second derivative of 7*x**3/6 + 19*x**2/2 + 50*x + 3. Does 32 divide n(r)?
True
Suppose 360 = -24*r + 144. Does 36 divide 6488/12 + (48/r)/8?
True
Let l = -11533 + 21961. Is 4 a factor of l?
True
Suppose 3*r - 3 = -0*r. Let k(j) = -1359*j + 2828*j - 1381*j. Is 13 a factor of k(r)?
False
Let z be 0 + (55/22)/(10/8). Is 2 a factor of 100 + -3 - -3 - (1 + z)?
False
Suppose 0 = 2*n + n. Suppose -4*l - 2*r + 68 = 0, r + 2*r + 12 = n. Let s = 31 + l. Does 12 divide s?
False
Suppose -3*n - 5*t + 14365 = -4572, 3*n + t = 18941. Is 42 a factor of n?
False
Does 14 divide 11 - (6400/(-4) - -10)?
False
Suppose -d - 2*i = -5*d - 1358, -d + 2*i - 335 = 0. Let k = d - -365. Is 7 a factor of k?
False
Suppose 2*p - 8 = 0, 4*p - p - 21 = -3*t. Suppose 7*y - 20 = t*y, 5*y = 2*h + 31. Is (1/h)/((-2)/114) even?
False
Is 5 + (-4 + 3055/(-10))*-2 a multiple of 26?
True
Suppose -3*n + 4*g = n - 2784, -5*g - 1389 = -2*n. Let b = n + -407. Is b a multiple of 21?
False
Let l = -15537 - -26352. Is 21 a factor of l?
True
Let h(m) = -m**3 + 87*m**2 - 764*m + 222. Is h(75) a multiple of 128?
False
Suppose 0 = 2*y - 2*a + 18, -5*y - 6*a + 9*a = 37. Is 4 a factor of 5120/48*((-24)/y)/4?
True
Let q(k) = 2*k**2 + 64*k + 10150. Is 10 a factor of q(0)?
True
Let r = 32230 + -32014. Does 4 divide r?
True
Let b(h) = -h**2 + 71*h - 78. Is b(64) a multiple of 8?
False
Let g(w) = -223*w + 4911. Is g(19) even?
True
Suppose 67*r - 3800 = 17*r. Suppose -85*c + 432 = -r*c. Is c a multiple of 4?
True
Is (342/(-1026))/(0 - (-1)/17)*-66 a multiple of 6?
False
Is 15 a factor of (-490)/(-49) - 29060/(-4)?
True
Suppose y + h + h - 41 = 0, 4*y = h + 119. Let k(c) = -c**2 + y - 116*c + 116*c. Is 6 a factor of k(0)?
False
Suppose 3*s + 3*j = 0, 2*j + 3*j = -15. Suppose -v + 4*t - s = 34, 0 = -3*v - t - 59. Is 6 a factor of 59*((-7)/v - 4/(-6))?
False
Let c = -6334 + 9270. Suppose a - 3*q - 728 = 0, -4*a + 2*q + c = -2*q. Is a a multiple of 11?
True
Let s be (-2)/(-2) + -286 + 0 + 2. Let i = 458 + s. Is i a multiple of 7?
True
Let s(v) be the first derivative of -26*v**2 - 88*v + 18. Is 41 a factor of s(-20)?
False
Let c be (-7 - -3) + (76 - 0). Let a = c + -79. Is (-2)/(-5) + ((-7805)/25)/a a multiple of 9?
True
Suppose 37*j - 68853 = 761900 + 602331. Is j a multiple of 86?
False
Suppose -5*b + 18 = -2*b. Suppose 70*i = 85*i - 810. Is 15 a factor of (-40)/b*i/(-12)?
True
Let s(d) = 4*d**2 - 85*d**3 + 128*d**3 - 10*d**2 - d + 10 - 4. Does 9 divide s(2)?
True
Let f be (-17)/(-17) + 86 + -1*2. Let w(r) = 4*r**2 - r. Let s be w(1). Is 14 a factor of f - (0 + s - 2)?
True
Let r(z) = 31*z + 13. Let p = 22 - 56. Let h = -28 - p. Does 56 divide r(h)?
False
Let g be (5 - (1 + 3))*-141. Let p = 89 - g. Is 15 a factor of p?
False
Suppose 0 = -3*x + 2*p + 18454, 2*p - p - 1 = 0. Is x a multiple of 8?
True
Let s be ((-6)/(-18))/(5/615). Suppose -2*f + 3*z + 1392 = 0, -s*z + 46*z = -f + 722. Does 26 divide f?
True
Suppose 4*h = 3*h - 4*x + 18, -h - 18 = -5*x. Does 55 divide 42 + 410 - (h + (-4)/(-2))?
False
Let q(s) = 36*s**2 + 3*s - 17. Let i be q(9). Suppose -1414 = -20*p + i. Is p a multiple of 42?
False
Suppose -64*k = -49*k - 3495. Suppose -2*x = 5*w - k - 272, 3*x - 764 = -w. Is x a multiple of 33?
False
Let u(v) = v**3 + 15*v**2 + 7*v - 5. Let k be u(-14). Let r = k + -79. Suppose 628 = r*m - 128. Is m a multiple of 10?
False
Suppose 1803313 = 164*o + 649628 - 873191. Does 22 divide o?
False
Suppose 1625 = k - 4*s - 2511, 2*k + 4*s = 8272. Does 94 divide k?
True
Let w(b) = -2*b**2 - 37*b + 28. Let z(j) = -3*j - 1. Let q be z(6). Let u be w(q). Suppose 0 = -4*s + 5*y + 309, -5*y + 339 = u*s - 5*s. Is 33 a factor of s?
False
Let m = 457 + 303. Suppose -3*v = -2*v + 5*r - m, -2*v + 1542 = -r. Does 70 divide v?
True
Suppose -2*n + 640 = -2*s, -17*n + 2*s + 320 = -16*n. Suppose 3*h = -5*z + 185, 5*h - 176 = z + 123. Suppose -h*m - n = -61*m. Does 20 divide m?
True
Suppose 30*r + 1425 = 5*r. Does 6 divide (-393)/(-5) - r/(-95)?
True
Let c(s) = -67*s**3 - 98*s**2 - 719*s. Is 82 a factor of c(-8)?
True
Suppose 11*w = -399 + 102. Let n = 43 + w. Suppose 3*h - 35 = n. Does 4 divide h?
False
Suppose -92 - 52 = 3*q. Let g(f) = 4*f**2 + 17*f + 4. Let t be g(-8). Let a = t + q. Does 17 divide a?
False
Let d = -30 + 33. Suppose 0 = -5*k + 2*w + 8 + 4, 8 = 5*k - d*w. Suppose 3*j = -j - 8, -k*q - 2*j + 680 = 0. Is q a multiple of 37?
False
Suppose 12*y - 34424 = -14*y. Suppose -3*n = -5*l - 0*n + y, 5*l - 1322 = 4*n. Is l a multiple of 38?
True
Suppose -5*v + 2*g + 187389 = 0, 5*v + 5*g = 6*v - 37464. Does 187 divide v?
False
Suppose -3190 = 12*s - 17*s. Suppose -7*z + 5*z = -s. Let y = -189 + z. Is y a multiple of 26?
True
Let x(c) = 6*c + 3. Let g(w) = w**3 + 16*w**2 + 16*w + 17. Let n(i) = -i**3 - 5*i**2 + i - 10. Let v be n(-5). Let k be g(v). Is x(k) a multiple of 3?
True
Let j(d) = 7*d - 5. Let m(r) be the third derivative of -r**4/2 + 11*r**3/6 - 25*r**2. Let x(o) = 5*j(o) + 3*m(o). Does 4 divide x(0)?
True
Let a(g) = g**3 + 29*g**2 - 27*g + 41. Is 11 a factor of a(-19)?
False
Let n(d) = -d**3 + 31*d**2 + 70*d - 67. Let i be n(33). Suppose 5*w = -5*z + 45, 3*z + 2*z - 3*w = 29. Suppose i = -z*r + 8*r. Does 5 divide r?
True
Suppose -9*d = -62*d + 352026. Does 54 divide d?
True
Let h(p) = p**3 - 4*p**2 + 6*p -