t j(d) = d + 12*d - d**2 - 24 + 42 + 3*d. Let k be j(-10). Let c = -94 - k. Is c a multiple of 17?
False
Does 64 divide (-38)/(12256/2044 + -6)?
False
Does 10 divide (-1 - 7403)*17/(-459)*9?
False
Let o = 14 + -10. Let g be (8/4)/(-4*(-2)/o). Suppose 5*q - 489 = g. Is q a multiple of 13?
False
Let u(t) = t**3 - 101*t**2 - 634*t + 299. Does 3 divide u(107)?
True
Let m = 158 - 145. Suppose -m = 5*u + 87. Is 11 a factor of (6/u*-5)/(2/156)?
False
Is 16 a factor of (2/(-4))/((-860532)/(-53784) + -16)?
False
Let p be (42 - (-4 + 8))/1. Let o = p - 35. Suppose 0 = 2*y - o*y + 21. Is y a multiple of 7?
True
Let q(g) = -37*g**2 + 3*g - 4. Let u be q(3). Let y(h) = -17*h**2 + 28*h - 219. Let n be y(5). Let d = u - n. Is 22 a factor of d?
True
Suppose -4*n + 58320 = 4*o, -1467*n + 1469*n - 72900 = -5*o. Is o a multiple of 15?
True
Let r(w) = 14*w + 1. Let h be r(-2). Let t = -31 - h. Does 14 divide -9*(-80)/(9 + t)?
False
Suppose 5798385 = 106*i + 2*i + 27*i. Does 139 divide i?
True
Suppose -1213*m + 1208*m = -3*t - 42104, -m + 3*t = -8416. Is 4 a factor of m?
False
Let y = 88 + -87. Is y*14/(-3)*1413/(-6) a multiple of 13?
False
Let u(r) = -4*r**2 + 45*r - 36. Let h be u(10). Suppose 849 = h*l - 2413. Is l a multiple of 75?
False
Let b = -45188 + 66818. Does 206 divide b?
True
Suppose 3*x = 3*s - 891, -3*x + 2*s = 7*s + 875. Let i be 55/(x/100 + 3). Is 13 a factor of i/30*6/4 - 3?
True
Let d be (900/35)/(-6) + 2/7. Let t be (0/7)/(d/2). Is 13 a factor of (t - -2) + 334/2?
True
Suppose 22*v = 16*v + 30. Suppose 4*r + 4*y = 916, v*r - 114*y - 1145 = -111*y. Is 26 a factor of r?
False
Let d(o) = 32*o - 109. Let f be d(4). Suppose 0 = -f*w + 11*w + 2304. Is 8 a factor of w?
True
Suppose 5*o - 2*p = 390, -o - p + 165 = o. Suppose -5*b - 2*v = -3*v - o, b - 16 = 2*v. Suppose 3757 - 1325 = b*w. Is w a multiple of 19?
True
Suppose 3*p + 16 = -339 + 3358. Is p a multiple of 13?
True
Suppose 0 = p + 27 - 115. Suppose g - c - 73 = 0, 3*g - 133 = 2*c + p. Is 5 a factor of g?
True
Is (699 - -4) + 45 + -55 a multiple of 7?
True
Suppose 0*x - 4 = 2*x, -3*k = -3*x + 135. Let z be 2/(-12)*9*-38. Let l = z + k. Does 10 divide l?
True
Suppose -y + 6*r + 16 = 2*r, -46 = -5*y + 3*r. Does 38 divide 716*((-7)/(-14) + 2/y)?
False
Does 55 divide 71059/(-76)*-8 + 12/114?
True
Suppose 949 = -r + 4*j + 5111, j = -3*r + 12551. Does 41 divide r?
True
Let a be ((-18)/15)/(2 - (-2253)/(-1125)). Suppose -3*g = -g - a. Let b = -144 + g. Is 18 a factor of b?
False
Suppose q + 2*x = -2, -3*q = -2*q + 4*x + 8. Suppose 4*b - 5*c + c = 740, 970 = 5*b + q*c. Is 9 a factor of b/(-4)*(-104)/130?
False
Let k(q) = 3*q + 12. Let a be k(6). Suppose -a = -2*d + 192. Suppose -5*p = -d - 119. Is p a multiple of 23?
True
Let y(w) = 4*w + 35. Let i be y(-8). Let l(z) = 135*z - 9. Is 9 a factor of l(i)?
True
Let f = 191 - 136. Suppose -6*i = -f - 359. Suppose w = 4*s - 112, 0 = 5*s - 5*w - 71 - i. Does 11 divide s?
False
Let j(x) = 4 - 27*x**2 + x**3 + 40*x**2 - 21*x**2 - 9*x + 12. Does 14 divide j(11)?
True
Let v(q) = 25*q**3 - 5*q**2 + 62*q - 201. Is 216 a factor of v(6)?
False
Let x(i) = 90 + 7*i - 159 + 81 + 429*i. Is x(1) a multiple of 32?
True
Let r be 284016/60 + (-4)/(-10). Suppose 12*h + 522 + r = 0. Let o = -300 - h. Is o a multiple of 16?
False
Let j be (-5)/(-10) + 4/(-8). Suppose j = 3*z - 4*u + 23 + 15, 9 = z + 3*u. Is 268/6 - (20/z + 3) a multiple of 4?
False
Let u(h) = h + 1. Let f(p) = 4*p - 1. Let q(a) = f(a) + 2*u(a). Let y be ((-94)/(-12) - 1) + (-15)/(-90). Is q(y) a multiple of 12?
False
Suppose -3*h + 3 = 3*g, 0*h - h = 2*g - 1. Suppose -4*j - 1890 = -5*n, -3*n + g*j + 1117 = j. Is n a multiple of 22?
True
Let h(s) = 5*s - 18. Let l be h(4). Suppose m - l*m = -2*g - 44, -g = 3. Is 3 a factor of m?
False
Let t = -3128 - -4958. Does 13 divide t?
False
Let d = 112 + -36. Let u = d + -49. Suppose 37 = 8*i - u. Does 6 divide i?
False
Let v = 304 + -294. Is 3328/v + (5 - (-24)/(-5)) a multiple of 9?
True
Suppose 20*d + 10368 = 3*h + 25*d, 0 = -5*h - 2*d + 17261. Is h a multiple of 119?
True
Let b be (17/3)/(((-10)/(-75))/2). Let v = 382 - b. Does 10 divide v?
False
Let x = -9927 - -14451. Is x a multiple of 26?
True
Suppose -s - 6*s = -s. Suppose s = -17*t + 383 + 841. Is t a multiple of 6?
True
Let w(f) = -f**3 + 13*f**2 + f - 19. Let n be w(13). Let g be 44/n + (-3)/((-27)/(-6)). Let x = g + 41. Is x a multiple of 18?
False
Suppose 52 = n - 3*n. Let h(g) = 2*g + 34. Let z be h(17). Let o = n + z. Is 7 a factor of o?
True
Let k = 175 + -153. Suppose -k*q + 13*q + 1008 = 0. Does 22 divide q?
False
Suppose c - 2702 = -5*k, 204*c - 207*c - 2*k + 8002 = 0. Is 22 a factor of c?
True
Let a(v) = -v**3 + 10*v**2 + 22*v - 19. Let w be a(10). Suppose -200*z - 92 = -w*z. Does 3 divide z?
False
Let c(t) = -244*t**2 - 4148*t + 39. Does 93 divide c(-16)?
False
Suppose k + 105301 = 5*y, -2*y + 60961 = -5*k + 18836. Is y a multiple of 27?
True
Let p(o) be the second derivative of -o**5/5 - o**4/6 + 5*o**3/6 - 3*o**2/2 - 3*o. Let q be p(-4). Let j = q - 119. Is j a multiple of 24?
False
Suppose -81 = -5*o - 2*q, -2*o + 4*q = 2*o - 76. Let s(c) = 15 - 122*c - 18 - 37 + 125*c. Does 3 divide s(o)?
False
Let m be ((-10)/(-20))/(2/(-1740)). Let r = -339 - m. Is 16 a factor of r?
True
Let m(a) = a - 35. Let i be m(31). Let r = -15 + 17. Does 6 divide r*16 - (5 + 1 + i)?
True
Let r = 36 - 50. Let i = r - -25. Suppose 189 = -8*s + i*s. Is s a multiple of 17?
False
Suppose -2*i + 179 = -5*s, -161 - 327 = -5*i - s. Let n = i + -10. Suppose -d + 23 = -n. Is d a multiple of 31?
False
Let r = 3080 + -2660. Is r a multiple of 5?
True
Suppose 330143 - 983567 = -129*l + 1672704. Does 23 divide l?
True
Let q(v) = -28*v**3 - 6*v**2 - 11*v + 19. Is q(-6) a multiple of 14?
False
Let q be 3/(-2)*2232/(-54). Let f = q + -38. Is f a multiple of 3?
True
Let c = 530 + -1022. Is c/(-10)*(-145)/(-58) a multiple of 24?
False
Let a = 84 - 93. Is 24 a factor of 11*267/27 + (-2)/a?
False
Let b be ((-4)/8)/(1/(-202)). Let f = 335 - b. Does 39 divide f?
True
Suppose 2*w + x + 1 = -1, 4*w - x - 8 = 0. Let s(m) = 65*m**3 - m**2 + 3*m - 2. Is s(w) a multiple of 13?
True
Suppose 0 = -44*n - 6040 + 209320. Is 55 a factor of n?
True
Suppose -17*b + 24*b + 126 = 0. Let k(t) = t**2 - 9 + 3 + 7*t + 18 + 7*t. Does 21 divide k(b)?
True
Is 2/(-6) - 368/138 - -19946 a multiple of 91?
False
Let d be (-4)/6 + (-340)/(-51) + -4. Let y(l) = 112*l - 26. Is 11 a factor of y(d)?
True
Suppose 3*s - 8*s + 11 = -2*i, i - 5*s + 13 = 0. Suppose i*g - 3*y + 3 = 0, 4*g - 2*y + 6*y - 24 = 0. Is 0 - (-14 - (g + -3)) a multiple of 5?
False
Let a(x) = 28*x**2 - 218*x + 55. Is a(16) a multiple of 114?
False
Let d be ((-512)/(-10))/(-7 + (-1266)/(-180)). Let x = d - 856. Is x a multiple of 17?
True
Let c(q) = q**3 - 117*q**2 + 2481*q + 72. Is 6 a factor of c(24)?
True
Let y(m) = 9*m**3 - 11*m**2 - 4*m + 26. Let s(o) = -3*o**3 + 4*o**2 + o - 9. Let i(t) = 11*s(t) + 4*y(t). Let a be i(3). Suppose 25 = -h + a. Does 23 divide h?
True
Let w(g) = 5862*g**2 - 165*g - 485. Is 14 a factor of w(-3)?
False
Is 3 a factor of 329 - (5 - 1) - -19?
False
Let o = 15353 - 7664. Is o a multiple of 9?
False
Does 11 divide ((-2170)/(-21) + 8)*33?
True
Let n = 336 - 49. Let j = n - 14. Is 13 a factor of j?
True
Suppose -5*w = 4*s - 4*w - 13, -2*w = -2. Suppose s*r - 22 = -13. Does 26 divide r + 152 + 2/2?
True
Let t(x) = x**3 + 18*x + 38. Is t(16) a multiple of 6?
True
Suppose 0 = 4*l - 5*x - 54861, 5*x - 298 + 263 = 0. Is l a multiple of 94?
True
Suppose -4*s - 20 = 3*o - 7*o, 0 = 3*s + 3*o - 9. Let b be -15*-3*(5 + s)/12. Suppose b = 7*d - 993. Is d a multiple of 35?
False
Let r(c) = 902*c - 945. Does 23 divide r(5)?
True
Suppose i + 4*h = -10, 0 = -13*h + 9*h - 8. Suppose 6*o - 36 = 36. Is (942/o)/(i/(-4)) a multiple of 22?
False
Suppose -9*j - 1092 = -3*j. Let n = -129 - j. Does 8 divide n?
False
Suppose 5*u = -5*n + 1455, 1467 = -0*u + 5*u + 2*n. Suppose 10*p - 145 - u = 0. Does 11 divide p?
True
Suppose c - 4*d = 2199, 5*c = -1178*d + 1175*d + 11041. Is 31 a factor of c?
False
Let y(k) = 2*k**3 - 11*k**2 + 18*k - 21. Let f(s) = 0*s**2 + s**2 - 2*s + s - 1 + 0*s - s**3. Let t(b) = 3*f(b) + y(b). Is 11 a factor of t(-10)?
False
Suppose 37*h - 27*h - 87768 = -36*h. Is 18 a factor 