 = -16 + 18. Suppose p - 6 = -m. Suppose -2*b + 66 = 2*g - m*g, -5*g + 175 = 5*b. Does 34 divide b?
True
Let v(y) = 2*y + 13. Let a be v(-6). Is 11 - (0 + a) - 1 a multiple of 3?
True
Suppose -3*q + 295 = -w, 3*w + 69 = 4*q - 316. Suppose 14*l = 9*l + q. Is l a multiple of 3?
False
Let i = -271 - -427. Is 13 a factor of i?
True
Let o be 106/(-4) + 1/2. Let s = o - -26. Let y = s - -14. Is 2 a factor of y?
True
Let l(x) = x**2 - 14*x - 2. Let m be l(14). Is 2 - (m + -1 + -1) a multiple of 3?
True
Is 12 a factor of (35079/(-22))/((-9)/6 - 0)?
False
Let i(h) = 2*h**2 + 3*h + 1. Let o be i(-6). Suppose 0 = -3*j - 54 + 111. Suppose -b + j = -o. Does 15 divide b?
False
Suppose 38*b = 46*b - 952. Suppose -3*k - i = 4*i - 349, -b = -k - i. Is 11 a factor of k?
False
Let x(u) = 19*u**2 + 4*u - 3. Let t be x(-4). Let m = 234 + -228. Suppose -m*w = -123 - t. Does 15 divide w?
False
Suppose 14*w - 17*w + 27 = 0. Suppose 4*p + 27 = -w. Is 11 a factor of p + 7 + 24*1?
True
Suppose 0 = 16*k - 20*k + 24. Suppose -4*y - 54 = -3*l, -5*l + k*y - 2*y + 98 = 0. Is 2 a factor of l?
True
Suppose -7*g - 10*g = -5304. Is g a multiple of 24?
True
Suppose -5*u + 2*y + 5638 = 0, 5*y + 538 = -u + 1644. Is u a multiple of 9?
False
Let o = -25 + 78. Suppose -2*u + o = -163. Is 36 a factor of u?
True
Let z(c) = c**3 + 18*c**2 + 12*c + 62. Is z(-17) a multiple of 12?
False
Let a = 5 - -5. Suppose 3*o = 3*b + 2 + a, -2*b = -5*o + 20. Let i(c) = c**3 - 3*c**2 + 3*c - 3. Is i(o) a multiple of 9?
False
Let i = 0 + 7. Suppose -10 + 24 = i*o. Is 1545/33 + o/11 a multiple of 10?
False
Let v(s) = -120 + 61 + 2*s + 75 + 2*s. Does 9 divide v(3)?
False
Suppose -3*a = h - 8*a - 323, 5*h - 1615 = 3*a. Does 19 divide h?
True
Suppose 0 = 5*a - 4*a + 1, -2*a = 4*h - 2654. Is 6 a factor of h?
False
Suppose 5*x - 2476 = -906. Suppose -x = -3*b + b - 2*v, 0 = 4*b - v - 643. Is 20 a factor of b?
True
Let d be (3/2)/((-18)/168). Let n = 82 - d. Is n a multiple of 24?
True
Suppose 0 = -5*g + 15*g - 40. Suppose -2*r = -g*t + 156, -3*t - 5*r = -50 - 67. Is t a multiple of 39?
True
Let i = 0 + 6. Suppose i*k = k - 30. Does 9 divide (-51)/34*(k + 0)?
True
Let w be ((-15)/6)/5*-6. Let i be 3/6 - (1 + 6/(-4)). Does 22 divide i*w*984/36?
False
Suppose -18*m = -37358 - 16642. Is 15 a factor of m?
True
Let l(y) = -y - 7. Let t be l(-11). Suppose -t*c = 2*r - 132, 0*r + 2*r = -c + 120. Is r a multiple of 24?
False
Let v be (1/1)/1*-6. Let r = 336 - 332. Is -18*r*v/9 a multiple of 24?
True
Suppose 0 = -10*b + 2848 - 38. Does 13 divide b?
False
Let i be 10/15 + (-58)/(-3). Suppose -i = -c + 25. Let u = c + -19. Does 7 divide u?
False
Let o(a) = a**2 - 7*a - 4. Let n be o(7). Let x be (-1)/(-4) + (-451)/n. Let r = x - 68. Is 15 a factor of r?
True
Suppose -a + 147 = -57. Suppose -2*m + 133 = n, -2*m = m + 3*n - a. Suppose -m - 51 = -4*c. Does 16 divide c?
False
Let o(l) = -l**3 - 9*l**2 - 8*l + 6. Let t be o(-9). Let j = -53 + t. Is 5 a factor of j?
True
Suppose -3*d - 4 - 16 = -4*r, 0 = 5*r + 5. Let j = 54 + d. Is 4 a factor of j?
False
Suppose -14*x = -9*x. Suppose -17*g + 16*g = x. Does 4 divide 63/9 + (4 - g)?
False
Let o = 3173 + -1027. Is o a multiple of 58?
True
Let y(j) = j. Let d be y(9). Suppose -d = -a + 5. Let m = -9 + a. Is m a multiple of 5?
True
Suppose 293 = 3*r - 5*i - 0*i, 3*i = 4*r - 398. Suppose -2*s - 39 = -r. Is 11 a factor of s?
False
Let h be ((-1)/(-1))/1*-5. Let z(l) = l - 4. Let s(j) = -2. Let a(k) = 2*s(k) - z(k). Does 5 divide a(h)?
True
Let l(m) = 7*m - 42. Is 14 a factor of l(14)?
True
Is 61 a factor of 981 + (-1)/(4/40*2)?
True
Let z(g) = -18*g + 6. Let v be z(-9). Suppose 9*l - 10 = -613. Let m = l + v. Does 43 divide m?
False
Let p(q) = 166*q**2 - 7*q + 3. Let d be p(2). Suppose 7*h = d + 1146. Does 37 divide h?
False
Let x(n) = 9*n - 10. Let a(t) be the second derivative of -t**5/20 - 2*t**4/3 - 3*t**3/2 - 4*t**2 - 3*t. Let c be a(-7). Is x(c) a multiple of 11?
True
Suppose 35*f - 39*f + 760 = 0. Is 19 a factor of f?
True
Suppose -4*s + 37 = -y, 5*y - 39 = -3*s + 2*y. Suppose 2*i = -3*w + 49, -w - 21 + 77 = 3*i. Let c = i - s. Does 3 divide c?
False
Let t = 15 + -30. Let g = -19 + 17. Is (-20)/t*(-15)/g a multiple of 5?
True
Let h = -87 + 165. Suppose p + 2*p - 141 = -2*a, a + 4*p - h = 0. Suppose -a = -2*o - 0*o. Is o a multiple of 9?
False
Let w(j) = j + 8. Let p be w(-6). Suppose -p*a + 9 = a. Suppose -2*x - 3*g = -109, a*g = x + g - 58. Does 26 divide x?
False
Suppose -3*s - 6 = 2*a, -s + 1 = 3. Suppose a = -j + 277 + 35. Is 13 a factor of j?
True
Let l = -269 + 355. Does 5 divide l?
False
Let d(v) = 12*v**2 - 5*v - 18. Is 5 a factor of d(-4)?
False
Is 4 - (1 - 2477 - -5) a multiple of 25?
True
Let j = 64 + -81. Let q = 36 + j. Does 5 divide q?
False
Let r = 615 - 329. Is r a multiple of 143?
True
Let q = 23 + -19. Suppose q*z = z + 3, 2*w = -2*z + 4. Is 25 - w - (-3 - -4) a multiple of 15?
False
Let i be (-2)/4*(-13 + 11). Suppose l + 9 = 3*f - 2*l, 0 = 3*f - 5*l + i. Suppose -3*m = -f*m + 450. Is m a multiple of 18?
True
Let o be ((-234)/36)/(1/(-6)). Let t = o + -37. Suppose 1 = -2*c + 5*q + t, 18 = c + q. Does 6 divide c?
False
Suppose -124*t + 110*t + 1862 = 0. Is t a multiple of 10?
False
Let c(q) = -q**2 + 21*q - 109. Let k be c(12). Let j(h) = h**3 - 7*h**2 + 7*h - 1. Let g be j(6). Let u = g - k. Does 3 divide u?
True
Let p = -82 - -189. Is p a multiple of 19?
False
Let w = -230 - -78. Let z = -85 - w. Is z a multiple of 12?
False
Suppose -b - b + 10 = 0, 0 = 4*g + 3*b - 23. Suppose -g*t + 93 = 321. Let a = -37 - t. Is 21 a factor of a?
False
Let m be 75*(10/25 - 0). Suppose -34*q = -m*q - 168. Is 14 a factor of q?
True
Let h(i) = -i**3 - 53*i**2 - 35*i - 120. Is 20 a factor of h(-53)?
False
Let t(r) = -r**2 + 2*r - 5. Let q be t(6). Let m = -9 - q. Does 4 divide m?
True
Suppose -2*v + 6*v = 2*j + 20, 0 = 4*v + 3*j - 40. Suppose 7*u = 525 - v. Is 7 a factor of u?
False
Does 31 divide (3 + -2)*1955 + 1 + -3?
True
Let q be ((-153)/6)/((-18)/24). Let b = q - -3. Does 7 divide b?
False
Suppose 2*m - 4*m = 4*h - 1982, -2*h + 994 = 2*m. Is h a multiple of 35?
False
Let i be 2/(-6)*0/(-4). Suppose i*k - 130 = -5*k. Let t = 13 + k. Does 13 divide t?
True
Let t = 197 - 112. Is 10 a factor of t?
False
Is (2*-2)/((-772)/279657) a multiple of 7?
True
Does 13 divide 5396/11 + 486/(-891)?
False
Let i = -25 + 25. Suppose i*x - 3*x = -9. Suppose -x*f = -0*f + 3, 5*f = -4*b + 315. Is 16 a factor of b?
True
Suppose 0 = -5*y + 15, -i - y + 6*y = -81. Is 16 a factor of i?
True
Is 8 a factor of ((-2322)/72)/((-3)/172)?
False
Suppose -4*d + 3*b + 6 + 14 = 0, -5*b = 0. Suppose d*q - 4 - 16 = 0. Suppose q*y + 0*y - 224 = 0. Is y a multiple of 28?
True
Let t be 1 - -3 - 11*-4. Let q = 50 - t. Is 2 a factor of q?
True
Let p(v) = -v**2 - v + 104. Let i = 20 - 20. Is 13 a factor of p(i)?
True
Suppose -2*b + 4*g = -2, 0 = -4*b - 2*g + 17 + 7. Suppose x + 2*s = b*s + 89, -x = 3*s - 59. Is 31 a factor of x?
False
Let r = 34 - -644. Is 11 a factor of r?
False
Let r = -5 + 11. Let d be (30/7)/(r/(-42)). Let c = 48 + d. Is 13 a factor of c?
False
Let g be (-3 - -7) + (0 - 2). Suppose -2 = g*p, -4*p = -d + 3*d + 72. Let l = -11 - d. Is l a multiple of 15?
False
Suppose -2*y = 3*n - 3*y - 12, -6 = -4*n - 2*y. Suppose -5*r - n*g = 97, -2*r + 6*g - g = 14. Let x = r - -33. Is x a multiple of 16?
True
Suppose q - 1802 = -3*h, 9*h = 7*h + 3*q + 1194. Does 25 divide h?
True
Suppose 4*i - 14*i + 7210 = 0. Is i a multiple of 103?
True
Let w = 1139 - 190. Is 48 a factor of w?
False
Suppose 5*v = 3*v + 580. Let z = -206 + v. Is z a multiple of 21?
True
Suppose 5*c + 20 = 5*w, -5*w = -4*c - 10 - 10. Suppose c = -5*b - 453 - 252. Let v = b + 197. Does 19 divide v?
False
Suppose r - 1002 = -2*u, r + u = 16 + 989. Is r a multiple of 48?
True
Let v(m) = 11*m**3 - 5*m**2 + 26*m - 57. Does 14 divide v(6)?
False
Suppose -h + 3*q + 21 = 3*h, 2*h = q + 9. Suppose -l + h*f = -65 - 43, -l + 123 = 2*f. Does 9 divide l?
True
Suppose -4*z = -3*q - 43, -3*q - 67 = 2*q - 2*z. Let y(a) = a**2 + 4*a - 12. Let m be y(q). Suppose -t = 4*k + t - 84, -5*k - t = -m. Does 21 divide k?
True
Suppose -5*w = 3*c - 15, -w - w = 2*c - 6. Suppose c = -p + 27 + 29. Suppose -6*o + p = o. Is o a multiple of 4?
True
Let x(v) = 16*v**2 - 