. Let h be p(15). Suppose 3 = h*f - 3*k, -k + 3 - 5 = -f. Suppose j = -5*z + 2*j + 123, -5*z = f*j - 111. Is z a multiple of 21?
False
Let l be 70/(-14)*(0 + -9). Let i = -23 + l. Suppose -5*a - 2*c + 296 = 0, a - 4*c - 46 = i. Does 12 divide a?
True
Let x = 5410 + -4943. Is 4 a factor of x?
False
Suppose 4*j + q = -0*q + 5, 5*j + 4*q - 20 = 0. Suppose -2*b = -j*b, -5*z + 3*b = -135. Is (-688)/(-6)*z/18 a multiple of 43?
True
Let r be 46/2 + (2 - 7). Is 14 a factor of (r/(-4))/(4*18/(-480))?
False
Is ((-198)/(-90) - 13)*-420 a multiple of 54?
True
Let l be (234/(-91))/(6/56). Is (40/(-78) - l/(-156))*-69 a multiple of 46?
True
Let x be ((-2)/5)/((-4)/100). Let k(a) = -12 - a**2 + 9*a + x*a**2 - a**3 + 2. Is k(6) a multiple of 33?
False
Suppose -3*d - s - 3*s + 26 = 0, 4*d + 2*s - 18 = 0. Is (-3)/((-76)/144 + d/4) a multiple of 27?
True
Let h be 2*((-36)/(-8) + -4). Let f = h + 229. Is 72 a factor of f?
False
Let f(k) = 27*k**2 - 38*k + 148. Is 25 a factor of f(25)?
False
Is 61 a factor of ((-4)/(72/4026))/((-11)/99)?
True
Let k = -5093 - -7703. Is 58 a factor of k?
True
Let d(r) = -173*r**3 + r**2 + r - 1. Let v be d(1). Let z = 289 + v. Is z a multiple of 13?
True
Suppose 3*h = 3*x - 33021, 55043 = 5*x + 330*h - 327*h. Does 43 divide x?
True
Let f(t) be the first derivative of -t**3/3 + 15*t**2/2 - 2*t + 1. Let o be f(10). Is (27/(-6))/((-18)/o) a multiple of 12?
True
Let x = -10 - -15. Suppose 2*w = x*p - 1352, -41*p + 39*p + 536 = 4*w. Does 54 divide p?
True
Let d = 4921 - 3760. Is d a multiple of 39?
False
Let b be (-3 - (-45)/12)/(2/24). Suppose 3*g - b*g + 1602 = 0. Let u = g + -168. Is 14 a factor of u?
False
Suppose 24*y + 36 = 26*y. Suppose 0 = -y*m + m + 2516. Is m a multiple of 18?
False
Let s = 133 - 227. Let x = s + 126. Is 4 a factor of x/64 - 46/(-4)?
True
Let x(f) = -1462*f**3 + 5*f**2 + 11*f - 5. Is x(-2) a multiple of 217?
False
Let s be (5/(10/812))/2. Suppose -19 - 6 = -5*r. Suppose r*t - d - s = 3*t, 3*d + 509 = 5*t. Is t a multiple of 29?
False
Let g(v) be the second derivative of 429*v**5/20 - v**4/6 + v**3/6 - 57*v. Is 16 a factor of g(1)?
False
Let x = -149 + 151. Suppose 0 = -5*v - 3*n + 1703, 0 = -x*v - v - 3*n + 1023. Is v a multiple of 13?
False
Let l = 464 - 462. Is 4 a factor of (-1568)/245*((-378)/4 + l)?
True
Suppose -z - 2*w - 8 = -3*z, 5*w = -3*z + 12. Suppose -f + a = -59 - 15, -z*a = 16. Is f a multiple of 14?
True
Suppose 9096 = -10*d + 2196. Let l = d - -1095. Is 9 a factor of l?
True
Let v(b) = -23*b + 42. Let u be v(-6). Let o = -110 + u. Is o a multiple of 7?
True
Let i(r) = 7*r**2 + 10*r - 28. Suppose -9*o + 4*o - 45 = m, 4*o - 5*m + 36 = 0. Is 31 a factor of i(o)?
False
Let q = 53 + -52. Suppose 0 = 4*n - 0*s - 3*s - 25, -2*n - 3*s = q. Let l(v) = v**3 - v**2 + v + 6. Is 29 a factor of l(n)?
True
Let x(h) = 11*h - 9*h - 8*h - 16 - 8*h - 2*h + 31*h**2. Is 32 a factor of x(-5)?
False
Let n(l) = 11*l**2 - 132*l - 32. Does 13 divide n(18)?
False
Let x(m) = m**2 - 25*m + 93. Does 41 divide x(69)?
False
Let a(t) = -3*t - 1. Let h be a(-4). Let f(b) = 24*b - 149. Let r(g) = 5*g - 30. Let x(i) = -6*f(i) + 29*r(i). Does 10 divide x(h)?
False
Let r(l) = -7*l - 5. Let p be r(-8). Let b = -61 + p. Is 11 a factor of (-4)/b - (2256/10)/(-6)?
False
Let a be (-10)/(-35) - (-246)/21. Suppose 0 = h + 1, 3*h - a = 2*f - 59. Does 7 divide f?
False
Let s be (-39)/195*0/2. Let w(k) = -3*k**2 - k + 576. Is w(s) a multiple of 9?
True
Let m = -82 - -617. Let s = -133 + m. Does 14 divide s?
False
Is (-189120)/(-128)*(-16)/(-6) + -6 a multiple of 7?
True
Suppose -143 - 138 = -2*s + 3*b, -4*s - b = -527. Suppose -7*o = -1498 + s. Is 39 a factor of o?
True
Suppose 992 = 169*r - 167*r. Suppose 31*z = 23*z + r. Does 20 divide z?
False
Let k(o) = 7*o**2 - 2*o - 1. Let f be k(-1). Let v = -2142 + 2158. Suppose -f*w + v = -4*w. Does 2 divide w?
True
Suppose -12*x = -15*x - 5*g + 29637, 2*x + 3*g - 19758 = 0. Is 7 a factor of x?
False
Let c(q) = 46*q - 106. Let h be c(8). Let w = 18 + h. Does 14 divide w?
True
Let w be (-6)/(-21) + 7 + 23970/42. Let y = 881 - w. Is 9 a factor of y?
False
Let g = 5703 + -3608. Does 21 divide g?
False
Let i be (5 - 4)/(3/27). Suppose -i*t + 1302 = -6*t. Does 5 divide t?
False
Suppose 5*x - 3*x = 198. Let z(q) = x*q - 3*q**2 + 8 + 2*q**2 - 99*q + q**3. Does 14 divide z(4)?
True
Suppose 0 = 4*a + 4*g - 1732 - 3140, g + 1208 = a. Is a a multiple of 5?
False
Let i(g) be the second derivative of g**5/20 - 2*g**4/3 + g**3/2 + g**2 + 20*g. Let z be i(10). Does 29 divide z*(5/2 + -2)?
True
Let i = -662 + 1168. Suppose -2606 = -5*h - i. Is 21 a factor of h?
True
Let h(f) = f**3 - 6*f**2 - 7*f + 7. Let x be h(7). Let i(t) = 30*t - 3412 + 6833 - 3411. Is i(x) a multiple of 11?
True
Let u be 2/(-6)*(-14 - 1240)/11. Suppose -1 = b, j - 4*j = -3*b - 18. Suppose 0 = 3*l - j*h - 337, u = l + 5*h - 41. Does 13 divide l?
True
Let a = -1560 - -3276. Is a a multiple of 33?
True
Suppose -2*t + 6*w = 3*w + 62, 121 = -5*t - w. Let y = 24 + t. Does 8 divide (-4 + 5)/(y/(-8))?
True
Suppose 100*g - 481739 - 515061 = 0. Does 112 divide g?
True
Is ((-15210)/(-15) - 8)/2 a multiple of 43?
False
Let j be (1/(-2))/((-2)/(-4)). Let v(z) = 326916*z - 326917*z + 0 + 17*z**2 - 1. Is v(j) a multiple of 7?
False
Let s = 6340 + -268. Is 46 a factor of s?
True
Let s be 4/(36/15) + (-1)/(-3). Suppose -s*m = -2*n - 4, -m - 2*n + 4 = 2. Does 14 divide (m/4)/(1/168)?
True
Suppose -109*j + 1609875 = 29*j + 21*j. Is j a multiple of 27?
True
Let m(n) = n - 68. Let s(k) = -34. Let g(x) = 2*m(x) - 5*s(x). Let y be g(-18). Is 15 a factor of 1*(-4)/y - (-15 - -2)?
True
Is 19 a factor of ((-342152)/(-3))/4 - ((-196)/21 - -9)?
False
Suppose -12*c + 8*c = -12. Suppose 1 + 15 = 3*v - 2*l, v + c*l + 13 = 0. Suppose -s + 19 = -v*d, -7 + 1 = 3*d. Does 4 divide s?
False
Suppose -6795 - 23661 = -216*o. Does 37 divide o?
False
Suppose -2*v + 5*y - 71282 = -5*v, -7*y = -28. Is 11 a factor of v?
False
Suppose 8*r - 234 = -1842. Let a = r + 220. Is 19 a factor of a?
True
Let t(s) be the first derivative of s**3/3 - 5*s**2 + 69*s + 16. Is 34 a factor of t(7)?
False
Let v(t) = 906*t + 8526. Is v(-9) a multiple of 12?
True
Let d(y) = -4*y + 1. Suppose -13*m = -10*m - 5*h - 8, m + 4*h = -20. Does 17 divide d(m)?
True
Let p(v) = -43*v**3 + 23*v + 31. Does 5 divide p(-3)?
False
Let v(z) = 19*z + 33. Let d be v(21). Does 6 divide (d/20)/(6/45)?
True
Suppose 3*a + 7*a - 10 = 0. Is 3 a factor of a + (-1539)/(-5) + (-19)/(-95)?
True
Let x(f) = 62*f**2 - 50*f - 72. Let d(t) = 25*t**2 - 20*t - 29. Let k(s) = -12*d(s) + 5*x(s). Does 16 divide k(8)?
False
Let x = 48567 + -9447. Does 12 divide x?
True
Suppose 4*f + 2025 = 5*v, 0*f - 5*v + 1005 = -2*f. Let p = -452 - f. Is 3 a factor of p?
False
Let p be (4 - 4)/(1 + -6 - -2). Let n = p + 3. Suppose 2*y - n*z = 341, y + 173 = 2*y + z. Is 43 a factor of y?
True
Suppose -6*y = 5*y - 1221. Suppose 0 = 6*k + y - 783. Does 4 divide k?
True
Let x be -30*(40 + -5) + 4. Let q = -101 - x. Does 27 divide q?
True
Suppose -4 = -p, -3*r + 17*p = 16*p - 13568. Is 26 a factor of r?
True
Let z be (3 + -8)*402/(-15). Let b = 159 - z. Does 25 divide b?
True
Suppose 2 = -h + 10. Suppose -17*a = -15*a - h. Is (a/2 + 7)*42/9 a multiple of 19?
False
Let n(i) = 15*i + 99. Suppose 5*w + 2*w - 84 = 0. Is n(w) a multiple of 31?
True
Let g(m) = 2*m**3 - 11*m**2 + 9*m - 4. Let o be g(6). Suppose o*s = 101*s - 3600. Does 5 divide s?
True
Let t(b) = -13*b + 18. Let w be t(-6). Let c be w/7*(-133)/19. Let r = -13 - c. Is r a multiple of 6?
False
Suppose 5*l + 0*s = s + 15, 0 = 2*s. Suppose -d = 3*d + 16, 2*z - l*d - 600 = 0. Suppose -2*q + 3*r + 196 = 0, 3*q + 0*q = -2*r + z. Is 17 a factor of q?
False
Let s be (-20)/130 + (-106)/(-13). Suppose y = -s + 6. Is (-1)/y + (-188)/(-8) a multiple of 5?
False
Let z(a) = -a**3 - 7*a**2 + 276*a. Is z(-21) a multiple of 7?
True
Suppose -o - 57452 = -3*c, 4*o - 95776 = -61*c + 56*c. Is 48 a factor of c?
True
Suppose -8*l - n = -4*l, -4*l - 3*n = -8. Does 10 divide (l/(-3))/(7/1890)?
True
Let p = 28356 - 19392. Is p a multiple of 12?
True
Let s be 0 + 1*(4 - 3) + 334. Suppose 0 = 24*r - 19*r - s. Suppose 125 = 4*h - r. Does 12 divide h?
True
Suppose -3*u = -2*a + 17406, -27*a - 2*u = -28*a + 8701. Is 6 a factor of a?
