alse
Suppose -5*a + 5*u + 24 = -16, -5*u - 25 = 0. Let x be a + (1*(-1 - 0) - -109). Suppose -4*d + d = -x. Does 6 divide d?
False
Suppose 10 = -10*c + 15*c. Let p(b) = -b**3 - 14*b**2 + b + 11. Let q(u) = 3*u**3 + 41*u**2 - 4*u - 33. Let y(i) = c*q(i) + 7*p(i). Does 5 divide y(-16)?
False
Suppose -5*r + 2*f + 9132 = 0, 0 = 2*r - 4*f - 4089 + 433. Let x be r/8 - (5 - 19/4). Does 7 divide (x/28 - 3)/((-4)/(-42))?
False
Is 13 a factor of 2725 + (-6)/(-2) + (1 + -13 - -14)?
True
Does 16 divide (-48888)/162*(-72)/16?
False
Let d be (1 - 7 - -6)/3. Suppose d = -34*f - 53 + 3317. Does 6 divide f?
True
Let a = 233 + -232. Is ((-5)/5 - 61)*(-1)/a a multiple of 3?
False
Let w(u) = u**3 - 4*u**2 + 4*u. Let a be w(3). Suppose 0 = y + 2*p - 130, -a*p - 575 = 4*y - 8*y. Does 7 divide y?
True
Let j be (-132)/(-9)*(-15)/10 + 1. Is 9 a factor of j/3 + 7 + 16*22?
False
Suppose -4*l - 43228 = -4*o, -5*o + 2*l + 32388 + 21647 = 0. Is 99 a factor of o?
False
Let c = 4600 + -1324. Does 97 divide c?
False
Suppose -903 = -258*j + 251*j. Is 129 a factor of j?
True
Let j(h) = -699*h**3 - h + 1. Let g be j(1). Let l = 1280 + g. Is l a multiple of 29?
False
Does 33 divide (2 - 1)*143*(-4212)/(-117)?
True
Let l be -3 + 1 + (8 - 3526). Let p = -2410 - l. Is p a multiple of 15?
True
Let i be 13/6 - (-13)/(-78). Suppose 0 = -i*q - 3*q + 5. Is 8 a factor of (2/3)/((-20)/21 + q)?
False
Suppose -6460 = -3*u - l + 70817, 2*u - 4*l - 51476 = 0. Does 192 divide u?
False
Let o(k) = k**3 - 41*k**2 - 3*k - 222. Does 9 divide o(53)?
True
Suppose 281 = 3*j - 226. Let k be 0 - -1 - 3/3. Suppose 4*f + 1184 = 5*s + j, 2*f - 10 = k. Is 23 a factor of s?
True
Let z(s) = s**3 + 25*s**2 - 15*s + 617. Does 116 divide z(13)?
True
Suppose -14*n = -196880 - 418182. Is 7 a factor of n?
False
Let m = 471 - 637. Let x = m + 254. Is x a multiple of 7?
False
Suppose -16*g + 30*g - 504 = 0. Is (g/(-48))/((-3)/712) a multiple of 10?
False
Suppose 4*f + 8 = 0, -3*f = j + f + 6. Suppose j*h + 51 = 145. Let r = h - 38. Is r a multiple of 3?
True
Suppose 35 - 2 = x + 5*o, -3*x - 4*o = -44. Suppose -1665 = -x*v + 7*v. Does 53 divide v?
False
Let p(h) = 20*h**3 - 3*h**2 - 5*h + 18. Does 39 divide p(5)?
True
Let b = 40748 + -31195. Is 74 a factor of b?
False
Let x = 2848 - 1968. Let c = -366 + x. Does 30 divide c?
False
Suppose -11*p - 77 = 462. Let t = p + 61. Is (1 - 8/t)/(5/1305) a multiple of 29?
True
Let w = -2153 + 2161. Let a be 1/(-3)*0 + -190. Is 6 a factor of 9/36 - a/w?
True
Let m be (-5)/(-2*((-5)/(-250) - 0)). Let k = 290 - m. Is k a multiple of 5?
True
Let q(b) = 897*b + 948. Is 84 a factor of q(4)?
True
Let y be 0/(-13)*(1/5)/1. Suppose -11*i + i + 1320 = y. Is i a multiple of 44?
True
Let z(p) be the first derivative of -p**4/4 + 13*p**3/3 + 5*p**2 - 7*p - 115. Is 8 a factor of z(8)?
False
Suppose -d - 719 = -b, 0 = 3*b + 5*d - 1296 - 821. Does 14 divide (15 - 12) + b/2 - -4?
True
Does 37 divide (-1410)/(-12)*1428/85?
False
Suppose -16*j = 15*j - 1426. Does 15 divide (-4)/(-50) + j/(-75)*-489?
True
Let w be (133/(-38))/((-2)/32). Let m = w - 31. Suppose 84 + m = i. Does 15 divide i?
False
Suppose -113 = -19*w - 18. Suppose 3*n - 16 - 23 = -5*h, -w*h + 65 = 5*n. Is 13 a factor of n?
True
Suppose 2*a - 58709 = 3*c, 27*c - 25*c + 14 = 0. Does 40 divide a?
False
Suppose 2*c + l = -7, -4*l - 11 = 4*c + 13. Is 62 a factor of (-55 + 19)/(c/36)?
False
Let g(p) = 86*p**2 + 58*p - 336. Is 42 a factor of g(6)?
True
Let m(p) = 10*p**2 - 29*p + 32. Let j(u) = -8*u**2 + 30*u - 31. Let f(v) = -4*j(v) - 3*m(v). Is f(17) a multiple of 2?
False
Suppose 69 + 29 = 14*m. Suppose 0 = -m*r - 348 - 1171. Let i = 18 - r. Is 41 a factor of i?
False
Suppose 0 = -4*b + 1 - 17. Let c be (2/b)/((-2)/(-20)). Let s(v) = 3*v**2 + 7*v - 1. Does 39 divide s(c)?
True
Suppose 173*k - 174*k + 3*j = -553, 3*j = 24. Is k even?
False
Suppose 0 = -5*q + 2*r + 10181 + 44237, -r = q - 10892. Is q a multiple of 3?
False
Let h = -62735 - -103483. Is 122 a factor of h?
True
Let f(t) = t - 3. Let c be f(6). Suppose -22 = c*q - 376. Is 15 a factor of q?
False
Let u = -734 + 193. Let n = -361 - u. Does 18 divide n?
True
Suppose q - 1674 = 4*g + 5853, 3*q = 3*g + 22527. Is q a multiple of 3?
True
Let k(g) = -g**2 + 14*g - 5. Let y be k(14). Let p = 17 + -23. Does 8 divide y/(-4)*(-144)/p?
False
Let j = -21 + 23. Let r be 0/j*(11 + -12). Suppose -114*g + 118*g - 32 = r. Does 8 divide g?
True
Let w = -126 - -23. Let r = 103 + w. Suppose -143 = -r*o - o. Does 15 divide o?
False
Let h be 0 + 2 - -16*(-7)/56. Does 7 divide 2/(14/2891 + h)?
True
Suppose -115*k - 4324 = -119*k. Let u = k - 332. Is 68 a factor of u?
False
Suppose m + 5*h = -55, -23 = 5*m - 4*h + 165. Let k = -69 + 12. Let q = m - k. Is q a multiple of 17?
True
Is 11 a factor of 6/96 + (28028/64 - -2)?
True
Let f(k) = -5*k - 4. Let u be f(-5). Let t(z) = z**2 + 25*z + 46. Let o be t(-2). Let y = u + o. Does 12 divide y?
False
Let u(m) be the first derivative of -m**4/4 - 5*m**3/3 + 3*m**2 + 4. Let f be u(-6). Suppose -z + 3*z - 136 = f. Is z a multiple of 12?
False
Suppose -5*n - 3*j - 105 = 0, -3*n + 2 - 31 = -5*j. Let m be (3 - n/(-10))/((-3)/(-435)). Suppose -834 = -7*y + m. Is y a multiple of 14?
False
Let l = -87 - -33. Is (-8 + (2 - 0))*l a multiple of 30?
False
Let k be (-1)/(2/(-60) + 6/144*-4). Let f be (-3)/(3/(-5)) - 2. Is 10 a factor of k + f + -4 + 6?
True
Let k = 288 + 119. Let c(g) = -g**2 - 47*g + 48. Let q be c(1). Suppose q = -5*o + 218 + k. Is o a multiple of 12?
False
Suppose 89*v = 26*v + 42*v + 875868. Is 8 a factor of v?
False
Suppose 0 = -16*m + 15*m. Suppose -4*c - g + 2374 - 833 = m, 0 = -3*c + g + 1154. Is c a multiple of 75?
False
Suppose -5*t = -9 + 14, -q + 1045 = -4*t. Let j = 1791 - q. Is j a multiple of 75?
True
Let r be (-16 - -16)*(0 - 1 - 0). Let x(l) = -l**3 + 2*l**2 + 266. Is x(r) a multiple of 38?
True
Let j = -80 - -85. Suppose 4*x - 3972 = -3*i, -22*x + 26*x - 3980 = -j*i. Does 10 divide x?
True
Suppose -10*j - 22*j = -102528. Is (j/(-60))/((-9)/60) a multiple of 20?
False
Let u(b) = -b**2 - 11*b - 19. Let l be u(-8). Suppose -l*f = -2*z + 219, 4*f + 107 = -3*z - 82. Let r = 186 - f. Is r a multiple of 32?
False
Suppose -5*z + 17 = -18. Let n be -5 - z/(-7) - (0 - 1). Is 6 a factor of (-285)/(-6) + (n/(-6) - 0)?
True
Suppose 0 = 3*o, -5*o + 26 = -j + 152. Suppose -135*d + 14337 = -j*d. Does 14 divide d?
False
Suppose 0 = -5*i - c + 9, 8 = i + 2*i - 2*c. Suppose 0 = 4*h - 11 - 285. Does 15 divide (-7 + i)/(-5) + h?
True
Let u = 185 - 126. Let q = u - -6. Is q a multiple of 13?
True
Suppose 16*s - 5*x = 14*s + 21195, -5*s + 4*x = -52996. Does 20 divide s?
True
Let o = 56 + -52. Suppose 0 = 2*c - o*t - 256, 0*c - 5*t = -4*c + 497. Let v = -48 + c. Does 10 divide v?
True
Let q = -1139 - -1202. Is 7 a factor of q?
True
Let w(h) = -h**3 - 5*h**2 + 7*h + 9. Let k be w(-6). Suppose 4*u = v + 15 + 3, -4*v = k*u + 34. Let o = 54 + v. Does 11 divide o?
True
Let w = 1673 + -1894. Let m = -131 - 6. Let y = m - w. Does 14 divide y?
True
Let i(r) = 1312*r**2 + 10*r - 26. Is i(2) a multiple of 6?
False
Suppose -359*x = -335*x - 1179556 - 630452. Is x a multiple of 23?
True
Let k(x) = 4*x - 3. Let i be k(-3). Let l = -37 - i. Let m = 44 + l. Is m a multiple of 8?
False
Suppose -2*a - 5*l = -8336, -20*l + 16700 = 4*a - 17*l. Is 27 a factor of a?
False
Let w(b) = -3*b**2 - 3*b - 18. Suppose 4*u = -3*h + h - 28, 3*u + h = -19. Let n(s) = -s**2 + s - 1. Let g(i) = u*n(i) + w(i). Is 33 a factor of g(9)?
False
Suppose -j + 22610 = 2*s, -5*j - 1191 + 12487 = s. Is 11 a factor of s?
False
Suppose -4*j = -3*x - 23, -5*j + 1 + 29 = -5*x. Suppose 0 = -3*u + 5*k + 744, -8*u - j*k - 987 = -12*u. Does 8 divide u?
False
Suppose 3*x - 13*x - 142 = 4*s, 4*x = -s - 43. Let d(a) = 5*a - 117. Let v(c) = c + 1. Let m(f) = -d(f) + 6*v(f). Does 25 divide m(s)?
True
Let g(f) = 78*f - 1. Let q(b) = -702*b + 12. Let z(r) = -234*r + 4. Let x(h) = 3*q(h) - 8*z(h). Let w(n) = -16*g(n) - 5*x(n). Does 22 divide w(-2)?
False
Let q = -31 - -35. Let a(y) = -5 - q - y**3 - 2 + 9*y + 6*y**2 - 2. Does 13 divide a(6)?
False
Let j be (-1 - (5 - 8)) + 2. Is 3 a factor of (53 + 7)*((-32)/(-10))/j?
True
Suppose 2220 = 9*m + 3*m. Let w = 448 - m. Is 11 a factor of w?
False
Suppose 272787 = 12*u + 75