5*s = -9338, -5*s = 16 - 26. Does 53 divide y?
True
Suppose -1499 = -d - 5*k, -4*d + 2493 = 4*k - 3455. Is d a multiple of 165?
False
Let j be 2*1 - (0 + -1 + 0). Suppose -4*n + 4*f + 2796 = 0, 5*n + 4*f = j*n + 1422. Is n a multiple of 37?
True
Does 2 divide (5 + -1)*(-5800)/(-50)?
True
Let a be (17 - 8) + -9 + 3. Let f be ((-58)/(-4))/(3/84). Suppose -a*j = j + 2*q - f, -j + q = -97. Does 25 divide j?
True
Let y(l) = 2*l**2 + l + 14. Let n be y(-6). Let o = -45 + n. Suppose -x = x + 5*h - 38, -3*x - 2*h = -o. Does 3 divide x?
True
Let w = -12642 - -17776. Is 151 a factor of w?
True
Suppose 5*s + d - 20144 = 0, -8551 - 7575 = -4*s + d. Is s a multiple of 80?
False
Let p(f) = 13*f**2 - 167*f + 226. Is p(33) a multiple of 5?
False
Suppose 4*w - 4134 = 5*r, 5*r = -5*w + 1434 + 3666. Does 2 divide w?
True
Let w(h) = 213*h**2 - 26*h + 143. Is 5 a factor of w(6)?
True
Let t(m) = -m**3 + m**2 + 3*m + 2. Let y be t(3). Let n be y*(0*(-2)/6 + -1). Suppose n*x = -3*x + 480. Is 12 a factor of x?
True
Suppose -v + 6*v = -3*l - 70, -4*v + 2*l = 56. Let z = v + 21. Suppose -89 + 19 = -z*h. Does 5 divide h?
True
Let a(z) = z**3 - 11*z**2 - 7*z + 79. Let t be a(11). Suppose 0 = -4*p - 2*k + 1450, t*p + 3*k - 356 - 363 = 0. Is p a multiple of 13?
True
Suppose 3*p - 637 = -4*p. Suppose 0 = -a + 4*k + p - 1, 4*a - 360 = 2*k. Is 10 a factor of a?
True
Let l(v) = -v**3 + v**2 - 6*v + 1090. Let c be l(0). Suppose 3236 + c = 21*p. Is 7 a factor of p?
False
Suppose -2*d - a = 22, -4*a + 32 = -3*d - 5*a. Is -5*2/5*d a multiple of 4?
True
Let b(t) = -106*t**3 + t**2 - 2*t + 1. Let o be b(1). Suppose -32*s + 3*k + 272 = -36*s, 3*s + 5*k = -193. Let d = s - o. Is d a multiple of 4?
False
Suppose 2*r - 4*w + 12308 = 7*r, 3*r + 2*w - 7384 = 0. Does 60 divide r?
True
Let f(k) be the first derivative of -k**3/3 - 17*k**2 + 16*k + 3. Let u be 4/18 - (-5664)/(-216). Is f(u) a multiple of 32?
True
Suppose 4*c + 3 = -3*v, -4*c - 19 = 2*v - 21. Does 3 divide -2 - (-36)/v*375/(-30)?
False
Suppose f + 3636 = -11*f. Is 34 a factor of f/(-3) + (-1)/10*-10?
True
Let l be 0*(-1)/(-2 - -1). Suppose 33*c = 194 + 4. Suppose l = -2*n + c, -5*t - 4*n - 78 = -330. Is t a multiple of 8?
True
Let t = -68 - -187. Suppose 2*l - f = 76, l - f + t = 4*l. Does 10 divide l?
False
Let b = 143 - 150. Let v(l) = -l - 5. Let y be v(b). Is y*(3 + (-78)/(-12)) even?
False
Let z(o) = 93 + 70*o - 50 + 0 + 175 + 30*o. Is z(11) a multiple of 31?
False
Let k be 2*2 + -11 + 11. Suppose 4*z - 2 + 10 = -3*w, 0 = 3*w - 2*z - k. Let g(a) = -2*a + 5. Is g(w) a multiple of 2?
False
Suppose 2*f + 2396 = 2*m, 4*m - 4796 = -2*f + 7*f. Suppose 5*q = 1416 + m. Suppose -7*z + q = -150. Does 12 divide z?
True
Suppose 3*t + t - 183 = -5*y, 4*y - 159 = t. Let i = -32 + y. Let l(a) = 8*a - 1. Is 11 a factor of l(i)?
True
Let t(s) = -10*s + 128. Suppose 285*g + 33 = 282*g. Is t(g) a multiple of 34?
True
Suppose 37*l - 39*l = 5*t - 16191, -5*t + 2*l + 16199 = 0. Is t a multiple of 12?
False
Let k = 2074 + 2013. Is 61 a factor of k?
True
Let t = -1498 - -3257. Is t a multiple of 48?
False
Let c(y) = -y**3 - 20*y**2 - 53*y - 27. Is c(-24) a multiple of 13?
True
Is 80 a factor of 6963 + 2/3 + (-150)/(-18) + -12?
True
Let c = -70 + -818. Is 4 a factor of c/(-5) + (-4)/(-70)*7?
False
Suppose 5*y - 51498 = 4*b, -2*y - 31*b = -29*b - 20592. Is 19 a factor of y?
True
Suppose -8*q - p = -4896, q + 4*p + p - 612 = 0. Is q a multiple of 7?
False
Let w = -23 + 27. Suppose 0*c + c = w. Suppose 123 = c*z - z. Is z a multiple of 11?
False
Let j = 275 - 270. Suppose 4*f = 4*v - 236, 0 = -4*v + j*f + 115 + 118. Is v a multiple of 31?
True
Let a be 4/6 - ((-14288)/6)/4. Let d = -29 - -34. Suppose a = 5*y + 2*s, y - 610 = -4*y + d*s. Is y a multiple of 6?
True
Let x = -2371 - -4513. Does 126 divide x?
True
Let v = -222 - -226. Suppose 0 = v*x - 186 - 126. Is x a multiple of 40?
False
Let m = 32 - 27. Let c = 47 + -10. Suppose 2*j - c = m. Is j a multiple of 4?
False
Suppose -280*k + 2697240 = -189*k. Is k a multiple of 13?
True
Let m(h) be the third derivative of -h**5/60 - 5*h**4/8 + 14*h**3/3 - h**2. Let z be m(-12). Suppose 8*a + z = 16*a. Is a a multiple of 2?
True
Suppose 2*x + 10632 = 2*d - 426, 11054 = 2*d - 6*x. Is d a multiple of 37?
False
Let h(x) = x**3 - 5*x**2 - 6*x + 7. Let w be 5/(-15)*-6 - -4. Let c be h(w). Let n(l) = l**2 - 3*l - 4. Is 5 a factor of n(c)?
False
Suppose -68 = 2*d + 2*z, -4*d - 4*z = -3*d + 46. Let l be (-8)/(-60) + 4/d. Suppose 4*i + 120 - 408 = l. Does 18 divide i?
True
Suppose -4*z - 35 - 81 = 0. Let a = z + 185. Is 53 a factor of a?
False
Suppose -589*m + 638146 = 581*m - 1153*m. Is m a multiple of 267?
False
Suppose -1396692 - 130908 = -120*v. Is v a multiple of 38?
True
Suppose 4*p = -4*q + 720, 7*p = 5*q + 2*p - 930. Suppose h + q = 523. Is h a multiple of 10?
True
Suppose 3*c - 164753 + 56095 = -2*s, 12 = 3*c. Is 13 a factor of s?
False
Let f = 14709 - 9821. Does 112 divide f?
False
Let n = -6181 + 12580. Is 26 a factor of (2/2)/(6 + (-38385)/n)?
False
Let c be 36/84 + 14409/(-7). Is c/(-4) + 0 + 1/(-2) a multiple of 37?
False
Suppose 23*a - 17*a = 42. Does 18 divide 2642/a + (-5)/((-105)/12)?
True
Let h(c) = 4*c + 56. Let m be h(-9). Is m*((-20)/(-30) + 31/12) a multiple of 15?
False
Suppose -169617 = -5*i - 4*p, -78060 = 4*i + 3*p - 213752. Is 19 a factor of i?
False
Let h = 10860 + -10375. Does 2 divide h?
False
Suppose -9469 = -735*m + 734*m - 3531. Is m a multiple of 15?
False
Suppose -2*j = d - 3765, -d + 194*j - 197*j + 3763 = 0. Is 15 a factor of d?
False
Suppose 0 = -3*b - 2*l + 8, -4*l + 16 = b - 0*b. Suppose -59 = z - 23. Let w = b - z. Does 18 divide w?
True
Let m be 5 + (-146 - (-3 - 2)). Let h be (-1)/(3 - 5)*(355 - -3). Let b = h + m. Does 3 divide b?
False
Let s(u) = 14*u - 31. Suppose -4*z = -4*w - 5*z + 92, z = w - 18. Does 11 divide s(w)?
False
Suppose 5*z - 2981 - 1774 = 5*r, -5*r - 3809 = -4*z. Is 11 a factor of z?
True
Is 121 a factor of (-1394912)/(-44) - (12/30)/(22/30)?
True
Suppose -5*m + 13414 = -4*x, 0 = -49*x + 44*x + 20. Is 5 a factor of m?
False
Let f(i) = 9*i**3 - 9*i**2 - 6*i + 27. Let y(g) = 7*g**3 - 8*g**2 - 6*g + 25. Let c(h) = -3*f(h) + 4*y(h). Is 27 a factor of c(10)?
True
Let z be 3 + 5037/12 + 12/(-16). Let j = z - 160. Is 5 a factor of j?
False
Suppose -18*o = 2*o - 61*o + 2285832. Does 46 divide o?
True
Let v = 1289 + -425. Does 4 divide v?
True
Let i(z) = -5*z - 3. Let s be i(-1). Suppose 3*d = u + 60, -u - 2*u - 9 = 0. Let w = s + d. Does 3 divide w?
True
Suppose 34*i - 44291 - 7630 = 29271. Is 116 a factor of i?
False
Suppose 0*c + c + 4 = 0, p - 24 = 5*c. Let b be (-721)/(-14) - (-2)/p. Suppose 2*q = -t + b, -t + 2*q = 4*t - 236. Is 12 a factor of t?
True
Suppose 0 = -a + 5*p - 0*p + 26, 3*a = p + 8. Is 4 a factor of (57 - 59)/(a + (-51)/50)?
True
Suppose 40*r = 50*r - 240. Let a = 32 + r. Does 17 divide a?
False
Let v = -3078 + 7712. Suppose 1798 = 16*h - v. Is 44 a factor of h?
False
Let v(z) = 88*z**2 + 1925*z - 69. Is v(-23) a multiple of 138?
True
Suppose 7*s + 18 = 5*s. Let i be (-3)/(s/(-2)*1/(-6)). Suppose 4*m - 72 = -i*f, -f = 5*m - m - 9. Is f a multiple of 21?
True
Suppose 20890 = x + 16948. Does 18 divide x?
True
Let n(w) = -2*w**2 + 16*w + 21. Let s be n(9). Suppose -9*x = -s - 24. Suppose 390 = x*q - 78. Is 13 a factor of q?
True
Suppose j - 6 = 3*h, 3*j = -4*h - 5 + 10. Suppose -4*g - m = -383, -3*g + 288 = j*m - 2*m. Is g a multiple of 14?
False
Suppose 0 = -g - 2*h + 1 - 4, 0 = g + 3*h. Let j(a) = -2 - 13 + a**2 + 3 + 10*a - 5*a. Does 12 divide j(g)?
True
Suppose -62*c = -11145 + 3147. Is 17 a factor of c?
False
Let m(f) = -f**3 - f**2 + 2*f - 3. Let z be m(-4). Let s(b) = -b**2 + 8*b - 33. Let y be s(3). Let h = z + y. Is 5 a factor of h?
False
Suppose -5*y = 16 - 76. Is (11 - -1)/(y/240) a multiple of 40?
True
Suppose 5*d = c + 275, c - 3 = d - 62. Let h = d - 54. Suppose 1134 = -h*i + 7*i. Is i a multiple of 9?
True
Let r = -32293 - -52863. Is 55 a factor of r?
True
Suppose 2*z + 121 - 25 = 0. Let t = -60 - z. Is t/(-48) - (-87)/4 a multiple of 11?
True
Suppose -240 + 6680 = 4*g. Suppose 0 = -7*l + 1680 + g. Does 49 divide l?
False
Suppose 0 = -k + 5*a - 2*a, -a = 4. Let j be (-2 - k)*11/2. Is 8 a factor of 11/(j/10) + 85?
False
Let r =