rue
Suppose -9 = -3*o + 4*c - 0, -2*c - 8 = 2*o. Is 8 a factor of 12/o*(-111)/12?
False
Suppose 53*a - 135175 + 18906 = 63666. Is a a multiple of 17?
False
Suppose -72 + 218 = 2*m. Suppose 4*l - 5*i = 7*l - 53, 0 = 3*l - 5*i - m. Is l a multiple of 8?
False
Let r(n) = -2*n**3 - 3*n**2 - 5*n + 5. Let z(q) = 1 + 10*q + 5 - 1 - 2*q**2 - 2*q**3 - 15*q. Let o(l) = 2*r(l) - 3*z(l). Is o(4) a multiple of 42?
False
Suppose 24 = z - 5*j - 0, -3*z - 5*j = -32. Suppose 2*q - q + 22 = 5*d, -d - 3*q + z = 0. Let x(m) = 20*m - 4. Is 16 a factor of x(d)?
True
Let l(i) = -54*i - 151. Let b be l(-17). Suppose u - 3*c = 807, 4*u + 5*c - b = 3*u. Does 72 divide u?
True
Let r(q) = -51*q - 3 - 66*q - 17. Let k be r(-3). Suppose k = 3*b + 91. Is b a multiple of 5?
True
Let h = -170 - 7. Suppose 11*i - 1264 = 7*i. Let n = i + h. Is 32 a factor of n?
False
Suppose 4*z - 7*h = -4*h + 43, 5*z - 2*h = 52. Suppose 0 = -2*a - z, 4*y - a - 11 = y. Suppose 0 = 4*g - 38 - y. Is 10 a factor of g?
True
Suppose -v + 2*o = o - 4, -4*o - 8 = 0. Suppose 5*n - v*n + d = 806, -5*d - 776 = -3*n. Does 12 divide n?
False
Let j = 212 + -116. Let r be (-25)/(-8) - 12/j. Suppose 151 = -5*h + r*g + 440, 0 = 2*h + 3*g - 103. Is 29 a factor of h?
False
Let o(a) be the first derivative of -a**4/4 + 10*a**3/3 - 7*a**2/2 - 19*a + 6. Let u be o(9). Does 3 divide (-28)/(3 - (-4)/u)?
False
Is 8 a factor of 40/(14 - 24) + 1067 + 2?
False
Suppose -232*u + 286*u - 286362 = 0. Does 8 divide u?
False
Is 10273/3 + 2436/(-1827) a multiple of 26?
False
Suppose 519*y - 151183 = 446*y. Is 35 a factor of y?
False
Let p(f) = 6*f - 56. Let s be p(9). Let r = 7 + s. Suppose j - 28 = r*u, -6*j + u = -j - 164. Does 3 divide j?
True
Let g = 37 + -35. Let t be (g - -1) + (4 - (-5)/(-1)). Suppose -f - 97 = -2*k - 0*f, k + t*f - 46 = 0. Is 8 a factor of k?
True
Is 8 a factor of 36/(((-60)/450)/((-22)/1))?
False
Let t be ((-2)/(-4)*-6 - 0) + 2. Let j be 5 - ((-2)/t - 2). Suppose -216 = -2*x - x - 3*z, j*x - 346 = 2*z. Is 14 a factor of x?
True
Is 84 a factor of 7 - (-253)/(-44) - (-2 + 249214/(-8))?
False
Let j(a) = 18*a**3 + 3*a**2 - a. Suppose 2*o + 12 = -o, o + 4 = r. Suppose r = 15*q - 18*q + 3. Is j(q) a multiple of 4?
True
Suppose 67 - 172 = -3*i - 5*o, 0 = 3*i + o - 117. Is ((-356)/(-10))/(16/i) a multiple of 17?
False
Let t be (43/4)/(2/8). Suppose 3*v + 19 = 2*k, 0 = 3*k - 2*v - 25 - 1. Suppose 5*h - k = -c + 19, -2*h = 5*c - t. Is 3 a factor of c?
False
Let g be (-6)/4*16/(-12). Suppose -g*m + 567 = 5*m. Is (m/(-9))/((-6)/8) a multiple of 10?
False
Suppose -4071 - 3443 = 17*v. Let n = v + 938. Is n a multiple of 22?
False
Let r(l) = 50*l**2 - 5*l - 7. Let i be r(-1). Suppose -i*n + 57*n = 2736. Does 19 divide n?
True
Suppose 0 = -363*m + 618696 + 475023. Does 14 divide m?
False
Let g(q) = 2*q**2 + 37*q + 24. Let v be g(-18). Suppose v*a - 461 = -11. Is 12 a factor of a?
False
Suppose r + 6*l - l = 194, 0 = 3*r - 2*l - 480. Is r a multiple of 6?
False
Suppose 0 = 4*x + 954 + 350. Let q = -144 - x. Is q a multiple of 13?
True
Let x(t) = 2070*t - 1844. Does 15 divide x(8)?
False
Suppose -39501 = -26*f + 17*f. Suppose -f = -9*k - 609. Is k a multiple of 17?
False
Let v be (3 + (-214)/(-10))/((-5)/75). Let n = -301 - v. Is n a multiple of 2?
False
Let p be (2 - 3)/(3/1065). Let g = 397 + p. Is 21 a factor of g?
True
Let w(y) = -3*y + 218. Let s(h) = 7*h - 437. Let q(k) = 2*s(k) + 5*w(k). Let r(f) = 4*f - 412. Let l be r(103). Is 24 a factor of q(l)?
True
Is (-265675)/(-15) + -10 + 408/36 a multiple of 21?
False
Let r = 352 - 349. Suppose r*i + 545 = o, -4*o = i + 49 - 2164. Is o a multiple of 4?
False
Suppose -s + 2*u + 4282 = 0, -33*u + 30*u - 21445 = -5*s. Is s a multiple of 37?
True
Suppose h + 2*k = 10, -4*h + 3*k + 90 = k. Suppose 6*f = 9*f + 3*w + 3, f - 4*w - 4 = 0. Suppose -14 - h = -j - n, f = 5*n. Does 3 divide j?
False
Let n be 732/72 + 1/(-6) - -4. Suppose 0 = 3*l - 2*z - 2*z - n, 0 = l - 5*z - 12. Suppose -3*y + 2*y + 220 = 5*j, -l*y = j - 476. Is y a multiple of 16?
True
Let w(f) = -f**2 - f + 56. Suppose -5*k + 0*m = -m, 5*m = -3*k. Does 8 divide w(k)?
True
Let l(m) = -4*m**3 + 73*m**2 - 3*m + 1. Is l(11) a multiple of 44?
False
Suppose 14 = -5*f + 4*k, 1 = 2*f - 4*k + 9. Let g be (19/f)/((-10)/(-40)). Let a = g - -82. Is a a multiple of 4?
True
Suppose -25*b + 96174 = -258401. Does 45 divide b?
False
Suppose 0 = -38*i + 23*i + 810. Is 2/3 - -6*3846/i a multiple of 6?
False
Let d(u) = 2743*u**2 - 32*u. Is 37 a factor of d(-1)?
True
Does 72 divide (-6)/14 - (1/7)/((-29)/5101071)?
True
Suppose 0 = 5*a - 5*j - 25, -4*a - 10*j + 11*j + 23 = 0. Suppose 0 = a*m - 2813 - 4513. Is 95 a factor of m?
False
Let f(d) = -194*d**2 + 7*d + 13. Let x be f(-2). Let w = -374 - x. Is 13 a factor of w?
True
Let t(h) = 11*h + 25. Let f(n) = n**2 - 25*n + 9. Let y be 33/(-22)*(-100)/6. Let d be f(y). Is t(d) a multiple of 16?
False
Let x be ((-46)/207 + 194/(-18))/(-1). Suppose -9 = -y - x, 3*y + 210 = 3*o. Is o a multiple of 2?
True
Let h(w) = -17*w - 3. Let t be h(-3). Suppose -148 = 4*u - t. Let p = u - -57. Does 3 divide p?
False
Let u be 1 - 2/(2 - 4). Suppose -u*n - 137 + 18 = g, -3*g + n = 329. Let a = -101 - g. Is 8 a factor of a?
False
Let x = 2782 - -20. Suppose 246*f = 252*f - x. Does 11 divide f?
False
Let n(o) = -o**3 + 13*o**2 - 22*o + 5. Let a be n(11). Suppose -4*t - a*s + 0*s + 1498 = 0, 2*t + s = 746. Does 9 divide (-45)/(-35) + -1 - t/(-21)?
True
Let u = -35 + 39. Suppose -51 = 3*c + u*n, 0*c = -3*c - 5*n - 54. Let p = 57 + c. Is p a multiple of 11?
True
Let s(g) = 3*g + 9. Let x be s(-6). Let z(q) = 5*q**2 + 7*q + 30. Let a be z(x). Suppose a = 2*b - 52. Is b a multiple of 14?
False
Suppose 2*r - 5*w = 620, -9*w + 8*w = -4*r + 1204. Suppose -r = 11*d - 23*d. Is d a multiple of 5?
True
Let v = 4 - 2. Let l(x) = -13*x**v + 8*x**2 + 6*x**2 + 2*x. Is l(10) a multiple of 30?
True
Suppose 0 = 6*u + 1297 + 443. Let v = u - -344. Is 6 a factor of v?
True
Let d(u) = -2*u + 40. Let t be d(19). Let h(j) = 4*j**t - 3*j + 0*j**2 + j + j**3 + 0*j + 2. Does 5 divide h(-4)?
True
Let n = -4 - 12. Let t be ((-12)/n - -2) + (-1)/(-4). Let x(g) = 21*g - 7. Is x(t) a multiple of 8?
True
Let a = -53 - -74. Suppose -4*v - a = -109. Does 4 divide v/77 - (-89)/7?
False
Let x be (10/(-4)*-1)/((-10)/(-24)). Suppose -573 = -x*w + 825. Does 5 divide w?
False
Suppose 5*p + 19 = 1604. Let m be 1/(-4) + p/4. Let o = m - -83. Is o a multiple of 34?
False
Is ((4935 - 2) + -3)*1/2 a multiple of 20?
False
Suppose -129*d = -5*f - 126*d + 30693, 24546 = 4*f - d. Is f a multiple of 2?
False
Suppose p - 2*u = 4*p - 40, -u = -4*p + 35. Suppose -p*m = 109 - 1129. Is 38 a factor of m?
False
Let j be (12/(-28) - (-26)/28)*-8. Let g(y) = -13*y**2 + 2. Let m be g(j). Let o = m + 338. Does 21 divide o?
False
Let s(b) = -b**3 - 8*b**2 + 5*b - 6. Let c be s(-8). Suppose -162*n - 144 = -158*n. Let q = n - c. Is q a multiple of 2?
True
Let f(t) be the first derivative of -3*t**2/2 + 25*t + 16. Let x be f(-18). Let p = x + -48. Does 11 divide p?
False
Let t(r) be the third derivative of r**6/60 - r**5/20 - 17*r**4/12 + 7*r**3/3 + 8*r**2 + 3. Does 14 divide t(11)?
False
Suppose -2*d + 3*d - b - 9 = 0, -d - 3*b = -17. Let r = d + -11. Suppose r = -5*c - 5*c + 360. Is 9 a factor of c?
True
Let p(k) = -4*k + 12. Let z be p(4). Let n be -4 + 2 - (z + 0). Suppose -5*x + 4*s = -23, -n*x + 5*s = -x + 8. Is 3 a factor of x?
False
Does 84 divide ((-798)/15)/((-92)/8280)?
True
Let r(f) = 4*f**3 + f**2 + 35*f + 223. Does 2 divide r(9)?
False
Let b be 2/((-16)/12)*-2. Suppose b*l - 7*l = -232. Suppose -n = o - 31, 6*n - 8*n - l = -2*o. Is o a multiple of 17?
False
Let x be 130/(-715)*-1*11. Suppose 0*t - 1350 = -x*u + 3*t, 4*u - 2*t = 2700. Is u a multiple of 36?
False
Let n(c) be the third derivative of -9*c**6/20 + c**5/30 + c**4/12 + c**3 + 29*c**2 + 3. Is n(-2) a multiple of 22?
False
Let r(u) = u**2 + 7*u - 71. Let m be r(8). Let v = m + -25. Is v a multiple of 8?
True
Let j be (-3265)/20 + (-2)/(-8). Let d = -133 + 446. Let f = j + d. Does 30 divide f?
True
Is (208992/63 - 24/2)/((-4)/(-6)) a multiple of 56?
False
Let g(n) = -64*n - 8. Let i be g(-15). Suppose 5*b - 5*x - 6527 + i = 0, -5*b = x - 5545. Is b a multiple of 30?
True
Does 11 divide 10578 - 