et z be 3/(-2)*92/(-138). Suppose r = z, -4*k + r = -0*r - 579. Is k a multiple of 5?
True
Let t be 1 + 3/(-6)*-10. Suppose 0 = 2*z + 6, 3*b - t*b - 3*z = -9. Suppose -7*d + 78 = -b*d. Is 13 a factor of d?
True
Let t(g) = -2*g - 20. Let j be t(-11). Suppose y + 4*y + 4*d - 1703 = 0, -j*y + 680 = d. Suppose -201 = -2*i - 4*z + 7, -3*z = -3*i + y. Is 22 a factor of i?
True
Let i be (-10)/(-6) - (-8 - (-1428)/(-18)). Suppose -2*y + 5*y - i = -d, 4*d - 4*y = 372. Is d a multiple of 23?
True
Let d(g) = -152*g + 146. Let q be d(0). Let l = -32 + 75. Let k = q - l. Does 9 divide k?
False
Let h(c) = 2*c**2 + c. Let j be h(-1). Let k = 1 - j. Suppose k = -5*r - u + 710, -237 = -5*r + 4*u + 448. Does 26 divide r?
False
Let j be 3/(-3) - (-91)/13. Suppose 4*l + 3*v - j*v = 255, 5*v - 275 = -5*l. Is l a multiple of 4?
True
Suppose -16998 - 40836 = -3*c. Does 81 divide c?
True
Does 26 divide (1 - 6397)/(-9 + (-1311)/(-152))?
True
Suppose -104*y = 147*y - 109*y - 227910. Does 3 divide y?
True
Suppose -45478 = -4*x + 46810. Does 103 divide x?
True
Let o be 2 - (1 + (-4)/(-6)*-3). Let t be o/5 - 37458/(-45). Suppose 79 = 8*l - t. Is l a multiple of 19?
True
Let j be ((-166)/(-5))/(8/(-40)). Let c = j + 84. Let l = c + 133. Does 16 divide l?
False
Let f(u) = 1242*u - 26. Is f(1) a multiple of 8?
True
Let x(t) = -t**2 + 42*t - 59. Let j(r) = -r**3 + 27*r**2 + 28*r + 27. Let v be j(28). Does 18 divide x(v)?
False
Let z(i) = i**3 + 11*i**2 + i + 14. Let y be z(-11). Suppose 5*m = -4*j + 730, y*j = -2*m - 85 + 377. Suppose 3*x - 298 = m. Is x a multiple of 26?
False
Let w = -183 - -257. Suppose 0 = -5*x + w + 326. Suppose -b + h - 246 = -4*b, -h + x = b. Is 26 a factor of b?
False
Is ((-32400)/500)/(3/(-405)) a multiple of 32?
False
Suppose -6*r = 5*r - 40107 - 42415. Is r a multiple of 121?
True
Let z(w) = 246*w**2 + 8965*w + 47. Is z(-38) a multiple of 34?
False
Let p(y) = y**3 - 4*y. Let u(h) = -75 + 112 + h - 16*h - h**2. Let x be u(-17). Is 3 a factor of p(x)?
True
Suppose 3*k + 1905 + 318 = 0. Let j = 1251 + k. Is 17 a factor of j?
True
Suppose 86 = 4*x + 14. Let t = x + -15. Suppose -t*a + 16 = -8. Is 4 a factor of a?
True
Suppose -28*u = 55*u - 39342. Is 6 a factor of u?
True
Let k = 836 - -245. Suppose -2*f + k = f - 5*t, 2*f + 4*t = 728. Is 22 a factor of f?
False
Let a(g) = -2*g**3 - 19*g**2 + 212*g + 31. Is 3 a factor of a(-19)?
True
Suppose 8*o - 119 = 7*o. Suppose -5*d - 2*n = -o, -3*d + 4*d - n - 28 = 0. Suppose 159 = 8*c - d. Is c a multiple of 14?
False
Suppose -v + 3*h = -2*v - 33, 2*h + 142 = -4*v. Let r = v - -40. Suppose -r*x + 3*o = -o - 600, 3*x = o + 456. Is 39 a factor of x?
False
Let i(h) be the third derivative of 10*h**4/3 - 43*h**3/6 - 90*h**2. Is i(1) a multiple of 4?
False
Is 55 a factor of (1485/(-220))/(6/(-32560))?
True
Let f be (8 - 447/9)/((-1)/33). Is ((-6)/(-5))/(10/f) a multiple of 33?
True
Let s be (-1 - 1)*(-381)/(-2). Let t = 617 + s. Suppose t = 3*y + y. Is y a multiple of 27?
False
Let t(h) = h**3 + 45*h**2 - 63*h - 616. Is t(-46) even?
True
Is -20 + 13 + 10 - (-9168 - (-3)/(-3)) a multiple of 12?
False
Let t be 4 - 5 - 600/(-6). Suppose q - 140 = 5*q - 4*a, 3*q = 5*a - t. Let c = q + 59. Is 12 a factor of c?
False
Let w = 33 - 173. Let u = w - -268. Does 17 divide u?
False
Let j(s) = 2*s**3 + s**2 + 21*s. Is 40 a factor of j(14)?
False
Suppose 3*z - 28*t = -26*t + 10760, -z - 4*t = -3610. Does 10 divide z?
True
Let t(q) = -6*q - 23. Let d be t(-4). Does 9 divide (-861)/(-7) - d/(4/(-16))?
False
Let f = 35462 - 6365. Does 53 divide f?
True
Suppose 5*v = -117 + 117. Suppose v = 13*r - 4554 - 5755. Does 15 divide r?
False
Suppose c + z = 13, -2*c + 5*z + 20 - 1 = 0. Suppose 2*k - 4*m = 732, -1494 = 8*k - c*k - 2*m. Is k a multiple of 6?
True
Is 476/6*(-1395)/(-93) a multiple of 6?
False
Suppose -59 = -5*b + k, 0 = 3*b - 5*b + 4*k + 20. Suppose 13*r = c + b*r - 53, 0 = 3*c - 5*r - 159. Is c a multiple of 4?
False
Does 46 divide ((-6)/8)/(9/(-350604))?
False
Let d(n) = n**3 - 6*n**2 + 22*n - 5. Let r = -17 - -26. Is d(r) a multiple of 19?
False
Let i(s) = -s**2 - 37*s - 75. Suppose 5*m - 5*f = -50, -4*m + 2 = -f + 57. Is i(m) a multiple of 3?
True
Let i = 129 - 122. Suppose 381 - 17 = i*x. Does 17 divide x?
False
Let b = 44 + -56. Let k be (b/(-1))/(-3) - -1. Is 8 a factor of 10*1*k/(-6)*16?
True
Let v(c) = 12*c + 70. Let p be v(-9). Let f be 10/(2/19 + (-72)/p). Suppose -4*s = -4*k - 272, 3*s + f*k = 2*s + 80. Is 5 a factor of s?
True
Let f = 129 - 116. Suppose 0 = -f*u + 5*u + 496. Suppose 6*n + u = 188. Is n even?
False
Let r be (-2)/(-6)*0 + 1 + 1. Suppose -4*x = -3*j + 34, -3*j = j + r*x - 38. Is 23 a factor of 4/20 + 0 + 1608/j?
True
Let z(x) = x**3 - 12*x**2 + x + 29. Let t be z(12). Suppose -45*b = -t*b - 784. Does 14 divide b?
True
Let u = 81 + -78. Suppose -5*j + m - u*m + 101 = 0, -2*j + 5*m + 52 = 0. Does 3 divide j?
True
Suppose -61*y = -70*y - 72. Does 22 divide 2/y - 14535/(-60)?
True
Suppose -15087 = -3*f + o + 1339, -5*o = 20. Does 23 divide f?
True
Let d = 2408 - -1965. Is 5 a factor of d?
False
Let x(h) = 77*h**2 - 51*h + 319. Is 20 a factor of x(10)?
False
Suppose 96*r = 98*r - 4. Suppose 2*z - 71 = -0*z - v, 2*z - 76 = -r*v. Does 2 divide z?
False
Let b be 20/6*(-30)/(-25)*-48. Let h = 373 + b. Does 12 divide h?
False
Let m(g) = 0*g**2 + 162*g**3 + 6*g**2 + 2 + 3*g - 2*g - 149*g**3. Is m(3) a multiple of 27?
False
Let a = -89 - -93. Suppose -4*l = a*o - 3*l - 2859, 5*l + 5 = 0. Is o a multiple of 5?
True
Suppose 4*g - 2*t + 17 = -17, 3*t + 4 = g. Is ((-9)/g - 12/(-66)) + 145 a multiple of 8?
False
Let r(x) = -372*x + 2268. Does 14 divide r(-42)?
True
Suppose z - 3*w + 43 = w, 5*z + 90 = -5*w. Let r = z - -25. Is 13 a factor of 2565/35 - -4 - r/7?
False
Let s = 6 - 12. Let z = 161 + -121. Let f = z - s. Is f a multiple of 15?
False
Let g = -463 - -4902. Is g a multiple of 19?
False
Let w(g) = 71*g - 4. Let z be (-201)/39 + 5 + (-30)/(-26). Let q be w(z). Let y = q + -42. Is y a multiple of 6?
False
Does 37 divide (-1)/26*2 - (4723250/(-325) + -8)?
True
Does 7 divide ((-17)/((-340)/104))/(1/665)?
True
Suppose -2*t + r = -4*r - 95, 2*t = -3*r + 103. Suppose 2*g = 5*g + 87. Let s = t + g. Is 8 a factor of s?
False
Suppose -36*s + 10*s + 11934 = 0. Suppose -1281 - s = -5*u. Does 56 divide u?
False
Let v(q) = q**3 + 5*q + 1. Suppose 14*y - 14 = 12*y. Does 23 divide v(y)?
False
Suppose -2*i - 72475 = -5*z - 13798, i = 2*z - 23472. Is z a multiple of 28?
False
Let a(l) = -l**3 - 10*l**2 - 35*l + 30. Does 12 divide a(-16)?
False
Let g(k) = k**3 - 15*k**2 - 24*k + 4. Let s be ((-147)/(-9) - -2) + (-7)/21. Is g(s) a multiple of 16?
True
Suppose 618551 = -44*p + 191*p - 397513. Does 96 divide p?
True
Suppose 0 = -c + 1 - 6, 5*c + 1715 = u. Does 2 divide u?
True
Let u be (-1)/2 + 0 + 2/4. Let j be u - -15 - 1*-3. Is j*2 - (5 - 9) a multiple of 10?
True
Suppose -74*j - 9*j = -56023 - 4733. Is j a multiple of 56?
False
Suppose -20*o + 5*w = -22*o + 580, 2*o - 612 = 3*w. Let v be (2 - (-16)/(-6))*-6. Suppose -39 - o = -v*b - x, 3*b - x = 249. Is 18 a factor of b?
False
Let q = 32448 - 19472. Is 28 a factor of q?
False
Is 10 a factor of ((-258213)/(-122))/(6/40)?
True
Let w(d) = -d**2 - 3*d + 7. Let s be w(4). Let h be 1/(2/(-8) + s/(-36)). Suppose 2*i - 7*u = -3*u + 28, 4*i - 23 = -h*u. Is 2 a factor of i?
True
Let f be 3/((-5)/200*3). Let m = 30 + f. Let t = 16 - m. Does 26 divide t?
True
Suppose 45*h - 583750 = 112085. Does 32 divide h?
False
Suppose -379*v = 2024038 - 13437310 - 17042806. Is 173 a factor of v?
True
Let d(i) = i**3 - 12*i**2 - 3*i - 14. Let x be 56/140*1*35. Is d(x) a multiple of 16?
True
Suppose t - 21 = 2*o - 2*t, -4*o - 51 = 3*t. Is 22 a factor of 225 - 2*(-30)/o?
True
Let h(n) = n. Let p(v) = -8*v - 7. Let c(w) = -6*h(w) - p(w). Let m be c(-2). Suppose -2*d = m*a + 2*d - 1046, 0 = -2*a + d + 679. Is 57 a factor of a?
True
Let t(o) be the second derivative of -o**5/10 - 3*o**4/4 - o**3 - 3*o**2 - 42*o. Let v be t(-4). Does 13 divide (-39)/v*(56/12)/(-7)?
True
Suppose 0 = f + 3*f - 4, 0 = g + f + 19. Let i(w) = 15*w + 47. Let u(l) = -16*l - 51. Let s(v) = -9*i(v) - 8*u(v). Does 25 divide s(g)?
True
Suppose y + 9 + 8 = 5*q, 0 = -2*y + 6. Suppose 372 = 2*n - 2*s, 4*n - q*s = n + 556. Is 49 a fact