 a a multiple of 24?
True
Suppose f - 2*z = -0*f - 1, 0 = 5*f + 2*z - 55. Suppose h - 5*c = 109, -5*c + 11 = -f. Is 11 a factor of h?
False
Let x(k) = k**2 + 14*k + 5. Let f be x(-3). Let t(a) = -2*a**2 - 6*a - 1. Let o be t(-4). Let w = o - f. Is w a multiple of 8?
False
Suppose -5*q = 21 - 6. Is 7 a factor of 104 - (3 + q)/5?
False
Let k be (-98)/(((-2)/(3 + -1))/1). Let j = k + -18. Does 43 divide j?
False
Suppose -2*d + 5*k - 3496 = -6*d, -5*d + 4399 = -k. Is 44 a factor of d?
False
Is 18 a factor of (55/3)/(-11)*(-3756)/20?
False
Let g(k) be the second derivative of k**5/20 + 11*k**4/12 + 11*k**3/6 - 5*k**2/2 - k. Is g(-9) a multiple of 6?
False
Let b(h) = h**3 + h**2 + 8. Let d be b(0). Let w = -44 - -46. Suppose w*m - 82 = d. Is m a multiple of 10?
False
Suppose 250*r + 4140 = 273*r. Does 60 divide r?
True
Let q be (12/16)/(3/206)*-2. Let y(a) = a**3 + 8*a**2 - a - 3. Let b be y(-10). Let s = q - b. Is s a multiple of 15?
True
Let a(d) be the third derivative of d**5/15 + d**3/3 - 31*d**2. Suppose -20 = 5*m - 5. Is 9 a factor of a(m)?
False
Suppose -3*g + g = 2. Let d = g + -26. Let j = d - -61. Is 17 a factor of j?
True
Let c = 65 + 1. Suppose 5*d - 4 = c. Is d a multiple of 3?
False
Let h(k) = k**3 + 4*k**2 - 4*k + 6. Let p be h(-4). Let j be (-2)/4*(-21 - 1). Let o = p - j. Is 5 a factor of o?
False
Let l(g) = -g**2 + 6*g + 1. Let z be l(7). Let h = 9 + z. Suppose -h*i + 42 = -i. Is i a multiple of 7?
True
Let r(q) = 117*q. Let k be r(1). Suppose i - k = -j - 3*j, 4*i - 528 = 4*j. Suppose 4*d - 111 = i. Does 19 divide d?
False
Let a = -1034 - -1382. Is a a multiple of 22?
False
Let o(a) = -2*a + 189. Does 35 divide o(-28)?
True
Let r(k) = 113*k**2 - 2*k + 25. Does 44 divide r(-5)?
True
Suppose 0 = -4*c + 10 + 26. Suppose 4*s - c = -1. Suppose -68 = -3*y + k, 20 = y + s*k - 12. Does 6 divide y?
True
Suppose 8*c = 4*c + 260. Let q = c - 32. Is 8 a factor of q?
False
Let u = 2634 + -1836. Does 10 divide u/33 + (-4)/22?
False
Suppose 9 = -4*f - 7*l + 2*l, l + 1 = -f. Is (-260)/(-45) - 2 - f/(-18) a multiple of 2?
True
Does 12 divide (-3)/4*(-7728 - -172)?
False
Let l = -97 - -62. Let r = -14 - l. Is 7 a factor of r?
True
Does 86 divide 29740/100 + 14/(-10)?
False
Does 6 divide (((-96)/10)/4)/(18/(-3735))?
True
Let p(a) = -a + 3. Let b be p(3). Suppose 0 = -z + 2*z + 2*d - 116, -d - 4 = b. Is z a multiple of 31?
True
Let z be (148/(-2))/(-7 - -8). Let i = 134 + z. Is i a multiple of 14?
False
Let u(q) = -q**3 - 9*q**2 - 6*q - 12. Suppose -3*j = -h - 24, -2*h - 5 = 2*j + 3. Does 42 divide u(h)?
True
Suppose -14 = -2*g + 6. Let v be 2/g - 356/(-20). Let d = -11 + v. Is d a multiple of 4?
False
Let k = 3 - -1. Let w be (-24)/(-3) - 1 - 4. Suppose k*r - w = -7, -5*o = -r - 11. Is 2 a factor of o?
True
Let b = -4 + 232. Is b a multiple of 29?
False
Suppose 0 = 21*a - 17*a + 12. Does 7 divide 35*(a + 4)*1?
True
Suppose -4*z + 1122 - 182 = 0. Suppose -7*r + 8 + 6 = 0. Suppose -4*g - 6 = -r, 5*f - 5*g = z. Is 12 a factor of f?
False
Let y(d) = -2*d**3 + 5*d**2 + 2*d + 4. Let a(h) = -h**3 + h**2 - h. Let v(w) = -a(w) + y(w). Let m be v(5). Is (-9*8/m)/2 a multiple of 3?
True
Let m(f) = -2*f + 1. Let s be m(-7). Let q = -15 + s. Suppose 2*p = 5*c + 85, 4*p + q*c = 3*c + 205. Is 17 a factor of p?
False
Suppose 4*h - 2472 = -4*c, -2*h + 4*c = -710 - 508. Does 25 divide h?
False
Let u(s) = 2*s**2 + 17*s + 10. Let z be u(-9). Let o = z + -13. Does 2 divide (-2 + 6)*o/12?
True
Let w(f) = -2*f**3 + f**2 + 4*f - 3. Let q = 18 + -21. Is 2 a factor of w(q)?
True
Suppose 25*q - 578 = 397. Is 4 a factor of q?
False
Let p(k) = -25*k + 92. Does 11 divide p(-17)?
True
Let f = 29 - 49. Let b = 1 - f. Is 7 a factor of b?
True
Suppose 8*p - 198 = 2*p. Suppose -p*d + 37*d = 88. Is d a multiple of 4?
False
Let s = -669 + 939. Is 9 a factor of (2/6)/(5/s)?
True
Suppose -16 - 14 = -3*i. Suppose i*r - 864 = -2*r. Is r a multiple of 12?
True
Let g = -1497 - -4448. Is g a multiple of 28?
False
Suppose 2*g - 2 = 4, -5*s - 5*g + 155 = 0. Does 16 divide 3/(-7) + 1356/s?
True
Suppose 610*z - 615*z = -305. Is z a multiple of 61?
True
Let f be ((-2)/4)/(5/790). Let u = f - -111. Is u a multiple of 16?
True
Let d = -124 + 232. Let n = 157 - d. Let w = n + -33. Does 9 divide w?
False
Suppose -5*w = -t + 21, -3*w - 4 - 9 = -t. Is 46 a factor of (-9)/(t - 4) - -159?
False
Let l(p) = p**2 - 8*p + 31. Suppose -47 = -3*w - 4*q - 0*q, 32 = 2*w + 3*q. Is 27 a factor of l(w)?
False
Let q(p) = -2*p**2 + 44*p - 1. Suppose -6*o = -10*o + 72. Is 11 a factor of q(o)?
True
Let z be 2*(-2)/(4/(-2)). Let p = z - -2. Suppose -2*i + p*i = 40. Is i a multiple of 9?
False
Let s be (-12)/(-3) - (-13 + -6). Suppose 5*m + s = 293. Does 6 divide m?
True
Let m(p) = -10*p - 22. Let n be m(-3). Suppose -n*o = -135 + 31. Does 13 divide o?
True
Suppose 7*u - 12*u = -30. Suppose 10 = u*f - 206. Is f a multiple of 9?
True
Is (-192)/(-352) + 32306/22 a multiple of 13?
True
Let u(j) = -18*j**2 + j**3 + 8 + 10*j - 4 + 9*j. Is 3 a factor of u(17)?
False
Let f be (-6)/(-12)*0/(-2). Is 14 a factor of (-1 + f)/(5/(-340))?
False
Suppose 87*a = -30*a + 38*a. Let m(u) = 1 + 0*u**2 + 11 - u**2 + u. Is 5 a factor of m(a)?
False
Is 132*(84/2)/7 a multiple of 18?
True
Let a(i) = 5*i + 158. Is a(-24) a multiple of 3?
False
Suppose -j + 4*q = -15 + 1, 15 = 3*j - 3*q. Let y = -22 + 57. Suppose j*g - y = -1. Is 8 a factor of g?
False
Let s = 4303 + -2331. Is s a multiple of 38?
False
Does 6 divide 393 - (-2 - (6 - 5))?
True
Let p be (-7 + 0 + 9)*(-2)/(-2). Suppose n = -3*w + 163, n + 15 = -p*n. Is 17 a factor of w?
False
Let p = 156 - 86. Suppose 0 = 2*l - 3*l + p. Is l a multiple of 25?
False
Suppose -5 = -4*p - p. Suppose -4*s + p = 13, 0 = 3*a - s + 63. Is 2 a factor of (-12)/30 - a/5?
True
Let z be ((-378)/(-90))/((-1)/(-15)). Suppose -4*k + z = 3*k. Is k a multiple of 3?
True
Let b(i) = i**3 + 5*i**2 - i. Let c be b(-5). Suppose 2*q - c*q = -48. Suppose -3*f - f + q = 0. Is 4 a factor of f?
True
Suppose 7 = 4*q - 1. Suppose -q*x - 220 = -7*x. Suppose u - x = -u. Is 9 a factor of u?
False
Let r = -2541 - -6047. Does 15 divide r?
False
Suppose 5*g = -2*y - 19, 0*g + 4*g + 4*y = -8. Let o = 9 + g. Suppose 0*q - 28 = -o*q. Is q even?
False
Let i = 51 + 65. Does 67 divide i?
False
Is 1113 + (-24)/60*(-15)/(-3) a multiple of 7?
False
Suppose -3*c - 322 = -5*l, -4*l + 6*c + 256 = 4*c. Suppose -t + 18 = 2*w - w, t = 3*w - l. Does 20 divide w?
True
Let g = 103 - 125. Let r(x) = 10*x + 4. Let t be r(4). Let v = g + t. Is 11 a factor of v?
True
Let x be (-4)/(20/(-15)) + 20. Suppose -12 = -7*l + x. Does 2 divide l?
False
Is 33 a factor of (20/15)/((-6)/(-8649))?
False
Let s be (200/60)/((-2)/(-3)). Suppose 2*l - 4*r = 118, 5*l = -s*r - 0*r + 325. Is l a multiple of 9?
True
Let w(v) = -v + v + 7 + v. Let y be w(-4). Suppose 0 = -5*i + y*q + q + 104, 2*i = -4*q + 36. Is 20 a factor of i?
True
Let z = -1792 - -2576. Suppose 3*g + 155 = f + g, g + z = 5*f. Is 35 a factor of f?
False
Suppose -2750 = -6*s - 16*s. Does 21 divide s?
False
Is (-2)/(-7) - ((-69350)/70 - -19) a multiple of 3?
True
Let u(w) = w + 8. Let i be u(7). Let q = 3 + i. Is q a multiple of 6?
True
Let q(x) = x**3 + 6*x**2 + 6*x + 1. Let v be q(-5). Suppose 15*l = 13*l + 14. Let m = v + l. Is m even?
False
Let k = -41 + 49. Suppose -276 = 2*r - k*r. Is r a multiple of 28?
False
Is -1*(3 - -5)*46/(-8) a multiple of 9?
False
Let m(q) = -q**2 + 2*q + 1. Let w be m(-1). Suppose 0 = 6*f + 115 + 161. Does 16 divide 4/w - -2 - f?
False
Let a(n) = -n**2 - 27*n - 15. Let y be a(-26). Suppose 5*k - y*k + 558 = 0. Is k a multiple of 12?
False
Suppose 2*g + r = 32, -6 = 5*r - 26. Let p = g + -9. Suppose 15 = 3*f, 0 = -b - 3*b + p*f + 155. Is b a multiple of 13?
False
Suppose 3*t + 173 = -79. Let j = -29 - t. Suppose -n + c + 12 = 1, j = 5*n + 2*c. Is n a multiple of 5?
False
Let s be (-32)/(-18) + 4/18. Let v(q) = 0*q + 4*q - 5*q + s*q - 6*q**2 + q**3 + 8. Is v(6) a multiple of 6?
False
Suppose 52*y = 38*y + 8120. Does 29 divide y?
True
Suppose 5*h = y + 10, -2*h - 2*y + 25 = 3*h. Suppose 5*j + m = 103 + 105, 0 = h*j + m - 126. Is 35 a factor of j?
False
Let s = 696 - 482. Is s a multiple of 10?
False
Let w be 8/(-1)*10/(-4). Suppose 10*c = 5*c + w. Suppose -c*b - 2*t = 3*t - 95