 42*l**2 + 64*l - 124. Does 8 divide t(-38)?
False
Let i(z) = 224*z**2 - 21*z + 58. Let m be i(3). Suppose -s + 5*c = -499, -4*s + c = -4*c - m. Does 8 divide s?
True
Let l(g) = 8*g**2 + 8*g - 5. Is l(10) a multiple of 2?
False
Suppose 3*g + 4*u = 17, -4*g - 5*u + 35 = g. Suppose 26 = g*d + 4. Suppose -3*b = 4*z - 0*b - 198, d*z - 4*b - 88 = 0. Is 16 a factor of z?
True
Let v = 5735 + -4235. Does 15 divide v?
True
Let u = 5844 + -4384. Is 20 a factor of u?
True
Let m be 2*3/30 + 2244/255. Let d(t) = t**2 + 222. Let y be d(0). Suppose m*c = 381 + y. Does 22 divide c?
False
Suppose 375*c = 370*c + 30. Let w = 512 + c. Is w a multiple of 14?
True
Let g(i) = -3*i - 3. Let a be g(-3). Suppose a*j - 3080 = -j. Suppose -115 - j = -5*n. Is n a multiple of 37?
True
Let o be 1695/(-6)*32/(-10). Suppose -4*a = -u - 741, 7*a = 6*a - 2*u + 174. Suppose -9*d = a - o. Is 8 a factor of d?
True
Let w = -48805 - -78625. Does 140 divide w?
True
Does 58 divide (-1211456)/736*(73/(-6) - (-6)/9)?
False
Suppose 2*v = 4*o - v - 3, -4*o = 4*v - 24. Suppose 5*h - 38 = -13. Suppose h*f = 3*y + 393, -4*y = o*f + y - 263. Does 9 divide f?
True
Let x(b) be the third derivative of b**6/120 + 7*b**5/20 + 3*b**4/2 + 43*b**3/6 + 6*b**2 + 2. Is 12 a factor of x(-18)?
False
Suppose 67*g - 213103 = 99251. Does 42 divide g?
True
Let r(y) = y**2 - 13*y + 19. Let w(z) = 4*z**2 - 39*z + 57. Let a(d) = -7*r(d) + 2*w(d). Is 2 a factor of a(-15)?
False
Let v = 137 + -53. Suppose -4*t = 5*r - v, -105 = -5*t - 4*r + r. Does 4 divide 3 + 624/t + 2/7?
False
Suppose 0 = 18*i + 77171 - 155743 - 117646. Is i a multiple of 12?
False
Suppose 6*j + 9*j = -7*j + 12584. Does 9 divide j?
False
Suppose -p - 2*m + 8402 = 0, 2*m + 33658 = -172*p + 176*p. Does 16 divide p?
False
Suppose -458*f + 6480180 = -38*f. Does 139 divide f?
True
Let f(n) = 6*n + 38*n - 34*n + 52. Is 37 a factor of f(17)?
True
Does 26 divide (-42)/(-112)*-8 + (6 - 1)*375?
True
Let j(n) = 44*n**2 + n - 91*n**2 + 41*n**2 - 10 - 2*n**3. Does 36 divide j(-6)?
False
Suppose -5*l - 4*r + 84 = 15, 3*l = 4*r + 67. Suppose 21*t - 304 = l*t. Suppose m + u = -2*u + 81, 2*u = -m + t. Does 5 divide m?
False
Suppose -410*j - 8500 = -415*j. Is j a multiple of 34?
True
Does 9 divide ((-7028)/(-10))/(28/140)?
False
Let k(i) = 16*i**2 - 10*i - 8. Let p(j) = -37*j**2 + 19*j + 16. Let l(x) = 7*k(x) + 3*p(x). Suppose -64 = -8*h + 4*h. Is 8 a factor of l(h)?
True
Suppose -g - 21 = 2*b + 5, 5*b + 4*g = -68. Is ((-16)/b)/(10/480) a multiple of 16?
True
Is ((-19966)/(-447))/(2/108) a multiple of 67?
True
Let i(u) = -5*u + 29. Let p be i(4). Suppose p*b + 710 = 3023. Is 7 a factor of b?
False
Let t be (-30)/2*(-2 - -9 - 5). Is 2/(-4) + t*10/(-120) a multiple of 2?
True
Is 80 a factor of (3 - (-67)/(-23)) + (-1424577)/(-759)?
False
Suppose -2*s + 5*c = 8 + 1, 3*c = s + 6. Suppose -5*o + 3*k - 875 + 2427 = 0, s*o - 5*k - 928 = 0. Suppose -91 = -6*w + o. Is w a multiple of 12?
False
Suppose -15*t = -347 - 28. Let p = t + -23. Suppose 5*z - 2*j + 0*j = 225, 178 = 4*z - p*j. Is z a multiple of 6?
False
Suppose 666*y + 62566 = 3*q + 662*y, 2*q = y + 41719. Is 342 a factor of q?
True
Is 104/(-572) + (1188552/33)/4 a multiple of 20?
False
Let v(u) = -84*u**3 + 8*u**2 - 24*u - 84. Is v(-6) a multiple of 9?
False
Let o(b) = b**2 - 10*b - 25. Suppose -92 = -5*q - v, -4*v - 31 = 2*q - 3*q. Is 38 a factor of o(q)?
False
Is ((-142773)/(-9))/(1/24*8) a multiple of 72?
False
Let z = 74 - 70. Let c be (z/5)/((-12)/(-30)). Suppose 2*h - r = 167, -h + 6*h - c*r = 416. Is h a multiple of 8?
False
Let w(o) = 14*o**2 - 913*o - 55. Is 12 a factor of w(67)?
True
Let f be (-3305)/(-7) - (8 + (-440)/56). Let k = f - 241. Is 33 a factor of k?
True
Let j(h) = 7*h + 18. Let r(b) = 3*b + 9. Let i(p) = -4*j(p) + 9*r(p). Let o be i(8). Does 4 divide (-3 + o - -2)/(-1) + 13?
False
Suppose -10*u + 10 = -12*u. Is 5 a factor of u + (-7)/((-7)/120)?
True
Let c(s) = 145*s**2 + 164*s - 681. Is 45 a factor of c(4)?
True
Let b(v) = 2*v**2 + v + 176. Let n be (-1 + (-2)/1)/(6/108). Let g = -54 - n. Is 21 a factor of b(g)?
False
Suppose -4*o - 68 = -5*o. Let d = 85 + o. Does 6 divide d?
False
Suppose 152*j - 66*j = -132*j + 2267200. Is 16 a factor of j?
True
Suppose 14*t - 666 - 21104 = 7*t. Is 15 a factor of t?
False
Let i(w) = -w**3 - 3*w**2 + 33*w + 4. Suppose 5*s + 2*x = x - 54, -2*s - 3*x - 32 = 0. Is i(s) a multiple of 11?
True
Suppose 17 = 2*q + 9. Suppose -4*v = -2*a - 14, -q*a - a + 3*v = 21. Does 12 divide ((-4)/a)/((-3)/(-54))?
True
Let b be (-1)/((-1)/(-8))*(-9)/18. Let t be 130 - (3 - 1)/1. Suppose -12*y = -b*y - t. Does 4 divide y?
True
Let r(y) be the second derivative of -y**5/20 - y**4/6 + 5*y**3/6 - 5*y**2 + y. Suppose -a = 1, -2*h - 5 = -a + 4. Does 35 divide r(h)?
False
Suppose 3*t + 18 = -2*h + 6*t, -2*t = -4*h - 52. Is (3/(h/40))/((-6)/33) a multiple of 22?
True
Let l = 1980 + -3661. Let o = 2877 + l. Suppose o = -0*t + 4*t. Does 13 divide t?
True
Let t(p) = 27*p - 218. Does 15 divide t(38)?
False
Suppose 11*m - 63 = -19. Suppose 3*i = -m*j + 169, 7*j - 8*j = 3*i - 157. Is 3 a factor of i?
True
Let s(c) be the third derivative of c**5/10 - 13*c**4/24 - c**3/3 + 53*c**2. Is s(9) a multiple of 35?
False
Suppose -f + 91 = 97, -3*q + 2*f + 6 = 0. Suppose 0 = 3*x + 6, -5*k - 5*x - 3 = 12. Is q/k*(-714)/(-12) a multiple of 17?
True
Let u = 6142 - 1316. Suppose u = 5*x + a, 2*a = 2*x + 7*a - 1935. Is x a multiple of 49?
False
Suppose -932*c + 920*c - 286 = -16390. Is 122 a factor of c?
True
Suppose -3*v + 20 = -4*x, 3*v = 19*x - 23*x + 4. Suppose 5*n - 3978 = -v*n. Does 26 divide n?
True
Let j = 20 - -34. Let m = j - 54. Suppose 4*l - 109 - 75 = m. Is l a multiple of 6?
False
Let u = -247 - -386. Suppose -143 = 5*d - 2*p, -3*d - 2*d + p = u. Let j = d + 90. Does 21 divide j?
True
Suppose c - 2*c + 6 = 0. Suppose c = -3*x - 0. Is 3 a factor of (960/(-28) + 2/7)/x?
False
Let m(u) = u**2 - 3*u - 19 - 9*u + u**3 + 9*u. Let r(z) = z**2. Let q(t) = -m(t) - 2*r(t). Does 54 divide q(-6)?
False
Let r = 146 - 143. Let c be (-77 + r)/(6/9). Let z = 120 + c. Is z a multiple of 2?
False
Let p(z) = -100*z**2 - z - 2. Let u(f) = -50*f**2 - f - 1. Let y(j) = -3*p(j) + 5*u(j). Let b be y(1). Is (-276)/(-14) + ((-280)/b - -6) a multiple of 10?
True
Let v = -8635 + 13468. Is v a multiple of 9?
True
Let a(q) be the first derivative of -q**4/4 - 2*q**3 + 2*q**2 + 16*q + 839. Suppose -2*h - 31 = 5*j, -3*h + 0*j - 39 = 5*j. Does 8 divide a(h)?
True
Suppose 279*y = 267*y + 48. Suppose 24 = -5*g + 19, 2*m + y*g - 286 = 0. Does 19 divide m?
False
Suppose 2*a + 3*a - w + 130 = 0, 0 = 3*a + 5*w + 78. Let l = 347 - a. Is 39 a factor of l?
False
Suppose 0 = -5*u + 2*f - 11 + 8, -5*f = 4*u + 9. Does 52 divide 0/(2 - (u - -5)) + 312?
True
Suppose -6*j = 2354 + 5176. Let x = -842 - j. Is x a multiple of 41?
False
Suppose 27*f - 54*f + 28*f = 2908. Is 13 a factor of f?
False
Suppose -12*l + 13*l - 2*s - 2 = 0, -2*l - 1 = -5*s. Is 5 a factor of (l/(-8))/(2/4) - -69?
False
Suppose 152*a - 151*a + 4*o = 11636, 4*o = 8. Is a a multiple of 9?
True
Let a(d) = 144*d**2 + 44*d - 832. Is 101 a factor of a(10)?
False
Let c be -5*(10/(-100) + 2/(-4)). Let r be (9/6)/c*4. Suppose -8*v + 1878 = -r*v. Does 35 divide v?
False
Let s(r) = 1 - 2*r - 5 - 2 - 2. Let z be s(-15). Suppose 20*w - z*w + 42 = 0. Does 12 divide w?
False
Let m(r) = 17 - 32*r - 22 + 2. Let h(s) = 96*s + 8. Let q(w) = 5*h(w) + 16*m(w). Is 31 a factor of q(-8)?
True
Suppose 68 = 2*p + 72. Is (2 + -2)/p + (-5408)/(-16) a multiple of 27?
False
Suppose 0 = 12*b - b - 44. Let w be 12/((b + -3)*2). Let x = w + 2. Is x a multiple of 5?
False
Let i = 38 - 31. Suppose -3*t = 5*w + 2*t - 40, 4*w - t - i = 0. Suppose 2*r = -2*g + 152, w*g - 85 = 3*r + 143. Is g a multiple of 19?
True
Let u(r) = -r**2 + 8*r - 6. Let b be u(6). Suppose 0*j + b*j = -96. Is 19 a factor of ((-57)/(-4))/((-3)/j)?
True
Suppose 0 = -s - 2*u, 2*s - u = -2*s + 27. Suppose -s*a = -18 - 6. Does 6 divide (-30)/((-2 - 2)/a)?
True
Suppose -5*x = -5*k - 27030, -x - 4*k - 452 + 5888 = 0. Does 12 divide x?
True
Suppose 2*y = 2*w - 2, 0 = 3*w + 2*w - 5. Let r be 4/12*y/1. Let t = r - -18. Is t a multiple of 9?
True
Let j(u) = 4*u + 25. Let x be j(-5). Suppose -r = -2*a - 4, 0 = -3*r + r + x*a + 8. Suppo