-q + 6*q - w = 0. Suppose -s - 68 - 62 = -3*o, -3*o = -3*s - q. Is 13 a factor of o?
False
Let x(v) = -7*v + 14. Let m(w) = 8*w - 14. Suppose 0 = 2*a + 1 - 13. Let k(q) = a*m(q) + 7*x(q). Is k(8) a multiple of 4?
False
Let m = 6 + -4. Let g(a) = a**3 - 7 + m - a**2 + 5*a + 2. Is 22 a factor of g(4)?
False
Let w be (-2 - 8/(-3))*6. Let z(q) be the first derivative of q**3 - q**2/2 - 4*q + 6. Does 20 divide z(w)?
True
Let f = -15 - -21. Suppose 3*b = 5*b + n - 28, 0 = -3*n + f. Suppose 16 = 3*c + 3*t - 41, 0 = c + 4*t - b. Is c a multiple of 21?
True
Let k(f) = 2*f**3 - 6*f**2 - 3*f + 3. Let s be k(5). Is 14 a factor of 1392/s - 2/(-11)?
False
Let i = -44 + 40. Is 1140/28 + i/(-14) a multiple of 15?
False
Let t be -1 - (2 - (3 - 2)). Let z be (-44)/(3 + 1) - t. Let o = 11 - z. Does 20 divide o?
True
Let v(h) = 5*h**2 - 39 + 15 + 2*h + 12 + 16. Is v(-3) a multiple of 7?
False
Let o = -653 + 666. Is 3 a factor of o?
False
Let q = 188 - -328. Is q a multiple of 28?
False
Let h be (0 - 84/9)*21. Let t be (-3)/(-24) + h/32. Does 10 divide (20/(-6))/(2/t)?
True
Let q(d) = d**2 - 7*d + 8. Let r be q(6). Suppose 6*n + 8 = r*n. Is 3 a factor of (1 + (-1 - 16))/n?
False
Suppose -16*d = -4*d. Suppose d = 44*o - 49*o + 115. Is o a multiple of 17?
False
Let k(d) = d**2 + d + 3. Let w be k(-2). Suppose w*h = -4*j + 372, 0*h - 2*h - j = -147. Is h a multiple of 9?
True
Let j(n) = -n**2 + 3*n. Let t be j(3). Suppose t*h + 27 = h. Does 9 divide h?
True
Let f = 20 - 17. Suppose -2*a - 13 = -f*z, 2*a - 4*z - 23 = 3*a. Let m = 20 + a. Does 9 divide m?
True
Let f = -24 + 37. Let w = 25 - f. Does 5 divide w?
False
Let n = 59 + -19. Suppose f = -0*f - 2*k - 78, -5*f + 3*k = 377. Is 10 a factor of (60/n)/((-6)/f)?
False
Suppose -5*c + 2*c = 51. Let r = c + 33. Is 16 a factor of r?
True
Let u = 45 - 40. Suppose -134 = -u*s + 881. Is 29 a factor of s?
True
Suppose -10 = -y + 2*q, 4*q - 23 = -5*y + 55. Suppose 0 = y*x - 12*x - 186. Is x a multiple of 14?
False
Suppose 5*m + 22 = z, z = -3*m - 0*m - 2. Suppose 3*c = z*c - 8. Suppose c*n + 8 - 120 = 0. Is n a multiple of 28?
True
Let x(f) = -f**2 - 11*f - 13. Let k be x(-9). Suppose t - 247 = -3*a - 0*t, -k*t = 25. Let w = a + -29. Does 12 divide w?
False
Suppose 4*f - 4 - 12 = 0. Suppose j + 3*w = -0 + 4, -f*j + w - 10 = 0. Let p(x) = 2*x**2 - 3*x - 1. Does 3 divide p(j)?
False
Let v(t) = 2*t - 42. Let y be v(23). Suppose y*u - 2*u = 174. Is u a multiple of 16?
False
Let c = -54 - -51. Is ((-1)/c + (-110)/33)*-38 a multiple of 17?
False
Let w = -110 + 185. Suppose 0 = 2*s - 133 - w. Is 9 a factor of s?
False
Let z = 1680 + -1501. Is 4 a factor of z?
False
Is 6 a factor of 2 + -1*(-250)/5?
False
Suppose -o = -62 - 7. Suppose -o = -5*p - 14. Suppose -p*a - 294 = -13*a. Is 40 a factor of a?
False
Let p be ((-9)/6)/(6/16). Let h = p + 21. Suppose -5*v + h = -38. Does 9 divide v?
False
Is (18/(-45))/(5/(-3300)) a multiple of 12?
True
Let t(o) = -o**2 + 27*o - 22. Does 3 divide t(13)?
False
Let d = -22 - 92. Let b = 11 - 65. Let i = b - d. Is i a multiple of 12?
True
Let t(s) = s**2 - 25*s - 94. Does 13 divide t(-33)?
True
Let p(t) = 0*t**2 - 1 + 3*t**2 - t - t**2 + 0. Let w be p(-2). Let u = 42 - w. Does 11 divide u?
True
Suppose -3*x = 5*b - 8, -4*b - 2*x + 6 + 0 = 0. Let f(t) = 46*t + 2. Is 12 a factor of f(b)?
True
Let c(i) = i + 20. Let t be c(-17). Suppose 6*w = t*w + 96. Does 4 divide w?
True
Suppose 29451 = 68*t - 47933. Does 33 divide t?
False
Suppose -6*v = 1617 - 3057. Does 24 divide v?
True
Let u be (-1)/2 + 338/4 + 1. Is (u - 10)/((-3)/(-4)) a multiple of 20?
True
Let p(m) = 26*m + 2. Let t be p(1). Suppose -2*z + 4*h = t - 0, -4*z = 4*h + 116. Let b = 82 + z. Is b a multiple of 14?
False
Suppose 5*i + 2*o = 5*o + 6, o = 2*i - 2. Let r = i - 8. Let p(n) = -n**3 - 7*n**2 + 5*n + 5. Is p(r) a multiple of 9?
False
Is (-426)/(-14) + -2 - (-24)/(-56) a multiple of 3?
False
Suppose p + 241 = f - p, -5*f + p + 1223 = 0. Let n = f + -124. Suppose -n = -5*z + 44. Is z a multiple of 9?
False
Suppose 0 = -v - 0*v, -m = 4*v - 5. Suppose -m*a - 25 = 0, -3*a = -3*n - n + 31. Suppose 271 + 77 = n*o. Is o a multiple of 29?
True
Let q(t) = t - 4. Let c be q(4). Suppose -43*x + 35*x + 736 = c. Is x a multiple of 23?
True
Suppose -3*u + 5 = l - 4*u, -4*l + 13 = 3*u. Suppose -9 = -5*t + 2*t. Suppose 5*d = l*m - 3*m + 137, 131 = 5*d - t*m. Is d a multiple of 14?
True
Suppose 3*q - 219 = 279. Is q a multiple of 15?
False
Let v(x) = -20*x + 23. Let n be v(12). Let b = n - -345. Is b a multiple of 20?
False
Let m(x) = 2*x**3 - 3*x**2 - x + 2. Let q be m(2). Suppose -q = 2*u - 5*h - 2, -u = -2*h. Suppose -30 = u*n - 102. Is 6 a factor of n?
True
Suppose 0 = 7*n - 2102 - 1097. Is n a multiple of 18?
False
Let f(i) = -i**3 + 6*i**2 + 3. Suppose 4*c + 5*u = 6*c, -u - 8 = -2*c. Is f(c) a multiple of 28?
True
Suppose -d + 11 = -2*a, d - 4 + 5 = -a. Is 39 a factor of 73 + (-12)/d + 5?
False
Suppose -67*a + 68*a - 50 = 0. Is a a multiple of 2?
True
Suppose 5520 = 16*m + 7*m. Is m a multiple of 10?
True
Let z = -50 + 60. Suppose 671 - 261 = z*m. Does 6 divide m?
False
Let l(b) = -b**3 - 7*b**2 + 19*b + 9. Let q be l(-9). Suppose 2*g = -k + 89, -5*k + q*g + 427 = g. Suppose -k = -4*o - o. Does 3 divide o?
False
Let j = -1228 + 2625. Is j a multiple of 33?
False
Let g be ((-1)/3)/((-7)/5481). Suppose -5*j = -v - 710, -2*j - 3*v + g = -8*v. Let f = -85 + j. Is 21 a factor of f?
False
Let u(w) = 27*w + 5. Let i be u(4). Let c = i - 43. Is c a multiple of 14?
True
Suppose -o - 3*f + 961 = 0, 0 = 5*o + f + 3*f - 4761. Is o a multiple of 102?
False
Suppose -10 = 5*t - p, -4*t - 3*p - 10 = t. Does 26 divide ((-1)/t)/(4 - (-1039)/(-260))?
True
Suppose -s + 1 = -3, -5*s = -h - 16. Suppose -h*v + 39 = -45. Suppose 0 = f, -2*f + v = l + 2*l. Is 2 a factor of l?
False
Let l(a) = -38*a + 8. Let n be l(3). Let i = n + 184. Is i a multiple of 15?
False
Suppose -9*t = -12243 - 2589. Is 16 a factor of t?
True
Let l = 182 - -71. Let h = 369 - l. Is h a multiple of 13?
False
Suppose -1 = 2*x - 5. Suppose -l - 1 = 2, x*l = -5*w + 14. Suppose -i - w*u = -66, 0 = -i + 2*u - 7*u + 69. Does 18 divide i?
True
Suppose 4*c + k - 9900 = 0, -5*c - 9*k + 14*k = -12400. Is c a multiple of 26?
False
Suppose 4*d + 4*f - 564 = 0, 9*d + 2*f - 714 = 4*d. Suppose -6*n = -2*n + d. Is 10 a factor of ((-46)/4)/(18/n)?
False
Let d = -937 + 2277. Is 44 a factor of d?
False
Let t(g) = 9*g + 41. Let f be t(-5). Does 18 divide (180/(-21))/(172/(-42) - f)?
True
Let s = -107 - -341. Does 17 divide 23920/s - 2/9?
True
Suppose -1463 + 149 = -6*r. Suppose 3*m - r - 213 = 0. Is m a multiple of 12?
True
Let w = 65 - 123. Let b = w - -214. Is b a multiple of 13?
True
Let w = 3 + 5. Let f be 2 - 5 - (-4 - (-18)/(-6)). Let s = w + f. Does 6 divide s?
True
Suppose -7*g = -20*g + 3809. Is 13 a factor of g?
False
Let x = 7451 + -4351. Does 105 divide x?
False
Suppose 2*z + 3*s - 588 = -s, 2*z - 578 = -2*s. Does 26 divide z?
False
Is 10 a factor of 34/(-85)*-5 - (-388 - 0)?
True
Does 52 divide 4/(-18)*-3 - (-17000)/60?
False
Suppose -4*f = 4*j + 532, -2*f - 3*j = -164 + 428. Let x = -81 - f. Does 18 divide x?
True
Let j = -46 - -225. Let f = -38 + j. Let w = 209 - f. Does 14 divide w?
False
Suppose 3*h - 312 = -72. Let j = 135 - h. Is 10 a factor of j?
False
Let x = -140 - -230. Is 23 a factor of x?
False
Let d(w) = -2*w - 14. Let u be d(-16). Suppose u*x = 2556 - 540. Is 48 a factor of x?
False
Suppose -9*f = -10*f + 18. Let x = f - -3. Is x a multiple of 21?
True
Let p(c) = -2*c + 11. Suppose f = -0*f - 2*h - 13, 2*f = -5*h - 23. Is p(f) a multiple of 18?
False
Let s = -1 - -6. Let l(c) = -5*c - 76. Let g be l(-22). Suppose 3*p = -s*h + 46, -g = -2*p - h - 1. Is p a multiple of 17?
True
Let o(g) = -g**2 - 17*g - 14. Let t be o(-16). Suppose 0 = 4*l + 2*k - 1774, 2*l - 457 = t*k + 445. Does 65 divide l?
False
Suppose -5*r = 4*k - 55, -2*r + 0*k = -k - 22. Let c = r + -8. Is 15 a factor of ((-1)/c)/((-13)/702)?
False
Let a = 10 + -7. Suppose 0 = -3*n + a*o + 219, 5*o = 2*n - n - 73. Does 4 divide n?
False
Let d = -17 - -36. Let t = -17 + d. Is (t/1)/2*8 even?
True
Let b(f) be the third derivative of 3*f**4/8 - f**3 - 6*f**2 - 2. Suppose 3*h + 2 = 3*j - 1, 0 = 4*j - 5*h. Is b(j) a multiple of 13?
True
S