13 divide t?
True
Let y be 8/(-12)*(-15)/2. Let g be 4/(-2) + y + 3. Is 63/4 + g/24 a multiple of 6?
False
Suppose -4*x - 2*u = -4, 0 = -6*x + 3*x - 4*u - 2. Suppose -z - 2*z + 38 = x*c, 0 = -2*c - 2*z + 40. Is 22 a factor of c?
True
Let z be 0 + (-2 - (1 + -1)). Let l be (z/(-3))/(2/(-6)). Let k(r) = -r**3 - r**2 - r + 2. Does 5 divide k(l)?
False
Let m = 1 + 2. Let u be (1 + -2)/((-3)/6). Suppose -q = u*i - 25, m*q - 10 = 5*q. Does 5 divide i?
True
Suppose 38 - 128 = -r. Is r a multiple of 29?
False
Let a = 3 - 18. Let k(w) = -4*w + 6. Let i be k(-6). Let r = a + i. Is 8 a factor of r?
False
Let v(m) = -4*m**3 + 7*m**2 + 5*m**3 + 2 - 9*m + m**2. Let y be v(-9). Suppose -4*b + 5*f = -46, -2*b - y*f + 60 = 2*b. Does 7 divide b?
True
Let w = 1 + 2. Suppose w = 2*n - 1. Suppose -48 = n*c - 6*c. Does 6 divide c?
True
Let t = -73 - -40. Let a = 57 + t. Does 10 divide a?
False
Is 25 a factor of (30/(-12))/((-2)/120)?
True
Suppose -3*n - 2*n = 5. Let j = 2 - n. Does 3 divide j?
True
Suppose -v = 3*v + 28. Let f = v - -14. Is f a multiple of 4?
False
Let m be (-12)/10*(-20)/6. Let p = m + -2. Is p/6 - 16/(-6) a multiple of 2?
False
Suppose 5*n - v = 243, 2*n - 9*v = -8*v + 99. Is 24 a factor of n?
True
Let n(g) = 7*g - 2. Is 4 a factor of n(2)?
True
Let r = 265 - 126. Does 27 divide r?
False
Does 11 divide (-4 + 1)*(-23 - -1)?
True
Suppose 0 = 3*a + 15, 0 = 4*z + a + a + 22. Let n = z + 27. Does 6 divide n?
True
Let l(q) = q**3 + 15*q**2 + 13*q - 17. Let y be l(-14). Let j(h) = 9*h**2 - 3*h - 6. Is 21 a factor of j(y)?
True
Suppose -r - 1 = 3. Let v(w) = -2*w**2 + w + 3*w**2 + 0*w**2 - 5. Is 7 a factor of v(r)?
True
Let b(t) = -t**2 - 7*t - 7. Let o be b(-5). Suppose -o*d = -g - 34, 3*d - 5*d - 4*g + 32 = 0. Does 8 divide d?
False
Suppose 0*n - 603 = -4*x + 3*n, 0 = 3*x - 5*n - 444. Is 9 a factor of x?
True
Let o = -1 + 4. Suppose o*n + n = 0. Suppose j = -n*j + 3. Does 2 divide j?
False
Let c be (-6)/9 - 22/(-6). Suppose c*b - 12 - 40 = -4*f, -f = -1. Is b a multiple of 9?
False
Let j = 1 + -1. Suppose -3*x = -4*l - 33, 0 = 5*x - 2*l - j*l - 55. Suppose -13 = -4*o + x. Does 3 divide o?
True
Suppose 0 = -2*j + 3 + 33. Is j a multiple of 18?
True
Suppose x = 3*x - 12. Let t = 6 + x. Suppose -2*g - 4*m = -14 - 14, -t = -4*m. Is 4 a factor of g?
True
Let o(b) = 2*b - 5. Let i be o(4). Suppose 2*v = -0*v - 5*q + 31, 75 = 4*v - i*q. Is v a multiple of 10?
False
Let x(d) be the second derivative of -d**3/6 - d. Let k be x(-4). Suppose 2*s = 3*m - 0*s - 42, -s - 61 = -k*m. Is m a multiple of 16?
True
Let r be (-25)/(-9) + (-6)/(-27). Suppose 5*p = r*p + 6. Suppose 0 = 2*w + 5*f - 53, -p*w = -2*f - 0 - 32. Is w a multiple of 14?
True
Let c = 0 + -8. Let k be 4*10/4 - -1. Let f = c + k. Is 2 a factor of f?
False
Suppose -3*h = 1 - 16. Suppose -h*x = -0*x - 440. Suppose 199 = 5*d - 2*o + 4*o, -2*d + x = -2*o. Is 15 a factor of d?
False
Let w(l) be the first derivative of l**5/20 - l**4/6 - 7*l**3/6 + 3*l**2/2 + 3*l + 4. Let z(a) be the first derivative of w(a). Does 15 divide z(5)?
False
Let h = 76 + 74. Does 10 divide h?
True
Suppose -85 = -g + 77. Is g a multiple of 9?
True
Let w(v) = 2*v**2 + 3*v + 2. Let l be w(-2). Let y be ((-5)/15)/((-1)/15). Suppose y*s = -3*t + 160, -2*t + 16 + 94 = l*s. Does 15 divide t?
True
Suppose -2*c - 3*n + 12 = -0*n, c = 5*n + 32. Let w(a) = 4*a + 1. Let b be w(-1). Is 6 a factor of ((-68)/c)/(1/b)?
False
Suppose 4*n = 2*n + 156. Does 14 divide -1*n/2*-1?
False
Let j = 14 - 9. Suppose 0 = 2*o - j - 3. Suppose d - 4*u - 10 = 0, o*d - 2*u - 40 = u. Is 10 a factor of d?
True
Suppose -c + 6*c = 150. Suppose -2*z = -c - 30. Is z a multiple of 15?
True
Suppose -g + 13 = 4*s, -3*s - 39 = -2*g + 20. Is 25 a factor of g?
True
Let k = -71 - -233. Suppose -k = -5*o + 53. Is 12 a factor of o?
False
Suppose -2*a - 2 = 0, 4*j + a - 5*a - 12 = 0. Suppose 0 = 5*w - 2*t - t - 233, -78 = -j*w + 5*t. Is w a multiple of 15?
False
Let z = -54 + 91. Is 5 a factor of z?
False
Suppose 0 = 2*t - 3*t - 2*i + 139, 0 = 5*i + 20. Does 21 divide t?
True
Let c(l) = 17*l - 46. Is c(6) a multiple of 8?
True
Suppose 7*h - 2*h - 380 = -5*v, -5*v + 4*h = -398. Is v a multiple of 26?
True
Suppose 6*k - 25 + 7 = 0. Let g be 51/4 - (-1)/4. Let s = g - k. Is s a multiple of 4?
False
Let x(i) = 5 - 2 - 4*i + 0*i + i. Is x(-12) a multiple of 13?
True
Let k(g) = -g**3 - 9*g**2 - 2*g - 8. Let s be k(-9). Let f be (2/(-4))/((-2)/(-4)). Let o = s - f. Is 11 a factor of o?
True
Let w be 8*(-1)/(1 - 0). Let y be 12/16 + (-434)/w. Suppose 3*g - 2 = -4*z + 2*z, -5*g = -5*z + y. Is 7 a factor of z?
True
Suppose 5*g - 286 = -3*y, -5*y = -4*y - 4*g - 84. Is 10 a factor of y?
False
Let y = -153 - -423. Suppose -5*r + 0*r = -y. Suppose -2*t = t - r. Is t a multiple of 9?
True
Let h be (-3)/(-1*(-1 + 2)). Suppose -2 = -z + w, -4*z - w + 15 = -h. Suppose j + 4*l = -4 - 0, -28 = -5*j + z*l. Is 4 a factor of j?
True
Let m(z) be the second derivative of z**3/3 + 9*z**2/2 - 7*z. Is 10 a factor of m(8)?
False
Suppose 4*b - 12 = 0, -58 - 39 = -4*p - 3*b. Suppose p = 2*h + 6. Does 8 divide h?
True
Suppose -2*z = -2*r + 4, -5*z - 3 = -4*r + 6*r. Is 5 a factor of r*17*(-10)/(-10)?
False
Let u = 112 - 52. Is u a multiple of 20?
True
Suppose 156 = 2*u + u. Is u a multiple of 26?
True
Suppose 5*x + 227 = -58. Let r = 125 + x. Is 17 a factor of r?
True
Suppose 0*t - 122 = 2*t. Let q = 89 + t. Is 14 a factor of q?
True
Suppose 0 = -3*k + 4*k - 2. Let d(o) = 3*o**2 + 4*o + o**3 - 2*o**2 - k*o**2 - 1 + 0*o**3. Is d(3) a multiple of 15?
False
Let b be 0 + -253 + 21/(-7). Does 24 divide (9/4)/((-24)/b)?
True
Suppose -l + 2 + 1 = 0. Is 7 a factor of 0 + (-21)/l*-1?
True
Suppose -u = 3*r, -5*u + r = 5*r. Let p(q) = -q**2 + q + 12. Does 3 divide p(u)?
True
Let j = -28 + 88. Suppose 4*m + j = -m. Does 5 divide (-177)/m + 2/8?
True
Let q = 114 + -63. Does 17 divide q?
True
Let i = 8 - 4. Suppose -5*v + i*v = 3*c - 394, -522 = -4*c - 3*v. Suppose 0*y - c = -2*y. Is y a multiple of 23?
False
Let v = 4 - 2. Let d(b) = 15*b**2 + 2. Let k be d(v). Let u = k + -41. Is u a multiple of 21?
True
Let d be 6*1 + (-15)/5. Suppose 0*t + 2*t + d*f = 52, t = 4*f + 4. Is 10 a factor of t?
True
Let r(m) = -m**3 - 11*m**2 - 23*m + 3. Is r(-11) a multiple of 16?
True
Suppose -108 = -10*p + 4*p. Does 9 divide p?
True
Suppose -5*t + 4*i + 275 = i, -3*i - 15 = 0. Suppose 16 + t = 2*s. Suppose 3*x - 6 = -0*x, 0 = -4*o + 3*x + s. Does 10 divide o?
True
Suppose -2*h + 38 = -4*f, 4*h - 4*f + 0*f - 60 = 0. Does 2 divide h?
False
Suppose 1 + 3 = p. Suppose 0 = -3*j + 2*b - 27, 33 = -3*j - 0*b + p*b. Let d = j + 25. Is d a multiple of 7?
False
Suppose 81 + 44 = 5*d. Let s = -18 + d. Is 2 a factor of s?
False
Suppose -2*q - 4 = -3*q. Let h = q - 6. Is 17 a factor of 2 + 4*(-23)/h?
False
Let h(n) = -11*n**2 + 2*n + 4. Let x(y) = 45*y**2 - 9*y - 17. Let c(o) = -9*h(o) - 2*x(o). Let s(a) = -2*a. Let v be s(-1). Does 17 divide c(v)?
True
Let l = -3 + 5. Suppose 4*z + m - 22 = -7, -3*z + l*m = -3. Suppose -z*x + 5*a + 70 = 0, 2*a = -x - a + 14. Is 9 a factor of x?
False
Let b(g) = -g + 1. Let j be b(5). Let l(r) = -r**3 + r**2 - 1. Let m(u) = -3*u**3 + 9*u**2 - 7*u - 9. Let c(s) = j*l(s) + m(s). Is c(-5) a multiple of 8?
False
Does 28 divide (35/10)/(2/68)?
False
Let a(d) = -d**2 + 2*d. Let l be a(1). Let s be -54*l*(-2)/4. Let p = 43 - s. Does 10 divide p?
False
Let y(l) = -l + 5. Let a be y(3). Suppose -a*s + 96 + 245 = 5*p, -5*p + s = -347. Is 21 a factor of p?
False
Suppose 0*q + 10 = 2*q. Suppose 3*f - f - 64 = -4*d, -48 = -2*d - q*f. Is 7 a factor of d?
True
Let m(n) = -n**3 + 5*n**2 - 4*n - 3. Let y(j) = j**2 - j. Let z(w) = -m(w) + 2*y(w). Is z(4) a multiple of 21?
False
Let c(d) = 8*d**2 - 25*d + 10. Let q(u) = -4*u**2 + 12*u - 5. Let f(m) = -6*c(m) - 13*q(m). Is f(4) a multiple of 14?
False
Let k be 2/(-2) + 1/1. Suppose -796 = -2*m - k*m + 4*c, -2*c - 1198 = -3*m. Is 13 a factor of 2/(-9) - m/(-18)?
False
Suppose 0*j - j + 36 = 0. Is 15 a factor of j?
False
Let g(v) = -v**2 - 8*v + 9. Let z = -3 + -5. Does 7 divide g(z)?
False
Let z(m) = -17*m - 5. Suppose -5*v = 2*p - 38, 5*v - p - 22 = p. Let u(d) = -1. Let s(x) = v*u(x) - z(x). Is 16 a factor of s(2)?
False
Let k(l) = 2*l**3 - 4*l**2 + 3*l - 1. Does 13 divide k(3)?
True
