of 13?
False
Let h(d) = d**3 - 40*d**2 - 32*d - 3. Is h(41) a multiple of 28?
False
Suppose -3854 - 9018 = -3*i + 5*c, -4*c - 12874 = -3*i. Is 15 a factor of i?
False
Let u(q) = q**2 - 16*q + 5. Let h be (14/(-5))/((-18)/45). Let c = h - -9. Is u(c) a multiple of 5?
True
Suppose -1 = -5*n + 4. Let g be 38*6/20 + 18/(-45). Let c = g - n. Does 10 divide c?
True
Let a(w) = -w**3 - 10*w**2 - 12*w - 15. Does 7 divide a(-11)?
True
Suppose -p - w - 16 - 22 = 0, 0 = -3*p - 4*w - 117. Let b = -24 - p. Is 2 a factor of b?
False
Let f(o) = o**2 + o + 2. Suppose 2*z - 19 = 2*a - 7*a, 5*a = 3*z + 9. Let j be f(z). Let m = j + 22. Is m a multiple of 10?
True
Is (-4 + 46)/7 + 460 + 6 a multiple of 4?
True
Suppose 453*o + 14328 = 477*o. Does 3 divide o?
True
Let p be 7/2 + (-2)/4. Suppose 14*l - 13*l = 5*n - 4, -4*l = -5*n - 44. Suppose -i = w - p*i - l, -5*i + 125 = 5*w. Is w a multiple of 11?
True
Suppose 2*i + 5*f - 21 = 0, 0*i - 5*i = 5*f - 15. Let d be (i + -6)/(3/(-3)). Suppose -d*r + 324 = -2*r. Is r a multiple of 9?
True
Suppose 1 + 5 = 2*x, 4*n = x + 133. Suppose -3*l = n - 127. Does 9 divide l?
False
Let m be (-4)/(-18) - (192/27)/(-4). Suppose m*l = -l + 240. Does 15 divide l?
False
Let j = 2129 + -624. Is j a multiple of 35?
True
Suppose 550*t - 540*t = 6320. Does 43 divide t?
False
Suppose -5*a = 2*c + 3*c, -2 = -5*a - 3*c. Let l = a + -5. Let b = 17 - l. Is 7 a factor of b?
True
Let n(w) = w + 5. Let o(g) be the second derivative of g**5/20 + g**4/4 - g**3/2 - 3*g**2/2 + 4*g. Let l be o(-3). Does 11 divide n(l)?
True
Let r(n) = n + 310. Let l be r(0). Let i = l + -500. Let v = -116 - i. Is 24 a factor of v?
False
Let m be -5 - ((-5 - -3) + -3). Suppose 0 = l - m - 47. Is 3 a factor of l?
False
Let x be -10 - (-5)/((-20)/16). Is 25 a factor of (-648)/x + 28/(-98)?
False
Let n = 1227 - 841. Suppose -5*y = 106 - n. Is 6 a factor of y?
False
Let v(i) = -6*i**3 - 6*i**2 - 2*i + 11. Let g(l) = l**3 - l**2 + 1. Let c = 16 - 15. Let q(b) = c*v(b) + 5*g(b). Is 14 a factor of q(-11)?
False
Suppose 0 = -l, 4*l + 11 = 3*m - 1. Suppose 65 = v - m*f + 6*f, 5*v + 2*f - 349 = 0. Is 18 a factor of v?
False
Let r(z) = -z**3 + 4*z**2 - 4*z - 3. Let s be r(3). Is (-9)/(-3) - s/6 a multiple of 2?
True
Suppose 0 = 2*g - 4*i + 272 - 6584, 4*i = g - 3148. Is g a multiple of 13?
False
Let t(v) = -v**3 - 12*v**2 - 10*v - 7. Let u be t(-11). Let p = u + 109. Is 42 a factor of p?
False
Suppose -4*r + 161 = 5*o, o - 22 - 11 = -r. Let w = o + 11. Does 9 divide w?
False
Let u = 285 - -1765. Suppose -3*m + q + 0*q = -1230, -5*q - u = -5*m. Suppose -p - m = -6*p. Does 23 divide p?
False
Suppose -5*z + 263 - 68 = 0. Suppose 0 = 4*q + 2*s - 516, q + 530 = 5*q - 5*s. Suppose 4*w = -j + z, j - 5*w = -j + q. Does 19 divide j?
False
Let m(w) = -w + 3. Let q(p) = 5*p - 15. Let j(t) = -11*m(t) - 2*q(t). Let n be j(5). Suppose -174 = -4*v - 3*f, -n*v + 5*f = f - 76. Does 32 divide v?
False
Let d(y) = -2*y**2 - 53*y + 41. Does 14 divide d(-26)?
False
Let h = -18 + 54. Does 8 divide (-8)/h + 263/9?
False
Suppose 20*d = 1294 + 2346. Is 14 a factor of d?
True
Suppose -l + 5*v = -13, -l + 6*v + 12 = 2*v. Suppose 5*d - 28 + l = 0. Suppose 4 = d*c, c = -k - 2*k + 73. Is 12 a factor of k?
True
Suppose 0 = -2*n + 19 + 11. Suppose 6 = 2*u, -5*p - n = 5*u + 10. Does 3 divide 2*((-60)/p + -1)?
False
Let y(h) = 11*h**2 + 4*h - 35. Let g(a) be the second derivative of 5*a**4/12 + a**3/3 - 17*a**2/2 - 3*a. Let v(s) = 9*g(s) - 4*y(s). Does 7 divide v(-6)?
False
Let y(m) = 2*m**2 - m. Let p be y(0). Let s be 3*(18 - 4) - p. Suppose -r - 52 = -5*t, 0*t + 4*t - r = s. Is t a multiple of 5?
True
Let k(w) = w**3 - w**2 - 4*w + 4. Let g = -7 - -10. Suppose -11 = 3*i + 4*j, -4*i - 12 = -g*i + 3*j. Is k(i) a multiple of 3?
False
Let g = 71 - -65. Is 17 a factor of g?
True
Suppose -4*d + 2*y = -0*d - 350, 0 = -d - 5*y + 93. Does 6 divide d?
False
Let v(r) = -r + 11. Let s be v(5). Is 10 a factor of s/8*(10 - -14)?
False
Suppose -4*x = 2*r - 536, -r + 4*x = -137 - 107. Does 8 divide r?
False
Suppose -1 = 4*z - 3*z, -5*t + 7 = 3*z. Let y = -46 + 68. Suppose -r = -t*j - 2*j - y, 0 = -2*j. Is r a multiple of 11?
True
Suppose v - 37 - 91 = 3*d, -v + 129 = -4*d. Let k = v + -69. Does 8 divide k?
True
Suppose -14*h - 1252 = -13432. Does 29 divide h?
True
Suppose 2*t - 3*q = -t - 45, 0 = -5*q + 25. Let a be (124 + -2)/(t/5). Let u = a + 113. Does 25 divide u?
False
Let x be 1149/(-9) + 0 + 4/6. Let w = 213 + x. Is w a multiple of 15?
False
Let m(c) be the second derivative of -c**5/20 - 11*c**4/12 + 5*c**3/2 + 7*c**2/2 + 19*c. Is 39 a factor of m(-14)?
False
Let q be (-2)/12 + 3/18. Suppose q*y + 24 = y. Does 9 divide y?
False
Suppose p - 945 = -5*m, -m + 3*m = -8*p + 340. Is 10 a factor of m?
True
Let g = -43 + 45. Suppose 4*m = -4*x - m + 43, -2*x + g*m = -44. Is 4 a factor of x?
False
Let x(b) = -13*b - 5. Suppose 13*t = 8*t - 15. Does 34 divide x(t)?
True
Let h = -5 - -158. Is h a multiple of 35?
False
Let b(d) = d**3 - 2*d**2 + d + 2. Let t be b(2). Suppose 6 - 10 = -t*p. Is 7 a factor of 0 - (-2 + p) - -11?
False
Let g(m) = 3*m**2 - m**2 + 22 - 19*m - m**2. Let r be g(12). Let y = r - -95. Is y a multiple of 6?
False
Is 16 a factor of 1185/6 - (-1)/2?
False
Let x(p) = -p**2 - p + 1. Suppose -3 = w - 5. Let j be x(w). Let b = j - -10. Is b a multiple of 2?
False
Let j(v) = 6*v**2 + 3*v**2 - 11 + 5*v + 0 - v**3. Let d(l) = 3*l**3 + 22*l**2 + 5*l - 5. Let q be d(-7). Does 15 divide j(q)?
False
Suppose -5*m - 368 - 843 = -2*g, g - 3*m - 607 = 0. Is g a multiple of 10?
False
Let c(i) = -107*i - 3*i**2 + 109*i + 16*i**2 + 1. Let z be c(-1). Does 4 divide (-107)/(-7) + z/(-42)?
False
Let q(l) = 20*l - 111. Is q(22) a multiple of 15?
False
Suppose 26*v - 45 = 25*v. Let l = 102 - v. Does 25 divide l?
False
Suppose 3*j - 168 = -a, -108 = -2*j + 2*a - 4*a. Does 2 divide j?
False
Suppose 13 = -5*y + 28. Suppose -4*u = -3*l - 3, 3*l - 5*l - 2 = y*u. Does 3 divide u + 20 - 0 - 0?
False
Let s be 1/2 - 3890/(-4). Let w be (0 + 1)/(7/s). Suppose -4*h + 3*h = -4*p + w, 0 = 5*p + h - 167. Is p a multiple of 13?
False
Let x = 618 + -600. Is 2 a factor of x?
True
Let y = 539 - 247. Is y a multiple of 12?
False
Let i(u) = -94*u - 5. Let v be i(-3). Suppose 0 = -3*l + v - 238. Does 2 divide l?
False
Let n be 2/7 - 18530/(-70). Let p = -188 + n. Is p a multiple of 11?
True
Suppose 5*d = 2*k - 609, -4*d + 10*d = 4*k - 1230. Is 104 a factor of k?
True
Let m be (-4 - -3)*1 + 81. Suppose 2*c - 8 - m = 0. Is c a multiple of 44?
True
Let b(n) = -16*n**3 + n**2 - n - 2. Let p be b(2). Let f = p - -178. Does 10 divide f?
True
Suppose 192 = -11*p + 2480. Is p a multiple of 35?
False
Let p = -9 - -47. Suppose 8*k - 3 = -67. Let z = p + k. Is z a multiple of 11?
False
Let k = 167 - -207. Is k a multiple of 22?
True
Let d be (12 - 6) + -5 - -5*49. Suppose -4*j = -4*r - 332, d = 3*j - 2*r - 0*r. Is j a multiple of 40?
True
Suppose -2*o + 366 + 3180 = 0. Does 16 divide o?
False
Let b = -1891 - -3376. Is b a multiple of 81?
False
Let k = -13 - -1. Let j = -21 - k. Let w(r) = -r**3 - 9*r**2 - 3*r - 12. Does 11 divide w(j)?
False
Does 8 divide (-90)/225 + (-1604)/(-10)?
True
Let x(g) be the third derivative of -g**4/2 - 2*g**3/3 + 19*g**2. Is 14 a factor of x(-5)?
True
Let g = -466 + 886. Is 20 a factor of g?
True
Let k = -23 - -352. Is 8 a factor of k?
False
Does 12 divide (3/2 - (-134505)/70) + 7?
False
Suppose -3*z = 10 - 4. Is 17 a factor of 34 + (2 + 0 - z)?
False
Let v(u) = 4*u**2 - 3*u. Let b be v(4). Let c = b + -1. Is 8 a factor of c?
False
Let p(f) = -f**2 + 10*f + 1403. Does 23 divide p(0)?
True
Suppose -53*f = -0*f - 26076. Does 12 divide f?
True
Let a(v) = 9*v - 16. Let t(w) = 14*w - 24. Let i(u) = 8*a(u) - 5*t(u). Suppose o - 6 = 3. Is 4 a factor of i(o)?
False
Suppose -12*q + 77 = -583. Does 5 divide q?
True
Let v(m) = -8*m + 1. Let c be v(-1). Suppose d - c = 91. Suppose -d = -4*g + 16. Does 29 divide g?
True
Suppose -5*s + 0*s + 15 = 0. Suppose -4*q - 2 = -3*l, 0 = -s*q - 2 + 5. Suppose l*b - 61 - 43 = 0. Is b a multiple of 13?
True
Suppose 74*o - 10854 = 71*o. Is 39 a factor of o?
False
Let l(a) = 15*a + 1. Let v be l(4). Let y = v - 41. Is y even?
True
Suppose -36*r + 2385 = -31*r. Let v = -244 + r. Is v a multiple of 29?
False
S