)*(3 + 13 + 2)?
True
Let r(l) = 27*l + 134. Let p be r(-5). Is (-5 + (p - -3))*(-780)/45 a multiple of 11?
False
Let z(d) = -d**3 + 35*d**2 - 161*d - 2. Let a be z(30). Let i = 737 + a. Does 15 divide i?
True
Let t(v) = -2*v**3 - 7*v**2 - 12*v - 3. Let l be t(-5). Suppose 6*k - l = -108. Does 15 divide 10/k + 2300/8?
False
Suppose -18*a = -14*a + 480. Let k be ((-2)/12)/(6/a)*129. Suppose 15*p + k = 20*p. Does 11 divide p?
False
Let t(h) = -h**3 - 5*h**2 - 2*h + 10. Let o be t(-4). Suppose 5*c - 196 = 3*x + 63, -166 = o*x - 2*c. Does 16 divide x/(-5) - 16/(-40)?
True
Suppose 31 - 11 = 5*s. Suppose 0 = 4*v + s*k - 2528, 0 = 4*v - 6*k + 5*k - 2528. Suppose 4*j - 8*j = -v. Is j a multiple of 17?
False
Let f(o) = 38*o - 207. Let k be f(6). Let l(j) = j**2 + 78 - 12*j - j - 21. Does 24 divide l(k)?
False
Let l be (-6*636/10)/((-2)/10). Let y = l - 151. Is 38 a factor of y?
False
Suppose -m - 4 + 1 = 0. Let w(s) = -s - 2. Let f be w(m). Let x(v) = 37*v + 7. Does 21 divide x(f)?
False
Suppose 3*k - 13 = 4*y - 0, -5*k = -4*y - 19. Suppose n = k*v - 1027, 3*n - 3 - 12 = 0. Is v a multiple of 22?
False
Suppose -137*b + 175*b - 12796 = 67422. Does 12 divide b?
False
Let k(b) = b**3 - 2*b + 4. Let n be k(-2). Let r be (1 - n)/1 - -27. Suppose 77 = 3*m - r. Does 6 divide m?
False
Let u = 8753 - 8363. Is u a multiple of 61?
False
Let p(i) = -i**3 - 34*i**2 - 94*i - 92. Does 17 divide p(-33)?
True
Let a = 33517 + -23615. Is 27 a factor of a?
False
Let c(k) = k**3 - 6*k**2 - 3*k + 9. Let z(m) = m**3 - 7*m**2 - 2*m + 9. Let d(l) = 3*c(l) - 4*z(l). Let q be ((-1)/(-2))/((-2)/(-28)). Is d(q) a multiple of 12?
False
Suppose -7*n = n + 72. Let v = n + 431. Does 14 divide v?
False
Let u be 4 - 24*2/(-4). Is 4030/14 + u/112 a multiple of 16?
True
Let w = 243 - 239. Suppose -w*l + 7*h = -256, 6*l - 5*h = 7*l - 64. Does 4 divide l?
True
Let q(c) be the second derivative of 37*c**3/3 - 2*c**2 + 5*c + 7. Does 35 divide q(2)?
False
Suppose 24*r - 45169 = 14615. Let g = r + -1718. Does 11 divide g?
False
Is (56 - 16685)*((-4)/(-24) - 6/4) a multiple of 62?
False
Suppose -2*k + 3*o = 30, 5*k - 64*o + 66 = -61*o. Is 8 a factor of -1*(k - -5)*43?
False
Let a(c) = 107*c + 21. Let l(u) = -214*u - 43. Let b(g) = -9*a(g) - 4*l(g). Let y be b(-4). Suppose -y = -4*w - 79. Does 24 divide w?
False
Let o(m) = 67 - 34 + m**2 - 44. Suppose 2 = 2*n - 14. Is o(n) a multiple of 10?
False
Suppose 59082 = 24*p - 51231 - 14823. Is 3 a factor of p?
True
Suppose 3*b + 2*z - 119 = 0, b + 5*z = 13 + 5. Let r = b + -50. Let c(s) = -4*s + 11. Does 6 divide c(r)?
False
Let f be (0 + 8/(-10))/((-218)/74665). Suppose -473 - f = -c + b, 0 = 3*c - 5*b - 2247. Is c a multiple of 62?
True
Let t(n) = 5*n**2 + 34*n + 6. Let h be t(-17). Suppose 9*v = 12*v - h. Suppose 3*g = 3*u - v, -u + 107 = g + 16. Does 15 divide u?
False
Suppose -5*k + 2*f = 4825, -403 = 4*k + 3*f + 3480. Let i = 208 - k. Is 51 a factor of i?
False
Let o(q) = -592*q - 5694. Is 78 a factor of o(-39)?
True
Let x be (-2)/3 + 522/(-27). Let b be 8/(-108)*3 + 1630/45. Let y = b + x. Does 3 divide y?
False
Suppose 34*c = 10*c + 48. Suppose 424 = 3*s + 2*v, -5*s + c*v + 72 = -656. Is s a multiple of 3?
True
Let z(x) = 5*x - 10. Let p be ((-25)/15 + -2)*-3. Is z(p) a multiple of 29?
False
Suppose -5*u + 17221 = 5*d + 866, 0 = 5*u + 3*d - 16359. Does 150 divide u?
False
Suppose -5*u - 11 = 2*y, 3 = -3*y - u - 2*u. Suppose -4*l = -y*z - 2188, 1200 = 3*l + 5*z - 428. Does 13 divide l?
True
Suppose -1 = 2*x - 3*x, -5*c + 3*x = -22. Let v(f) = f**2 - 6*f + c*f - 6*f. Is v(10) a multiple of 2?
True
Suppose -4*m + 2*m = -6, -37 = -5*s + m. Suppose s*w = 4*w + 80. Let j = w - 12. Does 7 divide j?
False
Suppose 3*j = 88 - 739. Let n = j + -15. Let b = -147 - n. Does 10 divide b?
False
Suppose 4*f = -4*c + 2059 + 4453, 5*f = c + 8110. Is f a multiple of 41?
False
Suppose 96 + 6319 = 8*p - 4577. Does 16 divide p?
False
Let s = -18 - -20. Suppose -3*u + 5*x = -3 - s, 0 = -2*u - 2*x - 2. Is 10 - 1/(-4)*u a multiple of 2?
True
Let i(h) = 48*h**2 - 249*h - 17. Is i(11) a multiple of 4?
True
Suppose 65*o = 765005 + 1857030. Is o a multiple of 48?
False
Let q be 1/((-3)/(-24)*4) - -3. Suppose q*u - t = 2*t - 17, 0 = 4*t - 16. Does 20 divide (-29 + u)*(8/(-6) - 2)?
True
Suppose -4*q - 606*o + 605*o + 48208 = 0, -q = 5*o - 12014. Is q a multiple of 82?
True
Suppose -8*p - 76915 = -3*i - 13*p, 2*p - 128217 = -5*i. Suppose 22*j + j = i. Does 16 divide j?
False
Let d(b) be the first derivative of 67*b**7/168 - b**5/40 + b**4/12 + 46*b**3/3 - 36. Let q(n) be the third derivative of d(n). Is 14 a factor of q(1)?
False
Let d be -1 - 4*(-1)/2 - -4. Let r(g) = 14*g**2 - 8*g - 15. Is r(d) a multiple of 40?
False
Let k = -8218 - -9347. Does 9 divide k?
False
Let z(j) be the first derivative of j**4/4 - 9*j**3 + 4*j**2 - 24*j - 65. Does 13 divide z(27)?
False
Is (-168)/10*(-160)/64 a multiple of 3?
True
Let n(l) = 9*l + 53. Let h be n(-6). Let a(v) = -66*v**3 - 3*v**2 + v + 2. Is a(h) a multiple of 6?
False
Let f = 9596 + -8907. Is f a multiple of 3?
False
Suppose -354981 - 52134 = -45*r. Does 51 divide r?
False
Suppose 2*n - 57 = -5*u, -3 = -2*u - 4*n + 23. Suppose -u*x + 526 + 607 = 0. Is 5 a factor of x?
False
Let h(k) = -6*k - 7 - 36*k**3 - k**2 + 19*k**3 + 11 + 18*k**3. Let w be h(3). Suppose 8*x - 56 = -3*p + 3*x, 0 = -w*p + 3*x + 36. Does 4 divide p?
True
Suppose -4*c = -24, 5790 = 4*o - 13*c + 16*c. Does 13 divide o?
True
Suppose -j - 3*j + 3*n + 13514 = 0, 16892 = 5*j - 4*n. Suppose -j = -5*w - 5*k, -9 = 2*k - 3. Is w a multiple of 13?
False
Let q(h) = -10*h - 10. Let t be (153/4)/(-9) + (-3)/4. Let w be q(t). Suppose -d + 60 = -w. Is 25 a factor of d?
True
Let p(i) = 22*i**3 - 7*i**2 - 11*i - 27. Let t be p(-4). Let f = 3051 + t. Does 36 divide f?
True
Let y be (0 - 4) + 16 + 10 + 2. Suppose 0 = -10*o - y*o + 2788. Is o a multiple of 6?
False
Suppose 5*p = -5*j, 0 = p - 0 + 1. Let l(k) = 31*k**2 + 2*k. Does 33 divide l(j)?
True
Let u be (-13)/(6/(-90)*1). Suppose u = 4*w - 3*q, -w - 4*q = q - 20. Is w a multiple of 25?
False
Let r(v) = v**3 + v**2 + 3*v + 7. Let c be r(-4). Let w = 66 + c. Suppose -2*n + w + 55 = 0. Is n a multiple of 17?
True
Let r = -44 - -47. Suppose s - 3 = q, 0 = 5*s - 0*s - r*q - 11. Does 14 divide -2*s*(-1194)/12?
False
Suppose 2*s - 2*p - 2380 = 0, -5*p = -s - 0*s + 1174. Let n = -543 + s. Is n a multiple of 59?
False
Let n(c) = -c**2 - 4*c + 3. Let q be n(-4). Suppose 5*o - 148 = q*o + 2*t, 0 = 3*t + 9. Let m = o + 37. Is m a multiple of 18?
True
Suppose 4*w + 424 = -4*n + 2*n, 0 = -w + 3. Let f = 61 + n. Let p = -101 - f. Is 7 a factor of p?
True
Suppose 0 = -6*n - 7 + 43. Suppose -2*x + n + 18 = c, -147 = -5*c - x. Let w = -25 + c. Is w a multiple of 2?
False
Let z(o) = 2*o**2 - 12*o - 131. Let c be z(0). Let w = c - -266. Is w a multiple of 11?
False
Let c be (23 - -1)*56/6. Let m be c/(-2) + 40/4 + -9. Is -5 - (-2 - -1) - m a multiple of 35?
False
Let n(s) = 7*s**2 + 5*s - 24. Let t(y) = -y**2 - 11*y - 26. Let k be t(-6). Is n(k) a multiple of 5?
False
Does 53 divide 6/12*10*1 + 2168?
True
Suppose -2*g = -67 + 1. Suppose 0 = -44*o + 38*o + 18. Suppose 4*c - 117 = -5*w, 7*w = 5*w + o*c + g. Is w a multiple of 21?
True
Suppose 396*c + 415648 = 13359304 - 1995048. Is 144 a factor of c?
True
Let k be 1990*(5 + -4)*-1. Let g = -1182 - k. Suppose c + 321 = 2*v - 2*c, -5*v = -2*c - g. Does 27 divide v?
True
Let i be (72/90)/(2/5). Suppose -13 = -i*q - 3*o, -3*o - 2*o = -5*q - 5. Suppose 3*r + 71 = 2*s - 0*r, 122 = 4*s - q*r. Is 19 a factor of s?
False
Let s be (-2)/(3588/717 + -5). Let p = s + 522. Does 22 divide p?
True
Suppose -5*d - 5*j + 187745 = 0, 4*j - 68722 + 256422 = 5*d. Is d a multiple of 26?
True
Let h(o) = -o**3 - 5*o**2 - 73*o - 945. Does 291 divide h(-13)?
False
Suppose 0 = -4*d - 20, -1634*n - 3*d - 345 = -1639*n. Is 6 a factor of n?
True
Let y be (6 - -2) + -5 + -4. Is -7*-12*(5 + y) a multiple of 16?
True
Let f be (-3 + -4 + 8)/((-3)/105). Let m = -33 - f. Suppose -4*o = 3*a - 374, 114 = -a + m*a + 4*o. Is a a multiple of 26?
True
Let f(i) = -i**3 + 7*i**2 - 5*i - 1. Let k be f(6). Suppose -d + k*m + 14 = 0, -5*m = -3*d + 10 + 12. Is 12 a factor of d/10*2/2*355?
False
Suppose -4*v + 11130 = v - 5*m, 0 = 2*m - 12. Does