Is 104 a factor of y?
True
Let r(d) = -d**3 + 6*d**2 + 18*d - 18. Suppose -11*v + v + 80 = 0. Let f be r(v). Is 6 a factor of (-4)/(12/(-165)) + f?
False
Let t(w) = w**3 + 45*w**2 - 538*w + 112. Is 16 a factor of t(-48)?
True
Suppose 2*u + 4*l - 9491 = 2259, 0 = 2*u + 2*l - 11746. Is 13 a factor of u?
False
Let d(t) = -t**3 + 3*t**2 + 18*t + 10. Let v(c) = -c**3 + 2*c**2 + 9*c + 6. Let m(h) = -3*d(h) + 7*v(h). Is 13 a factor of m(-4)?
True
Let r(u) = 5*u**3 + 39*u**2 - 3*u + 1. Let k be r(-8). Is (3189/9)/(k/(-117)) a multiple of 20?
False
Suppose -3476*c = -3502*c + 115362. Is 84 a factor of c?
False
Suppose 19470 = -30*k + 3810. Let z = -158 - k. Is z a multiple of 14?
True
Let i be (-6220984)/(-560) - (-2)/20. Suppose 11*j - 3345 = i. Does 73 divide j?
True
Let m(w) = -w**3 - 19*w**2 + 65*w + 10. Is 12 a factor of m(-24)?
False
Suppose -72*b - 60310 = -76*b - g, -2*b + g = -30164. Does 28 divide b?
False
Let d = 10 + -9. Let t be ((-208)/130)/(d/5). Let h = 43 - t. Is 17 a factor of h?
True
Let k = -181 + 271. Suppose 0 = h, t - 2*h - k = -12. Let q = t + -68. Does 8 divide q?
False
Suppose 0 = 5*u - 5*w + 53371 - 218361, -3*w + 99024 = 3*u. Is 11 a factor of u?
False
Suppose -7*o - 7*o + 33*o - 136458 = 0. Is o a multiple of 42?
True
Let o(z) = z**3 + 26*z**2 + 57*z - 53. Let x be o(-24). Let q = 331 + x. Is 31 a factor of q?
True
Suppose -16*v = -10*v - 108. Suppose 0 = 3*n - 15 - 9. Is 4 a factor of n/12*1*v?
True
Let n(y) = y**2 + y - 2. Let d be n(2). Suppose 52 = d*u - 4*r, -u - 5*r - 17 = -2*u. Suppose -u*j + 9*j = -243. Does 24 divide j?
False
Let l = -458 - -514. Suppose 57*h - 946 = l*h. Is 43 a factor of h?
True
Suppose 3 = -2*l + 2*x - 19, 3*l + 3*x = -15. Let r be (3 + l/4)/(1/2). Is 12 a factor of ((-5)/r)/((-2)/144)?
True
Let j(b) = -942*b + 2674. Is 20 a factor of j(-33)?
True
Suppose 4*r - 1633 = 30*d - 29*d, 2039 = 5*r + d. Does 4 divide r?
True
Suppose -22 = -9*m + 14. Suppose 75 = c - 2*n + 16, -c + 53 = -m*n. Let v = c - 14. Is 3 a factor of v?
True
Let p(x) be the third derivative of x**5/12 - x**4/12 + 5*x**3/6 + 25*x**2. Is 2 a factor of p(2)?
False
Suppose 1087 - 7011 = -302*u - 488. Let k be -4*(2 + -1)*-64. Suppose -22*s = -u*s - k. Is 16 a factor of s?
True
Let s be ((-179640)/(-70))/6 + 4/14. Let w = s + -188. Is w a multiple of 16?
True
Let q(r) = -3178*r - 19162. Is q(-10) a multiple of 6?
True
Let f = -115 + 99. Is 849/4 + 2/(8 + f) a multiple of 19?
False
Suppose -14*d - 658 = -28*d. Let k = 12 + d. Does 59 divide k?
True
Suppose 3*a + 20 = 5*i, -2*i + 4*a = -5 - 3. Suppose 0 = 5*w - 4*w - 4, -o = -w - 1. Suppose t + 86 = i*f - t, -110 = -o*f + 3*t. Is f a multiple of 8?
False
Let c = -2588 + 2889. Is 18 a factor of c?
False
Suppose -5*u = i - 6211, 0 = 2130*i - 2125*i - 5. Is u a multiple of 27?
True
Let d(y) be the third derivative of -y**4/8 + 25*y**3/6 - 95*y**2. Does 19 divide d(-9)?
False
Is (-28058)/(-46) + (-435)/(-10005) a multiple of 305?
True
Let a(t) = -t**3 + 8*t**2 - 9*t - 3. Let k be a(5). Suppose 5*h + k = 6*h - 5*o, 5*h - 265 = -o. Is 3 a factor of h?
False
Let o(g) = -2*g + 18. Let i be o(9). Suppose i = 5*q - 672 - 2358. Does 16 divide 12/36*q/2?
False
Suppose -8352 = -38*r + 540. Does 50 divide r?
False
Let u(r) = 7*r**2 + 8*r + 14. Let o be u(-2). Let g(c) = -2*c + 98. Does 3 divide g(o)?
False
Is 270 a factor of (-5926)/(-3) + 0 + 150/90?
False
Suppose 3*o + 0*o = 0, -c - 636 = o - 5749. Is 29 a factor of c?
False
Let g be (-368)/26 - (-6 - 228/(-39)). Let b be (-2)/(-1) - (-7 - g). Let j(r) = 7*r**2 + 7*r - 4. Does 9 divide j(b)?
False
Let a(s) = s**3 - 7*s**2 - 8*s - 33. Let x be (-20)/(-2) + (-6 - (-8 + 3)). Is 2 a factor of a(x)?
False
Let a = 1862 + -1104. Suppose -a = -2*x - 5*z, 2*x - 7*x + 4*z + 1862 = 0. Is 40 a factor of x?
False
Suppose -38197 = -62*r + 427733. Does 8 divide r?
False
Let l = 517 - 300. Suppose l*g = 222*g - 1120. Is g a multiple of 3?
False
Let h = 25531 + 23754. Does 46 divide h?
False
Let w = -37 - -31. Is 24 a factor of -2 + (-495)/w + 4/8?
False
Suppose 117 = 3*y + 3*n, 5*y + n = 161 + 22. Let c = y + -33. Suppose -194 = -4*m - 2*x, m + c*m + 5*x = 203. Is 13 a factor of m?
False
Let d be (-3956)/(-16) - -3 - (-1)/(-4). Let a = d + 200. Is a a multiple of 45?
True
Let s(a) be the first derivative of a**4/4 - 25*a**3/3 + 7*a**2 - 72*a + 18. Is s(25) a multiple of 13?
False
Let y(s) = -3*s**3 + s**2 - 19*s + 1. Let j(f) = 3*f**3 + 20*f. Let p(o) = -2*j(o) - 3*y(o). Is p(5) a multiple of 7?
False
Let c = 48 - 18. Let p = -628 - -635. Does 12 divide p/(9/c*8/12)?
False
Suppose 541*i = -559*i + 1082*i + 404226. Is 251 a factor of i?
False
Suppose -5*q = 3*u + 87, 0*q - 84 = 4*u - 4*q. Let w = 28 + u. Suppose -w*v = 4*v - 1240. Does 19 divide v?
False
Suppose 5*s = 4*s + 39. Suppose 0 = b - 164 + 161. Suppose b*d + i - 106 = -0*i, -d = 4*i - s. Is d a multiple of 7?
True
Let t(q) = 3*q**3 + 206*q**2 + 30*q + 1044. Does 47 divide t(-67)?
True
Suppose -11*k - 663243 = -32*k. Is k a multiple of 102?
False
Let w = 45686 + -33686. Is w a multiple of 160?
True
Let i = -17 - -11. Let a(w) = 13*w**2 + 14*w + 15. Let t(r) = 24*r**2 + 27*r + 31. Let v(f) = -11*a(f) + 6*t(f). Is v(i) a multiple of 2?
False
Let r = 184 + -166. Does 11 divide (1 + 19)*171/r?
False
Suppose -67*i + 84987 + 612885 = 0. Is 31 a factor of i?
True
Let j(i) = -i**2 - 13*i + 8. Let t(h) = 6*h + 15. Let p be t(-4). Let f be j(p). Suppose -4*r - f = -4*c + 36, 3*c = r + 52. Does 2 divide c?
True
Let z = 6098 - -3518. Is z a multiple of 182?
False
Let c be (-10)/(-6) - 6*14/(-252). Suppose -c = -y, 1299 = h - 4*y + 215. Does 21 divide h?
True
Suppose -4*s = 2*a - 28, 4*a - 13 = -s + 2*a. Suppose -s*u + 1160 = 85. Suppose -u = -2*q + 63. Is 49 a factor of q?
False
Let g be 3/15*5 + (-8)/(-2). Suppose 0*j + 165 = -g*j. Does 8 divide ((-154)/j)/((-2)/(-30))?
False
Suppose -17*y + 7830 = 18*y - 33*y. Does 27 divide y?
True
Suppose 4*c + 3*b - 28 = 0, -b - 32 = -3*c - 6*b. Suppose -u = -4*y + 479, u = -3*u + c. Does 40 divide y?
True
Suppose 4*l - 62161 = -i, -2*l - i = -7612 - 23469. Does 15 divide l?
True
Let j be (-11)/(297/(-18)) + 13/3. Suppose -47 + 11 = -4*q - j*o, -4*o + 4 = -3*q. Suppose 5*p - 2*m - 1434 = 0, 8*p - q*p = 2*m + 1146. Is 24 a factor of p?
True
Suppose -3*n + 4*l = -1365 - 13981, 2*l = -8. Is 35 a factor of n?
True
Suppose -146*b - 2626785 = -415*b. Is b a multiple of 31?
True
Suppose 4 = -1035*m + 1037*m. Suppose -4*h - 2*u + 842 = -200, -h + 248 = -m*u. Does 6 divide h?
True
Suppose -102*j + 64790 = -83*j. Is 85 a factor of j?
False
Let u(f) = -3*f**2 + 129*f - 341. Is 4 a factor of u(27)?
False
Let y(l) = -l. Let h be y(-7). Let g be 2121/11 - (-2)/11. Suppose -87 - g = -h*n. Is 10 a factor of n?
True
Let x = -4142 - -6463. Is 11 a factor of x?
True
Let t = 33 + -29. Suppose p + 0*p = 2*w + 46, 0 = -t*p + 5*w + 190. Does 25 divide p?
True
Let j = -10 - 30. Let r = j - -44. Suppose 3*m - 3 = 0, 0 = r*v + 5*m - 132 - 25. Is 14 a factor of v?
False
Let b(t) = -160*t - 14. Let f(a) = -13*a - 5. Let z be f(0). Is b(z) a multiple of 50?
False
Let z(d) = -9*d + 39 + 21*d - 30*d - 25*d. Is 68 a factor of z(-7)?
True
Let l(o) = -o**2 - o + 3. Let b be l(0). Suppose -x = -i + 10, -5 = -b*x + 7. Suppose u = -1, i = h - u - 8. Is h a multiple of 17?
False
Let z = -5 + 14. Let v = 21 - 7. Suppose v*h - 405 = z*h. Is h a multiple of 27?
True
Suppose 5*f + 3*l = 3, -4*f - 4 = -l - 3*l. Suppose f*m + 3*a = 3*m - 15, 6 = m - 2*a. Suppose -10*j + m*j = -90. Is 3 a factor of j?
True
Let y(b) = b**3 - 55*b**2 + 313*b - 54. Does 16 divide y(49)?
False
Let t(f) = -f**2 - 22*f + 53. Let c be t(-24). Is 10 a factor of c/((-135)/9)*-447?
False
Suppose 0 = 2*f - 2, q + 0*q - 3*f = 13. Let m(v) = -31*v + 200. Let y be m(4). Suppose j - y = -q. Does 30 divide j?
True
Let k = -246 + -204. Let f = k - -509. Does 3 divide f?
False
Let d = 48 - 167. Does 5 divide (-1534)/(-34) + 14/d?
True
Let s(i) be the first derivative of -16*i**2 + 4*i + 47. Let v be (-20)/(-4)*(0 + (-8)/10). Is 22 a factor of s(v)?
True
Let v(c) = -c**3 + 9*c**2 - 2*c - 14. Let s be v(4). Suppose -54*k - 1416 = -s*k. Is 31 a factor of k?
False
Let r = -75 + 78. Let m be 18/24*r/((-27)/(-24)). Is 7 a factor of (-27 + -94)/(m/(-2))?
Fals