38 - 123. Suppose 1338*p + 2835 = 1275*p. Let u = y + p. Is 14 a factor of u?
True
Let q = 8765 + 1819. Does 72 divide q?
True
Let u(a) = -1 - 20*a - 25 - 48*a + 11*a. Is u(-3) a multiple of 11?
False
Suppose 258*o = 215*o + 79922 + 50927. Does 17 divide o?
True
Let i(x) = -x**3 - 17*x**2 + 11*x. Suppose 5*c = -2*a - 86, -2*c - 3*c - a = 88. Is 21 a factor of i(c)?
True
Let d(b) = -132*b**3 - 21*b**2 + 0*b + 2*b - 5*b + b + 131*b**3 - 14. Let r be (-21)/(-6)*-2*3. Is 14 a factor of d(r)?
True
Suppose -5*m + 4095 = -n, -5*m + 3*n + 0*n + 4095 = 0. Is m a multiple of 7?
True
Let o(a) = a**2 + 32*a + 352. Is 8 a factor of o(58)?
False
Let x = 192 - 106. Let k be (-6)/(20/(-4)*(-34)/(-85)). Is 20 a factor of x/4*2 - k?
True
Let a be 3 - -1 - (-16)/(-4). Suppose -s - 5*r + 3 = a, -2*s = 3*r - 3 - 3. Suppose -5*x + v + 56 = 0, 0*x - 36 = -4*x + s*v. Does 7 divide x?
False
Suppose r - 16 = -q - 3*r, -3*q + 2*r = 22. Does 6 divide ((-6)/q)/((-2)/(-40))?
True
Suppose -3*i + 11994 = 3*s - 2118, -2*s + 4708 = i. Is 47 a factor of i?
True
Suppose -2*j + 589 = 4*l - 145, 2*j + 2 = 0. Let g = 448 - l. Does 42 divide g?
False
Suppose 533*a + 254748 = 556*a. Does 12 divide a?
True
Let m = 21945 - 16695. Does 125 divide m?
True
Suppose 0 = -6*h + 23*h - 9945. Let g = 1319 - h. Does 51 divide g?
False
Let y(j) = j**3 + 3*j**2 - 6*j - 6. Let p be y(-4). Let u(n) = 6 + 3*n**3 - 5*n**p + 0*n**2 - 5*n**2 - n**3. Is u(5) a multiple of 6?
True
Suppose 0*f = -5*f - 465. Let d = f - -150. Does 13 divide (-19)/d + (-1016)/(-6)?
True
Let d(q) = -4*q**3 + q**2 + 2*q + 2. Suppose -3 + 9 = -6*n. Let t be d(n). Suppose -t*j = 2*j - 581. Is 17 a factor of j?
False
Let a be -2 + (1/(-3))/(1/(-21)). Let q(w) = -w**2 + 9*w - 15. Let u be q(a). Is 40 a factor of (16/u)/((-14)/(-525))?
True
Suppose 0 = -4*s + 8, 5*o = -1398*s + 1393*s + 90210. Is 22 a factor of o?
True
Let a(o) = 10 - 3 + 108 + 117*o + 41. Does 13 divide a(6)?
True
Let q = 5 - 47. Let s = -1 - 30. Let b = s - q. Is b even?
False
Suppose -q = c - 11690, 321*q - 324*q = 5*c - 58446. Is c a multiple of 10?
False
Let a(z) = -z**2 - z + 6. Let h be a(-2). Is ((-14)/(-5) - 4)/(h/(-890)) a multiple of 20?
False
Suppose 4*u - 3*o = 750 - 86, -3*o = -12. Let q(w) = 37*w**2 + 9*w + 38. Let a be q(-3). Let p = a - u. Does 42 divide p?
False
Let j(f) = -5*f + 4*f**2 - 9*f**2 - 2*f**2 + 6 - 2*f**3 - 2. Suppose 2*a + 10 = 2. Does 22 divide j(a)?
False
Suppose -5*j - 112 = -19*j. Let g(n) = 3*n**3 - 19*n**2 + 11*n + 17. Is 25 a factor of g(j)?
True
Let x be (24/(-10))/(-4) + 132/30. Suppose 4*b = -x*s + 188, -2*b - s + 128 = 40. Suppose 26 + b = 2*m. Is 10 a factor of m?
False
Suppose -7*k = -4*k + 3. Let j be -29 - (2 + -2 + k). Does 14 divide (-1576)/j + 2/(-7)?
True
Suppose 0 = -2*k + 231 + 15. Suppose -k = -3*h + 2*h + p, 5*p = -15. Suppose 2*t = 4*a - 96, -h = -5*a + t - 2*t. Is a a multiple of 15?
False
Let r = 43162 - 32517. Is 54 a factor of r?
False
Let r = -3660 - -4131. Does 16 divide r?
False
Does 13 divide 0 - (-3496)/2 - 3?
False
Let c = -39 - -55. Suppose m - 19 = -4*m + j, -c = 4*j. Suppose 2*k - 13 = 3*s, 0 = 3*k + m*s - 48 - 9. Is k a multiple of 7?
True
Is 10 a factor of (-2412401)/(-159) - (-8)/12?
False
Suppose 0 = 4*m - 0*j - 2*j - 37124, 6*m + 3*j = 55662. Does 9 divide m?
True
Suppose -p + 173 - 11 = 0. Suppose -p - 4 = -2*r. Does 47 divide r?
False
Let t = -166 - -172. Is 16 a factor of 3 + 15/((-1564)/(-260) - t)?
False
Let u(b) = 5*b + 0*b + 79*b**2 + b + 34 - 39. Let s be u(2). Suppose 5*f - s = -c, 73 = -3*f + c + 262. Is f a multiple of 16?
True
Let g(x) = -34*x - 14 - 1 + 5 - 3. Is 5 a factor of g(-2)?
True
Suppose 4*t - 7*t = -j - 12, 2*t - 4*j = -2. Let c(m) = 7*m**2 - 17*m + 4. Let s be c(t). Let b = s + -67. Is b a multiple of 3?
True
Let k(u) = 7010*u**2 - 24*u + 22. Is 8 a factor of k(1)?
True
Is 10 a factor of (30 + -38)*3190/(-4)?
True
Let v(q) = 54*q + 11. Let d be v(4). Suppose 2*f - 667 = -b, -2*f + 661 = -3*b + 2*b. Suppose o - d + 4 = -2*p, 0 = -3*p + o + f. Is 25 a factor of p?
False
Let z(o) = -471*o**3 - 472*o**3 + 9 - 10*o + 1411*o**3 + 1 + 19*o**2 - 466*o**3. Let b be 104/(-10) + 6/15. Is 5 a factor of z(b)?
True
Suppose d = 2*d - 11. Let o(a) = -10*a - 10*a + a**3 - 12 - 10*a**2 + 16*a - d*a. Is 32 a factor of o(12)?
True
Let i(j) = 28*j + 23*j - 21 - 12 - 6. Is i(6) a multiple of 28?
False
Let o = -522 + 2150. Suppose 257*l - o = 255*l. Is l a multiple of 11?
True
Let p be (-2)/(-3)*(6 + (-1 - -4864)). Suppose -p = -3*v - 42*i + 39*i, -4*v - 2*i = -4326. Is v a multiple of 18?
False
Suppose -c - 2*q - 12 = -33, q = -3*c + 83. Let u = c + -28. Is (-80)/(-2) + (u - 5) a multiple of 9?
True
Let t(q) be the first derivative of -q**6/120 + q**5/20 - q**4/8 + q**3/2 + 3*q**2 + 18. Let a(f) be the second derivative of t(f). Is 19 a factor of a(-3)?
False
Suppose 25*d - 171 = -46. Does 65 divide ((-60)/16)/(d/(-780))?
True
Let a(n) = 450*n + 774. Is 28 a factor of a(6)?
False
Suppose 3*p + 47 = v, 6*p - 128 = -4*v + 3*p. Suppose v = 2*y + 5*y. Let g(l) = 6*l - 15. Does 15 divide g(y)?
True
Suppose 11*j = -9*j. Suppose j*g + 40 = -5*g. Is (-202)/g - (6 - (-115)/(-20)) a multiple of 5?
True
Let q(u) = u**2 + 14*u - 50. Let i be q(4). Does 50 divide (-26 + 40)*(0 + i) + 0?
False
Is 13 a factor of -1 - ((-102358)/20 - 2) - (-74)/740?
False
Let a(n) = 24*n**2 - n - 3. Let x be 3 + 44/3 - (-4)/(-6). Suppose 3*z = -3*g - 15, 0 = -g - 0*g - 5*z - x. Is a(g) a multiple of 10?
False
Let r(l) be the first derivative of -l**2 + 70*l - 45. Is 3 a factor of r(6)?
False
Suppose -4*t = 4*f - 64976, -t + 6129 = 5*f - 10107. Does 121 divide t?
False
Let c = -25 + -23. Let m = 80 + c. Suppose 0 = -n + 50 + m. Is n a multiple of 41?
True
Let w(r) = 5*r + 2 - 3*r + r - 4*r. Let f be w(0). Is (-161)/(-2) - (-3)/f a multiple of 13?
False
Let v = -333 - -336. Suppose 4*q - v*q = 528. Is q a multiple of 6?
True
Does 17 divide 189/27 - ((-4)/(-10) + (-20334)/10)?
True
Suppose -15*i = 3*r - 17*i - 15, -9 = 2*r + 5*i. Suppose -5*p + 0*s + 4088 = -r*s, -3*p - 4*s + 2476 = 0. Suppose -5*b + 45 = -p. Does 15 divide b?
False
Let j(c) = 399*c - 1574. Is 17 a factor of j(10)?
False
Suppose -2673 = -3*a + 4*p, 3*a + 73*p - 2670 = 78*p. Is a a multiple of 34?
False
Let w = -92 + 95. Let z = 20 - 11. Suppose -z*p + 1038 = -w*p. Does 22 divide p?
False
Let u(h) = 8*h - 13. Let p be u(-4). Let t = -45 - p. Suppose t = -2*y + 87 + 41. Is 10 a factor of y?
False
Let u be (-6)/(-8) + (-36)/(-16). Let o(j) = -u + 2*j - 12 + 12. Is o(7) a multiple of 2?
False
Let g(q) = 3*q**3 - q**2 + 7*q + 1. Suppose 0*k - 4*k = -16. Suppose -k + 10 = 2*u. Does 6 divide g(u)?
False
Let g(u) = -u**2 + 35*u - 120. Let t be g(31). Suppose 3*l = 5*j - 1480, 6*l - 10*l = t*j - 1216. Is j a multiple of 13?
True
Suppose 2*d = 4*m - 12, 3*d = -2*m - 2*d - 6. Suppose -5*z + 2*c + 20 = 0, 12 = -z - m*c + 4. Is z + 32/(-20) + (-83)/(-5) a multiple of 7?
False
Suppose -3*x = -4*y + 17097, 2*y + 47*x - 8546 = 51*x. Is 75 a factor of y?
True
Let t(m) = 140*m**2 + 2*m + 3. Let y be t(-2). Let g = -11696 + 12031. Let k = y - g. Does 32 divide k?
True
Let g(x) = -x**3 - 6*x**2 - 4*x + 8. Let f(y) = y + 1. Let j be f(-6). Let w be g(j). Let c(b) = 4*b**2 + 3*b - 10. Does 19 divide c(w)?
False
Let a(z) = 5*z**2 - 33*z - 29. Let f be ((-12)/3)/(5/40*2). Is 86 a factor of a(f)?
False
Is 6 a factor of (-99501)/(-17) - 30/2?
True
Suppose 658537 = -141*d + 3598810. Does 65 divide d?
False
Let k = 9 - -32. Let w be (k - (5 - 0))*1. Does 31 divide 4 + (-148)/w + (-1954)/(-9)?
True
Let g = -203 - -343. Let v(k) = -25*k - 245. Let y be v(-10). Suppose -u + 0*t + 4*t = -28, 0 = y*u - 5*t - g. Is 14 a factor of u?
True
Let k(o) = 2*o**3 - 4*o**2 - 4*o + 6. Let u = 45 + -40. Let y be (2/u)/((-5)/100*-2). Is k(y) a multiple of 9?
True
Let l(h) = 150*h + 574. Is l(67) a multiple of 16?
True
Suppose -35*h + 25 = -30*h. Suppose -146 + 396 = h*o. Suppose 99 = 3*w + 3*v, -3*w + w + o = -2*v. Is 27 a factor of w?
False
Suppose 18*r = -4917 + 19947. Does 4 divide r?
False
Let d(g) be the third derivative of g**6/30 - g**5/20 - g**4/8 - 30*g**2. Let a be d(3). Does 7 divide (a/(-15))/(43/(-40) + 1)?
False
Let h = 111 + -108. Does 34 divide (14 + -12)/(h/1143)?
False
Let i(d) = 7