de c?
False
Suppose 0*o + 1032 = -8*o. Let v = 140 + o. Does 11 divide v?
True
Suppose -17*y + 68898 + 2978 = 0. Is y a multiple of 4?
True
Let j = -1399 + 5377. Is j a multiple of 17?
True
Let t be 4/2 + 1 + -1. Let o be 3 - (-865)/30 - (-26)/156. Suppose -s - o = -t*s. Does 3 divide s?
False
Let t be ((-81510)/(-228))/((-2*1)/(-4)). Suppose 2*q + 362 = 2*d, -4*d + t = -q - 0*q. Is d a multiple of 7?
False
Suppose -1486 = 12*v - 10990. Is 36 a factor of v?
True
Let q(u) = 4 + 2*u + 0 - 20*u**3 + 22*u**3 - u**2. Is q(3) a multiple of 2?
False
Let h = -117 - -130. Suppose -h*l = -1208 - 1834. Is l a multiple of 53?
False
Let r be (29/9 - 3) + (-80)/(-45). Let i(j) = 56*j. Is 14 a factor of i(r)?
True
Let l be 1/((-1)/23)*5. Let a(p) = p**3 - p + 8. Let x be a(-7). Let c = l - x. Does 47 divide c?
False
Is (-6 + (-1595)/(-30))*9*(-120)/(-9) a multiple of 77?
False
Let t(x) = -x**3 - 87*x**2 - 220*x - 2723. Is t(-89) a multiple of 105?
False
Suppose k - 5*g = -2*k - 40, -2*k - g - 5 = 0. Let f be 0 - (5 + -14 - k). Suppose v - 2*v = -3*h + 230, 4*v = f. Is h a multiple of 7?
True
Suppose 0 = -199*c + 132*c + 94941 + 68807. Is 3 a factor of c?
False
Let c(l) = 62*l + 2289. Is 5 a factor of c(-36)?
False
Suppose 3 - 15 = -4*l. Let s be (10 - 5)*(-2 + l). Is (-12)/(-3*s/40) a multiple of 16?
True
Let i = -384 + 162. Let x = 447 + i. Does 9 divide x?
True
Suppose -5*q + 1321 = k, -5812 + 1909 = -3*k - 3*q. Is k a multiple of 28?
False
Let f be -10*((-45)/10 - -4). Suppose -2*v + 4*q = -f*v + 272, -v - 2*q + 94 = 0. Is 14 a factor of v?
True
Let k(x) = x**3 - 68*x**2 + 72*x - 216. Is k(67) a multiple of 7?
True
Let m = -21970 + 38250. Is 19 a factor of m?
False
Let r = 6978 + -4410. Is r a multiple of 43?
False
Suppose 0 = 44*p + 1655 + 5297. Let a be 2 + (2 - 4) - 88. Let z = a - p. Is z a multiple of 41?
False
Let k = -330 + 323. Let s(b) = -2*b**3 - 5*b**2 - 17*b - 9. Is 29 a factor of s(k)?
True
Does 11 divide (-136)/170 + 96372/15?
True
Suppose 16500 = -62*i + 84*i. Is 30 a factor of i?
True
Does 64 divide -1 + 6 - (-14587)/2*2?
True
Let z be (1 - -2)/((-4)/20). Let t be ((-2331)/(-15))/3 - 3/z. Suppose -51*w + t*w = 30. Does 15 divide w?
True
Suppose 4*o = 3*o + 4*j + 4, 20 = 5*o + 4*j. Let c(r) = -r - 3. Let h be c(-7). Suppose 340 = h*t - 3*k, -255 = -o*t + t - 5*k. Is t a multiple of 10?
False
Let f be 3 + (-45 - 1) - -1. Let y = -37 - f. Suppose 0 = 3*h - y*h + k + 105, 5*k = 5. Does 9 divide h?
False
Let k(d) = 5*d + 14. Let m be k(-3). Does 93 divide 16743/18 + (-10)/(-12) + m?
True
Let o = -176 - -102. Suppose -3*u - 184 = -2*g + u, -2*u = 6. Let b = o + g. Is 3 a factor of b?
True
Let j(g) = 15*g + 107. Let l(h) = -2*h**2 - 2*h + 5. Let v be l(-3). Does 2 divide j(v)?
True
Suppose 2*q + 5*u - 101 = 0, 0 = 2*q - 6*u + 10*u - 100. Is 8 a factor of q?
True
Let t(q) = -6*q**2 + 162*q + 36. Let p be t(27). Suppose p*o = 23*o + 10296. Is o a multiple of 33?
True
Let c(r) = 116*r**2 + 79*r + 7. Does 93 divide c(5)?
False
Let x(g) = -g**3 - 6*g**2 - 5*g - 8. Suppose 19*d + 6 = 18*d. Is x(d) a multiple of 2?
True
Let t be (-6)/(-8)*(12 - 4 - -64). Is 11 a factor of 3 + 3 + t + 6?
True
Suppose -t + w = -6*t + 35, 2*t + 3*w - 14 = 0. Does 7 divide -154*(23/t + -5)?
False
Is 163 a factor of (-26 - (-15965)/31)/(2/90 + 0)?
True
Let g(s) = -s**3 - 3*s**2 - 5*s + 3. Let b be (-275)/66 - (-3)/18. Is 24 a factor of g(b)?
False
Suppose 15 = 13*h - 24. Suppose 3*z = h*q + 285, -42*z + 37*z + 457 = 4*q. Does 31 divide z?
True
Let y(j) = -j**3 - 50*j**2 + 131*j + 241. Is 25 a factor of y(-53)?
True
Suppose 7*b = 3*b - u + 40, b = 5*u + 31. Let p = 15 - b. Suppose -356 = -p*l + 92. Does 28 divide l?
True
Suppose -50 = -3*k + 28. Suppose 3696 = k*z - 14*z. Is 17 a factor of z?
False
Suppose -28*j = 9*j - 2775. Suppose 496 + j = v. Does 23 divide v?
False
Suppose 6*r + 4*l = -l + 29522, 0 = 2*r + 4*l - 9822. Is r a multiple of 161?
False
Suppose 54*o - 59404 = 49*o - 3*b, 11876 = o + 3*b. Is 128 a factor of o?
False
Let h(f) = -5*f**3 - 14*f**2 - 6*f + 87. Is h(-12) a multiple of 17?
True
Let r(s) = 9*s**2 + 3*s - 4. Let h be r(5). Suppose -41*l + 42*l + h = 0. Let f = -134 - l. Is f a multiple of 4?
False
Suppose -9*m - 53259 = -179871. Is 5 a factor of m?
False
Suppose 0 = -2*p - 5*n + 77862 - 24030, 8 = 4*n. Is 174 a factor of p?
False
Does 81 divide 48/(-40)*61155/(-6)?
True
Let u be ((-4)/4)/((-1)/5). Let i be 10 - (40/u - 4). Does 12 divide (-46)/i*3/2*-2?
False
Let d = -279 + 286. Suppose d*s + 139 - 1308 = 0. Is 7 a factor of s?
False
Let q = -917 + 9912. Does 13 divide q?
False
Let y(f) = -13*f + 154. Let x be y(28). Let m = 333 + x. Does 41 divide m?
True
Suppose 27231 - 128481 = -25*y. Is y a multiple of 30?
True
Is (2 + 102/4)*(56/7 - 0) a multiple of 110?
True
Let l = 1969 + -1158. Is l a multiple of 5?
False
Let x = 201 - 57. Let s = 888 - x. Suppose -4*d + 4*j + s = -j, 20 = 5*j. Is d a multiple of 16?
False
Let m = 142 - 191. Let q = 78 + m. Is 29 a factor of q?
True
Let h = 18945 + -11307. Is h a multiple of 20?
False
Let t be 3/(-21) + (-30)/(-14). Suppose -6*b = -t*b + 316. Let f = b + 142. Is f a multiple of 20?
False
Suppose -2*b + 6 = -4*z, 3*z - 5*z + 15 = 5*b. Let s be z + (-6)/(3 - 4). Is 8/(-2) + s*6 a multiple of 29?
False
Let w = -191 - -191. Suppose -4*k - 5*l + 5764 - 1879 = 0, w = -2*l - 6. Is 26 a factor of k?
False
Let i(f) = 52*f - 53. Let m be i(14). Is 5 a factor of ((m/(-10))/9)/((-12)/40)?
True
Suppose 0 = -3*u + 3*p + 5061, -u + 803 = 5*p - 872. Suppose -5*m - u = -6045. Does 55 divide m?
False
Let o(f) = -2*f**2 + 22*f - 13. Let q be o(7). Let y = 64 - q. Suppose -3*c + y = -5*m + 226, -113 = -2*m - 5*c. Does 10 divide m?
False
Suppose 646*x - 612*x = 1253138. Is x a multiple of 34?
False
Let w = 10071 + -698. Does 103 divide w?
True
Let d = 51 + -56. Let h be 6/10 + (-3)/d*29. Suppose -11*k + 10*k + h = 0. Does 18 divide k?
True
Suppose 77*x - 2019192 = 192633. Does 316 divide x?
False
Let k(x) = x**3 - 10*x**2 - 15*x - 8. Let d be k(13). Suppose -5*n = -2*n - 9. Suppose -3*g = 2*p - d, 5*p = -n*g + 823 - 54. Does 15 divide p?
False
Suppose 4*v + 64256 = -0*v. Is v/24*(-3)/2 a multiple of 32?
False
Let m be 8/(-44) + (-136)/(-22). Suppose 432 = -4*n - 2*b, 2*n + 212 = m*b - 5*b. Let k = n - -111. Is 2 a factor of k?
True
Let l(d) = d + 6. Let y be l(-3). Suppose -2*t + g + 278 = 0, -y*g - 83 + 789 = 5*t. Suppose -2*m + t = -0*m. Does 8 divide m?
False
Let w(y) = -75*y - 2571. Is 10 a factor of w(-57)?
False
Let p = 61 + 83. Suppose 2*o + 3*m = 62, -4*o = 2*m - m - p. Does 10 divide o?
False
Let n be (9/6)/((-3)/8). Let y be (-2 + (-84)/n)/1. Suppose y = j - 21. Is j a multiple of 10?
True
Suppose -54 = -5*u + 5*j - 9, j = -u + 1. Suppose 3*c - u*q + 4*q = 421, 5*q = -5*c + 675. Does 60 divide c?
False
Suppose 4*i - 30 = 2*i - 2*l, 0 = -2*i + 2*l + 22. Suppose 1370 = -i*g - 346. Let t = g - -224. Is 32 a factor of t?
False
Suppose -41*d + 1486224 = 31*d. Is d a multiple of 43?
False
Suppose -22*f = -12*f - 20. Suppose -f*d + 1015 = -1633. Does 13 divide d?
False
Let y = -156 - 352. Is 14 a factor of (y/(-8))/((-5)/(-30))?
False
Suppose 4*l + 6156 = h, h - 2*l - 461 = 5703. Does 8 divide h?
False
Let f = -8154 + 11659. Is f a multiple of 38?
False
Does 35 divide 49045 + (6 - 11) + -22?
False
Suppose -23*w - 30457 = -2*i - 26*w, 0 = 3*i + 3*w - 45678. Is i a multiple of 31?
True
Let i be ((-9)/30)/((-6)/40). Let x be 2 - -81*(-2 - -5). Suppose i*n + 3*d - 243 = 0, -2*d = 2*n + 3*d - x. Is n a multiple of 40?
True
Does 21 divide (20171 - 73) + -2*(-1)/(-2)?
True
Let i be (15*4/18)/((-20)/(-30)). Suppose -3*l = -5*s + 961 + 16, -i*s + l = -969. Is 3 a factor of s?
False
Suppose -16*d + 13*d = -6. Does 33 divide (-327)/(3/(-6)*d)?
False
Let b = 32 + -19. Suppose d = p + 695, -8*p - 3435 = -5*d - b*p. Does 66 divide d?
False
Suppose -2*i = 55 - 235. Let n be (0/(-7) + -3)/(1*-1). Suppose -q + 57 = 3*z, 2*z + i = -q + n*q. Is 23 a factor of q?
False
Suppose -4337 = -7*k - 1285. Let o be 666/21 - (-6)/21. Suppose o + k = 12*d. Does 13 divide d?
True
Let h(w) = -27*w + 38. Let i be h(-5). Suppose 0 = r - 501 + i. Let z = r - 230. Is z a multiple of 9?
False
Let q be (-14)/(-28)*(-2 - -2). Suppose q*a = 3*a + 4*v - 136, -v = 3