3*n. Does 33 divide n?
True
Suppose -2*t + 0 = 2*m + 4, -3*m = 4*t + 7. Let d be (-2 - -3)/(m/(-32)). Suppose 3*b = -b + d. Is b a multiple of 2?
True
Let j = -3 + 12. Suppose -59 = -5*w - j. Suppose 5*r = 160 + w. Is 17 a factor of r?
True
Suppose -2*b = t + 2*t - 500, 4*t = 2*b - 500. Does 3 divide b?
False
Suppose -4*c + 51 = 5*z - 262, -2*z - 306 = -4*c. Is 11 a factor of c?
True
Let o be 6/(-126)*-7 - 352/(-6). Let r = 122 - o. Is r a multiple of 21?
True
Suppose 177 + 3 = -3*n. Suppose -4*y = -2*r - 3*r + 57, -2*r + 12 = 2*y. Is n/r*(-18)/5 a multiple of 7?
False
Let j = 694 - 1186. Let s be ((-1)/(-2))/((-2)/j). Let i = s + -86. Does 17 divide i?
False
Suppose -9 = -m - 0*m. Suppose 2*c - 5*r + m = c, -4*c = -2*r. Suppose j = -v + 11 + c, -3*j = v - 30. Is j a multiple of 3?
True
Let p(m) = 82*m - 1. Let d(i) = -i + 11. Let z be d(10). Is 27 a factor of p(z)?
True
Let c = 87 - -147. Is c a multiple of 13?
True
Suppose -5*s - 40 = -3*p, 4*s = -8*p + 3*p + 79. Let c = 23 - p. Does 8 divide c?
True
Suppose -192*h + 197*h = 15235. Is 11 a factor of h?
True
Suppose -709*q + 714*q - 2360 = 0. Is 59 a factor of q?
True
Is 13 - 6 - (-1 + -1007) a multiple of 29?
True
Suppose n + 2*x - 1782 = 0, -2*n = 2*n - 3*x - 7106. Suppose 4*u = -10*u + n. Is u a multiple of 8?
False
Let a(g) be the second derivative of -23*g**3/6 + 13*g**2/2 - 4*g. Is a(-6) a multiple of 35?
False
Is 15 a factor of (370/(-8))/(390/(-5616))?
False
Let p(g) be the first derivative of -5*g**2 - 2*g + 19. Does 27 divide p(-11)?
True
Let t = 1086 - 487. Is 11 a factor of t?
False
Let x = 760 + 612. Does 49 divide x?
True
Suppose 2*y - 610 = -2*z + 522, 3*z - 3*y - 1722 = 0. Is 30 a factor of z?
True
Suppose 8*g - 1733 + 317 = 0. Does 30 divide g?
False
Suppose -8*j = -24 - 0. Suppose -3*u + 66 = 5*h, -j*h - 4*u + 54 = 10. Is 6 a factor of h?
True
Suppose -103*q + 124*q = 41664. Is q a multiple of 62?
True
Let z = -49 - 29. Let f = z - -134. Is f a multiple of 6?
False
Let v(p) = 0 - p**2 + 1 + p + 6*p. Let a be v(6). Let n(k) = -k**2 + 14*k + 1. Is n(a) a multiple of 25?
True
Let l = 344 - 341. Let h be 2/(-7) - 65/(-7). Does 5 divide (7/1)/(l/h)?
False
Let s = -4 + 7. Suppose -11 = -r + p, 5*p = -s*r + 2*p + 51. Suppose 4*k - 3*b - 68 = 0, -r = -k + 3*b + 12. Is k a multiple of 14?
True
Suppose -2*x = 5*d - 24 - 17, 4*d - 60 = -5*x. Let p be ((-28)/x)/(1/(-2)). Suppose 3*u = 6, 4 = a + u - p. Does 2 divide a?
False
Suppose i = 8 + 34. Is i a multiple of 3?
True
Suppose 5*c = 10 + 5. Suppose -2*s = -1 - c. Suppose -b + s*l + 51 = 4*l, -4*b + 174 = -2*l. Is b a multiple of 15?
True
Let x be (-16)/(-88) + (-1998)/(-22). Let m = x - 61. Let w = m + -15. Does 4 divide w?
False
Let y(d) = 1 - d - 4*d + 3*d + d. Does 6 divide y(-11)?
True
Let q(u) = -u**3 - 2*u**2 - 4*u - 1. Let k be q(-4). Suppose 0 = -4*c + 3*c + k. Does 17 divide c?
False
Let y(k) = k**3 + 10*k**2 - 13*k - 15. Let p be y(-11). Suppose -z = -0 + p. Does 15 divide (15/2)/(z/(-14))?
True
Suppose 41 = h + 5*v, -3*h + 0*v + 53 = v. Suppose 14*x = h*x - 22. Is 2 a factor of x?
False
Let u = -119 - -71. Let q be (0 + 6)*(-41)/(-3) - -2. Let c = u + q. Is 12 a factor of c?
True
Let k be (-332)/(-28) - 2/(-14). Does 6 divide (-22)/k + 2 - (-1722)/36?
True
Let u = -38 + 43. Suppose -b + 10*a - 5*a = -27, -5*a = -u*b + 35. Suppose b*x = 54 + 18. Does 18 divide x?
True
Let n be (-2)/5 + 22/5. Suppose -3 = 2*k + 1, -n*k - 4 = 2*s. Suppose s*q - 58 = -0*q. Does 16 divide q?
False
Let y = -7 + 11. Is 7 a factor of (18/y)/(1/4)?
False
Suppose -4*b - 5*p - 162 = 0, 2*p - 90 = 4*b - 2*b. Let j = b - -63. Suppose 2*d + 5*i = -37 + 126, -j = -4*i. Is d a multiple of 16?
True
Suppose 2*w + 9 = 5*s - 6, 5*s - 45 = -4*w. Suppose w*a + 5*z = 35, 5*a - z - 7 = -2. Is 2 a factor of a?
True
Suppose -3*s + 21 = r, s = -s + 3*r + 14. Let b(i) = -i**2 + 15*i - 46. Let v be b(10). Does 6 divide (s - -5)*5/v?
False
Let x be 3*(-26)/(-15) + (-1)/5. Suppose -4*u + x*j = -206, -5*u - 145 + 413 = -j. Is u a multiple of 27?
True
Suppose 2994 = 16*y - 38542. Does 59 divide y?
True
Let u = 1528 - 523. Suppose 5*j = 5*z + u, 3*j + 1002 = 8*j - 4*z. Is j a multiple of 35?
False
Let m(k) = 2*k**2 + 20*k + 40. Does 10 divide m(-18)?
False
Let g(c) = -9*c - 12. Suppose -3*v - 41 = 5*r, -16 = 4*r + v + 14. Does 6 divide g(r)?
False
Suppose 0 = 3*p + 4*p - 28. Suppose -2*n = 4*s - 2*s - 24, 0 = 3*s + p*n - 31. Does 6 divide s?
False
Let r(j) = j**2 + 47. Let n = -28 - -28. Let v be r(n). Suppose -94 = -2*i - h, -2*i + 35 = -5*h - v. Is i a multiple of 8?
False
Suppose -r = 3*r + 12. Let o(u) = -u**2 - u. Let g(y) = 5*y**2 + 8*y + 1. Let d(b) = -g(b) - 4*o(b). Does 2 divide d(r)?
True
Let r be (0 + -3 - -5)*-6. Let x(m) be the third derivative of -m**6/120 - m**5/5 - m**4/8 - 7*m**3/6 + m**2. Does 29 divide x(r)?
True
Suppose -p + 2169 = -13*w + 17*w, -5*w = -4*p - 2685. Does 6 divide w?
False
Let f be 12/10*(-130)/(-39). Let a be f/(-4 + 0 + 3). Is a/(0 + (-1)/5) a multiple of 5?
True
Let a = 24 - 21. Suppose u = -2*r - a*r + 30, -4*u + 5*r + 70 = 0. Does 10 divide u?
True
Let b(z) = z**2 - 5*z + 2. Let t(l) = l**2 - 2*l - 3. Let r be t(4). Let u be b(r). Suppose 0*d - 56 = -4*g - d, -u*d + 22 = 2*g. Is 5 a factor of g?
True
Let w(l) = l**3 - 10*l**2 + 7*l + 8. Let o be 8 + (3 - 3) + 1. Let m be w(o). Does 5 divide 30/(-4)*12/m?
False
Suppose 2*u - 225 = -3*u. Let b = 15 + -33. Let m = u + b. Is 9 a factor of m?
True
Let a(s) be the third derivative of -33*s**6/40 + s**5/60 + s**4/24 + s**3/6 + 19*s**2. Is a(-1) a multiple of 20?
True
Let r = -806 + 1028. Is 37 a factor of r?
True
Suppose c = -3*l + 2924, -4*l - 2*c = -l - 2920. Does 48 divide l?
False
Suppose -3*i = 2*t - 15, 0 = t + 4*t + 2*i - 21. Suppose -3*v = -2*h + 41, 3*h - t*v + v = 74. Is 4 a factor of h?
True
Let j = 85 + -80. Suppose 0*l - 3*i - 443 = -5*l, j*i + 269 = 3*l. Is l a multiple of 22?
True
Let f(a) = -787*a + 23. Does 17 divide f(-1)?
False
Let m(l) = 1139*l**3 - l**2 + 2*l. Does 20 divide m(1)?
True
Suppose 25*u - 7*u - 2304 = 0. Is 40 a factor of u?
False
Let x(z) = z**2 + 11*z + 9. Let h(t) = t + 1. Let a(u) = -44*h(u) + 4*x(u). Suppose 0 = -o - 4*k - 16, 2*o + 21 = -k + 24. Does 7 divide a(o)?
True
Let a(v) = 2*v - 14. Let i(x) = -3*x + 15. Let o(d) = -2*a(d) - 3*i(d). Let t(b) = b**3 + 7*b**2 + 8*b - 1. Let m be t(-5). Is 25 a factor of o(m)?
False
Let m(s) = 14*s**2 - s + 12. Does 21 divide m(5)?
True
Let a be (-5)/20 + (-90)/(-8). Let r be 43/(-9)*-3 + 12/(-9). Let o = a + r. Is 8 a factor of o?
True
Suppose -3*o + 31 - 106 = -2*h, 3*h - 2*o - 100 = 0. Is h a multiple of 6?
True
Let p(r) be the second derivative of 0 + 6*r + 4*r**2 - 1/3*r**3. Is p(-8) a multiple of 3?
True
Suppose -5*c - 656 + 1706 = 0. Does 3 divide c?
True
Suppose -120*n + 122*n - 98 = 0. Does 7 divide n?
True
Let h = 12 - 15. Let o be (-2 - h)/((-2)/(-14)). Suppose o*d = 4*d + 48. Is 5 a factor of d?
False
Let j = -1041 - -687. Let c = j - -519. Is 33 a factor of c?
True
Let d(v) = -v**3 + 8*v**2 - 2*v + 19. Suppose 5*f - 3 - 37 = 0. Let q be d(f). Suppose q*j - 2*r = r + 105, -j = 5*r - 5. Does 6 divide j?
True
Suppose -1 + 8 = -f. Does 39 divide (f/(-5) + -2)*-405?
False
Does 14 divide -2 + (568 + 0)/(-4)*-1?
True
Suppose a + 0*a - 63 = 0. Suppose a - 18 = 3*n. Is n a multiple of 14?
False
Suppose -o + 4*c = 8*c - 12, -4*o + 104 = 2*c. Is o a multiple of 12?
False
Let d be 3 - (-3 + 1)/2. Suppose -4*f + 2*f - d = 0. Is (-1)/(f*(-2)/(-36)) a multiple of 2?
False
Let y(g) = 21*g - 383. Is y(28) a multiple of 5?
True
Suppose 186 = 230*a - 227*a. Is a a multiple of 18?
False
Suppose -2*p + 2 = -4*p. Is 164 + -8*2*p/4 a multiple of 24?
True
Let y be 1186/9 + 9/(324/8). Let z = 191 - y. Does 7 divide z?
False
Suppose 40*k - 29*k = 5852. Is k a multiple of 14?
True
Suppose w - 54 = -0*w - 3*p, -4*p - 264 = -4*w. Does 12 divide -2 + w - (-2 - (-6)/2)?
True
Let l(s) = 4*s**3 - 14*s**2 - s - 5. Is l(5) a multiple of 20?
True
Suppose 2*i + a = 61 + 4, -i = a - 33. Let g = i - 8. Suppose -3*t + g = -0*t. Is 6 a factor of t?
False
Let x(o) = o**3 - o**2 - o - 10. Let z be x(0). Does 5 divide (-4)/(z/(-14) + -1)?
False
Suppose -2*n - 65 = -5*t - 273, 3*n = -4*t - 148. Let g = 184 + t. Does 20 divide g?
False
Suppos