4. Does 61 divide f + -10*1/2?
False
Let a = -3463 + 1573. Is 11 a factor of a/(-4) - (-17)/34?
True
Suppose 2*r + 0*r = 536. Let i(f) = f**3 - 17*f**2 - 9*f - 551. Let y be i(19). Suppose y = -5*u + 152 + r. Is 12 a factor of u?
True
Let p(j) = 58*j - 6. Let q be -2 - ((-4)/3)/((-4)/(-12)). Let w be p(q). Let k = w + -44. Does 11 divide k?
True
Is 837 + (-15 - (-11 - -7)) a multiple of 14?
True
Let r = -12855 - -13551. Does 58 divide r?
True
Suppose 2*s = -2*v + 634, 5*v - 3*s - 305 = 1320. Does 36 divide v?
False
Let y(l) = 5*l - 98. Let r be y(20). Let u(k) = 14*k**3 + 2*k**2 + k - 8. Does 38 divide u(r)?
True
Suppose 9163 = 5*o - 5657 - 5805. Is o a multiple of 11?
True
Let j be 2 + 351 - (-1)/(-3)*3. Suppose 4*i + n = 4*n + j, -5*i - 2*n = -463. Is i a multiple of 9?
False
Let t(x) be the first derivative of 26*x**2 - 29*x - 34. Let n be t(5). Suppose n = 9*u + 15. Does 14 divide u?
False
Suppose 10 = -15*o - 5. Does 18 divide 2 - (2 + 104)*o?
True
Suppose 7*w + 2185 = 2*w. Let z = w - -736. Suppose 70 = l - 2*r, 6 - z = -4*l - 5*r. Is 24 a factor of l?
True
Let u(b) = 5*b**3 - b + 1. Let t be u(1). Let n(c) = 31*c - 17. Let w(k) = -216*k + 120. Let x(a) = -20*n(a) - 3*w(a). Does 12 divide x(t)?
True
Let m = -172 - -99. Let r = m + 315. Suppose -4*z + r = 5*l, 0*z = -4*z - 8. Does 5 divide l?
True
Let x = 1328 + -701. Suppose i + 3*i + 3*c - 2478 = 0, x = i - 3*c. Is i a multiple of 23?
True
Let m(h) = 270*h**2 - 347*h + 2459. Does 78 divide m(7)?
True
Suppose 0 = s + 3*g - 21567, -3*s + 5*s - 43123 = 5*g. Is s a multiple of 34?
False
Let p(b) = 260*b + 1862. Does 4 divide p(9)?
False
Let g be 10/(-45) + 76/18. Suppose -a + j = 3*a - 8, 5*a - g*j - 10 = 0. Is 23 a factor of (-48)/(-18)*(69/a - 0)?
True
Let m(k) = 2*k**2 - 10*k - 11. Let f be (-1)/(-2) - ((-1014)/(-12))/13. Let g be m(f). Suppose -g = 6*q - 601. Is q a multiple of 42?
False
Let i(p) = 43*p**2 - 11*p + 11. Let o be 8*-8*5/(-160). Is i(o) a multiple of 7?
True
Suppose -276 + 14 = n. Let t = 913 - n. Is 25 a factor of t?
True
Let a = -289 - -457. Let u = a - -144. Is u a multiple of 24?
True
Let a(b) = 3*b**2 - 15*b - 2. Let p be a(6). Suppose 0 = 8*q - 7*q + p. Is 25 a factor of 4/q - 149*(-1)/4?
False
Let q = 31 - 31. Suppose q = 10*x - 100 - 0. Is 634/x - 12/30 a multiple of 9?
True
Let y(t) = t + 8. Let p be y(-4). Suppose -p*h + h = -561. Suppose h + 45 = 4*j. Does 24 divide j?
False
Suppose 207 + 543 = 3*v. Let c be 0 + (6 - -10 - (-3 + -1)). Suppose 0 = -5*o + v + c. Is 9 a factor of o?
True
Does 97 divide 13498 - ((-30)/5 + 21)?
True
Suppose -y + 6 = 4*b - 3, -y = 3*b - 7. Let g be y/(-2)*(-11 - -1). Suppose 0 = -g*j + 162 + 123. Is 19 a factor of j?
True
Let p(t) = 2*t**2 - 24*t + 878. Is 93 a factor of p(-53)?
False
Suppose -3*v = 354*p - 351*p - 96507, -2*p + 4*v = -64284. Is p a multiple of 48?
True
Let h = -11869 + 12025. Is 64 a factor of h?
False
Is 73 a factor of (-42194)/2*(-508 - -507)?
True
Let q(i) = -48 + 44 - 72*i - 56*i. Does 63 divide q(-2)?
True
Let k(l) = l**3 - 13*l**2 + 21*l - 23. Let a(g) = -2*g**3 - 6*g**2 - 6*g - 13. Let b be a(-4). Let o = 56 - b. Does 25 divide k(o)?
True
Is (-19)/((-76)/5424) + -8 a multiple of 4?
True
Is (5 - (10 + (1 - 1)) - -1) + 21538 a multiple of 13?
False
Suppose -452*m + 451*m = 5*o - 30156, 24128 = 4*o + 4*m. Is o a multiple of 10?
False
Let l(h) = h**3 + 3*h**2 - 4*h + 5. Let n be l(-4). Suppose 8*o + 2*o - 40 = 0. Suppose -340 = -n*a - 4*z, -2*a = -6*a - o*z + 276. Is a a multiple of 18?
False
Let x(s) = 250*s + 6 + 74 - 247*s - 14. Let a(j) = -j - 17. Let k(f) = -9*a(f) - 2*x(f). Is k(5) a multiple of 3?
True
Suppose -321763 + 812754 = 73*k - 618609. Is k a multiple of 29?
False
Let m = -1018 - -3078. Does 10 divide m?
True
Let c = -13207 - -16192. Is 8 a factor of c?
False
Let o = 212 + -209. Suppose -4*l = -o*z - 654, 0*l + 326 = 2*l - z. Does 9 divide l?
True
Suppose 0 = -10*o + 22*o + 1716. Let r = o - -226. Does 6 divide r?
False
Let d = 359 + -56. Let x = -178 + d. Is x a multiple of 14?
False
Suppose -51*f - 5*y = -50*f - 103, 3*y - 446 = -4*f. Does 10 divide f?
False
Does 29 divide -52*3519/(-36) + -8?
True
Let y(z) = 6*z**3 + 4*z**2 + 7*z - 14. Let s be 1/(1 + 0) - (-29 + 25). Does 9 divide y(s)?
False
Let s = 13 - 6. Suppose -s*l = -2*l - 2765. Suppose l = -6*d + 1579. Does 22 divide d?
False
Suppose -l = -b - 992, -41 = 2*l + 2*b - 2029. Is l a multiple of 2?
False
Suppose 21*k - 115 = -640. Is -150*11/(-14) + k/(-175) a multiple of 118?
True
Suppose 170 = 5*o - w, -o + 3*w = 2*o - 114. Suppose 0 = -35*v + o*v + 418. Is 8 a factor of v?
False
Let r(p) = 228*p**3 + 25*p**2 - 21*p - 5. Is r(1) a multiple of 14?
False
Let a be (363/9)/(5/(-15)). Let u = 61 + a. Let q = u - -116. Does 8 divide q?
True
Suppose 0 = -5*k - b + 68745, b - 41245 = -1362*k + 1359*k. Does 110 divide k?
True
Let g(q) = -2*q**3 - 36*q**2 + 234*q + 5121. Is 86 a factor of g(-25)?
False
Suppose -1381*l = -1440*l + 1161474. Is l a multiple of 57?
False
Let t(f) = 40*f - 4. Let r(n) = -25*n - 15*n + 2 - 1 + 2. Let g(l) = -6*r(l) - 5*t(l). Is 21 a factor of g(1)?
True
Let b(g) = 23*g**2 - g + 18. Let u be b(6). Suppose -5*t = -2*y - 840, 0*t - 3*y = 5*t - u. Does 14 divide t?
True
Is 32 a factor of (57536/(-12))/((-2)/24)?
True
Let r(t) = 2*t**3 + 3*t**2 + 3*t. Let u be r(-2). Let p = u - -64. Is 27 a factor of p?
True
Let l(d) = -6*d + 1128. Does 56 divide l(48)?
True
Suppose -5553 = -6*s + 645. Does 6 divide s?
False
Suppose 0 = q + c - 2, q + 10 = 5*c + 24. Let p(z) = 39*z + 51. Does 23 divide p(q)?
True
Suppose 0 = 13*l + 1047 + 1228. Let k = -135 - l. Is k a multiple of 8?
True
Does 10 divide (-75)/2*(-3008)/(-48)*-1?
True
Is 2 a factor of (1804/(-88))/((-3)/354)?
False
Suppose 0 = -2*g - 1473 + 4359. Suppose -2*d + 7*d - g = -2*q, -5*q + 3570 = 5*d. Is q a multiple of 23?
False
Suppose 6712 = -19*u + 22900. Let o = u + -286. Is o a multiple of 37?
False
Suppose 72*a - 76*a = -5484. Is a a multiple of 3?
True
Suppose 4*k + 8 = -i, 4*i - 9 = 3*k - 3. Suppose t = 0, i*t - 3*t + 54 = 2*p. Suppose p*c - 72 = 23*c. Is c a multiple of 9?
True
Let x = 192 - 559. Let i = 713 + x. Suppose i = 6*h + 58. Is h a multiple of 24?
True
Let h(x) = -5*x - 22 + 3*x + 4*x. Let y be -10 + 8 - (-3 - -1) - -24. Is h(y) a multiple of 26?
True
Suppose 2*z - 24 = 2*s, -2*z + 4*s = 10 - 32. Suppose 19*c = z*c + 1296. Does 9 divide c?
True
Let w = -43828 - -90452. Is w a multiple of 42?
False
Let d = -556 + 310. Suppose -4*y = -p + 5*p + 456, 5*p + 4*y = -575. Let u = p - d. Is u a multiple of 10?
False
Suppose -2*y + 12102 = 24*v - 20*v, 9080 = 3*v - 2*y. Is 59 a factor of v?
False
Let r be 17 - 13 - -95*34. Suppose 0 = -4*z + 11*z - r. Is z a multiple of 12?
False
Suppose -14 = -2*p - 0. Suppose -32*b - 42*b = 32*b. Suppose b = -p*m + 3*m + 236. Is m a multiple of 11?
False
Let a = -1338 + 2452. Suppose -1677 = -6*o + 5*i, -3*o + 2*i + a = o. Is 63 a factor of o?
False
Suppose -298 = 9*o - 343. Suppose -3*z + 2*h + 0*h = -2092, 0 = o*h - 20. Is z a multiple of 70?
True
Let i(h) = h**2 + 2*h + 33. Let s be i(-13). Suppose 22 - 17 = 5*r, -k + s = r. Is 9 a factor of k?
False
Does 56 divide 17 - (10 - (-7 + 467))?
False
Suppose 20*i - 24*i + 2486 = q, 2*i - 12502 = -5*q. Does 6 divide q?
True
Let g = 40 + -25. Let q = 20 - g. Suppose q*l - 3 = 4*l. Is 2 a factor of l?
False
Let q = 6387 + -2551. Does 14 divide q?
True
Let q = 13 + 15. Suppose -10*t + q = -2. Suppose -3*k - t*b = -45, -2*k + k + 3 = 5*b. Does 6 divide k?
True
Let i = 120 + -125. Let z be 4 + 10/i - -2. Does 13 divide (-1252)/(-8) - 2/z?
True
Let h(n) = 8*n - 4. Suppose -12 = -5*p + 78. Let j be h(p). Suppose 2*k = -4*b + j, -2*b - 2*b = 0. Does 10 divide k?
True
Let r(k) = -149*k - 1329. Let v be r(-9). Let n = 0 - -3. Suppose c - g - 5 - 1 = 0, -n*c = -5*g - v. Does 3 divide c?
True
Is (((-55)/(-45))/((-2)/(-6)))/(11/11814) a multiple of 44?
False
Suppose 1 = -4*u - 3*f, u - 4*f - 3 = -8. Is 11 a factor of (u/2)/((-9)/2358)?
False
Let y = 3653 + -3648. Let w(l) = 5*l**2 + 4 + 0*l + 0*l. Does 43 divide w(y)?
True
Let j(w) = 12*w**2 + 14*w + 17. Let h = -277 - -266. Is 7 a factor of j(h)?
False
Suppose k + 4*o = 5*k - 28, 16 = 4*k + 2*o. Suppose -3 = a - d, 43 = k*a + 3*d + 18. Suppose 2*r 