- 1). Let q(v) = -v**2 - 12*v - 11. Is 10 a factor of q(f)?
False
Suppose 0 = 14*w + 159 - 33. Let n = 86 + w. Does 11 divide n?
True
Suppose 0 = -2*x - x + 57. Suppose 5*o + x = -21. Let m = 0 - o. Is 8 a factor of m?
True
Let r(k) = -k**3 - 7*k**2 - 12*k - 12. Let f be r(-5). Is 7 a factor of (16 - 8/(-12)*3) + f?
False
Suppose 4*m - 3*f = 1361, -2 - 7 = 3*f. Let r = m + -240. Is 14 a factor of r?
True
Is 540/81*(-2 + (-94)/(-5)) a multiple of 23?
False
Suppose 26*x = 5885 + 8779. Is 56 a factor of x?
False
Suppose -4*t = 4*r - 52, -2*r + 2*t + 10 = -0*r. Suppose -r*g = -5*g + 56. Let b = 17 + g. Is 3 a factor of b?
True
Let k = 0 + 0. Suppose -4*g - 4*x + 20 = 0, -5*x + 23 = -2*g + 12. Suppose g*a + 31 = i - k*i, -i = -a - 32. Does 15 divide i?
False
Let q(p) = -p**3 - 2*p**2 - 6*p - 4. Let u be q(-6). Suppose 7*n + u = 11*n. Does 44 divide n?
True
Does 60 divide -3 - (-30)/6 - (-102)/1?
False
Suppose 0 = 32*d - 28*d. Suppose d = -4*l - 2*s + 464, 2*s = 4*l + s - 458. Does 23 divide l?
True
Suppose 4*h + 2 - 4 = -2*w, 0 = -5*h + 5. Is -2 + w + (-510)/(-5) a multiple of 13?
False
Is (184/6)/(14*5/3885) a multiple of 19?
False
Let y(i) = -4*i**2 + 12*i - 17. Suppose 11 + 17 = 4*u + 2*z, -2*z - 7 = -u. Let s be y(u). Let h = s - -199. Does 17 divide h?
False
Suppose 2*j - 19 = -25, -3*i + 5*j = -4929. Is i a multiple of 29?
False
Let b = 98 + -43. Is 13 a factor of (-1 + b/3)/(8/12)?
True
Is 14880/108 - 4/(-18) a multiple of 17?
False
Suppose -3*n + 2 = 3*u - 2*u, 0 = -n + u - 2. Suppose n = -d + 11*d - 780. Does 33 divide d?
False
Suppose -n = -2*n - 2*g + 518, -5*n - 3*g + 2625 = 0. Does 12 divide n?
True
Suppose 0*b - b - 15 = -4*w, 2*b + 2*w = 20. Suppose -2*h = -b*i - 5*h + 1419, 3 = h. Is i a multiple of 12?
False
Let o = -67 + 68. Suppose 0*h + h = 31. Suppose k - o = h. Is 16 a factor of k?
True
Let o = 99 - 59. Does 14 divide (-98)/(-4)*o/70?
True
Does 10 divide (-24)/36*2388/(-8)?
False
Suppose 0 = -38*c - 40*c + 231426. Does 14 divide c?
False
Suppose b + 2*v + 11 = 0, -5*b - v - 72 = 10. Suppose -n = 5*w + 4, 5*w = 3*n + 41 + 31. Let t = b - n. Is 2 a factor of t?
True
Let l be 8/12*(-15)/(-2). Suppose 5*d - l*m - 1779 = -319, -d = -2*m - 296. Let g = -174 + d. Does 33 divide g?
False
Let y be (-1 - (-1 - 4))/1. Let b be 78/y*(-12)/(-18). Suppose 5*g - 172 - b = 0. Does 9 divide g?
False
Does 12 divide ((-5664)/(-20))/((-12)/(-30))?
True
Let x(l) = -l**2 + 9*l + 5. Let n be x(8). Let s = -8 + n. Suppose s*d - 169 = -2*t, 0*d = -d - 3*t + 39. Is d a multiple of 11?
True
Let n(f) = 5*f**2 + f + 2. Let p be n(2). Suppose -3*r = -r - 10, -2*t = 2*r - p. Suppose 0 = -t*i + 3*i + 88. Is 16 a factor of i?
False
Let l = 35 + -38. Is -1*l/(6/314) + 2 a multiple of 37?
False
Suppose 0 = -2*o - 5*i - 20, -4*o = -3*i - i + 12. Let q = 126 - 43. Let n = q - o. Does 22 divide n?
True
Suppose 51 = -4*p + 5*p. Suppose 0*w - 3*w = -2*d + 32, d = -5. Let j = w + p. Does 11 divide j?
False
Suppose 9*b - 5*x - 38423 = 0, 6*x + 10 = 8*x. Is b a multiple of 24?
True
Let m = 168 + -34. Let r = -195 + m. Let d = -25 - r. Is 18 a factor of d?
True
Suppose -2*n - 4*a - 364 = 0, 0 = 5*n - 3*a + 4*a + 955. Let p = n - -449. Does 33 divide p?
False
Let o = -70 + 50. Let q be (o/(-6))/(12/54). Let s = 29 - q. Is s a multiple of 13?
False
Let q(b) = 5*b**3 - 2*b**2 - 14*b + 5. Let o(l) = 6*l**3 - l**2 - 14*l + 6. Let p(k) = 4*o(k) - 5*q(k). Is p(7) a multiple of 16?
True
Let v(w) = 11*w + 119. Does 78 divide v(53)?
True
Is 17 a factor of (-536)/((-775)/85 + 9)?
True
Is -4 - (-6)/2 - -118 a multiple of 39?
True
Let s = 4 + -10. Let v(x) = -2*x**2 - 13*x - 11. Let m be v(s). Let t = 16 + m. Is 11 a factor of t?
True
Let d(y) = y**3 + 6*y**2 + 4*y. Let t be d(-5). Suppose -t*i = -4*g - 193, 5*i = 2*g - 4*g + 181. Is 9 a factor of i?
False
Let n(x) = -x**3 - 4*x**2 - 6*x - 4. Let f be n(-2). Suppose 0 = -3*o - 4*w + 244, f = -0*o + o + 4*w - 84. Is 5 a factor of o?
True
Let d be (15 - (3 + 0)) + 3. Let b = d + -18. Is 3 a factor of (-40)/(-3) - (-4)/b?
True
Let v = 531 - 386. Is 29 a factor of v?
True
Suppose 19*q = 16703 - 4087. Is q a multiple of 8?
True
Suppose m = -6 + 239. Is m a multiple of 33?
False
Let v = -238 - -554. Suppose -4*y + 0*y = v. Let a = -17 - y. Does 19 divide a?
False
Suppose -5265 = -5*k - 5*h, -3867 + 711 = -3*k - 2*h. Is k a multiple of 12?
False
Suppose 3*u + c = -c + 64, -43 = -u - 5*c. Suppose -l = -u + 2. Is l a multiple of 4?
True
Let h = 60 - -1163. Does 11 divide h?
False
Let w(k) be the third derivative of -k**6/40 + 3*k**2. Let q be w(-1). Suppose q*m = 4*m - 18. Is 6 a factor of m?
True
Let i = 574 + -500. Is 3 a factor of i?
False
Suppose 5*g - 9 = 16. Suppose -3 = -2*s + 3*n - 0, g = s + 2*n. Is 15 a factor of s - (-41 - -1) - -3?
False
Suppose -k - 5 = 0, 0 = -0*h + 3*h + 3*k - 12. Suppose h*p - 4*p = 90. Does 9 divide p?
True
Suppose -5*a + 3069 = -681. Is a a multiple of 15?
True
Let h(i) = -7*i + 11. Let r be h(-14). Suppose -k + 4*m + 124 = 0, k - 5*m = r + 10. Is k a multiple of 12?
True
Does 47 divide 826/(-4)*(-1128)/329?
False
Suppose 4*t - 2*l = -l + 76, -108 = -5*t - 2*l. Suppose 0 = -t*s + 18*s + 86. Is s a multiple of 11?
False
Suppose -3*n = -12, 2*m + m + 4*n - 874 = 0. Does 13 divide m?
True
Let b = 71 + -49. Suppose 0 = b*g - 28*g + 234. Is g a multiple of 9?
False
Let w = 28 - -159. Let t = w - 95. Does 19 divide t?
False
Let v be 0 + (-1)/2*-4. Let z = 7 + v. Is 4 a factor of z?
False
Let t be -7*(12/7 + -2). Suppose t*d - 85 = 77. Does 13 divide d?
False
Does 11 divide 68/(-578) - 27852/(-51)?
False
Let i(n) = n**2 - 9*n - 31. Let q be i(12). Let j be 9/(-6)*(-8)/6. Suppose b + 4*b = -5*t + 110, -q*b = -j*t - 138. Is 15 a factor of b?
False
Suppose i - 5*b - 3 = 0, 0 = 2*i - 3*b - b. Let q be (-4)/(1/7*i). Let f = q - -16. Is f a multiple of 15?
True
Let r = -201 + 432. Suppose 232*h - 25 = r*h. Is h a multiple of 25?
True
Let q be 38/6 - (-7)/(-21). Let f = -7 + q. Is 14 - (-1)/(f - -2) a multiple of 4?
False
Let u = -486 + 96. Let v = u - -662. Is 47 a factor of v?
False
Suppose 6*i + 15 = i. Is 14/i*9/(-1) a multiple of 14?
True
Let m be (-1460)/(-44) + (-4)/22. Let c = m + -25. Does 4 divide c?
True
Suppose 4*b - 6 = 2*k, 0*b - 4*b = -12. Suppose 0*t = k*t - 18. Let n(f) = 12*f - 15. Does 14 divide n(t)?
False
Suppose 2*g + 497 = 2*z - 41, -z + 5*g + 257 = 0. Does 7 divide z?
False
Suppose -19*l = -16*l - 18. Suppose -1 = a - l. Suppose -s = a*c + 2, -3*c - 8 = -c. Is 18 a factor of s?
True
Suppose 20*k - 29*k + 3789 = 0. Does 12 divide k?
False
Suppose c = -0*c + 5*u + 115, -3*c - 2*u = -311. Let j = c + 24. Is j a multiple of 43?
True
Let s be 3 - (-1 - 1 - -10) - -1. Let m = 5 + -7. Is s*17/m + -2 a multiple of 16?
True
Let g = 256 - 209. Does 14 divide g?
False
Suppose 4*i + 2*o = 29 + 81, 5*i - 5*o = 160. Suppose i*v - 30*v = -24. Is v a multiple of 4?
True
Suppose 2*u = -b + 67 + 48, 0 = -4*u + 2*b + 226. Does 19 divide u?
True
Let v be (-3 - -4 - -2) + -161. Is v*1*1/(-2) a multiple of 25?
False
Let p(l) = -l**3 + 7*l**2 - 4*l + 4. Let k(u) = 3*u + 1. Let b be k(1). Let d be p(b). Suppose -n - d = -5*v, -n + 11 = 2*v - 9. Does 4 divide v?
True
Let l(a) = -a + 7. Let g be (-7)/2*(3 + -5). Let x be l(g). Suppose -p + 5*p - 252 = x. Is 10 a factor of p?
False
Suppose 3*k + 2*o - 7*o = 6, 4*o + 16 = 4*k. Let l(u) = -u**2 + 7*u + 5. Let b be l(k). Suppose 0 = b*m - 224 + 64. Is 16 a factor of m?
True
Suppose 0*i + 3*i = 3. Is 14 a factor of i - 6 - -1 - -46?
True
Let i(x) = x**3 - x**2 + 11*x - 23. Is i(7) a multiple of 17?
False
Suppose -2237 + 13245 = 16*p. Is 16 a factor of p?
True
Let w be 9 + -6 + (-84)/(-2). Let r = 51 + w. Does 24 divide r?
True
Suppose 105 = -5*c - 65. Let z = -14 - c. Let k = -7 + z. Is k a multiple of 4?
False
Suppose -6 = -3*l + l. Suppose 3*u + l = 4*u. Suppose -u*a + 408 = 54. Is 30 a factor of a?
False
Suppose 4*r = -2*k + 140, -k + 87 = -4*r + 233. Let u = r - 20. Let g = u - -3. Is 3 a factor of g?
False
Suppose 0 = -3*z - 2*z - 10. Let q(p) be the third derivative of 17*p**5/60 + p**4/24 + p**3/2 + 102*p**2. Is 15 a factor of q(z)?
False
Let k be 21332/20 + 3/(-5). Suppose 130 - k = -4*r. Does 39 divide r?
True
Is 77 a factor of (-1276)/(-7) - (-40)/(-140)?
False
L