
False
Suppose -3639 = -0*p - 3*p. Suppose 804*j = 806*j - 5*a - 119, -5*a - 320 = -5*j. Suppose j = 8*m - p. Does 40 divide m?
True
Let u(x) = -37*x**3 + x**2 - x + 10. Does 6 divide u(-3)?
False
Let b = 14 - -65. Let u = 82 - b. Suppose -15 = u*t, -185 = -2*z + 4*t - 7*t. Does 50 divide z?
True
Let z(o) = o**2 + o + 138. Let v be -1 + -9*(-20)/(-15). Is z(v) a multiple of 14?
True
Let b = 76788 - 50670. Is 18 a factor of b?
True
Let v(n) = 3*n**2 + 5*n + 11. Let m(p) = -9*p + 13. Let l be m(2). Let j be v(l). Suppose j + 9 = 5*k. Is 7 a factor of k?
True
Let q(a) = 34*a**3 - 4*a**2 - 4*a - 2. Let n(d) = -69*d**3 + 9*d**2 + 9*d + 3. Let r(y) = -2*n(y) - 5*q(y). Does 9 divide r(-2)?
False
Suppose 2*j = 1111 + 2025. Let p = -326 + j. Suppose -478 = -2*m - 2*u, -5*m + 2*u + p = 19. Does 18 divide m?
False
Let h(b) = b**2 + 16*b + 19. Let u be h(-15). Suppose -5*s - 2*p + 130 = 0, 2*s + 0*p - 36 = -u*p. Is 9 a factor of s?
False
Suppose -2*j + 612 = 4*g, j + 54 = 5*g + 360. Let p be 3 + -1 + (-6)/(-2). Suppose 379 = 4*w + a, -p*w = 5*a - 164 - j. Does 15 divide w?
False
Does 39 divide (-346900)/(-52) + (-60)/390?
False
Let w(z) be the first derivative of -z**4/2 - 3*z**3 - z**2/2 - z + 19. Suppose 2*x = -2*x + 3*f - 12, -x - 2 = -f. Is 27 a factor of w(x)?
False
Is 3 + -10 + 6743 + -4 a multiple of 11?
True
Let j(a) = 2*a + 23. Let d be j(-8). Suppose 6 + 22 = d*r. Suppose -r*m = -m - 405. Is m a multiple of 10?
False
Suppose -6905 = -5*d + 5*z - 1920, 0 = 5*d + 5*z - 5025. Does 13 divide d?
True
Suppose 2589*m = 2611*m - 151646. Is m a multiple of 61?
True
Let h be -4*(3/1)/12. Let u = h - -5. Is 13 a factor of 47*u/4 + -3?
False
Suppose 0 = 2*w + 6, -5*w = -2*f + f + 169. Suppose -4*g + 9*c = 4*c + f, 2*g + 4*c = -90. Let h = g - -145. Is h a multiple of 10?
False
Suppose -25 = -5*h + 5*v, -12 = 2*v - 2. Suppose 3*f = -5*k + 203, -4*k + 3*f + 157 = -h*k. Suppose -171 + k = -d. Is 8 a factor of d?
False
Suppose 4*y = 20*y - 3*y - 4004. Is 154 a factor of y?
True
Let t(r) = 184*r**2 - 316*r - 1262. Does 21 divide t(-4)?
False
Is 11 - ((-12146)/(-6))/(1/(-3)) a multiple of 36?
True
Suppose 313*w - 4065819 = 2345582 + 1481833. Does 6 divide w?
True
Let j be (2/(-6))/(-1)*0. Suppose 0 = 4*s - j*s - 2*v - 680, -4*v + 656 = 4*s. Does 11 divide s?
False
Let h(f) be the third derivative of 11*f**4/24 - 31*f**3 + 79*f**2. Does 4 divide h(22)?
True
Let i(v) be the third derivative of -v**6/120 + 3*v**5/4 - 5*v**4/3 - 14*v**3 - 105*v**2. Does 3 divide i(44)?
False
Let s = 118 + -113. Suppose 5*z = 4*p + 320, -4*z + 5*z = -s*p + 35. Is z a multiple of 30?
True
Let v be 5628/18 - (-2)/(-3). Suppose 118 + 78 = 14*p. Suppose -c = -p*c + v. Does 12 divide c?
True
Let j be ((-84)/(-15))/((-4)/20). Let i be (16/j)/((-10)/35). Suppose -i*x + h + 324 = 0, 4*x - 648 = -0*x - 5*h. Is 18 a factor of x?
True
Suppose 14*m - 711 = -2755. Let z = m + 186. Is 10 a factor of z?
True
Suppose -4*h - 3381 = -8*h + v, 2*h - 1695 = -v. Is 18 a factor of h?
True
Let b = -34 + 41. Suppose v + 2 = b. Suppose -v*c + 3*t = -85, 2*c + 2*c - 100 = -4*t. Does 4 divide c?
True
Let y(s) = -35*s**2 + 38*s - 5. Let t be y(4). Let j = t - -610. Does 20 divide j?
False
Let g(f) = -4*f**2 - 13*f - 39. Let d be g(12). Let t = d - -1091. Suppose 5*x - 4*j - t = 0, -3*x + 108 = -4*j - 92. Is x a multiple of 10?
True
Let b = 1527 - -1981. Suppose -20*r + b = -1292. Does 24 divide r?
True
Suppose 2*v = 176 - 122. Let d be 4/(4/2)*v/18. Suppose w + d*w + 100 = 2*q, 2*q = -3*w + 114. Is q a multiple of 18?
True
Suppose -17 = 39*r - 22*r. Is 11 a factor of r*(-6)/(-4) + (-279)/(-2)?
False
Let o be ((-8)/4 - -1) + 27 + 0. Let m(r) = -o*r - 20 + 21*r + 13*r. Is m(11) a multiple of 17?
True
Let v = 30 - -1095. Is v a multiple of 20?
False
Let j(d) = -5357*d - 3898. Does 104 divide j(-9)?
False
Let z(w) = -w**2 - 23*w - 67. Let r be z(-8). Suppose 8*v - 1267 - r = 0. Is v a multiple of 89?
False
Suppose -3*g - 33 = -54. Suppose 0 = -4*s, -2*m + s + 4 + 6 = 0. Suppose f - 3 - g = x, m = x. Does 13 divide f?
False
Suppose 0 = 493*i - 688*i - 1153767 + 6788877. Is 13 a factor of i?
False
Let x(y) be the first derivative of -1/2*y**4 + 12 + 10*y**2 + 31/3*y**3 - 4*y. Does 12 divide x(16)?
True
Let d = 1308 - 1315. Let x(r) = 2 + 16 - 9*r + 1. Is 13 a factor of x(d)?
False
Suppose -5*y + 3*c + 942 + 132 = 0, c - 866 = -4*y. Suppose 11*d - y = 103. Suppose 5*p - 5 + 96 = 2*u, -u - 3*p = -d. Is 38 a factor of u?
True
Suppose 87 = -4*x - 3*u, -5*u + 47 = -x - 3*x. Let q(o) be the first derivative of -o**4/4 - 17*o**3/3 + 17*o**2/2 - 3*o + 3. Is q(x) even?
False
Let m be (9 - 14)*(3 + -4). Let c(g) = 37*g - 179. Does 2 divide c(m)?
True
Let s be (-12)/4 + 5 + 3/1. Suppose -3*o - s = -5*t, t = 5*t - 4. Is (o - 1) + 149 + 0 + -3 a multiple of 26?
False
Let y = 100614 + -59049. Is 163 a factor of y?
True
Let q(j) = -j**3 + 54*j**2 + 494*j + 109. Is q(53) a multiple of 150?
True
Suppose 176*k - 63384 = 157*k. Is 15 a factor of k?
False
Suppose 193*s = -175*s + 1725920. Is s a multiple of 37?
False
Suppose 2*i - 14 = -4*r + 4*i, 5*r + 5*i = -5. Suppose -r*a - 11 = -b + 31, a = 5*b - 246. Does 10 divide b?
True
Suppose -2*s = -3*i - 128, 400*s = 395*s - 4*i + 366. Is 7 a factor of s?
True
Let w = -82 - -134. Suppose w = 2*u + 194. Let v = u + 194. Is v a multiple of 14?
False
Let f(i) = -i**2 - 8*i - 9. Let u be f(-6). Let r be (16/(-8))/(2/u). Is 5/15*r - -45 a multiple of 22?
True
Let y be -3 - -148 - 25/(-5). Let s be (3*1)/((-6)/(-820)). Suppose s = 7*w - y. Is w a multiple of 11?
False
Let t = -75 + 50. Let c = 29 + t. Suppose 2*l - c + 13 = 5*h, 4*h + 2*l - 18 = 0. Is 2 a factor of h?
False
Let p(k) = -2*k**3 - 39*k**2 + 56*k + 16. Is p(-21) a multiple of 3?
False
Let w(n) be the first derivative of -n**2/2 + 9*n + 13. Let j be w(2). Let m(o) = 21*o - 56. Is 7 a factor of m(j)?
True
Suppose -4*g = t - 8542, 0*t - 2*t + 2*g + 17084 = 0. Is t a multiple of 190?
False
Suppose -437*w + 336 = -430*w. Is w a multiple of 8?
True
Let i(t) = 5*t**2 - 56*t + 25. Suppose 2*p = 2 + 20. Is i(p) a multiple of 7?
True
Let v = -8070 + 11740. Does 6 divide v?
False
Suppose 56*m - 2*t - 10936 = 52*m, 2*m - 5466 = 2*t. Is m a multiple of 27?
False
Is (79/(-5) - 7)*-75 a multiple of 90?
True
Suppose 0 = 15*y - 3615 - 5145. Suppose -y = -16*u + 248. Does 14 divide u?
False
Let t(n) = n**2 - 8*n - 3. Let g be t(8). Let k be (-3 + -207)*(1 + (g - -1)). Suppose 2*b - k = -5*b. Does 15 divide b?
True
Let k(b) = -1355*b - 305. Is k(-5) a multiple of 9?
False
Suppose 6307 = 8*p + 9*p. Suppose -3 = -n, -3*k + 4*n = -616 - p. Is 10 a factor of k?
False
Let x be -240*-4*12/64. Suppose w - x = -s, -9*s + 704 = -5*s - 4*w. Does 15 divide s?
False
Suppose -44*q - 10*q + 73818 = 0. Let h = 2002 - q. Does 53 divide h?
False
Suppose 291*f = 140*f + 4790324. Is 14 a factor of f?
True
Let g = 732 + -484. Suppose g*h - 12393 = 221*h. Does 7 divide h?
False
Let s(t) be the third derivative of t**6/120 + t**5/60 + 116*t**3/3 + 22*t**2. Let g(a) = -a - 2. Let x be g(-2). Is 15 a factor of s(x)?
False
Let n be 2/(-8) + (-5428)/(-16). Let m = n + -187. Is m a multiple of 15?
False
Let y = -479 - -97. Does 12 divide y/(-10) + (-9)/45?
False
Let k(n) = 8*n**3 - 174*n**2 - 12*n - 55. Does 25 divide k(24)?
True
Is 2095*(4/(-24)*-5 - 14/60) a multiple of 7?
False
Let w(k) = k**2 + 6*k + 87. Let c be -1 - -1 - ((-10)/2 + 26). Is w(c) a multiple of 26?
False
Let s = 655 - 323. Let o = s - 198. Does 36 divide o?
False
Let b(d) = -5*d**3 - 17 - d + 6*d**3 - 7 + 9*d**2 - 6*d. Does 29 divide b(-7)?
False
Let b(x) be the second derivative of 611*x**5/20 - x**3/6 - 59*x. Is b(1) a multiple of 11?
False
Let m(c) be the second derivative of 0 - 1/4*c**4 - 1/2*c**2 + 1/3*c**3 - 29*c + 339/20*c**5. Does 14 divide m(1)?
False
Let i(v) = -7*v**3 + 38*v**2 + 47*v - 61. Let j(r) = -3*r**3 + 18*r**2 + 23*r - 31. Let t(l) = -2*i(l) + 5*j(l). Does 15 divide t(14)?
False
Let p(n) = n + 1. Let w(q) = -q**2 + 23*q - 7. Let c(g) = 6*p(g) - w(g). Suppose 4*k - 3*b = 15 + 69, 34 = 3*k + 5*b. Is c(k) a multiple of 31?
True
Let u be 2 + 1/3 + (-3)/9. Suppose -3*y = -u*z - 380, 4*z + 632 = 5*y + 2*z. Suppose 3*h + r - 4*r - y = 0, 5*h + r - 198 = 0. Is h a multiple of 20?
True
Is (-27