-20)/25 - 18404/(-5). Suppose -6*d - 34*d = -g. Is d a multiple of 11?
False
Suppose 0 = -37*o - 15308 + 58968. Does 20 divide o?
True
Suppose -8*l + 35 = 3*h - 3*l, 5*h = -5*l + 45. Suppose -3*b = 5*i - 136, -h*b - 79 = -4*i + 52. Suppose 3*z + 5 = 2*y + i, -4*z = -3*y - 31. Does 4 divide z?
False
Let f be (-6)/30 + 2*(-3)/(-30). Suppose f*a - 3*u + 1040 = 5*a, -624 = -3*a - 5*u. Is 16 a factor of a?
True
Let b(h) = -h**3 - 5*h**2 + 7*h - 11. Let l be 1*(8/4)/((-6)/141). Let u be -5 - (-29)/6 - l/(-6). Is 36 a factor of b(u)?
False
Let c be (15/(-9) + 3/(-9))/(-1). Suppose -c*z = 13*z + 135. Let b(g) = -g**2 - 15*g - 4. Does 8 divide b(z)?
False
Is 7 a factor of (-1041000)/(-450) - 4/3?
False
Suppose 23239 = 2*y + 3*h, 5*y - 5*h - 27913 - 30097 = 0. Is y a multiple of 85?
False
Let x = -81 - -81. Suppose n + 122 - 182 = x. Does 3 divide n?
True
Suppose 0 = 5*j - 5, -j + 3*j = -5*v - 48. Suppose -95 = -2*o - 0*o + 3*w, -2*o = -2*w - 96. Let i = v + o. Is 13 a factor of i?
True
Let c = -69 - -80. Suppose c*z = -4*z + 1500. Suppose 0 = -5*m + 210 + z. Is 8 a factor of m?
False
Suppose 4*r = -0*r + 80. Suppose 3*l + 0*l + r = 5*j, 4*l - 16 = -4*j. Suppose 0 = -5*m - j*g + 156 + 470, 506 = 4*m - 2*g. Does 9 divide m?
True
Let x be (-11)/((-396)/57988) - (-2)/9. Suppose 4*j - 9*j = -i + 537, j = -3*i + x. Does 7 divide i?
False
Suppose 43347 - 121971 = -84*k. Does 9 divide k?
True
Suppose -4*v = -6764 - 3016. Suppose -3*r + 0*r + 3090 = 5*z, -4*z + 3*r + v = 0. Does 17 divide z?
False
Let l(h) = h**2 - 37*h - 1232. Is 3 a factor of l(-23)?
False
Let w = 1054 - 1137. Let n = -49 + -8. Let c = n - w. Does 16 divide c?
False
Suppose 72 = -15*p + 24*p. Suppose 19*f - 6715 = -5*y + 14*f, 2*f - p = 0. Is 103 a factor of y?
True
Let h = -3431 + 6122. Does 69 divide h?
True
Suppose -4*d - 2652 = -2*a, -7*a + 12*a + 5*d - 6705 = 0. Does 15 divide a?
False
Let l = -138 - -202. Let s = 62 - l. Is (-125 - 5)/(1 + s) a multiple of 21?
False
Let b(q) = -q**3 - 6*q**2 + 47*q + 270. Is 18 a factor of b(-9)?
True
Suppose 0 = -2*p - 5*y - 6 - 0, -4 = 2*y. Suppose 2*m = 2*x + 4, p*m - 25 = -7*x + 2*x. Suppose 0 = -0*g + 5*g - x*v - 263, 4*g - 208 = 3*v. Does 5 divide g?
True
Let l = -11361 - -28788. Is l a multiple of 32?
False
Let x(q) = -q**3 + 12*q**2 - 19*q - 8. Let k be x(10). Suppose -k*a = -2*u - 418, 5*u = a - 270 + 41. Is 12 a factor of a?
True
Suppose 31*k + 7214 = 33*k + w, -5*w - 10834 = -3*k. Is k a multiple of 11?
True
Let w = -19332 - -27712. Does 10 divide w?
True
Let c(l) = -l + 3. Let p be c(-7). Suppose 0*b + 5950 = p*b. Suppose 4*s - 967 = -5*h, h = 4*h - 5*s - b. Does 39 divide h?
True
Suppose 4*b - 3*v + 0*v - 1275 = 0, 0 = -3*v - 15. Is b a multiple of 45?
True
Let g be 4*(1 + ((-4)/(-8))/(-1)). Suppose -4 = 2*l + 4*s, -3*l + g*s = l + 18. Does 11 divide 3 - l - 4 - -107?
True
Let m = 50 - -143. Suppose -4*l + 595 + m = 0. Is l - (-5 - -3 - -7) a multiple of 11?
False
Suppose 2*o + 85*x - 87*x - 1598 = 0, -2389 = -3*o - x. Is o a multiple of 31?
False
Let s(o) = 1214*o - 3152. Is s(10) a multiple of 35?
False
Suppose 0 = 9*a - a + 2896. Let q = -182 - a. Does 20 divide q?
True
Let h(f) = -f**3 + 9*f**2 + 4*f - 32. Let m be h(9). Suppose 10 = 3*s + 1, -29 = -m*c + 5*s. Is 11 a factor of c?
True
Let a(r) = r**2 + 3*r - 58. Let x be a(0). Let h = x + 123. Suppose t + h - 158 = 0. Does 29 divide t?
False
Let l = 718 + 667. Is l a multiple of 75?
False
Let g = 461 - 469. Let x(k) = -25*k - 6. Is x(g) a multiple of 5?
False
Let d = 104 + -130. Let c(w) = -w**3 - 25*w**2 + 5*w + 9. Does 15 divide c(d)?
True
Let a be (-4)/(-26) - (-2767)/13. Let h be -5 + (-2 - 58/(-2)). Suppose -o - h + a = 0. Is o a multiple of 43?
False
Suppose 0 = 47*y - 271417 - 70273. Is 29 a factor of y?
False
Let v = 1886 + -1095. Let b = v + -412. Is 27 a factor of b?
False
Let q = 34 + -65. Let o = q + 36. Let p(y) = 11*y - 12. Is p(o) a multiple of 6?
False
Suppose 0 = g + 4*s - 22662 - 7383, 4*g = -3*s + 120206. Is g a multiple of 143?
False
Let x(z) = 24*z**3 + 22*z**2 - 67*z - 12. Does 54 divide x(6)?
True
Let u(y) = 42*y**2 + 11*y + 19. Let n be u(-7). Suppose -n = -1302*m + 1297*m. Does 20 divide m?
True
Suppose f - 10754 = 2*i, 0 = 142*f - 147*f + 2*i + 53730. Is f a multiple of 85?
False
Let v = 339 + -347. Does 4 divide (-64)/v + -2 + 9?
False
Let n(y) = 673*y**2 - 29*y + 28. Is n(1) a multiple of 21?
True
Let n be 3 - -10 - (-1)/(-1). Suppose 2826 = 3*p + f, 10*p + f = n*p - 1884. Does 36 divide p?
False
Is (6 - (2 - -1))*(-268766)/(-183) a multiple of 11?
False
Suppose 9*g = 7*g + 4. Suppose 5*z - 1965 = -5*m, 0 = 3*z - g*m + 6*m - 1176. Does 38 divide z?
False
Let t be (-1 - 0/2)*-3. Let u be 3 - (t - 122) - 3. Suppose -s = 4*h - 190 - 75, 2*h + 5*s = u. Is h a multiple of 17?
False
Suppose 4*u + 4 = 5*d + 40, 2*u + 3*d + 4 = 0. Let q be (4 - (u - 0))/(-2). Suppose q = -5*r + 568 + 122. Is r a multiple of 16?
False
Suppose 3*t + 3*q = 8*q + 11757, -2*q = -3*t + 11757. Does 4 divide t?
False
Let n(o) = -10*o**3 - 129*o**2 + 7*o + 44. Is n(-13) a multiple of 61?
True
Let f be (24/(-9))/((-6)/9). Suppose 819 = f*g - w - 1972, 3*w + 1383 = 2*g. Is g a multiple of 10?
False
Let u(q) = 10*q**2 - 3*q + 9. Let h be u(4). Let z be 22/(-77) - 132/(-21). Let v = h - z. Is v a multiple of 25?
False
Let t(h) = h**3 + 116*h**2 - 690*h + 177. Is 186 a factor of t(-119)?
True
Suppose 11*b - 9*b + 5*n - 996 = 0, -3*b + 2*n = -1456. Is 53 a factor of b?
False
Let i(a) = -2*a**2 + 15*a - 20. Let m be i(6). Is (-723)/(m + -2 - (-5 + 4)) a multiple of 4?
False
Does 61 divide 2/(-2) - 13 - -43812?
True
Let z be (-12)/3 + (-5)/5 + -787. Let w = z - -1921. Is 21 a factor of w?
False
Suppose 3*g - 17 = -2*k - 2*k, 3*k = 2*g + 17. Suppose 553 = a - 3*p + 4*p, k*p - 5 = 0. Is 10 a factor of a?
False
Let o = 6975 - 574. Does 13 divide o?
False
Let q = -143 - -210. Let d = -18 + q. Is 3 a factor of d?
False
Let r = 19867 + -3686. Does 13 divide r?
False
Let j be (153/4)/(-5 + (-19)/(-4)). Let r = j + 257. Is r a multiple of 8?
True
Suppose -4*h + 9 = 3*z + 21, 8 = -4*h - 2*z. Suppose -4*c - 5*y + 140 = 0, 3*c - 5*y - 104 - 1 = h. Is c a multiple of 3?
False
Suppose 64*z - 26*z = 35*z + 9855. Does 6 divide z?
False
Let p(z) = 48*z**3 - z + 1. Let g be p(1). Let h = -51 + g. Does 29 divide ((-267)/4)/(8/(64/h))?
False
Let y = 56279 + -25339. Is 26 a factor of y?
True
Suppose q + q + d = 21, -5*q + 30 = -2*d. Suppose 0 = 2*h - x - 2, 0*h = -4*h + 5*x - q. Let p(m) = -m**3 + 2*m**2 + 2*m + 7. Is p(h) even?
True
Let t be (21 + 9)/5*(-2)/6. Is 12*t*(-3)/(-18) + 461 a multiple of 24?
False
Suppose -4*w + 3*b - 1005 = 0, -w - 995 = 3*w - 5*b. Let d = -661 - w. Does 18 divide (-3 - -1)/(14/d)?
False
Suppose 37255 = 3*k - 4*p, 8184 + 53951 = 5*k + 2*p. Is 175 a factor of k?
True
Let y(c) be the second derivative of c**5/20 - 5*c**4/12 - 7*c**3/6 - 15*c**2 - 20*c + 1. Is y(7) a multiple of 8?
False
Let p(h) be the third derivative of -2*h**2 + 5/3*h**3 + 0*h - 1/8*h**4 + 0. Is 16 a factor of p(-2)?
True
Suppose 3*s - 1572 = 1674. Suppose 2*h - 155 - 379 = -3*u, -4*h + s = -u. Let o = h + -189. Is o a multiple of 23?
False
Let a be -3 + 0 + 845 + 3. Let i = a + -459. Let c = i - 232. Is c a multiple of 14?
True
Let w = 368 + 3088. Is 9 a factor of w?
True
Suppose r - 2*d = -2546, 3*d - 1101 = 2*r + 3988. Let k = 4252 + r. Is 15 a factor of k?
False
Suppose -1118*i + 1105*i = -56719. Does 43 divide i?
False
Let a = 792 - 892. Suppose 2*j = 7*j - 160. Let o = j - a. Is 15 a factor of o?
False
Suppose 106*r + 118648 = 135*r - 37662. Is r a multiple of 11?
True
Suppose -5*g + 2*g = 5*g - 23072. Is 7 a factor of g?
True
Suppose -255 = 36*v - 19*v. Is (v/(-2) + 1)/(25/1750) a multiple of 43?
False
Let u(x) = -10*x + 7. Let k be u(-5). Let g = 4521 + -4539. Is (96/g - -2)*k/(-2) a multiple of 15?
False
Does 305 divide (-1100 - 285)/(1 + (-16)/14)?
False
Suppose -16*a + 68 = -17*a. Let f be 2/(-4)*1*a/17. Suppose -f*d = -2*z + 134, -159 = 6*z - 8*z - 3*d. Is z a multiple of 24?
True
Suppose 3*r - 2*r - 5*z - 22 = 0, 5*r + 3*z + 2 = 0. Suppose 0 = 3*f - 2*x - 495, 5*f - 2*x = r*x + 827. Is f a multiple of 10?
False
Let k = -469 - -1677. Is 6 a factor of k?
False
Let c = -60 - -64. Is 14490/(-92)*c/(-1 - 1) a