x?
True
Is 32 a factor of (33067/86)/((-1)/(-14))?
False
Let w(n) = n + 17. Let k(s) = -s**3 - 8*s**2 - 3*s + 17. Let z be k(-8). Let h = z - 33. Is 25 a factor of w(h)?
True
Let a(w) = 5*w - 5. Let v be a(2). Suppose -g = -0*g + 4*y - 356, 0 = -v*y + 25. Does 21 divide (-4 + 2 + 4)/(4/g)?
True
Let w(u) = -2 - 2 - 19*u + 1 + 7. Let i(d) = 7*d + 13. Let r be i(-3). Is w(r) a multiple of 26?
True
Let w = 73 - 56. Suppose -23*y = -w*y - 120. Does 3 divide y?
False
Let o(u) = u - 13. Let k be o(13). Let y be k*((-3)/(-9))/1. Is 44 a factor of 223 - (3/1 - y)?
True
Let l(i) = 4*i**2 + 16*i - 2. Let w(n) = -n**2 + n. Let c(v) = l(v) + 2*w(v). Let t be c(-14). Suppose -4*d + t = -2*d. Does 25 divide d?
False
Suppose -6*r = 1726 - 25991 - 14657. Is r a multiple of 51?
False
Let k(d) = 3*d - 56. Let w be k(21). Suppose 972 = -w*r + 16*r. Is r a multiple of 6?
True
Let v(i) = -5*i**3 + 25*i**2 + 33*i + 251. Is v(-10) a multiple of 41?
True
Suppose f - 1746 = 3*c, 6 = -68*c + 71*c. Does 6 divide f?
True
Suppose w - o - 2*o - 4306 = 0, -5*w - 5*o = -21450. Does 38 divide w?
True
Suppose 0 = 492*h - 440*h - 720512. Is h a multiple of 13?
False
Let v(z) = -1684*z - 8. Let o be v(-2). Suppose -10*a = -30*a + o. Is 8 a factor of a?
True
Suppose t = -0*t + 3*x + 24, 14 = t - x. Let o(d) = t*d**2 + 24*d**3 - d + 8 + 14 - 23*d**3. Does 5 divide o(-9)?
False
Let w(s) = -33*s - 3. Let v(z) = 133*z + 13. Let o(r) = 2*v(r) + 9*w(r). Let p be o(-3). Is 39 a factor of 13915/p - (-3)/4?
False
Let j(a) = -a**2 + 17*a + 15. Let q(u) = 2*u**2 - 4*u - 15. Let c = 8 + -3. Let d be q(c). Does 5 divide j(d)?
True
Suppose -10*a - 30 = -9*a. Let v = a - -74. Let b = v + 190. Does 18 divide b?
True
Let x(f) = 195*f + 8606. Does 221 divide x(59)?
True
Let o(a) = a**2 - 6*a + 7. Let d be o(6). Suppose d*z - 135 = -2*z. Is -279*(3 - 50/z) a multiple of 25?
False
Let r = -3263 + 6858. Does 37 divide r?
False
Suppose -7*l + 5*l = -484. Suppose 0 = 10*j + l - 1622. Is 22 a factor of j?
False
Let v(c) = c**2 - 23*c + 22. Let l be (30/(-8))/(((-5)/(-4))/(-5)). Let f be v(l). Does 13 divide (-1246)/f - ((-10)/(-14) - 1)?
True
Suppose 3*j - 62280 = 3*g, -8*j + 3*g = -11*j + 62256. Is 68 a factor of j?
False
Suppose 0 = 5*t + 79*s - 83*s - 62980, 4*t - s - 50395 = 0. Is t a multiple of 40?
True
Is 13419/(-426)*(-856)/6 a multiple of 14?
True
Let f be 2006/(-59)*2/4. Let n = 203 + f. Is n a multiple of 21?
False
Suppose -6*z - z = -35. Suppose 0 = -z*k + 1504 + 1716. Suppose 4*f + k = 11*f. Does 23 divide f?
True
Let x(m) = 63*m**2 - 499*m + 44. Does 198 divide x(11)?
True
Is (-109)/2*(-14 - 706)/12 a multiple of 15?
True
Let f = -464 + 702. Let p = 409 - f. Is p a multiple of 7?
False
Let n = -58 - -57. Let g = n - -99. Suppose -2*z + 4*r + g = -0*z, -4*z + r = -224. Is 3 a factor of z?
True
Suppose -13702 = -17*t + 6681. Suppose -t + 198 = -11*q. Is 19 a factor of q?
False
Let l(o) = -o**3 - 7*o**2 + 9. Let f be l(-7). Let p be ((-1 - f)*-1)/2. Suppose 749 = 5*q - 3*t + 178, 0 = 4*q - p*t - 449. Does 13 divide q?
False
Suppose -20*g = -25*g - 5, -p = -3*g - 7791. Is 132 a factor of p?
True
Suppose 0 = 7*i + 64 - 36. Is 20 a factor of (80/i)/2*46/(-4)?
False
Is 11 a factor of -22 - (-184)/24*2319?
False
Is (-20133)/(-3) - ((2 - 5) + (-7 - -15)) a multiple of 8?
False
Let v(o) = o**2 - o + 46. Is v(-42) a multiple of 11?
False
Let z(i) = 1767*i**2 - 3*i - 6. Does 36 divide z(-1)?
True
Is 95 a factor of (-1*13 - (-2199132)/740)*10*1?
False
Suppose 0 = 2*m - 14, -4*v + 145*m - 147*m + 10494 = 0. Does 28 divide v?
False
Let v = 11032 + -7665. Does 100 divide v?
False
Let n = -19499 + 21097. Is n a multiple of 112?
False
Suppose -409 + 1705 = -3*u + 3*m, -u - 432 = 5*m. Let s = u - -657. Does 15 divide s?
True
Let u = -17 - -26. Let d = -41 - -44. Is 2/d - (-363)/u a multiple of 38?
False
Let b(c) = 86*c**2 + 2*c + 138. Is 6 a factor of b(8)?
True
Does 10 divide -566*(1 + 8)/(-3)?
False
Let r(p) = -5*p - 1 + 0*p - 4*p + 12*p. Is 2 a factor of r(12)?
False
Let s(v) be the first derivative of 641*v**3/3 - 3*v**2/2 + 2*v - 42. Does 14 divide s(1)?
False
Let a be (-30)/(-4) - 2/(-4). Suppose -2*v + 3*q - 132 = -478, -v = 3*q - 146. Does 22 divide (-6)/(-4) + v/a?
True
Suppose -4*x = -5*t + 2576, -3*x - 1286 = -4*t + 774. Is t a multiple of 4?
True
Suppose 38*s + 1853390 = 192*s. Is 27 a factor of s?
False
Suppose 11*a - 18*a = 7. Let w(x) = 321*x**2 - 3*x - 2. Does 23 divide w(a)?
True
Suppose 12*v = 15*v - 87*v + 2036832. Is 188 a factor of v?
False
Suppose -12*t + 11*t = -5. Suppose 0 = -3*r + 2*g + 505, 845 = t*r - 0*g - 5*g. Let k = r + -74. Is k a multiple of 9?
False
Let d(b) = -113*b + 2. Let m(v) = -227*v + 3. Let p(c) = -5*d(c) + 2*m(c). Is p(2) a multiple of 45?
False
Let l = 6048 - -10219. Is l a multiple of 275?
False
Let t(w) = 617*w + 238. Is 23 a factor of t(3)?
False
Let f be -26 - ((-6)/(-10))/((-6)/(-30)). Let v = 34 + f. Suppose -3*b = v*k - k - 236, -4*b - 4*k + 316 = 0. Is 10 a factor of b?
True
Let f be 224/(-6)*90/24. Let y = 211 + f. Is 2 a factor of y?
False
Suppose -g - 15 + 17 = 0. Let i be ((-1)/3)/(g/(-18)). Suppose 0 = -i*h + f + 35, -3*h + 3*f = -41 - 4. Is 6 a factor of h?
False
Let c(b) = 6*b**2 - 85*b + 802. Is 37 a factor of c(17)?
False
Suppose -v - 4*n + 8 = 0, -2*n - 7 = -3*v + 3*n. Suppose 0 = -2*y - 3*h - 20, -5*y - v*h = -10*y - 4. Let t = 10 - y. Is t a multiple of 3?
False
Let t(w) = w**3 + 7*w**2 + 4*w + 6. Let y be t(-4). Let h = 22 - y. Is 16 a factor of (0 - -2)*(-584)/h?
False
Suppose -4*q + f - 142 = -3*q, -2*f - 145 = q. Let l = q + 197. Does 54 divide l?
True
Let q(n) = n**3 + 21*n**2 + 19*n - 13. Let c be q(-20). Suppose 3*r = 3*g + c*r - 553, 5*g = -r + 899. Is 19 a factor of g?
False
Suppose 0 = m + 4 - 7. Suppose -m*u = -u. Let k(l) = l**2 + 2*l + 38. Is 22 a factor of k(u)?
False
Let n(o) be the third derivative of -5/24*o**4 + 0 + 21*o**2 + 1/15*o**5 + 0*o + 2/3*o**3. Is n(6) a multiple of 13?
False
Let i be 1 + 22/(-18) - 990044/(-198). Suppose 182*a = 207*a - i. Is a a multiple of 10?
True
Let x(h) = -136*h + 1600. Does 20 divide x(-33)?
False
Let x = 1025 + 1135. Suppose -x = -83*j + 71*j. Does 9 divide j?
True
Let g = 46 + -42. Suppose -252 = -g*w + 100. Does 5 divide w?
False
Suppose -4*k + 39 = -x, 2*x + 3*x - 15 = -k. Is -4 - (0 + (-92)/8)*k a multiple of 6?
False
Let o(a) = 1462*a + 508. Is 6 a factor of o(2)?
True
Let w(y) = -y**3 - 20*y**2 + 13*y - 13. Let h be w(-21). Let f(r) = -3*r**2 - 6*r - 8. Let z be f(-6). Does 31 divide h*(z/(-25) + -3)?
True
Let x(u) = 21*u**3 + 6*u**2 - 46*u + 2. Does 3 divide x(4)?
False
Let l(k) = k**3 - 4*k**2 + 3*k - 4. Let w be l(3). Let j be ((-14445)/35)/(-3) - w/(-7). Let m = 324 - j. Is m a multiple of 46?
False
Let t(b) = -1098*b**3 + 12*b**2 + 25*b - 4. Is 209 a factor of t(-2)?
True
Suppose 2*q - 4*q + 2*c = -130, 4*q = -3*c + 274. Is q - 2 - 56/8 a multiple of 12?
False
Let u(g) = 117*g**2 + 3*g - 2. Is u(-4) a multiple of 45?
False
Let s = -31 - -33. Suppose -5*p - 176 = 3*r, s*p = -r - 3 - 57. Let a = -16 - r. Is 12 a factor of a?
True
Let d(v) be the first derivative of -9*v**4/8 - 3*v**3/2 - v**2/2 + 2. Let n(g) be the second derivative of d(g). Is n(-5) a multiple of 18?
True
Let w = 99 + -105. Let v(q) = q**3 + 8*q**2 + 11*q - 3. Let c be v(w). Suppose 0 = -2*y + o + 32 + 127, c*o = y - 72. Does 8 divide y?
False
Suppose -19*j + 22*j = 3*h + 159303, 0 = -3*j + 2*h + 159302. Is j a multiple of 9?
True
Does 68 divide (12888/45 - 11)*20/3?
True
Is 120 a factor of 1971/146*2560/6?
True
Let m = -158 - -163. Suppose m*t + 218 = 3*z, -z + 3*z - 156 = -2*t. Is 3 a factor of z?
False
Let r be -5 - (-141)/27 - (-4)/(-18). Suppose -11*o + 10*o - 73 = r. Let t = 105 + o. Is t a multiple of 21?
False
Let s be 44/9 - ((-104)/(-36) - 3). Suppose 295 = 2*z - s*c, -5*z - c = -4*z - 151. Does 30 divide z?
True
Suppose w - 76*z - 43352 = -78*z, -w + 5*z + 43345 = 0. Is w a multiple of 85?
True
Suppose 0 = k - v + 1 - 4, 3*v + 5 = 2*k. Let a(x) = 19*x - 11. Is a(k) a multiple of 5?
True
Let n = -49 - -46. Let x be (-2 - (3 - 52))*-1 - n. Does 11 divide (363/x)/(3/(-8))?
True
Let m = -27 - -30. Suppose 112 = a - m*a. Let r = 130 + a. Is 23 a factor of r?
False
Suppose 5580 = 91*h - 174*h + 86*h. Does 6