-37 - 7 = -2*n - 5*w. Does 10 divide g(n)?
True
Let q(t) = 17*t - 7. Let f(o) = -2*o - 8. Let h be f(-4). Suppose h*v + 5*v = 25. Does 13 divide q(v)?
True
Let g(a) = 8728*a**3 + 10*a**2 - a + 2. Is 11 a factor of g(1)?
False
Suppose -6*s - 82 = -106. Is (78/(-9))/(-2*s/144) a multiple of 38?
False
Let b(o) = -o**3 + 25*o**2 + 68*o + 17. Let j be b(34). Is (j/(-15))/5 + 2/6 a multiple of 6?
True
Let w(g) = 8*g + 114. Let q be w(-30). Does 7 divide (-9)/q*446*7?
False
Let q(c) = 484*c + 12. Let p be q(1). Suppose 0 = -p*v + 508*v - 660. Is 6 a factor of v?
False
Let w be (1 - 0)*(-1)/((-4)/44). Does 7 divide ((-329)/(-3))/(w/33)?
True
Suppose -26613 = -a + 3*i, 5*i + 6601 - 113104 = -4*a. Is a a multiple of 18?
True
Let g(f) = 33*f**2 + f - 2. Let b be g(1). Suppose -3*j - 2*v = -3 - 17, -5*j + b = 2*v. Suppose -65 = -j*m - 11. Is m even?
False
Let c(m) = -m**3 + 7*m**2 - 13*m - 12. Let u be c(-6). Suppose f - 390 = -4*n + u, 0 = 4*n. Is 7 a factor of f?
True
Suppose 0 = -4*a + 2*d + 124744, -5*a + 49942 = -5*d - 105993. Does 187 divide a?
False
Is 24 a factor of (-217728)/540*(-20)/(-6)*-1?
True
Suppose 0 = 3*a - l - 7511, -54*l + 10032 = 4*a - 51*l. Does 28 divide a?
False
Let c(p) = 146*p**3 + 93*p - 429. Is c(5) a multiple of 7?
False
Suppose -989 - 1576 = -14*i + 67. Does 7 divide i?
False
Let n(j) = -j**3 - 8*j**2 + 10. Let x be -5*(-3 + 39/15). Suppose x*p + p = -30. Is 42 a factor of n(p)?
True
Suppose 0 = -4*j + 4*z + 34 + 10, -z = 5. Let c = 14 - j. Is 122/c + 12/16 a multiple of 14?
False
Let k = 1160 - 531. Let p be 2135/(-5) + -15 - -10. Let w = p + k. Does 25 divide w?
False
Does 3 divide -5 + (-12 - -3) + 816?
False
Let b be 2740*(26/(-39))/(4/(-6)). Suppose -20*a + b = 40. Is a a multiple of 15?
True
Let d = 238 + -163. Suppose 6*n - 4*n + z - d = 0, -4*z - 60 = -n. Let x = n + 16. Does 7 divide x?
True
Suppose 2*q + 21 = 2*b + 387, -4*b + 2*q = 732. Let f = b - -305. Is 3 a factor of f?
False
Let q be (1630/(-40))/((-1)/12). Let v be 1*(-2 - (-5 - -2) - -11). Suppose v*p = 483 + q. Is 12 a factor of p?
False
Let f = 3382 - 1287. Suppose -7*u = -f - 572. Is u a multiple of 27?
False
Suppose 0 = 2*y + z - 51, 0 = -3*z - 38 + 53. Suppose 65 + 215 = 4*t. Suppose t + y = a. Is 31 a factor of a?
True
Let n(z) = z**2 - 4*z - 9. Let h be n(6). Let q be (14 - -1)/1*h/(-3). Is 12 a factor of (-246)/q - 4 - 2/5?
True
Suppose 20*t - 117583 + 85597 = 137954. Is 29 a factor of t?
True
Suppose b + 5*d - 5515 = 0, 0 = -15*b + 12*b + d + 16465. Is b a multiple of 15?
True
Is 3/(-1) + (9 - -87) a multiple of 38?
False
Suppose -4*q = 4, 3*q + 24 = 2*t - t. Suppose t*u = 2536 + 6158. Is 18 a factor of u?
True
Let x = -1894 - -2449. Is x a multiple of 55?
False
Suppose 7224 = 5*z + 3*k, 5*k - 6*k + 1442 = z. Is 21 a factor of z?
True
Suppose 0*i - p = i + 26, -4*p = 2*i + 56. Let b = i + 73. Suppose -2*s - 3 = -b. Is s a multiple of 15?
False
Let l = -3064 + 19418. Does 37 divide l?
True
Let s = 44 - -177. Suppose 94 + s = 3*z. Suppose -3*f + z = 27. Is 6 a factor of f?
False
Let z = 21 - 15. Let x(t) = -9 - 28 + 6*t + z*t + 3*t. Does 12 divide x(6)?
False
Let v be 1/(-2) + (-7)/(-2). Suppose t + t + 60 = 5*x, 0 = -v*x - 2*t + 52. Let s(g) = 2*g**2 - 19*g - 4. Is 20 a factor of s(x)?
False
Let l be 448 - (5 - 4)*-2. Suppose 128*x - l = 127*x. Does 10 divide x?
True
Let s(k) = 27*k - 99. Let d be s(8). Suppose 2702 - d = 11*l. Is 36 a factor of l?
False
Let z = 123 - 119. Suppose -z*s - 2*k + 91 = 3, 2*s = -4*k + 32. Is 15 a factor of s?
False
Is ((-36)/16 - 184360/(-32)) + 1 a multiple of 64?
True
Let v = 15 + -10. Suppose 3*r + 8 = v*x, 5 = -2*r + 4*x - 3. Let p(m) = 10*m - 2. Does 19 divide p(r)?
True
Let o = 34852 - -5367. Is 47 a factor of o?
False
Suppose 61 = -2*u + 157. Let f = u - -192. Is 16 a factor of f?
True
Let k(n) = n**2 + 43*n + 390. Is 7 a factor of k(-45)?
False
Suppose -312 = 7*j - 2300. Suppose 3*h = -5*y + 355, -4*y + j = -h - 4*h. Does 15 divide y?
False
Suppose 3*y = -3*v - 21, -y + 5*y + 16 = 2*v. Let u(b) = 150*b + 30. Let x(z) = 25*z + 5. Let n(k) = -6*u(k) + 35*x(k). Is n(y) a multiple of 15?
True
Suppose -7*i - 335 = 834. Let f = i - -82. Let w = 10 - f. Is w a multiple of 38?
False
Let z = -78 - -686. Is z a multiple of 16?
True
Does 5 divide (-6900)/(-828)*231*3?
True
Let n(y) = 74*y**2 + 59*y + 339. Is n(-7) a multiple of 37?
True
Let h(s) = s**2 + 33*s + 211. Let o be h(-8). Suppose -293 = o*a - 1844. Is 5 a factor of a?
False
Let o(j) = j + 30. Let k be o(-16). Suppose -p = c + 4*p - 7, -2*c - 5*p = -k. Suppose -c*b = -105 - 511. Is 8 a factor of b?
True
Is 19715/4 - (1/(-36) - (-134)/(-603)) a multiple of 12?
False
Suppose -2*z + 16 = -18. Let j(g) = -g**3 + 17*g**2 + 11*g - 31. Does 22 divide j(z)?
False
Let n be -3*322/(-105)*5. Suppose 0 = -n*x + 27*x + 9557. Is x a multiple of 65?
False
Suppose 591547 = 69*o - 1069421. Does 68 divide o?
True
Suppose 3*p + 47*x - 84558 = 45*x, 0 = -9*p - 2*x + 253650. Is p a multiple of 48?
False
Suppose 261*y - 79023 - 274116 = 315021. Is y a multiple of 19?
False
Suppose -k - u = -1088, -4325 = -4*k + 2*u + 3*u. Suppose 1840 + k = 5*c. Does 41 divide c?
False
Let q(v) = -2914*v - 665. Does 146 divide q(-2)?
False
Suppose -3*f - 5 = -8. Let w be -5*(f/1 + 1 + -5). Is ((-18)/w)/((-2)/160) a multiple of 16?
True
Let k be -4 + (-3)/3*23. Let q be 2/(-21) + 1/(126/(-5028)). Let y = k - q. Does 4 divide y?
False
Let d(q) = 37*q**2 + q + 16. Let h be 3 + 2/4 - 3/6. Is 11 a factor of d(h)?
True
Suppose -18*l = -172360 - 40544. Is l a multiple of 14?
False
Suppose -10 = 9*m - 28. Suppose -x = -4*a - 19, m*a - x = -3 - 8. Is (a + 6)*(51 - -2) a multiple of 30?
False
Suppose 10*t - 347056 + 76556 = 0. Does 203 divide t?
False
Let x be (30/8)/((-9)/(-36)). Let b be (-6 + 2 + 1)*-13. Let p = b - x. Does 11 divide p?
False
Suppose 21*c - 192 = -3. Is 2 a factor of c + (150/(-20) - 5/(-2))?
True
Let x be (15*3/((-18)/(-4)))/(-2). Let w be (68/x)/(4/(-170)). Suppose -2*k + 224 = -4*d, 4*d + w = 3*k + 2*k. Does 14 divide k?
False
Let o = 37 - 35. Is 36 a factor of 2 - (8385/(-26) - o/(-4))?
True
Let m = -2034 + 6150. Is m a multiple of 196?
True
Suppose 0 = 9*m + 15 - 78. Let v(p) = -149*p - 9. Let n be v(m). Does 35 divide 2/(-10) + n/(-10)?
True
Suppose 9343 = -31*v + 59470. Is 11 a factor of v?
True
Is 6/13 - (-2565668)/364 a multiple of 106?
False
Let w = 8956 - 3691. Does 22 divide w?
False
Let y(r) = r**2 - 1. Let o be y(-3). Suppose -3*a + o*a - 160 = 0. Suppose -4*u + 84 = -a. Is 9 a factor of u?
False
Let t(l) be the first derivative of 73*l**2/2 - 145*l - 208. Is t(4) a multiple of 4?
False
Let r be (0 + 3 + 0)*(-965)/15. Let p = r - -618. Is p a multiple of 25?
True
Suppose -437*b = -752696 - 634342. Is b a multiple of 24?
False
Let r = 8214 - 7470. Is 12 a factor of r?
True
Suppose 4*f = -0*f + 5*t + 2, 3*t - 6 = 0. Suppose -3*y - 2190 = -4*p - 8*y, -f*p - y = -1648. Is 50 a factor of p?
True
Suppose 3*l + n = 5*l - 265, -4*l - 4*n + 512 = 0. Suppose 0*h = 2*o - h - 276, o - 4*h - l = 0. Does 13 divide o?
False
Let b(j) = j**3 + 3*j**2 + j + 17. Let u be b(-6). Let n = u - -184. Is n a multiple of 22?
False
Does 10 divide 180/162*(-2049)/4*(0 + -12)?
True
Let r be (-1 - 2)/(462/(-78) - -6). Is (1/5)/(r/(-2535)) a multiple of 4?
False
Let m = 34 + -26. Let o(u) = u**3 - 9*u**2 + 9*u - 10. Let f be o(m). Let x(y) = 2*y**2 + 3*y + 5. Does 2 divide x(f)?
False
Let p(n) = 9*n**2 - 17*n - 19. Let q be p(-10). Let r = -956 + q. Does 24 divide r?
False
Let v = 208 - -10952. Is 45 a factor of v?
True
Let n = 717 - 414. Let f = n + -256. Is 2 a factor of f?
False
Suppose -3*c + 17 = -2*z - 5, -4*z - 40 = -5*c. Suppose 16 = -c*t - 12. Let x(v) = v**3 + 8*v**2 - 24. Is 25 a factor of x(t)?
True
Is (-10455 + 5)/5*7/(-2) a multiple of 55?
True
Suppose 3*o = 12, 2*o - 38 = a - 2*a. Let j be 54/a*(-2020)/(-6). Suppose 5*q = 11*q - j. Is q a multiple of 24?
False
Does 32 divide 24808 - (24 - 3 - 13)?
True
Let z(h) = 10*h + 2. Let y be z(4). Let u = -38 + y. Suppose 6*a - 4*m = 4*a + 204, -u*a = 2*m - 448. Is 22 a factor of a?
True
Let d be ((-4)/2)/(-2) - -8. Let n(l) = -2*l**2 + 187*l + 2417. Let m be n(105). Suppose p - t - 27 = d, m*t + 134 = 4*p. Is 4 a factor of p?
False
Let t = -13162 - 