44/(-16) + (-1)/4. Let c = t - y. Is c a multiple of 22?
False
Let r(i) = 94*i**2 - 52*i + 152. Is r(4) a multiple of 3?
False
Suppose 238*d - 527*d = -227*d - 914004. Is d a multiple of 20?
False
Suppose s + 53 = 77. Suppose -s*i = -21*i - 222. Is 37 a factor of i?
True
Let j = 95 + -62. Let z = -9 - 8. Let t = z + j. Does 4 divide t?
True
Let p = 86 - 82. Let k(m) = -4*m + 16. Let a be k(p). Suppose a = -9*t + 30 + 213. Is 3 a factor of t?
True
Let q(d) be the second derivative of -d**5/20 + d**4/12 + 557*d**2/2 - 46*d. Is q(0) a multiple of 17?
False
Suppose 5*s - 3*o + 2*o - 22 = 0, -4*s - 3*o + 10 = 0. Suppose -z = -4*z + s*p + 1936, 0 = 5*p - 10. Is z a multiple of 8?
True
Let j be (-24)/204 - (-76168)/68. Does 21 divide 9/4*2*j/48?
True
Suppose -2*h + 3009 = 3*i, 1058 = 3*i + 4*h - 1945. Let f = i + -675. Does 30 divide f?
True
Let d be 5/6 - (-510755)/210. Suppose -2607 = -12*m + d. Does 20 divide m?
True
Suppose 0 = 3*t + 2*n - 27747, 124*t - n + 18499 = 126*t. Is t a multiple of 35?
False
Let s be 0*(2 - (9 + -6)). Let c(o) = 102*o + 6. Let u be c(5). Suppose s = -2*r + 4*n + 246, -2*r - 2*r = -2*n - u. Is 32 a factor of r?
False
Suppose -4*c - 11*h = -154761, 2*c - 11*h = -10*h + 77413. Does 82 divide c?
True
Does 55 divide 7117/(-165)*-3*5?
False
Let i(c) = -c**3 + 25*c**2 + 53*c + 27. Let h be i(27). Let z = 20 - -150. Suppose -10*f + 12*f - z = h. Does 40 divide f?
False
Is 17 a factor of (9 - (-144)/18)*263?
True
Let y(j) = -j**3 + 6*j**2 + 232*j - 2. Does 3 divide y(-17)?
False
Let q(f) = f**3 + 53*f**2 - 122*f - 294. Is q(-55) a multiple of 8?
False
Let z(y) = y**3 - 9*y**2 - y + 9. Let c be z(9). Suppose -2*s - 3*o + 189 = c, 3*s + 121 = 3*o + 382. Is 8 a factor of s?
False
Suppose 2*w = -3*c + 62599, -81215 = 6*w + 5*c - 269024. Is 28 a factor of w?
True
Suppose 0 = 4*g - 3 - 5. Suppose y = -g*n - 62, -5*y - 420 = 3*n - 103. Let c = 94 + y. Does 15 divide c?
True
Let h(r) be the third derivative of 7*r**5/12 + r**4/6 + 11*r**3/6 - 3*r**2 - r. Does 11 divide h(-2)?
True
Suppose -26 + 9 = -4*s + 5*f, -9 = -3*s + 5*f. Suppose -s*c + 98 = -15*c. Does 13 divide (133/c)/((-1)/2)?
False
Let l be (7/(-5) + 0)*50/(-10). Suppose -5*b - l*b = -6504. Suppose 2*i = -78 + b. Is i a multiple of 58?
True
Let m(l) = l**3 + 14*l**2 + 4*l - 4. Let g be m(-6). Suppose 3*r = 5*f - 2*r - g, 0 = -4*r - 16. Suppose -f + 282 = n. Does 13 divide n?
True
Does 25 divide (-11)/(-143) - (-40)/(-182) - 14526/(-7)?
True
Let z be 8/(-2) + -2 + -3 + 732. Suppose 2*s - 1138 = 616. Suppose 8*a - z = s. Is 25 a factor of a?
True
Let n = 32 - -3813. Suppose -18*b + n = -3337. Is 56 a factor of b?
False
Suppose -2*n - 5*n + 210 = 0. Suppose -n = -3*i - 3*i. Suppose 5*u + 8 = 5*y + 18, -4*u = -5*y - i. Is 3 a factor of y?
True
Let n = -5156 + 5410. Is n a multiple of 108?
False
Let n = 182 - 82. Let a be n*(9 + -6) + 1*-1. Suppose j + 2 = -j, -3*r - j = -a. Is r a multiple of 10?
True
Suppose -1206*w - 5602 - 1472 = -1215*w. Is 2 a factor of w?
True
Suppose 8*d + 495 = -145. Let j = d - -75. Is (-2*j/20)/((-1)/(-178)) a multiple of 7?
False
Let r(i) = i**3 - 46*i**2 - 58*i + 637. Is r(49) a multiple of 51?
True
Suppose -7*a - 3 - 81 = 0. Is a/(-18) - (4272/(-18) - -5) a multiple of 21?
False
Let u(m) = 1131*m - 147. Is 12 a factor of u(5)?
True
Let p = 9930 - 5400. Is p a multiple of 180?
False
Suppose 3*s = 4*b + 32, -4*s + 5*b = -3*s - 29. Suppose -3 = -3*w + i + 3, 6 = -2*w + s*i. Does 6 divide (-6*7)/(-1) - (w - 1)?
False
Let a = 109 + -95. Let q be -5*((-12)/(-9) + a/(-6)). Suppose -g = q*j - 73, -4*g + 5*j - 2 + 369 = 0. Is g a multiple of 11?
True
Let r(p) = 2*p**2 + 51*p + 9448. Is 15 a factor of r(0)?
False
Is 43 a factor of 4821/6*(15 + 5 + 0)?
False
Let w = 36 - 83. Let c = 53 + w. Suppose -4*h = 2*j - c*j + 168, 3*j = -3*h + 96. Does 4 divide j?
False
Let m(x) be the second derivative of 7*x**5/40 - x**4/4 + 11*x**3/6 - 4*x. Let i(p) be the second derivative of m(p). Does 2 divide i(1)?
False
Let r(n) = 701*n**2 - 20*n + 156. Is 41 a factor of r(-7)?
True
Suppose -5*z = -2*z - 2*j + 119, -5*j - 128 = 4*z. Let v = -37 - z. Suppose 5*y - 192 + 22 = -5*l, v = -5*l + 3*y + 170. Is 6 a factor of l?
False
Let d(o) = -86*o - 29. Let p be d(-2). Let w = 50 + 42. Let h = p - w. Does 17 divide h?
True
Suppose 36987 = 51*k - 60066. Is 11 a factor of k?
True
Let x(m) = -2*m**2 - m - 1. Let n be x(1). Is 5 a factor of (39/6 + n)*(68 - 2)?
True
Is 33 a factor of 72/80*((-365)/(-15) + -6)*592?
True
Let m(w) = -2*w + 13. Let t(j) = 6*j - 39. Let z(l) = -11*m(l) - 4*t(l). Does 5 divide z(4)?
True
Let d(t) = 57*t**2 + 19*t + 38. Does 10 divide d(-6)?
False
Does 55 divide (-495)/(-6)*(-260)/(-130)?
True
Let s = 138 + 14. Let j = -16 + s. Is 31 a factor of j?
False
Is 75 a factor of ((-3332)/(-12))/((-7)/(-42))?
False
Suppose -2*r - 5*g + 5075 = 0, -9*r - 5*g + 7610 = -6*r. Is r a multiple of 65?
True
Let b(z) = -z**3 + 5*z**2 + 3*z - 12. Let x be b(5). Suppose -2*l = 2*l - 2*s - 410, -2*l + x*s = -195. Is l a multiple of 15?
True
Suppose 5*y = 5*l - 59669 + 649, 4*l - y = 47213. Is l a multiple of 63?
False
Let m = 82 + 283. Suppose -4*s - m - 271 = 0. Let w = -74 - s. Is 30 a factor of w?
False
Let p(l) = 6747*l**2 - 1133*l + 2268. Is 170 a factor of p(2)?
False
Let h(s) = s + 71. Let j = -92 + -38. Let y = -123 - j. Is h(y) a multiple of 13?
True
Let z(j) = 52677*j**3 + 3*j**2 + 43*j - 47. Does 68 divide z(1)?
False
Let w(d) = 83*d**2 + 20*d - 5. Let n be w(2). Let q = 1421 - n. Is 62 a factor of q?
True
Suppose 13*o = 12*o + 45. Suppose 217*l = 216*l + o. Does 9 divide l?
True
Let t(w) = 2*w + 24. Suppose 5*v = -3*z + 17, -z + 3*v = -v. Is t(z) a multiple of 8?
True
Suppose 4*s = -5*n + 120543, 69*n = 67*n - 5*s + 48241. Does 125 divide n?
False
Let w be (3/(21/(-7)))/(3/591). Let x = -124 - w. Does 5 divide x?
False
Let z(j) = -25*j - 245. Let a be z(-11). Suppose -29*k = -a*k + 792. Does 66 divide k?
True
Let b = -47 + 46. Let l be b*(0 + -2 - -2). Suppose l = -5*g + 2*z + 356, -3*g = g - 4*z - 280. Is g a multiple of 4?
True
Let t = 52 - 63. Let u(w) = -29*w - 19. Is 20 a factor of u(t)?
True
Let y be 7/(-2) - 3/(-2). Let i(v) = 1 + 2 + 9 - 24 + 7 - 20*v. Is 35 a factor of i(y)?
True
Suppose -4*c - 4 = 4*o, 0*o - 3*c = -4*o + 17. Suppose 2*u = 5*s - 24, 0 = -5*u - 2*s - o. Is 14 a factor of (344/2)/1*(-1)/u?
False
Does 13 divide ((-3)/(-5))/(2/32480)?
False
Suppose -12*b - 5*b = -10*b - 29624. Is 19 a factor of b?
False
Let i = -8729 + 14129. Does 10 divide i?
True
Let c(h) be the second derivative of -h**5/20 - h**4/4 - h**3/3 + 9*h**2 + 2*h. Let w be (5/(-15))/(-4 + 366/90). Does 4 divide c(w)?
False
Is 26 a factor of (-363919)/(-8) + 17466/(-1968) + 0 + 9?
False
Let a = -5455 - -5993. Is 7 a factor of a?
False
Let p(g) = g**3 + 25*g**2 + 14*g + 181. Is 15 a factor of p(-13)?
False
Is 55 a factor of (-14955)/(((-4)/(-8))/(1*(-1)/3))?
False
Let z be 2/(-7) + 256/112 + 40. Let j = z - -130. Suppose -j = -4*m + 16. Is m a multiple of 12?
False
Suppose 0 = 651*x - 481*x - 916980. Does 49 divide x?
False
Let o(a) be the second derivative of -13*a**3/3 - 3*a**2 + 17*a - 1. Let i be ((-7)/(-3))/((-1)/3). Is o(i) a multiple of 30?
False
Let t = 26232 - 14967. Is 15 a factor of t?
True
Suppose -4*m + 5*y - 237 = -12313, 4*m - 12068 = 3*y. Is m a multiple of 22?
True
Let q = 271 + 228. Let w = q - 170. Is 7 a factor of w?
True
Let u(n) = -10*n + 96. Let v be u(8). Let w = v - -188. Is 12 a factor of w?
True
Suppose 15*t - 207577 = -2*t + 98627. Does 6 divide t?
True
Suppose -15*z - 3548 = -4*g - 11*z, 879 = g + 3*z. Is g a multiple of 26?
False
Let z(r) = -r + 11. Let c be z(11). Suppose c = 5*i + 25, 5*i = 2*b + 4*i - 19. Let t(f) = 3*f**2 - 4*f - 4. Does 23 divide t(b)?
True
Suppose -4*o + 5797 - 23887 = -2*w, -25 = 5*o. Is 90 a factor of w?
False
Let p = 144 + 56. Let m = -88 + -13. Let s = p + m. Does 33 divide s?
True
Suppose -104160 = -32*i + 26*i. Is 35 a factor of (5/10)/(8/i)?
True
Let i(t) = 65*t**2 - 14*t + 255. Is 119 a factor of i(17)?
True
Let d be 0 + (4/4 - (-4)/2). Suppose 0 = -2*z - 0*z + 8. Does 10 divide d*-18*z/(-6)?
False
Let h = -1302 - -1300. Suppose -6 = -3*a + 6*a. Does 2 divide 87/3 - a/h*4?
False
Let u(z) = z**3 - 15*z**2 + 14*z + 44. Let w