3*r, 2*z - 2*r - c = 0. Is 38 a factor of z?
False
Let k = -234 + 458. Is k a multiple of 32?
True
Suppose -13*l + 17*l = 496. Is 31 a factor of l?
True
Let m = 150 - -97. Let i = m - 35. Is 15 a factor of i?
False
Let a = -293 - -543. Suppose 0 = g - 6*g + a. Suppose -2*t = 3*s - 51, -5*t - g = -3*s + 22. Does 19 divide s?
True
Let f(u) = u**3 - 2*u - 1. Let d be f(2). Suppose -l - 4*c = -d - 87, 160 = 2*l + 4*c. Suppose -l = -3*n - 2*n. Does 14 divide n?
True
Suppose 5*u - 234 = z - 4*z, -4*z - u + 295 = 0. Let h(d) = -d**3 + 4*d**2 - 2. Let o be h(3). Let a = z - o. Is 26 a factor of a?
False
Let w(n) = 6*n**2 - 2*n - 1. Let g(t) = -t + 1. Let y(r) = 3*g(r) + w(r). Let d be y(4). Suppose d = 2*z - 78. Is 28 a factor of z?
False
Let i(u) = -2*u**2 + 5*u - 4 + 4*u**2 - 3*u**2. Let k be i(3). Does 5 divide k + 5 + 2 - -2?
False
Let p be ((-180)/(-100))/(3/10). Suppose 0 = p*c - 7*c - 32. Let a = c - -72. Does 12 divide a?
False
Suppose 3*k + 244 = 2*j, 4*j + 14*k - 444 = 9*k. Is 29 a factor of j?
True
Let m(q) be the first derivative of q**2/2 + 11*q - 3. Suppose -4*l - l + 40 = 0. Is m(l) a multiple of 8?
False
Let p(x) = -238*x**3 + x**2 - 1. Suppose 32*r = 37*r + 5. Is 14 a factor of p(r)?
True
Suppose 4*s = 3*f - 872, -3*f + 866 = -23*s + 22*s. Does 72 divide f?
True
Let h(j) = 5*j**2 - 8*j + 90. Is 21 a factor of h(10)?
False
Let f = -106 + 100. Is 19 a factor of 0 - 0 - 756/f?
False
Suppose -o - 1 = 5*n, 2*o + 0 + 2 = n. Suppose n = -2*w + w. Suppose w = -3*d - 53 + 353. Does 25 divide d?
True
Suppose 0 = b + 3*b + 3*d - 50, -b + 5*d = -1. Let f = b - 6. Suppose 0 = -f*s + 4*t + 492, 0*s + 3*s - 4*t = 292. Is s a multiple of 25?
True
Let i(r) = 7*r**3 - 5*r**2 - 3*r - 11. Let u(l) = -4*l**3 + 3*l**2 + 2*l + 6. Let f(v) = 3*i(v) + 5*u(v). Does 24 divide f(5)?
False
Let n(s) = -3*s**2 + 11*s - 3. Let r be n(3). Let j(w) = w**3 + 5*w**2 - w + 1. Let v be j(-4). Suppose -v - r = -u. Does 8 divide u?
True
Let w = 242 - 67. Suppose -5*s + w - 50 = 0. Suppose 7 = -y - 4*d, 0 = -5*d + 5 - s. Is 3 a factor of y?
True
Is 14 a factor of 12/(-4)*(-10)/(-6) + 817?
True
Let v(w) = w**2 + 43*w + 407. Is 21 a factor of v(-49)?
False
Let k(s) = s**3 - 6*s**2 + 2*s - 3. Suppose h - 18 = -2*h. Is 2 a factor of k(h)?
False
Does 86 divide (-1 + -1)/(5 - 131214/26239)?
False
Suppose 18 = 3*m - 2*d, 0*m + 2*m + d = 5. Suppose m*n - 5*n + 237 = 0. Suppose -5*v = -5*f - 285, 4*v - f - n = -0*v. Is 23 a factor of v?
False
Let z(y) = -y**3 - 3*y**2 - 9*y - 23. Let c(f) = f**2 - 7*f - 23. Let h be c(9). Does 14 divide z(h)?
False
Let w = 81 + -81. Suppose -a + 72 + 53 = w. Does 25 divide a?
True
Let o = 360 + -265. Is o a multiple of 19?
True
Let q be (4/(-2) - -1)*0. Suppose v + v = 6, 3*z + 4*v - 54 = q. Does 7 divide z?
True
Let y = -325 + 456. Let r be (y/2)/(4/40). Suppose -5*s + l = -r, 0*l + 393 = 3*s - 3*l. Is 39 a factor of s?
False
Suppose -5*m + 2490 = 5*q, -139 = -5*m - q + 2339. Does 9 divide m?
True
Let r(d) = -d**2 - 3*d + 3. Let z be r(-3). Let i(t) = -t**2 + 12*t - 9. Let o be i(11). Suppose o*x + 31 = z*x. Does 16 divide x?
False
Suppose 0 = 4*t + 8, -2*t + 361 = 2*i - 101. Does 10 divide 4/24 - 3/(-18)*i?
False
Let w be (-2)/4 - 4130/(-20). Suppose 2*s + 4*f = -0*s + w, -s + 91 = -f. Is s a multiple of 19?
True
Let f(z) = -2*z**2 - z - 2. Let r be f(-3). Let y = r - -64. Is 12 a factor of y?
False
Let y(f) = 11 + 13 + 2*f - f - 2. Is y(18) a multiple of 8?
True
Suppose 5*c + 2*m - 383 = 0, 7*c - 371 = 2*c + m. Suppose -c - 310 = -5*s. Is s a multiple of 11?
True
Let f = -997 + 1457. Does 46 divide f?
True
Let t(d) = d + 57*d**3 - 3*d**2 - 71*d**3 + d**2 + 2. Is t(-2) a multiple of 13?
True
Let k = 2402 - 1136. Is k a multiple of 4?
False
Let v(m) = 8*m**2 + 63*m + 16. Does 47 divide v(-12)?
False
Suppose -5*o + 0 = -2*l + 4, -5*o = 3*l - 6. Let t(y) = -3*y**2 + 2*y + 94. Does 16 divide t(o)?
False
Let i = 261 - -245. Does 17 divide i?
False
Suppose 5*a - 62 = 2*f, -3*a - 4*f = -0*f - 58. Let q = a + 14. Is 14 a factor of q?
True
Does 7 divide (11/2)/11 + (-54)/(-4)?
True
Let z(p) = p**2 - 3*p - 4. Let u be z(4). Let t = u + 2. Is (-4)/6*(-75)/t a multiple of 5?
True
Let x = -19 + 192. Is x a multiple of 25?
False
Let z(b) = 2*b**3 + 14*b**2 - 5*b - 9. Does 6 divide z(-5)?
False
Let z = 58 + -32. Let l = -4 + z. Is l a multiple of 7?
False
Let w(c) = c + 2. Let q be w(3). Suppose -t = -5*t. Suppose -q*n + t*n = -320. Does 16 divide n?
True
Suppose 101298 + 112174 = 56*r. Is 97 a factor of r?
False
Suppose -5*q = -2*q + 12, 0 = 5*s - q + 536. Suppose 5*d - 2*w - 810 = 0, -2*d + 0*d + 4*w + 324 = 0. Let h = s + d. Does 18 divide h?
True
Suppose -5*i = -i - 40. Suppose -5*r - 4*b = i, r - 4 = -0*r - 2*b. Is 14 a factor of (63/r)/(3/(-4))?
True
Suppose -2*j = -3*z - 750, 2*z = -5*j + 959 + 954. Is j a multiple of 16?
False
Suppose -3*b - 406 = -4*z - b, -5*b - 5 = 0. Does 2 divide z?
False
Let c be -2 - (3 + 0 + 22). Let v = c - -56. Suppose -v = -s - 6. Is s a multiple of 14?
False
Let g be 1 + (52 - -3)/5. Suppose g*l = l + 2431. Is l a multiple of 13?
True
Suppose 0 = a + 42 + 10. Suppose 22*i = 2329 - 129. Let j = i + a. Does 16 divide j?
True
Let r(c) = c + 1. Let h(n) = -64*n - 80. Let j(q) = h(q) + 80*r(q). Let s be j(3). Suppose -5*d = 3*w - 59 - 83, w - s = -d. Is w a multiple of 14?
False
Suppose -5*j - 290 = -10*j + 3*y, -3*y = 4*j - 205. Suppose j = 3*c + 5*r, -7*r + 55 = 4*c - 4*r. Does 10 divide c?
True
Suppose -44*x + 45*x - 207 = 0. Is x a multiple of 9?
True
Suppose -3*d - 71 = -4*d + 4*h, -d - h = -91. Suppose 6*k - 3*k - d = 0. Suppose 2*f - 2*w - 51 = k, 0 = -4*f - 2*w + 136. Is f a multiple of 11?
False
Let u(x) = -x**2 - 7*x + 2. Suppose 0 = -3*f - 9, -2*f = -5*m + 2*f - 23. Let y be u(m). Suppose 0 = -2*a, -7*p + y*p + 200 = -4*a. Does 20 divide p?
True
Let s be -1*9/3 + -9. Let f(v) = -12*v**2 - 3 - 1 + 5 + 0*v**2 - v**3 - v. Is 8 a factor of f(s)?
False
Let p = 62 + -21. Is -1*(p/4)/(4/(-16)) a multiple of 24?
False
Let c = -63 - -67. Suppose -3*h = -c*y - 2*h + 650, -3*y = 4*h - 497. Is y a multiple of 12?
False
Let g = 7 - 8. Let b be -1*(0 + g/1). Does 2 divide 6 - (-2)/(-3 + b)?
False
Suppose 0*d - 216 = 4*d. Suppose -r + 135 = 32. Let v = d + r. Does 12 divide v?
False
Suppose -34 = 2*l + 4*s - 7*s, 0 = -2*l + 4*s - 36. Does 10 divide 7/(l/8) - -55?
False
Is (-44)/(-154) + 1508/14 + 0 a multiple of 12?
True
Suppose 0 = 2*z - 3*z + 4*w + 226, 2*z - 416 = -w. Does 2 divide z/13 + (-2)/13?
True
Is 19 a factor of -414*(6 + -13)/7?
False
Let g(x) = -3*x - 6. Let p be g(-4). Suppose -2*n + p = 5*f - 59, 3*n + 2*f = 125. Does 6 divide n?
False
Suppose 3*r - 3*n = 9, 12 = -5*r - 6*n + 2*n. Let p be r + 0 + (2 - 5). Is 9 a factor of (-72)/16*26/p?
False
Let p(z) = 3*z**2 - 58*z + 11. Let f be p(20). Let t = 86 - f. Is t a multiple of 2?
False
Let c = 1 + 4. Suppose 2*d - 8 = -3*f, -d - 3*f + 2 = -c. Is 9 a factor of -2 + (8 - (d + -4))?
True
Let p be -1*64*(2/(-1))/(-2). Let o = p + 130. Is 22 a factor of o?
True
Let f(b) = -b**2 - 17*b - 26. Let s be f(-15). Suppose -5*p + 0*p = 5*r - 190, -3*r - 173 = -s*p. Is 11 a factor of p?
False
Let g(c) = 66*c**2 + 37*c + 6. Is 10 a factor of g(-6)?
True
Suppose 0 = -m - 14*m + 165. Let d = 12 + -18. Let a = d + m. Is a a multiple of 2?
False
Suppose -k + 5*c + 320 = 10*c, 0 = -4*k - 3*c + 1212. Does 9 divide k?
False
Suppose 4*v + b - 5 = 0, -5*v - b + 4 = -1. Let l(y) = v*y + y - 2 + 4 + 2*y. Is 17 a factor of l(12)?
False
Let n(a) = a**2 + 3*a - 2. Let m be n(-3). Let u be (m/6)/((-3)/198). Let d = u + -14. Is 7 a factor of d?
False
Suppose 7*a - 564 = 269. Is a a multiple of 19?
False
Suppose -108 = s - 576. Is s a multiple of 52?
True
Suppose 32*f - 773 - 6907 = 0. Does 20 divide f?
True
Let x(n) be the second derivative of n**5/20 - 7*n**4/6 + 8*n**3/3 - 6*n**2 - 3*n - 17. Let g = -13 + 26. Is 9 a factor of x(g)?
True
Let b(x) = -8*x + 31. Let f(a) = -17*a + 61. Let n(q) = 5*b(q) - 2*f(q). Is 15 a factor of n(-16)?
False
Let h(f) = -397*f**3 - 3*f**2 - 5*f - 3. Is 18 a factor of h(-1)?
True
Suppose 5*y = 2*a + 27, -a + 0*y + 5*y = 21. Does 13 divide (-180)/a + 2 + -6?
True
Suppose -2*b = -12*b + 9750. Is 39 a factor of b?
True
Let m(a) = -37*a - 69. Is 20 a factor of m(-14)?
Fal