 of 9?
True
Let n(r) = 56*r - 236. Does 4 divide n(10)?
True
Suppose -15*q - 408 = -16*q. Suppose -5*m + 63 + 157 = 2*w, -4*w = 2*m - q. Is 10 a factor of w?
True
Suppose 3*w + 30 = -3*w. Let t = 25 + w. Does 20 divide t?
True
Let s(n) = -n + 1. Let y(a) = 3*a**2 - 7*a + 14. Let w(k) = -4*s(k) - y(k). Let v be w(-14). Is 31 a factor of v/(-16) - (-1)/2?
False
Suppose -3*g + 5 = 4*c - 24, -c = -g - 2. Suppose -c*z + 8 + 2 = 0. Suppose -z*h - 5*f + 62 + 6 = 0, 5*h = 5*f + 100. Does 8 divide h?
True
Suppose 3*t + 621 = u, -5*u - 498 + 3564 = -2*t. Does 51 divide u?
True
Let x(f) = -f**2 + 39*f - 92. Is x(20) a multiple of 8?
True
Let b(r) = r**2 - 9. Suppose -f = v - 5*f + 6, 3*v - 18 = 3*f. Let a be b(v). Suppose 3*w + 2*q - 70 = -w, -4*w + a = -5*q. Does 10 divide w?
False
Suppose 3*j - 12 = -s, 0 = -3*s + s - 3*j + 15. Suppose 0 = -2*n - 3*k - 3, s*n - 3 = -0*k + 3*k. Suppose 2*q - 79 - 83 = n. Does 18 divide q?
False
Let x(h) = h**3 + 3*h**2 - 3*h + 2. Let i be x(3). Let o = i + 91. Suppose -d - 3*d = 0, 2*t = d + o. Does 22 divide t?
False
Let x = 2769 + -2347. Does 58 divide x?
False
Let a(z) = -351*z**3 + z**2 - 5*z + 4. Is 36 a factor of a(-2)?
False
Let h = -1 - -7. Suppose -5*m + 19 + h = 0. Suppose 0 = m*y - 8*y + 261. Is 29 a factor of y?
True
Suppose 1 = -v + 3. Suppose 5*w = 4*d + w - 140, -4*w - 76 = -v*d. Is d a multiple of 8?
True
Suppose 3*g - 2*c - 2 = 0, -4*c = -3*g + c + 5. Is 11 a factor of g/(-5) + (-55)/(-1)?
True
Let r = 433 - 108. Is r a multiple of 8?
False
Let p(a) = a**3 + a - 150. Suppose -6*n = -9*n. Let s be p(n). Let i = s + 212. Is i a multiple of 27?
False
Does 22 divide (-132)/(-24)*(-2 - -4)*138?
True
Let z = -33 + 36. Suppose 195 = z*p - 81. Suppose 0 = -6*t + 5*t + p. Is t a multiple of 23?
True
Let j = 19 - 7. Let y be j/4 - 150 - -2. Let p = -95 - y. Does 25 divide p?
True
Suppose -2 = -4*s - 3*c, 2*s + c = -3*s + 8. Suppose 0*h - a - 417 = -5*h, 5*h - s*a - 419 = 0. Does 12 divide h?
False
Suppose -318*r + 1710 = -313*r. Is r a multiple of 18?
True
Let s(f) = -4*f**2 - 18*f - 26. Let h(m) = 2*m**2 + 9*m + 13. Let p(l) = 5*h(l) + 2*s(l). Does 2 divide p(-4)?
False
Let z be 120/(-9)*15/(-10). Suppose z = -5*x, 5*l - 2*l + 2*x = 142. Let j = l + 31. Is j a multiple of 16?
False
Suppose -5115 = -5*r + 1040. Is r a multiple of 24?
False
Suppose x - 12 = -2*z - 3*z, 2*x = 5*z - 6. Suppose -f - 4*h - 26 = 0, -f - 56 = -0*f - z*h. Let t = f - -65. Is 19 a factor of t?
True
Is 7 a factor of (-2 + (-3160)/(-5))/((-6)/(-8))?
True
Is 14 a factor of 7981/6 - ((-230)/(-12) + -19)?
True
Let h(y) be the first derivative of y**3/3 + 3*y**2 + 17*y - 11. Does 18 divide h(-13)?
True
Let d(w) = -47*w**3 - 5*w**2 - 5*w + 3. Is d(-3) a multiple of 54?
True
Let r be 27/5 + (-24)/60. Suppose r*p - 9*p + 48 = 0. Let w = -5 + p. Is w a multiple of 2?
False
Suppose 33*d - 4943 = -1907. Does 26 divide d?
False
Suppose 4*p = 2299 + 3357. Suppose 10*z + p = 17*z. Does 13 divide z?
False
Suppose -2291 = 20*x - 8611. Is 15 a factor of x?
False
Is 32 a factor of (2/(-2))/(6/(-3720))?
False
Suppose -188*q - 7695 = -197*q. Is 165 a factor of q?
False
Let z(r) = 2*r**2 + 2*r - 3. Let g be z(2). Let y(t) = -t**3 + 9*t**2 - t + 8. Let a be y(g). Is 27 a factor of 2*a*(-55 + 5)?
False
Let a be 12/(-2)*(-2)/4. Suppose -4*d - 20 = 4*c, 0 = d - 4*d - a. Let r = 11 - c. Does 15 divide r?
True
Let j be 3*2 + 18/(-6). Let k be 2/(-1 + j)*9. Suppose -60 = 5*d - k*d. Is 6 a factor of d?
False
Suppose 34 = 6*m - 86. Suppose -27 = -n + s, -5*s = -n + 27 + m. Is n a multiple of 2?
True
Suppose 0 = -2*a - 2*a. Suppose 0 = 3*g - 4*g + 3. Let n = a + g. Is 2 a factor of n?
False
Let p(f) = 4*f - 49. Let a be p(13). Suppose 0 = -0*w + a*w - 135. Is w a multiple of 30?
False
Let b = -84 - -13. Let f = 183 + b. Does 28 divide f?
True
Suppose 4*d - 12871 = -5*u, -3*d - 15*u + 10*u + 9647 = 0. Is d a multiple of 104?
True
Let i be ((-42)/(-12) - -5)*4. Suppose -162 = -2*h + 4*b, -5*b + 266 = 3*h + i. Is h a multiple of 7?
False
Let n(k) = 18*k**2 + 3*k + 12. Suppose 0 = -9*m + 19*m + 30. Is 11 a factor of n(m)?
True
Let w(b) = 250*b - 257. Is w(9) a multiple of 13?
False
Suppose 3*f - 5 = -a, -4*a + 5*a - 5 = -f. Suppose 376 = a*d - 79. Is d a multiple of 13?
True
Suppose -6*z + 2*z = 0, -z = -4*g + 600. Suppose o + 3*l = 30, 5*o = -6*l + 3*l + g. Does 6 divide o?
True
Suppose -18069 = -12*i + 2511. Does 16 divide i?
False
Suppose -c - b = b - 34, -4*b - 4 = 0. Is 6 a factor of c?
True
Let p be 10/(-95) + (-378)/19. Does 7 divide (-4)/(-10) + (-412)/p?
True
Let t(a) = -a + 5. Let g be t(3). Suppose 3*n - 5*d - 69 = 0, -3*n + 93 = g*d + d. Is 5 a factor of n?
False
Let x(y) be the first derivative of y**2 + 17*y + 17. Suppose 8 = -3*n - 4. Is 4 a factor of x(n)?
False
Suppose 16 = 6*r - 2*r. Suppose 3*v - 3*n = -0*n - 3, 2*n - 2 = -r*v. Suppose -5*x + i = -37, v*i + 4 = -2*i. Is 2 a factor of x?
False
Suppose 5*u + 18 = 3*u. Let f(h) = 2*h**3 + 41*h**2 + 23*h + 22. Let d be f(-20). Let o = u - d. Is o a multiple of 18?
False
Is 14 a factor of (-60)/90*2835/(-2)?
False
Suppose 0*z - 4 = z. Let l be -2*(-11)/(-4)*z. Let g = l - 10. Is g a multiple of 3?
True
Suppose -255 = -4*n + 5*a, -2*n + 0*a = -a - 123. Suppose -4*i = 3*m - 15 - 54, n = 3*i + 5*m. Does 3 divide i?
True
Suppose i = -5*h + 450, i + 203 - 23 = 2*h. Is h a multiple of 10?
True
Let y = 1984 + -876. Is y a multiple of 33?
False
Let p = -2 + 2. Let j(u) = u + 3. Let a be j(p). Suppose t = -3*y, a*t - 5*y = -8*y + 12. Is 5 a factor of t?
False
Let n = 64 + -64. Is (45 - 18)*(1 - n) a multiple of 6?
False
Suppose -2*s = -s + 5*z - 25, -4*z + 20 = -4*s. Suppose 0 = -s*p + p. Let a(d) = -d**3 + d**2 + 6. Does 2 divide a(p)?
True
Is (182/(-56))/(2/(-768)) a multiple of 26?
True
Suppose a = 15 - 10. Let f(i) = -i + 7. Let t be f(a). Suppose 5*k = -2*d + 70, -5*k + 5*d + 95 = t*d. Does 8 divide k?
True
Suppose -30*x - 11*x = -129191. Is x a multiple of 137?
True
Suppose z + 2*z + 1800 = 4*v, -5*z - 1350 = -3*v. Let w = v + -298. Does 19 divide w?
True
Let a(v) = -v - 4. Let b be ((-2)/(-4)*6)/1. Let z be a(b). Let g = z + 15. Does 8 divide g?
True
Let x(l) = l**3 + 7*l**2 + 3*l + 6. Let r be 24/(-5) - 2/10. Let f be x(r). Suppose 0 = 4*d + 1 - f. Is 4 a factor of d?
False
Let g(q) = -2*q - 15. Let v be g(-7). Let r be v + 5*(3 + 55). Let n = r + -199. Does 12 divide n?
False
Suppose 3*h - 4554 = 3*p, 0 = 3*h - 97*p + 98*p - 4562. Does 16 divide h?
True
Suppose -2150 = -20*r + 10*r. Does 5 divide r?
True
Let t be 4/(-10)*(3 + -123). Suppose 6*z - t = 2*z. Suppose -2*o = -4*c - 10 - z, 2*o = -5*c + 49. Is o a multiple of 5?
False
Does 9 divide (-2)/3*((-1434)/3 - 8)?
True
Suppose -7 = -2*l - 3. Suppose -3*k + l*j + 144 = -j, 0 = 2*k + 3*j - 101. Does 12 divide k?
False
Suppose 0 = -2*t + 10 - 0. Suppose -31 = -3*r - 5*y, 2*y - t = y. Suppose -r*j + 5*k = -0*k - 55, k - 55 = -4*j. Is j a multiple of 15?
True
Suppose 68 = -8*x + 25*x. Suppose -5*w + 20 = 0, -x*f - w = -5*f + 44. Is f a multiple of 16?
True
Let s(f) = f**3 - 7*f**2 - f + 3. Let a be s(7). Let u be (-186)/a*(-8)/12. Let i = -17 - u. Does 6 divide i?
False
Suppose 2*t - 14 = -2. Let w(m) = -m + 5. Let i be w(t). Let f(b) = -13*b + 1. Is 14 a factor of f(i)?
True
Suppose -46*w = -29*w - 3876. Is 38 a factor of w?
True
Let u(l) = 5*l - 18. Suppose -16*s = 6 - 86. Is u(s) a multiple of 4?
False
Suppose 45*s - 50*s + 1210 = 0. Does 6 divide s?
False
Suppose -5*s = -3*y - 5, -4 = 4*s - 4*y - 0. Suppose 3*r = 4*f - 333, -s*f + 14 = 4*r - 326. Is f a multiple of 15?
False
Let r(w) = -50*w. Let g(d) be the third derivative of 17*d**4/24 + 8*d**2. Let b(p) = -8*g(p) - 3*r(p). Is b(1) a multiple of 7?
True
Suppose 0*m + 4*m - 4 = 0, 0 = 3*d + m - 874. Is d a multiple of 21?
False
Let v(d) = -13*d**3 + 2*d**2 - 1. Suppose 3*z = 3*f - 12, -4*f - z = -2*f - 14. Let k(u) = u - 7. Let p be k(f). Is 7 a factor of v(p)?
True
Suppose -5*a + 10 = 0, 0 = -4*w - 5*a + 218 + 140. Is w a multiple of 14?
False
Let z be ((-76)/6)/((-4)/6). Let w = z - -76. Suppose l = 5*q - 2*l - w, 2*q + 5*l - 38 = 0. Is q a multiple of 4?
False
Suppose -32 + 27 = -q. Suppose -4*t = 2*j - 358, 0 = -q*t + j + 423 + 28. Is 10 a factor of t?
True
Suppose 3*u + 4*l - 1 = 0, -4*l + l = 2*u