- z a multiple of 3?
True
Suppose -52*q - 122*q + 3186984 = 0. Is q a multiple of 19?
True
Let p(o) = -3*o**3 + o**2 - o - 2. Suppose -a - 2*r = 0, -2*a + 1 = 5*r + 3. Let x be 3/12*a*-2. Does 13 divide p(x)?
False
Let c = 2768 - 2699. Is c even?
False
Let o(j) = j**2 + 3*j - 4. Suppose 4*a = 3*a + 4*i, -4*a + 3*i - 13 = 0. Let y be o(a). Let c = 40 + y. Is c a multiple of 10?
True
Does 56 divide (147/(-2))/((-394)/151296)?
True
Suppose 4*u = -4*m + 16568, 4*u - 16576 = -2*m - 0*m. Is u a multiple of 17?
False
Let b(w) be the third derivative of w**5/10 + 2*w**4/3 - 43*w**3/3 - 96*w**2 - 2*w. Is b(5) a multiple of 9?
True
Suppose -f - 120 = -25*f. Suppose -m = -3*n + f - 191, 2*n = -m + 166. Is m a multiple of 8?
False
Suppose 97*c + 23 = 74*c. Is (-7)/(-56) - ((-5475)/40 + c) a multiple of 57?
False
Let c(g) = -1376*g**3 - 2*g**2 + 1. Let u be c(1). Let o be u/119 - (-3)/(-7). Let p(n) = n**2 + 6*n - 3. Does 23 divide p(o)?
True
Suppose -76 + 64 = 4*k. Let w be 2*k*(-1)/2. Suppose -5*q = -4*c - 1002, 2*q + w*c - 250 = 137. Is 33 a factor of q?
True
Suppose -33*a = -149833 - 97295 - 401520. Is 52 a factor of a?
True
Let k = 48 + 4805. Does 71 divide k?
False
Is 122 a factor of (11 - (-18711)/22)/(1/2)?
False
Suppose -5*l + 5*f = -15725, -f + 10705 - 4400 = 2*l. Is l a multiple of 70?
True
Let w(g) = 2*g - 11. Let q be w(7). Suppose -4*x - 2*n = 2*n - 328, q = -n. Let t = x - 76. Is 8 a factor of t?
False
Suppose -75*t + 76*t + 1 = 0, 6847 = 3*a - t. Is 40 a factor of a?
False
Let o = 24 - 8. Let w(g) = g + 0*g + 3*g - o + 2*g. Does 18 divide w(10)?
False
Let z = -12982 - -15655. Is 8 a factor of z?
False
Let i be 0/((-13)/(-4) - 10/40). Suppose -1102 = -i*f - 3*f + l, 738 = 2*f + l. Is 46 a factor of f?
True
Let i = 71 + -66. Let w be -1 + 15/(-10)*(-220)/6. Suppose 3*a + i*m + 56 = 183, a + 4*m - w = 0. Does 10 divide a?
False
Suppose 49*t = 186596 + 384499. Is 23 a factor of t?
False
Suppose 262*u - 266*u - 2402 = -x, 2*x - 3*u - 4799 = 0. Is 109 a factor of x?
True
Let u(r) = -10*r - 3*r**2 + 8*r**2 - 4 - 6*r**2. Let s(j) = -j**3 + 29*j**2 - 53*j - 33. Let z be s(27). Is u(z) a multiple of 20?
True
Let b = 1755 + 12381. Is 38 a factor of b?
True
Suppose 0 = -31*v + 100641 + 174081. Is 42 a factor of v?
True
Suppose 0 = 121*q - 8365 - 274575 - 74494. Is 14 a factor of q?
True
Let i(v) = 1 + 2 - v**3 - 2*v - 5. Let f be i(0). Let p(k) = 21*k**2 + 2*k - 1. Is p(f) a multiple of 34?
False
Let v = 17 - 14. Does 21 divide 1 + v/(-9) - 1130/(-6)?
True
Let l = -654 + 667. Let o(i) = 67*i + 183. Does 12 divide o(l)?
False
Let d be (0 + -4)/(-16) - (-23)/4. Let q(b) = -2*b**2 - 4*b + 21 - d*b - b + 3*b**2. Is 27 a factor of q(15)?
True
Let b(c) = -c**2 - 13*c + 199. Let z be b(15). Let n = 9 - z. Is n a multiple of 46?
True
Let d = 4 + 1. Suppose 4*b = d*b. Suppose v + 5*t - 9 = 0, b*t + 4*t + 84 = 4*v. Is v a multiple of 2?
False
Suppose 4 = 4*w - 24. Let l(b) = -b**3 + 13*b**2 + 3*b + 24. Does 26 divide l(w)?
False
Let o = 1453 + 3545. Is 42 a factor of o?
True
Suppose 0 = -3*v - 28 + 1612. Suppose 2*m - v + 33 = -3*o, -2*m = 0. Does 54 divide o?
False
Suppose a = 3*p + 24, a + 13*p - 14*p - 16 = 0. Does 8 divide a/(-15)*(-10)/4*103?
False
Let l = -125 + 125. Suppose 5*w + 28 + 97 = l. Is 7 a factor of (-1085)/w - (-3)/5?
False
Let a(n) = n**2 + 44*n - 380. Is a(-82) a multiple of 19?
True
Let d be (10/(-3))/(2/(-51)). Suppose 8*a = 1813 - d. Is 24 a factor of a?
True
Let g = -40 + 73. Let k = 10487 + -10429. Let a = k - g. Is a a multiple of 25?
True
Let k = -258 + 260. Suppose 5*f + 370 = k*n, 2 = -4*f + 3*f. Does 18 divide n?
True
Suppose -2*y - m + 705 = 0, -1409 + 332 = -3*y + 5*m. Suppose y - 158 = u. Is u a multiple of 5?
False
Does 14 divide 3/((-54)/36) + 3269?
False
Let q = -333 - -335. Suppose 5*m - 4*a - 58 = 546, -q*a = -m + 122. Is 15 a factor of m?
True
Let o = 1765 - 1256. Suppose 625 + o = -7*p. Let m = -114 - p. Is m a multiple of 26?
False
Let u(z) = -442*z**2 + 6*z + 449*z**2 + 26 + 4*z. Let n be u(-7). Suppose -4*r = -4*f + 5*f - n, -r = -4*f - 79. Is 15 a factor of r?
True
Suppose 6*m + 8 = 62. Suppose 0 = m*c + 859 - 3370. Is c a multiple of 28?
False
Let a = -4686 + 8312. Is 10 a factor of a?
False
Is (-81842)/(-8) - ((-24)/28)/((-24)/(-21)) a multiple of 13?
True
Let b(u) be the third derivative of u**5/60 + 17*u**4/24 + 25*u**3 + 63*u**2. Is b(-32) a multiple of 45?
True
Suppose 10 = 5*s + 2*t - 6, s + 3*t = 11. Is (1010/(-4))/(-5)*s a multiple of 12?
False
Let i = 42 + -40. Let b be 459/21 + i/14. Suppose -4*c + b = -94. Is 7 a factor of c?
False
Suppose 2*p + 2*n = 12, 5*p - 1 = 3*n + 37. Suppose -5 + p = 2*s, 0 = 3*a + 3*s - 2157. Is a a multiple of 14?
False
Let a be (34/(-3))/(1824/918 + -2). Suppose 5*o = -2*q + a + 437, -4*o + 5*q = -1063. Does 4 divide o?
False
Suppose -22*w + 24*w = 0. Suppose -5*l + 4*b + 958 = w, l - 5*l - 3*b = -754. Suppose 0 = -6*g + l + 86. Is g a multiple of 23?
True
Suppose 46625 = 9*u - 5*f, 122*u + 5*f - 20715 = 118*u. Is u a multiple of 20?
True
Suppose p + 5*v + 3 = 30, 0 = 4*p + 2*v - 144. Is p a multiple of 4?
False
Let t(s) = -19*s - 2. Let m be t(-6). Let j = m - 82. Is 21 a factor of 622/4 + 1 + 15/j?
False
Suppose 0 = 4*c + 2*i - 38516, -107*c + 109*c = i + 19274. Does 13 divide c?
True
Let o = -777 - -1319. Suppose -13*s = -1712 + o. Does 10 divide s?
True
Suppose w = -2*v + 66, -2*w + 76 = 2*v - 62. Let y be ((-4)/6)/(3/(-9)). Suppose w + 96 = y*p. Does 28 divide p?
True
Suppose 2*j + 5 = -m, 7 = 3*m + 4*j + 24. Let r be ((-1)/2)/(m/(-2) - 3). Is (56/(-5))/((-52)/(-60) + r) a multiple of 21?
True
Let a(v) = 7 + 5 - 13 + 5*v. Let f be a(2). Let b = 205 - f. Is 14 a factor of b?
True
Let i(l) = -43*l**2 + 7*l + 6. Let t be i(6). Does 20 divide (2/(-2))/((-5)/t*-1)?
True
Let x = -38616 - -87224. Is x a multiple of 56?
True
Let x(i) = -i - 1. Let g be x(9). Let r(n) = n**2 + 6*n + 20. Let p be r(g). Suppose -34*a + 32*a = -p. Is 30 a factor of a?
True
Let o = 18329 + -13087. Is o a multiple of 89?
False
Let h(f) be the third derivative of 7*f**5/60 + f**4/3 - 17*f**3/2 + 27*f**2 - 2. Is 11 a factor of h(8)?
False
Does 18 divide ((-1)/((-16)/(-168180)))/(104/32 + -4)?
False
Let r be 176/(-2) - (-4 + (10 - 10)). Is r*(-4)/((-32)/(-20)) a multiple of 15?
True
Let y be -1 + 0 + 12/3. Let x be (y + 4 + -8)*-4. Suppose x*b - 104 = -3*n, 2*n + b = -2*b + 68. Is 20 a factor of n?
True
Let a = -139 + 147. Is 2/a*78*(-4)/(-3) even?
True
Let g(y) = 80*y - 2383. Does 2 divide g(52)?
False
Let x be -126*((-14)/4 + (-9)/(-3)). Let c be (-262)/(-6) + 21/x. Let q = 6 + c. Does 10 divide q?
True
Let x(s) = 2215*s - 2831. Is 28 a factor of x(5)?
False
Let b be -2 + 1 - (-1 + (-7 - -7)). Is 5 a factor of 98 + (b + (-3 - 3) - -5)?
False
Suppose 4*j - 16 = 7*g - 3*g, -4*j + 2*g = -14. Suppose -6486 = 4*o - 3*k, 0 = 3*o - j*k + 4*k + 4858. Is 12 a factor of 1*-4 + o/(-20)?
False
Let s be 14/35 - (-1 + (-983)/5). Suppose 4*m - 322 - s = 0. Does 13 divide m?
True
Let f be -7 + 11 - (157 - -1). Let r = 481 + f. Is 5 a factor of r?
False
Let h(t) = -t**3 - 10*t**2 + 3. Let k be h(-10). Suppose -c = k*c + c. Is 21 a factor of ((-2)/(c - 1))/((-12)/(-138))?
False
Suppose 86*o - 88*o - 8 = 0. Let h be 1/1 - (6 + o - -2). Is (1/1 - -21) + -1 + h a multiple of 3?
True
Let g(v) = 27*v + 12. Suppose -8*m = -9*m + 4. Let n be g(m). Is 2 a factor of (n/(-16))/(3/(-8))?
True
Let a = 299 - 135. Let x = a + -52. Suppose -50*m + x = -49*m. Does 13 divide m?
False
Let g = -15833 + 16705. Is g a multiple of 8?
True
Let w = -19113 + 25928. Does 119 divide w?
False
Let g = -41 + -47. Let u = g - -184. Is u a multiple of 24?
True
Let v be 70 + (-15)/(-5) - (0 - 2). Suppose -3*g + 2*n + v = 0, 2*n - 6*n = -3*g + 81. Does 10 divide 0/(-2) - (-1380)/g?
True
Let d(t) = -1589*t + 6. Let q be (44/(-176))/((-2 + 0)/(-8)). Is d(q) a multiple of 18?
False
Let y(q) = -q**2 - 7*q + 44. Let o be y(-11). Suppose 3*l + 90 - 486 = o. Is l a multiple of 12?
True
Let m(p) = 24*p**2 - 33*p + 60. Does 33 divide m(-15)?
False
Let a = -1570 - -3492. Is a a multiple of 4?
False
Let g(s) be the second derivative of -s**6/180 - 2*s**5/15 - 11*s**4/4 + 7*s. Let o(h) be the third derivative of g(h). Does 2 divide o(-7)?
True
Suppose -140 = -3*j 