 = 2*n. Let r = n - -28. Does 13 divide r?
False
Does 22 divide 1*10 + 42719664/669?
True
Does 17 divide (-10523*7/14)/(1/(-6))?
True
Let i(m) = m**3 - 8*m**2 - 12*m + 23071. Is i(0) a multiple of 134?
False
Let k = 328 - 230. Suppose -5*z + 8 = h - 94, h + z = k. Let i = h + -58. Does 3 divide i?
True
Suppose -79461 + 495599 = 230*m - 190832. Does 29 divide m?
True
Let i = 13231 + -6763. Does 14 divide i?
True
Let o(a) = -a**2 - 3*a - 36. Let t be o(0). Let c = -341 + 201. Let h = t - c. Does 8 divide h?
True
Suppose q + 2 = 4. Suppose 5*a - 3508 = -q*f, 0 = -2*f - 2. Does 13 divide a?
True
Let l = -1 + 6. Let j(b) = 5 + 246*b + 255*b - 473*b. Is 29 a factor of j(l)?
True
Suppose 8544*i - 8549*i = -7520. Is 94 a factor of i?
True
Suppose -g - 2*v = -1074, -2*g + 2153 = -0*g - v. Suppose -1071*l + g*l - 1170 = 0. Does 3 divide l?
True
Let g be (-4 + (-29)/(-5) - 1)*10. Is 5 a factor of (3/6)/1*g - -49?
False
Suppose -w = n - 12506, n - 5*w - 205 = 12301. Is 1/(-4) - n/(-104) a multiple of 8?
True
Let r = -66 - -66. Suppose -5*a - 2*w = -25, -2*a + w + 1 = -r. Suppose 48 = -a*q + 342. Does 10 divide q?
False
Let g = 7 - 11. Let c(x) = -2*x**2 + 6*x - 1. Let r be c(g). Let o = -38 - r. Is o even?
False
Let v(z) = z**3 + 39*z**2 - 67*z - 594. Does 23 divide v(-39)?
False
Suppose 0 = 2*s - s + x - 4, 4*s - 9 = 3*x. Let o be (-1903)/s + (-25)/15. Is (27/(-6))/3*o/9 a multiple of 32?
False
Suppose w = 7*w. Suppose w*n - 6*n + 24 = 0. Suppose -4*a + 394 = -4*l + 42, -n*a + 347 = -3*l. Is a a multiple of 18?
False
Let y = -28 - -15. Let x = y - -38. Is x a multiple of 2?
False
Suppose x + 4*a + 16 = 0, 5*x - 5 = a - 1. Let q be 1 - x - -6 - (-1)/(-1). Is q/(-15) + (-3148)/(-20) a multiple of 34?
False
Is 113240/(-50)*(-7)/((-84)/10)*-3 a multiple of 38?
True
Suppose -1432 + 10860 = 4*k. Suppose -3*c - k = -5*q + 314, 0 = -2*q + 3*c + 1063. Does 11 divide q?
False
Let v(s) = -s**2 + 9*s + 2. Let b be v(7). Suppose 3*j - b = -j. Suppose j*q = -a + 239, -2*q + 4*a + 91 = -33. Is q a multiple of 15?
True
Let v be (-3)/4 - (-2155)/4. Let f(i) = -38*i + 21. Let u be f(-9). Let a = v - u. Does 15 divide a?
False
Let s be 7953/6 - 5/10. Does 24 divide s + 4 - -3 - 9?
False
Suppose 6862 = h - 342*f + 339*f, -34177 = -5*h - 4*f. Does 11 divide h?
False
Let a(v) = 2*v**2 - 30*v - 95. Let y be a(-5). Let p = -20 + y. Is p a multiple of 4?
False
Let t(g) = -g + 1. Let o(a) = 174*a + 6. Let i(n) = o(n) - 12*t(n). Does 18 divide i(1)?
True
Let v(o) = -23*o + 77. Let w be v(-19). Suppose -3*g + w = -305. Does 15 divide g?
False
Let y(c) = 295*c**2 + 14*c - 401. Does 12 divide y(-12)?
False
Let i = 494 + 14170. Does 12 divide i?
True
Let x(k) = 3*k**2 - 21*k + 4. Let p be x(14). Let g = p - 59. Does 16 divide g?
False
Let i be 10 - (2 + -4 + 7). Suppose -27 + 7 = -i*c, 5*h - 2*c = 2. Suppose 4*u - 304 = -4*g, -h*u = g - 5*g - 176. Is 10 a factor of u?
True
Let n(z) = 2*z + 8. Let y = 8 + 3. Does 15 divide n(y)?
True
Suppose 51*j - 46*j = -5*s + 58480, -70211 = -6*s + j. Is 11 a factor of s?
False
Let r = 62 - 58. Suppose 0 = r*p - k - 529, -3*p + 2*k + 173 + 230 = 0. Let c = 26 + p. Is 19 a factor of c?
False
Suppose -3*w + 143 = -16*w. Let g(y) = 11*y**2 - 15*y - 43. Let s(l) = 5*l**2 - 8*l - 21. Let x(p) = -6*g(p) + 13*s(p). Does 12 divide x(w)?
False
Let h be (-2 - -6) + 1 + (76 - -2). Let o = 95 - h. Does 2 divide o?
True
Let t(m) = 327*m**2 + 4*m - 14. Let s be t(2). Suppose -4*o + 4*z = -122 - s, -5*z = -2*o + 721. Is 61 a factor of o?
False
Let f = -80 - -177. Let o = f + -95. Suppose o*z + 119 = 3*l - 100, -3*l + 210 = -5*z. Is l a multiple of 25?
True
Let v(l) = 12*l + 17. Let m(g) = 11*g + 18. Let q(d) = 3*m(d) - 2*v(d). Let p(y) = -y**2 + 5*y + 13. Let x be p(6). Is 17 a factor of q(x)?
False
Does 3 divide (-110)/(-55)*(-49719)/(-6)?
False
Let d = 8517 - 7245. Is 4 a factor of d?
True
Let b be 1231 + 5 + 12/(-12). Let s = -1 - -6. Suppose -4*w = 2*a - 5*a - 987, b = 5*w - s*a. Is w a multiple of 41?
True
Is ((-8280)/(-6))/((-24)/(-48)) a multiple of 120?
True
Let u(c) be the first derivative of 56*c**3/3 + 2*c**2 + c + 55. Is u(3) a multiple of 44?
False
Let j = 34 + -23. Let q(t) = -5*t - 41. Let n(z) = -z + 2. Let c(y) = -4*n(y) - q(y). Is 22 a factor of c(j)?
True
Suppose -3*r + p + 8349 = 0, 10*p - 7*p - 13901 = -5*r. Is r a multiple of 3?
False
Let b(w) = w**3 - 2*w + 2. Let m be b(0). Suppose 1720 = m*r - 2*y, 3*y - 1669 = 5*r - 5979. Does 32 divide r?
False
Let y(a) = -320*a - 174. Let i be y(-5). Let c = i + -736. Is c a multiple of 17?
False
Suppose 9*l - 12*l = 3*i - 30204, 3*i - 50346 = -5*l. Does 47 divide l?
False
Suppose 0 = 20*t - 24*t + 5*x + 30757, 6*t = -x + 46161. Is t a multiple of 34?
False
Let v = 813 + -373. Let o = 45 - -4. Suppose -v = o*r - 53*r. Is r a multiple of 10?
True
Suppose -6*b = -42*b + 367668. Does 114 divide b?
False
Let l = 134 - 128. Suppose -461 = -l*v + 109. Is v a multiple of 19?
True
Suppose 3*q - 2*o = 6 + 4, -5*q + 6 = 2*o. Suppose b = -3*c + 501, -q*b + 495 = 3*c + b. Is c a multiple of 28?
True
Suppose 0 = 3*o + 56*f - 59*f + 3, -3*o + 22 = 2*f. Suppose o*c - 446 = 514. Does 5 divide c?
True
Let d(t) = 111*t**2 + 31*t - 51. Let n(z) = 28*z**2 + 8*z - 13. Let y(v) = -2*d(v) + 9*n(v). Is 25 a factor of y(2)?
True
Let w = 26170 - -5554. Is 14 a factor of w?
True
Let g(c) = -c**2 + 8*c + 4. Let q(r) = r**2 - 9*r - 5. Let j(o) = -4*g(o) - 3*q(o). Let m be j(2). Does 18 divide 78 - m/((-7)/2)?
False
Suppose -21 + 19 = -j, 2*j = -3*s + 3745. Is 52 a factor of s?
False
Suppose -6*u + 119 + 49 = 0. Suppose -278 = 27*m - u*m. Is 10 a factor of m?
False
Let o(g) = 8*g**3 - 8*g**2 - 53*g - 13. Does 5 divide o(11)?
False
Let j be 8/(-84)*-7 + 118/3. Suppose -2*h + g = 61, -2*h + g = -3*g + 58. Let l = j - h. Is l a multiple of 14?
False
Suppose 68*o - 113*o = 166*o - 116683. Does 4 divide o?
False
Suppose -d - 2*i = 12 + 20, 5*d - 3*i = -199. Let v be -2 - (-3)/3 - -2. Is 8 a factor of (d + -2)*(-1)/v?
True
Let u = 83 + -79. Let f(m) = -m**3 + 4*m**2 + 3*m - 6. Let o be f(u). Does 11 divide (o + -2 - 2)*985/10?
False
Let g = 59 - 54. Suppose g*w + 3*u - 5 - 9 = 0, 0 = 4*w - u - 18. Let t(z) = z**2 - 4. Is t(w) even?
True
Suppose 158*y - 4*f = 153*y + 5032, 2*y = 2*f + 2012. Does 18 divide y?
True
Suppose 593 + 3691 = 17*t. Is 84 a factor of t?
True
Let a(q) be the third derivative of -1/5*q**5 - 16*q**2 + 0 + 0*q + 5/24*q**4 - 14/3*q**3 + 1/120*q**6. Is 10 a factor of a(12)?
False
Let h be ((-1)/(2 + (-444)/220))/(-1). Let z = 57 + h. Is 46 a factor of z + 3792/42 + (-2)/7?
True
Suppose 0 = -21*w + 19*w - 102. Let i = 21 - w. Is 7 a factor of i?
False
Let v be 1 - 5/((-10)/6). Suppose -7*n + v*n = -42. Does 27 divide (178/6)/(n/42)?
False
Suppose 13*l + 3*j = 15*l - 176, -j + 264 = 3*l. Suppose -408*g = -406*g - l. Does 5 divide g?
False
Suppose 0 = -58*y + 1421308 + 253848. Is y a multiple of 7?
True
Suppose 28*u - 38 = 9*u. Let o be 15/3*(-4)/5. Is 46 a factor of (-21 - 2)*o*u?
True
Let z be 0/(2*(7/(-2) + 5)). Suppose z = -2*q - 5*v + 166 - 33, -q - 3*v + 69 = 0. Is 37 a factor of q?
False
Suppose 8 = 3*q - 5*q. Let g(b) = 5*b + 20. Let r be g(q). Suppose 0 = -2*u - r + 52. Is 4 a factor of u?
False
Suppose 48 - 28 = 4*v. Suppose -9 = -2*w + 4*i + 71, v*w - i = 182. Does 4 divide w?
True
Does 154 divide 2/14 - ((-172336)/28 + (-1 - 4))?
True
Let k(g) = 22*g + 8. Let u = 0 - -8. Let s be k(u). Suppose -6*n + s = 2*n. Does 11 divide n?
False
Let y(a) = 4*a - 12. Let g be y(3). Suppose 0 = -3*z - g*z + 2*m + 50, -40 = -z - 4*m. Suppose 0 = w + 4*w - 4*n - 45, 4*n = z. Is 4 a factor of w?
False
Suppose -9*m + 1721 = -223. Suppose -8*j + 288 = -m. Is 24 a factor of 198 + ((-1)/(-5) - j/15)?
False
Let s = -621 + 611. Let m(k) = -2 - 3*k**2 + 18 + 14*k + 5*k**2. Is 26 a factor of m(s)?
False
Let a(o) = o - 4. Let l be a(8). Suppose -74 = l*d + 2*b, 2*b = -4*d + 7*b - 39. Is d/(-48) - (-1)/3*17 a multiple of 6?
True
Let k be (2/(-2))/((-1)/157). Suppose k = x - 16. Let j = -66 + x. Is j a multiple of 18?
False
Suppose 5*t = -t - 2814. Let o = t - -805. Suppose 0 = v + 13*v - o. Is v a multiple of 3?
True
Let u(s) = -s**3 + 2*s - 2. Let z be u(-2). Suppose -3*w - 3*i + 3010 = z*w, -w = 2*i - 595. Is 11 a factor of w?
True
S