uppose -27*o - 153 = -44*o. Is o a multiple of 2?
False
Let p = 2170 + -1613. Is p a multiple of 4?
False
Let x(r) be the first derivative of r**3/3 - r**2 - 2*r + 3. Let c be x(4). Is 19 a factor of c + -8 - (-2 - 27)?
False
Let c = -2288 + 3570. Suppose 2*s = -f - 2*f + c, -3*s - 12 = 0. Is f a multiple of 43?
True
Let b(g) = 2*g**2 + 75*g - 38. Does 30 divide b(-52)?
True
Let g(j) be the first derivative of -3*j**2/2 + 41*j + 1. Let p be (0/4)/((-24)/(-56)*7). Is 10 a factor of g(p)?
False
Suppose c + 2*r - r + 1 = 0, -4*r - 22 = -5*c. Let t(b) = 26*b + 53. Let l be t(-4). Does 19 divide (-3 - 2) + c - l?
False
Let m(i) = 951*i - 151. Does 7 divide m(3)?
True
Let r(w) = -w + 11. Let d(b) = b**3 + 3*b**2 - 11*b. Let m be d(-5). Does 6 divide r(m)?
True
Let v(m) = -m**3 + 2*m**2 + m. Let t be v(-4). Let n = t - 65. Is 9 a factor of n?
True
Let y(i) = i + 17. Let s be y(-14). Suppose -s*d + 4*d - 36 = 0. Suppose 4*c - d = 52. Does 22 divide c?
True
Let t(k) = k**3 + 12*k**2 + 10*k - 11. Let r be t(-9). Suppose 0 = 2*s + 4*d - 3*d - r, d = -4*s + 284. Let q = -27 + s. Does 14 divide q?
False
Is 18 a factor of 829 + 1 + (-10)/(10 - 5)?
True
Let o(x) = 7*x**2 - 11*x + 34. Is o(4) a multiple of 34?
True
Is 31 a factor of (-2)/20 + (-2464499)/(-890)?
False
Let v(z) = -2*z**3 - 5*z**2 + 10*z - 5. Let d be v(-6). Suppose -4*y = 5*g - d, -2*y + 4*y + 5*g = 81. Is 9 a factor of y?
False
Suppose 0 = -5*k + 20, 0*z - 4*k = 4*z - 716. Is 25 a factor of z?
True
Suppose 3*a - a = -4*m + 1958, 3*a = -2*m + 985. Does 8 divide m?
True
Let k(t) = 6*t**2 + 20*t - 2. Is k(-4) a multiple of 2?
True
Let m(t) = -t**2 - 20*t - 25. Suppose 0 = -0*j + 3*j + 33. Does 22 divide m(j)?
False
Suppose -24*a + 13*a = -44. Let g = -533 + 754. Suppose a*z - g = -61. Is 8 a factor of z?
True
Suppose -3*l + 9 = -4*p + 2, 2*p - 4*l = 4. Is 27 a factor of (3 + p)/(3/(-249))?
False
Let c be 0*(28/8 + -4). Suppose 4*a - 130 = -a. Suppose c = -t + 10 + a. Is 9 a factor of t?
True
Suppose -y = -3*a + 2*y + 18, 18 = -2*a - 4*y. Let h = a + 4. Suppose -l - 22 = -f - 5, 5*l - h = -f. Is f a multiple of 7?
False
Let y(w) = -w**2 + 8*w + 22. Let z be 9/(-3) + (-72)/(-6). Let o be y(z). Let i = -1 + o. Is 4 a factor of i?
True
Suppose -26*p + 2*m = -22*p - 544, 0 = -4*m. Is p a multiple of 34?
True
Suppose 5*g - 3*z = 15041 + 2089, 4*g = -2*z + 13726. Does 12 divide g?
False
Is ((-3790)/40)/(2/(-16)) a multiple of 10?
False
Suppose -5*c - 2*j + 5 = 3*j, 5*c + 2*j = 14. Suppose -292 = -2*w - 6*l + 2*l, -c*w + 560 = 2*l. Suppose 2*m - 10 = 0, 56 = 4*p + 2*m - w. Does 15 divide p?
False
Let c = 438 + -230. Is c a multiple of 4?
True
Let p = 127 + 342. Is 30 a factor of p?
False
Suppose -4*y = -5*d + 61, 5*d + 11 = -6*y + 2*y. Let r(k) = k**2 + 9*k + 3. Let w be r(y). Suppose 25 - 105 = -5*q + t, 75 = 4*q - w*t. Is 5 a factor of q?
True
Let m(g) = g**2 - 10*g + 6. Let h be m(10). Suppose -h = 3*a - 0. Does 9 divide a/((-165)/(-171) + -1)?
False
Let y(n) be the second derivative of n**3 - 3*n**2/2 - 6*n + 1. Does 21 divide y(11)?
True
Let i(y) = -51*y - 356. Does 90 divide i(-14)?
False
Let b be 69/(-2) - 2/4. Suppose 143 = -2*p + 87. Let g = p - b. Is 7 a factor of g?
True
Suppose 0 = -2*v + 10*t - 13*t + 75, -80 = -2*v - 2*t. Is 6 a factor of v?
False
Let c be (-1)/(3 + 104/(-34)). Suppose d + 2 = 0, -3*p + c = -5*d - 2. Suppose 8*k = p*k + 375. Is 25 a factor of k?
True
Let w(m) = 35*m + 36. Is w(9) a multiple of 11?
False
Let x = -18 - -7. Let w be (-2)/(-1) + x + -4. Let k = 1 - w. Is k a multiple of 5?
False
Suppose 304*y = 298*y + 2736. Is y a multiple of 6?
True
Suppose j = 8*j - 777. Suppose -j = -4*p + 69. Is p a multiple of 5?
True
Let a(x) = x**2 + 4*x - 64. Let l be (76/12*3)/(-1). Is 17 a factor of a(l)?
True
Let o = 1855 - 1225. Is 35 a factor of o?
True
Suppose 0 = 4*m - 498 + 326. Suppose -3*y = -3*t - 72, -5*y - 4*t = -4 - 98. Let c = m - y. Is c a multiple of 21?
True
Let l = 248 - 53. Is 23 a factor of l?
False
Let w = 7 + -4. Suppose -w*c - 20 = c. Does 25 divide 20*1*c/(-4)?
True
Let n(p) = -p**3 + 5*p**2 - 3*p + 5. Let r be n(5). Let d be 6/(-30) + (-152)/r. Suppose s - d = -c, -s - 9 = 3*c - 34. Is s a multiple of 3?
False
Let q(n) = n**2 + 4*n + 4. Let b be q(-2). Suppose -5*j + 4*j + 2 = b. Suppose 0 = -5*a - 2*x + 132, a + 2*a = j*x + 76. Is a a multiple of 8?
False
Let l = 3 - -2. Suppose -117 = -l*a + 4*a. Is 4 a factor of (-1 + 2)*a/9?
False
Let z(s) = 3*s**2 - 33*s - 34. Is 3 a factor of z(16)?
False
Let a = 10 + 19. Let b = a - -63. Is 11 a factor of b?
False
Let u = 826 + -75. Is u a multiple of 18?
False
Let z(x) = 3*x**2 - x + 2. Let k be z(0). Suppose 509 - 25 = k*u. Is 37 a factor of u?
False
Let g(b) = 78*b + 34. Is g(9) a multiple of 16?
True
Let y = -20 - -10. Let l be 20/y + 1*12. Suppose -l - 13 = -z. Is 15 a factor of z?
False
Let n(j) = -j**2 + j + 39. Suppose 0 = -6*r + r + 40. Let h be 2/(-6) - r/(-24). Does 10 divide n(h)?
False
Suppose -5*h + 2*d = 340, 2*d + 56 = -3*h + 2*h. Let r = h + 90. Is r a multiple of 4?
True
Suppose -5*o + 687 = 477. Is 21 a factor of o?
True
Let z = -1404 - -1578. Is 29 a factor of z?
True
Suppose 0 = 4*p + 4*h - 218 - 178, -p + 5*h = -99. Is p a multiple of 6?
False
Suppose 7268 = 5*v - 3*q, 9*q = 8*q + 4. Is 56 a factor of v?
True
Is ((-34)/(-17))/((-5)/(790/(-4))) a multiple of 8?
False
Let u(g) = -7*g**3 + g**2 - 3*g - 3. Let v be u(-2). Suppose -4*i - 3*r = -0*i - 231, -i = -r - v. Is i a multiple of 15?
True
Suppose -4*b = -l + 137, 2*l - 2*b - 685 = -3*l. Is 7 a factor of l?
False
Suppose -j - 4*j - 395 = -2*c, 4*j - 804 = -4*c. Does 15 divide 3/3*(c - 10/5)?
False
Is ((-7326)/(-15))/(46/115) a multiple of 37?
True
Let q be 6/(-10) + 14/(-10). Is 4 a factor of 6 + q/(-4)*4?
True
Suppose -6*p - 52 - 2 = 0. Let l = 11 - p. Is l a multiple of 11?
False
Is 3 a factor of (103 + 8)/(6/4) + 0?
False
Let g(a) = -39*a + 1. Suppose 0 = -4*z + z. Suppose 0 = -4*k - 2*o - 13 + 5, -5*k + 4*o + 3 = z. Does 20 divide g(k)?
True
Let x = -705 + 734. Is x a multiple of 21?
False
Let s(b) = -b + 6. Let i be s(0). Suppose 3*r + i*l - 4*l - 9 = 0, 4*l = -3*r + 9. Is r a multiple of 3?
True
Let i(k) = k**3 - 4*k + 45. Let h = 120 + -120. Does 7 divide i(h)?
False
Let l be -1*2/6*-3. Let r(i) = 15*i**2 - 3*i + 1. Is r(l) a multiple of 9?
False
Let h(f) = -234*f + 26. Does 29 divide h(-4)?
False
Let k = 3 - -17. Is (120/25)/(6/k) a multiple of 16?
True
Let y = -20 - -25. Let g be y - (2 + 1)*1. Suppose -10 + 2 = -g*j. Is 2 a factor of j?
True
Let m(u) = u**3 - 5*u**2 - 6*u + 5. Let v be m(6). Suppose -v*x + 56 = -x. Is 14 a factor of (-4)/x + (-600)/(-42)?
True
Let q be (-5716)/(-26) - 40/(-260). Is -5*(2 - q/25) a multiple of 8?
False
Suppose -r = 3*g - 538 + 105, -5*r - g = -2193. Suppose 2*h + 3*s - 99 = 69, 5*h = 2*s + r. Does 12 divide h?
False
Suppose -3144 = 266*t - 272*t. Is t a multiple of 3?
False
Let y(m) = 2*m**3 - m**2 - m - 1. Let f(j) = -j**3 + 8*j**2 + 2*j - 10. Let w be f(8). Suppose 0 = 2*p - w. Is y(p) a multiple of 12?
False
Suppose 14*s = 12*s + 370. Is s a multiple of 37?
True
Suppose 21 = 5*v - 44. Let g = v - -53. Is g a multiple of 9?
False
Let q be (-2)/(-9) - (-224)/126. Suppose 0 = q*y + 5 - 15. Suppose 2*k = y*k - 66. Does 20 divide k?
False
Is (2/(48/7592))/(1/3) a multiple of 13?
True
Let w = 1143 + 261. Is 12 a factor of w?
True
Suppose 9*a - 1426 = 743. Is a a multiple of 20?
False
Let s(m) = 56*m + 26. Does 11 divide s(7)?
True
Suppose 5*z + 12 = r + 3*z, -3*r = -2*z - 24. Suppose -8*h = -r*h. Suppose 4*u + a - 16 = 6, h = -4*u - 4*a + 28. Is u even?
False
Let f(m) = 7 + 11 + 17*m - 14*m - 7. Let i be (-10)/(-15) - 43/(-3). Does 14 divide f(i)?
True
Suppose -4*p + s - 39 = 8, 0 = 3*s + 15. Let x = p - -10. Does 14 divide -3*((-28)/x)/(-2)?
True
Suppose -13 = 4*w + 3*r, -2*w = -0*w - 4*r - 10. Let m be -6 + (w - (-5 + 1)). Is 49 - (1 - 0)*m a multiple of 13?
True
Let r(s) = s**3 + 9*s**2 + s + 5. Suppose f = -4 - 7. Let x be r(f). Let v = -139 - x. Is v a multiple of 14?
False
Let j = 815 + -171. Is j a multiple of 14?
True
Suppose -x - 20 = x + 2*y, -4*y = 3*x + 34. Let l = x - -9. Suppose l*h + 20 = -h, 0 = 5*p - 4*h - 120. Is 5 a factor of p?
True
Suppose -7*v = -14312 + 1432. Is 16 a factor of v?
