Suppose q = k + 26. Is k a multiple of 33?
False
Suppose 6*i - 163346 - 3736 = 0. Does 16 divide i?
False
Let f = -49 - -64. Is 1614/9 + 10/f a multiple of 6?
True
Suppose 8*p - 15 = 5*o + 3*p, -3 = -p. Suppose 732 = 2*c + 2*d, o - 4 = d. Suppose -2*n + 232 - 84 = 4*j, -5*j = -5*n + c. Is 13 a factor of n?
False
Suppose 12 = 7*p - 4*p. Let t(x) = -x**3 + 2*x**2 + 9*x - 7. Let b be t(p). Is 11 a factor of b*1*(-23 - 0)?
False
Suppose 4174 = r - m, r - 6*r + 3*m = -20866. Is 14 a factor of r?
True
Let g = 114460 - 74518. Is 27 a factor of g?
False
Let o be -2 + (-9)/((-27)/(-210)). Does 19 divide (3/(-2))/(o/13296)?
False
Let q = 157 + -234. Let w = q - -81. Is w/(((-2)/(-2))/7) a multiple of 22?
False
Is 5 a factor of 36896/40*10/8?
False
Suppose 0 = 6*i - i - 555. Let f be i/21 + (4/7)/(-2). Suppose -68 = -m - l, 0 = -f*l - 3 - 7. Is 12 a factor of m?
False
Let f(c) = 797*c**3 - 3*c**2 - 378*c + 1546. Does 29 divide f(4)?
False
Let q = 23020 + -5458. Does 32 divide q?
False
Suppose 0 = 3*q, 5*v - 2*q + 11466 = 24510 + 20276. Is v a multiple of 14?
True
Suppose 58862 = 38*z - 16*z + 15082. Is z even?
True
Suppose 3*u + 30 = 63. Suppose 2*d - u = 147. Is 6 a factor of d?
False
Suppose -4*z = -5*n + z + 865, -3*n - 2*z + 504 = 0. Suppose 6*v = 4*v + 8. Suppose v*u = t - 140, t - 2*u + 4*u = n. Does 20 divide t?
True
Suppose -4*t - 340 = b - 1518, -2*t + b + 586 = 0. Suppose -3*p - t - 792 = 0. Is 8/(-48) + p/(-12) a multiple of 15?
True
Suppose 0*a - u = 2*a + 12, -10 = 5*u. Let t(x) = -x**2 - 3*x + 14. Let d be t(a). Suppose 0*w + 139 = 3*w - 2*k, 2*w - d*k = 98. Is w a multiple of 18?
False
Suppose a + 172 = 2*a - 2480. Is 5 a factor of a?
False
Is 3822/13 - (-6)/(-1) a multiple of 13?
False
Let x(j) = -2*j + 1 - 47*j**3 - 86*j**2 - 89*j**2 + 172*j**2. Is 14 a factor of x(-2)?
False
Let f(u) = 6*u**2 + 181*u - 34. Is f(36) a multiple of 8?
False
Let n(k) = 2*k**2 + 6*k + 2. Suppose 3*f = -2*b + 6*f + 3, -2*b = 2*f + 12. Let g be n(b). Is (g - -2 - -26) + 2 a multiple of 4?
True
Suppose 0 = -5*b + 5*h - 5200, -10*h + 9*h = 2*b + 2092. Let k = b - -1672. Does 16 divide k?
False
Let y(k) = -6*k**2 + 220*k - 94. Is y(27) a multiple of 46?
True
Let g be 8/2 - (32 - 9). Let q = 139 - g. Does 19 divide q?
False
Let s = 36994 - 34871. Is s a multiple of 23?
False
Is 35 a factor of (1365/2)/(66/176)?
True
Let b(p) be the second derivative of p**4/12 - 2*p**3/3 + 29*p**2/2 - 21*p - 3. Is b(22) a multiple of 25?
True
Let d = -70493 + 101479. Does 31 divide d?
False
Let x = 272 - 282. Let o(m) = -20*m - 115. Does 16 divide o(x)?
False
Suppose -5*m + 7 = f + 2, 0 = 5*m + 3*f - 5. Let c(l) = 70*l. Is 5 a factor of c(m)?
True
Suppose -2*g - 2*r = 172, 2*r + 3*r + 15 = 0. Let k be (-1 - -2)/(g/84 + 1). Let o = 197 - k. Is o a multiple of 21?
False
Let u = 1886 - -154. Does 24 divide u?
True
Let s(i) = -i**3 + 8*i**2 + 6*i. Suppose 5*y - 35 = -0. Let h be s(y). Does 27 divide 7345/h - 2/(-7)?
True
Let u = -102 - -412. Suppose 0 = -x - z + u, 820 = -5*x + 2*z + 2356. Is 28 a factor of x?
True
Let w(z) = z**3 - 46*z**2 - 124*z + 3. Does 26 divide w(58)?
False
Suppose -2*g + 5*t = -33861, 0 = -858*g + 862*g + 3*t - 67709. Does 20 divide g?
False
Let l = 574 + -94. Suppose 163*y - 162*y - l = 0. Is 30 a factor of y?
True
Let p = 11860 + -9570. Is 54 a factor of p?
False
Let g = -4 + 9. Suppose -4*h = g*h - 4842. Is 10 a factor of h?
False
Suppose 0 = m + 22 - 23. Is 1512/135*((-23)/(-2) + m) a multiple of 9?
False
Let b = 5449 + -3463. Suppose -2*g = -x - b, -4*g - 3*x + 3974 = -4*x. Suppose 98 = 13*c - g. Is c a multiple of 41?
False
Let u be ((-120)/(-100))/(2/120). Is 7 a factor of (2 + u)/(4 + 126/(-35))?
False
Does 2 divide (-15)/12 + (-20205)/(-36)?
True
Is 83 a factor of (-8)/(-2) - 220950/(-34 + 4)?
False
Let t(q) = 2*q**2 - 9*q + 8. Let z be t(6). Suppose -3*d = z + 28. Is 13 a factor of (93/d + 5/30)*-17?
False
Let t = 14271 - 10191. Is 20 a factor of t?
True
Let n(j) = 4*j**3 - 3*j**2 - 10*j + 2. Let z = -50 + 54. Let b be n(z). Let o = b + -45. Is 11 a factor of o?
False
Let s = 1745 - 815. Suppose 3*o = x + 14, -5*o + 2*x + 26 = 3*x. Suppose 0*q = -o*q + s. Is 31 a factor of q?
True
Suppose -171 = -4*s - 3*n, 0*n = 5*n - 5. Let c = s + -39. Let j(i) = -i**2 + 5*i + 3. Is j(c) even?
False
Let u = 6634 + -1751. Does 32 divide u?
False
Suppose 5*h = 3*u - 2 - 7, -5*u + 15 = h. Suppose -160 = u*d + n - 734, 208 = d - 3*n. Does 25 divide d?
False
Let d(c) = 5*c + 70. Let z be d(-13). Suppose z*i + o - 134 = 0, -5*i + o = -6*i + 26. Is i a multiple of 9?
True
Does 26 divide (9 - -19 - 2)*(-1 - -2 - -1007)?
True
Suppose -4*q = -4, 5*x + 9*q - 8*q - 46 = 0. Is 1/18*4 - (-754)/x a multiple of 27?
False
Let j be (-19 - -75)*6/7. Let l = j - 15. Is l a multiple of 5?
False
Let p(r) = r**2 - 11*r - 7. Let o be p(12). Suppose -3*y + 4*t + 1256 = 0, 9*y + o*t = 11*y - 849. Does 12 divide y?
False
Let o(c) = 897*c**3 + c**2 + 2. Is o(1) a multiple of 45?
True
Let n(s) = -s**3 - 7*s**2 - s + 8. Let j be n(-7). Let i(c) = 2*c - 24. Let q be i(j). Is (-1 + 3)*(58 - q) a multiple of 14?
False
Suppose -1994*m + 1998*m - 12 = 0. Suppose 5*r - i = 1038, 3*i + 12 = m. Does 48 divide r?
False
Let g(m) = 40*m**2 + 79*m - 4008. Is g(42) a multiple of 15?
True
Is -19 + (-84)/(-4) + 93335 a multiple of 22?
False
Let r = -381 + 413. Let z = 280 + r. Is 6 a factor of z?
True
Suppose 3*x - 2*f + 107 = 0, f - 28 = x + 9. Let y(n) = -n**3 - 30*n**2 + 62*n + 3. Does 60 divide y(x)?
False
Suppose -5*q = 4*p - 275, 4*p + 4*q = -147 + 423. Suppose 0 = 2*u - p - 78. Suppose -u = -2*c + 46. Is 20 a factor of c?
True
Let o(v) = -10*v - 15. Let d be o(5). Let b = d - -156. Let i = b + -23. Is i a multiple of 15?
False
Is (-5 + 4/16*4)*(-402 - -36) a multiple of 90?
False
Let p(n) = 2*n**3 - 153*n**2 + 268*n + 69. Is p(75) a multiple of 12?
False
Is ((-52)/130)/(1 + -3) + 63374/5 a multiple of 159?
False
Let r = 14122 + -9863. Does 22 divide r?
False
Let m be 4 + (115/5 - -5). Suppose 0 = 27*d - m*d + 500. Suppose -2*b + d = -4*z, b = 2*z - 6*z + 44. Does 8 divide b?
True
Suppose -y + 5*y - 3*o = 21, -5*y - o + 31 = 0. Let k(c) = -5*c - 7. Let n be k(-12). Suppose y*x - 7 = n. Does 3 divide x?
False
Suppose -3*q + 244 + 935 = 0. Suppose 1753 = 2*d - 3*c + q, d = -3*c + 662. Suppose 4*p - d = -5*n, 0 = -4*p + 5*n + 288 + 406. Is p a multiple of 9?
True
Let y(k) = -k**3 + 11*k**2 - 2*k - 13. Let s be y(10). Suppose 2*d = -4, -h - s = -4*d - 461. Suppose -38*x = -36*x - h. Is 38 a factor of x?
False
Suppose -5*f = 2*f - 4*f. Suppose 4*n + 488 = 4*u, -u - 2*u - n = -350. Suppose f = -4*s - 4, 5*p + 5*s - u - 207 = 0. Does 33 divide p?
True
Suppose 67*v + 1840896 = 161*v. Is v a multiple of 102?
True
Let g(i) = -17 + 5*i + 10 - 6*i. Let h be g(-13). Suppose h*s = -0*s + 336. Is 14 a factor of s?
True
Suppose -4*k = -5*d + 63089, -4*d = -61*k + 65*k - 50500. Does 4 divide d?
False
Let w = 52003 - 24593. Does 196 divide w?
False
Suppose 4*f = 5*c + 136972, f + 4*c = 24056 + 10187. Is f a multiple of 109?
False
Suppose -5*y + 3*j - 2*j + 255 = 0, 2*j = 2*y - 102. Let l = 271 + y. Is l a multiple of 28?
False
Let q = -74 - -121. Let i = q - -12. Let l = 62 - i. Is 3 a factor of l?
True
Let w be (-8 - (-56)/7) + 3. Does 28 divide (28/w)/(((-28)/(-306))/7)?
False
Let t(g) = 4358*g - 1798. Is t(1) a multiple of 16?
True
Let b(x) = x**3 - 5*x**2 - 15*x + 15. Let o be b(5). Let a = -2 - o. Does 3 divide a?
False
Suppose 0 = 4*o - 15 - 1. Suppose -o*x - 15 = -7*x. Suppose 0 = -3*z + g - 4*g + 348, x*g - 244 = -2*z. Does 28 divide z?
True
Suppose 15*f - 11*f - 268 = 0. Suppose 66*p = f*p - 33. Is 11 a factor of p?
True
Let m = 43 - -1. Let b = m + -112. Let v = 76 - b. Does 16 divide v?
True
Suppose -4*b + 8292 = 3*i, -6*i + 11*i - 2*b = 13872. Is i a multiple of 7?
True
Let h(w) = w + 12. Let i be h(-9). Let b be (i + (-28)/20)/(4/50). Let z = b - 2. Is z a multiple of 10?
False
Suppose -182115 = -28*c + 558512 - 115135. Is c a multiple of 148?
False
Let q(u) = -u**3 + 2*u**2 + 5*u. Let s be q(4). Let a be 1*3/(s/(-116)). Let j = 56 - a. Is 17 a factor of j?
False
Suppose 5*q + 13413 = o, 0*q = -2*q - 12. Is 201 a factor of o?
False
Let g be -1*(-9 - (-3 - -6)). Suppose -n - g = 2*n. Does 25 divide -1*(