40 = 5*h - a, 2*a + 159 = -3*h. Let k = h - -111. Is 12 a factor of k?
True
Let r(d) be the second derivative of d**4/12 - d**3 + 5*d**2/2 - 4*d. Let j be r(5). Suppose j = -5*y - 0*y + 125. Is y a multiple of 25?
True
Let s = 309 - 47. Let u = -142 + s. Does 48 divide u?
False
Let l(f) = -f**2 + 7*f - 6. Let i = -3 - -9. Let c be l(i). Suppose -5*j + 344 = 4*k, -5*k + 3*j + c*j + 467 = 0. Does 13 divide k?
True
Suppose -m + 3*m - 8 = -5*h, -h - 2*m = 0. Let b(o) = 8*o. Let w be b(h). Let f = w + -3. Is f a multiple of 8?
False
Let q(i) = i**2 + 6*i - 12. Suppose 0 = 3*j - 3*k + 24, 4*k + 38 = -0*j - 3*j. Is q(j) a multiple of 7?
True
Let g(f) = -f**3 - 2*f**2 + f. Let o = 3 - 5. Let b be g(o). Is 15 a factor of 2 + -4 - b*14?
False
Let o be 6/4 + 1/2. Let r be (-8 + -1)*(-2)/o. Suppose -3 = -b + r. Is b a multiple of 8?
False
Let g(x) = 21*x + 301. Is g(0) a multiple of 16?
False
Suppose -11*b - 46 = -277. Suppose -u - x - 2 = -0*u, -2*x = -2*u + 12. Does 23 divide 2106/b - u/7?
False
Let h(i) = -15*i - 15. Is h(-3) a multiple of 6?
True
Is 6 a factor of 78*(-10 - (-273)/14)?
False
Let l be (127 - -2) + (0 - 0). Let a = l - 89. Does 20 divide a?
True
Suppose -2*t = -7*w + 2*w + 50, -2*t = 0. Let i = 38 + w. Is i a multiple of 12?
True
Let t = 21 - 12. Suppose 0 = t*o - 163 - 80. Is 8 a factor of o?
False
Is 112 a factor of (-8)/5*(-45)/12 + 1662?
False
Suppose 3*i - 4*i = 2*s - 2, 0 = -2*s + 2. Is i/5 + 116 - 0 a multiple of 21?
False
Suppose -11 = -z + 53. Suppose 2*p + k - z = -k, 5*p = -2*k + 160. Does 11 divide p?
False
Suppose -2114 = -4*q - 134. Suppose 5*k + 2*p = k + 402, q = 5*k + 5*p. Is k a multiple of 14?
False
Suppose -6 = -2*s - 2*h, 4*s - 3*h = -h + 18. Suppose 0 = 4*y + w + 7 + 4, s*y = 2*w - 14. Let j = y - -31. Is 7 a factor of j?
True
Is 1*-5*(22 - 35) a multiple of 10?
False
Is 9 a factor of -9*(-756)/24*(-6)/(-9)?
True
Suppose 0 = -2*h + k + 22 + 32, 5*h = -4*k + 135. Suppose 2*v - 4*q + 36 = -16, -4*v - q = 122. Is 20 a factor of 126/h*v/(-7)?
True
Let o = 17 - 5. Suppose 9*k + o = 6*k. Is 2/((-4)/88*k) a multiple of 3?
False
Does 67 divide (-201)/(-12)*(39 + 1)?
True
Suppose 0*o - 4*o = -4. Suppose 2 + o = -h. Does 2 divide 6*(5/h + 3)?
True
Suppose -26*y + 31*y - 20 = 0. Suppose 9 = -2*p + 6*c - c, -p + y*c = 3. Let v = p + 78. Does 14 divide v?
False
Suppose 0 = 5*w + m - 281, 121 = 3*w - 2*m - 45. Let a = 44 + w. Does 15 divide a?
False
Let g be (2 - 8/6)*-3. Let r be 86/(g + 4/3). Let s = r + 181. Is s a multiple of 15?
False
Suppose 10 = -3*v + 7. Is 9/(3/v) + 11 a multiple of 5?
False
Suppose 228 = -3*g + 90. Let t = g + 218. Is t a multiple of 36?
False
Is 22 a factor of 0 - 3/(-4) - 59306/(-104)?
False
Suppose -10*l - 6*l + 6400 = 0. Is l a multiple of 12?
False
Let g(k) = 45*k**2 + k + 2. Suppose -2*d = -4*d - x - 7, 0 = -5*d + x. Let z be g(d). Let l = z - 5. Does 11 divide l?
False
Suppose 0 = -i + 2*i - 4*q - 930, -3*i - 3*q + 2730 = 0. Does 35 divide i?
False
Let x(g) = 3*g + 12. Let d = 16 + -10. Is x(d) a multiple of 30?
True
Let m = -19 + -8. Let n = 82 + m. Is n a multiple of 11?
True
Let v = 1408 - -291. Is 38 a factor of v?
False
Let y be (-1 + 45)*(-1 + (-2)/(-4)). Let b(v) = -5*v - 14. Does 24 divide b(y)?
True
Suppose -2*l - l = -3*u + 372, -5*u = 4*l - 620. Suppose 3*m - u = 62. Is m a multiple of 11?
False
Suppose 94*g + 1810 = 99*g. Is g a multiple of 23?
False
Let c be (-2 - -4) + 6 + 89. Let x = c + -81. Is x a multiple of 6?
False
Suppose -6*n + 11*n - 3900 = 0. Suppose n = 4*j + 4*y, -4*y = -4*j + 279 + 501. Is j a multiple of 17?
False
Suppose -3*d - 5*o - 946 = -3558, 3*d - 2*o = 2647. Does 40 divide d?
False
Let w be -3 + -50 + 7 + -6. Let o = 80 + w. Is o a multiple of 10?
False
Let i be (-475)/(-35) - (-3)/7. Suppose -19*n = -i*n - 25. Suppose n*k - 75 = 5*t + 160, -109 = -2*k - 3*t. Does 14 divide k?
False
Let b = -88 - -162. Let i = b + -46. Is i a multiple of 20?
False
Is 48 a factor of 6 + (-2 - 0) + 668?
True
Let r = 626 + -226. Is r a multiple of 25?
True
Suppose 0 = -4*g + 3*r + 12, r + 6 = 5*g - 3*g. Let m be 3*g/9 - -10. Let p = -5 + m. Does 6 divide p?
True
Let y(m) = 20*m + 20. Let b be 4*14/(-12)*18/(-28). Is 13 a factor of y(b)?
False
Suppose -4*u = -749 - 599. Is 7 a factor of u?
False
Suppose -19 = -g + 2. Let y = g - 3. Let b = 49 + y. Is b a multiple of 22?
False
Let h(w) = w + 9. Let m be h(-6). Suppose m*j + 4*s - 65 = -2*j, 0 = 3*s. Does 5 divide j?
False
Let i(y) = y**2 - 8*y - 17. Let m be i(10). Suppose w - 1 = m. Suppose -3*s - 5*k - 230 = -6*s, 0 = -s + w*k + 79. Does 15 divide s?
True
Suppose -5*v = -6*v + 77. Suppose 3*l + 28 = -4*o + v, 3*o = l + 1. Is 6 a factor of l?
False
Let z(h) = 3*h**3 - 12*h**2 - 10*h - 9. Let w(a) = -7*a**3 + 25*a**2 + 21*a + 17. Let i(o) = 4*w(o) + 9*z(o). Is i(-8) a multiple of 24?
False
Suppose 0 = -6*s - 288 + 756. Does 13 divide s?
True
Let a be (2/(-3))/((6/(-3))/(-6)). Let f(p) = -45*p - 8. Is f(a) a multiple of 14?
False
Let m(t) = 4*t**2 + 14. Does 14 divide m(-7)?
True
Suppose -5 = -3*z - 20, 4*x + 5*z + 61 = 0. Let y be (-12)/(12/4) - x. Suppose -3*g = -y*d - 45, 0 = -2*g - d - d + 30. Does 15 divide g?
True
Let d = 3464 - 2078. Is d a multiple of 53?
False
Let t(q) = -9*q - 1. Let d be t(-6). Suppose 4*z - 142 = 2*l, -z + d = -l + 17. Does 35 divide z?
True
Suppose 2*h + 215 = 5*n - 3*h, -n = -2*h - 47. Let a = n - 58. Let g = 7 - a. Is 13 a factor of g?
True
Let l(y) = -5*y - 67. Let v be l(-17). Suppose 150*g - 149*g = v. Is 3 a factor of g?
True
Is (-5)/(-25) + (-4478)/(-10) a multiple of 14?
True
Let p(a) = 6*a**2 + 3*a - 17. Let x be (1 - 7)*1*(-56)/84. Does 13 divide p(x)?
True
Let l(i) = 5*i**2 + 16*i - 4. Let q(r) = 9*r**2 + 31*r - 8. Let d(s) = 7*l(s) - 4*q(s). Let o be d(-12). Suppose 5*z = o + 161. Is 33 a factor of z?
True
Is 34 a factor of (675/18)/((-12)/(-224))?
False
Let v(a) = -a**2 - 6*a + 12. Let f be v(-7). Is 6 a factor of 30*(-8 - -2)*f/(-30)?
True
Suppose 4*x - 23 = 3*n - 61, -2*n + 24 = -2*x. Suppose -12 = -q + n. Does 8 divide q?
False
Let a = -17 - -15. Is 15/5 - (-2 - (69 - a)) a multiple of 7?
False
Let u be ((-9)/(-2))/9*18. Let d be (62 + 1)*u/3. Suppose 2*b + 7*b - d = 0. Is b a multiple of 7?
True
Let t(x) = 3*x - 5. Let m be t(5). Let u(w) = 18*w + 1 + 2 + 17*w - 42*w + 12*w. Is u(m) a multiple of 11?
False
Suppose -5*k - 24 = -g, 2*g + 3*g + 2*k - 12 = 0. Suppose 0 = -3*d + c + 3035, 5*d - 847 - 4216 = g*c. Suppose 93 + d = 6*f. Is 39 a factor of f?
False
Is 31 a factor of (-8050)/75*(-3)/(-4)*-10?
False
Let h(y) be the first derivative of -y**3/3 + 7*y**2 - 18*y - 3. Let z be h(13). Is (-9)/(-3) - (z + 2) a multiple of 4?
False
Suppose 0 = 30*r - 3637 - 4283. Is r a multiple of 4?
True
Let b = 376 + -255. Is b a multiple of 19?
False
Suppose 0 = -11*z + 12*z - 3*b - 768, -b = -3. Is z a multiple of 21?
True
Suppose -12*z + 1704 + 1092 = 0. Does 29 divide z?
False
Suppose -5*a + 2*u + 4263 = 0, -863 = -2*a + a + 3*u. Let s = a - 607. Is 61 a factor of s?
True
Suppose -4*y + 4*f + 28 = 0, -y + 3 + 8 = -2*f. Suppose 0 = 3*t - 3*w - 60, -y*t + 5*w = 8*w - 84. Is t a multiple of 12?
True
Suppose -4*w - 24 = -w. Let i be ((-4)/w)/(1/10). Suppose -i*t - o - 11 = -71, -3*o + 36 = 3*t. Does 4 divide t?
True
Let m(a) = -a**3 - 8*a**2 - 8*a - 4. Let d be m(-7). Suppose d*g = 55 + 5. Is g a multiple of 11?
False
Let p be ((-12)/150)/((-1)/(-5))*-10. Suppose -q = -4*l + l + 355, -p*l + 465 = -3*q. Does 36 divide l?
False
Suppose -21*a = -9633 - 7167. Does 25 divide a?
True
Let b be (-16 + 15)*-1*2. Suppose 3*r + b*q - 44 = 0, -3*q = r - 2*q - 15. Is r a multiple of 14?
True
Suppose 4*x - 44 = 5*d, x = -d - d - 15. Is 4/16 - 158/d a multiple of 20?
True
Let y be 125 + (6 + 6/(-2))/(-1). Let a = y - 56. Is a a multiple of 37?
False
Let k = 744 + -339. Is 45 a factor of k?
True
Let c be 115/20 + (-3)/4. Suppose -c*u = -51 - 109. Suppose 3*o = 2*o + u. Is 16 a factor of o?
True
Let x(i) = 23*i + 17*i**2 - i**3 - 5 - 13 + 54. Is x(18) a multiple of 18?
True
Suppose -12 = 3*l, -2*v + 20*l + 28 = 18*l. Is v a multiple of 5?
True
Is (-24)/(-15)*5 - -936 a multiple of 6?
False
Let y = 5 - 1. Let d(s) = s**2 - 3*s + 1. Let c be d(y). Suppose -c*i - 30 = -180. Is 15 a factor of i?
True
Suppose 0*h = -2*i -