)?
False
Let v(x) = -4 + 4 - 2 - 24*x. Suppose 3*n = -b + 12 - 14, 8 = 2*b. Is v(n) a multiple of 23?
True
Suppose -5*w + 3*m + 2 = 0, 0 = -3*w - 4*m + 3 + 4. Let u be 4/28 - w/7. Suppose -44 = -u*z - z. Is z a multiple of 11?
True
Suppose -4*h + 5*a + 45 = 0, -4*h + h + 33 = -3*a. Is 25 a factor of 112 - 2*(-15)/h?
False
Let q(w) = -4*w - 1. Let m be q(-3). Let i = -3 - m. Let p = i - -58. Does 11 divide p?
True
Let m be (4 - (-3 + 0))/(-1). Let z = 9 + m. Suppose 3*i + 39 = 3*f, i + 6 + 15 = z*f. Is 8 a factor of f?
True
Suppose 2*g + t - 1 = 0, -3*g - 6*t + 4*t = 0. Is 7 a factor of 3 + (-1 + g - -31)?
True
Let r = -283 + 138. Let j = 260 + r. Is 19 a factor of j?
False
Let d(x) = 3*x**2 - 12*x + 5. Let m be d(5). Suppose 0*i = 5*i - m. Is 7 a factor of -4 + 30 + i - -1?
False
Let s(m) = -m**3 - 12*m**2 - 11*m + 8. Suppose -6*y - 17 = 49. Is 4 a factor of s(y)?
True
Suppose -2*q = -4*b - 144, b + 0*q = -3*q - 29. Let s be (3 - 4)/(7/b). Suppose -40 = -t - s. Is t a multiple of 7?
True
Suppose 3*l + 0*n - 4*n = 398, 4*l = -n + 537. Does 37 divide l?
False
Is (17400/(-29))/((-1)/3) a multiple of 9?
True
Let j = 2472 + -2451. Is 21 a factor of j?
True
Let v be 7/(-35) - 34/5. Let q(k) = 0*k**2 - 2*k**2 + 4 - 10*k - 2*k**2 + 3*k**2. Does 9 divide q(v)?
False
Suppose 5*a = -c + 17, 4*c - 5*c - 1 = -a. Suppose 5*p - z - c*z - 582 = 0, p - 5*z = 112. Is 13 a factor of p?
True
Let h = 69 + -69. Suppose 5*x - 240 + 35 = h. Is 5 a factor of x?
False
Let r be 8/(-3)*(-2781)/36. Let y = r - 80. Does 14 divide y?
True
Suppose 0 = -2*m - 3*c + 4, -2*m - c - 3*c = 0. Suppose -7 - 2 = 2*x - 3*v, 2*v + 5 = 5*x. Suppose x*a - m = 2*a. Does 8 divide a?
True
Let n = 6 + -1. Suppose -5 = 4*p - n*p. Suppose -p*j + 275 = -0*j. Is 16 a factor of j?
False
Let r be (1 - 4) + (5 - -2). Let g(k) = -6 + 4 + 2*k + 21 - r*k. Is g(0) a multiple of 7?
False
Suppose -14*p = -10*p - 4*f - 1868, -5*f = 3*p - 1441. Is 4 a factor of p?
True
Let a = 18 - 13. Suppose -u = -3*h - 19, 5*u + a*h - 77 = 2*h. Is u a multiple of 3?
False
Let d(u) = -3*u + 16. Let r be d(4). Suppose -142 = -r*h + 122. Is h a multiple of 11?
True
Let q be (-4)/7 - (-39)/7. Suppose -y - 920 = -q*y. Suppose -10*n + y = -5*n. Does 12 divide n?
False
Let x be 1 - -2*6/4. Let f(g) = -g**2 - 8*g - 15. Let v be f(-5). Suppose v = q - x - 5. Is q a multiple of 3?
True
Let a = 84 - -32. Does 13 divide a?
False
Let q = -668 + 2723. Is q a multiple of 48?
False
Suppose 3*z + w = -213, -4*w + 300 = -0*z - 4*z. Let o = 171 - z. Suppose 4*n = 7*n - o. Is 26 a factor of n?
False
Suppose 2*c - 7*c + 15 = 0. Suppose -c*u - 2*r + 7 + 15 = 0, 2*u = -5*r + 33. Suppose 5*d = f + 253, u*d = -f - 36 + 242. Is 28 a factor of d?
False
Let a(r) = -r**2 + 4*r - 3. Let n be a(2). Let b be (-10)/(-2) - (-1 + n). Let z = b - 2. Is z a multiple of 3?
True
Let a(q) = -40*q - 18. Suppose -2*g = 3*u - 4, 0 = 7*u - 3*u - 16. Is 11 a factor of a(g)?
False
Let j be (-11)/((-55)/20)*1/4. Is 25 a factor of (-10)/(-4)*j/(-5)*-300?
True
Let g(y) = -42*y + 711. Is g(5) a multiple of 10?
False
Suppose 0 = 4*s + 5*a - 151, -64 = 4*s - a - 245. Does 4 divide s?
True
Suppose -3*t + 5*t = -3*l + 61, -8 = 2*t. Does 2 divide l?
False
Suppose 7*j - 56 = -j. Suppose -i + j*i - 42 = 0. Is i even?
False
Suppose -d + 48 = -j, -4*d + 5*d = -2*j + 39. Suppose k - d = -2*k. Suppose 5*i = 8*i - k. Is 4 a factor of i?
False
Let s be (-6)/(-15) - 33/(-5). Suppose 0 = -2*h + s*h + 215. Let g = h - -99. Is g a multiple of 28?
True
Suppose 2516 = 6*x - 250. Does 13 divide x?
False
Let m = -1284 + 1401. Does 3 divide m?
True
Let h(c) = -12*c + 12 - 15*c - 4*c. Does 20 divide h(-6)?
False
Suppose -30*y + 1416 = -24*y. Is y a multiple of 29?
False
Does 18 divide ((-4)/5)/((-1258)/(-180) + -7)?
True
Suppose -107*p + 104*p = d - 340, 0 = -5*d + 2*p + 1717. Is 18 a factor of d?
False
Suppose -j - 2*w + 14 = 59, -4*j = -w + 207. Let z = 8 + -5. Is 17 a factor of z/(18/j)*-2?
True
Suppose 4*s - 23 + 27 = 0. Let a be 22 + s/2*-2. Suppose f = -a + 90. Is 16 a factor of f?
False
Let l(r) = -r**3 + r**2 + 13*r - 2. Let b be l(4). Suppose p + 3*x = b*x + 22, 2*x = 2*p - 64. Is p a multiple of 4?
False
Is (-13671)/42*((-28)/6 + 2) a multiple of 25?
False
Suppose 0 = -4*z + 49 - 5. Suppose -z*t = t - 264. Is t a multiple of 16?
False
Suppose 185 = 2*o - 5*x, 0 = 2*o - 3*x - 22 - 161. Is 45 a factor of o?
True
Let h(z) = 91*z - 21. Does 31 divide h(5)?
True
Let c(p) = -p**3 - 11*p**2 - 11*p - 6. Let n be c(-10). Suppose -n*b - 36 = -2*s, 43 = 3*s - 3*b + 4. Is 5 a factor of (-7)/(-28) + 78/s?
True
Suppose 6708 = 43*r - 63296. Is 22 a factor of r?
True
Let k = -18 - -20. Let o(c) = 5*c**2 + 3*c**2 - 6 - 6*c**k + 0*c**2. Is o(3) a multiple of 12?
True
Let h be 0/(10/(-2) - -4). Suppose h*g - 5*w = -g - 7, 2*w = -3*g + 47. Suppose -g = -c + 18. Does 11 divide c?
False
Let q(b) be the second derivative of -b**5/20 - 2*b**4/3 - b**3/2 + 7*b**2/2 + 11*b. Does 7 divide q(-8)?
False
Suppose 0 = -27*t + 17*t + 3540. Is t a multiple of 12?
False
Let d = 411 + -328. Is 33 a factor of d?
False
Suppose 0 = -5*o + 4*d - 31, 3*d - 2 - 4 = -2*o. Let r be (-2 + (-6)/o)/(-2). Suppose -5*b + n + 200 = r, 3*b - n - 120 = 4*n. Is b a multiple of 8?
True
Let f = -9 - -9. Suppose 4*i - 13*i + 342 = f. Is 30 a factor of i?
False
Suppose 3*q = -3*q. Suppose 5*n = 25 - q. Suppose -2*s - 9 = -n*u, u + 3*u = s + 9. Is 3 a factor of u?
True
Suppose 33*l - 30*l = 2850. Does 8 divide l?
False
Suppose 5*l + 2*p = 232, 3*l = 4*p + p + 133. Is l a multiple of 19?
False
Let t(p) = 4*p + 48. Let j be t(-11). Suppose -5*y = -j*y - 80. Is y a multiple of 8?
True
Let a = 69 + -69. Suppose 6*z + 4*z - 2390 = a. Is 33 a factor of z?
False
Let h = -4 - -9. Suppose -2*i = t + h, i = -2*t - 0*i + 2. Suppose -t*g - g = -240. Is g a multiple of 30?
True
Let h = 219 - 71. Is 74 a factor of h?
True
Let q(b) = -99*b + 29. Let f be q(-5). Suppose 4*p = -2*v + f, -5*p = -5*v - 557 - 113. Is 22 a factor of p?
True
Suppose -8*q = -9*q + 93. Does 20 divide q?
False
Let m be (-245)/(-77) + 2/(-11). Suppose m*n = 4*p + 6, 0*p = -p - 5*n + 10. Is 7 a factor of (p - -1)/((-5)/(-35))?
True
Suppose -3*i = 7*m - 5*m - 3795, 3*i = 2*m - 3765. Is m a multiple of 54?
True
Let h(u) = -u. Let k(j) = 2*j + 3. Let c(y) = -3*h(y) - k(y). Let s(t) = -21*t - 190. Let o be s(-10). Does 4 divide c(o)?
False
Let v = -125 + 605. Is 30 a factor of v?
True
Suppose -107 = -c + 60. Let d = c - 103. Is d a multiple of 16?
True
Let d = 43 + -36. Suppose d*f = 91 + 49. Does 3 divide f?
False
Is 36 a factor of 1815/3*(7 - 30/5)?
False
Let o = 2004 + -1340. Is o a multiple of 11?
False
Suppose -m + 9*m = 2144. Is m a multiple of 14?
False
Let l be (18/(-15))/(-6) + (-28)/(-10). Suppose -110 = -l*m - 32. Is m even?
True
Let d be (15/(-20))/(1/(-4)). Suppose -d*n + 4 - 19 = -2*o, -3*n + 3*o - 18 = 0. Is 1 - 35/(n + 2) a multiple of 7?
False
Let r(l) = 19*l - 5. Let m be r(6). Suppose 5*d = -j + 303, 5*d - 4*j - m = 179. Suppose 10*g - 8*g = d. Is 6 a factor of g?
True
Suppose 110 = 10*f - 0. Is 2 a factor of f?
False
Let h = 14 - -578. Is h a multiple of 37?
True
Suppose -3*g - 15 = 2*t, 5*t + 0*g = 4*g + 20. Suppose -2*h - 2*o + 0*o = -40, t = -5*o + 15. Let y = h + 5. Does 11 divide y?
True
Let x(s) = -145*s**2 + 21*s + 16. Let c(a) = -29*a**2 + 4*a + 3. Let m(i) = -11*c(i) + 2*x(i). Is 9 a factor of m(-1)?
False
Let v(q) = -q**2 + 9*q - 9. Let g(b) = -b**2 + 9*b - 8. Let l(n) = -6*g(n) + 5*v(n). Let u be (7/(14/(-9)))/(8/(-16)). Does 3 divide l(u)?
True
Let r(a) = a**3 + 6*a**2 - 7. Let c = -19 + 11. Let h be r(c). Let q = -93 - h. Is 14 a factor of q?
True
Let w(t) = -58*t**2 - 2*t - 2. Let k be w(-1). Let c = 99 + k. Suppose -2*z + c = -43. Does 15 divide z?
False
Let d = -16 + 20. Suppose 0 = -h - 2*k + d, h + 0*k = -k + 5. Suppose h*j = 3*j + 42. Does 7 divide j?
True
Suppose -4*k + 2*u - 3*u = -52, -4*k + 68 = -3*u. Suppose -3*r + 212 = k. Is r a multiple of 6?
True
Let k(c) = 4*c**2 - 1. Suppose -8*h + 1 = -7*h. Is 2 a factor of k(h)?
False
Does 28 divide 120 - 5 - (3 - 0/5)?
True
Suppose -s - 4*n = 3*s + 4, 0 = -s - 3*n - 9. Suppose -5*r - 566 = -4*k, s = 2*r - 1. Is 32 a factor of k?
False
Let h(n) = -113*n**3 + n. Let s be h(1). Let y = -181 - s. Le