ple of 14?
False
Is 38 a factor of (-1)/(3650/(-1216) - -3)?
True
Suppose -4*n = 4*l - 504, 0 = -3*l - 3*n + 4*n + 386. Suppose 9*x - l = 5*x. Does 15 divide x?
False
Suppose 3*w = -12*h + 7*h + 3563, h + 2397 = 2*w. Is w a multiple of 118?
False
Let k be (-572)/(-91) - (-4)/(-14). Suppose -3*b = -k*b + 174. Is 12 a factor of (-3 - (-3 - b))/2?
False
Suppose 5*z - 955 = -2*y, -4*y - 224 - 323 = -3*z. Let a = z + -118. Is 5 a factor of a?
False
Let p(v) = v**3 - 6*v**2 + 6*v + 3. Let k = -11 - -16. Let h be p(k). Let z(o) = -o + 12. Is z(h) a multiple of 4?
True
Let k = 506 + 254. Is 40 a factor of k?
True
Let o = 3869 + -2629. Does 31 divide o?
True
Let x(u) = -u**2 + 13*u - 12. Let q be x(9). Suppose 4*b + q = -2*h, 4*b - h + 0*h + 24 = 0. Does 18 divide 14 + 2/(-3)*b?
True
Let v(s) = -24*s + 2. Let j(u) = u**3 - 6*u**2 - u + 3. Let m be j(6). Let d be v(m). Suppose d + 56 = 5*b - 5*c, -2*b - c + 58 = 0. Is b a multiple of 14?
True
Let j be (1 - (-9)/3)*43. Suppose 6*a = 188 + j. Suppose -2*u - f = -u - a, -2*f = -3*u + 165. Is u a multiple of 13?
False
Suppose r - 2*a - 98 - 31 = 0, -3*a = 0. Does 2 divide r?
False
Let i(c) = -5 + 18 - 6*c + 3*c + 4. Let n be i(7). Does 9 divide n/1 + 63 + 2?
False
Let m = 35 + -2. Suppose m*p + 52 = 34*p. Is p a multiple of 3?
False
Let w = -4 - -7. Let t(d) = -11*d + 0 + 10*d + w. Does 5 divide t(-3)?
False
Let r = -982 - -1449. Does 4 divide r?
False
Suppose 4*v + 2*h - 134 = 0, -v - 3*h - h + 30 = 0. Suppose -17 = -i + v. Suppose -3*k = 12 - i. Is 11 a factor of k?
False
Suppose 4*v - 992 = -168. Does 5 divide v/10 - ((-36)/(-15))/(-6)?
False
Let g be 18*((-100)/36 + 3). Is (162/45 - g) + (-732)/(-5) a multiple of 9?
False
Suppose -4*s + n + 53 = 0, 3*s + 61 = 6*s - 5*n. Suppose g - s + 5 = 0. Is 13 a factor of (-90)/(-7) - (-1)/g?
True
Let t(n) = -2*n**3 - 4*n**2 - 2*n. Let f be t(-2). Suppose 70 = 2*u + j - 30, 0 = 4*u - f*j - 200. Is 22 a factor of u?
False
Suppose -548 = -5*d - 3*o + 405, 0 = 4*d - 5*o - 755. Is d a multiple of 5?
True
Suppose -2*z - 2 = 0, -4*f - 5*z = 245 + 596. Let x = f - -391. Is x a multiple of 24?
False
Let w = 0 + 1. Is 27 a factor of 0 + 26 - 4/(-5 + w)?
True
Let l(w) = -w**3 + 8*w**2 - 9*w + 17. Let f be l(7). Suppose -f*d = 4*v - 541, v - 3*d - 88 = 51. Is v a multiple of 22?
False
Let o = -23 + 25. Suppose 0 = o*k + 3*k - 810. Is k a multiple of 18?
True
Suppose 2*i + 6 = 18. Let l(p) = 2*p**2 - 5*p - 12. Is l(i) a multiple of 8?
False
Suppose -6*b + 9*b - 3322 = -5*f, 0 = -2*b - 4*f + 2214. Does 9 divide b?
False
Does 12 divide ((-60)/9)/(8/(-12)) + 2?
True
Let l be ((-2)/2)/((-3)/9). Let c be 2/4*-2 - -61. Suppose -2*z - l*z + c = 0. Does 3 divide z?
True
Let j be 2 + 9/(45/50). Is (-3)/(-9) + 584/j a multiple of 7?
True
Suppose -5*y + 14 = 4*d - 2*d, -4*y - d + 13 = 0. Is 8 a factor of (-204)/(-4) - (0 + y)?
False
Let x(b) be the third derivative of b**6/120 - 17*b**5/60 + 11*b**4/8 - 2*b**3/3 - b**2. Is 10 a factor of x(15)?
False
Suppose 79*v = 55*v + 25392. Does 46 divide v?
True
Let a = 637 - -254. Is 81 a factor of a?
True
Let k = 30 + -36. Let n(c) = c**2 + 3*c - 3. Does 2 divide n(k)?
False
Let t = 887 + -22. Suppose -t = 4*p - 9*p + 2*w, -15 = -3*w. Is 40 a factor of p?
False
Let g(a) = 16*a**2 + 7*a - 21. Does 27 divide g(-6)?
True
Let p be 12*12/(-10)*(-350)/45. Suppose 5*k - p = 273. Does 7 divide k?
True
Suppose 3*g = 0, 5*c - 4*g - 45 = g. Let t = -7 + c. Suppose -98 = -3*k + t*u, -3*k + 2*u = 3*u - 86. Is 10 a factor of k?
True
Is 2 a factor of -3*8/(144/(-426))?
False
Let n(j) = j**2 - 3*j + 14. Let p be n(-13). Suppose 0 = u + 5*m + 14 - 76, 0 = -3*u + 3*m + p. Is 18 a factor of u?
True
Let t(h) = -h**3 + 6*h**2 - 4*h. Let m be t(4). Suppose -8 = i - m. Does 3 divide i?
False
Let q = -1118 + 1747. Is 17 a factor of q?
True
Let a be 5 + 8/10*15/(-6). Suppose 12 + 9 = a*z. Is z even?
False
Does 5 divide (-4)/10 + -9155*(-8)/100?
False
Suppose 2*s = -s + 36. Let x(b) = 11*b - 27. Is x(s) a multiple of 21?
True
Let b be 11 - (0 - (0 - 4)). Suppose -9*k + b*k = -218. Does 10 divide k?
False
Let i(z) = -z + 18. Let h be i(15). Let b(a) = a**3 - 2*a**2 + 5*a - 5. Does 12 divide b(h)?
False
Let z(n) = n**3 - 7*n**2 - 10*n + 7. Let a be z(8). Let v be (a + 5)*1/(-2). Suppose -f = 1 + v, 4*f + 42 = s. Is s a multiple of 11?
False
Let o = -170 + 430. Suppose 4*t + 0*t = -5*s - 260, 2*t = 5*s + o. Is (-533)/s - (-2)/(-8) a multiple of 10?
True
Let w(r) = 168*r**2 - 3*r - 2. Let c be w(-1). Let b = 283 - c. Is b a multiple of 19?
True
Suppose 4*b + 9*c = 4*c + 1584, 3*b - c = 1188. Is 9 a factor of b?
True
Let m(w) = 23*w**2 + 1. Let d(a) = -a**3 - 8*a**2 + 8*a - 8. Let t = 1 + -10. Let z be d(t). Is m(z) a multiple of 5?
False
Suppose -33*l - 13800 = -56*l. Is l a multiple of 25?
True
Suppose 33 = 6*k + 3. Suppose -k*w = -13*w + 224. Does 7 divide w?
True
Let s(b) = -52*b**2 - 5*b - 13. Let o be s(10). Let u = o - -3002. Does 32 divide u/(-35) + (-3)/5?
True
Suppose 0 = -6*p + 14*p - 4664. Is 28 a factor of p?
False
Let l be (-2132)/(-24) - (-1)/6. Suppose -m = -1 - l. Does 10 divide m?
True
Let a(i) = 3*i. Let g be a(8). Let s = 4 + g. Suppose -5*j + s = -j. Is j a multiple of 7?
True
Suppose -374 = -2*r + 2*l, r = -0*r + 3*l + 183. Does 9 divide r?
True
Suppose -2*x - 4992 = -18*x. Does 12 divide x?
True
Let t be 1 + 1 + (1 - 0). Suppose -5*n - 17 = t. Does 10 divide (16/(-6))/(n/24)?
False
Suppose 153 + 162 = -3*h. Is ((-42)/h)/((-1)/(-135)) a multiple of 20?
False
Is 24 a factor of 4/(-14) - (-155276)/154?
True
Let l = 4 - 2. Suppose -l*n + 128 = 38. Suppose -2*s = -5*s + n. Is s a multiple of 13?
False
Let m = 92 - 89. Suppose -m*o - 855 = -5*i + 2*i, 885 = 3*i + 3*o. Is 58 a factor of i?
True
Suppose -y = 1, 5*w + 3*y = 2117 + 1780. Is 32 a factor of w?
False
Suppose 0 = 4*w - 3*q - 395, -14*q + 12*q = -4*w + 390. Does 2 divide w?
False
Let h be (7 + 1)/((-13)/13). Let i = 5 + h. Is 18 a factor of i*(1 - 10) - 1?
False
Let y(t) = 32*t - 2. Let w be (2/(-3))/((-12)/18). Is y(w) a multiple of 10?
True
Let k be (-42)/(-9)*(-6)/(-4). Suppose k*v - 3*v = -8. Is 3 + (v + 0 - -13) a multiple of 7?
True
Let r(q) = 6*q + 6. Let x be r(-6). Let k be (8/10)/((-12)/x). Suppose -k*w + 69 = w. Does 5 divide w?
False
Let u(v) = -v**3 + 26*v**2 - 32*v - 27. Does 6 divide u(22)?
False
Let w(j) = 19*j + 9. Let p be w(-3). Let k = p + 107. Is 30 a factor of k?
False
Suppose 0 = -5*c - 5*v + 2630, v = -3*c - c + 2107. Is 17 a factor of c?
True
Suppose -l + i = -i - 75, 5*l - 331 = -i. Suppose -o - 5*h + 21 = 0, 0 = 5*o + h - 62 - l. Does 26 divide o?
True
Suppose -3*o + 2411 = c, -5*o - 4*c + 4019 = -2*c. Does 26 divide o?
False
Suppose -4 - 5 = -3*n. Suppose 5*p + 232 = n*h + 10, -370 = -5*h + p. Does 22 divide h?
False
Let o be (-10)/3*54/(-15). Suppose o*t - 16*t + 216 = 0. Suppose 0 = 5*b - 0*b + 4*a - t, b - a - 9 = 0. Is 5 a factor of b?
True
Let k(p) = -18*p + 9. Does 11 divide k(-16)?
True
Let z(i) = 77*i**2 + 9*i - 9. Is 13 a factor of z(2)?
False
Let t be 10/5 - (-1 + 3). Suppose t = -2*n - 2*n. Suppose -2*d = -2*o - 4*d + 38, n = 4*o + 2*d - 66. Does 14 divide o?
True
Suppose -5*z = 3*v - 574, 1092 = 5*v - 3*z + 90. Is 11 a factor of v?
True
Let s = 1854 - 1277. Is s a multiple of 45?
False
Let g = 3527 - 1429. Suppose g = 9*k + 559. Does 19 divide k?
True
Suppose 12*y = 7*y - 10. Let n be -4 - (70 - -4)/y. Suppose 2*g + 3*q = 2*q + n, 0 = 4*q + 20. Is 4 a factor of g?
False
Suppose -2*w = -m + w - 3, 0 = -2*m - w + 1. Suppose -3*i - 9 = -m. Is 21 a factor of (4 - 3)/(i/(-267))?
False
Let z = -249 - -270. Does 8 divide z?
False
Let q(u) = 12*u - 441. Does 3 divide q(37)?
True
Suppose 2*v - 2*d + 3*d - 1109 = 0, -4*v = 5*d - 2227. Is v even?
False
Let c(t) be the third derivative of t**4/6 - 11*t**3/3 + t**2. Suppose -41 = -25*b + 359. Is c(b) a multiple of 14?
True
Is (5238/24 - 8)*8 a multiple of 22?
False
Let o(b) = 513*b - 16. Is o(3) a multiple of 52?
False
Is (10 + 1 + 0)/(15/2100) a multiple of 11?
True
Suppose -11*t - 224 = -7*t. Let m be 1/((-4)/t)*14. Suppose 0 = 3*i - 5*s - m, 2*i + 32 - 150 = -3*s. Is 13 a factor of i?
False
Let m(a) = -25*a**2 + 9*a - 4. Let y(b) = -49*b**2 + 19*b - 9. Let k(v) = -13*m(v) + 6*y(v). Let z be k(-2). Is (-2)/3 + z/12 a m