 + 45. Let n be i(0). Suppose -7 - 10 = -b - 5*h, -4*b = -3*h - n. Is b a multiple of 2?
True
Let f = 8 + -5. Does 19 divide 53 + 2 - (1 - 9/f)?
True
Suppose 13*i - 3307 - 73 = 0. Is 31 a factor of i?
False
Let b = 229 + 243. Is b a multiple of 46?
False
Let h(y) = -y + 17. Let s be h(14). Suppose 5*a + 67 + 49 = s*z, -a = 3*z - 146. Is z a multiple of 26?
False
Let f(c) = 2*c**2 + 2*c - 4. Suppose 2*s - 18 = -s. Let v be ((-4)/s)/((-1)/6). Does 18 divide f(v)?
True
Suppose 0*v + 5*v = 3*r + 283, -122 = -2*v - r. Is v a multiple of 3?
False
Let a be (-5)/(-2) + 24/16. Suppose -a*q - 30 = -9*q. Is 2 a factor of q?
True
Suppose -5*b + k - 3*k + 185 = 0, -5*b + 2*k = -165. Let d = -9 + b. Is d a multiple of 7?
False
Let f be (-2 + -2 + 5)*0. Suppose 4*i - 6 = z, z - 6*z - 2*i + 14 = f. Suppose 4*c = 4*w + 204, -z*c + 0*c + 117 = 3*w. Is 27 a factor of c?
True
Suppose -7 = -6*w + 5. Let q = 55 - w. Is 14 a factor of q?
False
Suppose 5*b + 5670 = -0*b. Let d be ((-26)/(-4))/((-9)/b). Does 20 divide d/6*(-6)/(-9)?
False
Let b = -1713 - -1731. Is b a multiple of 18?
True
Suppose -9*p + 3*f = -13*p - 759, 0 = 5*p - 3*f + 969. Is (18/12)/(1*(-9)/p) a multiple of 3?
False
Suppose -4*p + p + 3255 = 0. Suppose -122 = 2*f - h - 556, 0 = 5*f + 4*h - p. Is 31 a factor of f?
True
Let b = 246 + -225. Is b a multiple of 3?
True
Suppose 160 = -5*d + r + 4*r, -2*d + 5*r - 79 = 0. Let f = 141 - d. Let p = -87 + f. Is 29 a factor of p?
False
Is 100 a factor of (0 + -6)/((1287/(-7700))/39)?
True
Is 42 a factor of (-256 + 30/(-5))*-3?
False
Let l = -1052 + 2924. Does 72 divide l?
True
Suppose -u = -3*s - 111 - 17, s = -u + 144. Suppose b + 16 = 3*y + 5*b, 3*b = 3. Suppose -y*c = -4*q + u, 2*c + 54 = 3*q - 46. Does 16 divide q?
False
Let i = -2 + 2. Let l(f) = -f**2 - f + 72. Let h be l(i). Suppose 2 - h = -5*y. Is 14 a factor of y?
True
Let f = -3 + 8. Let n(b) = 14*b**2 + b + 6. Let s be n(2). Suppose s = f*d - d. Does 8 divide d?
True
Let n be (0 + 43/(-2))*-6. Let a = n + 13. Is 19 a factor of a?
False
Let j(g) be the third derivative of g**5/30 + 5*g**4/24 - 2*g**3/3 + 5*g**2. Is j(4) a multiple of 13?
False
Suppose -231 = -3*j + 3*z, 0 = -6*j + j - 2*z + 350. Suppose 6*t - j = 2*t. Is (3/2)/(1/t) a multiple of 17?
False
Let o be (-5)/(-30) - 58/(-12). Suppose -2*d + 41 = -o*q, -5*d + 4*q - 36 + 181 = 0. Suppose 0*n = -n - 2*a + d, 0 = -2*a + 8. Does 5 divide n?
True
Let b be (1/(5/36))/(45/(-1050)). Does 8 divide (46/69)/((-2)/b)?
True
Suppose q - f - 2*f = 44, q = 5*f + 34. Is 2 a factor of q?
False
Let c be 143/3 - 2/(-6). Suppose -c = -6*b + 24. Is b a multiple of 8?
False
Let l(o) be the second derivative of 13*o**3 + o**2 - 2*o. Is 20 a factor of l(1)?
True
Suppose 5*d - 72 = -d. Does 7 divide 3/9 + (0 - (-332)/d)?
True
Let z(n) = -n**2 + 12*n - 18. Let h be z(10). Suppose 0 = 4*u - 5*r - 157, 0 = -7*u + 3*u - h*r + 178. Does 14 divide u?
False
Let k = 39 + -40. Does 12 divide (-10)/(-20)*(k + 167)?
False
Suppose -8*f + 5694 = 1950. Does 10 divide f?
False
Let f(u) = -6*u**3 + 3*u**2 - 2*u - 13. Let q(i) = 7*i**3 - 2*i**2 + i + 13. Let t(x) = -6*f(x) - 5*q(x). Is 6 a factor of t(7)?
False
Suppose -3*p - 5*l = -1804, -l - 1098 - 694 = -3*p. Does 23 divide p?
True
Let a be ((-2)/4)/((-3)/24). Suppose -a*w + 54 = -2. Is 2 a factor of w?
True
Suppose 4*w + o = 1589, 0*o - 5*o + 2005 = 5*w. Does 22 divide w?
True
Suppose 0 = -2*d + l, 2*l - 3 = d - 0*d. Let n(u) = 3*u**2. Let o be n(d). Suppose 0*q - o*t - 4 = -q, 2*q - 5*t = 9. Is 3 a factor of q?
False
Let i = 64 - 57. Suppose 0 = i*c - 48 - 22. Does 5 divide c?
True
Let b be (-154)/((-1)/(-1)) - 0. Let c = b - -99. Let q = 121 + c. Does 22 divide q?
True
Let m(h) = -4*h - 23. Let o be m(-6). Is 27 a factor of o/(((-12)/322)/(-6))?
False
Let o = -14 - -76. Let j be (-8)/60 + o/15. Suppose 294 = 2*g + j*g. Is 13 a factor of g?
False
Let j(w) = -w - 1. Let g = -13 - -9. Let s be j(g). Suppose 0 = -5*c - s*m + 204, c = -3*c - m + 166. Does 11 divide c?
False
Suppose -5*a = 4*p - 1270, 0 = 4*a - 2*p - 949 - 93. Is (a/12 + 1)*(0 - -2) a multiple of 12?
False
Let a(y) = 0*y**2 + 18 + y**2 - 2*y**2. Is 8 a factor of a(0)?
False
Let q(f) = f + 35. Is 6 a factor of q(-12)?
False
Suppose 0 + 13 = h. Suppose -2*w - 3 = w, 5*d + 2*w - h = 0. Suppose d*s = 97 + 5. Is 12 a factor of s?
False
Let m = 280 - 26. Let n = -116 + m. Does 23 divide n?
True
Let d = 132 + -71. Let y(b) = -b**2 + 4*b - 8. Let x be y(8). Let j = x + d. Is j a multiple of 5?
False
Suppose 495 = 8*c - 5*c. Is 5 a factor of c?
True
Does 3 divide 3/((-9)/(-6)) - 28050/(-51)?
True
Suppose -3*b - 828 = -3*h, -3*h - 9*b + 838 = -7*b. Is (-1)/(-7) - h/(-14) a multiple of 20?
True
Suppose a - 57 = j + 3*j, 249 = 5*a - 2*j. Let g be -3 + (-1 + 1)/1. Let n = a + g. Does 12 divide n?
False
Let b(l) = -4*l - 1. Let a be b(-1). Let j be ((-3)/9)/(a/(-45)). Suppose 0*n + j*n - 40 = 0. Is 4 a factor of n?
True
Let r be (-4880)/(-12) - 3/(-9). Let s be r/(-5) - (-2)/5. Does 31 divide -1*(s - (-1 - 1))?
False
Let l(y) = -284*y - 213. Is 69 a factor of l(-18)?
True
Let f = 705 + -341. Is 28 a factor of f?
True
Let p(a) = 64*a - 51. Let t be p(9). Suppose 15*u - 8*u - t = 0. Is 6 a factor of u?
False
Let g be (-1)/3*(-18 - 18). Suppose 9*s + 102 = g*s. Is s a multiple of 21?
False
Suppose 728*d - 734*d = -816. Is d a multiple of 15?
False
Suppose -42 = 4*c + 6. Let j = 16 + c. Suppose p + j*u - 70 = -15, 3*u - 190 = -5*p. Is p a multiple of 12?
False
Suppose -2880 = 6*u - 13338. Does 28 divide u?
False
Let d(p) be the second derivative of p**5/20 - p**4/6 - p**3/6 + 33*p**2/2 - 16*p. Is 7 a factor of d(0)?
False
Let u be 0/2*(4 + 3 + -6). Let l(r) = -2*r**2 + r + 44. Is l(u) a multiple of 11?
True
Let t(m) = -m**2 - 8*m + 6. Let p be t(-8). Does 29 divide -4 + 2 + p - -54?
True
Let r(h) = -h**3 + 2*h**2 - h. Let x be r(2). Let k be 0 - 2*3/x. Suppose 0 = 4*w + 5*o - 107, -2*o = -3*w + k*o + 89. Is w a multiple of 14?
True
Let d = 370 - 174. Is d a multiple of 49?
True
Let l be (4/(-6))/((-3)/36). Let z(i) = -i + 12. Let p be z(8). Let m = l + p. Does 5 divide m?
False
Let n be 11/(220/64)*(49 + 1). Suppose 3*r - 4*j - n = 0, -4*j = 3*r - j - 174. Does 4 divide r?
True
Suppose -473 + 2265 = 8*r. Is r a multiple of 28?
True
Suppose -84 = m - 4*m. Suppose 3 = -4*h + 7*h. Is 16 a factor of m/(-35)*(-59 - h)?
True
Does 25 divide (((-15918)/12)/7 + 2)*-2?
True
Let k be -3*(-3)/9 + 7. Let o(c) = -3*c - 9. Let d be o(k). Is (-6)/d - 128/(-22) a multiple of 3?
True
Let g be -4 + (-3 - -6) - 1. Let w be g/(-7) + 6/(-21). Suppose w*s + 5*s = 40. Does 5 divide s?
False
Let o = -13 - -10. Let v be (o - -3)/((-1)/(-1)). Suppose v = c + 4*x - 65, -6*c + 2*c + 2*x = -242. Does 17 divide c?
False
Let z(i) = -i**2 - 3*i + 3. Let f be z(-5). Let y(x) be the third derivative of -x**4/8 + 5*x**3/2 - 2*x**2 - 5. Is y(f) a multiple of 18?
True
Let v(i) = 3*i**2 + 11*i - 4. Let t(d) = 8*d**2 + 32*d - 13. Let g(b) = -6*t(b) + 17*v(b). Is g(6) a multiple of 26?
False
Let h = 273 - 1845. Let w be 4/6 - h/18. Suppose -5*c + w = -3*s, -c - 4*s + 14 = -22. Is 20 a factor of c?
True
Suppose 24*f - 25*f + 945 = 0. Is f a multiple of 21?
True
Suppose -24 = 12*o - 18*o. Suppose 0 = 3*x + 5*g - 436, 5*x - 152 = o*x - 3*g. Is x a multiple of 9?
False
Let f = 96 + -52. Suppose -2*i = -p - f, 5*i - 5*p - 55 - 50 = 0. Does 5 divide i?
False
Let n(k) = -8*k + 18. Let w be n(-8). Suppose -18 = -z - 3*c + 8, 4*z + c - w = 0. Is 10 a factor of z?
True
Let x be (0 + -3)*(-2)/3. Suppose -o + p = 4*p + 22, -p = -x. Let y = o + 121. Does 31 divide y?
True
Does 7 divide 1183/3 + -2 + (-4)/(-6)?
False
Let z = -24 + 1. Let p = -1 + 2. Is (-2 + p)*z + 1 a multiple of 24?
True
Does 12 divide -7*(7470/(-322) + (-56)/644)?
False
Suppose 659*g = 666*g - 3017. Is 19 a factor of g?
False
Let k = 134 + -94. Let n(f) = -3*f**2 + 21*f + 16. Let r be n(8). Let h = k - r. Is 14 a factor of h?
False
Let n(i) = 23*i**2 + 1. Suppose -2*u - 24 = -4*v, -v - 5*u = -0*v + 5. Suppose 1 = v*y - 4. Does 15 divide n(y)?
False
Let o(h) = h**2 + 2*h + 10. Let i(v) = v**2 - 12*v - 10. Let f be i(12). Does 20 divide o(f)?
False
Let b(y) = -y**3 - 5*y**2 - y + 10. Let j be b(-7). Suppose -2*f = 2*x - 74, -2*x = -5*x + f + j. Is x a multiple o