 Is d a multiple of 12?
True
Suppose -2*m = 18 + 10. Let g = m - -43. Is g a multiple of 29?
True
Let l = -267 - -630. Is 33 a factor of l?
True
Suppose 5*l - 5*y = -0*y + 765, 2*l = -2*y + 326. Suppose 6*s + 195 = -351. Let a = s + l. Does 23 divide a?
False
Let b(m) = 42*m + 318. Does 6 divide b(4)?
True
Suppose 0 = 4*k - 0*k + 528. Let r = k + 86. Let y = -17 - r. Is 15 a factor of y?
False
Let s be (2/(12/(-446)))/((-2)/12). Suppose 5*a - 5*d + 34 = 2204, 0 = -a - 3*d + s. Does 15 divide a?
False
Let b be (-28)/8*40/(-14). Suppose 0 + b = h. Is 24/h*(-200)/(-12) a multiple of 20?
True
Suppose 27 = 9*p - 378. Is p even?
False
Let z(d) = -d**2 - 11*d - 2. Let b be z(-11). Is 4 a factor of ((-7)/2)/(b/4)?
False
Let p be ((-1)/2)/((-1)/2). Let z = p - -1. Suppose 0 = r + z*s - 3*s - 21, -5*r + 65 = 3*s. Is r a multiple of 8?
True
Suppose -3 = 3*t - 9. Let y be (t/7 + 0)*7. Suppose y*j - 75 = 113. Does 24 divide j?
False
Let w(o) = -432*o + 2. Is 62 a factor of w(-1)?
True
Suppose -2863 = -16*j + 881. Is j a multiple of 60?
False
Let f(r) = 146*r - 22. Let z be f(5). Suppose 0 = -3*n - 9, 0 = -3*c - 3*n - n + z. Is c a multiple of 24?
True
Let c = -2235 - -2346. Is c a multiple of 111?
True
Let g(o) = -o**3 + 5*o**2 + 7*o + 1. Let l be g(5). Let f be (-10)/(-3) + 24/l. Let b(w) = 2*w**2 - 5*w + 10. Is b(f) a multiple of 10?
False
Let l(u) = -u**3 - 5*u**2 - 8*u - 9. Let q be l(-7). Suppose 4*n - q = 3*n. Suppose 10 = -5*c + n. Does 9 divide c?
True
Let l = -5 - -7. Let t = -23 + 9. Let i = l - t. Does 16 divide i?
True
Let g be (-30)/(-4 + 22/4). Let x = 22 + g. Suppose -5*r + x*s + 192 = 0, 4*r - r - 136 = -4*s. Does 10 divide r?
True
Suppose -d = 0, -5 - 5 = -5*u - 3*d. Suppose 2*f + 2*t - 14 = 0, -15 = -5*f + 3*f - 3*t. Let b = u + f. Is 8 a factor of b?
True
Suppose 3*l + 4*z - 227 = 0, -l - 2*l + 247 = -z. Is l a multiple of 27?
True
Let p(v) = v - 28. Let o be p(-13). Let h = 22 - o. Is h a multiple of 7?
True
Let g(m) = -18*m - 10 - 3*m**2 + 5*m**2 - 3 - 3*m**2. Let x be g(-17). Does 11 divide (1 - 34)/(x/(-4))?
True
Let j(o) = -o**3 - 12*o**2 - 15*o - 9. Let m = -32 + 21. Is j(m) a multiple of 7?
True
Let j = 2012 + -562. Is 90 a factor of j?
False
Let w be 4 + (2 - 30)/(-1). Suppose -w - 54 = -f. Suppose 23*c = 24*c - f. Does 16 divide c?
False
Let x be 2 - 77/35 - (-1008)/(-10). Let q be ((-10)/(-4))/(1/(-24)). Let z = q - x. Is z a multiple of 15?
False
Let v be 58/6*69/23. Suppose 0 = -v*y + 35*y - 54. Does 3 divide y?
True
Let h(o) = -o**3 - 6*o**2 + 6*o + 1. Let b be h(-7). Let u(i) = 12*i + 9. Let z be u(b). Let a = -57 + z. Does 16 divide a?
True
Let z(t) = t + 16. Let m be (-153)/18 + 5/2. Let j(a) = a + 16. Let o(c) = m*j(c) + 7*z(c). Does 12 divide o(7)?
False
Let f = 14 - 3. Let h be (f + -8)*(-46)/6. Let m = h - -71. Is 16 a factor of m?
True
Let v be 10/1*(-5 - -3). Let t be (-46)/8 - (-5)/v. Let b = t - -8. Is 2 a factor of b?
True
Let z(i) = -i**2 - 8*i - 2. Let r be z(-3). Let w = r - -18. Is w a multiple of 14?
False
Suppose 11 = -2*k - 3*c, -2*k + 4*c = -27 + 3. Suppose 0 = 4*g + 4*p - 552, -k*p + 132 = 5*g - 552. Is g a multiple of 34?
True
Suppose -104 = -5*z - 4*q, -3*z + 2*z = -q - 28. Is ((-32)/z)/((-2)/3) + 17 even?
False
Let g(r) = -r**3 + 14*r**2 - 9*r + 16. Let o be g(11). Suppose 25 - o = -15*p. Does 16 divide p?
False
Suppose -z + 60 = 2*i, -2*z - 20 = -i - 0*i. Is 28 a factor of i?
True
Suppose 6*t = -4*t + 2340. Is t a multiple of 18?
True
Let w(n) = -3*n - 3 + 9*n + 17 + 12*n**2 + n**3. Let p = -50 - -39. Is 18 a factor of w(p)?
False
Suppose -16 = 3*g - 4*g. Let u = -14 + g. Suppose -5*x = -3*r - 68, -2*x = u*x + 5*r - 84. Is 4 a factor of x?
True
Suppose 3*b - b = -3*n + 13, -5*n = -5. Suppose b*w + 120 = 360. Is 6 a factor of w?
True
Let c be (-120)/21 + 2/(-7). Suppose -24 = 3*t - 0. Let z = c - t. Is z even?
True
Does 24 divide (-13845)/(-10) - 19/(-38)?
False
Let v(t) = 3*t**2 + 2*t - 2. Suppose 16 - 49 = -3*l. Suppose 3*c + 5*d = -17, 4*c - 4*d = d - l. Is 12 a factor of v(c)?
False
Suppose 0 = 10*n + 1379 - 5769. Does 9 divide n?
False
Suppose 0 = -7*h + 38 - 3. Suppose -h*o - 198 = -8*o. Is o a multiple of 22?
True
Suppose 3*x + 95 = 590. Suppose 2*z - 210 = 5*p, 4*p = -3 - 13. Let r = x - z. Is 30 a factor of r?
False
Suppose 0 = -k - 3*k + 300. Suppose -g - 6*y + 3*y = -k, 59 = g - y. Does 25 divide (-4)/(-3)*g/2?
False
Let d(l) = -3 - 1 + 3 - 72*l - 1. Is d(-1) a multiple of 23?
False
Let x = 25 - 20. Let v(j) = j**3 + 2*j - 7. Does 27 divide v(x)?
False
Let p = 99 + -86. Let b(k) = 23*k - 16. Is b(p) a multiple of 11?
False
Let a(p) = 2*p**2 - 36*p + 96. Is a(19) a multiple of 31?
False
Let y(t) be the second derivative of 7*t**3/6 - 15*t**2 + 12*t. Is 17 a factor of y(14)?
True
Suppose -14*b = -13*b - 8. Does 5 divide (b/12)/((-2)/(-276))?
False
Suppose 2*n - 109 = 173. Let d be (-16)/(-3)*(6 + 21/(-4)). Suppose -n - 263 = -d*h. Is 22 a factor of h?
False
Let c = 329 + -74. Is c a multiple of 17?
True
Let q(k) = k**2 + 5*k + 15. Let l be 2*(-12)/8*3. Does 7 divide q(l)?
False
Let f be 1/((-5)/(-150)*-2). Is (1*46 + 1)*(-14 - f) a multiple of 11?
False
Suppose 4*r + 30 = 3*r. Let k be r/(-4)*(-96)/40. Is (-364)/(-63) - 4/k a multiple of 2?
True
Let n(y) = 7*y**2 - 13*y - 58. Is 9 a factor of n(-5)?
False
Suppose -a = -3, 3*f = -4*a + 101 + 127. Is f a multiple of 8?
True
Is 50 a factor of (5/15)/(8/4800)?
True
Suppose 0 = -30*u + 31*u + 2*o - 778, o = 3*u - 2306. Is 14 a factor of u?
True
Suppose -18*f = -13*f + 100. Does 15 divide 0 + 31 - f/(-5)?
False
Let y be 140/44 + (-2)/11. Suppose -f + 11 - y = -4*q, 0 = -f - 4*q + 24. Is f a multiple of 4?
True
Let t = 3220 - 2087. Is 8 a factor of t?
False
Let h(p) = -p**3 + 6*p**2 + 2*p + 11. Let f be h(5). Let s = 97 - f. Is 17 a factor of s?
True
Let i be (-10)/(-2)*456/15. Let z = i - 108. Is z a multiple of 7?
False
Is 11 a factor of (-30 + 32)/(((-4)/(-110))/1)?
True
Suppose -3*a = -15 - 66. Let b = a + -30. Let w(s) = 2*s**2 - 2*s - 2. Is 17 a factor of w(b)?
False
Let v = -2 + 8. Let b = 9 - v. Suppose 23 + 7 = b*s. Is s a multiple of 6?
False
Suppose 7*y - 1282 = 83. Does 39 divide y?
True
Suppose -5*p + 10*p = 35. Let i = 91 - p. Is i a multiple of 16?
False
Is 48 a factor of 240*(288/30 - 6)?
True
Let w(z) = -z + 15. Let p be w(10). Let v be (54/p)/((-2)/(-5)). Suppose 223 = 5*m - v. Does 10 divide m?
True
Let m be 1 - 2*-1*-4. Suppose 5*g + 614 - 674 = 0. Let k = g + m. Is k a multiple of 5?
True
Let b = 61 + -3. Suppose 0 = -b*r + 60*r - 324. Is 19 a factor of r?
False
Let t(x) = 3*x**2 + 2*x**2 + x**3 - 2*x**3 + 2*x**3 + 5. Let g be t(-5). Suppose 5*n - 7 = -i + 128, 4*n = g*i + 79. Is 13 a factor of n?
True
Let k be (-6)/(-27) + 6/(108/33710). Suppose 0 = 8*q - 7 - k. Is 18 a factor of q?
False
Let r be -5*(-2)/5*(-314)/4. Let g = 248 + r. Is 35 a factor of g?
False
Suppose -2*l - 168*s + 3776 = -170*s, 4*l + 5*s - 7570 = 0. Is l a multiple of 10?
True
Let r be ((-76)/(-6))/((-2)/(-9)). Let p = r - 7. Is p a multiple of 10?
True
Let r(f) be the third derivative of -f**6/120 - f**5/20 + f**4/24 - f**3/2 + f**2 + 7. Is r(-4) a multiple of 3?
True
Is 12 a factor of (477/18 + 7)*16?
False
Does 40 divide ((-1036)/(-6))/((-103)/(-927))?
False
Let x(v) = -2*v**2 - 6*v - 9. Let f be x(-9). Let t = f - -201. Is t a multiple of 21?
True
Let b = 16 - 12. Let n be (-100)/30*(-6)/b. Suppose -219 = -3*q + 3*l, -q + n*l + 42 = -19. Does 19 divide q?
True
Suppose -10 = -2*f, 4*l - 5*f - 17 - 14 = 0. Let u(a) = -a**2 + 18*a + 20. Does 27 divide u(l)?
False
Let i = -87 + 91. Let n(t) = 10*t**2 + 3*t - 9. Is 13 a factor of n(i)?
False
Suppose 5*f = i + 30 - 3, 0 = -2*f - 5*i + 27. Suppose 0 = 3*l - 0*l - f. Is 19 + (3 - 1 - l) a multiple of 19?
True
Let t(f) = -5*f - 8*f - f**2 + 2*f**2 + 1 + 11*f + 58*f**3. Is t(1) a multiple of 11?
False
Let x = 22 - -27. Suppose 4*i - 47 = x. Is i a multiple of 9?
False
Suppose -4*l + 12 = 0, 5*l + 4302 = 5*t + 9*l. Is t a multiple of 26?
True
Let f(u) = 50*u - 8. Suppose -m - 3 = -5. Does 23 divide f(m)?
True
Suppose 5*g + 361 = 2*c, 2*c + 3*g = -0*c + 353. Suppose -4*n = -4*k - 193 + 553, 2*k - c = 3*n. Is 32 a factor of k?
False
Let m(k) = 5*k**2 - 2*k - 2. Let j be m(2). Let h = 121 - 114. Suppose 6*q = h*q