-63) a multiple of 11?
True
Suppose z + 26 = 4*m - 32, -62 = -5*m - 4*z. Is 3 a factor of m?
False
Let f(o) = -o**2 - 17*o + 12. Does 35 divide f(-12)?
False
Suppose -3*j - 18 = -2*x + 4*x, -5*x + 3*j - 24 = 0. Let m be (-1 + -2)/(x/(-16)). Does 7 divide 21/(-2)*m/12?
True
Suppose 3*p - 266 = -4*m, 5*m = -3*p - 0*p + 331. Is m a multiple of 25?
False
Suppose 3*n + 3 = 5*x, -2*x - 3*x = -n - 11. Suppose f = -5*u - 0*f + 197, 105 = x*u + 5*f. Suppose -5*w = 2*j + 3*j - u, j + 3*w - 4 = 0. Is j a multiple of 6?
False
Let o be 4 + 2 + 1 + -1. Is (51/6)/(1/o) a multiple of 17?
True
Let q(y) = 29*y**2 + 1. Is 8 a factor of q(-1)?
False
Let w = -4 - -4. Suppose 4*h + h - 50 = w. Is 10 a factor of h?
True
Suppose -4*g = -9*g - 15, 3*g - 1 = -5*k. Suppose -5*a = k*d - 52, -3*a = d + a - 20. Does 9 divide d?
True
Suppose -x - 5*s - 5 = -44, 3*s + 27 = 3*x. Let m(u) = 5*u - 6. Is m(x) a multiple of 23?
False
Let n(b) = b - 6. Let x be n(11). Suppose 11 = -2*t - w + 42, 3*t - 79 = x*w. Does 9 divide t?
True
Suppose 2*q = 412 + 144. Does 22 divide q?
False
Let n = -29 + -4. Suppose 6*p = p - 230. Let v = n - p. Does 5 divide v?
False
Let l = 102 - 27. Is l a multiple of 25?
True
Let r = 90 - 66. Is r a multiple of 24?
True
Suppose 5*d = -353 + 1073. Is d a multiple of 36?
True
Let a(y) = 2*y**2 - 6*y + 2. Let t be -2 + 8 + 1*-2. Is a(t) a multiple of 10?
True
Suppose 5*z + n = 5*n - 30, 0 = -z + n - 7. Let l be ((-1)/z)/(2/(-4)). Does 6 divide l*(-11 - 2) - 2?
False
Suppose -4*l = -4*r - 164, 0 = -4*l + 2*r - 85 + 257. Is l a multiple of 15?
True
Does 13 divide 14/2*(-1 - -7)?
False
Suppose -2 = -i + 4*i + 5*s, 3*s = -4*i - 10. Let q = 0 + 1. Does 10 divide q/1*(6 - i)?
True
Let d be (-1 + 29/4)*4. Does 6 divide (10/d)/(1/30)?
True
Suppose 7*v + 2*s = 2*v + 7, 4 = -s. Suppose 8 = u + v*u. Suppose -5*r + u*c + 145 = 4*c, 3*c = -2*r + 47. Is r a multiple of 17?
False
Suppose 0*w - c + 10 = 4*w, -5*w = -5*c. Let o be -2 - 8/w*-1. Suppose u - 27 = -o*s - 3, -5*u - 5*s + 110 = 0. Does 10 divide u?
True
Suppose -4*z + z + 6 = 0. Does 3 divide 1 + (z - -3 - -1)?
False
Let m = 2 + 0. Let h be (0 + -1)/(m/(-6)). Suppose 2*i + h*i = 100. Does 13 divide i?
False
Let t(i) = i**3 + 4*i**2 + 4*i + 3. Let h be t(-2). Let m(p) = p**3 - 7*p**2 + 4*p + 6. Let w be m(6). Does 12 divide h/9 - 214/w?
True
Let z(m) = m**3 - 4*m**2 + 2*m + 3. Let t be z(3). Suppose t = -4*x + 201 - 29. Is x a multiple of 21?
False
Suppose -215 = -6*v + 103. Is 53 a factor of v?
True
Suppose 0 = 5*i - 2*s - 225, 5*s - 8 = 17. Let n = 79 - i. Is 16 a factor of n?
True
Suppose 0 = 3*o + o + 28. Let l(m) = 4*m - 11*m + 6*m. Does 3 divide l(o)?
False
Let u = -6 + 9. Suppose -3*x = -4*a + 222, 5*a + u*x - 71 = 220. Is 19 a factor of a?
True
Let b be 4/(-18) + (-20)/(-9). Let i be 3/(6/(-4) + b). Suppose -w + i*w - 65 = 0. Is w a multiple of 13?
True
Let w(d) = -2*d - 4. Let h be 0 - ((-1)/1 - -6). Let k be w(h). Suppose z = 16 + k. Is z a multiple of 11?
True
Suppose 0 = -4*u + 189 - 69. Does 15 divide u?
True
Suppose 6*z - 264 = -0*z. Is z a multiple of 11?
True
Let w be 178*((-9)/6)/3. Let d = -5 - w. Suppose -5*z + 3*f + 10 = -d, 0 = -4*z - 5*f + 53. Is 17 a factor of z?
True
Let s(r) = 7*r - 4. Let p(g) = -14*g + 7. Let c(z) = -4*p(z) - 7*s(z). Let t be c(-2). Let n = -6 - t. Is 4 a factor of n?
True
Let n be 0 - (-3 - 22/1). Suppose n + 35 = 5*f. Let g = f - -16. Is g a multiple of 14?
True
Suppose -151 - 13 = -2*w. Let o = -55 + w. Does 9 divide o?
True
Suppose 5*w - 40 = 170. Is w a multiple of 6?
True
Suppose 3*d - 231 = 3*r, 5*d = -r + 3*r + 394. Suppose -d = -12*n + 7*n. Is n a multiple of 9?
False
Suppose 0*p = -2*p + 32. Is 11 a factor of p?
False
Let i = -83 - -147. Does 8 divide i?
True
Suppose -2*j = 4*f - 24, -3*f - 4*j + 28 = -0*j. Suppose f*g + 2*d = 62, 4*g = 5*d + 31 + 24. Is 10 a factor of g?
False
Let q be (13 + -10)/(1/34). Does 9 divide (-6)/(-51) - (-2844)/q?
False
Suppose 0*t + 9 = -3*t. Let h = -6 - t. Let k = h + 6. Is 3 a factor of k?
True
Suppose 2*m + 4 - 28 = 0. Is m a multiple of 4?
True
Suppose -b - 80 = -2*b. Does 16 divide b?
True
Suppose 4*z + z + 165 = 0. Let b = z - -54. Does 14 divide b?
False
Suppose 3*g = -g - 12. Let i = g + 33. Is i a multiple of 15?
True
Suppose -4*m = 3*i - 143, 3*i - 6*m - 127 = -2*m. Is i a multiple of 10?
False
Let p(g) = 6*g**2 - 3*g. Let w be p(2). Let v = 32 - w. Does 14 divide v?
True
Let g = 281 + -94. Is 17 a factor of g?
True
Let l(i) = i**3 - 2*i**2 + 1. Let z be l(1). Suppose 0 = 3*o - 3*s - 33, z = -5*o + 2*s + 11 + 44. Does 5 divide o?
False
Suppose g - 14 = b, -2*g + 3*b + 30 = -0*g. Is g a multiple of 6?
True
Let k = 29 + -29. Is 7 a factor of 30 - (k - 2/1)?
False
Suppose 120 = 5*t + 5*w, -5*w = -4*w. Is 13 a factor of t/(-14)*182/(-4)?
True
Let j = -5 - -7. Let w be (3/j - 1)*146. Let l = w + -36. Is 13 a factor of l?
False
Let z be 6*((-3)/(-2))/3. Suppose -4*h = -z - 17. Is h a multiple of 2?
False
Let l = 5 - 3. Suppose 3*m - 8 = -l. Suppose -u = m*u - 120. Is u a multiple of 20?
True
Let u(f) = -2*f**3 - 6*f**2 + f + 6. Let k be u(-6). Suppose -k = -5*l - 2*x + x, 4*l - 192 = 4*x. Is l a multiple of 22?
True
Suppose -2*w - 3*w = 4*x - 5986, 5*w - 5962 = 2*x. Is w/33 - (-2)/(-11) a multiple of 12?
True
Let h = 29 - 15. Does 5 divide h?
False
Let y(m) = -m**3 + 2*m**2 + 3*m + 2. Suppose 2*a + 8 = 4*a + r, -3*a = -5*r + 1. Let f be y(a). Suppose -23 = -f*b + b. Does 23 divide b?
True
Suppose 5 = -2*w - 17. Let l = w + 45. Does 17 divide l?
True
Let b be 42/(-35)*5/2. Is (-4 - -43)/(b/(-2)) a multiple of 14?
False
Suppose -11*v + 534 = -126. Does 7 divide v?
False
Suppose p - 26 = -2. Is p a multiple of 3?
True
Let r(d) = -2*d**2 - 3*d - 5. Let z be r(4). Is 3 a factor of z/(-4) + (-6)/24?
True
Suppose -o + 3 = -4. Is o a multiple of 7?
True
Suppose -151 + 35 = -4*l. Does 13 divide l?
False
Suppose s = 4*s - 4*u - 1, -20 = -5*s + 3*u. Suppose -4*d + 64 = 4*x - 3*d, 2*d + 93 = 5*x. Suppose 0 = 3*w - 5*k - 29, -w = s*k - 2*k + x. Does 3 divide w?
True
Suppose -2*q - k = 4*k - 27, -3*k + 54 = 3*q. Is q a multiple of 21?
True
Let d be ((-6)/9)/(6/(-279)). Suppose 4*x = -2*r - 4, -4 = -x - 2*r + 4*r. Suppose -4*i + d + 13 = x. Does 4 divide i?
False
Let y = -26 + 89. Does 7 divide y?
True
Let n = 80 + 28. Is n a multiple of 18?
True
Suppose 3*k = 2*v + 145, -4*k = v - 2*v - 185. Is 25 a factor of k?
False
Let h be (25/(-20))/((-1)/8). Let f = 6 + h. Suppose f = -2*u + 3*u. Is 13 a factor of u?
False
Suppose -5*z + 2*x + 141 = -2*x, 2*z + 2*x = 60. Does 10 divide z?
False
Suppose -5*p + 4*f = -290, -5*f = 6*p - 3*p - 137. Suppose 0*a - p = -2*a. Is a a multiple of 10?
False
Let p(h) = -2*h + 4 + 0 - 5. Let l be p(2). Does 7 divide (2/l)/(1/(-35))?
True
Suppose 112 = 3*g - 7*g. Let b(p) = 3*p + 2. Let i be b(-7). Let l = i - g. Is l a multiple of 9?
True
Let l(a) = -15*a**3 - a. Let o be l(-1). Suppose -4*d + o = -24. Is d/(-8)*(-1 - 3) a multiple of 5?
True
Let x = -220 - -458. Does 14 divide x?
True
Suppose 3*y = -2*y - 2*p + 249, 5*y - 239 = 3*p. Does 15 divide y?
False
Suppose 5*g - 10 = -0*g. Suppose r + g - 4 = 0. Suppose -r*d + 19 = -d. Is d a multiple of 8?
False
Let r(t) = -3*t + 5. Let n be r(-5). Suppose -5*k = x + 74 + 26, -k = 2*x + n. Is 162/8 - (-5)/k a multiple of 13?
False
Let o(v) = 2*v + 1. Does 2 divide o(9)?
False
Let h be (-2)/3*(0 - 3). Let p be (h/(-1) + 1)/1. Is 3 a factor of 1 + (1 + 0 - p)?
True
Let c(d) = -d + 13. Let a(f) = -f + 7. Let o(k) = -7*a(k) + 4*c(k). Let p be (10 - 0) + -2 + -1. Does 12 divide o(p)?
True
Let f(d) = -d**2 + 3*d + 4. Let a be f(6). Let x be ((-35)/(-1))/(9 - 10). Let g = a - x. Is g a multiple of 21?
True
Does 6 divide 3 + 0 + 2 - -1?
True
Suppose 7*y - 12 = 4*y. Suppose 0 = -y*j - 8 + 268. Is 22 a factor of j?
False
Let b = 130 - 64. Let i = 140 - b. Does 20 divide i?
False
Let t = 130 + -45. Is t a multiple of 33?
False
Let d(g) = -g**2 - 9*g - 2. Let h be d(-9). Does 5 divide (10/(-4))/(h/12)?
True
Let b(z) = -z - 3. Let i be b(-6). Let u be (-3)/(i/(-2)) + -8. Let c(l) = -l - 1. Is 3 a factor of c(u)?
False
Let u(j) = -j**3 + 8*j**2 + 2. Let y be u(8). Let p(r) = 2*r + 3 + 2*r - 3*r + r**3 - 5*r**y. Does 4 divide p(5)?
True
Suppose -3*m + 37 = 2*w - 0*m, -4*w + 66 = 