604 = 4*p, 5*p + 74*x - 14534 = 75*x. Does 18 divide p?
False
Does 14 divide 2 - 1/(12/(-39984))?
False
Suppose 5*t + 620 = -5*v, -5*t - 489 - 134 = 4*v. Let f = t + 283. Suppose -3*l = 3*l - f. Is 13 a factor of l?
True
Suppose 0 = -3*z + 12 - 6. Suppose -426 = -4*r + z. Is r a multiple of 12?
False
Let z(x) = 11*x - 77. Is 3 a factor of z(9)?
False
Let k(h) be the third derivative of h**7/280 + h**6/180 + h**5/20 - 3*h**2. Let o(d) be the third derivative of k(d). Is 19 a factor of o(3)?
False
Suppose -4*m - 9*u + 13324 = -11*u, 13314 = 4*m - 7*u. Does 98 divide m?
True
Let l(z) = z**2 + 3*z + 14. Is 7 a factor of l(-7)?
True
Suppose -5*b + 4*t = -12279, 5*b + 5*t - 18619 = -6349. Is b a multiple of 46?
False
Suppose 4*q = 4, -4*j + 5331 = 3*q - 3268. Does 14 divide j?
False
Is -3 + (-5478)/(-34) - (-10)/(-85) a multiple of 79?
True
Let p = -103 - -86. Let j = 21 + p. Is 4 a factor of j?
True
Let x(h) = h**3 - 7*h**2 + 8*h. Let r(n) = -n**3 - 7*n**2 - 2*n - 8. Let i = 3 + -10. Let q be r(i). Does 4 divide x(q)?
True
Let s(d) = 2*d + 22. Let u be s(-10). Suppose v = u*v - 108. Is v a multiple of 18?
True
Is 8 a factor of 67*8 + 18/((-48)/(-8))?
False
Let v(t) = 69*t**2 - 8*t - 65. Does 153 divide v(-4)?
True
Let n be (-232)/72 - 2/(-9). Let p(k) = 15*k + 1. Let j(f) = -14*f. Let h(a) = n*p(a) - 4*j(a). Is 15 a factor of h(3)?
True
Suppose -5*a = 5*z + 24 - 79, -a + 15 = 5*z. Suppose 8*m = a*m - 8. Suppose 5*g = 4*o + 192, -o - 82 - 65 = -m*g. Does 12 divide g?
True
Let g = -40 - -43. Let d = -2 + -2. Is 30/d*(-4)/g a multiple of 7?
False
Let n(l) = l + 9. Let k be n(-4). Suppose 2*m = 5*m + k*q + 2426, -15 = -3*q. Is 28/126 - m/9 a multiple of 15?
False
Let n be 4 + 2/(-14) + (-3258)/(-21). Let j = 264 - n. Does 35 divide j?
True
Let x = 40 + -57. Let q = -22 - x. Let t(b) = -3*b + 11. Is t(q) a multiple of 8?
False
Let g(l) = 962*l + 10. Is 12 a factor of g(1)?
True
Let s(w) = -2*w**2 - 3*w - 3. Let d(y) = -11*y**2 - 18*y - 17. Let t(u) = 6*d(u) - 34*s(u). Is 9 a factor of t(5)?
False
Let t = -1739 + 3275. Is 4/(-56)*-4 + t/14 a multiple of 16?
False
Let t be 2/2 + 0 - -1. Suppose -2*z = k - 217, 4*z - z - t*k - 336 = 0. Is 22 a factor of z?
True
Let s be 3 + 9/(-6)*-2. Is (s/10)/(5/75) a multiple of 2?
False
Suppose 4*z + 152 = -4*h, -5*h - z = -0*z + 198. Let t = 63 + h. Is 8 a factor of t?
False
Let t(k) = -k. Let f be t(-5). Suppose 1 - 7 = -4*d + f*v, -v - 18 = -5*d. Suppose -3*y + 5 = -d. Is y a multiple of 3?
True
Let r = -117 + 162. Does 9 divide r?
True
Let d(l) = 4*l + 4. Let v be d(-7). Suppose 0 = 3*n - 0 - 9. Is 6 a factor of v*((-21)/(-12) - n)?
True
Suppose 5*m - 16 - 164 = 0. Is m a multiple of 36?
True
Let l = -28 + 28. Is 1/1*(12 + l) a multiple of 4?
True
Let u = 1926 + -1124. Does 14 divide u?
False
Let q = -889 - -1417. Is q a multiple of 44?
True
Let l = 263 - -222. Is 25 a factor of l?
False
Let q = -656 - -993. Is q a multiple of 26?
False
Let k(f) = 75*f + 110. Does 8 divide k(5)?
False
Let c be (54/8)/((-3)/8). Let s = 37 - c. Does 39 divide s?
False
Does 4 divide 876/10*170/68?
False
Let x(s) = -s**2 - 7*s - 1. Let v be x(-7). Let m be v - 5/(10/(-46)). Suppose -24*l = -m*l - 164. Does 16 divide l?
False
Is 12 a factor of ((-121728)/(-2219))/(3/(21/2))?
True
Let x(h) = -30*h - 3. Let n(y) = -15*y - 1. Let a(w) = 5*n(w) - 2*x(w). Does 15 divide a(-7)?
False
Let i(o) = 10*o - 80. Let x be i(0). Let f(a) = 134*a**2 + 1. Let q be f(-1). Let d = q + x. Does 11 divide d?
True
Is -8 - (-77)/7 - (-82)/2 even?
True
Suppose -5*m + 0*m - 20 = 0, 0 = 4*g + 4*m - 392. Suppose 2*h = -4*h + g. Does 9 divide h?
False
Suppose -2*u + 16 = 12. Let z(l) = 29*l**2 - 5*l + 4. Is 24 a factor of z(u)?
False
Let k be -4 + 1 - ((9 - 1) + -3). Let x be 1*-2*17/(-2). Let v = x + k. Is v a multiple of 5?
False
Let c be (-1444)/(-16) + (-5)/((-20)/(-1)). Let v = -86 + c. Does 2 divide v?
True
Suppose 2*x = r - 46, 2*x = 10 - 0. Is 754/8 - (-42)/r a multiple of 19?
True
Suppose -16*t - 5 = -17*t. Suppose t*b + 81 + 39 = 0. Let c = 41 + b. Is c a multiple of 5?
False
Let j = 17 + 1. Suppose -j = -i + 24. Does 21 divide i?
True
Let y = -91 - -1291. Is y a multiple of 60?
True
Let i(w) be the first derivative of w + 2 + 0*w - 3*w**2 - 5*w. Is 14 a factor of i(-10)?
True
Let p(y) = y**2 + 5*y + 9. Let t be p(-3). Suppose -t*d + 9 = -0*d. Suppose -67 = -d*q + 5. Is 24 a factor of q?
True
Let n(g) be the third derivative of g**5/30 - g**4/4 - 7*g**3 + 2*g**2. Is 3 a factor of n(-5)?
False
Suppose 0 = -3*n + 2 + 10, -5*x = -4*n - 474. Is 14 a factor of x?
True
Let v be ((-91)/(-2) - 4)*2. Let p = v + -58. Is p a multiple of 5?
True
Suppose -n + 4*n = -2*g + 15, 5*g = -4*n + 20. Suppose -4*r - n*h + 12 = 0, -6*r - 5*h = -r - 15. Let i(q) = 6*q - 4. Is 7 a factor of i(r)?
True
Suppose 0 = 2*s - 3*s. Let q be (1/((-3)/4))/(14/(-21)). Suppose 3*x + 3*u - 39 = s, 3*x - q*x = -2*u + 14. Does 3 divide x?
True
Is ((-100)/16)/(((-39)/132)/13) a multiple of 25?
True
Let v(o) = 24*o**2 + 9*o - 6. Is v(2) a multiple of 36?
True
Let v(l) = -47*l**2 + 4*l - 3. Let p(y) = -48*y**2 + 4*y - 2. Let s(c) = -5*p(c) + 4*v(c). Does 7 divide s(-1)?
False
Suppose -10*j + 13*j = 1539. Is j a multiple of 22?
False
Is 54 a factor of 192/28*(5 + 62 + -4)?
True
Let o(v) = v + 4. Let q be o(2). Suppose 0 = -14*k + q*k + 104. Is k a multiple of 2?
False
Let t be 1/1 + -3 - -4. Suppose 17*q = 19*q + t. Is q*1 + -9 + 13 a multiple of 3?
True
Let h = 9 - 7. Let g(k) = 6*k**2 + 2*k - 2. Let u be g(h). Suppose -122 = -4*s + i, 5*s - 172 + u = -2*i. Is s a multiple of 16?
False
Suppose 36582 = -3*p + 45*p. Is 10 a factor of p?
False
Let n(v) = -8*v + 27. Let x be n(-12). Let g = x + -65. Is g a multiple of 19?
False
Suppose -y - 24 = y. Let o = 14 + y. Suppose -5*r + 260 = -5*t - 210, o*t = 3*r - 277. Is 20 a factor of r?
False
Suppose 2*a - 5 - 23 = -4*l, 36 = 4*l + 4*a. Suppose -2*d = 3*p - 800, 1 = -d + l. Is p a multiple of 22?
True
Let n be -1*(4 + -8 - -3). Let z be n*(-12)/4 + 18. Is 13 a factor of (-1 - (-20)/z)*156?
True
Suppose 5*x + 11 - 1 = 0. Let d = x + 14. Let l = 30 - d. Does 7 divide l?
False
Let u = 1138 - 656. Is u a multiple of 51?
False
Suppose -x + 2 = -58. Does 12 divide x?
True
Let t be (-24)/(-2) - (2 + -2). Let q be 2/(-12) - (-122)/t. Let v(g) = 7*g - 14. Does 23 divide v(q)?
False
Let s(f) = f - 4. Let r be s(7). Let z = 3 + -1. Suppose -z*n + 4*m + 25 = 3*m, -39 = -r*n + 2*m. Does 4 divide n?
False
Let f(t) = t**2 - t - 1. Let o be f(-1). Let v be 11 + -8 + 3 + o. Let j(z) = z**3 - 6*z**2 - 4*z + 3. Is 6 a factor of j(v)?
True
Let v = 21 + -19. Suppose v*u - 12 = -0*u + 5*d, -u = d - 20. Is u a multiple of 16?
True
Let a be (4/6)/((-4)/(-576)). Suppose y - 60 = -5*t, -5*t = -4*y + 269 + a. Is 9 a factor of y?
False
Let d(j) = 97 - 13*j + 20*j**2 + 0*j - j**3 - 112. Does 33 divide d(19)?
True
Let y(z) = 12*z - 1. Is 7 a factor of y(17)?
True
Suppose 2*b + 3*p = 15, -4*p - p = 2*b - 21. Suppose -17 = b*w - 218. Does 10 divide w?
False
Suppose -8 = v - 3*d + d, -5*v - 48 = -2*d. Does 4 divide 2*27*v/(-15)*1?
True
Suppose -3*w = -4817 + 335. Suppose 4*t - 314 + w = 0. Is (t/(-5))/(-1 - -2) a multiple of 14?
False
Suppose 318*y - 738 = 315*y. Is 6 a factor of y?
True
Suppose 54*c - 12006 = 25*c. Is c even?
True
Let z = 197 + -97. Is 4 a factor of z?
True
Suppose 4 - 56 = 4*o. Let t = 41 + o. Is 7 a factor of t?
True
Let i(h) = -h + 13. Let k be i(11). Let j be -4 - (k + (-1 - 2)). Let t(w) = 2*w**2 + w - 7. Is t(j) a multiple of 8?
True
Suppose -100 = -z + 6*z. Let x be z/(-12) - (-3)/9. Suppose x*h - j - 105 = -0*h, -j = 5. Is 10 a factor of h?
True
Let t be 4/6 + 130/30. Suppose -2*j - 45 = -t*q, 3 = -3*q + 2*q - 2*j. Is q a multiple of 4?
False
Let a = -23 + 24. Let v be (a + -1)*(0 + 1). Suppose 0 = -v*x - x + 89. Is x a multiple of 24?
False
Suppose -3*u = -0*u - 1215. Is 21 a factor of u?
False
Let j(d) be the second derivative of -3*d**5/4 + d**4/6 + d**3/6 - 11*d. Let p be j(-1). Suppose 2*w - p = -3*x, -2*w + 6*w - 2*x = 48. Is 11 a factor of w?
True
Let h(m) = m**3 + 4*m**2 - 3*m - 6. Let t be h(-4). Let l be (9 - 10) + 8 + -1 + 0. Suppose t = f - l. Is 4 a factor of f?
True
Suppose 3*g - 38 = t, 2*g + 4*t - 69 = -3*g. Is g/(65/180)*6 a multiple of 2