 3*s = 11. Does 20 divide l?
True
Suppose -2*s - 3*j + 593 = -163, -j = 0. Is s a multiple of 9?
True
Let k be (-2)/(-7) - (-52)/14. Suppose 5*y + 48 = -4*q, -k*y + q = -4 + 34. Is 2168/32 + (-2)/y a multiple of 19?
False
Let h be 61 - ((-1)/(-1) - 3). Let l = 32 + h. Is 19 a factor of l?
True
Let u(s) = -49*s - 21. Let r be u(-12). Let j = r - 359. Is j a multiple of 35?
False
Let k(c) be the third derivative of -c**5/60 + 5*c**4/24 + 5*c**3/3 - 6*c**2. Let u be k(6). Does 11 divide (440/(-12))/(u/(-6))?
True
Suppose -9*c - 213 = -x - 4*c, -x - 2*c + 192 = 0. Is x a multiple of 34?
False
Suppose 0 = 3*f - 4 - 8. Suppose f*q = -6*h + h + 12, -q - 2*h = -3. Suppose 2*l = -2*v + 36 + 68, -q*l + 172 = -v. Does 12 divide l?
False
Let s = 9 + -8. Suppose -4*d + 2*t = -14, d = -5*t - 3 + s. Suppose x + 0*x + 2*k - 21 = 0, d*x - 72 = -3*k. Is 5 a factor of x?
False
Suppose 0 = -4*a + a - 2*u - 545, -2*a = 5*u + 345. Is 15/1*(a/(-15) - -1) a multiple of 66?
False
Does 3 divide (25 + -24)*(2 - -231)?
False
Suppose -5*d + 4*o = -1266, -5*o = 404*d - 409*d + 1270. Is 8 a factor of d?
False
Suppose -4*o - 16 = -q, 3*o + 16 = q - 2*o. Suppose -119 - q = -3*g. Is g a multiple of 15?
True
Suppose -2*j + 5*j = 5*j. Suppose j = z + 2*o + o - 56, -3*o + 188 = 4*z. Is z a multiple of 10?
False
Suppose 2*l + l = -24. Let c(y) = 3*y**2 + y**2 - 1 - 10*y - 5*y**2 + 0*y**2. Is c(l) a multiple of 15?
True
Let s(k) = -k + 6 + 2 + 7. Let w be s(17). Let x = w - -31. Is 29 a factor of x?
True
Suppose -3 = q - 6. Suppose -2*j = q*j - 50. Is (-12)/j*(2 + -37) a multiple of 14?
True
Suppose 5*c - 3*c = -2. Let a(v) = -30*v**2 + v + 6. Let b(h) = h**2 + 1. Let l(k) = c*a(k) + 6*b(k). Is l(-1) a multiple of 8?
False
Suppose -8*o + 13214 = -5986. Is o a multiple of 120?
True
Suppose 0 = -3*a - 3*l + 9513, 28*a - 29*a - 3*l = -3169. Does 37 divide a?
False
Suppose 4*l + 9*l = 52. Let z(u) = 44*u - 26. Is z(l) a multiple of 30?
True
Does 20 divide ((-2)/(-5)*-2)/((-322)/153755)?
False
Let c = -1 + 6. Suppose b + c*b - 60 = 0. Let v = -2 + b. Is 6 a factor of v?
False
Let v(q) = q**3 + 2*q + 4. Let r be v(0). Does 36 divide 3 + 29 + (r - (-2 - -2))?
True
Suppose 0 = -14*s + 9246 + 2094. Is s a multiple of 54?
True
Suppose 0 = -6*w + 10*w - 120. Suppose 2 = -2*s + w. Is s a multiple of 14?
True
Let x(o) = -20*o + 1. Let l be x(-2). Suppose -5*c + 5*r + 65 = 0, -2*c + 4*r = -c - 10. Let h = c + l. Is 12 a factor of h?
False
Let s = 376 - -107. Is s a multiple of 21?
True
Let i be 4/(-14) - 1458/(-7). Let j = i + -116. Suppose -u + 4*u - 3 = 0, u = -y + j. Is y a multiple of 28?
False
Let x = 21 + -19. Suppose x*z = -3*z + 90. Is 15 a factor of z?
False
Let z(i) = -i**3 + 12*i**2 + 14*i - 10. Let a be z(13). Suppose -a*m + 6 = 0, 3*d + 3*m = -2*m + 355. Is 10 a factor of d?
False
Let y = 3 - 1. Let b = -74 + 91. Suppose 2*f = -y*j - b + 105, -f + 4*j = -49. Is 15 a factor of f?
True
Suppose 3*z + 2*n = 4252, 5*n + 25 = 5. Is z a multiple of 24?
False
Let p = -386 + 1253. Is 47 a factor of p?
False
Suppose -3*i - 1840 = -5*q, 20*q = 15*q - i + 1860. Is 34 a factor of q?
False
Is 34 a factor of 175*39/(-65)*-34?
True
Let u = -39 + 32. Let q(n) be the second derivative of -n**4/12 - 3*n**3/2 + 3*n**2 - n. Is 10 a factor of q(u)?
True
Let g = 17 - 15. Suppose -4*i = 4, -g*k - i = i - 138. Is 7 a factor of k?
True
Let p = 6 + -6. Suppose 0 = 2*l - 8, -5*j + 4 = l - p. Suppose j = y - 6*y + 55. Does 6 divide y?
False
Let t(w) = 10*w - 8. Let i be t(8). Suppose l = 8 - 49. Let s = i + l. Does 18 divide s?
False
Let y be 4*(7/2 + (-21)/(-28)). Suppose 5 = -4*n - 3. Let b = n + y. Does 15 divide b?
True
Suppose 2*c = -2, -2*m = -0*m - 5*c - 5. Suppose 5*h + 7*h - 504 = m. Is h a multiple of 6?
True
Let n = 1026 - 546. Is 24 a factor of n?
True
Let v(d) be the second derivative of d**5/20 - d**4/3 - d**3/6 - 15*d**2/2 + 13*d. Let o be v(5). Suppose 0*p + o*p = 165. Is 8 a factor of p?
False
Suppose 0 = 3*q - 4*o + 25, 4*q - 5*o + 49 = 17. Let i be -4 - (q - 0 - 16). Suppose -5*a - i = -2*v, -3*v + 85 = a + 4*a. Is 3 a factor of v?
False
Let i be (-25)/(-1)*(-4)/4. Let x be (3 - (-108)/(-20))*i. Suppose -3*o = -5*o + x. Is o a multiple of 10?
True
Suppose 12*x = 17*x - 235. Is x a multiple of 47?
True
Is 3 a factor of ((-6)/9)/(34/(-20247))?
False
Let c = -12 - -16. Let b(z) = z**3 - 3*z**2 - 3*z - 2. Let t be b(c). Suppose -i - t*i = -12. Is i a multiple of 4?
True
Does 58 divide 17 - 1118/65 - (-17946)/5?
False
Suppose 0 = -4*c, -3*c = 7*l - 3*l - 2532. Is l a multiple of 61?
False
Let p(o) = o**2 + 20*o + 22. Let g be p(-19). Suppose g*r + 983 = 293. Is 19 a factor of 13/(-39) + r/(-6)?
True
Suppose -2*w + 18337 = 3*w + l, 4*l = 4*w - 14684. Does 7 divide w?
True
Let p be (-3)/(-9) + (-22)/(-6). Suppose 3*s = 5 + 4. Suppose q + p*k = -s*q + 116, -3*k + 151 = 5*q. Is q a multiple of 5?
False
Let b = 2524 - 1630. Is 13 a factor of b?
False
Suppose 3*k + 487 = -4*a, -3*a - 121 = 3*k + 368. Let n be k*2/(-4)*2. Is (n + -1)/((-10)/(-5)) a multiple of 24?
False
Suppose 0 = -2*l + 10 - 4. Suppose -t - 5*g = -3*t + 54, -l*t + 81 = -3*g. Is 17 a factor of t?
False
Suppose -d = -5*d - 244. Let o = 94 + d. Let f = o + -17. Is 8 a factor of f?
True
Suppose i - 2*s = -13, -2*s - s - 30 = 4*i. Does 2 divide i/(189/6) - (-258)/21?
True
Let z(w) = -w**3 - 8*w**2 - 11*w - 24. Let y be z(-7). Suppose 3*u - y*c = 174 - 13, c + 54 = u. Does 12 divide u?
False
Suppose -2*o + o - 1 = 0. Let h = 4 + o. Suppose 96 = 3*n + d + d, -2*n - h*d + 64 = 0. Is 8 a factor of n?
True
Suppose 51 = 2*w - 105. Let j be w/(-12) - 6/(-4). Is 6 a factor of 20 + j + (-1)/(-1)?
False
Suppose -y - 4*d + 6 = 0, -y + 0*y = -3*d - 41. Is (1781/y)/(-2 - (-10)/4) a multiple of 17?
False
Suppose 5*t + 7*s = 4*s + 769, 2*t + 2*s = 306. Does 3 divide t?
False
Is 1471 + (3 + -12 - -18) a multiple of 10?
True
Let u(y) be the first derivative of y**5/60 + y**4/12 + y**3 - 4*y**2 + 5. Let s(f) be the second derivative of u(f). Is 10 a factor of s(6)?
False
Let r = -459 - -479. Does 4 divide r?
True
Let f(v) = -v**3 - 14*v**2 + v + 5. Let m be f(-14). Let u(c) = 2*c**2 + 14*c + 22. Is u(m) a multiple of 29?
True
Suppose -3*c = -9, -4*c + 11 - 854 = -s. Is 13 a factor of s?
False
Suppose 15*k - 17*k + 72 = 0. Is k a multiple of 6?
True
Let w(r) = -2*r + 10. Let z be w(5). Suppose 2*o + 115 = j - z*o, 5*o = 15. Suppose -j - 35 = -3*a. Is 20 a factor of a?
False
Suppose 6*u = 4*u + 252. Is 7 a factor of u?
True
Let d be 1/3*534/2. Suppose 3*q = 9, -5*i + 0*q + 28 = q. Suppose -2*v + 121 = i*z + 18, -v = -5*z - d. Does 15 divide v?
False
Does 5 divide ((-468)/(-90))/(6/45)?
False
Suppose 2*t = -4*a + 32, -3*a + 6 = -0*a. Let o(r) = r**2 - 7*r - 20. Is 20 a factor of o(t)?
True
Suppose 4*h = 3*t + 23, 2*h - 25 = -t - 6. Let v(x) = -3*x + 8 + 9 - h + 8*x. Is v(3) a multiple of 4?
True
Let u be (-1)/2*-43*-2. Let w(k) = -8*k - 11. Let t be w(-9). Let j = t + u. Is 3 a factor of j?
True
Let k = -734 + 1571. Does 38 divide k?
False
Let f(s) = 5*s**2 - 99*s + 26. Is f(20) even?
True
Let v(b) = 51*b + 23. Suppose 7 = a + j + 4, 0 = -3*a - j + 9. Is 22 a factor of v(a)?
True
Let m(j) = 2 + 16*j - 23 - 21 + 2*j. Does 33 divide m(17)?
True
Is -5*(-266)/35*2/4 a multiple of 2?
False
Suppose 5894 = 4*q - 3974. Does 8 divide q?
False
Does 10 divide (-150)/(-4)*(33 + -31)?
False
Is 9 a factor of (-24)/56*-7 - -951?
True
Suppose 7*r + 14 = -7. Let i(v) = -v**3 + v**2 + 4*v. Is 15 a factor of i(r)?
False
Let d = 79 + -41. Let i = 141 - d. Does 28 divide i?
False
Suppose -4*j - 16 = -4*r, 2*r + 5*j = -2*r + 25. Suppose -r*k = -2*y + y - 456, y + 183 = 2*k. Does 13 divide k?
True
Let b = 403 - 239. Is 9 a factor of b?
False
Let r = -11 + 15. Suppose -2*v = 4*x - 72, 5*x - 123 + 7 = r*v. Is 31 a factor of (-11 + 13)/(1/x)?
False
Suppose 3*t + 0*t - 120 = 0. Suppose -k + 7 = -t. Suppose -103 = -5*d + k. Is d a multiple of 10?
True
Suppose -4*i + 34 = -5*i + u, -2*u - 102 = 3*i. Let j = 87 + i. Does 17 divide j?
False
Suppose -c - 7*s = -4*s + 67, 5*c + s = -293. Let l = c + 39. Let g = l + 27. Does 8 divide g?
True
Let c(v) = v**2 + v - 4. Let q be c(4). Let f be (-8)/28 - q/(-7). Suppose -f*u - 48 = -6*u. Does 3 divide u?
True
Suppose -v = -7 - 13. Let n(f) = -f