2) a multiple of 3?
True
Suppose 15 = -2*c - 5*o, -2*o + 0 = 4*c - 10. Suppose 5*t - c = 0, -5*t + 5 = w - 0*t. Suppose w = -3*z - 20 + 185. Is 17 a factor of z?
False
Suppose 450 = -7*p + 12*p. Suppose -4*t + 3*t = -p. Is 9 a factor of t?
True
Let u = -968 + 1260. Is u a multiple of 3?
False
Suppose -5*z + 156 + 125 = -2*a, 5*z - 290 = 5*a. Let y = -83 - -49. Let p = z + y. Does 21 divide p?
True
Suppose -2*o = -2*w - 2, -4*o + 2 - 6 = -2*w. Let y be (-6)/w + (-3)/(-2). Suppose -3*r - 2*q = r - 212, -5*r + 267 = y*q. Is r a multiple of 17?
True
Suppose 5*z = 21 + 4. Is 37 a factor of (-2)/(-5) - (-968)/z?
False
Let m(l) = 376*l**2 + 2*l + 3. Is 12 a factor of m(-2)?
False
Let n(v) = v**2 - 10*v + 6. Let u = -4 + 13. Let r be n(u). Let a = 12 - r. Is 11 a factor of a?
False
Let a = 2589 + 518. Is 30 a factor of a?
False
Suppose -56*g = -44*g - 25116. Does 67 divide g?
False
Suppose 3 = -k + 97. Let c = k - 71. Is c even?
False
Let j(i) = i**2 + 14*i + 19. Let r be j(-13). Does 29 divide (-174)/(-24)*2*(0 + r)?
True
Suppose -34*p - 2184 = -41*p. Is 24 a factor of p?
True
Suppose -772 = -8*l + 836. Is l a multiple of 12?
False
Let h(c) be the second derivative of -c**4/3 + c**3/6 + 7*c**2 - c. Let s(u) be the first derivative of h(u). Is 7 a factor of s(-2)?
False
Let p = 72 + -67. Suppose 9*j - p*j - 580 = 0. Is j a multiple of 34?
False
Let q be (2 - 40)*7/(-2). Suppose -2*l - q + 9 = 0. Let j = 125 + l. Is j a multiple of 9?
True
Let r = -12 + 19. Suppose -182 = r*a - 609. Suppose -a = -2*l + 57. Does 9 divide l?
False
Let j = 198 - 90. Is 17 a factor of j?
False
Let f be (-2)/13 - 4/(-26). Let t be -2 + 8 + 0 + f. Is 14 a factor of (t/(-4))/((-7)/84)?
False
Let u = -30 - 4. Let o = u - -80. Does 12 divide o?
False
Let v(z) = 3*z + 78. Let b(t) = t**2 - 6*t + 5. Let r be b(5). Is v(r) a multiple of 26?
True
Let x(z) = z**3 + 16*z**2 - 27*z + 144. Is 9 a factor of x(-16)?
True
Let w be -2 + (-1 - -18) + -3. Suppose 4*k = 4*t - 40 + w, 0 = -5*k - 10. Suppose -t*d + 134 = 14. Does 8 divide d?
True
Let b = 2285 + -493. Is b a multiple of 16?
True
Does 64 divide (-10)/15 + 10766/21?
True
Suppose 11*o = 3*o + 32. Suppose 4*x + 648 = o*j, j = -4*j - 3*x + 810. Does 18 divide j?
True
Does 14 divide 13 + 1032 + -10*(-2)/4?
True
Suppose -2*x - 5*y + 15 = 0, 5*y - 19 - 1 = -x. Let f be 3/x + (-93)/(-5). Suppose 2*v - f = -u + 28, -3*u = -4*v + 72. Does 17 divide v?
False
Suppose 3*a + 256 - 9 = 4*p, -5*a + 239 = 4*p. Suppose y = 0, 2*g - g = y + p. Let r = g + -17. Is r a multiple of 7?
False
Suppose -3*v + v - 32 = 0. Let p = 42 + v. Is 13/p*13*2 a multiple of 3?
False
Suppose -12 = -6*p + 2*p. Let o(i) = 4*i - 7. Let b be o(p). Suppose 5*h - 112 - 33 = -5*f, b*h - 3*f = 185. Does 12 divide h?
False
Let s(g) = 10 - 23 - 6*g + 6. Is s(-12) a multiple of 11?
False
Suppose 51 = 3*m - 198. Let y = -44 + m. Is 13 a factor of y?
True
Is 80 a factor of 1 - ((-2)/4 + 4412/(-8))?
False
Let x be ((-18)/8)/((-3)/12). Suppose 15*o = x*o + 906. Is o a multiple of 22?
False
Is 1/(-6) + 8/((-576)/(-33060)) a multiple of 18?
False
Let h(b) = -4*b + 29. Is h(-31) a multiple of 9?
True
Suppose -7*l + 7127 + 4927 = 0. Is 42 a factor of l?
True
Suppose 0 = -23*n + 16369 - 4409. Is n a multiple of 32?
False
Suppose 2*o - 4*o + 6 = 0, 5*k = 2*o + 284. Suppose -205*u - 28 = -201*u. Let s = k + u. Is s a multiple of 9?
False
Suppose -6*b + 4*b - p + 69 = 0, -3*b = -5*p - 123. Suppose b = -0*j + j. Is j a multiple of 29?
False
Suppose -3*w - 30 = -8*w. Let q be 25*(-4)/((-40)/w). Does 14 divide 2*7 - q/(-5)?
False
Suppose -8*r + 7*r = 7. Let l(u) = u**3 + 8*u**2 + 7*u + 2. Let z be l(r). Suppose -32 = -z*b + 10. Is 19 a factor of b?
False
Suppose 4*d + 4 = 28. Let b(u) = u**3 - 8*u**2 + 15*u - 14. Is 4 a factor of b(d)?
True
Suppose 4*l - 8*r - 115 = -9*r, 5*l - 152 = -4*r. Is 28 a factor of l?
True
Suppose -7*v = -0*v - 14. Is 34 a factor of (-153)/3*v/(-3)?
True
Let p(s) = -2*s**2 + 11*s - 5. Let b be p(5). Suppose 5*t + w - 38 = 0, b*t + 3*t - 36 = -5*w. Is 7 a factor of t?
True
Suppose 7*n = 11*n. Suppose -3*w + 228 = 2*k + w, 4*k - 4*w - 408 = n. Is 13 a factor of k?
False
Let v(y) = 17*y - 139. Is 30 a factor of v(19)?
False
Let g = -5 + 15. Let i be -5*((-24)/g - -2). Suppose 4*p = -i*d + 90, -5*p + 39 = -3*p - d. Does 9 divide p?
False
Does 32 divide 1572 + (-32)/(-8) + 1*-8?
True
Let m(w) be the second derivative of 5*w**3/6 - 7*w**2/2 + w. Is 7 a factor of m(12)?
False
Suppose -2*i - 2*i + 33 = -5*j, 2*j = -4*i - 2. Suppose 4*d - 4 = i*s - 2, 2*d = -2*s + 16. Does 34 divide -1 + (d - 4) - -70?
True
Does 2 divide (-15)/135 - 3880/(-9)?
False
Suppose 3*x - 5*t - 2 + 6 = 0, -3*t = 5*x - 16. Suppose 4 = 2*n, -159 = -x*v - 2*n + 227. Does 40 divide v?
False
Is -1 + -3 + 3 - (-3 - 36) a multiple of 19?
True
Let r(g) be the third derivative of g**6/120 - g**5/15 + g**4/8 + g**3/3 - 3*g**2. Let i be r(3). Suppose -w + i = -0, 0 = 4*n - 4*w - 112. Does 7 divide n?
False
Suppose 2*t = 157 + 51. Suppose 3*g - t = 118. Is g a multiple of 14?
False
Let h(t) = 9*t**3 - t**2 - 17*t - 2. Let b(y) = -y**3 + 3*y. Let s(l) = 5*b(l) + h(l). Let j be 2 + (2 - (2 + -1)). Is 13 a factor of s(j)?
True
Is (-40)/(-260) + 3870/26 a multiple of 14?
False
Suppose 2*c = -5*m + 2964, 30*c - 28*c - 4 = 0. Does 8 divide m?
True
Let y(l) = l**3 - l**2 + 5*l + 912. Does 36 divide y(0)?
False
Suppose 5*i - 202 - 33 = 0. Suppose -43*t = -i*t + 244. Is t a multiple of 19?
False
Is 28 a factor of 1*56*(-4)/(-8)?
True
Let o(z) = 1063*z - 7. Does 32 divide o(1)?
True
Let f be ((-9)/(-18))/((-1)/(-10)). Suppose 0 = 2*u - f*s - 28, 4*s + s = -20. Is u a multiple of 2?
True
Let m = -13 - -23. Does 13 divide -3*((-712)/10 - (-2)/m)?
False
Suppose -4*z - b = -4 - 19, 5*z = 4*b + 34. Suppose 2*p - z = 14. Suppose p*q - 140 = 5*q. Does 9 divide q?
False
Suppose 2*m - 3*h = 6*m - 495, 3*m = -3*h + 372. Suppose 7*i - m = 4*i. Is 4 a factor of i?
False
Let t(g) = 22*g + 37. Is 7 a factor of t(5)?
True
Let w(v) = -33*v - 4. Let g be w(-3). Suppose 95 + g = 5*l. Is 6 a factor of -1 - (-1)/2*l?
True
Let k be (12/(6 - 2))/1. Suppose -5*c + 6 = 1, -37 = k*f - c. Let b(i) = i**3 + 11*i**2 - 14*i - 14. Is b(f) a multiple of 4?
False
Let y(t) = -2*t - 6. Let b be y(-6). Suppose -4*a - 10 = b. Is 7 + a + 1 + 50 a multiple of 27?
True
Suppose -49*q + 93505 + 24879 = 0. Does 10 divide q?
False
Let c be (3 - 13) + -2*(-3)/2. Let v(j) = 12*j + 0*j**2 - 5*j + 3*j**2 + 5. Is 30 a factor of v(c)?
False
Let t(g) = 6*g**2 + 2*g + 2. Suppose -4*j - 4 + 0 = 0. Is 6 a factor of t(j)?
True
Suppose -11 = -5*b - l, 13 = 2*b + 4*l + 5. Suppose 4*y + 181 = h, 640 = 4*h + b*y + 3*y. Is 15 a factor of h?
True
Let p(d) = -66*d. Let k = -12 - -15. Let b = k + -4. Does 31 divide p(b)?
False
Is ((-94)/(-5))/(46/1610) a multiple of 14?
True
Suppose -12 = -5*q + 4*v + 6, -2*q + 5*v + 14 = 0. Suppose 0 = -4*l + 3*z - 0*z + 349, -3*l - q*z + 283 = 0. Suppose -m - l = -214. Does 41 divide m?
True
Suppose -3*u + j + 4 = 0, 3*j - 5 = -u + 3. Let y be 4 + u/(-8)*-4. Let l = 11 - y. Is l a multiple of 2?
True
Let a = -10 - -7. Let i = a - -7. Suppose i*f = 2*f + 18. Is f a multiple of 5?
False
Suppose -27 = -3*z - 18. Suppose -z*u + 9*f = 4*f - 370, -4*u - 2*f = -476. Is 40 a factor of u?
True
Let p = -901 - -1023. Is p a multiple of 37?
False
Let s(u) = 14*u**3 - 3*u**2. Let z = -9 - -11. Is 25 a factor of s(z)?
True
Let b(y) = -14*y**2 - 122*y + 7. Is 3 a factor of b(-6)?
False
Let r(v) = 12 - 18 + v**2 - 17*v - 20. Is 12 a factor of r(21)?
False
Let y(d) = d**3 + 6*d**2 - 4*d - 9. Let p be y(-6). Suppose -r + p = l + 1, 3*r + 4*l - 47 = 0. Suppose -5*w + 62 = 2*n, r = -n + w + 26. Is n a multiple of 7?
True
Let p(n) = 53 - 2*n + 11 + 0*n. Is 16 a factor of p(0)?
True
Let a(w) = 65*w**3 - 2*w**2 - 6*w + 7. Is 32 a factor of a(1)?
True
Suppose -3*k + 3*u + 3207 = 0, u = -3*k + 376 + 2851. Is 45 a factor of k?
False
Suppose -1770 = -7*g + 505. Is 5 a factor of g?
True
Suppose 6*n = -301 - 437. Let w = -61 - n. Does 17 divide w?
False
Let n(g) = -1105*g**3 - 10*g**2 - 11*g - 1. Does 109 divide n(-1)?
False
Suppose 5*p - 67 = -17. Suppose p*b = 8*b + 112. Is 56 a factor of b?
True
Let x(n) = 3*n**3 - 23*n**2 + 16*n - 24. Let z(o) = 8*o**3 - 69*o**2 + 49*