ctor of z?
True
Suppose -139 = -15*w + 71. Suppose 0 = y + i + i - 14, i - w = -y. Is 7 a factor of y?
True
Suppose 258*x + 4*j + 15028 = 261*x, -4*x + 20037 = -5*j. Is x a multiple of 157?
False
Let o = 0 + 427. Let k = o + -108. Does 8 divide k?
False
Is 6 a factor of 12528/(-1740)*7745/(-2)?
True
Let m = 80 + -77. Suppose -m*q = 2*q - 910. Let w = 23 + q. Does 21 divide w?
False
Let j be (24/(-14))/((-32)/(-1456)). Let i = j - -120. Is i a multiple of 42?
True
Suppose d - 1370 = -o, 0 = -3*d - 2*o + 3*o + 4102. Suppose 3*y + d = y. Is 3 a factor of (y/(-60) - (-6)/10)/2?
True
Suppose 5*a + 117 = 4*l, 4*l = 5*l + 3*a - 25. Suppose -l*z - 924 = -39*z. Is 28 a factor of z?
True
Let m = -31 - -40. Suppose m*n + 4 = 10*n. Suppose -n*h + 196 = 4*g, -2*g + 4*h + 126 = g. Does 39 divide g?
False
Let d(a) = 12238*a + 1074. Does 94 divide d(3)?
True
Suppose -9 = q - 4*q, -5*d - 2*q + 516 = 0. Let i = d + -58. Suppose -16 = -r + i. Does 20 divide r?
True
Let y = 5849 - 1425. Is 24 a factor of y?
False
Let s = 12449 - 1682. Is s a multiple of 135?
False
Let h(u) = 31*u - 13. Let g(d) = 36*d + 3*d - 9*d - 13. Let b(r) = -5*g(r) + 4*h(r). Is 27 a factor of b(-4)?
False
Let c(r) = r**3 - r**2 - 31*r - 2. Let s be c(-5). Suppose -4*v + 1742 = 2*p, 0 = 12*v - 11*v + s*p - 443. Does 8 divide v?
False
Suppose -67*p = -61*p - 1644. Suppose -3*d + 569 = -p. Is d a multiple of 22?
False
Let z(r) = 5*r**2 - 732*r + 124. Is z(172) a multiple of 12?
True
Let t = -863 - -922. Let w be (26 - 2)/(3/(-4)). Let v = w + t. Is 5 a factor of v?
False
Suppose -4*y = 4*b + 1244, -4*y + 8*y - 947 = 3*b. Is 14 a factor of b/1*((-6 - -1) + 2)?
False
Suppose 2*o - o - 5 = 0, 4*o - 11 = 3*r. Suppose 2*i + i = -5*y - 497, 5*i - r*y + 885 = 0. Let w = -128 - i. Is w a multiple of 23?
True
Let p be (1 + (-28)/20 + 0)*-5. Suppose -2 = -p*g + 4. Suppose 0 = 3*n - 5*i - 349, g = -i - 2. Is n a multiple of 5?
False
Suppose -l + 0*l = 4*f + 366, -2*l = f + 760. Is 27 a factor of l/(-6) - (-30)/(-18)?
False
Suppose a = 2*r + 142, a - 158 = r - 21. Is a a multiple of 11?
True
Suppose 0*h = -h + 18. Let r = 187 - 196. Is 9 a factor of 1*(r/h)/((-2)/60)?
False
Suppose -s - 42 = -7*s. Does 13 divide (-1778)/(2 - 9) - s?
True
Suppose -3*g = -2*x + 8, 2*x + 2*g = 3*g + 8. Let i be (-926)/x - (-6)/4. Is 38 a factor of (48/60)/((-4)/i)?
False
Let b(l) = 38*l**2 - 6*l - 2. Let d be b(-4). Let v(z) = 12*z + 44. Let j be v(-5). Is 19 a factor of (d/(-40))/(2/j)?
False
Suppose -3*c - 53 = -f, 0*f - f = 3*c - 47. Let u = f + -50. Suppose 9*y - 603 - 72 = u. Is 18 a factor of y?
False
Let z be 6 - 1 - (2 + -1). Suppose -1078 = -4*h + h - w, 0 = z*h + 5*w - 1430. Is 20 a factor of h?
True
Suppose 0 = -12*s + 36273 + 39703 - 7492. Does 13 divide s?
True
Let t(u) be the second derivative of 5*u**3/2 + 52*u**2 - 50*u. Is t(15) a multiple of 14?
False
Suppose b + t = -10, 0 = -b - 0*b + 2*t - 25. Let m = b - -266. Let i = m + -140. Does 10 divide i?
False
Let v = -64 - -78. Suppose 5*w - 208 = 3*q, -12*w + 4*q - 104 = -v*w. Does 11 divide w?
True
Let z(r) = -2 - 22*r - 15*r - 10. Let k = -21 + 18. Is z(k) a multiple of 9?
True
Let o be (-23)/(-184) - 9357/(-24). Suppose -o = -v - 12*v. Is 10 a factor of v?
True
Suppose -5*f + 59925 = 5*n, f + 4*n - 11957 = 7*n. Does 106 divide f?
True
Let k(c) = 15*c**2 - 19*c + 61. Let x be k(3). Suppose -a - 4*a = 25, -a = 2*n - x. Does 18 divide n?
True
Let q = 45 + -9. Suppose 0 = 2*b - 2*i - q, -b + 2 = -3*i - 2*i. Does 22 divide b?
True
Is (105 + -102)/((-6)/(-35396)*(3 - 1)) a multiple of 72?
False
Let n be (((-270)/12)/(-3) + -3)*2. Let d(t) = t**2 - 10*t + 51. Is 6 a factor of d(n)?
True
Let k be 3/(162/258) - 4/(-18). Suppose -12 = -k*h + 18. Is 27 a factor of ((-6)/(-4))/(h/540)?
True
Let a be 5 - (-7)/((-28)/12). Let c be (-145)/20*-2*a. Let y = 50 - c. Is 7 a factor of y?
True
Let s(f) = 4*f**2 - 3*f**2 + 2*f - 163 + 165. Let n be s(0). Suppose 5*i - n*i = 216. Is 8 a factor of i?
True
Let b(p) = 2*p**2 - 35*p - 22. Let m(a) = -3*a**2 + 71*a + 43. Let u(g) = -7*b(g) - 4*m(g). Let c be u(-20). Let j = 105 - c. Is 13 a factor of j?
True
Suppose 18*q - 109*q + 850622 = 111*q. Is q a multiple of 72?
False
Suppose 4*i = -i - 3*t + 27, 0 = -4*i - 5*t + 32. Suppose 0 = i*o + 2*l + 3*l + 356, -3*o - 3*l = 354. Let q = -53 - o. Is 8 a factor of q?
True
Suppose -14*p + 20*p + 552 = 0. Let m = -158 - p. Let u = -2 - m. Is u a multiple of 8?
True
Let b = 534 - 434. Suppose 2*v - b = 4*p, 6*v - p = v + 277. Is v a multiple of 14?
True
Suppose -4*t = -5*t + 5. Let a = -9 + 35. Suppose 2*g + 50 = d - g, -t*g = d - a. Is d a multiple of 11?
False
Let t(i) be the second derivative of -21*i**4/8 - i**3/2 + 17*i**2/2 + 9*i. Let f(w) be the first derivative of t(w). Is 12 a factor of f(-1)?
True
Let p(m) = -m**3 - 23*m**2 - 46*m. Let i be p(-19). Let t = i + 1029. Is 38 a factor of t?
False
Let v(j) = -2*j**2 + 13*j - 14. Let w be v(7). Is 4 a factor of (57 + w)*1/3?
True
Suppose -f - m = -11452, 4*f - 45808 = -52*m + 49*m. Does 2 divide f?
True
Let u(y) be the third derivative of -5*y**4/12 + y**3/2 + 10*y**2. Let l be u(-2). Let f = l - -37. Does 10 divide f?
True
Let r be (-70)/8 - 47/188. Does 80 divide (-2)/7 + (-3930)/(-35) + r?
False
Suppose -4*t - 2*h + 10 = 0, -5*t + 3*h - 1 = 14. Let r(f) = -f - 24. Let b be r(-24). Does 3 divide (t - 1)*(-3 - b)?
True
Let n(u) = 5*u**2 - 135*u + 3807. Is n(90) a multiple of 27?
True
Let j = -3245 - -5557. Does 68 divide j?
True
Let g(y) = 1898*y + 211. Is 13 a factor of g(1)?
False
Let b(o) = o**2 + 4*o - 1. Let f be b(-4). Let m be 99/36 + (f/(-4))/1. Suppose -u - 9 - 13 = -3*j, 3*j = m*u + 30. Does 2 divide j?
True
Suppose -4*y = -613 + 73. Let d = y - -5. Is d a multiple of 28?
True
Suppose 22*p - 15*p - 167796 = -11*p. Is p a multiple of 59?
True
Let c = 27368 - 26826. Does 2 divide c?
True
Let v(r) be the third derivative of -17*r**2 + 0*r + 5/24*r**4 + 3/2*r**3 + 0 + 1/60*r**5. Does 11 divide v(-8)?
True
Let j(u) = -2*u + 1. Let l(c) = 51*c - 13. Let f(a) = j(a) - l(a). Is 11 a factor of f(-2)?
False
Let g = 2388 + -1658. Suppose 5*i - f - g = 0, -8*f = 2*i - 3*f - 319. Does 14 divide i?
False
Let f(v) = 4*v**3 + 26*v**2 - 14*v + 8. Let r be f(-7). Suppose r*m + 272 = 12*m. Does 68 divide m?
True
Suppose -4*v + 204 = 2*v. Suppose v*i + 343 = 41*i. Is 10 a factor of i?
False
Let n be 154*5*(-65 + 66). Let y = n + -678. Does 46 divide y?
True
Suppose 46*s - 74*s - 56862 = -37*s. Is s a multiple of 166?
False
Let y(a) = 8*a**2 - 23*a + 24. Let w be y(1). Suppose -4*n - 268 = -4*d, -8*n + w*n = 3*d - 203. Is d a multiple of 4?
True
Let q(h) = -5*h**3 + 8*h**2 - 17*h - 34. Is q(-10) a multiple of 106?
True
Let o(u) = -28*u + 3. Let g be o(1). Let w = g - -22. Let z(x) = x**2 - 2*x + 1. Is 4 a factor of z(w)?
True
Let z(o) = 97*o**2 - 90*o + 2. Is 14 a factor of z(6)?
True
Is 1/(30/(-4)) - 3144372/(-3690) a multiple of 4?
True
Is 6 a factor of 30485/7*5/(75/12)?
False
Let u = 44 - 41. Suppose f - 5*s - 102 = -10*s, -2*s = -u*f + 357. Let z = f - 66. Is z a multiple of 8?
False
Let w(p) be the second derivative of p**5/10 - 5*p**4/4 + 2*p**3 - 10*p**2 + 43*p. Does 14 divide w(8)?
True
Let k = 527 + -32. Let t = -87 + k. Is 24 a factor of t?
True
Let y(h) = -h**3 - 12*h**2 + 18*h + 10. Let a be y(-13). Is 11 a factor of -3*a/(5/1)?
True
Suppose 7*a - 8*a = 28. Is 1383/4 - 7/a a multiple of 14?
False
Let q(m) = 7*m**2 - 268*m + 71. Is 18 a factor of q(-34)?
False
Is 77 a factor of (-77)/(((-99)/(-572))/(-9))?
True
Is 50 a factor of (4137/2)/(2627/(-444) - -6)?
False
Let o(w) = -11*w**2 - 3*w - 1. Suppose s = 2*k - 5, -5*k + 13 = -0*s - 3*s. Let d be o(s). Does 4 divide (-74)/(-4) + 2 + d/6?
False
Let v(d) = 63*d + 317. Let b be v(-5). Suppose -2*j - 508 = -b*u, -5*u - 250 = -6*u - j. Is 28 a factor of u?
True
Let v be 14/2 + (-5)/(-1). Suppose 0 = 3*f - 3*j - 582, -v = 2*j - 5*j. Does 6 divide f?
True
Is 10958 + 203 + 24/(-2) a multiple of 18?
False
Let p = -5 - -7. Suppose -4*g + p + 154 = 0. Suppose -28 + g = u. Is 9 a factor of u?
False
Let s = 33658 - 23363. Does 29 divide s?
True
Suppose 6*g + 39*g - 11*g - 16796 = 0. Is g even?
True
Let m(t) = 2*t**2 - 57*t - 29. Let z be m(29). Suppose -3*g + r = -8*g + 1844, 4*g + 4*r - 1488 =