actor of 666/6 - 12/h?
False
Let b = 16 - -119. Suppose 0 = i - 4*l - b + 43, 0 = 2*i - 5*l - 172. Is 24 a factor of i?
False
Suppose -8 = -4*u, -2*d + 3*d - 2*u + 66 = 0. Let f = d + 66. Suppose 0 = 4*y + 12, -l + 60 = -0*y - f*y. Is 8 a factor of l?
True
Let v be (-101)/(5 - 42/9). Let s = v - -327. Is s a multiple of 24?
True
Suppose -7*i - 7 = 7. Let t(a) = 20*a**2 - 10*a + 4. Is 52 a factor of t(i)?
True
Suppose -4*x + 2*g + 28 = 0, -2*x = -5*x + 3*g + 27. Suppose -w = -k - 5, 3*k + 0*w = -w + x. Suppose -3*h + 12 = k, -2*o + h + 24 = -h. Is o a multiple of 8?
True
Is 24 a factor of (-194859)/(-33) + -1 + -6 + (-340)/(-55)?
True
Let i = -1371 + 2007. Let l = -414 + i. Does 8 divide l?
False
Suppose -15978 - 12623 = -37*m. Suppose 7*l - m = 4*l - 5*i, i - 1281 = -5*l. Is l a multiple of 11?
False
Suppose -4*m + 28*r + 29311 = 29*r, -4*m + r = -29321. Does 24 divide m?
False
Let l(v) = -v + 0*v + 137*v**2 - 136*v**2 + 1. Let c be l(2). Suppose -343 + c = -5*z. Does 16 divide z?
False
Suppose -l = -2*l - 27. Let t be l/((-1)/1) + 3. Suppose 2*w = 90 - t. Does 30 divide w?
True
Suppose -13695 = 6*r + 411. Let g = r + 3476. Is g a multiple of 16?
False
Does 46 divide (34/3 - 2)/((-816)/(-1379448))?
True
Let r be 3/(-9)*(-5 - -8). Is 438 - 12/(-4 - r) a multiple of 13?
True
Let f(n) = 6 - 4*n**2 + 29*n**2 + 11*n - 5*n**2 - 6*n**2 - 13*n**2. Suppose 0*k = 4*k + 52. Does 14 divide f(k)?
False
Let m(q) = 38*q**2 + 3*q - 3. Let z be m(2). Suppose -3*u + z + 127 = 4*p, -174 = -2*u + 2*p. Let b = -26 + u. Is b a multiple of 16?
True
Let g(z) = z**2 - 20*z - 67. Let n be g(23). Suppose 5*c + 13 = -2*o + 20, 0 = -2*o + n*c + 28. Is o even?
False
Let d = -176 + -158. Let a = -151 - d. Let b = a + -51. Does 11 divide b?
True
Suppose -52*y = -57*y + 60. Suppose -8 = -2*p + 2*a, -4*a - y + 0 = -2*p. Suppose m - 22 = -p*x + 3*m, -5*m - 39 = -4*x. Is 4 a factor of x?
True
Suppose 0 = 8*r + 2501 - 957. Is 6/45 - r/15 a multiple of 13?
True
Let i = -5186 - -6686. Is 30 a factor of i?
True
Suppose 58*o - 297384 = -95149 + 1153515. Does 49 divide o?
False
Let b(m) = 98*m + 967. Is b(21) a multiple of 6?
False
Let s(q) = -142*q + 210. Is s(-23) a multiple of 44?
True
Suppose -a + 9 = 2*a. Suppose 2*h - 132 = -a*k, 4*h - 272 = k - 3*k. Let n = 16 + h. Is 14 a factor of n?
False
Let w = 697 + -122. Let p = 616 - w. Is p a multiple of 23?
False
Let j = -79 - -113. Let y = 680 - 631. Let r = y - j. Does 5 divide r?
True
Let h(d) = 129*d + 874. Is h(9) a multiple of 37?
True
Is 12 a factor of (-1)/(-1)*-16*(-3804)/16?
True
Suppose -4*m + 2*c + 312 = 0, -5*m + 490 = -c + 103. Let x = m + 57. Does 59 divide x?
False
Suppose 7206*x = 7203*x + 13206. Does 142 divide x?
True
Let q = -24211 + 38698. Does 33 divide q?
True
Suppose 3*q - 20 = -2. Let a = q - 3. Is a - (4 + -3) - -16 a multiple of 12?
False
Let j(s) = 28*s**2 - s + 175. Does 5 divide j(18)?
False
Is 9*2/9 - (-4548 - -5) even?
False
Let y = -1149 + 138. Let i = -608 - y. Is i a multiple of 24?
False
Suppose -26*r + 8297 = -3*r - 78689. Is r a multiple of 3?
False
Let f be 36*(14 + (-236)/18). Suppose 2*w - 76 = -2*w. Let h = f - w. Is 12 a factor of h?
False
Let u = 10228 - 3859. Is 33 a factor of u?
True
Let h(u) = -1581*u + 6. Let x be h(-2). Suppose 2*t = -4*t + x. Is 3 a factor of (1/(-3))/((-8)/t)?
False
Let k(i) = -5*i - 5. Suppose -13 + 1 = l. Let v be (6 + 0)/(l/24). Does 15 divide k(v)?
False
Let i(m) = 801*m**2 - 26*m + 77. Is i(3) a multiple of 101?
False
Let v be 0 + (-63)/3 + 0. Let s = 2438 + -2429. Is (36/v)/(s/(-84)) a multiple of 13?
False
Suppose 4*h = 20*h - 80. Suppose -k - 2 = -4. Suppose 0 = 4*l + a - 512, k*l + h*a + 133 = 389. Does 16 divide l?
True
Let k(p) be the first derivative of -9/2*p**2 + 36*p + 4. Is k(-18) a multiple of 33?
True
Suppose 4*l - 221*x + 219*x - 17388 = 0, -l - 2*x + 4347 = 0. Is l a multiple of 63?
True
Let s = -2918 + 5186. Does 15 divide s?
False
Let a(i) = 24*i**2 + 194*i + 4. Does 9 divide a(-11)?
True
Suppose 104*v - 121*v = -56270. Is v a multiple of 10?
True
Let l be (2 - 1)/((-1)/(-2)). Suppose 0 = 2*k + l*c - 554, 3*k + 6*c - 835 = 5*c. Is k a multiple of 16?
False
Let b(k) = 6*k - 3*k - 11*k + 5 - 12*k**3 + 6*k. Does 14 divide b(-3)?
False
Let l = 46876 + -4081. Is l a multiple of 101?
False
Suppose 0 = z - 5*j - 6496, -5*z = -48*j + 45*j - 32480. Is 28 a factor of z?
True
Suppose 17*x = -0*x + 10710. Let h(y) = 108*y. Let f be h(4). Let r = x - f. Is r a multiple of 18?
True
Suppose -42*y + 40*y - 3*f = 1228, 640 = -y + 5*f. Does 38 divide y/(-3) + 26/(-39)?
False
Let v(a) = 12*a + 190. Let w be v(-15). Suppose n + 2421 = w*n. Is 3 a factor of n?
False
Let l = 3894 + 13100. Is 58 a factor of l?
True
Let s = -1703 - -2393. Suppose -o + s = 3*d, -5*o - 635 = -5*d - 4145. Is o a multiple of 43?
False
Let a be (-1)/(-2) - (-4)/(-8). Suppose -10*n + 1609 + 1511 = a. Does 12 divide n?
True
Suppose 3*z + 2*t = 66908, 0 = -3*z - 0*z + 2*t + 66892. Is z a multiple of 192?
False
Suppose 13 = 2*n + 3*o, 4*n + o = 19 + 2. Suppose 4*v = 2*v - n*c + 414, 5*v - c = 1089. Is v a multiple of 45?
False
Is 510 + 3/(-6 + (-30)/(-4)) a multiple of 8?
True
Suppose 0 = -2*f + 5*f - 60. Suppose -f*s + 6*s = -2436. Does 3 divide s?
True
Let k = -195 + 28. Suppose -10*x - 66*x - 6080 = 0. Let u = x - k. Is u a multiple of 13?
False
Let t be 2/(-9) - 1*(-19797)/27. Let v = t + -382. Does 13 divide v?
True
Let h be -2 + 3 + -1 + 6 + -1. Suppose 6*l - 13 = h. Is (l/((-36)/56))/(3/(-54)) a multiple of 7?
True
Let m = 119 + -69. Let x = -5 + m. Does 10 divide (-20)/(10/x - 11/9)?
True
Suppose -11*m + 10*m + 365 = 0. Suppose -131 = 2*a - 4*a + q, 5*a + 5*q = m. Suppose 2*h + a = 6*h. Is 3 a factor of h?
False
Let z be (-1)/(2/10904*-4). Let y be 3/7 + 1558/7. Suppose -12*m = y - z. Does 16 divide m?
False
Suppose -3*p - 5*m = -6*p + 65, 0 = -3*p - 3*m + 33. Does 12 divide 5/(p/3348) - (-20 + 16)?
False
Let i = -27249 - -44454. Is 24 a factor of i?
False
Let q(k) = -3*k + 11. Let z be q(4). Let s(u) = -5*u - 3. Let t be s(z). Suppose -t*a - 200 = -6*a. Is 11 a factor of a?
False
Let h be 0*(-2)/10 - 4. Let n be 42/56 - 21/h. Suppose -3*p - 2*l = -n*p + 148, -4*l = -16. Does 13 divide p?
True
Let j be -5 - (0 + 5 + 0). Let n be (-1)/5 - (12/j - 1). Suppose -13*y - n*y = -3120. Does 8 divide y?
True
Let s = 5066 + 191. Is s a multiple of 22?
False
Let l be (1 + 1)/(-4 - (-252)/66). Let j be 2/l + 210/66. Is (-16)/24*j*-67 a multiple of 14?
False
Let v(x) = x**3 + 6*x**2 - 17*x - 7. Let u = -34 + 26. Let d be v(u). Let j(f) = 146*f + 4. Is 30 a factor of j(d)?
True
Let u(h) = 3*h - 9. Let l be u(6). Suppose -1 = -l*s + 26. Suppose q + 113 = s*x, -x + q + 33 = -2. Does 2 divide x?
False
Suppose -2882*k + 870400 = -2862*k. Does 10 divide k?
True
Let f(l) = -l**3 - 25*l**2 - 514*l + 2. Does 14 divide f(-18)?
True
Let v(b) = -58*b - 682. Does 26 divide v(-77)?
False
Let b(w) = -w**3 - 22*w**2 - 23*w - 39. Let i be b(-21). Suppose 2*p = 5*z + 5*p - 749, -z + i*p = -139. Does 4 divide z?
True
Let p = -22 - -22. Suppose 2*b - 6*b + 38 = u, 2*u + 4 = p. Suppose -3*t + 2*w = -4 - b, 0 = -2*t + 5*w - 9. Does 6 divide t?
False
Let p = -27002 - -91874. Is p a multiple of 53?
True
Suppose 24*r - 27*r - 711 = 0. Let s = 82 + r. Let g = s - -232. Is 11 a factor of g?
True
Suppose 3*v - 694 = -3*j + v, 5*j = -2*v + 1162. Suppose 7 = 4*h - 5. Suppose -j = -h*g - 42. Is 32 a factor of g?
True
Let l be 152/48 - (-3 - (-19)/6). Suppose 5*h - 8 = 2*v, 1 + 1 = -h + 4*v. Does 21 divide l/h - 4455/(-54)?
True
Let d(q) = q**2 - 23*q + 53. Let u be d(20). Let n(h) = 5*h**2 + 27*h - 24. Is n(u) a multiple of 16?
True
Let q(l) = -9*l + 18. Let m be q(2). Let y(j) be the third derivative of -j**6/120 - j**4/24 + 21*j**3/2 + j**2. Does 8 divide y(m)?
False
Let n(m) = m**2 + 2*m + 9. Let w be n(-7). Let v = -41 + w. Suppose 4*g = v*p - 198, -2*p = p + g - 198. Is p a multiple of 6?
True
Let j = 121757 - 51659. Is j a multiple of 102?
False
Let m(q) = -5 + 3*q + q + 9*q**2 + 8*q**2 + 0. Let a be m(-5). Suppose -s = -3*k + 224, -3*k + a = 2*k + 5*s. Is k a multiple of 17?
False
Let m be -6*(-2)/(-4)*-1. Suppose -2*b + 5*p + m = 11, -b + 2*p - 3 = 0. Is 9 a factor of 10296/91 + b/(-7)?
False
Let k = 4124 - 3813. Is k