w = -35 - l. Is 40 a factor of (-2527)/(-63) - w/18?
True
Let q = 18576 + -3072. Is 34 a factor of q?
True
Let p(g) = g**3 - 12*g**2 + 13*g - 23. Let x be p(11). Does 9 divide ((-4)/4)/(x/68)?
False
Suppose 59*d + 3*p = 58*d + 3436, -10 = 2*p. Does 29 divide d?
True
Does 9 divide ((-7516)/(-7) - -3) + (-170)/(-595)?
False
Let n = 2888 - 2432. Is n a multiple of 4?
True
Suppose -2*c + 3*n = -76759, 115138 = 3*c - 110*n + 105*n. Is 265 a factor of c?
False
Suppose -x - 18 = -20. Let n(v) = -1 + 4 - 5 - x*v + 114*v**2 + 3*v. Is 11 a factor of n(1)?
False
Let p be (-2 - -2)*-1*3/(-9). Suppose -96*n + 97*n = p. Suppose 2*f = -5*a + f + 732, n = 2*a - 2*f - 288. Does 7 divide a?
False
Let v = 319 + -180. Suppose 4*y = 1579 - v. Is 9 a factor of y?
True
Let i(n) = 11*n**2 + 22*n + 2. Let v be i(-2). Suppose 587 = x - 3*w, v*x + 3*w = -2*w + 1141. Is 8 a factor of x?
False
Suppose -6*n = -65 + 5. Let c(z) = -z**3 + 9*z**2 + 7*z + 2. Let u be c(n). Is 16/u - 792/(-14) a multiple of 15?
False
Let x(q) = -576*q**3 + 5*q**2 - 9*q + 4. Let z be x(1). Let u = -280 - z. Does 5 divide u?
False
Let u = -26238 - -37893. Does 63 divide u?
True
Suppose 4*w - 79827 = -d, -2*w + 39931 = 7*d - 10*d. Is w a multiple of 4?
False
Let y(h) = 12 - 8*h - 3*h - 6*h. Suppose -48*x = -139 + 427. Is 16 a factor of y(x)?
False
Is 4/(-68) - 1143837/(-153) a multiple of 89?
True
Let n be 31 + 15 + (9 - 16). Let v = 688 + -352. Is (-1*n/(-4))/(28/v) a multiple of 17?
False
Let a(f) = f**3 - 29*f**2 + 263*f + 35. Does 81 divide a(18)?
False
Let c be 15/3 - (3 + 0 - 0). Let o be 2/1 - c - -39. Suppose 0 = b - 163 + o. Is b a multiple of 31?
True
Suppose 5*w = 2*s + 134, -6*s + 103 = 4*w - 9*s. Suppose -w*a + 26390 = a. Does 14 divide a?
True
Let g(t) = 98*t - 866. Does 11 divide g(25)?
True
Is (-1)/3 - 5*(-31112)/120 a multiple of 81?
True
Let n(v) be the second derivative of 7*v**5/20 - 5*v**4/6 + 13*v**3/6 + 17*v**2/2 - 20*v. Let k be n(5). Let l = k - 494. Is 25 a factor of l?
False
Suppose -j + 0*u + 10 = -4*u, 0 = 5*u + 10. Let i(g) be the second derivative of g**5/5 - g**4/12 - g**3/2 - g**2 + 2*g. Is 6 a factor of i(j)?
False
Let d = -3 + 6. Let p be (-1)/d + (-724)/(-12). Let h = p + -40. Is h a multiple of 3?
False
Is 77 a factor of ((-38)/(-6))/(((-2)/21)/(13760/(-301)))?
False
Let h = 92 - 127. Let f = h + 63. Is 24/f*-30*-7*1 a multiple of 30?
True
Suppose 4*u = 52*w - 55*w + 10867, -3634 = -w + u. Does 284 divide w?
False
Let g(z) = z**2 + 33*z - 60. Let m be g(-36). Suppose 62*i - 574 = m*i. Does 8 divide i?
False
Let t(v) = -14 - 7*v**2 + v + 2 - v**3 + 15*v**2. Does 2 divide t(6)?
True
Let j(f) = 6*f - 27. Let m(d) = 5*d - 28. Let b(o) = 2*j(o) - 3*m(o). Let r be b(9). Suppose 270 = 3*k - g, 2*k + r*g - 2*g - 180 = 0. Is 15 a factor of k?
True
Let a(o) = 9*o**2 + 9*o - 57. Let k be a(4). Let u = -96 + k. Is u a multiple of 9?
True
Suppose -4 = g - 3*g. Suppose 22*f + g = 23*f. Let d(k) = 12*k + 6. Does 5 divide d(f)?
True
Let z = -29 + 57. Suppose -4*g - 156 - z = 0. Is (-4 - -2)/(0 - (-4)/g) a multiple of 22?
False
Let p(t) = -13*t**3 + 3*t - 5. Let y be p(-2). Is (((-135)/(-12))/(-5))/(y/(-620)) even?
False
Let o(s) = -10*s - 32. Let z be o(-3). Is 87/2 - -3 - z/(-4) a multiple of 3?
False
Let a = -12508 - -13148. Is a a multiple of 64?
True
Let x = -287 + 621. Suppose -2*f + x = -176. Is 15 a factor of f?
True
Suppose -5*g - 19905 = -8*h, h + g - 1169 = 1324. Is h a multiple of 10?
True
Let w(i) = -9*i + 81. Let k be w(8). Let z = 409 + k. Is z a multiple of 19?
True
Let h(f) = 90*f - 1. Let y be h(1). Suppose 3*n - 1 - y = 0. Let i = n - -15. Does 9 divide i?
True
Let j = -217 + 283. Suppose 0 = -x - a + j, 3*x - 61 = -5*a + 139. Is x a multiple of 2?
False
Suppose -261*r + 260*r + 4 = 0. Let v = 33 - r. Is 3 a factor of v?
False
Let h = -24733 + 34651. Is h a multiple of 171?
True
Suppose 0 = 5*s - 3 + 13, -b - 6 = 4*s. Let l(a) = -a + 5*a**b + a**2 - 5*a**2 - 9. Is 3 a factor of l(-3)?
True
Let m = 60 + -62. Let l be 324/(-42) + m/7. Does 11 divide l/44 + 0 - (-2886)/22?
False
Let g(i) = 34*i**3 + 7*i**2 - 57*i - 54. Is g(9) a multiple of 129?
False
Let t = 243 - 178. Let c = t - -17. Does 41 divide c?
True
Suppose 26*i - 15*i = 264. Suppose 0 = -i*n + 1868 + 6196. Is n a multiple of 47?
False
Let l(f) = 2*f**2 + 27*f + 15. Let w be l(-13). Suppose j - w*j + 5 = 0. Suppose -3*n = 5*h - 251, h = j*h + 5*n - 193. Is h a multiple of 13?
True
Let y be (28/12 - 2)*30. Suppose 7*r - 3*f + 53 = 9*r, 3*r + 3*f = 75. Let s = r + y. Does 9 divide s?
False
Let q = 3898 - 3152. Does 13 divide q?
False
Let w(j) = -j**3 + 15*j**2 - 14*j + 9. Let b be w(14). Let n(h) = -3*h + 3*h**2 - b*h**2 + 6 - 2*h**3 + 0. Does 33 divide n(-5)?
False
Suppose 0 = 2*w + 6, 3*i = 116*w - 112*w + 12714. Does 11 divide i?
False
Suppose -5*c = 7*f - 5*f - 12, -3*f - 28 = -4*c. Is 37 a factor of 395 - c*3/4?
False
Suppose -3574530 = -369*o + 4091445. Is o a multiple of 15?
True
Let j(d) = -2750*d**2 + 2*d - 2. Let m be j(1). Is 38 a factor of (m/175)/((-2)/28)?
False
Let w(l) = 3*l**2 + 6*l + 2. Let v be w(-3). Suppose -v*z + 6*z = 5*a, -2*a = -5*z. Suppose 0 = -s - z*s + 248. Is s a multiple of 25?
False
Suppose 5*q = -v + 3841, 2*v + 1252 = -q + 8907. Does 71 divide v?
False
Suppose -5*w = -5*w - w. Is 10/5*(w + 139) + 2 a multiple of 28?
True
Let u = -114 - -66. Let j = 347 - 240. Let b = j + u. Does 7 divide b?
False
Let s(d) = -72*d**3 + d**2 - 28*d - 59. Is 58 a factor of s(-7)?
True
Let o(r) = -r**2 - r + 1. Let w(a) = 143*a**2 - 3*a + 1. Let g(x) = -3*o(x) + w(x). Is g(-1) a multiple of 6?
True
Suppose 3*l = -z - z - 1733, 20 = -5*z. Let d = -278 - l. Is d a multiple of 9?
True
Suppose -3*s + 1115 = -2*w, 2*s - w = -3*w + 750. Suppose 0 = -7*f + s + 131. Is f a multiple of 18?
True
Let k be (6/(-5))/(84/(-140)). Suppose 2*y = k*r - 6 - 0, 2*r = 5*y + 6. Suppose -18 = -r*l + s, 8 = l - 4*s - 9. Does 5 divide l?
True
Suppose -c = 4*c + 4*y - 23, y - 11 = -3*c. Does 4 divide (43 - c)/((-6)/(-12))?
True
Suppose 2*f - 6*f + 8 = 0. Let l(a) = 116*a**2 - 8*a + 9. Is l(f) a multiple of 67?
False
Let i(u) be the first derivative of 3*u**2 - 54*u - 422. Suppose -5*n + 32 = 3*d, 2*d + 6*n - 4*n - 28 = 0. Does 15 divide i(d)?
True
Let a(q) = 7769*q + 8662. Is a(4) a multiple of 37?
True
Is 19*30/285 - (-4152 - 2) a multiple of 141?
False
Suppose 4*h - 3*h = 13. Let x = h - 3. Suppose 0 = -9*n + x*n - 5. Is 2 a factor of n?
False
Let y(c) = 2 - 27*c - 34 - 3*c**2 + 5*c**2 - 6. Is 17 a factor of y(20)?
False
Suppose 48 = 44*d - 40*d. Is 62 a factor of 2/d - (-178500)/360?
True
Let h(b) = -22*b**2 - 2127*b + 275. Does 5 divide h(-92)?
False
Let h = -485 - -345. Let l = -126 - h. Does 14 divide l?
True
Let r(g) = 12*g**2 + 9*g - 6. Let o be (168/(-63))/((-2)/6 + 1). Does 6 divide r(o)?
True
Let i(m) = -2*m**3 - m**2 - 1. Let d be i(-2). Suppose -4*a = -d - 9. Suppose 3*x - 4 = x, 0 = -2*r + a*x + 66. Is 6 a factor of r?
False
Let m = -7101 - -10228. Is 12 a factor of m?
False
Let j(f) = -f + 1344. Is 6 a factor of j(24)?
True
Let b(i) = -i**3 + 11*i**2 - 7*i - 24. Let f be b(10). Suppose -5*n = 8*t - f*t - 1067, 1102 = 2*t - 2*n. Is 39 a factor of t?
True
Let v(p) = p**3 + 11*p**2 + 2*p + 27. Let l be v(-11). Let r(m) = 16*m**2 - 14*m - 2. Does 8 divide r(l)?
True
Let g(k) = -k**3 + 12*k**2 - 2*k - 7. Let a be g(7). Suppose -229*c = -a*c - 1985. Does 20 divide c?
False
Let p be -5*(-4)/120 + 199/(-6). Let w = -35 - p. Does 5 divide 14 - ((-27)/(-2))/9*w?
False
Let w(x) = 13*x**2 - 1. Let p be w(-3). Suppose -2*g + 6*g = p. Suppose 3*k - 161 + g = 0. Is 4 a factor of k?
True
Let x(b) = -2*b**3 - 33*b**2 + 20*b + 12. Let h = 39 + -57. Let t be x(h). Suppose 5*p = 3*r + t, 3*p + r - 4*r = 372. Does 21 divide p?
True
Let a(q) = 2*q**2 + 7*q - 31. Let h(w) = -w**2 - 5*w - 1. Let l be h(-3). Is a(l) a multiple of 18?
True
Let s(x) = -4*x**2 - 5*x + 19. Let l(n) = 3*n**2 + 3*n - 12. Let h(c) = 7*l(c) + 5*s(c). Suppose -2*a = -3*y + 10 + 19, 0 = -3*y - a + 26. Does 7 divide h(y)?
True
Suppose -122*g = -120*g + 44. Let p = 50 + g. Let l = 43 - p. Is l a multiple of 13?
False
Let t(f) = -f**2 + 8. Let m be t(0). Let j(o) = -656*o**3 - 5 + 61*o - 5*o**2 + 657*o**3 + 1 - 77*o - 4. Is 27 a factor of j(m)?
False