rue
Let r = 574 + -570. Suppose r*o + 10200 = 24*o. Is 16 a factor of o?
False
Is ((-1)/(-1))/(78/72306) - -5 a multiple of 33?
False
Let q = -71 - -67. Let x be 114/q*900/(-27). Suppose -6*t = -t - x. Does 10 divide t?
True
Suppose -5*v - 32 = 2*f - 5, -2*v + 82 = -5*f. Let n(y) = 7*y**2 + 3*y + 89. Is 25 a factor of n(f)?
False
Suppose 5*d = 2*g - 2745, -3*g + 519*d = 522*d - 4065. Does 40 divide g?
True
Let m(w) = -w**3 + 1. Let d(q) = 2*q**3 + 12*q**2 - 8*q + 17. Let o(l) = d(l) + 3*m(l). Is 14 a factor of o(10)?
True
Let n(p) = 0*p**2 - 4*p**2 - 2*p**3 + 3*p**2 + 3*p**3 + p + 97. Let t be n(0). Suppose t = -u + 250. Does 29 divide u?
False
Let d(b) = 87*b**2 - 4*b + 3. Let h = 154 - 153. Is d(h) a multiple of 9?
False
Let m(n) = n**3 + n**2 - 4*n - 1. Let l be m(4). Let t(g) = -g**2 - 26*g + 366. Let p be t(-36). Suppose -l - 39 = -p*w. Is w a multiple of 15?
False
Let n = 28320 + -20147. Is 11 a factor of n?
True
Let x = -1018 + 565. Let n = 858 + x. Does 15 divide n?
True
Let h(a) = -15*a**3 - 5*a - 6. Let j be h(-2). Suppose j*v - 138*v = -9646. Is 17 a factor of v?
False
Suppose 0 = -4*g + 228 + 60. Suppose -7 = -22*u + 125. Suppose -g = -u*h + 5*h. Is h a multiple of 40?
False
Is 33 a factor of (115 + -1)*(895/(-537))/((-5)/36)?
False
Does 35 divide (4/(-14))/((-2)/14) - 307479/(-51)?
False
Let c(h) = 4*h**3 + 4*h + 24 - 14*h**2 + 12 - 32. Is 9 a factor of c(5)?
False
Suppose -2*s + 3*s = -t + 6, -4*t + 24 = 2*s. Suppose 0 = t*g - 11*g - 2100. Is (g/8)/(-7)*22/3 a multiple of 11?
True
Let l(a) = 35*a - 2526. Does 91 divide l(76)?
False
Is 12 a factor of (-311 - -308)/((-1)/1874)?
False
Let t be 80/((-45)/(-18)*2/10). Suppose t*l + 1500 = 165*l. Is 57 a factor of l?
False
Let p(a) = a**3 + 140*a**2 - 456*a - 480. Does 49 divide p(-143)?
True
Suppose 5*c = -k - 97, 4*k - 66 = 3*c + 2*k. Let l be 8/(-3 - 68/c). Is (l/4 + -3)*45 a multiple of 13?
False
Suppose -7*y - 8*y + 21449 = -26251. Is 53 a factor of y?
True
Let g(b) = -21*b - 24. Let v be g(6). Is (3704/20)/(-5*12/v) a multiple of 22?
False
Let w(r) be the third derivative of -r**4/24 - 11*r**3/6 + 13*r**2. Let c be w(-13). Suppose 0 = 3*t - c*t - 12. Is t a multiple of 3?
True
Let q(s) = 2*s**2 + s - 8. Let b be -2*(-2 + 2 + 135/(-6)). Let t = -35 + b. Is q(t) a multiple of 25?
False
Let b = -2279 + 1527. Let a = b + 1856. Is a a multiple of 16?
True
Does 15 divide 4*-838*176/(-64)?
False
Let p(i) = -116*i + 1665. Does 13 divide p(-31)?
False
Suppose -5*h + 33382 = 2*a, -4*a - 9148 = -4*h + 17580. Is h a multiple of 126?
True
Let u = 447 + -456. Let g be 1 + 26 + (0 - -2). Let x = g + u. Does 8 divide x?
False
Let o(i) = -37*i + 357. Does 23 divide o(-40)?
False
Let h = 27 + 9. Let m = 33 - h. Is 1*(-2 + (m - -4))*-20 a multiple of 10?
True
Suppose i - 722*p - 48622 = -726*p, 0 = -3*i + p + 145853. Does 73 divide i?
True
Suppose -42*f - 68*f = 18*f - 1028608. Is 49 a factor of f?
True
Let j be (-540)/(-140) - (-1)/7. Suppose -4*d = p - 2*d + 6, -3*p - j*d = 20. Let g(k) = -35*k - 48. Is 22 a factor of g(p)?
False
Suppose 0 = -4*i + b + 5809, -b = -0*i - 5*i + 7260. Is i a multiple of 11?
False
Suppose 14*g - 29582 = 82516. Does 59 divide g?
False
Let v(l) = l**3 + 7*l**2 + 8*l - 6. Let s be v(-4). Suppose -2*u = s - 12. Does 5 divide (3 + -5 + u)*1 + 19?
False
Let l(v) = -96*v + 13. Does 42 divide l(-3)?
False
Suppose 0 = 5*o + c - 1250, 0 = o - 4*o + 5*c + 722. Let k = 355 - o. Suppose -k = -2*p + 4*z, 4*p + 3*z - 239 = -p. Is p a multiple of 25?
False
Let f be 109/((-2 + -4)/(-6)). Suppose 2*y = 5*u - 4*u - f, 5*u - 4*y = 551. Is u a multiple of 23?
False
Let b(t) be the third derivative of 1/20*t**6 + 0*t - 21*t**2 + 4/3*t**3 - 1/12*t**4 + 0 + 0*t**5. Is 13 a factor of b(2)?
True
Suppose -24 = -3*a - 3*o, 2*a = a + 5*o - 4. Let u(k) = 1. Let i(v) = 7*v + 20. Let g(q) = i(q) - 2*u(q). Does 14 divide g(a)?
False
Suppose 2*f - 60126 = -5*l, -166 = f - 159. Does 97 divide l?
True
Let q be (-7)/2*(-16)/14. Suppose 4*y - q*o = 700, 3*y - 141 - 391 = -4*o. Suppose z + 2*c - 135 = 0, 3*c - y - 241 = -3*z. Is z a multiple of 21?
False
Is (77/14)/(20/1160) a multiple of 7?
False
Let a = -189 - -193. Let h(s) = 3*s - 2. Is 8 a factor of h(a)?
False
Let r = 242 + 3085. Suppose r - 10235 = -11*h. Is h a multiple of 28?
False
Let r = 30048 - 19399. Is 101 a factor of r?
False
Suppose -12*m + 80759 = -86357 - 3500. Does 41 divide m?
False
Let q be (57/9 - 5)/((-2)/117). Let b = -75 - q. Suppose -5*j + j - 4*l + 684 = 0, -3*l - 507 = -b*j. Is 41 a factor of j?
False
Does 10 divide -3*(-104988)/90 + (-51)/(-15) + -3?
True
Let c(a) = 17*a - 12. Suppose 0 = 3*x - 4*t - 27, x + 4*t + 10 - 3 = 0. Let r be c(x). Suppose 3*h + 59 = p - r, 2*p + 5*h = 286. Does 23 divide p?
True
Suppose 4*v = -p + 7*v - 3, -p = -2*v. Let a(k) = 30*k**2 - 9*k - 18. Does 48 divide a(p)?
True
Suppose 12 = 4*r, 0 = 13*q - 12*q + 5*r - 20821. Is q a multiple of 101?
True
Suppose -1714 = -a + 4*n, 46*a - 2*n + 1690 = 47*a. Does 2 divide a?
True
Suppose -4*q + 11*q - 49 = 0. Suppose q*a + 80 = 15*a. Suppose 16*m - a*m - 792 = 0. Is m a multiple of 22?
True
Let q(p) = -155*p + 20 + 10 + 8. Is q(-5) a multiple of 12?
False
Suppose 25*l - 9 = -4009. Let k = l + 333. Does 6 divide k?
False
Let k(d) = 3*d**3 + 17*d**2 - 84*d + 28. Is 271 a factor of k(12)?
False
Suppose 1 + 20 = -g. Let b(k) = k**3 + 22*k**2 + 14*k - 29. Does 35 divide b(g)?
False
Let j(u) = -u**3 + 5*u**2 + 6*u - 6. Let y be j(5). Suppose y*t - 184 = 20*t. Suppose 3*f - 8*f + 5*s = -80, 4*s + t = 3*f. Is f a multiple of 3?
True
Suppose 10*p + 4 = -3*j + 8*p, -3*p = -5*j - 13. Let x(w) = 18*w**2 - 18*w - 40. Is x(j) a multiple of 4?
True
Suppose -444 = h - 5*o, 5*o = -4*h + 7*h + 1282. Is (1 - 0) + (-42 - h) a multiple of 14?
True
Suppose 12*g - 787 = 125. Let t(s) = 52 - g + 50 - 2*s. Does 3 divide t(-3)?
False
Suppose -21*q + 252767 = 85985. Does 19 divide q?
True
Suppose 5*i + 5*h = 1775, -3*i + h = -3*h - 1037. Let z = -134 + i. Is 8 a factor of z?
False
Let l = 235 - 85. Let a = l + 40. Does 9 divide a?
False
Let a(q) = -8*q - 261. Let r be a(-35). Suppose -7*o + r*o - 9228 = 0. Is o a multiple of 52?
False
Let y(b) = 2*b**3 - 26*b**2 - 11*b - 1. Let f be y(13). Let i = f - -353. Does 15 divide i?
False
Let y = 23638 - 15294. Is y a multiple of 56?
True
Suppose -21*y - 245 = -16*y. Let p = y - -54. Suppose 8*l = 3*l + p*z + 985, l = -5*z + 221. Does 35 divide l?
False
Let s(v) = 2*v**2 - 3*v + 3. Let u be s(0). Suppose -4*c + 51 = g, u*g - 170 = c + 4*c. Does 11 divide g?
True
Let y be 5 + -3 + -2 + (-1)/1. Let n be 109 - (3 + (-3 - y)). Does 5 divide (-3 + 1)*n/(-4)?
False
Let b(j) = j**2 + 67*j + 2170. Is 14 a factor of b(-28)?
True
Suppose s = 3*x - 7, -3*x + 5*s + 1 = 2. Suppose x*n - 1558 = -76. Does 13 divide n?
True
Suppose 4*t - 2*y - 692 = 0, t = 2*y + 2*y + 173. Let p = t + 47. Is p a multiple of 55?
True
Is ((-2 - 0) + 1534)/((-64)/(-512)) a multiple of 11?
False
Let c(y) = 388*y**2 - 5*y - 7. Let v be c(-2). Suppose -h = 4*p - 501, -3*h - 6*p = -7*p - v. Is 35 a factor of h?
False
Is 67 a factor of 3176 - 2/(-4)*(-2 - 10)?
False
Let t = 167 + 90. Let o = t - -28. Does 10 divide o?
False
Let a(c) = 217*c**2 - 18*c + 3. Does 20 divide a(-2)?
False
Let a(c) = -c**3 + 13*c**2 + 6*c + 6. Let d be a(13). Suppose -6*z = -13*z + d. Let g(l) = 2*l**2 - 12*l + 26. Is 19 a factor of g(z)?
False
Let h(r) = 2*r**3 + 6*r**2 - 1. Let b be h(-2). Suppose -a + 78 = 3*t - 212, -3*a + 294 = 3*t. Suppose -b*p = -3*p - t. Does 24 divide p?
True
Let l = 98175 - 62390. Is l a multiple of 10?
False
Let x = -2943 - -9555. Is x a multiple of 71?
False
Let m(j) = -j**2 - 45*j + 1455. Does 3 divide m(-66)?
True
Let d(s) = -s**2 - 3*s + 5. Let f be d(-5). Let t(j) = -5*j**2 + 33 - 29 + 2*j**2 + 2*j**2 - 13*j. Is t(f) a multiple of 17?
False
Let p(r) = 2*r**3 - 38*r**2 - 4*r + 46. Let a be p(19). Is (584/(-12))/(4/a) a multiple of 5?
True
Let o = 1222 + -459. Let t be o/5 + 24/60. Let u = 230 - t. Is 26 a factor of u?
False
Suppose 107*z = 76*z + 187271. Does 36 divide z?
False
Let c(f) = -f**2 - 9*f - 9. Suppose 8*q + 12 = -44. Let p be c(q). Suppose 0 = -p*r - 5*y + 175, -175 = -2*r - 3*r + 5*y. Is r a multiple of 7?
True
Let w = -1089 + 1035. Let o = -45 - -31. Let b