ose r = o + 4. Is (-3)/7 - (-820)/r a multiple of 23?
True
Suppose 10 = -5*w, 3*w = a - 76 - 52. Let z = 239 - a. Does 13 divide z?
True
Let t = 67 - 66. Let k(s) = -2 + 4*s + 12*s + 1. Is k(t) a multiple of 12?
False
Let i(f) = -4*f**3 - 13*f**2 - 17*f + 2. Does 63 divide i(-6)?
False
Let o(c) = c**2 - 2*c - 2. Let j be o(0). Is 3/(-1) - 2 - j - -14 a multiple of 3?
False
Is 10 a factor of (-14 + (-238)/21)/(2/(-75))?
True
Suppose -1025 = -2*o - 3*a, 2*o + 3*a - 8*a = 1033. Is 18 a factor of o?
False
Let z = -873 + 1565. Does 8 divide z?
False
Let b = -8847 + 17197. Let j be b/(-95) + (-8)/76. Is (j/24)/((-2)/12) a multiple of 11?
True
Let p(z) = -2*z**2 - 3*z - 7. Let k be p(-5). Let u = 128 + -141. Let c = u - k. Is c a multiple of 5?
False
Suppose -x - 3 = -2. Let b be 7/35 + x/5. Suppose u + 2*g - 25 = 0, -u - 2*u - 5*g + 71 = b. Is u a multiple of 14?
False
Let g(y) = -y**3 - 8*y**2 - y - 3. Let l be g(-8). Suppose -2*j + 0*j - 134 = -5*w, -l*w = -20. Is 11 a factor of 21/14 + j/(-2)?
False
Let d(g) = -g**3 + g**2 + 4*g - 7. Let a be d(0). Let t(m) = -m**3 - 6*m**2 + 3*m + 3. Is t(a) a multiple of 6?
False
Let u(v) = -v + 23. Let n be u(20). Suppose n*q + 9*w - 4*w = 93, 5*q = 3*w + 189. Does 12 divide q?
True
Let g be 4/26 + (-111)/(-39). Is (g + 6)*((-35)/(-15) + 0) a multiple of 5?
False
Let c be 2/((-19)/7 + 3). Let k(h) = c + 4 + 0 + 3 - h. Is k(8) a multiple of 2?
True
Let c = -55 - -126. Suppose 4*f - 389 - c = 0. Does 23 divide f?
True
Let v be -1 + 2/2 + -12. Suppose -4*a - 6 = 82. Let h = v - a. Does 10 divide h?
True
Suppose -f = -2*k + 1043, 40*k - 35*k = 2*f + 2606. Is k a multiple of 40?
True
Suppose 23 = -2*p + 25. Is (114 - (0 - -3)) + (-1)/p a multiple of 19?
False
Suppose 8*m - 137 - 7 = 0. Does 18 divide m?
True
Let j = -146 - -218. Suppose 3*b + j = 5*b. Let i = b - 19. Does 12 divide i?
False
Let g(z) = -z**2 - 28*z - 45. Let p be g(-23). Suppose m - p = -6*m. Is m a multiple of 10?
True
Let u = -293 - -670. Is u a multiple of 13?
True
Suppose 3*p - 433 = -2*c, c + 2*p + 458 = 3*c. Does 14 divide c?
True
Suppose 0 = -2*a - 3*y + 906, -121*a + 5*y - 446 = -122*a. Is 8 a factor of a?
True
Suppose 2*w - 16 = 3*s, 4*s + 4*w + 16 = -12. Suppose c = 6 + 3. Let d = c + s. Is d even?
False
Let d = 7786 - 4109. Suppose -10*k + d - 947 = 0. Does 35 divide k?
False
Let k be (43/(-4))/(5/(-60)). Is (-7 - -8)/(1/k) a multiple of 29?
False
Let d(q) = 15 + 15*q**2 - 3*q + 7*q**2 - 34*q**2 - q**3. Is d(-12) a multiple of 17?
True
Let r(a) = -43*a + 10. Let k(m) = -14*m + 2 + 2 - 4 + 3. Let j(n) = -7*k(n) + 2*r(n). Is j(3) a multiple of 14?
False
Let x be 22/24*-3*4. Let h = -4 - x. Does 6 divide h?
False
Suppose 0 = 9*c - 2725 - 749. Is c a multiple of 11?
False
Let n be (-84)/(-6) + -2*(-1)/(-2). Suppose n*x = 5*x + 192. Is x a multiple of 21?
False
Let q be 2/(-5) + (-60)/(-25). Let y(u) = 2*u**q - 4 - u + 1 - 3*u. Does 6 divide y(-2)?
False
Let z = 50 - 34. Suppose 0 = z*d - 17*d - 42. Is 3 a factor of 12/d - (-200)/14?
False
Let l = 575 - 284. Suppose -r + c = -3*c - 31, -5*c - 79 = -3*r. Suppose 4*a + r = l. Is 23 a factor of a?
False
Let b be (-2)/10 + (-72)/15. Is 4 a factor of -3 - -13 - (b - -7)?
True
Let w = 9 + -4. Suppose 5*t - 10 = -3*b, -2*t + w*t - 2*b = 25. Is 15 a factor of (25 + -1)*(6 - t)?
False
Let b = 7 - 2. Suppose 4*y + 0*y - b*f = 254, -3*y + 4*f = -190. Suppose 5*d = 4 + y. Does 14 divide d?
True
Let p = 46 + 111. Let a = 247 - p. Is a a multiple of 30?
True
Suppose 2*x + 1 = 13. Suppose 4*z = x*z - 156. Suppose -2*a - 2 = -z. Is a a multiple of 10?
False
Let h(j) = -22*j**2 + j + j + 12*j**2 + 112 + 9*j**2. Does 12 divide h(0)?
False
Let q(b) be the third derivative of b**6/120 - 19*b**5/60 + 23*b**4/24 + b**3 - 23*b**2. Does 48 divide q(18)?
True
Let l(c) = -c**3 + 7*c**2 - 2*c - 5. Let x be l(4). Let k = x - 17. Does 9 divide k?
True
Let r(g) = -3 + g + 6*g**2 + 4 - 3*g**2. Let t be r(-1). Does 23 divide ((-2)/t)/((-14)/483)?
True
Let h(f) = -8*f**3 + 3*f**2 - 2*f - 65. Is h(-5) a multiple of 14?
False
Is 15866/12 + 1/(-6) a multiple of 13?
False
Let v(m) be the second derivative of -1/2*m**3 - 4*m + 0 + 3*m**2 + 1/3*m**4. Is 11 a factor of v(3)?
True
Let d(a) = a**3 + a**2 - a. Let w be d(0). Suppose w = -n - 3*n. Suppose 5*q - 4*q + 104 = 3*y, 5*y - 2*q - 175 = n. Is y a multiple of 11?
True
Suppose -577 = -8*m + 839. Is 59 a factor of m?
True
Suppose -47*u = -49*u + 1220. Is u a multiple of 55?
False
Let o = 82 - 51. Is 21 a factor of o*((-1)/(-3) + (-4)/(-6))?
False
Let i(m) be the second derivative of -m**5/20 + 5*m**4/6 - 2*m**3/3 + 12*m**2 - 2*m. Is 21 a factor of i(8)?
False
Let p(g) = g**3 + 15*g**2 + 12*g - 20. Let u be p(-14). Is 22 a factor of (u/6)/(20/330)?
True
Let l = 965 - 910. Does 2 divide l?
False
Suppose 0 = v - 2 - 3. Let g be -239 + -1 + (-20)/v. Is 39 a factor of (-10)/20*(g + 2)?
False
Does 67 divide (((-585)/(-60))/13)/((-2)/(-3216))?
True
Let t be (-1)/4 + (-134)/8. Let w be 1/2*-25*4/(-2). Let z = w + t. Is 3 a factor of z?
False
Let s(u) = 16*u**3 + u**2 - 2*u + 3. Let x be s(2). Suppose -4*w + 161 = -x. Let p = 115 - w. Is p a multiple of 21?
True
Suppose -35*i + 38*i = -153. Does 11 divide (-171)/6*17/(i/18)?
False
Suppose 3*q - 3048 = 5*t, 3*q + 4*t - 366 = 2655. Does 9 divide q?
False
Does 10 divide 56 - 47 - (-1402)/2?
True
Suppose 7*b - 481 = 6*b. Is b a multiple of 37?
True
Suppose 14 = -5*s + 39. Let i be 0 + 3 + s + -3. Suppose 0 = -z - 3*a + 79, 5*z - i*a - 136 = 3*z. Is 19 a factor of z?
False
Let p(m) be the second derivative of m**4/12 - 2*m**3/3 - 4*m**2 - 9*m. Let r be p(7). Let v(h) = h**3 - 13*h**2 + 6*h + 10. Is 27 a factor of v(r)?
False
Suppose 3*y = 5*f + 736, 3*y = -2*f + 771 - 7. Is y a multiple of 13?
False
Let x(u) = u**2 + 17*u + 14. Let r be ((-2)/(-5))/((-12)/60). Let q be (-226)/12 - r/(-12). Does 13 divide x(q)?
True
Let q = 439 - 201. Is 34 a factor of q?
True
Let h = -8 - -9. Suppose 4*o + 4 = -5*i, -4*i + h - 2 = o. Is 4 a factor of (-23 + 6 + -3)*o?
True
Let j be (-15)/10 - (-7)/2. Suppose 0 = -3*l - 12, j*l = 4*p + 11 - 35. Suppose p*d + 3*d - 497 = 0. Does 22 divide d?
False
Let d be 3/(-6) - 11/(-2). Suppose 0*m = -4*h + 3*m - 1, -d*h = -3*m - 1. Suppose 0 = -5*s - 4*q + 118, h*q - 102 = -3*s - 32. Is 17 a factor of s?
False
Suppose -3*y = 5*x - 1492, 12*x - 4*y = 11*x + 303. Is 13 a factor of x?
True
Suppose 0 = 4*m + 8, -5*h + m = -h - 998. Suppose -5*w = -h - 401. Does 15 divide w?
False
Let y = 116 + -162. Is (y - -1)*28/(-35) a multiple of 9?
True
Let a(o) = -o**3 - 13*o**2 - o + 8. Let b be a(-13). Let i = 40 - b. Is i a multiple of 4?
False
Let n be ((-3)/(-3) - 0) + -21. Does 10 divide (4/(-6))/(n/1110)?
False
Suppose -5*c = -5*h - 7705, 2243 - 702 = c - 5*h. Is 7 a factor of c?
False
Let z(h) = -h**2 + 25*h + 22. Let b be z(19). Let c = -74 + b. Is 31 a factor of c?
True
Let j = 1279 - 619. Does 30 divide j?
True
Suppose 5*g + 0*g - 342 = z, 126 = 2*g + 5*z. Suppose -4*t - 5*b + 28 = -t, -4*t = -b - g. Let s = 22 - t. Is s a multiple of 4?
False
Let j = -38 + 49. Suppose 0 = u - 51 + j. Is u a multiple of 7?
False
Let y = 164 + -140. Is y a multiple of 6?
True
Suppose -44*u = 24*u - 176256. Is 72 a factor of u?
True
Let n = -27 - -52. Suppose n - 355 = -6*o. Does 11 divide o?
True
Suppose 0 = 5*r, 3 = -5*u - 4*r + 13. Suppose -u*g = 5*y - 167 - 99, 3*g + y - 425 = 0. Is g a multiple of 11?
True
Let v(a) = a**2 - 3*a + 4. Let q be v(3). Suppose q*k + 18 = 2. Is 15 a factor of -4 + 2 - (-82 + k)?
False
Suppose 16859 + 5629 = 8*y. Is 10 a factor of y?
False
Suppose 8*k - 1000 = -2*k. Suppose -4*m = m - k. Is 2 a factor of m?
True
Let v(h) = 117*h**2 + 35*h - 93. Is 10 a factor of v(3)?
False
Let t(s) be the first derivative of -35*s**2/2 + 3*s - 9. Does 36 divide t(-3)?
True
Suppose 0 = -4*f + 5 - 13. Let i be (-2*(3 + f))/1. Is 9 a factor of (-21 - -3)/(0 + i)?
True
Does 3 divide 138 + -1 + 1 - (45 - 46)?
False
Let x(y) = 2*y - 4. Let n be x(4). Suppose j - 188 = -n*z, -j - 2*j + 550 = 5*z. Suppose 0 = 4*m - m - j. Is m a multiple of 30?
True
Let o(a) = -a**3 - 3*a**2 + 4. Let x be o(-2). Is 3 a factor of -13 + 8 - -35 - (x - -2)?
False
Suppose 5*l + 2*l - 70 = 0. Let s(x) = -3*x + 12. Let q be s(l). Let g = 83 - q. Is 26 a fac