 q = 1. Is l even?
False
Let f be (-3 - -2) + -1 - (-4 - -14). Is 56 a factor of (-3364)/f + 0 + (-3)/9?
True
Suppose -13*b - 400 = -8*b. Let s = -24 - b. Is s a multiple of 28?
True
Let y = -40 - -37. Does 11 divide (-22)/y*(16 + -4)?
True
Let z be 8/20 + (-294)/10. Let g = -40 - z. Let j(w) = 2*w**2 + 15*w + 5. Does 24 divide j(g)?
False
Let j(g) = 3*g**2 - 4*g**2 + g + 6*g**2 + 7 - 8*g. Let x(u) = 5*u**2 - 6*u + 7. Let t(z) = -6*j(z) + 7*x(z). Is t(3) a multiple of 13?
True
Let i(t) = t**3 - t**2 + 372. Let c be i(0). Suppose -13 = -5*k + 5*g + c, 223 = 3*k - g. Suppose -2*n = -77 - k. Does 14 divide n?
False
Let c(l) = l**3 + 3*l**2 - 3*l - 3. Let p(j) = j**3 - 3*j**2 - 3*j - 7. Let d be p(4). Let b be c(d). Let r(h) = 3*h**2 - 4*h. Does 21 divide r(b)?
True
Let p(l) = 4*l**2 + 22*l - 9. Let z(n) = -n**3 + 17*n**2 - 16*n - 10. Let w be z(16). Does 26 divide p(w)?
False
Suppose -27548 - 7192 = -36*k. Is k a multiple of 28?
False
Suppose -p + 5*w + 1426 + 381 = 0, -3554 = -2*p - 2*w. Is p a multiple of 22?
True
Let x(t) = t - 2. Let h be x(4). Suppose p - 28 = -h. Does 7 divide p?
False
Let l be 4*((-21)/(-6) + -3). Suppose 5*y = -h - l*h + 25, 0 = 4*h - 20. Suppose -3*d + 48 = -y*d. Is d a multiple of 16?
True
Is (4320/100 - -23)/(2/110) a multiple of 29?
False
Suppose -14472 = -90*k + 72*k. Is 12 a factor of k?
True
Suppose -235 = -3*b - 3*f + 539, -4*b + 1023 = f. Is b a multiple of 17?
True
Let y(w) = 2*w**3 + 8*w - 3*w**3 - 9*w. Let a be y(0). Suppose a = -f - 6 + 35. Is 29 a factor of f?
True
Let d(w) = 11*w**2 - 8*w - 10. Does 16 divide d(-6)?
False
Let a(l) = -l**2 - 6*l. Let t be a(-7). Let b(d) be the third derivative of -d**4/12 - 5*d**3/3 - 2*d**2. Is b(t) a multiple of 4?
True
Suppose -p + 8 = 23. Does 21 divide p/5 + (21 - (3 + -6))?
True
Let g be ((-6)/(-9)*1)/((-2)/(-6)). Suppose -4*h - g*l + 170 = 0, 4*h - l = -12 + 197. Is 15 a factor of h?
True
Let f = -3152 - -4736. Is f a multiple of 22?
True
Let l be 4/24*2 + (-210)/9. Let g(w) = -w**3 - 23*w**2 - 11*w - 15. Does 39 divide g(l)?
False
Is (-2)/13 - 5082/(-78) a multiple of 5?
True
Suppose 6*j + 2 = j - 3*g, -5*j + 2 = 2*g. Let x(t) = 31*t - 5. Is x(j) a multiple of 19?
True
Suppose -5*z + 11 = -4. Let g be (z/(-9))/((-3)/153). Let w = g + -9. Is w a multiple of 4?
True
Let w(k) = 4*k - 5. Let m be w(5). Suppose 5 = 5*v - m. Is (10 - (1 - v))*1 a multiple of 12?
False
Let m be (-5778)/39 + (-2)/(-13). Let a = -84 - m. Is a a multiple of 16?
True
Let j(n) = 61*n**2 + 32*n + 15. Does 119 divide j(-6)?
False
Suppose -7*v = -3*v + 8. Let n = v + 5. Suppose 5*q - i - 296 = -9, -n*q - 2*i = -180. Does 14 divide q?
False
Suppose 11*q - 2704 - 1586 = 0. Suppose -f + 180 = -b, -4*f + 310 = b - q. Does 16 divide f?
True
Let b(d) = 99*d - 12. Let f be b(5). Suppose -f = -7*i + 77. Is 16 a factor of i?
True
Let p be (-8)/(-2) - (-1)/(-2)*0. Suppose -6*d - 5*i = -2*d - 22, 0 = p*d - i - 10. Is d a multiple of 3?
True
Let y be (-2)/6*6/1. Let w be 35/10 - 3/y. Suppose -5*l = -w - 40. Is 4 a factor of l?
False
Let l(a) = -a**3 + 13*a**2 - 7*a - 25. Let h be l(11). Suppose -1106 = -4*q + 3*o, 5*q = 5*o + h + 1245. Does 14 divide q?
False
Suppose 0 = x - 5 - 4. Let h(q) = -q**2 + 2*q**2 - 1 - 7 - 7*q. Is 5 a factor of h(x)?
True
Let i(n) = 5*n + 48. Let b(r) = -2*r + 26. Let s be b(13). Is 9 a factor of i(s)?
False
Let x(a) = -3*a + 18. Let n(k) = k**3 - 7*k**2 - 3*k + 7. Let f be n(7). Let z be x(f). Let u = z - 18. Is 9 a factor of u?
False
Let w = 353 + 463. Does 13 divide w/15 - (-6)/(-15) - 2?
True
Does 8 divide 6/(-192)*4 + (-4947)/(-24)?
False
Let a = -1 - -3. Let n(l) = -6*l + 2*l**2 - l**2 + l**a. Does 9 divide n(6)?
True
Suppose 4*q - 2*w = 0, -5*q = -0*q + w - 14. Let x be 1 + 3/(9/111). Let b = x - q. Is 12 a factor of b?
True
Suppose 3426 = 63*f - 27444. Is f a multiple of 10?
True
Let j = -1189 - -1397. Does 26 divide j?
True
Let p(a) = a - 3. Let f be p(7). Suppose 264 + 256 = f*j. Does 10 divide j?
True
Let g be -2 - ((-2)/2 + 35). Suppose 34*z = -890 + 3406. Let a = z + g. Is a a multiple of 11?
False
Suppose -4*n + 1 = -31. Let q be (-2)/n + (-3498)/24. Let h = q + 206. Is 12 a factor of h?
True
Suppose 5*p + 1230 = 8*p. Is 113 a factor of p?
False
Suppose -2*v = -3*p + 371, 3*v + 496 = 2*p + 2*p. Does 3 divide p?
False
Suppose -3*c + 1 = -2. Let t(l) = l**3 + l**2 - 4*l - 128. Let n be t(0). Is 8 a factor of 6*c/((-12)/n)?
True
Is 13 a factor of ((-18)/15)/(221342/(-27665) + 8)?
False
Let c(h) = h**3 - h**2 + h - 4. Let u = 8 - 5. Is c(u) a multiple of 3?
False
Let s = -4 - -6. Let k be 1/1 + s - 3. Suppose x - 6*x + 50 = k. Is 5 a factor of x?
True
Let w be (-91)/(-2) - (-11)/(-22). Suppose -30*r + 29*r = -w. Is 17 a factor of r?
False
Let a be (-2 - (-14)/4)*-8. Suppose -86 = -4*l - 2*h, -3*l - 2*h = 2*h - 57. Let q = l + a. Is q a multiple of 2?
False
Let m = -1 + 11. Let f = 10 - m. Suppose -w + 4*n + 37 = f, 5*n + 27 = w - 14. Does 7 divide w?
True
Suppose 2940 + 13438 = 19*d. Is 25 a factor of d?
False
Suppose -5*t + 594 = 3*c, 4*t + 0*t - 990 = -5*c. Does 22 divide c?
True
Is 4 a factor of ((-11)/22)/(1/(-144))?
True
Suppose 2*n - 64 = -4*o, 5*o - o + 72 = 2*n. Suppose 0 = -5*r - 5, y + 3*r = -6 + n. Is 31 a factor of y?
True
Let d = -173 + -13. Let f = 336 + d. Does 36 divide f?
False
Suppose -3*k + s + 335 = 0, 5*k + 4*s - 387 - 143 = 0. Is k a multiple of 10?
True
Let k(l) = l**3 - 5*l**2 + 7*l - 2. Let u be k(2). Suppose u = r, -d - 2*d + 564 = -r. Is 47 a factor of d?
True
Let k = -345 + 596. Is 4 a factor of k?
False
Suppose -3*r = -6*r + 96. Suppose -7*t = -24 - r. Is t a multiple of 8?
True
Let v(o) = -o**2 - 69*o + 52. Does 22 divide v(-16)?
False
Suppose 63*g - 23*g - 59200 = 0. Is g a multiple of 20?
True
Let h = 4024 + -2679. Is h a multiple of 26?
False
Let u(v) = 17*v**2 + v + 10. Is u(-2) a multiple of 19?
True
Let j = 1201 + -852. Does 32 divide j?
False
Suppose 0 = -8*s + 5588 + 684. Is 28 a factor of s?
True
Let g be (-714)/(-66) - 2/(-11). Suppose 0 = 4*x + g - 227. Does 3 divide x?
True
Is (-3)/12 - 2502/(-24) a multiple of 26?
True
Let h be (202/(-6))/((-10)/(-90)). Is (h/(-12) + -4)/((-3)/(-36)) a multiple of 15?
True
Is 16 a factor of (-6)/(-12)*998 + -3*1?
True
Let x(y) = -8*y**3 - 5*y**2 - 10*y. Let o be x(-3). Let w = o - 142. Is 8 a factor of w?
False
Let q(a) be the third derivative of a**6/120 - 13*a**5/60 + 2*a**4/3 + 4*a**3/3 - 41*a**2. Is 48 a factor of q(12)?
False
Suppose -54*j + 84771 + 17289 = 0. Does 74 divide j?
False
Let j = -374 - -765. Is 12 a factor of j?
False
Is -1 + 568 + 91/(-13) a multiple of 70?
True
Let c be 4/(-6) + 42/63. Is (c - (2 + -3))/((-4)/(-500)) a multiple of 25?
True
Suppose -2*b = -4*j + 14, -6*b - 15 = -b. Suppose j*v - 6 = -0*v. Is 3 a factor of v?
True
Suppose 0 = 5*a + 25, 24*m - 5*a + 5799 = 28*m. Does 17 divide m?
False
Let s(u) be the second derivative of -u**5/20 - u**4/3 + 3*u**3 + 5*u**2/2 - 6*u. Is s(-7) a multiple of 15?
False
Suppose 0 = f + 4*n + 34, 3*f + 2*n = 6*f + 46. Let v = f + 288. Does 30 divide v?
True
Let v = -13 + 283. Does 15 divide v?
True
Suppose -12*g + 9*g = -15. Suppose 168 = g*w + 53. Is 7 a factor of w?
False
Suppose 2*a + 5*k = 10, -3*a - k + 5 = -2*a. Suppose -z + 1 = 0, a*z + 60 = 4*m + z. Does 8 divide m?
True
Suppose 85*v + 22*v - 26964 = 0. Is 6 a factor of v?
True
Is 46 + 35/(-7) + 0 a multiple of 2?
False
Let a(f) = 2*f**2 + 4*f + 50. Does 5 divide a(-17)?
True
Let r be -1 + 4 - (-3 + 8 + -4). Suppose r*y + c = -2*c + 625, 0 = -3*c + 9. Is y a multiple of 22?
True
Let f(p) = -p**3 - 2 + 11*p + 8*p**2 + 0*p**2 + 27 - 6. Is f(9) a multiple of 19?
False
Let m = 1608 - 1044. Is 9 a factor of m?
False
Let d(n) = -n**2 - 5*n. Let q = -13 - -7. Let a be d(q). Let t = 2 - a. Does 8 divide t?
True
Let k(v) = v**3 - 9*v**2 - v + 14. Let b be k(9). Suppose -43 = -2*x + b*d, 0 = 2*x - 6*d + 3*d - 41. Does 19 divide x?
True
Suppose -12*r = -46*r + 38012. Does 86 divide r?
True
Suppose -5*u - 1379 = -3*o, 0*u + 2*o - 554 = 2*u. Let q = -175 - u. Is 11 a factor of q?
True
Let j = 1860 - 1277. Does 11 divide j?
True
Let v(u) be the first derivative of 16*u**3/3 - 3*u**2 + 26. Does 18 divide v(3)?
True
Suppose -8*p + 6*p = 0. Suppose -l + 5*l + 36 = p. Does 23 divide 2/(-9) 