 6 divide q?
True
Let f(x) = 1 - 1 - 12*x - 10 - 48*x. Let s be f(7). Is s/(-55) + 4/22 a multiple of 8?
True
Let d(y) = y**3 + y**2 + 16. Let x be d(0). Suppose 5*o + x = 9*o. Does 6 divide (-40)/(-15)*18/o?
True
Let n(z) = z**3 - 9*z**2 - 2*z + 21. Let f be n(9). Suppose f*u = 6*u + 3, -v + 2*u + 35 = 0. Is v a multiple of 11?
True
Let q = -18 - -31. Suppose 9*h = q*h - 28. Is h a multiple of 5?
False
Does 19 divide (2/(-4))/(8/32)*-209?
True
Let k(w) = -w**3 + 32*w**2 + 40*w + 17. Does 13 divide k(33)?
False
Let i = 921 - 717. Does 12 divide i?
True
Let u(i) = -9*i + 6. Let d be u(2). Let c(q) = q**3 + 11*q**2 - 12*q + 4. Let l be c(d). Suppose 6*g = 4*z + 2*g - 112, -l*z + 67 = 5*g. Is 4 a factor of z?
False
Let d be 2 + (1 + 17)/2. Suppose -d = 2*q - 5. Is q - (-5)/(5/22) a multiple of 5?
False
Suppose 0 = 3*c + j - 4163 - 1312, -5*j + 5487 = 3*c. Does 19 divide c?
True
Let h be (84/(-35))/(6/(-20)). Suppose c - h = -3*c. Suppose w = i - c, 0*w - w - 26 = -5*i. Is 3 a factor of i?
True
Suppose -c = 4*j - 751 + 235, 25 = -5*j. Is c a multiple of 134?
True
Let u(o) = -o + 1. Let h be u(-6). Suppose h - 23 = 2*a. Does 25 divide 2/a + 707/28?
True
Let n = 721 - -215. Is n a multiple of 24?
True
Let p = 23 + 11. Suppose -74 = y - 2*u, 5*y + 184 = -5*u - 216. Does 39 divide p/(-17)*y/4?
True
Let g(l) = -l**3 + 2*l**2 + 3*l + 4. Let s be g(3). Let z be ((-6)/s)/((-24)/(-32)). Is 11 a factor of z/(3 + (-134)/44)?
True
Suppose 3*a - 10 = -2*x, -3*x + 6 = -x + 5*a. Let b = 13 - x. Suppose -b*q + 112 = 2*q. Is q a multiple of 3?
False
Let l = 50 - 37. Suppose q + 63 - l = 0. Let b = -26 - q. Is b a multiple of 10?
False
Let v(l) = -7*l + 6. Let i be v(3). Let a be (-43)/(-2) - i/(-30). Does 19 divide (-7)/a + 88/3?
False
Let h be (0 + -13)*5/(-5). Suppose 5*l - 12 = h. Let k(p) = -p**3 + 5*p**2 + 9. Is k(l) even?
False
Suppose 0 = -5*x + x - 3*c + 16, -5*c + 8 = 2*x. Suppose x*y = 20, 4*p + 0*p - 121 = -5*y. Is 6 a factor of p?
True
Let m = -9 - -14. Suppose 17*p - 16*p - m = 0. Is p a multiple of 3?
False
Let s = 59 - -401. Suppose 667 = 23*r - s. Is r a multiple of 3?
False
Let m(s) = -s**3 - 11*s**2 + 2*s + 11. Let f be m(-11). Let h(i) = -i**2 - 2*i - 3. Let x be h(f). Let v = x - -151. Does 27 divide v?
False
Suppose -90*d = -91*d + 1560. Does 15 divide d?
True
Suppose -n + 47 + 13 = 0. Let d be ((-2)/6)/(10/n). Is (54/(-2))/(2/d) a multiple of 12?
False
Suppose 0 = a + 4*o - 18, 15 = 14*a - 13*a + o. Does 6 divide a?
False
Suppose 0 = 6*w - 328 - 80. Is 17 a factor of w?
True
Suppose -1243 = -2*i - 91. Suppose 0 = -10*y + 6*y + i. Is y a multiple of 16?
True
Suppose 0 = -4*o + 3*o + 3. Suppose -109 = -5*m - 5*j + 81, o*m - 5*j - 90 = 0. Does 7 divide m?
True
Suppose -8*u + 462 + 154 = 0. Does 43 divide u?
False
Let q(v) = 2*v**3 + 19*v**2 - 9*v. Is q(-9) a multiple of 9?
True
Suppose 3*p + p - 12 = 0. Let y(k) = 10*k + 8 + 9*k**2 + 0 - p - k**3 + 2. Is 4 a factor of y(10)?
False
Let z = 384 - 274. Let i = -56 + z. Does 4 divide i?
False
Suppose 2*h + 4*i - 2 = 0, -h + 11*i - 6*i = -36. Is 11 a factor of h?
True
Is (-6)/((-5026)/502 + 10) a multiple of 15?
False
Let y(j) = 22*j**2 - 2*j - 1. Suppose -10 = -6*q + 8. Suppose -q*f = -8*f - 10. Is 16 a factor of y(f)?
False
Let h(a) = a + 13. Suppose -59 = 5*c - 9. Let z be h(c). Suppose 4*b + m - 57 = 0, z*b - 18 - 27 = -3*m. Is 4 a factor of b?
False
Let g(j) = 3*j**2 - 14*j - 2. Let y be g(5). Let o(q) = q**3 - 4*q**y + 7*q**3 + 16*q - 17 + 14*q**2 - 3*q**3. Does 37 divide o(-12)?
False
Suppose 63 = 5*h - 2*h. Let k = h - 20. Let z(b) = 79*b - 2. Does 25 divide z(k)?
False
Let p = -399 - -757. Is p a multiple of 13?
False
Let y(p) = -p**3 + 1. Let w(b) = 3*b**3 + 4*b**2 - 7*b - 4. Let s(h) = -w(h) - 2*y(h). Let v be s(-6). Suppose 5*c = 4*c + v. Does 8 divide c?
True
Let a(t) = -2*t - 2. Let g be a(-2). Let x be 1 - 28*(-2 + -1). Suppose -5*p = -11 + 1, 0 = -3*o - g*p + x. Is o a multiple of 21?
False
Let z(n) = -n**2 - 2*n + 4. Let u be z(-5). Suppose 17 = -4*o + j - 4, 0 = 5*o - 5*j + 30. Let f = o - u. Is f a multiple of 2?
True
Suppose 325*i - 322*i = 108. Does 3 divide i?
True
Suppose 10*d = 14139 - 369. Does 17 divide d?
True
Let v(t) = t**3 + 9*t**2 - 5*t - 7. Suppose -4*q = -6*q + 52. Let x = q + -35. Is 7 a factor of v(x)?
False
Suppose -4*t + 256 = 5*r, 2*t - 92 = -r - 36. Suppose 4*b - k - 81 = 0, -4*k + 8 + r = 4*b. Is 19 a factor of b?
True
Suppose 3*b = -4*n + 92, -2*n = b + 2*b - 100. Suppose -b*p + 280 = -31*p. Is p a multiple of 14?
True
Suppose -4*u + 12 = 0, -i + 5*u = -135 - 127. Suppose -5*d + i = -303. Does 13 divide d?
False
Suppose 3*s + 2*o - 21 = 0, -5*s + 7 = -o - 15. Suppose 3*c + 0*a + 3*a - 498 = 0, s*c = -a + 846. Does 14 divide c?
False
Let m = -51 + 56. Is 3 a factor of (21 + -24)*(1 - m)?
True
Let k = -30 + 32. Is 28 - 0 - (k + -1) a multiple of 7?
False
Does 5 divide 13/(13/66) + 2?
False
Suppose 3 = y + v, -5*y - v = 3*v - 17. Suppose y*b - 735 = -5*w, -3*b = w - 133 - 18. Is 26 a factor of w?
False
Suppose 0 = -6*o + 3*o + 81. Let g = -8 + o. Suppose -33 = -5*u + 4*q, 0 = -3*u + 2*q - 0*q + g. Is u a multiple of 2?
False
Suppose -4*b + 5*j + 1180 = 0, 0 = 3*b - j + 2*j - 904. Does 65 divide b?
False
Let b(a) = -a**3 + 25 - 18 + a**2 + 59 + 3. Let p be b(0). Suppose y + 2*h = 23, p = 2*y + 3*h + 24. Does 7 divide y?
True
Let y = 1059 + 173. Is 54 a factor of y?
False
Suppose -2439 = -9*b - 0*b. Is 21 a factor of b?
False
Let g(x) = 2*x + 93. Is g(-5) a multiple of 83?
True
Let j be 8/(4 - 30/8). Let u = j + 2. Is 9 a factor of u?
False
Let i be 40/(-6)*((-300)/8 + 3). Suppose 2*p - i = -2*t, 0*p - p = -4*t + 465. Is t a multiple of 32?
False
Let l(m) = 133*m**2 - 5*m - 8. Let n be l(-2). Suppose -71 = -2*j - c + 280, -3*j - 4*c + n = 0. Is j a multiple of 14?
False
Suppose 0 = -12*z + 311 + 253. Does 12 divide z?
False
Suppose -867 = 8*b - 2707. Is b a multiple of 10?
True
Let v(x) = 26*x + 19. Let n(w) = -5*w - 4. Let d(o) = 11*n(o) + 2*v(o). Let l be d(-3). Is (-30)/(-4)*(l - 1) a multiple of 6?
False
Let n(o) = 174*o + 51. Let x be n(17). Is x/21 - 0 - (-2)/(-7) a multiple of 16?
False
Let k(u) = u**3 - 4*u**2 + 3. Let b be k(4). Suppose -5*l - 5*t = 5, l + 3*t - b = -4*l. Is 10 a factor of 21 + (3 - 7) + l?
True
Let o(r) = r**3 + 2*r**2 + 71. Let w be o(0). Let l = w - 35. Does 12 divide l?
True
Suppose 0*q + 566 = d - 5*q, 3*d - 5*q - 1678 = 0. Does 2 divide d?
True
Let c(s) = s**2 + 19*s + 3. Let t be c(17). Let j(m) = -m**3 + m**2. Let y be j(1). Suppose y*r - t = -5*r. Is r a multiple of 39?
False
Suppose 3*z - 3*f + 2*f = 1, 10 = 2*f. Suppose 3*m = -3*y + m + 2, 2 = z*y + m. Suppose 85 = 4*j - w, -2*j + 61 - 17 = -y*w. Does 21 divide j?
True
Suppose 2*h - 4*k - 84 = 0, k - 123 = -6*h + 2*h. Is 16 a factor of h?
True
Let p = 11 - 11. Suppose p = -6*m + 3*m + 21. Is m a multiple of 7?
True
Let n be 2 - -2 - 8/(-2). Let y(d) = d**3 - 7*d**2 + 2*d - 24. Is y(n) a multiple of 8?
True
Let l = 673 + -608. Does 5 divide l?
True
Suppose 9*m = 22160 + 4201. Does 35 divide m?
False
Let s be (0/(-14))/(0 + 1 - 0). Suppose -184 = 2*d - 64. Is 30 a factor of s/(0 - -2) - d?
True
Let f(y) = y**2 - 60*y - 529. Is f(-13) a multiple of 12?
True
Suppose 3*r = -c - 1 - 2, 3*r - c = 3. Let i = 5 - r. Suppose -k = 2*o - 40, -5*k + 0*k - i*o = -205. Does 14 divide k?
True
Let a = -711 - -1176. Is 15 a factor of a?
True
Let p = 193 - -19. Suppose -2*n + p = -f, 7*f = -n + 4*f + 120. Is 18 a factor of n?
True
Suppose 3*s + 4*z = 9, -4*s - 9 = -7*s - 3*z. Suppose v = 3*r - 4*r - 1, 3*v + s = -2*r. Is 4 a factor of -2 - v - -2 - -12?
False
Let j(f) be the second derivative of -23*f**3/6 - 15*f**2/2 + 6*f. Let p(g) = 11*g + 8. Let s(i) = -6*j(i) - 11*p(i). Is 28 a factor of s(6)?
False
Suppose 4*a + 5*i = -12, 1 = a - i - 5. Let q = a + 3. Suppose 8 - 1 = j + 2*l, -q*l = j - 7. Does 2 divide j?
False
Let r(f) = -f**2 - 13*f + 19. Let c be r(-14). Suppose -100 = -c*q - 0. Is q a multiple of 20?
True
Let g = -3 + 8. Suppose 3*f - 2*d = 14, g*f - 6*d + 2*d = 26. Suppose 159 - 48 = 5*q - m, -q + 20 = f*m. Does 7 divide q?
False
Is 345/((-1)/(-7 - -6)) a multiple of 21?
False
Let x(j) = 16*j + 380. Is 21 a factor of x(55)?
True
Suppose -11*j - 16 = -7*j. Let i(p) = -11*p + 3. Le