?
True
Let s = 15785 - 8339. Is s a multiple of 34?
True
Suppose 0 = 2*r + 3*b - 14135, -5*r + 101*b = 96*b - 35350. Does 154 divide r?
False
Suppose 4*x - 12928 = -12*x. Suppose 5*m + x = 13*m. Is m a multiple of 14?
False
Let j = 11 + -8. Suppose 2*f + 2*k = 102, -2*f - 3*k - 71 = -j*f. Suppose 502 = 5*d - 4*s, 0 = -d + 3*s + f + 40. Is 16 a factor of d?
False
Suppose -2*b - 288 = 60. Let a = -55 - -57. Is (b/12 - -6)*(a + -4) a multiple of 17?
True
Suppose 0*d - d - 9 = -2*l, 2*l + 2*d + 6 = 0. Let k be (l/(-4))/(13/(-78)). Suppose k*o = -3*j + 279, -4*j + 2*o = 4*o - 372. Is j a multiple of 13?
False
Let j be 18*8/60 - (-2)/(-5). Suppose y = j*z + 6*y - 89, -2*z + y + 59 = 0. Is 2 a factor of z?
True
Suppose 9517*m = 9510*m + 29330. Does 11 divide m?
False
Let g(c) = 275*c**3 + 3*c**2 - c + 5. Let r be g(2). Suppose r - 295 = 4*m. Is m a multiple of 30?
True
Let l = -467 - -476. Does 15 divide 4 + 3990/l + 3/(-9)?
False
Let a(f) = -3*f - 11*f**2 + 25*f**2 + 7*f**2. Does 2 divide a(-1)?
True
Does 9 divide (-10)/(-285) - 51750364/(-4674)?
False
Let u(o) be the second derivative of o**3 - 5*o**2/2 - 10*o. Let x be u(2). Suppose -x*i + 330 = -i. Does 11 divide i?
True
Suppose 2*h = -5*t + 615, 0*t + 3*t = 2*h + 385. Suppose 0 = -y - 5*c + 125, -y - 2*c = -6*c - t. Is y a multiple of 11?
False
Let z be (6 + 264/(-40))*-435. Suppose -z = -3*g + 285. Is g a multiple of 13?
True
Let f(n) = 2*n**3 + 140*n**2 + 44*n + 119. Does 61 divide f(-69)?
False
Let i = -247 + 578. Let g = i - 78. Is 65 a factor of g?
False
Suppose 4*w + 4*c - 2236 = 0, -3*w - c = -5*w + 1109. Is w a multiple of 24?
False
Let i(b) = -4*b + 24. Let p be i(5). Let z be ((-30)/(-20))/((-3)/p). Is (141 + -5)*(-3)/z a multiple of 51?
True
Let v be (-53)/106 + (-741)/(-2). Let i = 1080 - v. Does 71 divide i?
True
Let l = -136 - -299. Let u = 198 - l. Is u a multiple of 21?
False
Suppose 0 = -53*t + 23*t + 105210. Is t a multiple of 21?
True
Let w(s) = 8*s**3 - 3 + 12*s**2 - 4*s**2 + 19 - 7*s**3. Is w(-8) a multiple of 2?
True
Suppose 5*y - 14202 = 3*x + 20634, 5*x + 10 = 0. Is 47 a factor of y?
False
Let s be 2 + 3 + (-6)/2. Is 18 a factor of s*(-3513)/(-15) - 6/(-10)?
False
Suppose 11*m = 1381 - 6672. Let v = m + 313. Is 7 a factor of (v/10)/(-6 - 171/(-30))?
True
Let q(k) = 190*k - 5. Let z be q(-2). Let f = z - -471. Does 16 divide f?
False
Let m(k) = -2*k**2 + 19*k - 16. Let q be m(7). Let n = -41 - q. Let c = 3 - n. Does 8 divide c?
False
Suppose -15*h + 32 = -23*h. Let w(q) = -5*q**3 + 3*q**2 + 7*q - 10. Is w(h) a multiple of 33?
True
Let h(y) be the second derivative of y**4/12 - 2*y**3/3 + 4*y**2 + y. Let c be 56/(-9) + 4/18. Is h(c) a multiple of 13?
False
Let w be (-2542 + 1 + -2)*-1. Suppose 4*n = w - 943. Suppose 5*t = n - 20. Does 12 divide t?
False
Let s(v) = 34*v + 148. Let c be s(-7). Let h = c - -222. Is h a multiple of 11?
True
Let l(g) = -g**3 + 42*g**2 + 45*g - 52. Let w be l(43). Let u = -5 + w. Is 20 a factor of u?
False
Let c be 4 - (-18)/(-4) - (-580)/8. Suppose 0 = -j - 3*j - k + 119, 2*j - 2*k - c = 0. Is 31 a factor of j?
True
Does 2 divide (-153)/(-204) + 543/12?
True
Let m be (2 - 2)/(1/1 + -3). Suppose -c + 183 = -m*a + 3*a, -4*c + 5*a = -715. Is 36 a factor of c?
True
Let g be (-10)/140*156 - 1/(-7). Let s be 2*2*(-4)/8. Is (-1008)/(-22) + s/g a multiple of 23?
True
Suppose 201*i = 198*i + w + 7262, -4*i - w + 9692 = 0. Is i a multiple of 21?
False
Let f(t) be the first derivative of -t**2 + 99*t - 33. Is 29 a factor of f(21)?
False
Let j(z) = -4*z + 4 + 0*z**2 - 1 + 8*z**2. Let c be ((-15)/125)/((-2)/10)*5. Does 9 divide j(c)?
True
Let d be -7*(457*-3)/3 + 1. Suppose 4*r + d = 12*r. Does 40 divide r?
True
Let d(q) = -3*q**3 + 11*q**2 - 5*q + 2. Let g(c) = 4*c**3 - 14*c**2 + 5*c - 3. Let w(x) = -5*d(x) - 4*g(x). Let z = 5 - 8. Is 4 a factor of w(z)?
False
Let b(t) = -t**3 - 5*t**2 + t + 2. Let w be b(-5). Let y(x) = 54*x + 4. Let g(i) = i - 1. Let c(v) = -g(v) - y(v). Is 12 a factor of c(w)?
False
Suppose 3*z - 9 = -3*l, 3*l = -5*z + l + 21. Suppose q = 3*r + 9, -4*q - z = -r - q. Is 36 a factor of ((-16)/(-4))/r - -101?
False
Let v(b) = -b**3 + 49*b**2 + 49*b - 18. Let s be v(50). Is (1126/3)/(s/(-204)) a multiple of 11?
False
Suppose 2044*f = 1968*f + 362815 + 31777. Does 5 divide f?
False
Let n(f) = -f**3 + 11*f**2 + 15*f - 23. Let u be (3 + 1 - -31) + 2. Suppose u = 3*y + 1. Is 3 a factor of n(y)?
False
Suppose k = -3*k + 3*m - 1601, -3*m + 389 = -k. Is 1 - 4 - -4 - k a multiple of 15?
True
Let t(j) = j**3 + 4*j**2 - 2*j - 8. Let y be t(-4). Let l(f) be the second derivative of f**4/12 + 45*f**2 - f. Is 28 a factor of l(y)?
False
Let f = -329 + 331. Suppose -f*o = 12*o - 70. Does 5 divide o?
True
Let d(z) = -z**3 + 10*z**2 - 4*z - 19. Let t = 58 - 20. Suppose 2*l = v - 6*v - 7, 2*l - 4*v = t. Is d(l) a multiple of 6?
False
Let s(b) = -b**3 - 14*b**2 - 13*b. Let i be s(-13). Suppose -6*v + 0*v - 24 = i. Is (-44)/(-6) + v + 14/3 even?
True
Let j = -5083 - -9349. Is 6 a factor of j?
True
Let p = 654 - -6414. Is p a multiple of 57?
True
Let t(u) = 8*u + 136. Suppose 0 = -m + 106 - 111. Is 48 a factor of t(m)?
True
Suppose 13 = x - 2*h, 2*x = -3*h - 2 - 0. Let g(y) = -x*y - 39*y + 19*y**2 + 2*y**3 - y**3 - 16. Is 16 a factor of g(-21)?
False
Suppose -28 = -7*u + 7. Suppose l - 2*l = -u. Suppose 4*b + 2*c - 114 = 0, 32 = l*b + 3*c - 111. Is 6 a factor of b?
False
Suppose 5 = 3*f + 2*k, 0 = -2*f + 6*k - 9*k. Suppose 1008 = 5*c - c + f*i, -2*i = 3*c - 757. Does 15 divide c?
True
Let m be -2*(-1)/(-11) + (-408)/(-187). Suppose m*p = 52 + 74. Is 14 a factor of p?
False
Suppose -2*z = -2*o - 45696, 80*o - 83*o = -2*z + 45696. Is z a multiple of 64?
True
Let c(q) = 21*q. Let o be c(1). Let s = 68 + -54. Let h = o + s. Is h a multiple of 15?
False
Let p = 2084 - 960. Suppose p*o = 1116*o + 4680. Is o a multiple of 15?
True
Let a be 30/(-15) - (4 + -384). Let f = a + -295. Does 18 divide f?
False
Let b = -16 + 16. Let g be 5 - -6 - (1 + b). Let c = g - -10. Is 3 a factor of c?
False
Suppose 4*u - 179088 = 11*y - 10*y, -5*u + y + 223860 = 0. Does 26 divide u?
True
Suppose 12*x + 126*x - 7684530 = 0. Is x a multiple of 37?
True
Let h = -66 - 8. Let y = h - -72. Is 3*(820/15 - y) a multiple of 34?
True
Suppose 4*x + 4*h = 277700, 129380 = 3*x - 7*h - 78905. Does 203 divide x?
True
Let z = 313 - 303. Suppose -1961 + 7481 = z*n. Does 52 divide n?
False
Let g = -51 + 51. Let i = g + 3. Suppose -44 = -h - t, 0*h = -i*h + 5*t + 92. Is h a multiple of 13?
True
Suppose 92169 - 37939 = 17*s + 5*s. Does 4 divide s?
False
Suppose -145*p + 6928066 = 203*p - 86*p. Is p a multiple of 38?
False
Let j(u) = u**3 + 10*u**2 - 21*u - 27. Let f(x) = x**3 + 9*x**2 - 21*x - 28. Let b(n) = -7*f(n) + 6*j(n). Is b(-6) a multiple of 2?
True
Suppose 2*m + 3*s - 25 = -10, m - 4*s = 24. Suppose 1539 = m*c - 9*c. Is 21 a factor of c?
False
Let r = -46 - -204. Suppose -76*s + 12324 = -63*s. Suppose -s + r = -5*l. Is l a multiple of 10?
False
Suppose -g + 0*y - 17 = -4*y, 4*g - 32 = -4*y. Suppose g*q + 105 = -2*b, 3*q = -b - q - 45. Is 5 a factor of b/(-6) - 1/(-2)?
True
Is 15 a factor of -3*1/(-12) + (-77357)/(-172)?
True
Let n(b) = b**2 + 27*b - 82. Let p(c) = 8*c - 9. Suppose 205*o - 201*o + 12 = 0. Let h be p(o). Is n(h) a multiple of 29?
True
Let n be (-1125 + 0)*(5 + (-48)/8). Let t = n + 360. Is 45 a factor of t?
True
Let g(u) = -38*u - 22. Suppose -49*c + 47*c - 8 = 0. Let x be g(c). Let d = x + 164. Does 51 divide d?
False
Suppose 5*t - 361368 = -2*f, 144522 = 2*t + 252*f - 254*f. Does 22 divide t?
True
Let b(v) = 69*v**2 + 8*v + 146. Let o be b(-25). Is 2/(54/o) - 22/99 a multiple of 55?
True
Let c(b) = 78*b + 90. Let l(y) = 52*y + 61. Let u(a) = 5*c(a) - 8*l(a). Is 6 a factor of u(-10)?
True
Suppose -14*p - 4951 + 146001 = 0. Is p a multiple of 13?
True
Let q = 15515 - 15134. Is 3 a factor of q?
True
Let x = 66 + -207. Suppose -265 = 4*g - 5*g. Let d = x + g. Does 31 divide d?
True
Let g = 670 - 67. Suppose -x + 227 = -3*l, 564 + g = 5*x + l. Is 14 a factor of x?
False
Let j(f) = -60*f - 30. Suppose -3*o - 2*x - 2*x + 1 = 0, -5*o - 5 = 5*x. Is 45 a factor of j(o)?
True
Suppose -32*s = -519 - 2297. Suppose s*d + 102 = 89*d. Does 17 divide d?
True
Let n be (-4)/(-14) + (-435)/(-21).