m - 527650. Is 17 a factor of m?
True
Let k(f) = 8*f**2 + 12*f - 24. Let u be k(15). Suppose 2*a = 6*a - u. Suppose 6*o = 2*o - 8, 2*o = 5*p - a. Is 29 a factor of p?
False
Does 12 divide (-97 - -106)*392/6?
True
Let c(h) = -2*h - 1. Let o be c(-2). Suppose -o*l + 4*l - 239 = -3*i, 4*i + 3*l = 312. Is 81 a factor of i?
True
Suppose -270255 = 283*t - 1344523. Is t a multiple of 97?
False
Let z be (-20)/2 - ((3 - -8) + -11). Let w = 47 - z. Is w a multiple of 49?
False
Let u = 649 + -659. Does 47 divide (-17300)/u*(-2)/(-4)?
False
Let r(w) = 63*w**3 - w**2 - 4*w. Let k(g) = 63*g**3 - g**2 - 5*g. Let s(c) = 2*k(c) - 3*r(c). Let l = 98 + -99. Is s(l) a multiple of 9?
False
Let t(s) = s**3 + 4*s**2 - 6*s - 9. Let l be t(-5). Let d = l - -9. Does 18 divide -18*(20/d - 13)?
True
Suppose f - 4627 = 4*v, 4*f + 2*v = 11637 + 6925. Is f a multiple of 84?
False
Suppose 0 = -2*j + 7*j + 240. Let m = -41 - j. Let w(n) = 3*n**2 - 7*n + 14. Is w(m) a multiple of 28?
True
Suppose 5*f - 2*o = -68, -4*f = -0*f - 2*o + 56. Let u be -35*f/9 - (-14)/(-21). Suppose -2*r - 1 + 5 = 0, u = i + 2*r. Is 21 a factor of i?
True
Suppose -131833 = 124*f - 702605. Does 53 divide f?
False
Does 61 divide 107040/45 + ((-2)/3 - 2/(-2))?
True
Let l be (-68)/(-20) - 2/5. Suppose 5*n + 566 = 4*p, -4*n + 7*p - 456 = l*p. Let u = 227 + n. Is 39 a factor of u?
True
Let w(x) = -2*x**3 - 16*x**2 - 7*x + 11. Let t be (800/280)/(2/(-7)). Is 15 a factor of w(t)?
False
Let a = -16 - -16. Suppose 4*u + 0*o - 3 = -3*o, -5*u - 2*o + 2 = 0. Suppose u = -3*y - 4*i + 200, y + a*y = -5*i + 85. Does 12 divide y?
True
Suppose 147*h = 145*h + 25716. Suppose -h = -9*z - 3579. Is z a multiple of 46?
False
Let f(z) = z**3 + 36*z**2 - 105*z - 13. Is 23 a factor of f(3)?
True
Let o = -103 + -199. Let h = 313 + o. Is h a multiple of 6?
False
Let s = 1 - 3. Let r be (2 - s)/(1*(-10)/55). Let o(k) = -k**2 - 33*k - 50. Does 14 divide o(r)?
False
Suppose 11*l - 5453 - 3968 + 3327 = 0. Does 3 divide l?
False
Suppose -383439 = -44*s + 124521 + 1312760. Is 134 a factor of s?
False
Let i(z) = -z**2 + 17*z + 25. Let o be i(18). Let u(y) = -2*y**2 + 14*y + 3. Let q be u(o). Suppose -37 = -q*h + h - l, -5*h + 100 = l. Does 21 divide h?
True
Let a = 273 + 5637. Does 5 divide a?
True
Let o(z) be the third derivative of 137*z**4/24 - z**3/2 - 29*z**2. Is o(2) a multiple of 45?
False
Suppose -2788 = 8*s + 828. Let t = 261 - s. Does 23 divide t?
True
Let n(z) = z**3 - 11*z**2 - 54*z + 42. Let h = -319 - -336. Does 66 divide n(h)?
True
Is (-565682)/(-130) - 14/10 a multiple of 16?
False
Let b(h) = -76*h**3 + 53*h - 3. Is b(-6) a multiple of 29?
True
Let i be (1/(-3))/((-1)/12). Let j = 249 + -238. Suppose 3*c = 6*y - j*y + 1213, -i*y + 3*c = -965. Is 18 a factor of y?
False
Does 5 divide (9205/14)/(95/418)?
False
Suppose 5 = -w - 27. Let i = -25 + -28. Let j = w - i. Does 4 divide j?
False
Suppose -2*w - 4*d - 18 = -3*w, -4*w = 2*d - 18. Suppose 1434 = -w*r + 5178. Suppose 3*b = -3*b + r. Is b a multiple of 13?
True
Let x = 3402 - 1148. Is 8 a factor of x?
False
Let b(d) be the first derivative of 4*d + 1/2*d**4 - 12 - 2*d**3 - d**2. Is b(5) a multiple of 14?
False
Let l(s) = -s**3 - 8*s**2 - 11*s - 52. Let c = -436 - -428. Is 6 a factor of l(c)?
True
Let j = -1153 + 1801. Suppose 0 = 4*u - 5*p - j, p + 0*p - 839 = -5*u. Is u a multiple of 29?
False
Suppose -d - 12 = 2*d, 4*b = d + 512. Suppose -3*s + 149 + b = 0. Is s a multiple of 6?
False
Let b(x) = 8*x - 32. Let s be b(22). Suppose n - s = 145. Is n a multiple of 17?
True
Let k = -362 + 231. Let b = k + 562. Does 64 divide b?
False
Suppose 0 = -7*x - 85 + 267. Let o = -16 - -18. Suppose o*k - 4*a - x = 0, k = -k - 4*a + 2. Does 7 divide k?
True
Let m(y) = 62*y**2 + 21*y + 47. Is m(10) a multiple of 11?
True
Suppose 31360 = 3*x + 4*x. Suppose -7*a + x = 7*a. Is 32 a factor of a?
True
Let v = 631 - 626. Suppose -43*k + 46*k - 1669 = -4*s, -2825 = -v*k + 2*s. Is 10 a factor of k?
False
Let t = 66 + -63. Suppose f - 10 = -4*f, j = t*f + 169. Let v = -115 + j. Is v a multiple of 18?
False
Suppose -2147312 - 3748558 = -134*q - 1936974. Is 12 a factor of q?
True
Let q(g) = 37*g**2 + 3*g - 384. Is 84 a factor of q(-15)?
True
Is 2/(-16 - 479427/(-29963)) a multiple of 19?
True
Let b = -30538 - -54388. Is 11 a factor of b?
False
Let f = 3964 - -551. Suppose -11*y + f = -1788. Is y a multiple of 69?
False
Suppose -3*u - 4*v - 38 = -186, 4*v - 52 = -u. Let s(d) = -119*d - 578. Let n be s(-4). Let w = u - n. Does 15 divide w?
True
Suppose -4*b + 8 = 0, 0 = -3*r - 2*b + 995 + 1652. Let s = -629 + r. Suppose s = 13*o - 9*o. Does 22 divide o?
False
Suppose 0 = -13*s + 15*s - 6. Let m(v) = 8*v + 28. Let j(k) = -k - 3. Let n(f) = -56*j(f) - 6*m(f). Is 4 a factor of n(s)?
True
Let v be (0/2 + (11 - 3))/2. Suppose 3*k = v*y - 33, k - 19 = 3*y - 5*y. Suppose 0 = -4*d + 5*t + 217, y*d = 6*d + 2*t + 168. Does 3 divide d?
False
Let g(t) = -49*t - 5. Suppose -p = 3 + 2. Is g(p) a multiple of 30?
True
Is (-118131)/(-15) - 128/320 a multiple of 97?
False
Suppose -5*y + 10 = -10. Suppose -y*p + 3*n = -26, 2*p - 2*n - n - 10 = 0. Let c(s) = 3*s**2 - 8*s + 5. Does 19 divide c(p)?
True
Let x be 931/(-42) + 1/6. Let q be 4/x - (4 + (-272)/44). Does 36 divide q/(-2)*0 - -145?
False
Does 12 divide 4530/4*(6 - -2)?
True
Is 450/(-60)*(-5932)/5 + 8 a multiple of 146?
True
Suppose -1439*s = -1353*s - 1365250. Is 125 a factor of s?
True
Let r = 60946 + -13811. Is 13 a factor of r?
False
Suppose 12*q + 7*q - 4133 - 7229 = 0. Is 12 a factor of q?
False
Suppose -f - 14 = 2*g, 9*g - 4*f + 48 = 4*g. Let o be g/2 + (9 - -152). Suppose -22*z + o = -21*z. Is z a multiple of 43?
False
Let y = 409 + -277. Let h = -3 + y. Is 27 a factor of h?
False
Let c(b) = b**2 + 6*b - 19. Let h be c(-8). Let k = 0 - h. Is k/(9/3) - (-1 + -19) a multiple of 6?
False
Let d be (-1)/(5/(-5))*(-39 + 1). Let v = d - -104. Is 3 a factor of v?
True
Let a = -94 - 21. Let t = a - -81. Let s = t + 39. Is 4 a factor of s?
False
Let i = -619 - -953. Let x = 536 - i. Is x even?
True
Suppose -744 - 155 - 7381 = -5*y. Is 51 a factor of y?
False
Let m(b) = -3*b**2 - 371*b - 403. Let z be m(-122). Let g be -6 - (-3 + 1 - 0). Is 2/(6/z) + g a multiple of 13?
True
Let n(g) = g**3 - 11*g**2 - 7*g + 34. Let k(w) = -6*w**3 + 54*w**2 + 35*w - 169. Let v(a) = 2*k(a) + 11*n(a). Does 51 divide v(-15)?
False
Is (-9)/(-243)*6 - (45138/(-27) + 4) a multiple of 15?
False
Let q = -83 + 33. Is 17 a factor of 27/135 - (-5)/(q/(-1368))?
False
Let g be ((-140)/(-350))/((-2)/(-50)). Let j(q) = -q**3 - 7*q**2 - 2*q - 9. Let b be j(-7). Does 3 divide b/g + (-3)/(-4)*26?
False
Suppose -2*u = 5*d + 8816, 3*d + 4773 = -5*u - 528. Does 55 divide 24/(-16) + 1 + d/(-4)?
True
Suppose 0 = -k - 4*b + 5*b + 184, 5*k - 940 = -5*b. Suppose -565 = -5*g - 5*r, -3*g + k = r - 145. Let o = g - 48. Is 11 a factor of o?
False
Let c(t) = -t**3 - 4*t**2 + 12*t + 16. Let o be c(-6). Is (15 - o)/(3/(-21)) a multiple of 4?
False
Let h(v) = 9*v**3 - 6*v**2 + 22*v + 241. Is h(15) a multiple of 151?
True
Suppose 5*t - 3 = -3*g, -5*g - 8 = 6*t - 2*t. Suppose -t*d + 5*f - 5 = -21, d + 5*f - 32 = 0. Suppose -7*y - 800 = -d*y. Does 8 divide y?
True
Does 49 divide (-430)/4085 - (-188995)/19?
True
Does 29 divide 272153/17 + (-1 - 0)?
True
Suppose 0 = z - 2*c + 31, -5*z - 5*c - 354 + 124 = 0. Let y = z - -72. Does 9 divide y?
False
Let j = 1 - 2. Let w(k) = 5*k**2 + 2*k + 2. Let b be w(j). Suppose -3*r + 603 = 3*d, 0*r - 4*d + 1009 = b*r. Does 41 divide r?
True
Let v = -695 + 996. Let g be 4/16 - (-1)/(-4). Suppose -y = 0, 3*r + 4*y - 59 - v = g. Is r a multiple of 15?
True
Suppose -177*m = -33*m - 1064016. Is m a multiple of 7?
False
Suppose 0 = 4*w - 33 + 9. Let u(s) = 15*s**2 + 12*s - 11. Is u(w) a multiple of 60?
False
Let a(w) = -w**3 - 7*w**2 - 11*w - 8. Let r be a(-10). Suppose r + 22 = s. Does 17 divide s?
False
Suppose 4*n - 3*g = 170423, 5*g + 85210 = 2*n + 3*g. Is n a multiple of 23?
False
Suppose w + 2*j = 34226, 0 = -5*w + 7*j + 68814 + 102214. Does 36 divide w?
False
Let y = -491 + 495. Suppose -y*h - g + 1377 = 0, 9*g + 702 = 2*h + 5*g. Does 20 divide h?
False
Let s(z) = 351*z - 163. Is 15 a factor of s(27)?
False
Let w = 853 - 1105. Does 16 divide (64/(-12) + 0)/(7/w)?
True
Suppose