divide z?
True
Let r = 0 + 4. Let j = 43 - 39. Suppose -j*p + 3*z + 285 = 0, 0*z + r*z = -3*p + 195. Is 23 a factor of p?
True
Let v = -143 - -299. Does 6 divide v?
True
Suppose -3*i + 97 = -4*v, 5*i - 151 = -7*v + 3*v. Let c(s) = s**2 - 30*s - 3. Does 3 divide c(i)?
False
Suppose 0 = -24*x - 22*x + 217350. Is x a multiple of 15?
True
Suppose -2*f = -4, 0 = -4*s + 4*f + 6302 - 1258. Is 52 a factor of s?
False
Let o be (25 + 1 - 2)*1/3. Suppose -b + o = 5*a - 20, a - 44 = -b. Is 14 a factor of b?
False
Let q(g) = 2*g - 16 + 33 + 23*g**2 - 15. Is q(-2) a multiple of 5?
True
Suppose 3*y = -2*t - 116, 0 = 4*y - 2*t - 0*t + 178. Let n(j) = 5*j + 1. Let i be n(-4). Let v = i - y. Is v a multiple of 23?
True
Let d = -404 + 570. Let m = d - 89. Is 7 a factor of m?
True
Let v be -4 - -5 - (-3 - -1). Suppose -17 = -y - 5*z, 4*y + v*z = -2*z + 23. Suppose 2*g = 10 + y. Is g a multiple of 2?
True
Let c(z) = -10*z**3 - 10*z**2 + 6*z + 6. Let i be c(5). Is i/(-12) + -1 + 2 + 0 a multiple of 41?
True
Let z = -590 + 1048. Is z a multiple of 14?
False
Let o = 364 - 160. Is 34 a factor of o?
True
Let g = 231 + -227. Suppose -r = -5*x + 2*r, 3*r = 2*x. Suppose -g*z + 3*p + 243 = x, -2*p - p = -3*z + 180. Does 15 divide z?
False
Let y(o) be the second derivative of o**3/2 - 3*o**2/2 - 6*o. Is y(10) a multiple of 9?
True
Suppose f + f - 54 = 3*w, -5*w - 80 = -3*f. Suppose -6*h + 0*h + f = 0. Suppose -b = i - h*i + 230, 2*i + 2*b = 110. Does 19 divide i?
True
Suppose -5*z - 6 = -1. Let l = 5 + z. Suppose l*p = v + 25, -6*v = 4*p - 2*v - 20. Is p a multiple of 3?
True
Let v(m) = -m**3 + m**2 + 3*m + 3. Suppose -7*g - 5 = -2*g, 0 = s - 3*g - 1. Is v(s) a multiple of 3?
True
Let b be (0/4)/((-3)/1). Suppose b*p - p = -156. Suppose -2*q - q = -p. Does 14 divide q?
False
Suppose 4*t - 485 = 263. Let j = t - 125. Does 14 divide j?
False
Let f = 10 + -6. Let b = f + 0. Suppose -l + 55 = b*l. Is l a multiple of 11?
True
Let r be -1 - -3*4/(-12). Let z(u) = -5*u**3 + 4*u + 4. Is 12 a factor of z(r)?
True
Does 29 divide 300/18*141 + 6/(-6)?
True
Let c(a) = 4*a**2 + 47*a + 84. Does 21 divide c(-14)?
True
Let a = 136 + -134. Let k be (-2 - (0 + 0))*-1. Is (k - 61/a)*-2 a multiple of 19?
True
Suppose -5*h = 4*t - 950 - 646, -5*t + 2032 = -3*h. Is t a multiple of 15?
False
Suppose 1640 = 5*t + 5*i, 0 = -3*t - 0*i - 5*i + 976. Let u be (-10718)/(-69)*3/(-2). Let a = t + u. Does 11 divide a?
True
Suppose -33*y + 3690 = -24*y. Is 11 a factor of y?
False
Let j = -26 + 58. Let s = j - -260. Is 33 a factor of s?
False
Let v = 4 - 24. Let d = -25 - v. Is 23 a factor of d*(-2 - (-58)/(-10))?
False
Let h = 203 - 73. Suppose -2*g = -4*x + 3*x + 37, 0 = 4*x - 2*g - h. Is x a multiple of 13?
False
Let j = 1025 + -884. Is 15 a factor of j?
False
Suppose -2745 = -4*c + 2*m + 265, -3*c - 2*m + 2240 = 0. Is c a multiple of 10?
True
Let i(u) = 50 - 52 + 5*u + u**3 + 0*u**3. Does 10 divide i(3)?
True
Suppose 4*i + 24 = 288. Let s = i - 16. Suppose 5*j = s + 170. Is j a multiple of 11?
True
Suppose 5*q + 6045 = -3715. Is (1/(-4))/(8/q) a multiple of 5?
False
Is (-103968)/(-468) - 2/13 a multiple of 27?
False
Let p(b) = -4*b - 10. Let d(f) = -3*f**2 - 3*f + 3. Let q be d(1). Let y be p(q). Suppose 0 = -i - 3 + 4, 2*i - 104 = -y*z. Does 17 divide z?
True
Suppose -6*w - 722 = -12062. Is w a multiple of 48?
False
Suppose 0 = 3*n - 26 + 20. Let c(a) = -74*a + 4. Let m(r) = -223*r + 13. Let t(x) = n*m(x) - 7*c(x). Is 14 a factor of t(1)?
True
Let o be 75/((-1)/(-1*1/1)). Let v = 366 - o. Is v a multiple of 10?
False
Let r = 236 - -302. Let u = r - 280. Does 44 divide u?
False
Suppose 4*a - 3*a = 30. Suppose -7*q + 2*q = -a. Suppose 3*h - 4*u = -8, -h + 8 = 2*u - q. Is h a multiple of 4?
True
Let c be 8/28 - 68/(-7). Let t be (c/4)/(18/144). Is 7 a factor of 4*(-5)/t*-17?
False
Suppose -3*f + 24 = -d + 5*d, 18 = 2*d + 3*f. Suppose 5*c - d = 17. Is 4/(-16) + 233/c a multiple of 11?
False
Let z = -20 - -20. Suppose z = -l + 5*i + 72, -280 = -5*l - 0*l + 5*i. Does 6 divide l?
False
Let h(i) = -7*i - 4. Let b(t) = t. Let r(z) = -6*b(z) - h(z). Let x be r(8). Suppose 11*p = x*p - 78. Is 26 a factor of p?
True
Let r be 7/28 + (-42)/8. Let h be (2 + -3)*r*1. Is 384/h + 11/55 a multiple of 11?
True
Let s = 184 - 69. Suppose n + s = 2*n. Let c = n - 66. Is 15 a factor of c?
False
Suppose -12244 = -28*p - 2976. Is 10 a factor of p?
False
Suppose 13*a = -1792 - 2849. Let c = -247 - a. Is c a multiple of 17?
False
Let u(p) = 104*p - 119. Is u(17) a multiple of 48?
False
Let s(w) = -w**3 + 8*w**2 - 10*w + 6. Let f be s(6). Suppose 2*z - 5 = -2*j - 45, -z - f = -j. Let g = z + 37. Is g a multiple of 6?
True
Suppose 730 = 4*o + 50. Let n = o - 50. Is 10 a factor of n?
True
Let x = -28 - -72. Is 11 a factor of x?
True
Suppose -5 = -l, -5*p = -0*l - 5*l + 25. Let c(z) = -2*z**2 + 29*z - 9. Let b be c(14). Suppose -b*x + 105 = -p*x. Does 21 divide x?
True
Suppose 10*t - 2355 = -5*g + 8*t, -2*g - 5*t + 921 = 0. Is g a multiple of 3?
False
Let w be ((-2)/8)/((-12)/5232). Suppose 5*z - 156 - w = 0. Is z a multiple of 26?
False
Let z(s) = -5*s - 5. Let h be z(-5). Suppose -5*n = 4*a - 583 - 672, -4*n = h. Suppose w = -3*w + a. Is 20 a factor of w?
True
Let r(b) = b**2 + 12*b - 11. Let t be r(-13). Let o be (4 - t/2) + -43. Let v = o - -68. Does 7 divide v?
True
Let d(u) = 2*u**2 - 8*u + 8. Let j be d(3). Suppose 5*c + j*c = 1638. Is c a multiple of 13?
True
Let h = 19 + -27. Is 18 a factor of 108/h*(-8)/6?
True
Let m(t) = 56*t + 3533. Does 73 divide m(0)?
False
Let f(c) = -4*c**2 - 12*c - 8. Let a be f(-8). Is 17 a factor of ((-21)/(-6) - 3)/((-3)/a)?
False
Let q be ((-12)/10)/((-5)/800). Suppose 5*c + 80 = 3*r - 124, -3*r + q = -c. Does 10 divide r?
False
Suppose -10 = 5*n + 5. Let a be 2/(n/(-6)*1). Suppose k - 4 = 0, -3*s + 116 = a*k - 5*k. Is s a multiple of 20?
True
Suppose 2*l = -5*f + 114, -2*f + 4*l = -56 - 4. Let c = f - -396. Suppose -a = -6*a + c. Does 28 divide a?
True
Let h = 849 + -502. Is 8 a factor of h?
False
Let p = 24 + -18. Let v = -14 + p. Let x = v - -12. Does 2 divide x?
True
Suppose -3*q + 267 + 0 = 3*g, 0 = 5*q - 4*g - 472. Suppose -q*x = -97*x + 280. Is 14 a factor of x?
True
Let h = 7984 + -4255. Is 126 a factor of h?
False
Suppose 3*r - 15 + 3 = 0. Suppose -27 = -5*o + 2*v, r*o - 16 = 4*v + 8. Suppose -4*l = -2*h + 104, h = -o*l + 70 + 10. Is h a multiple of 12?
True
Let w be 5/(5/(-1 - -6)). Suppose w*o - 19 = 61. Is 4 a factor of o?
True
Does 9 divide (4452/36)/((-2)/(-6))?
False
Let f = -28 + 31. Suppose -33 = -a + 2*s, -f*a + 8*a + 5*s = 120. Is a a multiple of 27?
True
Let k(l) = 102*l**2 - l - 3. Let s be k(4). Does 10 divide ((-2)/(-5))/(13/s)?
True
Suppose -5*y - 645 = 710. Let i = 415 + y. Is i a multiple of 36?
True
Let m be 30/14 + (-1)/(11 - 4). Suppose -55 - 13 = -m*q. Is 17 a factor of q?
True
Let v(s) = -9*s + 33. Let y be v(9). Let f = 0 - y. Is f a multiple of 12?
True
Suppose 4*k = -2*p + 42, 0 = p - 0*k + 4*k - 23. Suppose 0 = -2*l + 31 + p. Suppose 4*w + 4*c - 113 = -l, 0 = -5*w + 5*c + 80. Is 19 a factor of w?
True
Let d(h) be the first derivative of -h**3/3 - 11*h**2/2 + 10*h - 3. Suppose c + 15 = -2*z + 1, -5*z - 23 = c. Is d(c) a multiple of 17?
True
Suppose 5*h = -0*h + 35. Suppose -12*b = -h*b - 25. Suppose -3*t = -5*l - 6*t + 17, -b*t + 11 = 4*l. Is 3 a factor of l?
False
Suppose -120 = 168*p - 169*p. Is 30 a factor of p?
True
Let h = 1867 - 1031. Is 21 a factor of h?
False
Let j be (-1)/(-2) + 1116/(-24). Let k = j - -72. Suppose -o + k = 2*z - 34, -5*z + 249 = 4*o. Is 16 a factor of o?
False
Let v(q) = q**2 + 8*q + 27. Let s(z) = 3*z**2 + 25*z + 81. Let x(m) = -2*s(m) + 7*v(m). Does 13 divide x(-12)?
False
Let a = 38 - 37. Is 2/(73/71 - a) a multiple of 39?
False
Let z(j) = -j**3 + 12*j**2 - 13*j + 11. Let a be (15 + -16)*9*-1. Is 14 a factor of z(a)?
False
Let c be -1 - (-3 + 1/(2/(-350))). Suppose c = 3*o - 0*o - y, -5*o = 3*y - 309. Is 15 a factor of o?
True
Suppose 4*r = -3*k + 7, 15 = 5*r - 5. Does 8 divide k/(-9)*111 + -1?
False
Let b = -1880 - -2492. Does 34 divide b?
True
Suppose 2*h - o = -3*h + 477, 182 = 2*h + 4*o. Does 6 divide h?
False
Let n = -278 - -812. Is n a multiple of 7?
False
Is (-2)/(-5) - (4488/(-30) + -5) a multiple of 31?
True
Let q = 42 - 