h(-4) a multiple of 23?
True
Let b = -87 + 73. Let y be 3/6 + (-35)/b. Is 9 a factor of 87/9 - ((-7)/y - -2)?
False
Let i(m) = -4*m + 225*m**2 + 5 - 92*m**2 + 143*m**2. Does 25 divide i(1)?
False
Let m be 1/((-2)/(-8))*(-187)/748. Let x(w) = 568*w**2 - 5*w - 3. Is x(m) a multiple of 30?
True
Suppose 12*w - 17*w + 16775 = j, 0 = 3*w - j - 10057. Is 20 a factor of w?
False
Suppose -524*o + 519*o - 2210 = 0. Let l = o + 856. Is 26 a factor of l?
False
Let x = -172 - -175. Suppose x*a = -5*b + 2022, -3*a + 1570 + 431 = -2*b. Is a a multiple of 19?
False
Let r = -695 + 842. Let f = r + 219. Does 8 divide f?
False
Suppose -5*v + 28729 = 9*b, -5*v + 176 - 211 = 0. Is b a multiple of 3?
False
Suppose 4*n = 4057*t - 4056*t - 1795, 3554 = 2*t - 2*n. Is 11 a factor of t?
True
Suppose 6 - 2 = -o. Let a be (-16)/(-1) + 3 + o. Is 17 a factor of (a/(-6))/((-7)/238)?
True
Let a(r) = -27*r - 134. Is a(-67) even?
False
Let f be -1 - ((-22)/6)/(10/(-90)). Let w = -37 - f. Is 31 a factor of 3/(1692/560 + w)?
False
Suppose 3*x - 5*z = 3711, -4915 = -45*x + 41*x + 3*z. Does 22 divide x?
False
Is 83 a factor of (230325/10)/3*(4 - 16/10)?
True
Suppose 12*k - 26*k = -580608. Is 56 a factor of (-2)/14 - (k/(-21))/6?
False
Suppose -7*j - 5*i + 7437 = -3*j, i = -5*j + 9291. Does 14 divide j?
False
Let n = 96 - 72. Suppose 28*u - n*u - 1440 = 0. Let m = u + -213. Is 21 a factor of m?
True
Let h(k) = -7*k + k**2 - 3 + 3*k**2 + k**3 + 0*k**2 - 7. Let z be h(-5). Suppose z*i + i - 5*w - 52 = 0, -i + 32 = 5*w. Is 6 a factor of i?
True
Let s = 11 - 17. Suppose -5*c + 115 = -70. Is 9 a factor of s/(-2) + c*3 + 1?
False
Suppose -4*t - 27249 = 14*t - 118905. Is t a multiple of 116?
False
Is ((-40)/6)/(-4)*3*2116/10 a multiple of 39?
False
Let w = -2005 - -2605. Is w a multiple of 59?
False
Let k(m) = -2*m**2 + 7*m - 3. Let t(f) = f**2 + 14*f - 22. Let u be t(-15). Let b be k(u). Does 13 divide (22/(-55))/(1/b)?
False
Let l be 1800/420 - (-1 + 9/7). Does 19 divide -1*((-673)/l + 6/(-8))?
False
Suppose 0 = -4*b + l - 792, -2*l - 800 = 4*b - 5*l. Let z(u) = -u**3 - 16*u**2 - 21*u - 34. Let p be z(-14). Let o = p - b. Is 15 a factor of o?
False
Let n(g) = 11*g**2 + 208*g + 1262. Is n(-6) a multiple of 41?
True
Let h(u) = -58*u**3 - 3*u**2 + 3. Suppose 9*r = -2 - 16. Does 35 divide h(r)?
True
Suppose 292 - 646 = 6*k. Let v(b) = -21*b + 1. Let r be v(-4). Let u = r + k. Is 2 a factor of u?
True
Suppose 4*q + 0*q - 12 = 0. Let z = 148 + -19. Suppose 3*x = 0, q*x + 69 + z = 3*c. Does 6 divide c?
True
Let n = -1091 - -3631. Is n a multiple of 2?
True
Suppose 51 = -0*a + a + 3*r, -2*a - 4*r = -94. Suppose 3*j - 33 = -5*o, 0 = -j - 2*j - 3*o + a. Suppose -j*x + 20*x = 16. Does 2 divide x?
True
Suppose 43 = -3*q + 4*q. Let z = q - 66. Let j = 52 + z. Is 4 a factor of j?
False
Suppose -q = 4*j - 16 - 9, -j = 4*q - 25. Suppose -2*g + 6*g + 378 = t, 5*g = -q. Is t a multiple of 45?
False
Let w(v) = v**2 - 10*v + 1. Let y be w(11). Does 3 divide 930/y*(-8)/(-10)?
False
Let z = 22 + -46. Let s = z + 11. Let o = 23 - s. Is 12 a factor of o?
True
Suppose 3*a = -75 + 1137. Let v be (a/(-18) - -3)*3/(-2). Suppose 5*u - v = 0, -3*c = -c - 2*u - 74. Is 9 a factor of c?
False
Let z(u) = 39*u + 8. Let k be z(-3). Let v = -184 - k. Let o = -63 - v. Does 3 divide o?
True
Let o(t) = 2*t**3 + 58*t**2 + 26*t + 486. Is o(-25) a multiple of 39?
True
Suppose 3*f - 3*w + 15 = 0, f + 11 = -2*w - 3*w. Does 7 divide (-67 + f)/(((-15)/3)/35)?
True
Let c = -90 - -98. Suppose c*x - 43 = 29. Let l(q) = q**2 - 2*q - 24. Does 6 divide l(x)?
False
Let x(q) = -q**2 + q + 1431. Does 3 divide x(-35)?
True
Let u = 719 - 690. Is 29 a factor of 17*(-3 - -5)*u?
True
Let n = -48 - -34. Let b = 137 + n. Let f = b - 3. Does 24 divide f?
True
Suppose 3*n = 5*a - 25 - 59, 4*n = -4*a + 48. Let r be -1 + 52 - a/(1 + -6). Suppose r + 642 = 12*y. Is y a multiple of 8?
False
Let p(a) = a - 5. Let m be p(7). Suppose 0 = -15*d + 11*d + 800. Suppose 4*k = m*k + d. Does 10 divide k?
True
Let i = 4283 - 668. Is i a multiple of 15?
True
Let s = -17 + 22. Suppose 52 - 42 = s*y. Suppose -2*x + 3*x - 4*l = 23, -y*l + 182 = 4*x. Is x a multiple of 29?
False
Let s(v) = -29*v - 6*v**2 + 332 + 27*v + 5*v**2. Is s(0) a multiple of 54?
False
Let x(f) = f**2 + 9*f - 1. Suppose -3*i = 4*c - 4*i + 47, -4*c - 2*i - 38 = 0. Let q be x(c). Does 21 divide (q/2)/(3/6)?
True
Suppose 16*j - 6597 = -2*w + 21*j, 4*w - 4*j - 13224 = 0. Is w a multiple of 11?
True
Suppose -145*r = -146*r + 5986. Does 25 divide r?
False
Let r = 116 + -111. Suppose -x + 72 = r*x. Does 37 divide x/96 + 1486/16?
False
Let h(g) = -g**3 + 24*g**2 + 81*g + 77. Is h(18) a multiple of 8?
False
Suppose 3*u - 8*t = -3*t + 8535, u - 5*t = 2855. Is u a multiple of 16?
False
Let h(n) = 4*n**3 - 407*n**2 - 55*n + 221. Does 13 divide h(102)?
False
Suppose -1684 - 7136 = -10*o. Is 42 a factor of o?
True
Suppose 178*f - 88333 - 76139 = 0. Does 14 divide f?
True
Let r = 59 + -48. Suppose 4*j + 0*l - l = -29, j + l + r = 0. Let i(s) = 4*s**2 + 15*s + 24. Is 16 a factor of i(j)?
True
Let a(o) = -o**3 - 6*o**2 - 40. Let d be a(-7). Suppose 2*m + 5*k - 20 = -2*m, -3*m + 4*k = 16. Suppose m = -j + d*j - 704. Is 21 a factor of j?
False
Does 17 divide 13 - (-6 - (6276 - 2))?
False
Let w(a) = -a**3 + 82*a**2 - 17*a + 316. Does 13 divide w(76)?
False
Suppose 3*m = -4*j + 454, 2*m + 3*m - 5*j = 745. Suppose 4*r - m = 38. Let v = 306 - r. Is 57 a factor of v?
False
Suppose -4*q - 7*q = 1001. Let i = 300 + q. Is 19 a factor of i?
True
Let d(u) = 3*u**2 + 44*u - 3560. Is 52 a factor of d(60)?
True
Does 21 divide 0 + (1 + -2233)/(-3)?
False
Suppose 6988742 - 1974772 + 2774580 = 187*k. Is k a multiple of 186?
False
Let d = -333 - -333. Let q(u) = u**3 + u**2 - 7*u + 135. Is q(d) a multiple of 34?
False
Suppose 9*p - 7*p = -64. Let c = p - -17. Is 11 a factor of (-2)/(0 + -1) - (c + -7)?
False
Let i(m) = 10*m**2 - 103*m - 1021. Is 24 a factor of i(-11)?
False
Let v be ((8960/(-30))/7)/(2/(-3)). Let c = v + -24. Is c a multiple of 3?
False
Suppose 26 = 25*j - 99. Suppose -3*o + 2840 = j*q + o, -5*o - 25 = 0. Does 44 divide q?
True
Let c(h) = -917 - 27*h + 72*h + 944. Is c(2) a multiple of 9?
True
Let v(p) = 8*p**2 + 5*p - 41. Suppose -5*l = -20*l - 120. Let b be v(l). Suppose 0 = 2*m + 47 - b. Is m a multiple of 16?
True
Suppose -6*c + 11*c = 15, 3*c = 2*s - 13311. Does 90 divide s?
True
Is (121916/7 - 3) + (-34)/((-1904)/24) a multiple of 75?
False
Let l be 6/30*1*145. Suppose m + l = 78. Is m a multiple of 6?
False
Suppose 7*q + 63 - 196 = 0. Suppose -z = -35 - 26. Let w = z - q. Does 11 divide w?
False
Suppose -4*c = 5*a - 13866, 843*c - 846*c = 3*a - 8316. Does 283 divide a?
False
Suppose 0 = 18*r + 30 + 6. Does 3 divide 251 + (7 + r - 10)?
True
Suppose -44*q + 5*o - 15 = -49*q, 0 = -4*q + 4*o + 4. Suppose -3*v = -4*t - 29 - 40, -v - 72 = 5*t. Is (t/6)/(q*1/(-76)) a multiple of 26?
False
Suppose -5*h - 17 + 8 = 2*s, 0 = 4*s - 3*h - 21. Suppose -4*y = -s*a + 50, 14 - 39 = 5*y. Suppose -4*t = -4*o - 200, -4*o = o + a. Does 12 divide t?
True
Let w(a) = 34*a + 3387. Is w(-35) a multiple of 13?
True
Let m(r) = -2*r**2 - 14*r + 40. Let u be m(-9). Suppose 3*f + 128 = u*y, 0*y + y = -5*f + 32. Is y a multiple of 4?
True
Let h = 7028 - 2948. Is h a multiple of 10?
True
Let c = 28796 + -9556. Is c a multiple of 104?
True
Suppose -3*c = 4*p - 4784, -2*c = -3*c. Suppose -p = -5*b + k - 2*k, -2*b - 4*k + 464 = 0. Is 15 a factor of b?
True
Suppose v - 39552 = -5*x - 0*x, x - v = 7914. Is 176 a factor of x?
False
Let l(d) = 3*d**2 + 28*d + 23. Let f be -14 + 2 + 2 + -1. Let a be l(f). Suppose g - a + 9 = 0. Is g a multiple of 23?
True
Let g(h) = h. Let v be g(-4). Let f(m) = m**2 + 4*m + 5. Let l be f(v). Suppose -4*z - 4*q + 148 = -528, -l*q - 324 = -2*z. Is z a multiple of 23?
False
Let l(d) = 818*d**2 + 2*d + 1. Let p be l(1). Suppose -p - 179 = -5*v. Does 18 divide v?
False
Is 7 a factor of 12/(-2) + (-110)/(-33)*5052/10?
False
Let l(g) = 773*g**2 + 6*g - 3. Let a be l(1). Suppose -730 = -6*u + a. Does 20 divide u?
False
Let j(i) = 2*i**2 - 10*i**2 + 3*i**3 - i**3 + 4*i + 7*i**3 - 1. Let z be j(5). Suppose 5*s = 13*s - z. Is s a multiple of 14?
False
Let h = -72 - -76. Suppose 3*o + 3*b - 1 = -7, 5*o = b + 20. Suppose 0 