uppose 165*f - 229*f + 954240 = 0. Is 163 a factor of f?
False
Let l = 6 - 6. Suppose 3*h - 24 = 5*g, 5*g + 7 = 5*h - 33. Suppose 0*p + h*p - 544 = l. Is p a multiple of 17?
True
Suppose 0 = 477*h - 95*h - 751012. Is 32 a factor of h?
False
Let x be 1409/7 + (30/(-35))/3. Let w = -17 + x. Let d = w - 142. Is d a multiple of 22?
False
Let y(u) = -370*u**3 + u**2 + 5*u + 6. Is y(-2) a multiple of 5?
True
Let i be 232/4 - 2/2. Let x(p) = 3*p - 34. Let b be x(-3). Let o = b + i. Is o a multiple of 5?
False
Let a = 16980 - 11136. Is a a multiple of 29?
False
Let b be -5*1 + ((-15)/5 - -10). Suppose 132 = 2*u + b*z, -2*u + 144 = -2*z + 20. Is u a multiple of 4?
True
Suppose 421617 = 214*q - 369541. Does 13 divide q?
False
Suppose -12*f = -4*f - 10080. Suppose -5*j = -f - 1180. Is j a multiple of 61?
True
Let n(h) = 59*h + 13 + 3*h**2 - 1 - 8. Does 9 divide n(-21)?
False
Let s(i) = i**2 + 9*i - 19. Let f be (9/6)/((-4)/40). Let u be s(f). Suppose 11 = -b + u. Is 20 a factor of b?
True
Suppose -15*s + 12*s + 108 = 0. Let z be 0 - -12*(-2)/(-3). Does 12 divide (z/(-12))/((-2)/s)?
True
Is 14 a factor of 825202/49 + 216/189?
True
Let a(b) = -b**3 - b**2 - b - 1. Let i(k) = -5*k**3 - 2*k**2 + 3. Let r(l) = 2*a(l) + i(l). Let s be r(-2). Let f = 30 + s. Is 19 a factor of f?
False
Suppose 3*o + 2302 - 91 = 3*b, -3*b - 3*o + 2193 = 0. Let d = 1261 - b. Is 17 a factor of d?
True
Suppose -b + 1 = 0, -4*b + 5*b = -t + 5. Let n = -20 - -20. Suppose 6*f - 564 = -t*h + 2*f, n = -5*f - 15. Is h a multiple of 24?
True
Is 76 a factor of (-1)/(2 - 27990/13992)?
False
Suppose -14*l - 25*l + 117 = 0. Suppose 997 = 4*z - 5*m, 6*m - 228 = -z + l*m. Does 81 divide z?
True
Let t(g) = 7*g**3 + g**2 + 2. Let f be t(-2). Suppose -38 = -8*r - 206. Let q = r - f. Is q a multiple of 11?
False
Suppose 3*h - 5*s - 14072 = 0, -5*s - 14088 = -3*h - 2*s. Does 6 divide h?
True
Is 7 a factor of (12/5)/(186/464380)?
True
Suppose 102*p - 98*p = -1744. Let k = -353 - p. Is k a multiple of 83?
True
Suppose 0 = -5*l + 9*l + 1256. Let d = l + 674. Is 9 a factor of (15/(-4))/((-6)/d)?
True
Let h(i) = 157*i**2 + 35*i + 356. Does 6 divide h(-8)?
False
Let f = 32 - 30. Suppose 0 = -z + 4*u - 16, -4*z + 30 = z + f*u. Suppose -26 = -5*p + 3*b + 65, -9 = -p - z*b. Does 4 divide p?
False
Suppose -h = -0*h + h. Suppose 9*g + 2*g - 990 = h. Does 9 divide g?
True
Suppose -2*b = -2*t - 146, 2*t + 303 = 5*b - 47. Suppose -c = -4*m - b, m + 12 = 11. Does 29 divide c?
False
Does 16 divide 2 - ((-1141560)/54 + -13 + 0)?
False
Suppose -84*d + 170 = -74*d. Suppose -s - 1093 = -3*c, 14*c = d*c - 2*s - 1094. Is c a multiple of 4?
True
Let j(x) = x - 6. Suppose 54 = -h + 10*h. Let o be j(h). Suppose -2*p = -l - 4*p + 4, o = 3*l - 2*p - 28. Is l a multiple of 2?
True
Is 129 a factor of (74442/10 + -1)/(11 - 1166/110)?
False
Let o = -393 + 161. Let q = o - -392. Does 20 divide q?
True
Let p = 21891 - 20845. Is 6 a factor of p?
False
Does 33 divide 41*-106*(-14)/7?
False
Does 24 divide ((-4340)/16 - 1)/((-309)/6592)?
True
Let d be ((-3214)/(-5))/((-2)/(-10)). Suppose -4*u = -2*v + d - 880, -2316 = -2*v - 2*u. Is v a multiple of 19?
False
Suppose -a = -2*a + 60. Is (68/(-6) + 0)/((-10)/a) a multiple of 9?
False
Let l = 446 - 17. Suppose -25*z = -5421 - l. Is 18 a factor of z?
True
Let j = -1111 - -2911. Is j a multiple of 10?
True
Let a(d) = -452 + 415 - 10*d + 35*d. Is 61 a factor of a(9)?
False
Let b(w) be the first derivative of 9*w**2/2 + 32*w - 126. Is 19 a factor of b(7)?
True
Let y = -10 + 28. Suppose -13*q + 70 = -y*q. Let v = 24 - q. Is 19 a factor of v?
True
Suppose 0 = -2*w + z + 22, -z = -6*w + w + 52. Is 5 a factor of (w/(-3))/(5/345*-2)?
True
Let r = 59 + 1. Let p = r + 45. Does 16 divide p?
False
Let q be 66/(-154) - 24/(-7). Suppose -5*p + 3512 = b, q*p + 19*b - 2110 = 17*b. Is 19 a factor of p?
False
Let j(f) = -f**2 + 6*f - 5. Let r be j(4). Let o be -10*84/(-9) + (-1)/3. Let c = r + o. Is c a multiple of 16?
True
Let m(a) = 16*a - 9. Suppose 3*l + 4*f - 49 = -f, -5*l - 4*f + 60 = 0. Let p be m(l). Let o = 250 - p. Is 19 a factor of o?
False
Let w(v) = 18*v**2 + 7*v + 21. Let g be w(-3). Let q = -36 + g. Does 18 divide q?
True
Let h = 139 - 137. Suppose -h = -j, -5*x + 1360 = -13*j + 18*j. Does 15 divide x?
True
Let p(g) = -g**2 - 11*g - 8. Let v be p(-10). Suppose -2*d - 348 - 402 = -5*n, 0 = n + 4*d - 150. Suppose -o = v*o - n. Is 7 a factor of o?
False
Let f be 39 + 1*(-4 - -1). Suppose -13*v = -10*v - f. Suppose 8 = -2*d + 4*l, -d + 2 = 4*l - v. Is d a multiple of 2?
True
Let c(i) = 5*i**2 - i + 3. Let s be c(-2). Does 21 divide (-45)/s*170/(-6)?
False
Suppose -x + 3*y = -43 - 23, -2*x - 2*y + 124 = 0. Suppose 52 = 5*p - x. Let c = 203 - p. Is 45 a factor of c?
True
Let d = 891 + -489. Suppose 4*j - d = 2*c, -2*j + c = -7*j + 492. Is 23 a factor of j?
False
Is 9 a factor of 4/(-6) - 200637/(-243)?
False
Let m(z) = -220*z + 3471. Is m(-107) a multiple of 149?
False
Suppose 3*d + 206 + 115 = 0. Let c = 179 + d. Is c a multiple of 18?
True
Let s = -7575 + 28388. Is 277 a factor of s?
False
Suppose 5*j - 28*j = -98003. Is j a multiple of 12?
False
Suppose 0*a + 3*a + 55 = 238. Is a a multiple of 7?
False
Suppose 141 = -4*n + 2125. Suppose -n - 92 = -7*p. Is p a multiple of 12?
True
Let h(l) be the first derivative of -l**4/4 + 3*l**3 + 3*l**2/2 - 3*l + 5. Is h(9) a multiple of 8?
True
Suppose 4*x - 3*j = 2363, -2*x - 3*j = -0*j - 1177. Does 23 divide x?
False
Let u = -3727 - -10638. Does 7 divide u?
False
Suppose -5*d + 4515 = 2*a + 220, -4*d = 4. Does 10 divide a?
True
Let p(n) = -19*n + 75. Let k be p(-18). Let u = -10 + k. Does 11 divide u?
True
Suppose -4344 = -s + 3*n, -4*n - 17440 = -72*s + 68*s. Is 28 a factor of s?
True
Suppose -1722 = -3*o + 6*o. Let n = 306 + o. Is 22 a factor of 9/((-18)/n) - -5?
False
Let c(w) = w**3 + 42*w**2 - 96*w + 26. Is c(-42) a multiple of 40?
False
Let w(t) = t**2 - t + 1. Let k(y) = -6*y**2 - 8*y - 114. Let a(m) = -k(m) - 5*w(m). Does 16 divide a(17)?
False
Let n(t) be the second derivative of t**5/10 - t**4 - 20*t**3/3 - 5*t**2/2 + 2*t - 14. Is n(9) a multiple of 17?
False
Let y be (20*(-8)/(-20))/(1/20). Does 27 divide ((-64)/y)/((-1)/540)?
True
Let s = 20 - 14. Suppose -s*p - 27 - 45 = 0. Does 3 divide 0 - -26 - (-10 - p)?
True
Suppose 5*s = 147*z - 150*z + 25168, 4*s = 4*z + 20160. Does 14 divide s?
False
Let p(t) = -12*t - 42. Let a be p(-4). Suppose 316 = a*i - 1994. Is i a multiple of 77?
True
Suppose -26755 = -5*c + 3*s - 5*s, 0 = -5*s. Is 54 a factor of c?
False
Suppose 0 = 17*q - 27018 + 6040. Does 3 divide q?
False
Let n = 9386 + -8258. Does 12 divide n?
True
Let x(i) = i + 207. Let u be x(41). Let w be (-42)/4*(-112)/3. Let s = w - u. Is 34 a factor of s?
False
Let b = -12 + -11. Let o = 30 - b. Is 14 a factor of o?
False
Let t be (2/(-3))/(7/((-11319)/14)). Suppose 2*f - f + t = 0. Let d = f - -174. Does 24 divide d?
False
Does 5 divide (2014/53)/(1 - (-2 + (-1975)/(-659)))?
False
Let a = -22636 - -23659. Does 33 divide a?
True
Let w(y) = -y**3 - 37*y**2 - 13*y - 65. Suppose -14*x + 18*x + 148 = 0. Is w(x) a multiple of 26?
True
Suppose -5*y - 17 = 3, 2*y + 1508 = 3*r. Suppose 5*l = -a + 73, -5*a + l + l = -r. Does 7 divide a?
True
Suppose -39*i - 34944 = -0*i. Let m = i + 1526. Is 45 a factor of m?
True
Let s be 12/3 + 2 + -3. Suppose 120 = s*k - k. Is 3 a factor of k?
True
Suppose 94958*t - 331590 = 94923*t. Does 4 divide t?
False
Suppose 4*y = -3*c + 18736, -18*c + 14*c + 9368 = 2*y. Does 65 divide y/18 + (-12)/54?
True
Suppose -5*w + 285 = 5*k, -4*k = -3*w + 9 + 127. Let s = w - -5. Is 34 a factor of s?
False
Suppose 3*o + 2*n - 10 = o, 0 = -o - 2*n + 8. Suppose o*t = -5*t + 98. Suppose j - 38 = -t. Is 3 a factor of j?
True
Let c = -572 - -567. Let t(v) = -128*v - 316. Is 51 a factor of t(c)?
False
Suppose 2*v = -v - 21. Let j(p) = -p**3 - 6*p**2 + 6*p - 4. Let i be j(v). Suppose -s + 780 = i*s. Is s a multiple of 35?
False
Suppose 0 = p - 2*p + 183. Let l = p - -153. Is 48 a factor of l?
True
Let j(y) = -2*y + 4. Let i be j(4). Let f be 1164/15 + 5/((-50)/i). Let v = f - 68. Does 10 divide v?
True
Let p(k) = -k**3 - 5*k**2 + 3*k + 6. Let r be p(-5). Let o be 18 + (44 - 53 - (1 + -7)). Let a = o - r. Is a a multiple of 6?
True
Let v be (-17