62/341. Let u = 773 + w. Is u a multiple of 19?
False
Suppose t - 5*h = 7, -5*t - 5*h + 28 = -7. Is 17 a factor of t/28 - (2 + (-211)/4)?
True
Suppose 199264 - 354715 - 217429 = -10*s. Is 236 a factor of s?
True
Let a(u) = u**2 - 14*u - 60. Let d be (-2*(-11)/6)/(22/(-66)). Is a(d) a multiple of 5?
True
Let d = 1873 - 585. Does 8 divide d?
True
Suppose -2*r + 10*a = 11*a + 296, -4*r - 596 = 4*a. Let v = r - -387. Is 24 a factor of v?
True
Let c = -151 + 155. Suppose c*n = 4*o + 107 - 1051, 5*o - 1178 = 4*n. Is 9 a factor of o?
True
Let u(y) be the second derivative of -y**5/5 - y**4/12 - 11*y**3/2 - 31*y. Let q(x) be the second derivative of u(x). Does 26 divide q(-12)?
True
Let w = -128 + 132. Suppose -2*z + 5*b + 300 = 0, w*z + 0*b - 600 = -3*b. Is z a multiple of 25?
True
Let q be (2/((-4)/3))/(99/(-132)). Suppose 0 = -5*r + 10, 0*m + 5*m - q*r - 21 = 0. Suppose -h + 153 = 5*l, -m*l + h = -60 - 87. Is 15 a factor of l?
True
Is 16 a factor of (8/(-2))/(9 - (-10712)/(-1190))?
False
Let o(t) = -2*t**3 - 9*t**2 + 8*t + 15. Suppose -35 = 5*j - u, -4*j - 3*u + 0*u = 28. Is 51 a factor of o(j)?
True
Let b be -37*1/(-5) - (-9)/15. Suppose -b*g + 33*g = 15325. Does 70 divide g?
False
Let d(i) = -4*i + 17. Let u(n) = -11*n + 50. Let p(y) = 8*d(y) - 3*u(y). Let g be p(16). Let b(f) = 40*f**3 + 5*f - 5. Is b(g) a multiple of 65?
True
Suppose -4*t = 129 - 21. Let q = t - -32. Suppose -k = 4*c - 129, 2*k - 3*k + 161 = q*c. Is 8 a factor of c?
True
Suppose 4*o + v = -1, 4*o + 5*v = 2*v - 3. Suppose h - 3*h = o. Suppose 4*j = -3*r + 159 - 62, h = -j + 4*r + 29. Is j a multiple of 7?
False
Let o = -8663 + 14570. Is o a multiple of 10?
False
Suppose x - 105 = -6*x. Let l = -13 - x. Let v = l - -69. Does 7 divide v?
False
Suppose -10*y + 12*y = -9*y + 19657. Is y even?
False
Suppose -23*u = -24*u + 8792. Suppose 14*z - u + 952 = 0. Is 40 a factor of z?
True
Suppose 3*p = 4*f + 18131, 15*p - 11*p - 2*f = 24188. Does 86 divide p?
False
Let t be 4 - 20*(-10)/(-4). Let l = t + 37. Is 17 a factor of (-8)/(-9)*39 - (-6)/l?
True
Let n be (2 + (1 - 2))/(2/80). Suppose 7*y + y = n. Does 21 divide -2 + (283 - 3 - y)?
True
Let d = 40 + -62. Let g = -21 - d. Is 10 a factor of (-2 + 1)/(g/(-96))?
False
Let b = -68 - -70. Suppose -798 = b*m - 8*m. Is 19 a factor of m?
True
Let j(c) = -c**3 + 18*c**2 + 4*c - 6. Let k(m) = m**3 - 19*m**2 - 3*m + 5. Let p(s) = 5*j(s) + 6*k(s). Is 11 a factor of p(24)?
False
Does 102 divide ((-115668)/(-336))/((9/(-8))/(-3))?
True
Let r(y) = -10*y**3 + 4*y**2 - 5*y + 4. Let u be r(3). Is (-36211)/u - (-2)/10 a multiple of 4?
True
Suppose 771*a + 35105 = 806*a. Is a a multiple of 11?
False
Let q(n) = 88*n + 39. Let m be q(3). Let w = m - 238. Does 5 divide w?
True
Suppose -5*g + x + 1518 = 4*x, 304 = g + x. Suppose t - g = -2*o, o = 3*t - 450 - 438. Is 30 a factor of t?
False
Does 2 divide 1914*((-175)/(-7) - 23)?
True
Let v = -765 - -1235. Does 10 divide v?
True
Let i(r) = 1 + 0 - 3 - 3 + 2 + 423*r. Is 21 a factor of i(3)?
False
Let a(z) = 25*z - 15. Let k be 7/(-2)*280/(-245). Suppose -13 = k*u - 49. Is a(u) a multiple of 14?
True
Suppose 0 = 5*y + 5*m - 19430, -58*m = -60*m - 12. Is 7 a factor of y?
True
Suppose i + 4*o - 92 - 88 = 0, 2*o + 320 = 2*i. Suppose 2*r + i = -2*g + 14, -130 = 2*r - 3*g. Let t = r + 136. Is t a multiple of 10?
False
Let c = 82 - 115. Let r = -33 - c. Suppose r = -z + 4*y - 7, -z + 2 + 3 = -y. Is z a multiple of 4?
False
Let y be ((0 + -41)*1)/(17/(-17)). Let v = y + -34. Suppose -2*m + v*m = 195. Is m a multiple of 13?
True
Suppose -g + 178 = -5*a + 2*g, 3*a = 2*g - 106. Let y = a + 42. Is 24 a factor of 166 + (-2)/(y + -5)?
True
Suppose 496 = 5*k + 36. Suppose 2*s + s = 4*x + k, 5*s - 132 = -4*x. Does 2 divide s?
True
Let a be (-423)/(-1) - (0 - (6 - 5)). Suppose 41*v - 37*v - a = 0. Is 16 a factor of v?
False
Let x(r) = -r**2 + 30*r - 13. Let c be x(-8). Let d = c - -481. Is 14 a factor of d?
False
Suppose -91069 + 6870 = -98*n + 48787. Is 48 a factor of n?
False
Suppose 20 = 7*o - 106. Suppose o*r = 21*r - 5*x - 1837, 635 = r + 4*x. Is r a multiple of 41?
False
Suppose 4 = -4*x + 12. Suppose 5*p = 13 + 7. Suppose 0 = -p*d - x*z + 40, -2*d - 3 + 19 = -z. Is 9 a factor of d?
True
Let h = 20 + -17. Suppose -g = -2*g + h. Suppose 5*b = g*c - 12, -4*b + 0 = -c - 3. Is 9 a factor of c?
True
Let a = -38 - -38. Let o be (33 - a)*(-2 - -1). Let n = 63 + o. Is 10 a factor of n?
True
Suppose y - 36 = -11*y. Suppose -y*x + 5*o = -1613, -2643 = -5*x + 4*o - 7*o. Does 66 divide x?
False
Let k = -432 - -237. Let q = k - -331. Is 34 a factor of q?
True
Let l(r) = -r**3 + 8 - 24*r + 13 + 3 - 4 - 7*r**2. Is 32 a factor of l(-11)?
True
Let q(l) = 6*l**2 - 47*l + 633. Is 127 a factor of q(45)?
True
Suppose 7*a = 4*a + u + 60, -5*u = 2*a - 57. Let o(q) be the second derivative of -q**4/12 + 23*q**3/6 + 25*q**2/2 + 2*q. Does 13 divide o(a)?
False
Suppose 5*m - 41 - 134 = 3*n, 0 = 3*m + 4*n - 105. Let c = m + -8. Is 14 a factor of 4/18 + 2640/c?
True
Suppose 138*q - 131*q = 84. Is 4/(15/(11970/q)) a multiple of 49?
False
Does 27 divide (2926/28)/(3/324)?
True
Let w(t) = -t**2 + 21*t - 68. Let r be w(17). Suppose -4*k - 6*k + 320 = r. Is k a multiple of 8?
True
Let b(r) = 167*r**3 + 5*r**2 + 8*r + 84. Is b(6) a multiple of 70?
False
Let i(v) = v**2 + 11*v + 20. Let p be i(-7). Let f = p - -11. Suppose 2*l - 209 = -f*l - 3*t, -3*t = -2*l + 71. Is 9 a factor of l?
False
Is ((2459930/44)/11)/(1/2) a multiple of 107?
True
Let f = -477 + 5330. Does 23 divide f?
True
Suppose 3*y + 4*k = -3*k + 84071, 2*y + 4*k = 56048. Is y a multiple of 13?
False
Let i(g) = 40*g**3 - 4. Let j be i(-2). Let u = -90 - j. Does 39 divide u?
True
Suppose -3*n - 223*i + 225*i = -342, n + 4*i = 128. Is n even?
True
Suppose -924 = -5*n + 2*j, -2*j + 0*j = -2*n + 372. Suppose -2*v + 152 = -3*g - 210, -v = -3*g - n. Does 17 divide v?
False
Let p(j) = 23*j**2 - j - 6. Suppose -5*d + 10 = 4*q + 3, 4*q - d = 13. Let n be p(q). Let b = n + -110. Does 33 divide b?
False
Let p(u) = 3*u + 6. Let t(z) = -z - 2. Let h(g) = 2*p(g) + 7*t(g). Let s be h(-4). Suppose 5*x = -5, -3*x = -4*j - s*x + 293. Is j a multiple of 10?
False
Let j = 2194 - 1063. Is j a multiple of 39?
True
Let z(p) = 6 + 9 + p + 4*p**2 - 3 - 2*p**2. Is z(-4) a multiple of 31?
False
Let p(k) = -k**3 - 3*k**2 - 2*k - 5. Let r be p(-2). Let f be ((-4)/r)/((-2)/25). Is 37 a factor of (-26 - -4 - 2/(-4))*f?
False
Suppose 2*l - 144 = -10*l. Suppose 6*m - l = 4*m. Let h(b) = 12*b - 39. Is h(m) a multiple of 11?
True
Let q = 2380 - -204. Suppose -7*j = j - q. Suppose p + 557 - 14 = 5*l, 3*l - 2*p = j. Is l a multiple of 40?
False
Suppose 77*g = 70*g + 14. Suppose -g*z = 6*z - 2264. Is 4 a factor of z?
False
Let c(o) = -154*o + 1431. Is 8 a factor of c(-24)?
False
Suppose -5*r + 126 = 486. Let q = -70 - r. Suppose -j - s = -22, -q*s + s - 30 = -j. Is j a multiple of 13?
True
Let t(l) = 37*l**3 + 11*l**2 - 11*l - 4. Does 6 divide t(4)?
True
Let f(p) = -5*p**3 + 17*p**2 + 20*p + 9. Let b(t) = t**3 - t**2 - t + 1. Let r(a) = -6*b(a) - f(a). Let v be r(-10). Let c = v + -5. Does 10 divide c?
True
Is 44 a factor of (-1 - 3708/60)*230/(-4)?
False
Let o(j) = -3*j + 17 - 9*j**2 - j**3 + 0*j**2 + 3*j. Is o(-11) a multiple of 13?
False
Let h(j) = 2*j**2 - 5*j + 4. Let a be h(3). Suppose -5*r + 90 = 3*u, -2*r - a = 5*u - 43. Does 18 divide (-759)/r*-1 + (-9)/54?
False
Let a(s) = -390*s**3 - 79*s**2 - 162*s - 4. Is 44 a factor of a(-2)?
True
Suppose 0 = 4*h + 4*y - 41556, -46*y = -45*y + 6. Is 27 a factor of h?
True
Suppose -15*r - 8757 = -24*r. Let u = r + -695. Is 6 a factor of u?
False
Let x = -105 + 105. Suppose x = -5*u - 15, 6*g - 2*g + 4*u = 4044. Is g a multiple of 39?
True
Suppose -5*b = -b - 12. Let o be b/15 + 369*(-1)/(-5). Suppose o + 6 = 2*y. Is 28 a factor of y?
False
Suppose 2074*r - 2044*r - 32100 = 0. Does 5 divide r?
True
Let s be 250/65 + -4 + (-43060)/(-26). Let l = s - 912. Suppose 17*z - 633 = l. Is 19 a factor of z?
False
Let h(s) = 7*s + 113. Let v be h(-18). Is 10 a factor of 156/v*(-174)/9?
False
Let f(k) = -8694*k**3 + 12*k + 8693*k**3 + 9*k + 17*k**2 - 16. Let c be f(18). Let t = 111 - c. Is t a multiple of 9?
False
Suppose 13*h = -7*h + 55140. Suppose -2224 = -4*y + 3*c, -6*y = -y + 2*c - h. Is