*2 - 5. Does 7 divide q(-5)?
True
Let h = 5 + 8. Does 13 divide h?
True
Does 38 divide 16/(-20) + (-3)/(15/(-584))?
False
Suppose 3*b = 2*b + 1. Let j be 0 - b/((-1)/32). Is -2 + j + 2 + 2 a multiple of 11?
False
Suppose -10*a = 273 - 4363. Is a a multiple of 33?
False
Suppose 0 = -2*c - 3*f + 105, -f = -4*c + 182 + 63. Is 15 a factor of c?
True
Let y be 3 + (-24)/(-8) - 4. Let m(s) = s**3 - 6*s**2 - 2*s - 1. Let t be m(6). Is 6 a factor of (-228)/(-39) - y/t?
True
Suppose r + 16 = 5*r. Suppose -r*x + 96 + 180 = 0. Does 13 divide x?
False
Suppose -o = 0, -5*o + 6*o = -5*w + 460. Does 30 divide w?
False
Suppose -2*q = -r + 2, r - 2*r - 2*q + 6 = 0. Suppose -b - 2976 = -3*o, -r*b = -3*o - 244 + 3220. Is o/12 - (-2)/6 a multiple of 15?
False
Suppose -4*r = -2*l - 2330, -r - 6*l = -10*l - 593. Is 62 a factor of r?
False
Suppose 4*k = 5*a + 4199, -k + 39*a + 1051 = 38*a. Does 24 divide k?
True
Suppose 27*u - 297 = 26*u. Let t = -146 + u. Suppose -4*f = 2*s + t - 395, s - 305 = -5*f. Is f a multiple of 8?
False
Let x be 10/4 + (-1)/2. Does 3 divide 39*(-2 + 5 - (0 + x))?
True
Suppose 0*k - 192 = -4*k. Let d be ((-1)/(-3))/(12/72). Suppose k = d*q + 4. Is 11 a factor of q?
True
Let y(f) = 13*f**2 + 8*f + 25. Is y(-5) a multiple of 6?
False
Suppose 3*c - 1 + 10 = 0. Let w = c + 58. Suppose -94 = -2*l + 2*k, 3*k - w - 49 = -2*l. Is 10 a factor of l?
False
Let b(g) be the third derivative of 0*g - 15/8*g**4 + 0 + g**2 - 1/2*g**3. Does 21 divide b(-1)?
True
Is 3889/8 - (410/80 + -5) a multiple of 14?
False
Suppose 3*r = 5*r - f - 191, -5*f = 5*r - 485. Let z(x) = x**3 - 48*x**2 - 101*x + 10. Let y be z(50). Is 14 a factor of (r/10)/((-4)/y)?
False
Let j(c) = -27*c + 22. Let q be j(-7). Let r = -136 + q. Is r a multiple of 5?
True
Let k be 9/6*(-428)/(-6). Suppose 5*y + k = 4*y. Does 16 divide 3/(((-3)/y)/1)?
False
Suppose b = 3*t - 1001, -t - 4*b + 112 = -239. Let w = t - 153. Is w a multiple of 14?
True
Suppose 6*m - 3*m - 375 = 0. Let r be -78 - -3*(-3 - -2). Let l = m + r. Does 10 divide l?
False
Let d(w) = -w + 12. Let n = 0 - 3. Let v = n + 3. Is 11 a factor of d(v)?
False
Let x = 300 + -228. Is 8 a factor of x?
True
Let b(q) = 3*q**3 + 3*q**2 + q - 5. Let n(i) = i**3 + i**2 - 1. Let g(h) = -b(h) + 4*n(h). Let f be g(1). Suppose z - f = 40. Does 16 divide z?
False
Let g = 1946 - 956. Is g a multiple of 14?
False
Suppose 28 = 4*y - p, 0 = 5*y + 3*p - 29 - 6. Is y a multiple of 3?
False
Let z(o) = -4*o + 37. Let k be z(11). Let x(f) = -50*f - 26. Is 18 a factor of x(k)?
True
Suppose -4*z - 24 = -4. Let n be 58 + z/((-15)/9). Let c = n + -43. Is 6 a factor of c?
True
Let g(n) be the second derivative of -n**5/20 - 7*n**4/6 + 7*n**3/2 - 31*n**2/2 - 6*n. Is 29 a factor of g(-16)?
True
Let p(j) = 4*j. Let b(s) be the third derivative of -s**6/120 + s**5/15 - s**4/24 - 2*s**3/3 - 7*s**2. Let n be b(3). Is 2 a factor of p(n)?
True
Let a(f) = f - 7. Let s be a(11). Suppose -s*n + 5 - 93 = 0. Let y = 29 + n. Is y a multiple of 7?
True
Let a(k) = -13*k - 60. Is 35 a factor of a(-10)?
True
Let a = 31 + -28. Suppose -c - 3*p = -6*c + 186, 0 = -a*p - 6. Does 36 divide c?
True
Let k be ((-4)/12 + 1)*-6. Let a(m) = -27*m - 5. Does 17 divide a(k)?
False
Let f(q) = q**2 - q - 2. Let h(b) = -2*b**3 + b**2. Let s be h(-1). Suppose 0 = s*t + 5*i + 2 - 0, 3*i + 12 = 0. Is f(t) a multiple of 14?
True
Let k(u) = u**2 - 10*u + 3. Let g be k(9). Let q be (-13 - -25)*g/4. Let x = 24 + q. Does 4 divide x?
False
Does 18 divide (-8 - (-2 + -4)) + 776/1?
True
Let h be (-4)/6 - (-34)/(-3). Let k(p) = 13*p**2 - 2*p. Let n(f) = -f**3 + f**2 + f. Let a(l) = k(l) - n(l). Is a(h) a multiple of 9?
True
Suppose k - 614 = -5*q, 4*k - 1796 - 706 = 3*q. Does 26 divide k?
True
Let k = -88 - -82. Is (k/(3 - 1))/((-73)/1314) a multiple of 4?
False
Suppose 13*a - 40 = 11*a. Let m(b) = b + 2. Does 6 divide m(a)?
False
Let d = -408 + 244. Let f = -96 - d. Let q = 146 - f. Does 26 divide q?
True
Suppose 5*y + k + 3 + 15 = 0, -4*k - 12 = 0. Is 22 a factor of 325 - (y - (-1 - -3))?
True
Suppose -441 = -2*d + 263. Is 8 a factor of d?
True
Suppose -5*u + 4789 = -2*z, -u - 4*z + 589 = -382. Is u a multiple of 48?
False
Let s(b) = 16*b + 14. Let q(j) = -33*j - 29. Let y(k) = 3*q(k) + 7*s(k). Let c be y(-5). Let t = c - -76. Is 11 a factor of t?
True
Let u be -4*(27/(-6))/9. Suppose u*v - 76 = 274. Is v a multiple of 40?
False
Let j = -200 + 744. Suppose 0 = -4*y + j + 8. Does 25 divide y?
False
Suppose 5*t = 2*y + 361 - 61, 263 = 4*t + 3*y. Does 7 divide t - 4/(-12)*3?
True
Let w = -2 + 9. Let h = 0 + 2. Let b = h + w. Is b a multiple of 6?
False
Let f(p) be the second derivative of -p**4/12 - 5*p**3/3 + 3*p**2 - 2*p - 149. Let b = -19 - -11. Is 12 a factor of f(b)?
False
Is 3*(1 - (-5 - 190/15)) even?
True
Does 25 divide 5 - (13 - 18)*(-252)/(-10)?
False
Let x = 28 + 21. Let l = 61 - x. Is l a multiple of 6?
True
Is (-5240)/(-24) + 3/(-9) a multiple of 20?
False
Let y(m) = -m**3 - 12*m**2 - 13*m - 10. Suppose 0 = 4*i - 4, 23 = -2*r + 2*i - i. Let u be y(r). Is (6/(-4))/(u/(-272)) a multiple of 7?
False
Let y(g) = -g**2 - 8*g + 2. Let p(x) = -5*x**3 - 2*x**2 + x + 7. Let j be p(-3). Let f be (-46)/11 + 22/j. Is 4 a factor of y(f)?
False
Let t(k) = k**3 + 2*k**2 + 11*k + 4. Is 12 a factor of t(4)?
True
Suppose 0 = 4*w + 95 + 1. Let d = -17 - w. Is d a multiple of 3?
False
Let b(t) be the second derivative of t**3 + t**2 - 2*t. Let p = -7 - -12. Does 32 divide b(p)?
True
Suppose -7*q = -11*q. Suppose q = 3*w + 30 - 456. Is 15 a factor of w?
False
Let r = -330 + 185. Let b = r - -398. Is 11 a factor of b?
True
Suppose 6*s + 66 = -114. Does 11 divide 229/5 + (-6)/s?
False
Let y(h) = 106*h - 32. Does 12 divide y(9)?
False
Let v(b) be the third derivative of -b**6/120 - b**5/5 - 11*b**4/24 + 5*b**2. Let a be v(-11). Suppose a = -l - 3*l + 168. Does 14 divide l?
True
Suppose -5*d - 5 = 0, -m + 22*d + 64 = 18*d. Does 20 divide m?
True
Let u = -4 - -8. Suppose 2*w + 2*r = 7*r + 4, u*w + 5*r - 38 = 0. Does 6 divide w?
False
Let q(g) = 12*g + 13. Let w(j) = j**2 - 9*j + 13. Let z be w(9). Is 12 a factor of q(z)?
False
Let k be -44*(12/28 + (-132)/112). Is 15 a factor of k + -2 + 2 + (-4 - -1)?
True
Let g = 1999 - 1414. Is 15 a factor of g?
True
Let r = 5 - 0. Let b = 116 + -80. Suppose 3*z = r*z - b. Is z a multiple of 6?
True
Let m be (2 - -23)*(-8 - -3)/(-5). Does 25 divide 285/(m/5)*1?
False
Let c(b) = b**3 + 18. Let o = -6 - -9. Suppose 6 = -2*z + 3*h - h, o*z = 5*h - 15. Is c(z) a multiple of 6?
True
Let z(u) = 2*u + 6. Let i be z(-5). Let a(m) = 1. Let x(r) = -2*r + 8. Let o(q) = -3*a(q) + x(q). Is o(i) a multiple of 13?
True
Let m(u) = 7*u - 22. Let w be m(4). Suppose -w*o = -o - 1090. Is o a multiple of 42?
False
Let q(c) = -c**3 + 4*c**2 + 6*c + 7. Does 2 divide q(4)?
False
Suppose h = 11*h - 50. Suppose -3*j - 106 = -h*j. Is 8 a factor of j?
False
Let j be 0 - (-1)/3 - (-182)/3. Let u = j + -6. Is 10 a factor of u?
False
Suppose -4*o + 12 = -4*q, -3*q + o = -o + 4. Suppose 2*s + 146 = -4*d + 368, -126 = -q*d + 4*s. Is d a multiple of 19?
True
Let a = 14 - 28. Let v = a + 29. Suppose v = 2*t - 51. Does 11 divide t?
True
Let f(o) = o**2 + 6*o - 7. Let c be f(-7). Suppose 5*h = 5*l + 777 + 278, -3*h - 3*l + 621 = c. Is 32 a factor of h?
False
Let l(d) = -d**3 + 10*d**2 + 14. Let r be l(10). Suppose 17 = -3*o + v + 2, -2*o - r = -2*v. Let a(k) = -3*k - 5. Is a(o) a multiple of 7?
True
Let d = 2 - 0. Suppose 2*p + 5*g = 274, d*g + 2*g = -3*p + 397. Is 18 a factor of p?
False
Suppose 0*n - 108 = 3*n. Let s = n - -63. Suppose -22*i = -s*i + 95. Does 7 divide i?
False
Let u(d) be the third derivative of -d**6/120 - d**5/10 - 5*d**4/12 - 2*d**3 + 5*d**2 - 1. Suppose r - 1 = -7. Does 24 divide u(r)?
True
Suppose 0 = 3*l + 3*c - 45, 2*c - 29 - 25 = -4*l. Let y be ((-4)/l)/((-3)/(-18)). Is (-125)/(-2) - y/4 a multiple of 16?
False
Let a be ((-18)/(-21))/((-2)/28). Let y be ((-13)/(-39))/((-2)/a). Does 12 divide (-4 - y) + 4 - -66?
False
Let b be (72/(-20) + 4)*-130. Let z = b - -89. Does 5 divide z?
False
Let w = 1127 + -496. Is w a multiple of 15?
False
Suppose 3*j = 3*t - 21, -4*j = -5*t - 1 + 27. Let v(n) = n**2 + 6*n + 4. Let a be v(j). Suppose -1 = k - a. Does 25 divide k?
False
Suppose 8807 = 31*a - 22193