 j a multiple of 11?
False
Let x be ((-18)/8)/((-9)/(-120)). Let t = x + 83. Let j = t - 31. Does 11 divide j?
True
Suppose -105 = -3*o - k, 5*o + k = -0*k + 173. Suppose -p - 12 = 3*p - 2*g, 3*g = 3*p + 15. Is 15 a factor of (-2 - 1) + o + p?
True
Let c(i) be the third derivative of i**6/120 + i**5/12 - 7*i**4/24 + 7*i**3/6 - 2*i**2. Let f be c(-6). Let m = 29 - f. Is m a multiple of 7?
False
Let m(a) = -3*a. Let f be m(-1). Suppose 2*s - 5*x + 71 = 0, -2*x = f*s - 3*x + 113. Let o = s - -62. Is o a multiple of 13?
False
Does 18 divide -42*(4*1 - 782/119)?
True
Let j = 1 - 2. Let x(s) = -4*s - 1. Let y be x(j). Suppose y = -5*d + 113. Is d a multiple of 19?
False
Suppose -3*b + 5 = 2*b. Is ((-6)/15)/(b/(-45)) a multiple of 6?
True
Suppose -4*z + c = -25, 4*z - 5*c - 13 = 16. Let n = -1 + z. Is 32 - (n - (-2 + 4)) a multiple of 12?
False
Is 19 a factor of (-368)/(-20) - (-6)/10?
True
Let r be 1/2*(3 + 17 + 0). Let s(l) = -l**2 + l. Let y be s(1). Suppose -2*z + 0*z + r = y. Does 4 divide z?
False
Suppose 0 = 3*u + 17 - 53. Suppose u = 3*j + j. Suppose -4*z + 4 = 5*h + 1, 2*h + j*z = -3. Is h a multiple of 2?
False
Let l(x) = 8*x - 12. Does 26 divide l(8)?
True
Let n(h) = h**3 + 9*h**2 + h + 12. Does 34 divide n(-8)?
True
Let a = -28 - -53. Suppose -y = -0*y - a. Is y a multiple of 22?
False
Let f(h) = 59*h**2 - 4*h - 4. Is 48 a factor of f(-2)?
True
Let p(u) = -u**3 + 8*u**2 - 8*u + 7. Does 9 divide p(5)?
False
Is (-1)/(-3) - (-50)/3 a multiple of 6?
False
Is (-9)/(-12) + (-183)/(-12) a multiple of 16?
True
Suppose 3*k + 4*r - 148 = -r, 128 = 2*k - 4*r. Is k a multiple of 22?
False
Let n(i) = -i**2 - 3*i + 7. Let a be n(-6). Let s be (-229)/a - 2/(-11). Suppose -s - 11 = -q. Is 14 a factor of q?
False
Suppose -a = 5*i - 198, 0*i + 3*a - 165 = -4*i. Suppose -2*k - 3*k + 3*q = 54, 5*k + 2*q + i = 0. Is (-102)/k + 2/(-6) a multiple of 11?
True
Suppose j = 4*l + 129, -3*j + 26 = -l + 2. Let s = l - -53. Is s a multiple of 18?
False
Suppose -1 = -10*d + 9*d. Suppose -g + 4 = -d. Is 3 a factor of g?
False
Let m(j) = 2*j**2 - 4*j + 9. Let q = 17 - 11. Is m(q) a multiple of 19?
True
Let q = 39 - 35. Is 2 a factor of q?
True
Let a be 2*(33/2 + 3). Let z = a + -11. Does 10 divide z?
False
Let y = 108 - 12. Does 16 divide y?
True
Let j be -4 - -2*(2 - 1). Let a be ((-30)/9)/(j/(-18)). Is (6/12)/((-1)/a) a multiple of 15?
True
Suppose -8 = -4*c, 4*t - 4*c - 6 = -c. Does 4 divide (t/2)/(3/8)?
True
Is 23 a factor of (-483)/14*-1*2?
True
Suppose 4 + 2 = 2*v. Let d = v - -25. Is d a multiple of 10?
False
Let k(t) = -t**3 - 5*t**2 - 5*t - 4. Let l be k(-4). Suppose l = 2*b - 4*b + 4. Suppose -b*h = -4*h + 26. Is 9 a factor of h?
False
Suppose 3 = -2*x - 5. Let l(a) = 7*a**2 + 31*a + 1. Let r(m) = -3*m**2 - 15*m. Let w(t) = x*l(t) - 9*r(t). Does 13 divide w(8)?
False
Suppose -2*o + 7*o = -2*g + 833, 4*o - 664 = -g. Does 11 divide o?
True
Suppose 0 = -2*y + 3*n + 9 + 2, -2*n = -5*y + 22. Let o be (1 + 1)/(6/15). Suppose 0 = -y*a + o*p + 91, -3*p + 59 = 3*a + 11. Is a a multiple of 14?
False
Let m(h) = -h + 5. Let k be m(5). Let g be (-6 - -38)*(-9)/4. Is (k + -7)*g/21 a multiple of 12?
True
Suppose 3*s - 15 = 4*l + 5, -4*s = -3*l - 22. Does 5 divide l + 16 + 4/2?
False
Let p(n) = 5*n**2 + 3*n - 4. Suppose -i - 2*i = -18. Let h be ((-16)/i + 3)*-9. Is 16 a factor of p(h)?
True
Let n = -13 + 15. Is 2 a factor of n?
True
Let h(u) = 2*u + 2. Let g be h(-2). Let z = -4 - -8. Let v = z - g. Does 4 divide v?
False
Let s = -12 + 21. Suppose 0*v = -3*v + s. Suppose -v*x + h + 28 = -h, -2*x + 27 = -3*h. Does 3 divide x?
True
Suppose 0 = 3*q - 119 - 16. Suppose l + 4*y - 23 - 4 = 0, 0 = 5*l + 2*y - q. Is 7 a factor of l?
True
Let y = -183 + 315. Does 44 divide y?
True
Let j = 122 + -73. Is j a multiple of 4?
False
Suppose -4*t + 0*t = 5*d - 70, -t = d - 17. Is 3 a factor of t?
True
Suppose 3 + 7 = 5*a. Suppose -v = -a*h - 6, -5*v + 4*h = h - 37. Is 2 a factor of v?
True
Let m = 105 + -174. Let z = m + 114. Is z a multiple of 21?
False
Does 4 divide 3 - (-7)/((-14)/(-20))?
False
Let n(r) = -r**3 - 5*r**2 + 5*r - 4. Let v be n(-6). Suppose 34 = 2*h - v*m, -m - 29 = -2*h + 2. Does 13 divide h?
False
Let v be (8 - 3) + 6/3. Let x(s) = s - s - s - v*s**2 + 40*s**2. Is x(-1) a multiple of 23?
False
Let d(g) = -12*g + 2. Let j be d(-2). Let k = j + -15. Is 11 a factor of k?
True
Let y(l) = 5*l - 3. Let n(a) = 4*a - 2. Let g(h) = -3*n(h) + 4*y(h). Let m(c) = c**3 + 3*c**2 - c + 1. Let p be m(-3). Is g(p) a multiple of 13?
True
Let i(a) = a - 3. Suppose 0 = -4*v + 8, -m - 5 = -3*v - 4. Let t be i(m). Suppose -u - t*u = -90. Is 10 a factor of u?
True
Does 8 divide ((1 - 2)*1)/(7/(-301))?
False
Let f(y) = -y**2 + 5*y - 1. Let s = 5 - 2. Let k be f(s). Suppose -k*o + 65 = -25. Is o a multiple of 18?
True
Let v(d) = -2*d**2 + 8. Let g(m) = -3*m**2 - m + 15. Let a(i) = 3*g(i) - 5*v(i). Let t be a(10). Is t/7 - 8/(-28) a multiple of 11?
True
Let h(m) = 28*m + 8. Let q be h(-8). Is (q/63)/((-2)/21) a multiple of 18?
True
Let u = -1 - -4. Let p be u/(-6)*(0 - 8). Suppose -3*t - 85 = -p*x + 2*t, 5*x - t - 80 = 0. Is 9 a factor of x?
False
Let u(k) = -k**2 - 12*k + 9. Let f be u(-9). Let g = 51 - f. Does 5 divide g?
True
Let c = 353 + -535. Let u(m) = m**3 - 4*m**2 - 7*m + 7. Let h be u(5). Does 18 divide 1/h - c/6?
False
Let a be 2/(-2)*(0 - 4). Let f(c) = c**3 - 4*c + 3. Does 19 divide f(a)?
False
Suppose 122 - 18 = 3*b + 4*g, 0 = 4*b + 4*g - 132. Does 7 divide b?
True
Suppose 2*f + 148 = 3*h, -48 = -h + f + 2. Suppose h = -3*m + 7*m. Is 6 a factor of m?
True
Suppose 86 - 11 = 3*s. Is 12 a factor of s?
False
Let i = 5 + -3. Suppose -3*a = -c - 77, i*a - 43 = 2*c - 3*c. Is a a multiple of 8?
True
Suppose -a - 5*f = 8, -f - 15 = -3*a + 9. Let c be (2 + -3)/(1/(-4)). Suppose -24 = -5*x - i - 2, -c*i - a = x. Is x a multiple of 2?
False
Suppose -3*a + 2 + 16 = 0. Is 150/35 - a/21 even?
True
Let z = -63 + 216. Let n = z - 215. Let d = -34 - n. Does 12 divide d?
False
Suppose 0 = 6*a - 9*a + 51. Does 5 divide a?
False
Let f = -125 + 196. Does 16 divide f?
False
Suppose o + 4*t - 339 = -2*o, -15 = -5*t. Does 28 divide o?
False
Suppose 5*u = -n + 226, -4*u - 19*n + 179 = -20*n. Is 5 a factor of u?
True
Suppose 4*r - 239 = 141. Is 19 a factor of r?
True
Let r be 4552/10 - 2/10. Let g be 1/4 - r/(-20). Suppose x - g = -6. Is x a multiple of 17?
True
Suppose 0 = -2*r - 3*r + 45. Let j = r - -15. Is 5 a factor of j?
False
Let t(y) = -y**3 - y. Let u be t(-1). Suppose -5*w + 3*i = -5, 0 = -u*w + i + 3. Suppose -n - o = -28, -w*n + 0*o = 3*o - 114. Is 15 a factor of n?
True
Let z = 11 + -8. Suppose 2*f - 42 = -r, z*r - 8*r - 32 = -f. Does 11 divide f?
True
Let w be (-1 - (-7 + -1)) + 0. Suppose -3*v + 11 + w = 0. Is 2 a factor of v?
True
Let l = 96 + -61. Suppose -5*j - l = -105. Is j a multiple of 14?
True
Let q(t) = -t**3 - 2. Let y be q(2). Let f(m) = m**2 + 8*m - 8. Let p be f(y). Suppose -3*w + 6 = -p. Does 4 divide w?
False
Suppose 4*j + 17 = -s, -j = -s - 17 - 5. Let k = 37 + s. Is k a multiple of 6?
False
Let u be (-8)/(3/(6/(-4))). Suppose 2*j - u = 0, 0 = 4*r + 4*j - 2*j - 84. Suppose -f - w - w = -11, r = -5*w. Does 16 divide f?
False
Let h = 24 + -6. Let r be h*(-1)/6*-3. Is (0 - (1 + 1)) + r a multiple of 3?
False
Let x = 7 + -1. Does 6 divide x?
True
Let h = 5 - 13. Let p = h + 15. Is p even?
False
Let u = -1 + 31. Is u a multiple of 10?
True
Let x = -64 - -89. Suppose -5*b + x = -0. Is 3 a factor of b?
False
Suppose 2*j + 1104 = 14*j. Is j a multiple of 11?
False
Suppose -3*c + 3*p = 9, 5*c = -3*p - 39 + 16. Is ((-2)/c)/((-2)/(-68)) a multiple of 17?
True
Let p(d) = d**3 - 2*d - 1. Is p(2) a multiple of 3?
True
Suppose 4 - 18 = -2*v + 5*d, -4*d = -3*v + 7. Is 10 + 3*v/(-9) a multiple of 5?
False
Let v = 377 - 182. Is 39 a factor of v?
True
Let t be 4*1/4*2. Is (4 - 6)/(t/(-9)) a multiple of 3?
True
Suppose 8 = -4*p + 72. Does 8 divide p?
True
Let f(q) = -24*q**2 + 6*q + 1. Let u(a) = 23*a**2 - 5*a - 1. Let o(y) = 5*f(y) + 6*u(y). Does 9 divide o(1)?
False
Suppose -29 - 6 = -5*g. Is g a multiple of 4?
False
Suppose u - 228 = -3*j + 3*u, 2*j = -4*u + 168. Is 13 a factor of j?
True
Let c(h) = -4*h**3 + 6*h + 6. Is 26 a factor of c(-2)?
True
Let y(g) = 10*g - 1. Let u be y(8). Suppose -4