 a multiple of 58?
False
Suppose -5126 = -32*j + 18746. Does 39 divide j?
False
Let a(c) = 13*c**2 + 20*c - 4. Let r be a(-23). Does 9 divide (-4 - r/(-22)) + 6/(-4)?
False
Let j = -19547 + 34070. Is j a multiple of 103?
True
Let k = 492 + -482. Is (-16)/k*53055/(-262) a multiple of 81?
True
Suppose -c = -5*i + 12, 3*c - 3 = -2*i - 5. Suppose 3*y + t - i + 1 = 0, -2*y = 4*t + 16. Suppose 97 = u + k + 3*k, 194 = y*u - k. Is 22 a factor of u?
False
Suppose 3*h = 4*z - 22, 5*z + 3*h - 24 = 17. Suppose z*a - 12*a = 325. Let f = -58 - a. Does 2 divide f?
False
Let i be (-6 - 0) + (0 - -3). Let n = 22 - 20. Let x = n - i. Does 5 divide x?
True
Let c(y) = 4*y**3 + 5*y**2 + 7*y - 9. Let z(i) = i**3 + i**2 - 1. Let a = 140 + -141. Let b(o) = a*c(o) + 3*z(o). Is b(-6) a multiple of 32?
True
Let v = 58 + 8. Let b = 14 + v. Let s = 146 - b. Is 14 a factor of s?
False
Is 37 a factor of 0*22/(-550) - (-5)/(10/37962)?
True
Suppose 4*j + 5027 = -8*t + 9*t, -2*t - 5*j = -10119. Is t a multiple of 73?
False
Suppose -126096 = 37*a - 108*a. Is a a multiple of 24?
True
Let q(z) = 38*z**2 - 63*z + 8. Is q(-13) a multiple of 11?
True
Let r(n) = 1067*n - 10 - 3*n**2 - 1069*n + 4*n**2. Let q(p) = -2*p**2 - 5*p + 4. Let t be q(-4). Is 35 a factor of r(t)?
True
Let k be ((-4)/40 - (-12)/20)*362. Suppose -18*v - k = -2773. Is 6 a factor of v?
True
Suppose 13*p - 59 + 7 = 0. Let w be (-336)/(-4) - (0 + p). Let o = 131 - w. Is 11 a factor of o?
False
Suppose 9*v - 55 + 1 = 0. Let m be v + -1 - 1/(-2)*-4. Suppose m*p - 104 = -5*o, 4*o - 94 = 3*p - 0*p. Is 15 a factor of o?
False
Is 31 a factor of 3/(-15)*1 - (-2 + 22156/(-5))?
True
Let k(p) = 2*p**2 - 10*p - 11. Let b be k(7). Let x(c) = -14*c - 12. Let q be x(-3). Let m = b + q. Does 6 divide m?
False
Is 39 a factor of (126/(-35))/(2*9/(-14040))?
True
Let g = 7270 - 5442. Is 10 a factor of g?
False
Suppose 3*o - 9 = v, -12 = -v - 3*v. Suppose -6*j = -o*j. Suppose j = 4*u - 59 - 77. Is 31 a factor of u?
False
Suppose -18*z + 12*z = -4164. Suppose -5*k - 20*q + 1734 = -17*q, 2*k = -q + z. Is k a multiple of 4?
True
Let l be (2 + 6/(-4))/((-2)/(-36)). Let m be (-273)/(-14)*3/(l/(-8)). Is 8 a factor of m/8*-10 - 3?
False
Let b = 88 - 84. Suppose -b = -4*k + 16. Does 8 divide (0 + (-6)/k)/(4/(-160))?
True
Suppose -47124 = -596*u + 589*u. Is 68 a factor of u?
True
Let v = -121 - -129. Suppose 12 = -t - 4*b, 3*t + b + 0*b - v = 0. Suppose j + 5*d - 155 = 0, 213 = j - t*d + 31. Is 12 a factor of j?
False
Let f(k) = 31*k**2 - 20*k + 57. Let h = 101 - 97. Is 43 a factor of f(h)?
True
Let r = -1553 - -3124. Is 20 a factor of r?
False
Suppose t = 30 - 108. Let x = -123 - t. Let a = x - -48. Is 3 a factor of a?
True
Does 11 divide (12/(-27))/(-2) + 51634320/2160?
False
Is 13 a factor of (4/2)/((-232033)/11050 - -21)?
True
Let u = 69 - 56. Suppose -20*b + u*b = -35. Suppose -h = -b*i + h + 65, 5*h = 5*i - 50. Is i a multiple of 6?
False
Suppose -22 + 8 = -7*p. Suppose -6*m + p = -28. Suppose 2*g - 69 = -g + 3*r, m*g = 3*r + 109. Is 10 a factor of g?
True
Suppose -3*g = 3*m - 19383, -3*m + 5*g = -13505 - 5870. Is m a multiple of 38?
True
Let n = 41 + -32. Let l(v) = -v**3 + 9*v**2 + 5. Let p be l(n). Let q = 35 + p. Does 8 divide q?
True
Let m be (3*1)/((-39)/26). Let n be (-9)/(-6) - m/(-4) - 157. Is n/10*260/(-39) a multiple of 26?
True
Let s = 151 - -942. Suppose 4*g - 4*n = 2192, -2*g - 11*n + 14*n + s = 0. Is 29 a factor of g?
True
Suppose -3*h = -3*l - 456, 3*h = 7*h - 5*l - 609. Let p = -147 - -236. Let t = p + h. Is 16 a factor of t?
True
Let n(h) = -3*h**3 - 6*h**2 - 4*h - 10. Let q be ((-23)/5 - -5)*-10. Is 23 a factor of n(q)?
False
Let g(y) = 3*y + 6. Let c(k) = 4*k + 6. Let l(j) = -6*c(j) + 7*g(j). Suppose 193*b - 164*b = -174. Is 8 a factor of l(b)?
True
Let p = -1 - -8. Suppose -73 = -10*j + 17. Suppose -60 = p*s - j*s. Is s a multiple of 15?
True
Let s = 102326 - 59548. Does 73 divide s?
True
Suppose -2*p + 5*s - 2*s - 17 = 0, -s = 4*p - 1. Let k be 2/6 - (-224)/(-3)*p. Let m = -59 + k. Is 8 a factor of m?
True
Let q(m) = 543*m - 73. Is q(28) a multiple of 36?
False
Suppose 4*a + 3*v = -0*v - 28, 3*a + 4 = 2*v. Let r be 2 + -2 - -5 - (a + 1). Is 2 a factor of -4 - 85/(-20) - (-158)/r?
True
Let v be 1/((-508)/(-252) - 2) + -4. Is (v + 4)*(-132)/(-18) a multiple of 11?
True
Let m = -77 + 45. Let i = -7 - m. Suppose 27*f - i*f = 42. Is f a multiple of 7?
True
Let c = -26635 + 50690. Is 15 a factor of c?
False
Is 126 a factor of ((4 - 3) + 10397)/(63/126)?
False
Suppose 3*s - 67788 = -m, 4*m + 113014 = -776*s + 781*s. Is s a multiple of 12?
False
Let s(r) = -1167*r - 7245. Is s(-50) a multiple of 70?
False
Let u(x) = 82*x**2 + 4*x - 6. Let y be u(2). Let s = y - 232. Is s a multiple of 27?
False
Suppose 8*u - 3480 = -9*u - 7*u. Is 145 a factor of u?
True
Let i(c) = 35*c**3 + 5*c**2 - 42*c - 8. Is i(8) a multiple of 14?
False
Suppose 2*h - 8 = -5*u - 0, 0 = 3*h + 3. Suppose 1 = -2*d - 5*a, -4*a = -u*d + 11 - 3. Suppose -d*p + p = -99. Is 19 a factor of p?
False
Suppose -2*k - 2*x + 262 = -0*k, -623 = -5*k + 3*x. Suppose -k = -3*o - 4*c + 388, 866 = 5*o - c. Does 17 divide o?
False
Let x(c) be the third derivative of -19*c**2 + 11/10*c**5 + 0*c + 1/6*c**3 + 0 - 1/24*c**4. Is x(1) a multiple of 27?
False
Suppose 2*t - 42 = 4*r, 10*r - 2*t = 7*r - 34. Let h = 82 - r. Is 16 a factor of h?
False
Suppose -3*f + 84 = f. Suppose -r + f*o + 27 = 25*o, 3*o = r - 27. Is 2 a factor of r?
False
Let u be ((-39)/9 - 0) + (-5)/(-15). Suppose -114 - 206 = -4*h. Does 15 divide u/((-32)/30)*h/2?
True
Does 16 divide 295/(((-99)/209)/(-9))?
False
Suppose -263*k = -73*k - 1028090. Is 7 a factor of k?
True
Let m(x) = -120*x**3 - 16019 + 16019. Is m(-1) a multiple of 5?
True
Let i = 3158 - 2198. Suppose 83*r = 77*r + i. Does 16 divide r?
True
Suppose 0 = 4*j - 21 - 19. Let q(l) = -2 - 2*l + 0 + j + 4. Is q(-5) a multiple of 3?
False
Suppose -27*y - 58192 = -43*y. Does 168 divide y?
False
Suppose 594 = -c + 1801. Suppose -2*x + c = -993. Is 22 a factor of x?
True
Does 25 divide ((-216444)/(-255))/(14/(-10)*(-12)/42)?
False
Let a = 2003 + 1892. Does 39 divide a?
False
Let t be (-72)/240 + (-873)/90. Let u(z) = 2 + 3 + 23*z**2 + 2*z**3 + 0*z**3 + 12*z. Does 11 divide u(t)?
False
Suppose 0 = 29*z + 52*z - 47871. Is 19 a factor of z?
False
Suppose 0*k - 4 = -k. Let o(w) = 29*w**2 - 14*w + 51. Let n(g) = 9*g**2 - 5*g + 17. Let b(t) = 7*n(t) - 2*o(t). Does 23 divide b(k)?
True
Let q(v) = -v**3 - v**2 - 14*v - 4. Suppose -2*j - 20 = 2*c + 2*c, 3*j + 5*c + 28 = 0. Is q(j) a multiple of 25?
False
Let l be 9/72*-1 + 25/8. Does 8 divide (l + -1)*1*197?
False
Suppose -3*u = -365 - 1126. Let m = u - 264. Does 18 divide m?
False
Is (93/124)/((2/29255)/(8/5)) a multiple of 46?
False
Let b(q) = -44*q - 3. Let a be b(3). Let f = 89 - a. Is 16 a factor of f?
True
Let k(p) = -3*p**3 + p**2 - 2*p + 2. Let x be k(1). Let m(h) = -h**3 - h**2 + 2*h + 3. Let f be m(x). Suppose -f*b - b + 44 = 0. Is b a multiple of 2?
False
Suppose 234*i = -14459 + 1386967 - 97676. Is 4 a factor of i?
True
Let s be 13/((-260)/(-90))*8/6. Is 12 a factor of (48/15)/(s/360)?
True
Let m(z) = -5*z - 35. Let h be m(-8). Does 30 divide 4 - (12/(-10))/(h/925)?
False
Let r be (26/8)/(10/360*9). Suppose 4*j - k = 2537 - 716, 4*k - 924 = -2*j. Suppose r*d - 9*d - j = 0. Is 38 a factor of d?
True
Suppose -a + 3*p = -1400, -4*a - 4*p = -10*a + 8456. Does 5 divide a?
False
Suppose 3*z + 5*z - 16 = 0. Suppose z*i + 3*c + c + 118 = 0, 167 = -3*i - c. Let p = 101 + i. Does 23 divide p?
True
Let d be 1/((-3)/(-63)*3). Suppose -d*i - 21 = -14*i. Does 3 divide (5 - i) + (4 - -2)?
False
Let p(o) = 244*o**2 - 9*o - 8. Let k be p(-1). Suppose -8*j + k + 2347 = 0. Is 9 a factor of j?
True
Let t(s) = s**3 - 10*s**2 + 22*s - 97. Let m be t(27). Suppose 59*a = 49*a + m. Is a a multiple of 74?
False
Let y(a) = -a**3 + 98*a**2 - 615*a - 225. Does 41 divide y(90)?
True
Suppose j = m + 14309 - 2357, 0 = j + 2*m - 11928. Does 13 divide j?
False
Suppose 5*y - 24 + 4 = 0. Suppose -y*b + 104 = 100. Does 45 divide (3 + 6/(-2))/b + 85?
False
Suppose -27*d + 26389 = -23453. Is 13 a factor of d?
True
Let q be ((-3)/2)/(3 - (-28)/(-8)). Suppose -5*v + v + 335 = -j, 2*v - q*j = 165. Does 42 divide v?
True
Let g(j) = -85*j + 114