et s be -2 - ((-28)/(-56) + (-570)/4). Suppose s*p = 135*p + 2250. Is 25 a factor of p?
True
Suppose g + 6 = -2*u, -g - 5*u = -9 + 30. Suppose -4*h + 1204 = -4*w, -10*w = -g*h - 12*w + 1228. Does 58 divide h?
False
Let z(r) = -r + 11. Let b be z(-8). Suppose 0 = -4*w + 8, 3*a - 87 = 2*w - b. Is 9 a factor of 185/(-3 - a/(-6))?
False
Suppose s + 0*s - 75 = -4*m, -4*m - 3*s = -73. Suppose -16*t = -m*t + 12. Is (-2 - -43) + 4/t a multiple of 5?
False
Let l = 11148 + -6676. Is 86 a factor of l?
True
Suppose -6980 = -4*k - 2*g, g + 6980 = 37*k - 33*k. Does 72 divide k?
False
Suppose 0 = -182*n + 212*n - 128940. Is 46 a factor of n?
False
Let z be 4/(-2)*-14*2/8. Let w(s) = s**2 - 7*s + 7. Let h be w(z). Is ((-1084)/28)/(-1) + 2/h a multiple of 13?
True
Suppose j - 231 = 1703 + 598. Is j a multiple of 15?
False
Let q(n) = n**3 - 2*n**2 - 3. Let f = -59 + 55. Let m be (-6)/(-3)*(-3 + (-18)/f). Is q(m) a multiple of 6?
True
Is 22 a factor of -350*8/(-4 - -3 - 1)?
False
Let v = 1475 + 542. Is v a multiple of 17?
False
Suppose 11*k - 35 - 20 = 0. Is 5 a factor of ((-3834)/12)/9*(3 - k)?
False
Is ((-8)/(64/(-2124)))/((-27)/(-252)) a multiple of 42?
True
Let t(n) = 173*n**2 - 4*n + 6. Is 93 a factor of t(-4)?
True
Let b(u) = -3*u - 12*u - 27*u - 18 - 16 + 2*u. Suppose -4*z + 4 - 20 = 0. Does 13 divide b(z)?
False
Let c = -31369 - -45530. Does 221 divide c?
False
Suppose 0 = 2*f - 12, 7*t + 3*f + 611 = 8*t. Is 4 a factor of t?
False
Let z = 45678 - 9894. Is z a multiple of 48?
False
Let r be (0 + (-1)/1)*2. Let q be (r + 9/6)*(-306)/9. Suppose -3*z - 5*o = -q, -3*o + 14 + 16 = 4*z. Is 2 a factor of z?
False
Does 52 divide 45/(-20) - -2 - 28267/(-92)?
False
Suppose -2513 = -s + n, -28*s = -23*s + 2*n - 12530. Does 52 divide s?
False
Let u = 38862 - 15378. Is u a multiple of 114?
True
Suppose 11*q - 10*q + 1270 = 3*p, q + 424 = p. Suppose p*c + 112 = 424*c. Is 16 a factor of c?
True
Suppose 5*w - 75 = 130. Suppose -5*h - 2*p = -7*p - 45, 4*h - 5*p - w = 0. Suppose h*d - 206 = -78. Is d a multiple of 16?
True
Let h = -9244 + 17700. Is h a multiple of 56?
True
Let b(v) = v**2 + 26*v - 5. Let x be b(-20). Does 39 divide 6/(-15) - 63425/x?
True
Let o be 4 + (-275)/77 + (-7298)/(-7). Suppose -6*r + o = -1597. Is r a multiple of 22?
True
Suppose 0*a - 28 = 4*a. Let w be ((-2)/1)/(42 + 1120/(-28)). Does 8 divide 4 + (-343)/a - w*1?
False
Let h(t) = 19 + 17 + 32*t**2 - 34. Let x be h(2). Suppose -x*j + 1016 = -126*j. Is j a multiple of 32?
False
Is 179 a factor of ((-42)/(-84))/(1/13522)*(-4 - -5)?
False
Suppose x - 37 = 34*f - 33*f, -5*x + 4*f + 187 = 0. Suppose x = i - 291. Does 55 divide i?
True
Let f(v) = 0*v + 5*v + 6*v - 23 - v. Let t be 660/96 - (-1)/8. Is 5 a factor of f(t)?
False
Let f = 14 + 1160. Suppose 4716 = -14*a + 18*a + 4*r, -4*r - f = -a. Does 31 divide a?
True
Let h(x) be the third derivative of 5*x**4/24 + 8*x**3/3 + x**2. Let j be 15 - 2/((-36)/(-306)). Does 3 divide h(j)?
True
Let g(o) = -o**3 + 20*o**2 + 19*o + 49. Let h be g(21). Does 2 divide -2*(-27 - -5 - h)?
True
Let o(n) = 49*n - 52. Let l(g) = -146*g + 156. Let s(c) = -5*l(c) - 16*o(c). Is 10 a factor of s(-7)?
True
Let x(m) be the second derivative of -9*m + 1/3*m**4 - 1/2*m**2 - 1/3*m**3 + 0 + 47/20*m**5. Does 10 divide x(1)?
False
Let v(i) = 70*i**2 + 4*i - 13. Let m(j) = j**3 + 15*j**2 + 11*j - 39. Let t be m(-14). Does 18 divide v(t)?
False
Suppose -2*m = 0, 2*z - 55 - 465 = -3*m. Is z a multiple of 5?
True
Let c(x) = -225*x**3 - 2*x**2 + 7*x + 10. Does 6 divide c(-2)?
True
Let x(o) = -5*o**3 - 13*o**2 - 27*o - 498. Is x(-12) a multiple of 26?
False
Suppose -242*f + 266*f = 211464. Is 38 a factor of f?
False
Suppose -3 = -y, q + 2*y + 128 = 2254. Is q a multiple of 79?
False
Suppose -d - 4*d = p + 12, 15 = -2*d + 3*p. Let y = d + 7. Suppose 0 = -2*w + y*r + 244, 5*r = -0*w + 5*w - 630. Does 30 divide w?
False
Let s be 1 + -69 - (2 - 5). Let w be 12 + -3 + -6 + -102. Let a = s - w. Is 6 a factor of a?
False
Let r(c) = 3*c**3 + 50*c**2 - 14*c - 183. Is 64 a factor of r(-15)?
True
Let z = 2766 + 123. Does 6 divide z?
False
Let q(p) = 390*p**2 - 16*p + 36. Let f be q(2). Suppose 3*s + 5*h - f = 0, -20*s + 19*s + 2*h + 536 = 0. Does 66 divide s?
True
Let f(x) = x**3 + 6*x**2 + x + 8. Let u be f(-6). Let w(d) = u*d**3 + 334*d + 6*d**2 - 36 - 320*d - 14*d**2. Is w(6) a multiple of 24?
True
Let v be 99/(-27) + 10/15. Does 24 divide 166/249 - 2947/v?
False
Let w be ((-72)/27)/((-1)/9). Suppose w = 2*n - 6. Is n a multiple of 5?
True
Let j(c) = 2*c**2 - 42*c + 41. Let z be j(20). Is -8 - z - -5 - -265 a multiple of 29?
True
Let c(i) = -i**3 + 10*i**2 - 3. Let s be c(10). Let q be s/9 + (-35)/3. Is (q/3 - -30) + -3 a multiple of 23?
True
Let a = -5826 + 6680. Is a a multiple of 4?
False
Let w = 201 - 608. Let b = -277 - w. Is ((-10)/(-2))/(13/b) a multiple of 9?
False
Let w(t) = 21*t + 14. Let m(b) = b**2 + b - 1. Let c(l) = 3*m(l) - w(l). Let r be c(13). Is (-2)/(-4)*r/(-12)*-3 a multiple of 9?
False
Let y(d) = -d**3 - 5*d**2 + 16*d + 17. Let k be y(-7). Suppose -k*v + 26 = -w + 5*w, -v = -4*w + 2. Does 7 divide (14/(-3))/(-1)*v?
True
Let m = -3453 + 5145. Is m a multiple of 4?
True
Suppose 6*z - 9 = -3*i + 2*z, -4*z + 3 = i. Suppose i*g - 2*q - 725 = 0, -75*q + 77*q - 962 = -4*g. Is g a multiple of 11?
False
Suppose -3*m - m + 11 = 5*p, 3*p + 3*m = 6. Suppose 5*j = 3*h + 737, 0*h + 4*h + 588 = 4*j. Suppose 0 = p*w - w - j. Does 23 divide w?
False
Let j be -1 + (3 + 0)/1. Suppose -39*d + 378 - 183 = 0. Suppose -3*b + 470 = -j*m, -465 = -d*b - m + 340. Does 32 divide b?
True
Suppose 4817 = 27*l - 15919. Does 16 divide l?
True
Suppose 1607 = 9*q + 140. Is 5 a factor of q?
False
Suppose 429 = 2*c - 5*u, 3*c + 3*u - 609 = -u. Suppose 0 = 8*x - 792 + 40. Let p = c - x. Does 27 divide p?
False
Let l(t) = -t**3 + 9*t**2 + 16*t - 9. Suppose -12*j + 110 = -j. Is l(j) a multiple of 17?
True
Suppose 20*l - 5679 = 77*l - 30132. Is l a multiple of 29?
False
Does 119 divide (-13568)/(-3) - (-4)/(-84)*14?
True
Suppose -4*b - 2*p + 7*p + 561 = 0, -382 = -3*b - 4*p. Let w = 106 + b. Does 16 divide w?
True
Suppose -56045 = -6*m - 83*m + 34*m. Does 5 divide m?
False
Let p be (-3)/((-2)/(-12)*-9). Suppose p*j - 1702 = 2*o, 0 = 4*j + 2*o - 3488 + 96. Is j a multiple of 97?
False
Does 67 divide ((2 + -41)/(-117))/(2 + 154865/(-77433))?
False
Let x(h) = 158*h**2 - 2*h - 7*h**2 + 136 - 137 + 48*h**2. Let a be x(-1). Let r = -92 + a. Is 12 a factor of r?
True
Let x = 5855 - 4784. Does 17 divide x?
True
Let u(v) be the first derivative of -47*v**2/2 + 31*v - 92. Is u(-6) a multiple of 15?
False
Suppose 3870 = 3*b - g, -64*b = -61*b - 4*g - 3879. Is 4 a factor of b?
False
Suppose -2*u + 13 = 3. Suppose 5*x + 20 = 0, -3*x = -u*y + 4*y - 5. Let z = 25 - y. Is z a multiple of 6?
True
Let v(l) = -11*l - 17. Let w = -89 - -83. Let u be -3*(48/84)/(w/(-7)). Is 4 a factor of v(u)?
False
Suppose 14*k - 16020 = -3*r + 16*k, 0 = -r + k + 5341. Is 17 a factor of r?
True
Let w = -196 + 199. Suppose -5*o + 4*o = 5*a - 1120, 2*a - 435 = -w*o. Is 15 a factor of a?
True
Let d = 250 - -2112. Suppose -d = -9*k + 1166. Does 28 divide k?
True
Suppose -21*d + 40 = -2. Suppose 4*p = 3*p - 2*u + 576, d*p - 4*u = 1152. Is 24 a factor of p?
True
Let c = -4285 - -7579. Is c a multiple of 122?
True
Let y = 84 + -79. Suppose 261 = y*d - 274. Is d a multiple of 9?
False
Suppose -9*c + 27 = -0*c. Suppose -5*l + c*i + 1051 = 0, 0 = -2*l - 5*i + 493 - 85. Is l a multiple of 11?
True
Suppose x + 42 - 759 = 3*h, -2*x = 4*h - 1434. Is x a multiple of 4?
False
Suppose 240 = -4*x + 12*x. Suppose -g - 18 = -5*i, -x = 5*g - i - 4*i. Is 18 a factor of 4/6 + (-211)/g?
False
Let s(n) = 12416*n - 7137. Is s(4) a multiple of 43?
True
Let d(i) = -95*i - 658. Is 21 a factor of d(-26)?
False
Suppose 0 = -0*x - 2*x + 3*x. Suppose 3*i + 13 = -3*f + 2*f, x = -3*f + 2*i - 6. Is 6 a factor of 11*(2 + f)*-1?
False
Suppose -326 = -6*d + 922. Let j = 526 - d. Is j a multiple of 33?
False
Let m(n) = -97*n - n**3 + 8*n**2 - 14 - 103*n + 194*n. Let i be 38/6 + 1/(-3). Does 13 divide m(i)?
False
Let r = 19080 - 13287. Is 47 a factor of r?
False
Let q(k) = -15*k**3 + 8*k**2 + 317*k - 1. Is q(-15) a multiple of 49?
False
Suppose 0 = -5*v + v - 3*m + 17, 14 = v + 4*m. Let k