= 30 - 18. Is 45 a factor of -30*(g + (-6)/(-2))?
True
Suppose 15 = 4*j + 147. Let l = j + 27. Let u(s) = s**2 - 2*s + 18. Is 11 a factor of u(l)?
True
Is ((288143/86)/((-9)/(-4)))/((-3)/(-27)) a multiple of 11?
False
Suppose 4*s - 147 = -3*b, 2*b + 10 = -s + 53. Is s a multiple of 11?
True
Let w = -18634 + 28102. Is w a multiple of 9?
True
Let h(o) = -o**3 - 8*o**2 - 3*o + 41. Let q be h(-10). Let b = q - 239. Does 2 divide b?
True
Suppose 0 = 13*f - 2*f - 550. Suppose 46*n - f*n = -1232. Is 14 a factor of n?
True
Let t be (-72)/20*(-5)/2. Suppose -6*h + t = -99. Is 11 a factor of h?
False
Suppose 32847*p = 32858*p - 281666. Does 25 divide p?
False
Let k(o) = 70*o + 92. Let p(t) = 347*t + 460. Let j(c) = 11*k(c) - 2*p(c). Does 12 divide j(22)?
True
Let i(j) = -38 + 14*j - 21 + 56 - 18 + j**2. Let x be i(-11). Let u = x + 104. Does 9 divide u?
False
Suppose -94237 = -4*t + 24*i - 21*i, -4*t - 5*i + 94277 = 0. Is t a multiple of 191?
False
Let k(z) = -z**2 - 47*z + 100. Suppose -434*t - 240 = -428*t. Is k(t) a multiple of 67?
False
Suppose 0 = 73*v - 1351929 + 114433. Does 13 divide v?
True
Let k(o) = -22*o**2 + 15*o + 2. Let z(c) = 46*c**2 - 28*c - 4. Let m(d) = 11*k(d) + 6*z(d). Suppose 0 = -i - 2*i - 6. Is 14 a factor of m(i)?
True
Let f(x) = 14*x + 448. Let k be f(-26). Suppose -6*u = -u. Suppose -4*h + k = -u*h. Is h a multiple of 2?
False
Suppose 2*p + 100 = x + x, -2*p = 2*x + 116. Is p*(5 + -6 - 14/6) a multiple of 15?
True
Suppose 0 = -6*j + 2 - 14. Is 120/(-18)*(j + (-1375)/10) a multiple of 31?
True
Let l be 10/(-6)*39/(-65). Suppose 8 = 3*w - l. Suppose 2*j + j - w*n - 69 = 0, 10 = -2*n. Is j a multiple of 9?
True
Suppose 4*b - 2*k - 51146 = 0, -10*b - 4*k + 25598 = -8*b. Does 49 divide b?
True
Let j be 20/(-110) - 2/(-11). Suppose -19*y + 16*y + 213 = j. Is y a multiple of 9?
False
Let y(b) be the first derivative of -2*b**3/3 - 7*b**2 - b + 50. Is 19 a factor of y(-5)?
True
Suppose 4*p + 2 = -5*f, 3*f = -p + 7*f + 10. Let x(o) = 2 - p*o + 5*o + 8*o - 5*o. Is 42 a factor of x(7)?
False
Suppose 23 = -5*f + 3*v, 0 = f + 9*v - 4*v - 1. Does 5 divide 184 + (-2)/(-1) + 3 + f?
True
Is 122 a factor of (-1)/(-2)*23*22752/12?
False
Let w be 3 - (1 - (-1 + 2)). Let y be (1/w)/(1/15). Suppose -y*b - 54 = -4*j + 3*j, 0 = 4*j - 2*b - 162. Does 12 divide j?
False
Let p(h) = 120*h**2 + 5*h. Suppose 4 = -2*c + 5*c + 2*i, 0 = -4*i + 20. Let u be p(c). Suppose u = 6*n - 508. Is n a multiple of 12?
False
Let i(h) = h**2 + h - 564. Let g be i(0). Let b = g + 801. Is 9 a factor of b?
False
Let p be (-2)/((-3)/((-15)/(-10))). Suppose 8*z + p = 9. Does 3 divide ((-33)/(-44))/(z/44)?
True
Let c = 31 + -28. Suppose 8*u = 5*u - 5*i + 164, c*i = u - 36. Is u a multiple of 4?
True
Let g(x) = -2*x. Let k be g(-1). Suppose 0*i - 1441 = -3*p + k*i, 5*i - 1906 = -4*p. Is p a multiple of 46?
False
Suppose 136*d = 724181 + 575707. Is d a multiple of 6?
True
Let o = -1302 - -926. Let n = o + 531. Is 5 a factor of n?
True
Let i(v) = v**3 + 5*v**2 - v + 3. Let b = -56 + 51. Let r be i(b). Suppose -6 - r = -u. Is u a multiple of 7?
True
Suppose 0 = -2*s + 2 - 10. Let n be (-14 + -29)*(s + 4 + -2). Suppose -2*v + 76 + n = 0. Is 27 a factor of v?
True
Let s = -3670 - -5655. Does 49 divide s?
False
Suppose -3*m + 5146 = -5*w, 2*m + 2*w - 1873 = 1547. Does 16 divide m?
True
Let u be -1 - (-4)/(-22) - 6/(-33). Is -8 + -6 + 95 - (-2 + u) a multiple of 18?
False
Let u(m) be the first derivative of -m**6/40 - m**5/20 - m**4/24 + m**3/3 + 17*m**2/2 - 2. Let r(o) be the second derivative of u(o). Does 8 divide r(-3)?
False
Let o(h) = 20*h**2 + 58*h + 186. Does 8 divide o(-3)?
True
Suppose -5*l - 4*c = -161, -l = 3*c - 0*c - 41. Suppose -34*q + l*q - 15 = 0. Is 3 + ((-1)/q)/(1/66) a multiple of 8?
False
Suppose -5*a = -2*y - 3, 0*y = -2*y + 3*a - 1. Let j be -5 - -2 - (-8 - -2)/y. Suppose -j = 3*x, m - 235 = -m + x. Is 13 a factor of m?
True
Let p be (-74)/(-14) + (-4)/(-28)*-2. Suppose -o + 12 = p*n + o, -5*n + 5*o + 40 = 0. Let b(t) = t**2 - 8. Does 4 divide b(n)?
True
Let m = 45 + -41. Suppose 1119 = m*g - 5*w, 2*g + 387 = 5*w + 954. Is g a multiple of 19?
False
Let o(s) be the third derivative of s**5/60 + 31*s**4/24 + 59*s**3/6 - 49*s**2. Does 24 divide o(-31)?
False
Is 57 a factor of (36444/10)/(-12 - (-8 + 1245/(-300)))?
False
Let j be (-19)/(38/(-12)) - -7. Suppose -609 - 613 = -j*w. Does 3 divide w?
False
Let t(k) = 4*k**2 + 22*k - 60. Let c(o) = 7*o + 49. Let v be c(-6). Is 51 a factor of t(v)?
False
Let j = 7 + -131. Let g = j - -42. Let x = 3 - g. Is 16 a factor of x?
False
Is 42 a factor of ((15/9)/(-5))/(19/(-33117))?
False
Suppose 0 = 4*z - 3336 + 40. Does 14 divide z?
False
Does 101 divide (-40*1/(-24))/(1/1230)?
False
Suppose 162 = -2*y - 2*z, 0 = -3*y - 0*z + z - 223. Let c = y + 76. Suppose -24*o + 22*o + 106 = c. Is 11 a factor of o?
False
Let s(o) = 4*o**2 - 3*o + 20. Let h be s(-7). Suppose -6*d - y = -5*d - 45, -5*d + h = -y. Does 14 divide d?
False
Let q(s) = -11*s**3 - 117 + s - 8*s**2 + 2*s**2 + 123. Does 30 divide q(-4)?
False
Let n(k) = k**3 - 13*k**2 + 21*k - 1. Let p be (10/35)/1 - 75/(-7). Let b be n(p). Let s = 94 + b. Is 19 a factor of s?
False
Suppose 5*g - 4590 = -5*p, 3159 + 1434 = 5*g + 4*p. Suppose 3396 = 9*s + g. Does 55 divide s?
True
Let p = 19894 - 6646. Does 69 divide p?
True
Let a = -243 + 416. Let l = a - -27. Does 20 divide l?
True
Suppose 0 = 4*u - 0*u - 4, 0 = -4*c - 4*u + 2404. Suppose -79 = -5*i - 19. Suppose -2*d = -i*d + c. Is 15 a factor of d?
True
Suppose -176 = -3*g + 436. Is 17 a factor of 9/(-18)*(0 - g)?
True
Let f be 207 - -3 - (1 - 6). Suppose 4446 = f*h - 209*h. Does 39 divide h?
True
Let a(q) be the second derivative of 5*q**4/12 + 17*q**3/6 + 3*q**2/2 + 17*q. Let y be a(4). Let c = y - 90. Is 25 a factor of c?
False
Suppose 2*n - 4*c - 15836 = 0, -163*n = -164*n + 3*c + 7917. Is n a multiple of 110?
True
Let y = -29139 - -86310. Does 51 divide y?
True
Suppose 139576 + 207425 = 69*s. Is 6 a factor of s?
False
Let s(u) = -4*u**3 + 5*u**2 + 65*u + 630. Does 140 divide s(-15)?
True
Let k(y) be the second derivative of 5*y**4/12 - y**3/6 - 30*y**2 + 15*y + 4. Is 14 a factor of k(-6)?
True
Let d be 2/(-5) + 4158/45. Let n be (-13)/(-39)*(-2*1 + 8). Suppose -2*y = r - 46, 0 = n*r - 0*r - 4*y - d. Is r a multiple of 23?
True
Is 36 a factor of (0 + 5)*409125/625?
False
Suppose 5*x = 3*b - 16, 3 - 9 = -5*b - 2*x. Is 64 a factor of b + (12/(-20) - 2546/(-10))?
True
Let s(i) = i**3 + 71*i**2 + 75*i - 98. Is s(-66) a multiple of 89?
True
Suppose a - 4*p = 6*a + 53, 19 = -a - 5*p. Let n be (101 - -6) + a/3. Suppose -30 = k - n. Is k a multiple of 15?
False
Suppose -3*l = -5*b + 2*b - 111, -10 = -5*b. Suppose -z = -3*k + l, k + 5*z = -2*k + 57. Is k a multiple of 3?
False
Suppose -2*d = 57 - 151. Let s = d - 49. Is s - ((-4)/1 + -6) a multiple of 7?
False
Suppose 0 = -331*b + 312*b + 14440. Is b a multiple of 19?
True
Let t = -4552 - -4872. Is 20 a factor of t?
True
Let k = 183 + -45. Suppose -12 + k = t. Is 13 a factor of t?
False
Let y(f) = -f**3 + 34*f**2 + 21*f - 707. Does 7 divide y(24)?
False
Let u be -2*(4 + -1) + -6. Is u/((-18)/(-9)) + 1458 a multiple of 12?
True
Let w(d) = -8*d + 156. Let o be w(19). Suppose -o*p = -95 - 1217. Is 8 a factor of p?
True
Let t = 3164 - 713. Does 57 divide t?
True
Suppose -5*h - 44 = x, 0*h - 26 = 3*h + x. Let r = -10 - h. Does 13 divide (-10 - -15) + (r - -86)?
False
Let c(m) = -m**3 + 74*m**2 - 357*m + 93. Is c(65) a multiple of 19?
False
Suppose 1678 = -521*d + 524*d + 2*f, 4*d - 5*f = 2222. Is 9 a factor of d?
True
Let t(n) = -2*n**3 + 33*n**2 - 40*n + 326. Let b be t(15). Let z be 3 + (2/(-1) - -1). Suppose -4*m = -4*u + 544, -u - 4*m = z*u - b. Is 45 a factor of u?
True
Let d = 13 + -7. Suppose d*v - v = -610. Let k = v - -200. Does 26 divide k?
True
Let c = -9519 + 19058. Is c a multiple of 13?
False
Let z(r) = r**3 + 12*r**2 + 4*r + 2. Let v be (3/(-2))/(36/192). Let d be z(v). Let o = d + -127. Is 10 a factor of o?
False
Suppose 6*x - 105300 = -19*x. Suppose -19*n + x = -6*n. Is n a multiple of 12?
True
Let o(h) = -49*h**3 + 3*h**2 + 15*h + 40. Is o(-5) a multiple of 15?
True
Let f be 999950/275 + (-4)/22. Suppose 0 = -4*y - 4*b + f, 0 = -5*y - 2*b + 2593 + 1955. Is 26 a factor o