alse
Let t(j) = -j**3 + j**2 - 8626*j - j**2 + 114 + 8629*j. Is t(0) a multiple of 38?
True
Let g be (1/1)/((-930)/(-185) - 5). Suppose -g = -8*d - 5. Suppose 2*s = -d*s + 150. Is 25 a factor of s?
True
Let g = -4373 - -11157. Is g a multiple of 53?
True
Let h = -123 + 141. Let n(a) = 85*a + 137*a - h*a + 4. Is n(1) a multiple of 29?
False
Let a = -18802 + -14183. Is a/(-210) - (-1)/(-14) a multiple of 10?
False
Let i(q) = -q**3 + 22*q**2 - 19*q - 37. Let h be i(21). Suppose -4*x + 350 = -b, -6 + 192 = 2*x + h*b. Does 44 divide x?
True
Let l(s) = -3*s + 4. Suppose -y = -2*y + 4. Suppose -w = k + 8, 2*k = -2*w + y*k - 12. Is 8 a factor of l(w)?
False
Let f = -3762 - -2121. Let a = -1083 - f. Does 38 divide a?
False
Let m = -361 - 37. Let g = m + 845. Is g a multiple of 72?
False
Let d = -7241 - -13074. Is d a multiple of 99?
False
Suppose -2 = 5*m + 4*i + 18, i + 5 = 5*m. Suppose 2*y - 4 = m, 27*g - 148 = 24*g + 4*y. Is g a multiple of 13?
True
Let o(u) = -135*u + 51. Let f be o(-3). Suppose -v + f = -3*i, -v + i - 261 = -717. Does 19 divide v?
True
Suppose 5*d + 17 = 2*x - 9, 3*x + 7 = -4*d. Suppose 4*o - 20*p - 129 = -19*p, -5*p = x*o - 114. Is 6 a factor of o?
False
Suppose -39*j + 35*j = -152. Does 60 divide j/(-190) + (-601)/(-5) + 0?
True
Let r(a) = 439*a**2 - 81*a + 282. Is r(6) a multiple of 26?
True
Let i = -51 - -81. Suppose 2*o - i = -4*m - 0*m, -m = -o - 9. Suppose 38 + 42 = m*y. Is 2 a factor of y?
True
Is 157 a factor of (27 - 80/10) + 1551?
True
Let g be (-8 - -4)/(6/(-1929)). Let y = g + -854. Is 27 a factor of y?
True
Suppose 13*w - 10*w = 30. Let m be (-90)/18*2/w. Is 10 a factor of 135 + -8 + m + 5?
False
Let l be (-4)/(-26) - (-532)/(-247). Let q be (l + 1 - -3)*(-9)/(-6). Is 3*2/(-9)*(q + -177) a multiple of 23?
False
Suppose 276*d = 268*d - 32. Let c = 6 - 1. Is d/5 - (-404)/c a multiple of 16?
True
Let f(c) = -6*c + 359. Let r be 2/(-5) - (-2)/5. Does 21 divide f(r)?
False
Suppose -178*r = -46*r - 41771 - 267109. Does 11 divide r?
False
Suppose 36*m - 19619 = 474877. Is m a multiple of 11?
False
Let o be ((-5598)/(-12))/(1 + (-3)/4). Suppose -6*a + a = 2*u - 753, -5*u = -4*a - o. Is u a multiple of 24?
False
Let y be 9/9 + 3/1. Suppose -y*a = 614 - 2530. Does 10 divide a?
False
Does 15 divide (-2 + (-20)/(-25))/((-3)/3030)?
False
Let i(r) be the first derivative of r**4/4 + 14*r**3/3 + 15*r**2/2 - 5*r - 56. Does 5 divide i(-12)?
False
Suppose -5*k - 20 = -0*k. Let f be (-2 - k - -1) + -60. Let c = f + 213. Does 16 divide c?
False
Suppose 0 = z + 3*o - 2 - 1, -3*z - o = -9. Let q be (z*(-2)/6)/(1/25). Is 168/5 - (160/q + 6) a multiple of 34?
True
Suppose 0 = -0*g + 2*g - 3*v - 11, 5*v - 5 = g. Does 32 divide g/35 - 2014/(-7)?
True
Let b(z) = 29*z - 35. Suppose 0 = 26*n - 23*n - 48. Is 61 a factor of b(n)?
False
Suppose -5*u + 10 = 0, -5*i - 4*u - 766 = -8714. Is 3 a factor of i?
False
Is -77548*(12 + 343/(-28)) a multiple of 9?
False
Suppose 17*u - 74 = -210. Is 22 a factor of ((-9724)/u)/13*4?
True
Suppose -8*n - 10 = -11*n - 2*y, 5*n - 6 = 2*y. Suppose 6 = 3*b - 4*k - 8, -12 = -3*b + 3*k. Suppose 5*l = -0*f - f + 73, -n*f = b*l - 26. Is 7 a factor of l?
False
Suppose -5*l = -4*u + 15135, -3765 = -u + 140*l - 145*l. Does 105 divide u?
True
Suppose 6826 = 4*w + 4*o - 2694, -10*w = 2*o - 23752. Does 2 divide w?
True
Does 26 divide (-810)/(-675)*(-6615)/(-2)?
False
Suppose 3*b = 3*g + 4*b - 10, -g - 2*b - 5 = 0. Suppose -1450 = -g*d + 1020. Is d a multiple of 25?
False
Let u(y) be the second derivative of -y**3/6 + 45*y**2/2 - 2*y - 18. Does 6 divide u(10)?
False
Let w be 1 - (72/63 - (-1)/(-7)). Let r be -1*w/2 + 9. Let j(s) = 10*s - 61. Is j(r) a multiple of 7?
False
Suppose 2*a - 80 + 295 = 3*o, -3*a = -4*o + 286. Let y = 143 - o. Is (-6)/(-21) + 4950/y a multiple of 11?
False
Suppose -c - 23176 = -y, -6*y - 3*c + 15759 = -123369. Is 207 a factor of y?
True
Suppose 89 + 33 = 61*y. Suppose 3*t + y*t = 20, -2*c - t = -1074. Is c a multiple of 4?
False
Let y = 3386 - 2918. Is y a multiple of 3?
True
Let q = 29175 - 20754. Is q a multiple of 87?
False
Let k be (-2)/(-24)*-3 + 458/8. Let f = k + 119. Is 8 a factor of f?
True
Let l(u) = -10*u**2 - 21*u - 510. Let k(p) = 3*p**2 + 8*p + 170. Let c(j) = 7*k(j) + 2*l(j). Does 5 divide c(-19)?
True
Does 45 divide (-1720437)/(-24) - (-28 + 6690/240)?
True
Let t = 4671 + 2625. Is 228 a factor of t?
True
Let x = -1242 + 1395. Is x a multiple of 19?
False
Suppose 5 = 5*g - 5*z, 7*g - 2*z - 11 = 2*g. Suppose -114 + 33 = -g*l. Let s = 86 - l. Is 4 a factor of s?
False
Does 23 divide (-7)/(357/(-353538)) - 14/119?
False
Let h(x) = -47*x**2 + 2 - 40*x + 22*x - 34*x + 19*x**2 - x**3. Let o be h(-26). Suppose 0 = 3*f + t - 972, -o*f = -t - 3*t - 648. Does 41 divide f?
False
Let n(a) = -83*a + 1498. Is 3 a factor of n(5)?
True
Is 16 a factor of 12*1*(5112/27 + 0 - -8)?
True
Let y = 30 + -28. Let v(q) = 83*q**2 + 5*q - 3. Let s be v(y). Suppose 233 = 4*c - s. Is 24 a factor of c?
False
Let f(u) = 3*u**2 - 10*u + 133. Let m(x) = -2*x**2 - 9*x + 68. Let g be m(-9). Is 9 a factor of f(g)?
False
Let p be 1/3 + (-42368)/(-12). Suppose 248 - p = -7*h. Suppose 3*r - 806 = l, 0 = 5*r - l - 873 - h. Does 19 divide r?
False
Let r(j) = -2*j**3 + 11*j**2 + 15*j - 25. Let w be r(10). Let a(b) = 183*b - 8. Let t be a(6). Let z = t + w. Is z a multiple of 21?
True
Suppose h + 5 = 3*m - 2, 5 = -5*h + 5*m. Suppose 153 = -p - h*p. Is 10 a factor of -3 + (-3)/3 - p?
False
Suppose 9*u - g = 7*u + 2, -2*u - 5*g = -2. Let v be (-4 - -732) + (-2 - u). Suppose 0 = -7*t + 2*t + v. Is 33 a factor of t?
False
Does 8 divide (40512/(-56))/((-5)/30 + 10/105)?
True
Let i(y) = 15*y**2 - y - 3. Let t be i(2). Let f = t + 295. Suppose f = 3*g + 44. Is 17 a factor of g?
True
Suppose -g = 3*g + n - 9, -5*g + 15 = 5*n. Let l(z) = -z**2 - g*z**2 + 7*z + 12 + 4*z**2 + z**2. Is 5 a factor of l(-5)?
False
Does 21 divide (-2000)/20*(-444)/12?
False
Let n(u) = 13*u**2 - 4*u + 3. Let r(d) = 42*d**3 + 13*d + 41*d**3 - 84*d**3 + 4*d**2 - 3. Let w be r(6). Is n(w) a multiple of 18?
True
Let t be (-7 - -5)*18/(-9). Suppose 456 = t*u - 544. Does 25 divide u?
True
Suppose -47980 + 10890 = -10*q. Is q a multiple of 105?
False
Let g(r) be the third derivative of -r**6/120 + 11*r**5/60 + 37*r**4/24 + 47*r**3/6 + 172*r**2. Is 20 a factor of g(13)?
False
Suppose 276 = 11*z + 222 - 7426. Is z a multiple of 10?
True
Suppose 6*a + 72 = 8*a. Is 14 a factor of 189/a*328/3?
True
Suppose -16*d + 10*d - 3162 = 0. Let c = -250 - d. Is 12 a factor of c?
False
Suppose -20 - 17 = -5*g + k, -5*g = 2*k - 31. Let b be 35200/72 + 5/(-270)*-6. Suppose -g*w = -b - 141. Is w a multiple of 15?
True
Suppose 2649*o - 5*i = 2646*o + 49455, -66036 = -4*o - 4*i. Is o a multiple of 165?
True
Suppose -11 = 3*c + 3*l - 5, 4*l + 3 = c. Let f(u) = -290*u**3 - 3*u**2 - 8*u - 6. Is f(c) a multiple of 8?
False
Let f = 630 + 841. Suppose 2*c - 2 = 0, -2*v + 120 = 5*c - f. Does 61 divide v?
True
Let n be 4691/2*(-4 - -6). Suppose -n = -8*i + 781. Is i a multiple of 57?
True
Let s(n) be the first derivative of n**2/2 + 23. Let g be s(5). Suppose -56 = -2*f - o, -2*f + 84 = f - g*o. Is f a multiple of 14?
True
Suppose a - 2*v = -16, a + 8 + 24 = -2*v. Is 6 a factor of (-19 - (-3)/3)*152/a?
True
Let n(o) = 19*o + 134. Let q be n(-7). Is -2348*(-7)/28 - (-1 - q) a multiple of 31?
True
Is 6 a factor of 3 - ((-6)/7 + (-4131754)/763)?
False
Suppose -3*y + 5*j = -68, 3*y = -j - 0*j + 98. Suppose -y - 53 = 3*f. Let a = 51 + f. Does 10 divide a?
False
Let i = 5602 + -3782. Suppose 242*z = 247*z - i. Suppose 5*r + 565 = 5*l, -3*l + 2*r = 4*r - z. Is l a multiple of 16?
False
Let y(z) = 2*z**2 - z + 4. Let a be y(2). Let p be a*(102/(-24) + 9/12). Let u = p + 71. Is 11 a factor of u?
False
Let l be -8 + -5 - (2 + -5) - -2. Let w(c) = -c**3 - 9*c**2 - 6*c + 13. Let m be w(l). Is 15 a factor of m/(-9) - (-492)/9?
False
Suppose -6934 = 5*u + 3*c, 4164 = -3*u + 8*c - 11*c. Let k = -769 - u. Is k a multiple of 56?
True
Suppose 4*z + 444 = -4*p, 0 = -4*z - 3*p - 408 - 35. Let i = 16 - z. Is i a multiple of 21?
True
Let v(f) = 8*f**2 - 181*f - 567. Is 325 a factor of v(-75)?
False
Suppose 14*c - 10*c - 114 = 5*x, 0 = 4*c - 3*x - 118. Suppose -c*p + 2002 = -5376. Does 5 divide p?
False
Suppose -7*