q - 5*l, -3*q - 5*l = -12881. Suppose 4*x + 3428 = 4*a, 21*a - 3*x = 16*a + q. Does 13 divide a?
True
Does 13 divide ((-17 - 2) + -3)/(7/(-36050)*4)?
False
Let d = -31647 + 50950. Is d a multiple of 22?
False
Suppose -s = -3*l + 11, 0 = s - 4*s - 2*l + 22. Suppose -y = -3*f + 62, s*f - 2*y = 2*f + 44. Is 12 a factor of f?
False
Suppose 2*q - 13 = -9. Suppose 3*l - p - 14752 + 5013 = 0, -5*p = -q*l + 6497. Is l/18 + (-1)/3 a multiple of 41?
False
Let p(g) = -g**3 + 28*g**2 - 14*g + 196. Does 8 divide p(26)?
True
Let x(s) = -226*s + 29. Let l be x(-1). Let h = l - -604. Is h a multiple of 12?
False
Let k(y) be the third derivative of 0*y + 7/24*y**4 + 21*y**2 + 1/3*y**3 + 0. Is 5 a factor of k(12)?
False
Suppose -4*d = -9*d + 10. Suppose 23*b = 20*b + 15. Suppose b*g + 5*k = 390, -3*g - d*k - 2*k = -238. Does 14 divide g?
False
Suppose 3*k - 5*f = 26153, 3*f = 4*k - 16689 - 18167. Is k a multiple of 101?
False
Let g be (-2 - (-5 + 3))/3. Suppose -16*k + 9148 + 2196 = g. Is 10 a factor of k?
False
Let m(j) = -j**2 + 205. Let w be m(0). Let y = w + 370. Suppose 0 = -3*d - 5*u + 3*u + y, d + 3*u = 180. Is 13 a factor of d?
True
Let o = -61180 + 90725. Is 97 a factor of o?
False
Let s = 88 - 74. Suppose 0 = -s*f - 2*f + 3520. Does 7 divide f?
False
Let l = -10 - -16. Suppose -l*s + 23 + 13 = 0. Is 11 a factor of (-496)/(-12) + (-2)/s?
False
Let b(x) be the third derivative of 13*x**4/6 + 43*x**3/6 - 73*x**2 - x. Is b(3) a multiple of 5?
False
Suppose -4032 + 32312 = 14*r - 6*r. Is 24 a factor of r?
False
Let j = -2507 + 5957. Is 115 a factor of j?
True
Is 45 a factor of 3431 + (8 + 3 - (-539)/(-49))?
False
Suppose 0 = 9*w - 44*w - 350. Is 9 a factor of (-30)/8*(-2)/w*-240?
True
Suppose 920*d + 114642 = 931*d. Is 193 a factor of d?
True
Let t(b) = -152*b**3 - 88*b**2 - 347*b + 16. Is 22 a factor of t(-4)?
True
Let b(j) = -138*j - 66. Is 16 a factor of b(-4)?
False
Suppose -j - 3*j = -1568. Let o = j - 311. Is o a multiple of 2?
False
Suppose -2*j = -10*j - 320. Let z = 42 + j. Suppose 2*s = 4*h + 28, 3*s - 62 = -0*h + z*h. Is 24 a factor of s?
True
Let m(s) = 2*s**2 - 18*s - 7. Let r(u) = 4*u**2 - 28*u - 10. Let i(y) = -8*m(y) + 5*r(y). Is i(15) a multiple of 14?
True
Suppose -2*z + 20 = 2*z. Suppose -29 + 4 = -z*w. Suppose -4*g = w*q - 283, -3*g - 4*q + 68 = -2*g. Does 24 divide g?
True
Let n be ((-6)/7)/(6/(-21)). Suppose 5*x + n*i - 510 = 2*i, -3*i = 0. Is x a multiple of 34?
True
Let w(s) = 1219*s**2 - 173*s - 175. Does 5 divide w(-1)?
False
Let y(i) = 2*i**2 - 8*i + 2. Let q be y(4). Is ((-5)/q)/((-38)/2964) a multiple of 6?
False
Let l be ((-3)/3 - (-4 - 8))*-23. Let b = -514 - l. Let v = b + 462. Is 17 a factor of v?
False
Let b be (-4)/6 + 517/(-3). Suppose 302 = -i + x, 5*i + 2*x + 1061 + 421 = 0. Let c = b - i. Does 25 divide c?
True
Let z = -411 + 874. Suppose -2*l = -3*k + 464, -l + 0*l = -3*k + z. Is k a multiple of 77?
True
Let z(c) = 1. Let u(i) = 3*i**2 + 29*i + 26. Let n(b) = -u(b) + 2*z(b). Is n(-8) a multiple of 3?
False
Suppose 65550 = 3*q + 2*x, -25*x + 43696 = 2*q - 23*x. Is 137 a factor of q?
False
Let v = -10301 - -15401. Is 12 a factor of v?
True
Let r = 31229 - 13618. Does 44 divide r?
False
Let f(p) = -p**2 - 20*p - 1. Suppose -147 = 3*v - 102. Is f(v) a multiple of 41?
False
Suppose 4*a + 217 = 3*a. Suppose -105*m = -106*m - 140. Let v = m - a. Does 11 divide v?
True
Let t(n) = 2*n**2 - 3*n + 19. Let d be 5 + (-3 - 0 - (1 - 3)). Does 3 divide t(d)?
True
Let w = -36229 - -51557. Does 242 divide w?
False
Suppose w = -2*z + 4907, 5*z + 3170 + 6617 = 2*w. Is w a multiple of 49?
False
Let z(j) = -j**2 + 33*j + 49. Let g be z(34). Let d(k) = 48*k - 116. Is 45 a factor of d(g)?
False
Suppose g + k + 7 = 0, -2*k = -2*g - k + 1. Let z(w) = 77*w - 620. Let m be z(8). Does 13 divide m*(-9 - g*(-1)/(-2))?
False
Let g(z) = 17*z - 10 + 40 - 16. Let i = 1 + 6. Is 33 a factor of g(i)?
False
Suppose -92122 + 74664 = 62*b - 217346. Does 13 divide b?
True
Let x = 1049 - 955. Let n(u) = -24*u. Let a be n(-2). Suppose 2*s + a = 2*w, -2*s - x = -6*w + 2*w. Is w a multiple of 15?
False
Suppose 5*z - 39 = -19. Suppose -z*l + 3*l - b + 172 = 0, -2*b = -5*l + 846. Is l a multiple of 39?
False
Let a(b) = b**3 + 19*b**2 + 14*b - 46. Let t be a(-18). Suppose 30*j - t*j = 232. Is j a multiple of 5?
False
Let j(k) = -7*k - 22. Let x(d) = 8*d + 22. Let h(g) = 4*j(g) + 3*x(g). Let s be h(-6). Suppose s*c + 2*a - 51 = a, 5*a - 111 = -4*c. Is c a multiple of 6?
True
Suppose -8*b + 5*q = -10*b + 98240, 3*b - 147332 = -4*q. Does 25 divide b?
True
Does 22 divide 5 - 1034/198 - 185447/(-9)?
False
Let f(h) = -396*h - 141. Let x be f(4). Let u = x - -3455. Does 38 divide u?
False
Suppose -4*x - 6*x + 52420 = 0. Suppose -2*m = -5*i - 6*m + x, 4190 = 4*i + 5*m. Suppose -v - 5*v = -i. Does 25 divide v?
True
Let i(n) be the third derivative of n**6/120 - n**5/5 + n**4/2 - 5*n**3/6 + 17*n**2. Let r be i(11). Suppose -r*h - 45 + 201 = 0. Is h a multiple of 13?
True
Let i(m) = -2037*m**3 + 3*m**2 + 4*m + 1. Let b be i(-1). Suppose 21*l - 11802 = b. Is l a multiple of 91?
False
Let r = 8 + -6. Suppose 3*n - i = r*n - 1, 17 = -5*n - i. Is (-1)/(n/57)*1/1 a multiple of 7?
False
Is (369/27 + -15)/(2/(-10440) - 0) a multiple of 30?
True
Suppose 0 = -6*c - 80 + 170. Suppose c*k = 708 + 1692. Is 16 a factor of k?
True
Let a(d) = 46*d - 1. Let i be a(-1). Let b = i - -121. Suppose -14 - b = -2*v. Does 33 divide v?
False
Let w = -277 + 1991. Is 33 a factor of w?
False
Let l = -591 - -591. Does 17 divide 1104 + (l - -7) + -1?
False
Let m = -1402 + 2751. Is m a multiple of 19?
True
Let d = -30 - -35. Let r(n) = 16*n + 17. Let q be r(d). Suppose g + 238 = 2*b - 0*g, 0 = b + 5*g - q. Does 14 divide b?
False
Suppose -6*m + 12 = -0. Let n be 1638/105*m*(-5)/3. Is 37 a factor of (-75 - -1)/(n/(-8) - 7)?
True
Let n = 690 - -5589. Is 47 a factor of n?
False
Let g(l) = -22 + 168276*l - 7*l**2 - 168282*l + 16*l**2 + l**3. Let a(d) = -d - 4. Let v be a(0). Is 13 a factor of g(v)?
False
Let i = -1860 - -3330. Suppose -3*r + f + i = 0, -r + 2*f = -3*f - 490. Is 10 a factor of r?
True
Let a(u) = 117*u**3 + 2*u**2 - 101*u + 189. Does 171 divide a(2)?
False
Suppose -j + 6*j + 2*z - 930 = 0, 4*j - 741 = -z. Suppose m = b - j, 3*m + 186 = b - 0*m. Does 8 divide b?
False
Let d = 60 - 58. Suppose -201 = l - 4*q + d*q, 631 = -3*l - q. Let n = l + 300. Does 32 divide n?
False
Suppose -315*n + 45*n + 1359456 = 19*n. Does 34 divide n?
False
Suppose 0 = 9*j - 26 + 8. Suppose -t = 2, j*w + 2*t + 0*t - 68 = 0. Is w a multiple of 12?
True
Suppose -101 = 4*l - 5*w, 14 = 3*l + 5*w + 46. Let m = l + 236. Does 16 divide m?
False
Suppose 0 = -2*y + 3*y + 2*w - 5, -4*w = -4*y + 32. Let x(a) = y*a**2 - 12*a + 14*a - 11 - 20*a. Does 31 divide x(5)?
False
Let p(a) be the third derivative of 23*a**5/60 - 3*a**4/8 - 2*a**3/3 - 10*a**2 + 8. Is 5 a factor of p(-3)?
True
Suppose 897*n - 902*n + 60 = 0. Does 5 divide (n/(-21) - 2670/(-140))*2?
False
Let l = 1436 + -482. Suppose 2*c - 7*h = -8*h + 381, -5*c + l = 2*h. Is 8 a factor of c?
True
Suppose -29582 = -9*s + 159000 - 7772. Does 98 divide s?
True
Suppose -10 = 2*x - 4*a, 7*x + 12 = 4*x + 3*a. Let d be (2/x)/(12/18). Is 8 a factor of 4 + 4 + (d - -9)?
True
Suppose -29*n + 49966 = 29*n + 25*n. Is n even?
True
Does 19 divide (-6)/(-4) + (-430)/80*-172?
False
Is ((-2944)/(-20))/((4 + -8)/(-80)) a multiple of 18?
False
Let o(s) = 529*s - 1096. Is o(8) a multiple of 98?
True
Let w(o) = -22*o**3 + 6*o**2 + 7*o + 10. Is 91 a factor of w(-9)?
True
Suppose -16*s = -12*s - 2112. Suppose 3*w = 9*w - s. Is w a multiple of 5?
False
Let g(r) = 82*r - 2. Let v(c) = 2*c + 12. Let k be v(-4). Let w be g(k). Suppose 5*x - 410 = -5*o, -3*o - 5*x = o - w. Is 18 a factor of o?
False
Let p(j) be the first derivative of -j**4/4 + 3*j**3 + 3*j**2/2 + 8*j - 15. Let o be (-2)/8 + 66/8. Does 12 divide p(o)?
True
Let t = -151 - -153. Suppose -2*a - t*a - 196 = -2*m, 4*m - a - 427 = 0. Does 12 divide m?
True
Let r(z) = 58*z**2 - 7*z - 179. Is 163 a factor of r(5)?
False
Let s = 36 - 31. Suppose 13 = 5*h + y, -1 = -3*h - s*y - 2. Suppose 65 = q + 2*v, h*q - 109 = v + 58. Does 7 divide q?
False
Suppose 0 = 139*t - 135*t - 12. Suppose -t*i - 2*z = -700, -5*i - 3*z + 1120 = -46. Is i a multiple