 g(m) = 8*m - 8. Let x be g(8). Let a = x - k. Is 17 a factor of a?
True
Let a = -101 - -192. Let z(x) = -x**3 - 12*x**2 - 6*x - 3. Let f be z(-12). Let b = a - f. Is 11 a factor of b?
True
Let d be (-5 - -39)*(-10)/(-4). Let g(h) = 31 - 5*h**2 + 3*h**2 + d - h + 5. Is 23 a factor of g(0)?
False
Let t(r) = -2893*r - 1210. Is t(-14) a multiple of 47?
True
Let s be 12/(-14)*(-185 + 3). Let x be ((-7)/2)/((-2)/s). Suppose -x = -5*q + 27. Is 20 a factor of q?
True
Suppose 9*b + 3195 - 48762 = 0. Does 138 divide b?
False
Let r be (-845)/(-10)*2 + 3. Let o = 319 - r. Suppose -2*n = -o - 45. Is 16 a factor of n?
True
Suppose -2*k = -4*c + 3114, 0 = -3*c + 2*k + 713 + 1621. Let p = c - 406. Does 22 divide p?
True
Let p(s) = -s**3 - 6*s**2 - 48*s - 58. Is 11 a factor of p(-13)?
True
Let u(f) = -6 - 8 + 16 + 35*f. Let a be u(-7). Let t = a - -345. Does 17 divide t?
True
Let y be (-3 - -5)*9/(-2). Is 12/((7 + y)/(-40)) a multiple of 12?
True
Suppose -k - 173 = 2*d, -2*k = -7*k + 5. Let o = -55 - d. Is o a multiple of 4?
True
Suppose 7147*c - 7123*c - 470712 = 0. Does 11 divide c?
True
Let h = 37 + -55. Let o(x) = 13*x**2 + 64*x + 79. Let i(y) = 3*y**2 + 16*y + 20. Let g(t) = 9*i(t) - 2*o(t). Is g(h) a multiple of 11?
False
Is 2 a factor of (-3929)/(-7) + (5 + -3)*26/(-182)?
False
Suppose -354 = 2*a - 392. Suppose 21*p - 29600 = -a*p. Does 5 divide p?
True
Let v = 106 + -103. Suppose -k - 4 = -2*k. Suppose -2*t = 2*x - 144, k*x - 306 = v*t + 2*t. Does 9 divide x?
False
Let d(v) = -v**3 - 7*v**2 - 7*v + 6. Let z be d(-6). Suppose 8*s - 1232 = z*s. Is 13 a factor of (-1146)/(-11) - (-56)/s?
True
Let p(w) = w + 21. Let y be p(-17). Suppose -5*l - 9 = -y*l. Is 7 a factor of -10 - l - (0 + -50)?
True
Suppose 26*y = 41*y + 52*y - 404144. Is y a multiple of 29?
True
Suppose 19 = f + 2*g, -15*f + 19*f = -3*g + 56. Suppose -f*t = -17*t + 3024. Is 28 a factor of t?
True
Let o be 2 + -3 + (-10)/(-4)*-2. Let s(w) = w**3 + 12*w**2 + 19*w - 11. Is 7 a factor of s(o)?
True
Suppose 3*f - 24231 = 3*i - 7659, -2*f = 3*i - 11053. Suppose 6*w = 23*w - f. Is w a multiple of 17?
False
Suppose -24113 = -31*k + 78516 + 87091. Is 34 a factor of k?
True
Let x(z) = -z**2 - 9*z + 8. Let i be x(-7). Let j = 66 - i. Let o = 80 - j. Does 12 divide o?
True
Let b = -68 - -73. Suppose 2*z - z + 71 = 3*t, 5*t + b*z = 125. Is 8 a factor of t?
True
Let a(c) = 98*c**2 + 926*c - 34. Does 17 divide a(-15)?
True
Let q(g) = 3*g + 14. Let x be q(-4). Suppose -x*p + 6*p = 4. Is (-274)/(-7) - p/7 a multiple of 9?
False
Let w(a) = 47*a**2 - 40*a + 435. Is 6 a factor of w(9)?
True
Let b(j) = j**3 - 8*j**2 + 14*j + 29. Is 5 a factor of b(8)?
False
Let p(o) = -o + 2. Let q(g) = -63*g + 21. Let c(h) = -14*p(h) + q(h). Is c(-7) a multiple of 4?
True
Is 8 a factor of 4/((-10)/(-28)*(132/4140)/11)?
True
Let j be 1 + -5*6/(-15). Suppose 0 = -j*r - 4*n - n + 1205, -r + 391 = -n. Suppose -r = 4*p - 9*p. Is 11 a factor of p?
False
Let h be 3/3*(-8 - -111). Let d = h - 89. Suppose -d*v - 1112 = -22*v. Is 13 a factor of v?
False
Suppose 186 = 4*u - 3*j - 2*j, 3*j = -3*u + 126. Suppose -g + u = 10*g. Suppose t + 702 = g*t. Is 22 a factor of t?
False
Let t = 230 - 232. Let j(y) = -181*y - 32. Is j(t) a multiple of 30?
True
Suppose 4*l = -3*f + 3417, 0 = -96*l + 92*l - 5*f + 3423. Is 4 a factor of l?
True
Suppose 5*a + 52 = -88. Is 3 a factor of ((a/(-7))/(-12))/(2/(-462))?
False
Suppose -27*m + 25*m = -2*o + 90, -m = -5*o + 229. Is 46 a factor of o?
True
Let p = -11 + 17. Let i be (36/(-2))/((-6)/4). Suppose 18 = i*n - p*n. Is n a multiple of 3?
True
Let u(p) = 3*p + 2. Let n(k) = -15*k - 13. Let y(r) = 7*r + 6. Let j(s) = 6*n(s) + 13*y(s). Let f(w) = 6*j(w) - u(w). Is f(8) a multiple of 11?
True
Let u = -24836 + 43994. Does 186 divide u?
True
Let l(p) be the first derivative of 19*p**4/12 + p**3/3 + 4*p - 4. Let x(i) be the first derivative of l(i). Does 15 divide x(-3)?
True
Let u(v) = -2094*v - 1522. Is u(-7) a multiple of 63?
False
Suppose r - 5 = -4*u + 3*u, 2*u - 8 = -r. Does 41 divide r - (-1667)/5 - 10/25?
False
Let n be -2 + -2 + -1 - -6. Is (n + 1 + -3)*(-1449)/23 a multiple of 3?
True
Suppose -2*w + 31784 = 4*v, -v - 2*w - 7946 = -2*v. Is 29 a factor of v?
True
Let x be (-5 + (-18)/(-4))/(2/596). Let f = 73 - x. Is 41 a factor of f?
False
Let x(t) = 4*t**2 - 2*t - 865. Let f be x(0). Does 48 divide f/(-3) - (-5 - (-16)/3)?
True
Suppose -2*m + 5*i = -27, 4*m = 2*m - 5*i - 23. Is 10 a factor of 1248/39 - 2/m?
True
Let f(b) = b**3 + 25*b + 12. Let z be (-3)/(-18)*3*(-8 - -20). Does 42 divide f(z)?
True
Suppose -3*n - 409 = 47. Let c be 5/((-5)/n) + (-3)/(-3). Let w = c - -26. Is 12 a factor of w?
False
Let p be (-1131)/(-6) + 4/(-8). Let r = 309 - p. Is 13 a factor of r?
False
Suppose 0 = 131*y - 128*y - 3*p - 36492, -3*p + 12180 = y. Does 71 divide y?
False
Let w be 54/8*((-192)/9)/(-4). Suppose w = 4*q + 12. Suppose -q*x + 5*x = -67. Is 29 a factor of x?
False
Suppose 22*v - 320 = 62*v. Let m = 320 + v. Is m a multiple of 15?
False
Let y = 50 + -38. Let s be (-63)/2 + 6/y. Let p = 70 + s. Does 13 divide p?
True
Suppose -2*v + 143117 - 140075 = 0. Does 6 divide v?
False
Let j = -6438 + 12513. Is 17 a factor of j?
False
Let p(w) = 2*w**3 + w + 1. Let n(l) = 7*l**3 - 6*l**2 - 2*l + 13. Let u(x) = n(x) - 2*p(x). Does 9 divide u(5)?
True
Let v = -35 - -38. Suppose 5*n - 5*y + 1 - 6 = 0, 4*n = -v*y - 31. Is 1986/33 - n/(-22) a multiple of 19?
False
Let m(t) = 16*t + 33. Let u be (2*-5 - -1)/((-15)/15). Does 3 divide m(u)?
True
Let u(c) = -2*c - 31. Let f be u(-16). Suppose 2 + f = m. Suppose m*q + 240 = 9*q. Is 10 a factor of q?
True
Let z(v) = v**3 - 15*v**2 + 22*v - 7. Let w = 86 - 78. Let n be (42/w)/((-24)/(-64)). Is 15 a factor of z(n)?
True
Suppose -2*c = 2 - 6. Let z(j) = 25*j**3 + 2*j**2 - 3*j - 2. Is 25 a factor of z(c)?
True
Let y(q) = -4*q**2 + 4*q**2 + 9*q**2 + 6*q - 1 - q**3 - 4*q**2. Let h be y(6). Does 10 divide -3 + h + 60 - -4?
True
Suppose 0 = 49*x - 207016 + 43503. Is 47 a factor of x?
True
Let f(o) = 2*o**2 + 27*o + 27. Let q be f(-14). Suppose -32240 = -q*n - 11*n. Is n a multiple of 62?
True
Suppose -11 = 4*z + 9. Let n be (3 - -2) + z - -33. Is 32 a factor of (-2 - n/(-18))*-3*488?
False
Does 11 divide (5 - 28596/(-3))*(-2)/(-2)?
True
Is 42 a factor of 16/(-28) + 71744/14?
True
Suppose -4*f = -4*w - 20, -f + 15 = 5*w - 20. Let g be (-20)/f*-2*1. Suppose g*i - 140 = -i. Does 15 divide i?
False
Suppose -11*q + 9*q - 4 = 0. Let y = -2 - q. Suppose 17*z - 13*z - 120 = y. Is 10 a factor of z?
True
Let y = -128 + 186. Let d be y/(-4 + 4 + 2*1). Suppose 3*m - 151 - d = 0. Is m a multiple of 12?
True
Suppose 2 = 32*r - 31*r. Suppose 2*q = -4*t + 402, 6*t - r*t = -5*q + 405. Is t a multiple of 10?
True
Let t(j) = 48*j + 3. Let b be t(5). Let l(h) = -9*h**2 + 16*h - 4. Let z be l(5). Let a = b + z. Does 22 divide a?
False
Suppose c + 7154 = 9*c - 6*c. Is c a multiple of 49?
True
Let c(x) = -5193*x - 62. Does 8 divide c(-2)?
False
Let w be 2/(-9) - (-128)/9. Let s be ((-444)/18)/(w/(-6) + 3). Is (-6)/(1 - 4) - s a multiple of 3?
True
Let r(x) = -24*x**3 + 6*x**2 - 8*x + 4. Let v be r(2). Let u = 325 + v. Is u a multiple of 6?
False
Let s be 2/8*12 + -30. Is 34 a factor of 1*267 + 23 + s?
False
Let o(x) be the first derivative of -10/3*x**3 - 3/4*x**4 - 16 + 3/2*x**2 - x. Is o(-5) a multiple of 7?
False
Let x(k) = -5*k - 3. Let t be x(-1). Suppose 3*j = -t*i + 8*j + 1, -10 = -2*i - 4*j. Is (30/i + -4)*(-8)/(-6) a multiple of 2?
True
Let x(j) = 14*j**2 - j - 1. Let s be x(-1). Suppose -2*l = -2*b + s, b + 5*l + 19 = -2*b. Suppose -b*m - 5*a + 314 = -0*a, m - 154 = -4*a. Is 38 a factor of m?
False
Suppose -5*j - 4 = -4*n + 3*n, 2*n - j = 8. Let a(h) = 16*h + 6. Let f be a(n). Let i = f + -53. Does 17 divide i?
True
Suppose -l + 5*f - f = -34, 0 = 4*l + 3*f - 136. Let p = 29 - 7. Let t = l - p. Does 3 divide t?
True
Suppose 3*y + y - 8 = 0, -4*j - 34 = 5*y. Let b(i) = i**3 + 13*i**2 + 21*i + 4. Let z be b(j). Suppose -z*f = -6*f - 513. Is f a multiple of 4?
False
Suppose 30*h - 6 = 28*h. Is 11 a factor of 47236/42 - h - (-1)/3?
True
Is ((-12)/32)/((-6)/55388) + 9/36 a multiple of 18?
False
Let i be ((-1107)/(-6))/(10/180). Suppose i = 4*f - 5*y, -2*y - 458 - 1200 = -2*f. Is 23 a factor of f?
False
