 354*l + 2868. Is 27 a factor of s(7)?
True
Let r = 933 + -176. Let n = -277 + r. Is 60 a factor of n?
True
Suppose -5*t = -t - 2*j - 2210, 3*j = 4*t - 2207. Suppose -2*f + 374 = -5*p, 0 = 3*f - 2*p - 2*p - t. Is 12 a factor of f?
False
Let l(j) = 79*j - 305. Let n be (-6)/12 - (-212)/8. Is 53 a factor of l(n)?
True
Suppose 2*o + 0*o - 5*v - 18820 = 0, 0 = 2*v + 8. Does 111 divide o?
False
Suppose -i - 1268*b + 1270*b = -42878, -171517 = -4*i + 3*b. Is 20 a factor of i?
True
Let h = -2 - -5. Suppose -6*w = -h*w + 2*t - 454, -786 = -5*w + 4*t. Is w a multiple of 10?
False
Suppose 162*s + 165570 = 5*r + 166*s, -5*s = 3*r - 99329. Is 57 a factor of r?
False
Let l = -152 + 4154. Is l a multiple of 150?
False
Let w be (1 + 4/2)/((-30)/(-50)). Suppose 5*o = 2*m + 20, -2*m = -m - w*o + 20. Suppose m = 23*t - 24*t + 7. Is 7 a factor of t?
True
Suppose -22 = -g - g. Suppose g*n - 5*n - 18 = 0. Suppose 160 = 3*w - 4*b, 2*b + 170 = n*w + 3*b. Is w a multiple of 4?
True
Let l be (10/(-3))/((-2)/6). Suppose -7*b = -5*b - l. Suppose -b*a + 160 + 34 = 2*n, -n = a - 37. Is 9 a factor of a?
False
Suppose 2*c - 21 = -61. Let h be (256/c)/(2/(-10)). Let t = h + -52. Is t a multiple of 4?
True
Let r be 0*(5 + 11/(-2)). Suppose r = g - 5*g + 404. Is g even?
False
Let a = -962 + 372. Let d = a - -804. Is d a multiple of 26?
False
Suppose -4*m = 5*m. Suppose q + c - 436 = m, -5*c = -2*q + 5*q - 1298. Let w = -257 + q. Is w a multiple of 24?
False
Let z(t) = -t**3 - 12*t**2 - 9*t + 25. Let s be z(-11). Suppose -3*k + s*h + 66 = 0, 4*h = k - h - 42. Suppose k*m = 2*m + 420. Does 10 divide m?
False
Let d = 1071 + 3118. Is d a multiple of 59?
True
Suppose -13*z + 24*z = -5665. Let h = -398 - z. Does 13 divide h?
True
Let a(m) = m + 10. Let c = 44 + -50. Let n be a(c). Let b(k) = 13*k + 2. Is 27 a factor of b(n)?
True
Suppose 2*u + 4*m - 7034 = 0, 3*u - 10535 = -10*m + 6*m. Does 9 divide u?
True
Let y be ((-3)/(-7 + 4))/(3/21). Suppose -j = y*p - 3*p - 6236, 4*j = 5*p - 7816. Is 38 a factor of (-14)/(-2)*p/70?
False
Suppose p - 44362 = -4*u, -3*u + 22761 + 10505 = -2*p. Does 10 divide u?
True
Let v(p) = -27*p**2 - 23*p - 34. Let x be v(-4). Let c = -332 - x. Does 21 divide c?
True
Suppose 2*g - 4*i - 24 = 0, 0*i - 4*i - 16 = 2*g. Suppose -g*j + 180 = -4*a, -122 = -3*j + 3*a + 160. Is 3 a factor of j?
False
Let y(q) = 2*q + 2466. Is 3 a factor of y(76)?
False
Suppose 20*p - 4 - 56 = 0. Suppose 5*c = -p*j + 102 + 1190, 0 = -4*c + 3*j + 1012. Is c a multiple of 6?
False
Let j = 28772 - 17623. Does 3 divide j?
False
Let s = 594 + -597. Is 120/16*((-332)/s - -2) a multiple of 25?
False
Does 14 divide 2/(-14) + 29/(1015/(-30)) - -26866?
False
Suppose s - 8 = -3*y + 9, 0 = -y - 5*s + 1. Suppose i - 114 = u, -7*i - 4*u + 99 = -y*i. Does 37 divide i?
True
Let q = 74 + -71. Suppose i + q*i - 1688 = 0. Is i a multiple of 15?
False
Let p = 1778 - -400. Does 9 divide p?
True
Let s = 13545 - 2768. Is s a multiple of 55?
False
Let c = -41 + 47. Suppose -b + c = -0*b. Let a(x) = -x**2 + 11*x - 3. Is 10 a factor of a(b)?
False
Is 26 a factor of (-5929)/(-6) - ((-93)/(-126) - (-56)/(-98))?
True
Suppose 0 = 31*d + 111790 - 400369. Does 47 divide d?
False
Suppose -12*i - 400 - 1592 = 0. Let w = i + 304. Is w a multiple of 9?
False
Let a(m) = -m**3 - 2*m**2 + 107*m + 28587. Is 20 a factor of a(0)?
False
Suppose 2*n - 50423 = -3*o, -9*o - 6*n = -8*o - 16797. Is 20 a factor of o?
False
Let m(y) be the first derivative of y**3/3 - 2*y**2 - 17*y - 15. Let a be m(7). Suppose 282 = 4*v - 2*b, 135 = 2*v + b + a*b. Is v a multiple of 14?
True
Let m be 231/((11 - 6)/5). Suppose -252 = 3*x - x. Let q = x + m. Is q a multiple of 21?
True
Suppose -100 = 4*v - 5*d, -v - 3*d = v + 72. Let b be (-3 - v/9)*6. Suppose 4*j - u - 615 = 0, b*j + 3*j = -2*u + 772. Is j a multiple of 13?
False
Let d = 8659 + -3510. Is 9 a factor of d?
False
Is (-11)/(-44)*78868 + (-8)/(8/(-3)) a multiple of 17?
True
Let o(d) = -2*d**2 + 2*d + 6. Let m be o(-5). Let z be 484/(-18) + (1 - (-60)/m). Let s = 126 + z. Is s a multiple of 7?
False
Let l(m) = -9053*m - 3277. Is 11 a factor of l(-2)?
False
Suppose 0 = 12*k - 13*k + 101. Let o = k + -47. Is o a multiple of 9?
True
Let d be -21*((-40)/(-15) + 0). Let l = d + 88. Suppose -h = -3*i - 2 + 6, -5*h = -2*i - l. Is h even?
True
Let y(r) be the second derivative of r**4/4 - 17*r**3/6 - r**2 + 17*r. Let l be y(6). Suppose 3*u = -q + 30, -l*q + 0*u - 2*u = -110. Is 13 a factor of q?
False
Suppose -2*g + 1994 = 29*g - 40290. Is 22 a factor of g?
True
Suppose z - p = -3*z - 565, 3*z + 419 = -4*p. Is -1*(4 + -4 + z) a multiple of 33?
False
Let j(s) = -7*s**3 + 15*s**2 + 70*s + 8. Let g(q) = -q**3 - 4*q**2 + 33*q + 4. Let v be g(-8). Does 5 divide j(v)?
False
Let x be (-22)/(-10) + (-3 - -2)/5. Suppose -4*b = -x*b - 10. Is (b - 2)*1 - 0/(-4) even?
False
Let f be 3 - 2/(0 + 2/(-55)). Let j = -53 + f. Suppose 3*x - i - 69 = i, 5*i = -j*x + 90. Is x a multiple of 3?
True
Let w = -49 - -49. Suppose -3*s = -15, 5*k + 5*s - 4*s - 20 = w. Suppose 0 = 2*q - k*f - 187, 4*q + f = -4*f + 363. Does 20 divide q?
False
Let f be 40/(1 - -4)*(-9)/12. Let h be (f/(-18))/((-3)/81). Does 23 divide 350 - 1 - (h + 13)?
True
Suppose -4*f + 23*q - 18*q + 32639 = 0, 4*f = -2*q + 32618. Suppose -28*p + 1252 = -f. Is p a multiple of 84?
True
Let b(n) = 3*n**2 + 65*n + 35. Let q be b(-32). Let z = q + -580. Is 19 a factor of z?
False
Suppose 4*x + 2*a - 18 = 0, -a = -3*x + 2 - 1. Suppose -4*t + 704 = -b, t + x*b + 0*b = 185. Does 8 divide t?
False
Let u be (-1026)/4*(-3 - (4 - 1)). Suppose 15*n - 51 - u = 0. Is 10 a factor of n?
False
Let p be (3 + -4)/((-2)/40). Let o = 101 - 91. Is 8 a factor of 132/o*p/3?
True
Let i be (-8)/(-20) - (-76)/10. Let r(m) = -m**3 - 12*m**2 - 8*m + 11. Let d be r(-12). Let a = i + d. Is a a multiple of 21?
False
Suppose -21*m + 3*v = -18*m - 5094, 5*v = -4*m + 6783. Let n = m + -1029. Is 56 a factor of n?
False
Let o = 543 + -251. Suppose -2*j + o = -n, -33 - 122 = -j + 5*n. Is j a multiple of 23?
False
Suppose -5*y = 5, 3*y - 122375 + 27643 = -5*j. Does 45 divide j?
False
Let h(z) be the first derivative of -z**4/4 + 8*z**3/3 + 7*z**2 - 24*z - 3. Does 4 divide h(8)?
True
Let u(c) = -c**3 + 8*c**2 + 5. Let i be u(8). Let n(p) = 31 + 25 + 11*p**2 - p**3 - 92 + 5*p + 24 - p**3. Is 8 a factor of n(i)?
False
Let k(w) = -27*w + 79. Let m be k(3). Is m - (127 - -10)/((-4)/24) a multiple of 26?
False
Suppose 2*f = -2*t + 2918, 553*t - 2925 = -2*f + 550*t. Is f a multiple of 11?
True
Let t(j) = j**2 - 10*j - 11. Let d be t(11). Suppose m - f - 21 = -d*f, 4*f + 48 = 2*m. Is m a multiple of 2?
True
Suppose -4*u = -56*v + 52*v - 36096, 2*u + 3*v = 18043. Does 26 divide u?
False
Suppose -302*z = 107*z + 105*z - 2977088. Is 181 a factor of z?
True
Let f(j) = -j**2 + 61*j + 2111. Is f(55) a multiple of 40?
False
Let o(q) = 2*q**2 + 10*q + 9. Let z be o(-7). Let g(b) = 24*b + 1 + z*b - 23. Is 40 a factor of g(4)?
False
Is 60835/7 + (-710)/994 a multiple of 241?
False
Let k = -29 + 44. Suppose 0 = 13*o - k*o + 22. Suppose -1195 - 323 = -o*t. Does 31 divide t?
False
Let v(j) = -6126*j - 87. Is v(-3) a multiple of 201?
True
Suppose -10 = -3*c - v, 5*c + 3*v = 7 + 3. Suppose -b + 0*w - c*w = 2, 2*w = -2*b + 4. Suppose -2*j + 29 = -b. Is j a multiple of 8?
True
Let s(p) = 5*p**2 - 13*p - 54. Suppose -38*t = -25*t + 65. Is 49 a factor of s(t)?
False
Let u(b) = 1077*b + 11837. Is u(7) a multiple of 56?
True
Suppose 4*r - s = 902, -6*s - 4 = -4*s. Does 5 divide (-24)/9*(-15)/20 + r?
False
Let x(f) = -11*f - 24. Let n(h) = -155*h - 335. Let v(m) = 6*n(m) - 85*x(m). Let b be v(-13). Let g = b + 48. Does 4 divide g?
False
Let b = -20945 - -22725. Does 5 divide b?
True
Let j = -8299 - -12303. Does 54 divide j?
False
Suppose 20*a = 26*a - 23732 - 9478. Is 41 a factor of a?
True
Let h be 4/(2 - -2)*(1 - 70). Let f = h - -757. Suppose 4*y + y + 4*l = 861, 4*y - f = -3*l. Does 13 divide y?
True
Let s(u) = 196*u - 171. Let v be s(26). Suppose 1255 = -10*y + v. Is y a multiple of 14?
False
Let k be -4*3/30 - (-846)/(-10). Let g = -66 - k. Is (5 + 2 - g)*(-52)/6 a multiple of 19?
False
Suppose 389208 = 113*y - 130965 - 78501. Is 6 a factor of y?
True
Let p be -9 - -153 - ((-4)/(-14) - (-63)/(-49)). Let j = -55 +