6356*v + 744. Is 190 a factor of y(1)?
True
Let v(i) = 2*i**3 + 11*i**2 - 5*i + 6. Let k be v(-6). Suppose 108 = u - 5*z, 4*z - 7*z = k. Is 27 a factor of u?
True
Let j(h) = 4*h**2 - 6*h + 3. Suppose 43*p + 40 = 48*p. Is 18 a factor of j(p)?
False
Let t(b) = -2*b**3 + 8*b**2 - 23*b - 13. Let w be t(7). Is w/(-8)*(-13)/(78/(-168)) a multiple of 12?
False
Let u(m) = 7*m**3 - 5*m**2 - 7*m + 93. Let b be u(6). Suppose -23*t = -848 - b. Is 10 a factor of t?
False
Suppose -2*r - 4*s - 459 = 171, -5*r - 5*s = 1585. Let d = r + 108. Let a = -81 - d. Does 10 divide a?
True
Let b be 2 - (1 + (-2333 - 1)). Let h = b + -1651. Is h a multiple of 14?
False
Let i = 129 + -132. Does 6 divide 3/(i + 9)*338?
False
Suppose -35*r = -31*r - 2292. Let h = 985 - r. Is h a multiple of 13?
False
Let k(z) be the first derivative of 18*z - 35 - 4*z**2 + 5*z**2 + 9. Is k(5) a multiple of 6?
False
Suppose -5*p + 106 - 871 = 0. Let b = p + 160. Is (4/7)/(2/b) - -86 a multiple of 44?
True
Suppose 34*s = -8*s + 121926. Is 4 a factor of s?
False
Let p(z) = -4117*z + 776. Is 34 a factor of p(-2)?
True
Is 21 a factor of 1/(8/27550) - 4/32*-2?
True
Suppose -7*s - 6 = -6*s. Does 40 divide -1*480*s/6?
True
Let r(p) be the third derivative of -1/6*p**4 - 1/2*p**3 + 0*p + 0 - 16*p**2. Does 2 divide r(-7)?
False
Is 148 a factor of (-54)/(-9)*1 + 5318 + 0?
False
Let h be (70/15)/7*6. Suppose 2*z = -2*t + 104, h*z + 80 = 5*t - 3*t. Suppose t + 120 = 7*j. Is 7 a factor of j?
False
Let p = 255 + -165. Let i be 15/(-60) - (-601)/4. Suppose 6*k - p = i. Does 10 divide k?
True
Let r = -57 + 59. Let l be (11 - 8) + 0 + (r - 2). Suppose l*v = 134 + 46. Does 12 divide v?
True
Suppose x - 3*x + 591 = o, -x + 3*o = -313. Is x a multiple of 3?
False
Suppose -6*p + 29 = 5. Let i be (-2 - p/(-2)) + 0. Suppose 3*x - 7*x + 288 = i. Is 24 a factor of x?
True
Let b(q) = 31*q - 204. Let f be b(8). Suppose -f*a = -40*a - 228. Does 2 divide a?
False
Let u(x) = -7*x - 14*x - 296 + 298. Let i be u(-3). Suppose 2*z = 5*b + 71 + 87, -z + i = b. Is z a multiple of 23?
True
Let j(g) = g**2 + 20*g - 15. Let l be j(-17). Let r = l + 220. Does 11 divide r?
True
Suppose 0 = 165*g - 184*g + 7068. Is 40 a factor of g?
False
Let j = -56 + 437. Let r be (-2)/(-4) + 2/12*j. Let v = r + -21. Is v a multiple of 43?
True
Suppose -5*c + l = 618, c - 246 = 3*c - l. Let x = 127 + c. Suppose 365 = 4*z + z - 2*k, x*z = k + 218. Is z a multiple of 5?
False
Let s = -45 + 45. Suppose -10*j + 6*j + 560 = s. Is j a multiple of 20?
True
Let i(s) = -s**3 + 4*s**2 - 3*s + 2. Let m be i(3). Let y(x) = 28*x**3 - 3*x**2 + 2*x + 4. Let r be y(m). Suppose -r - 230 = -3*u. Is 15 a factor of u?
True
Suppose 40*r = 30*r - 330. Let w(q) = -15*q + 265. Is w(r) a multiple of 49?
False
Suppose 4*l - 3*s = -l + 73, 5*s - 9 = -l. Suppose -4 = 3*k - p, 4*k + 4*p - 2 = l. Suppose 102 = -k*d + d. Does 11 divide d?
False
Let j(m) = m**2 + 25*m + 131. Let s be j(-18). Suppose 0 = s*t + 5*z - 3405, 25*t = 27*t - 4*z - 1362. Does 74 divide t?
False
Let b(s) = -s**3 - 5*s**2 - 8*s - 20. Let x be b(-6). Is (-12)/(-32) - (-36264)/x a multiple of 63?
True
Is 160 a factor of (56160/(-182))/(2/(-28))?
True
Let s = 50 + -49. Let w(c) = 147*c**2 - 3*c + 4. Let m be w(s). Suppose 2*r + 4*i = -2*r + m, -4*r = -3*i - 120. Is r a multiple of 11?
True
Suppose 2*m + 9 = -9. Let t(k) = 11*k**2 - 9*k - 2. Is t(m) a multiple of 10?
True
Let d(r) = 8*r**3 + 13*r**2 + 3*r + 12. Let g(i) = -15*i**3 - 26*i**2 - 6*i - 22. Let t(j) = 5*d(j) + 3*g(j). Does 16 divide t(-6)?
True
Suppose -29 = -5*z - 2*v, 5*v - 1 + 11 = 4*z. Let n(j) = -j**3 + 4*j**2 - 4*j + 9. Let s be n(z). Is 2 a factor of (12/s)/(2/(-108))?
True
Suppose 5*a = 2*n - 16673, 7*n - 58297 = -7*a + 5*a. Is n a multiple of 12?
False
Let r = 21122 - 10624. Does 114 divide r?
False
Let w(i) = i**2 - 2*i - 6. Let v be w(-2). Let b be (1 - -6)/((-5)/(v + -7)). Is 7 a factor of ((-12)/b)/((-8)/196)?
True
Suppose -65*v + 31*v + 346440 = -4*v. Is v a multiple of 30?
False
Suppose 2*a + 3*n - 30 - 13 = 0, a - 4*n = 16. Suppose -a + 5 = -5*o. Let k(u) = 52*u - 10. Is 10 a factor of k(o)?
False
Let t = 76 + 86. Suppose 0 = 5*q - 168 - t. Suppose -v + 323 = 4*l + 47, -l - v + q = 0. Is 35 a factor of l?
True
Let n(z) = -7*z**2 + 19*z - 5. Let d be n(5). Let h = -82 - d. Suppose 5*f - 4*a - a = 825, -h*a = 5*f - 865. Is 41 a factor of f?
False
Let a(w) = -w**2 + 12*w + 102. Let o be a(-6). Is 17 a factor of 2/(o + 12864/2142)?
True
Let s(w) = 6*w + 19. Let t(b) = -18*b - 57. Let l(h) = 11*s(h) + 4*t(h). Let q be l(5). Is (-14)/q + 164/14 even?
True
Let m(q) = -72*q + 1. Let t be m(1). Let r = -78 + 180. Let p = t + r. Is 7 a factor of p?
False
Suppose -3*c - 107 = -4*y, 25 = -5*y + 4*c + 158. Let b(t) = t**2 + t - 4. Let j be b(6). Let p = j - y. Is 4 a factor of p?
False
Suppose -23*n + 12367 = -3895 - 18307. Does 3 divide n?
True
Let u(z) = 2*z**2 + 8*z + 4. Let d(p) = -7*p**3 + 2*p**2 + 2*p + 1. Let s be d(-1). Let q be u(s). Suppose -3*m + q + 728 = 0. Is m a multiple of 11?
True
Let n(j) = j**3 - 11*j**2 - 18*j + 75. Let u be n(12). Suppose 1518 = -3*g + 2*q + 3734, -2218 = -u*g + q. Is g a multiple of 20?
True
Suppose 0 = -4*f + 2*m + 52830, 10*f = 9*f - 4*m + 13203. Does 16 divide f?
False
Does 11 divide -18 + 17 - (5 - 1018)?
True
Let l(h) = -105*h - 10. Let b(r) = -104*r - 11. Let s(m) = 4*b(m) - 5*l(m). Let g be s(4). Suppose 2*a = 5*d + g, 4*a = 2*d + 752 + 116. Is 36 a factor of a?
True
Let n = -1 + 1. Let j(c) = 13*c**2 + 24*c - 156. Let f be j(8). Suppose n = -5*r + 2*w + f, 6*w + 520 = 3*r + 5*w. Is 18 a factor of r?
False
Suppose 7*x + 97 = -15. Let o be 20/14*(-112)/x. Suppose -o*w + 172 = -138. Does 9 divide w?
False
Let r(x) = x**2 + 55*x + 1457. Is 3 a factor of r(-35)?
False
Suppose 10 = -2*t, -2*a - 3 = -4*t + 3*t. Let w be (-32 - (-4 + 3)) + a. Let h = 43 + w. Does 7 divide h?
False
Let f(l) = -l**3 - 4*l**2 - l + 37. Let n be f(0). Is ((-196)/(-7))/(1*2/n) a multiple of 37?
True
Let v(b) = b**2 + 8*b + 3. Let x = -345 - -347. Is v(x) a multiple of 2?
False
Let k(c) = 64*c**2 - 58*c - 990. Does 12 divide k(-15)?
True
Suppose 153*a = 151*a + 16572. Is a a multiple of 35?
False
Suppose 0 = -9*m - 188 - 55. Does 8 divide (-4179)/m + -3 - 8/(-36)?
True
Let r = 14653 - 6493. Is r a multiple of 85?
True
Suppose -427*y - 4*f = -432*y + 332772, 0 = -y - 3*f + 66543. Does 188 divide y?
True
Let m(w) = -130*w**3 + 111*w**2 + 796*w - 34. Does 199 divide m(-8)?
True
Let f be (20/15)/((-2)/(-24) + 0). Let h = -1 + f. Let s = 31 + h. Is s a multiple of 11?
False
Let x(m) = 4*m - 33. Let k = 56 + -56. Let s be x(k). Does 32 divide 6342/33 - (-6)/s?
True
Suppose 0 = -5*g - 4*t + 4931, t + 3*t = 4*g - 3952. Does 15 divide g?
False
Let o(h) = -38*h - 72. Let z be o(-2). Suppose z*a - 47*a = -29412. Is a a multiple of 12?
True
Let h(r) be the first derivative of 3*r**2/2 + 4*r - 6. Let v be h(0). Suppose 0 = v*u - 3*u - 44. Does 6 divide u?
False
Suppose -685900 = -102*o + 59312. Does 26 divide o?
True
Suppose -8*h + 18472 = n, -2*n + h + 11082 = -25981. Is n a multiple of 154?
False
Suppose 0 = x - 4876 + 1931. Is 19 a factor of x?
True
Let u(a) = -15*a**3 + a**2 + 2*a + 1. Let q be u(-1). Suppose 2*o - q = 3*y, -2*y = -5*y + 9. Let m = o - 7. Is m a multiple of 3?
False
Let m(h) = 89*h - 532. Is 9 a factor of m(26)?
True
Suppose 295*u = 112*u + 2046306. Is 67 a factor of u?
False
Let c = -32 + 147. Suppose 2*b + 99 = c. Is 5/((-5)/(-66)) - (-8)/b a multiple of 19?
False
Let m = 5326 - 2459. Does 6 divide m?
False
Let r(l) = -473*l + 44 + 476*l + 44. Is 12 a factor of r(-16)?
False
Suppose 1029760 = 6*j + 58*j. Does 15 divide j?
False
Let g = -4954 - -5150. Does 98 divide g?
True
Let a(b) = b**2 - 58*b - 552. Does 3 divide a(-24)?
True
Is 18299 - 39/(-143)*-33 a multiple of 34?
False
Suppose -2*d = -4, -17*d + 18*d + 32963 = 5*z. Does 19 divide z?
True
Let c = -4134 + 9750. Suppose c = 13*f - f. Does 5 divide f?
False
Let t = 407 + 3381. Is t a multiple of 20?
False
Let z(k) = k**3 + k**2 + 4*k + 5. Let x be z(-1). Is x/2 - (-4944)/32 a multiple of 19?
False
Suppose 38*z - 111*z = -338574. Is z a multiple of 8?
False
Let z(n) = 11*n**3 + 3*n**2 - 1. Let u = -25 - -27. Suppose 3*x - u*x = 2. Is 13 a factor of z(x)?
False