 g be a(1). Suppose 4*s - 50 = g. Is s a multiple of 14?
True
Let n(l) = 36*l**2 + l - 5. Let k be n(5). Suppose 5*v = -0*v + k. Is v a multiple of 30?
True
Let h(w) = 17*w + 156. Is h(7) a multiple of 25?
True
Let c(z) = z**3 + 5*z**2 + 3*z - 3. Let y be c(-4). Does 9 divide 17 - (y + 3) - 4?
True
Suppose 7*s = 4*s. Suppose 22*g - 18*g = s. Suppose 4*o + 3*u = 255, -3*o - 4*u + g*u = -200. Is o a multiple of 20?
True
Let u = 219 - 137. Does 41 divide u?
True
Let a be ((-1)/(-5)*4)/(24/(-180)). Is (-7)/(-21) - 184/a a multiple of 21?
False
Let u be ((-4)/5)/(7/(-1680)). Suppose -a + 5*a + 3*c = u, -2*a + 3*c + 78 = 0. Does 15 divide a?
True
Let v(j) = j**2 - 9*j + 15. Let g be v(15). Suppose 0 = -3*l - 6, 5*m - 5*l - g - 270 = 0. Does 36 divide m?
False
Let u(a) = -a**2 - 27*a + 20. Is u(-17) a multiple of 6?
False
Suppose 5*q + b = 989, 0*b + 4*b + 202 = q. Is 9 a factor of q?
True
Suppose 2*h - 94 = 104. Let m be h + (-4 - -3 - 2). Suppose 2*g + m = 6*g. Is g a multiple of 8?
True
Let d = -9 + 10. Is 89 - (-1 + d)/(-3) a multiple of 22?
False
Let g = -9 + 23. Suppose 1 = -5*d - g, -a + 387 = -5*d. Does 12 divide a?
True
Let x(d) = -90*d + 174. Is x(-18) a multiple of 13?
True
Let n(x) = -8*x + 365. Is 41 a factor of n(-55)?
False
Suppose 278 = -l + 62. Let t = l + 357. Is t a multiple of 47?
True
Let d = 15 - 16. Let p be (-14 + 16)/(0 - d). Suppose -27 = s - p*s. Is 9 a factor of s?
True
Suppose -5*t + 1380 = t. Is t a multiple of 5?
True
Suppose -6 = -2*i, -d = -i - 17 - 114. Does 7 divide d?
False
Suppose 0 = -5*h + 3*n + 3809, 2*h + 25*n - 20*n = 1536. Is h a multiple of 7?
True
Let y be (51/9)/((-1)/(-12)). Suppose 4*w - 56 = y. Is 23 a factor of w?
False
Suppose 9*s - 10430 = -8*h + 4*s, 0 = -2*h + 3*s + 2616. Does 19 divide h?
False
Let p = 38 - 34. Suppose -p*q - 5*o = 159 - 991, o - 416 = -2*q. Let a = 293 - q. Is a a multiple of 25?
False
Let m = 181 - 256. Let a = m - -20. Let j = 91 + a. Is 9 a factor of j?
True
Suppose 1509 = 2*s + c, 0 = 5*s + c - 4893 + 1116. Is 54 a factor of s?
True
Suppose -4*y = 2*p - 184, 0 = 26*y - 31*y - 4*p + 233. Is y a multiple of 5?
True
Let j = 59 - 56. Suppose 466 = j*g + 67. Is 7 a factor of g?
True
Suppose -4*q + a + 59 = 0, -4 = -3*q - 5*a + 46. Let s(v) = -3*v - v**3 - q*v**2 + 4 - 5*v + 8*v**2. Is 12 a factor of s(-6)?
False
Suppose 81*q + 240 = 87*q. Is q even?
True
Let p = -16 - -22. Is (-112)/12*p/(-4) a multiple of 11?
False
Let j = -664 + 1736. Does 16 divide j?
True
Suppose 0 = 3*q + b - 3 - 20, -q - 4*b - 7 = 0. Suppose -4*j - 850 = -q*j. Is j a multiple of 34?
True
Let b be (40/16)/(1/2). Suppose 0 = -4*m - 4*a + 1072, 0 = m - 2*a + b*a - 276. Suppose -y + m = 2*y. Does 27 divide y?
False
Is 7/(525/64060) - (-16)/(-120) a multiple of 61?
True
Let h = -261 - -303. Is 12 a factor of h?
False
Let a(x) = -x**3 + 6*x**2 + 9*x - 52. Does 13 divide a(-16)?
False
Let m(u) = 5*u - 18. Let i(d) = 3*d - 9. Let f(c) = 7*i(c) - 4*m(c). Let w be f(-7). Suppose -3*x + w*g = -6*x + 136, -5*g = 3*x - 151. Does 11 divide x?
False
Let n = 854 - 480. Suppose -5*c + 2*q = -0*q - n, 8 = -4*q. Is c a multiple of 20?
False
Let d = -40 - -190. Does 6 divide d?
True
Suppose 11*i - 22788 = -25*i. Is 30 a factor of i?
False
Let v be (8 + 2 + -6)*1. Suppose 5*m - v*x - 390 = x, -5*x - 159 = -2*m. Is m a multiple of 11?
True
Let c = 868 + -518. Is 35 a factor of c?
True
Let g be 6/(-8) + (-15)/(-4). Suppose -6*z + z + g*p = -591, -5*z + 5*p + 595 = 0. Suppose 5*n = 2*n + z. Is n a multiple of 13?
True
Suppose -3*t = -15, 3*f + 4*t + t = 91. Suppose -q - 4*k + 28 = 3*q, q + 4*k - f = 0. Does 11 divide (q - 0 - -7) + 2?
True
Let i(a) = a**2 - 3*a + 2. Let p be i(2). Does 2 divide 800/(-75)*(p + 0 + -3)?
True
Let w(s) = s**3 - 16*s**2 - 3*s. Let o be w(17). Suppose 4*m + o = 3*k - 0*k, -4*k + 5*m = -317. Does 13 divide k?
True
Let j(z) = -z**3 - 15*z**2 - 57*z - 51. Does 41 divide j(-20)?
False
Let a be (-21 + 6)*2*3/6. Let d = 28 + a. Is 13 a factor of d?
True
Let r(k) = k**3 - 30*k**2 + 8*k - 145. Does 7 divide r(30)?
False
Let o be 0*(-3)/(-6)*-1. Let v(s) = -s**3 - 8*s**2 - 3*s - 10. Let p be v(-8). Let f = p - o. Does 4 divide f?
False
Suppose 51*q - 4418 = 5986. Is 4 a factor of q?
True
Let i(a) = a - 16. Let k(h) = -1. Let x(u) = -i(u) - 5*k(u). Is 3 a factor of x(0)?
True
Does 2 divide 3/10 - 1107/(-10)?
False
Let a(w) = w + 2. Let c be a(-1). Suppose c = 2*b - 9. Does 16 divide (b - 7)/((-1)/47)?
False
Let r = -89 - -129. Let q = r - -50. Is 30 a factor of q?
True
Is (-9)/((-1 - 1)/168) a multiple of 7?
True
Let w(d) = d**3 - 2*d**2 + 4*d - 3. Let b be w(2). Let m be 50 - -2 - (-9 + b). Suppose -2*f + f + m = 0. Is 14 a factor of f?
True
Let o be (7/2 - 4)*52. Let r = 30 + o. Is r even?
True
Let k(c) = 20*c. Let d be k(-2). Does 34 divide (-20)/d - 558/(-4)?
False
Suppose 18 = -3*o + 3. Is (-96)/o + 1/(-5) a multiple of 19?
True
Suppose -2*u - 5*m + 2453 = 0, -2*m + 4897 = 4*u - m. Is 51 a factor of (4/8)/((15/u)/5)?
True
Let g(b) = -b**3 - 6*b**2 - 6*b + 5. Let x be g(-7). Suppose x = k + 59. Does 8 divide k?
False
Let b(c) = -c + 1. Let k be b(-5). Let d(u) = u**2 + 7*u + 8. Let q be d(k). Let y = q - 50. Does 9 divide y?
True
Suppose 0 = -2*l - 5*l - 21. Is l + -1 - (-17 - 5) a multiple of 8?
False
Suppose -2992 = 30*v - 38*v. Is 17 a factor of v?
True
Let y be ((-9)/3 + 12)*-1. Let k = 12 + y. Is 58 + -3*2/k a multiple of 18?
False
Suppose 2*r - 2*h - 22 = 0, -5*h - 32 = -7. Let f(a) = 10*a**2 - 10*a + 15. Let g(j) = 8*j**2 - 8*j + 14. Let l(p) = 5*f(p) - 6*g(p). Does 9 divide l(r)?
False
Let f be -4 - (2 - (41 + 0)). Suppose -2*r + f = 1. Let d = r + -8. Is 3 a factor of d?
True
Let p(c) = -c**2 + 6*c + 3. Let m be p(6). Let x be m/15 - (-9)/5. Is (3/x)/(5/110) a multiple of 21?
False
Let s be (2/6)/(2/54). Let o(f) = f**2 - 3*f - 12. Is o(s) a multiple of 11?
False
Let g = 1761 - 1722. Suppose -3*t = -2*t + 26. Let s = t + g. Is 4 a factor of s?
False
Let c(s) = 142*s + 6. Let o be c(-5). Let m = -384 - o. Suppose 212 = 3*h - u, -5*h = 3*u + 2*u - m. Does 24 divide h?
False
Let h = 707 - 132. Does 46 divide h?
False
Let g(n) = 7*n**2 + 3*n + 3. Let p be g(-5). Suppose -4*j = -p + 35. Is 8 a factor of j?
True
Let j(f) = -f - 6. Suppose -v - 5 + 2 = 0. Let b be j(v). Does 7 divide b + (3 - 2) - -9?
True
Let z(g) = -g**2 - 38*g - 9. Does 39 divide z(-20)?
True
Suppose 19 = -2*n - 3*u, -3*n - u - 19 = -8. Let t(c) = -23*c**2 - 2*c + 2. Let a be t(n). Let x = 136 + a. Is 10 a factor of x?
True
Let g(w) = 2*w**2 - 37 + w + 25 + 2*w. Is g(5) a multiple of 9?
False
Let v = -988 - -1180. Is 9 a factor of v?
False
Suppose -8*a = -9*a + 92. Let o = a + -52. Does 18 divide o?
False
Let m = -133 + 304. Is 29 a factor of m?
False
Let k(n) = -n**2 - 24*n - 3. Let o be k(-24). Does 13 divide -6*2/o + 50 + 11?
True
Suppose 3*n - 188 = a, 7 - 2 = -a. Does 17 divide n?
False
Let w be ((-6)/(-4))/(1/6). Suppose -w*o + 95 = -4*o. Is o a multiple of 7?
False
Let u(n) = 2*n**2 + 3*n + 43. Is 18 a factor of u(-12)?
False
Let n = -51 + 53. Suppose -274 - 92 = -n*i. Is i a multiple of 16?
False
Let z = 28 + -25. Suppose -4*m + z*m = 4*y + 2, -3*m - 5*y = -1. Is 2 a factor of m?
True
Suppose 10*a + 2069 = 13*a - 5*j, j = -5*a + 3411. Does 6 divide a?
False
Let i(x) = -2*x + 13. Let w be i(6). Suppose m - w - 2 = 0. Suppose -2 = -u - 4*l - 7, 5*u = m*l + 90. Is 5 a factor of u?
True
Let y(x) = -465*x - 564. Does 12 divide y(-7)?
False
Let a = 65 - 63. Suppose a*c = 5*c - 429. Is 22 a factor of c?
False
Let w = 0 + -21. Let g = -39 - w. Let r = g + 32. Is r a multiple of 3?
False
Suppose -n - 9*y + 4304 = -14*y, -4*n = 5*y - 17116. Is n a multiple of 17?
True
Suppose 4*c - 1078 = k, -c - 3*k = -4*c + 804. Does 15 divide c?
True
Let u = -227 + 127. Let d = -89 - u. Is 7 a factor of d?
False
Let r = -934 + 1264. Is 27 a factor of r?
False
Let n = -2350 - -3490. Is 68 a factor of n?
False
Suppose 344 - 1625 = -5*b - o, 0 = 2*b - 5*o - 507. Is b a multiple of 8?
True
Let k be 4/18 + 392/(-63). Let b(q) = 5*q**2 + 14*q - 6. Let n be b(k). Suppose -j + 0*j = -n. Is j a multiple of 28?
False
Suppose -5*u = j - 17, 3*j - u + 5*u - 7 = 0. Let z be (5/j)/(7/(-21)). Suppose -52 = -z*g + 143. Is g a multiple of 13?
True
Is -28*((-3)/9 + 