 + -61)?
True
Is (((-345912)/35)/(-4))/((-6)/(-15)) a multiple of 87?
True
Let p = 26370 - 23785. Does 55 divide p?
True
Suppose 30*u - 526779 - 863841 = 0. Is 14 a factor of u?
True
Let m = -41878 + 65440. Is m a multiple of 14?
True
Let q = -8271 + 23968. Does 11 divide q?
True
Let i(a) = -17*a - 24. Let v be i(-2). Let o = v + 822. Does 16 divide o?
True
Suppose -5*i - 89499 = -8*i + s, s = 2*i - 59667. Is i a multiple of 33?
True
Let s be 15 + -2 + (2 + 4 - 5). Suppose s = 2*h + 4*m, 3*h + 14 = 5*h + 2*m. Suppose h*v = 34 + 638. Is 12 a factor of v?
True
Let l(s) = -s**3 - 22*s**2 + 140*s - 6. Does 32 divide l(-30)?
False
Is (-51105)/(-10)*((-10)/(-6) - 1) a multiple of 13?
False
Suppose -3*z = -5*j + 77853, -716*z + 715*z = 3*j - 46723. Is 179 a factor of j?
True
Let v = -82 - -75. Let s(a) = 2*a + 18. Let t be s(v). Suppose -7*b = -t*u - 2*b + 447, -5*u + 546 = -2*b. Is 27 a factor of u?
True
Let k(o) = -o**2 - 12*o - 15. Let x be k(-10). Suppose x*i + 0*i = 25, 3*t = -3*i + 381. Is t a multiple of 3?
False
Suppose 2*f = -45*f + 258077. Is 29 a factor of f?
False
Does 16 divide (-83083)/(-26) + (-33)/(-22)?
False
Is 21 a factor of ((-7034)/4)/((-34)/68)?
False
Suppose 21192 = 57*r + 1641. Is r a multiple of 11?
False
Let p(o) = 2303*o - 175. Let y be p(-5). Is (1 - 1)/2 + y/(-7) a multiple of 10?
True
Let x = -25154 + 67725. Does 37 divide x?
False
Let b be (3*2)/(444/(-112) - -4). Suppose 12*a - 10*a = -b. Does 35 divide 30/(((-4)/(-7))/((-72)/a))?
False
Suppose -2432 = -d - 3*c - 2*c, 3*d - 5*c - 7296 = 0. Suppose 477*s = 485*s - d. Is s a multiple of 8?
True
Let m be 22/14 + (2 - (-66)/(-42)). Suppose m*i - 76 + 68 = 0. Is 12 a factor of 4*1 + -46*i/(-8)?
False
Let d = 6968 + 357. Is 25 a factor of d?
True
Let k = 87141 + -43773. Is 12 a factor of k?
True
Suppose 5076 = 4*j + 4*z, 4*z = -j + 6*z + 1284. Suppose -1271*n + j*n - 3309 = 0. Does 44 divide n?
False
Suppose -4*u + 9847 = 5*o, 3*u - 7384 = -19*o + 15*o. Does 80 divide u?
False
Let r be (22 + -23)*(-1 - 3 - 1). Does 6 divide 3 + (-178)/((-10)/r)?
False
Suppose 5*k + 0*k + 2*q = 8, 0 = -2*k + 2*q - 8. Let j be (7/2 - 1)*18. Suppose 2*o + 10 = k, 3*o + j = u - 0*o. Is u a multiple of 6?
True
Suppose -10*j - 443 = -1943. Let l = -158 + j. Is 4 a factor of (0 + l)/(2/8*-2)?
True
Suppose -3*p = -4*p + 453. Let q be p/2*8/28*7. Suppose -3*z + 667 = -2*s, -q = 3*z - 5*z + 3*s. Is 53 a factor of z?
False
Let j(u) = 11*u**2 + 76*u + 36. Is 3 a factor of j(12)?
True
Let m(z) = z**3 + 4*z**2 - 6*z - 3. Let a be m(-5). Suppose 5*w = a + 13. Suppose 0 = -0*p + 4*p + 8, 2*l + w*p - 138 = 0. Is l a multiple of 5?
False
Let t(a) = a**2 - 7*a + 8. Suppose 95 = -4*f - 81. Let x = f + 51. Is t(x) even?
True
Let v be (-2094)/(-8)*(-64)/(-24). Let n = v - 375. Is 17 a factor of n?
True
Let a be 5 + 1872/(2 + 1). Suppose 3*j - 1619 = 2*x, -3*j - 5*x - a = -2241. Is j a multiple of 8?
False
Suppose -224*x - 15533 - 7684 = -8787665. Is 235 a factor of x?
False
Suppose -6 = -2*r - 4*b + 28, -5*r = 2*b - 69. Suppose -16*o = -r*o + 66. Let d = 175 - o. Does 11 divide d?
False
Let k = -842 + 847. Is 3 a factor of -1 + k + (39 - 12 - -14)?
True
Suppose 3*u = -s + 889, -328 = -3*s - u + 2371. Does 47 divide s?
False
Let z be 0 - 3 - 648/2. Let k = 146 + z. Let u = k + 304. Is u a multiple of 41?
True
Let h(y) = y**2 + 12*y - 8. Let a be h(-14). Let m = a + 19. Is ((-26)/m)/(4/(-186)) a multiple of 31?
True
Let p be 21/(-168) - (-2935)/(-8). Let a = 23 - p. Is a a multiple of 13?
True
Suppose 0 = 560*d - 446*d - 1413714. Does 98 divide d?
False
Let i = 46114 + -23091. Does 13 divide i?
True
Suppose 4*z - 49708 - 20096 = 0. Is z a multiple of 63?
True
Let d be ((-6)/8)/(-2 - 141/(-72)). Let j(i) = -d + 11*i + 2*i + 7*i - i. Does 13 divide j(7)?
False
Let o(r) = r**3 - 3*r**2 - 2*r - 4. Let x be o(5). Suppose -x*n - 330 = -34*n. Let t = n + 273. Does 12 divide t?
True
Suppose 0 = -2*f + 5*b + 56334, f - 3*b - 15034 = 13136. Is 9 a factor of f?
True
Let d be 114/(-3)*-17 + 2. Suppose 3*m - 170 = -k - 0, -4*k = 4*m - d. Is 41 a factor of k?
False
Let l = 23 + -20. Suppose l*x + 48 = 7*x. Does 23 divide 2/(-8) - -3*93/x?
True
Let i(g) = g**3 - 7*g**2 - 11*g - 34. Let f(b) = 7*b**2 + 12*b + 35. Let v(o) = -3*f(o) - 2*i(o). Does 10 divide v(-5)?
False
Let z(d) = -d**3 + 20*d**2 - 31*d + 4. Let y(f) = -2*f**3 + 39*f**2 - 60*f + 8. Let x(w) = 3*y(w) - 5*z(w). Does 3 divide x(15)?
False
Is 11 a factor of -552*(-726)/99*(0 + 0 - -2)?
True
Suppose 68*o + 3728 = 2*l + 70*o, -4*o = -5*l + 9338. Is l a multiple of 38?
False
Let i = 396 + -394. Suppose -5*w - 242 = -i*t - t, -w - 334 = -4*t. Is t even?
True
Suppose -38 - 166 = -6*s. Let q(l) = l - 29 + s - 2*l. Does 7 divide q(-8)?
False
Suppose 0 = 10*u - 143 + 33. Suppose r = -u*r + 864. Is r a multiple of 9?
True
Let o = 3316 - -1462. Does 78 divide o?
False
Suppose -3*d + 5*s - 3603 = -7*d, 2*d + 2*s - 1802 = 0. Is 28 a factor of d?
False
Suppose 0 = -63*q + 62*q + 2. Suppose -q*s + 693 = 4*w - 227, -2*w + 3*s + 476 = 0. Is 30 a factor of w?
False
Let o be (2 - 15/6)/((-1)/46). Suppose o*y = 18*y + 595. Is (15/9 - 2/(-6)) + y a multiple of 13?
False
Let k be (-3)/(-9) + 2774/57. Suppose 3*h = -0*h + 252. Let l = h - k. Is l even?
False
Let q(m) = 249*m - 3262. Does 12 divide q(43)?
False
Suppose 4*r - c = -0*c + 13, -3*r + 21 = 3*c. Suppose 5*x - 7 = r*x. Is (-1)/((7/(-20))/x) a multiple of 5?
True
Let b = 57820 + 12926. Does 26 divide b?
True
Suppose -4*h + 8 = -2*x, 0 = 4*h + x + 3*x - 32. Suppose 0 = -2*j - h*d - 24, -2*d = d + 6. Is (j/3)/((-4)/6) a multiple of 4?
True
Let m(r) = -r**3 - 16*r**2 - 14*r + 22. Let v be m(-15). Let w(u) = -17*u + 3*u + v*u - 13 + u**3 + 6*u**2. Is 18 a factor of w(-6)?
False
Does 294 divide ((-15141)/12)/(3/(-72))?
True
Let y(t) = -412*t + 646. Is y(-24) a multiple of 46?
True
Let y(z) be the second derivative of 4/3*z**3 - 5/6*z**4 + 7*z + 0 - 1/20*z**5 + 27/2*z**2. Is 20 a factor of y(-11)?
True
Let o = 42 + -42. Suppose 6*p + 4*p - 480 = o. Is 16 a factor of p?
True
Let d(y) = 5*y + 5. Suppose 5*o - 20 = -5*r, 6 = 3*r - 10*o + 15*o. Is d(r) a multiple of 4?
True
Suppose -2*a + 1047 = h, -3*h + 3921 = 5*a + 1306. Let r = -436 + a. Does 18 divide r?
True
Let w = 2315 + 13000. Is 36 a factor of w?
False
Let m(c) = -52*c + 1. Let v be m(1). Let z = 71 + v. Suppose -2*t + r + z = 0, -34 - 4 = -4*t + 3*r. Is t a multiple of 2?
False
Let d be 3/((-18)/48) + 37. Suppose -2*b - 4*j = -3098, 32*b - 4637 = d*b - 4*j. Is b a multiple of 37?
False
Is 25 a factor of ((-18894)/(-603))/(4/150)?
True
Suppose -67*t + 66*t + 2273 = 4*c, 0 = 4*c + 16. Is 10 a factor of t?
False
Let y = -173 + -1507. Let w = -1008 - y. Is 21 a factor of w?
True
Suppose 8*o - 3*o - 5 = 0. Suppose -23*l + 28*l = -4*q + 16, q - 7 = -2*l. Is (o - l) + 2 - (5 + -33) a multiple of 9?
True
Suppose -3*n = 4*u - 5495, 4*u + 4*n = 9*u - 6892. Suppose -28*g = -26*g - u. Is 43 a factor of g?
True
Suppose 0 = -4*a + 2*n + 22, -15 = -a - 5*n + 18. Suppose 0 = 2*h + 8*z - 3*z - 1510, 0 = 3*z - 12. Suppose -a*w - h = -1833. Is w a multiple of 30?
False
Suppose -13*y + 36 = -15*y. Is ((-4)/(-3) + 33/y)*-30 a multiple of 3?
True
Let f(b) = -56*b**3 - 34*b**2 + 22*b - 30. Is f(-8) a multiple of 22?
True
Suppose -5*r + f = -3*f - 33, 2 = -f. Suppose 588 = -3*a + 7*a + s, -r*a = 3*s - 728. Suppose -a = 13*w - 850. Is 9 a factor of w?
True
Suppose 6*t - 24 = 2*t. Suppose l = -2*z + 598, z + 2395 = 4*l + t*z. Is 20 a factor of (2/4)/(5/l)?
True
Suppose 9*u - 49746 - 101947 = -17503. Is u a multiple of 35?
True
Let w be ((-2)/(-4))/(4/264). Let d = 87 + w. Suppose 0 = -6*h + h + d. Is 3 a factor of h?
True
Suppose -14 + 8 = 3*z. Let v be 6/z - -4 - (-1 - -2). Suppose n - 116 + 31 = v. Does 5 divide n?
True
Let s(r) = 1521*r**3 + 9*r**2 - 15*r + 33. Is 48 a factor of s(3)?
True
Is (4650/105 + -22)/((-4)/(-2002) - 0) a multiple of 11?
True
Suppose 29*q + 119*q - 2440378 + 239914 = 0. Is q a multiple of 177?
True
Suppose -r + 248 + 248 = 5*l, 3*l + 9*r - 306 = 0. Is l a multiple of 11?
True
Let c = 209 + -208. Is -498*c/(-4)*(-480)/(-45) a multiple of 16?
True
Let p be ((-3)/3)/(-2*4/40). Suppose -l = 5*z - 628, -p*z = -5*l - 269 - 371. Is z a multiple of 7?
True
Suppose 0*w - 40 = -10*w. 