 of 12?
False
Suppose -j + 5*j = -2*y + 18, j = -4*y + 1. Suppose 14 - 1 = j*d + 3*l, 11 = 5*d + l. Suppose -d*n + 4*n - 168 = 0. Is 21 a factor of n?
True
Let v(z) = -z**2 - z + 1. Suppose -t = 2*m + 3, 3*t = -2*m + 8*t + 3. Let j(q) = -q**2 - 13*q + 8. Let p(h) = m*j(h) + 2*v(h). Does 17 divide p(8)?
False
Let x(v) = 9 - 10 - v - v. Let y be x(1). Is 3*y/27*-129 a multiple of 11?
False
Let s = -46 + 94. Is 4 a factor of s?
True
Suppose -6 = -0*w + 2*w + 3*o, -5*w - 4*o = 8. Suppose w = -3*j - 3, 3*b - 121 = -5*j - 0*j. Is 14 a factor of b?
True
Let r be 4/14 + (-10)/35. Suppose -7*v - 428 + 442 = 0. Suppose 5*p - 412 = v*q, 3*p - 4*q - 236 = -r*p. Is p a multiple of 14?
True
Suppose 0 = -4*t - 4, 1 = -2*l - t + 6. Let y be (-1 + -2 + 1)/(2/(-3)). Suppose -m + 3*f - 63 = -3*m, y*m = -l*f + 93. Is m a multiple of 14?
False
Let m = 62 - 21. Let t = m + 58. Is 30 a factor of t?
False
Suppose -5*t = -4*t. Suppose -4*k - 3*b + 18 = 0, 3*k = -t*k + 2*b + 5. Suppose 4*j + k*y - 57 = 0, -6*j = -2*j - 5*y - 97. Is j a multiple of 14?
False
Let q(b) = 7*b**2 - 3*b + 1. Let l be q(2). Let x = l - 21. Suppose 6 = 3*m, 19 + 77 = x*r + 5*m. Is r a multiple of 26?
False
Let b be (-115)/(-25) - 4/(-10). Suppose -2*s - 4*h + 64 = 0, b*s - h = 61 + 77. Is s a multiple of 14?
True
Let c be (-345)/(-39) - (-8)/52. Suppose -c = -3*v - 3. Suppose -v*u - 11 = -a - 3, -4*a - 5*u + 19 = 0. Is a a multiple of 2?
True
Let y = -48 + 46. Let l = 23 + y. Is 7 a factor of l?
True
Suppose 14 = -w + 2*w. Let y(g) = 2 - 13 + 0 + 7*g - w. Does 9 divide y(11)?
False
Let m(q) = q**2 - q - 2. Let u(d) = -d**2 + 5*d + 2. Let f be u(6). Is m(f) a multiple of 5?
False
Suppose 5*z - 20 = -3*o, -2*z - 9 = -z - 2*o. Let g(t) = 2*t - 5*t - 3 - z + 40*t**2 + 6. Does 13 divide g(1)?
True
Does 15 divide 163 - (1 + -4 + 8/2)?
False
Let p be 5/(3/(-6) + 3). Suppose -3*v + p*v = -40. Is v a multiple of 20?
True
Suppose 0 = 2*j - 4*i + 12, 2*i = 2*j - 1 + 3. Suppose -3*n + 315 = j*n. Suppose -3*g + 6 = l + g, 3*l + 3*g = n. Is l a multiple of 18?
True
Suppose -4*a - 36 = 16. Let q = a + 18. Suppose 10*z - q*z = 85. Does 6 divide z?
False
Let s = -847 - -897. Does 6 divide s?
False
Let c(u) be the first derivative of 6*u + 1/4*u**4 - 2*u**2 - 5 - 2*u**3. Is c(7) a multiple of 5?
False
Does 33 divide (1144/(-32))/((-2)/24)?
True
Suppose -4*k = g - 7*k - 557, -1134 = -2*g + 2*k. Does 44 divide g?
True
Suppose 4*x + x - 15 = 5*b, -3*b = -3. Suppose 5*j - 1562 = -6*j. Is 18 a factor of x/8 - j/(-4)?
True
Let z(p) = p**2 + 4*p + 2. Let y be z(-4). Suppose 2*g = 6*g - 8. Suppose -g*b - 2 + 0 = 0, y*o - b = 5. Does 2 divide o?
True
Suppose 0 = 4*d + 27 + 117. Let y be 2/(-2 - d/15). Suppose -y*a = -3*a - 76. Does 19 divide a?
True
Let f = 12 + -6. Let i(g) = 7 - 8 + 2*g + f*g. Does 2 divide i(1)?
False
Does 56 divide 21/(-147) - 11216/(-14)?
False
Suppose -5*c = -3*g - 43 + 6, -g = -c + 9. Suppose l + 76 = c*l. Does 19 divide l?
True
Let y(q) = -5*q**2 - q + 2. Let o be y(1). Does 2 divide 2 + (2 - 8/o)?
True
Let k = 25 + -36. Let z(s) be the third derivative of -s**6/120 - 3*s**5/20 + 3*s**4/8 - 5*s**3/3 - 3*s**2 + 5*s. Does 35 divide z(k)?
False
Does 68 divide (-503163)/(-296) - (-1)/8?
True
Let t(h) = h**3 + h**2 + 2*h + 108. Suppose 3*p = 4*k + 9 + 91, -p + 5*k + 37 = 0. Let m = 32 - p. Is t(m) a multiple of 27?
True
Let d(s) = 7*s**2 + 2*s. Let y be d(-2). Suppose 0 = 4*o - o + y. Does 24 divide -1 + 20/o*-10?
True
Let s = 124 + -80. Does 22 divide s?
True
Let f(c) = -c**2 - 12*c + 3. Let y be f(-12). Suppose 5*p - y - 27 = 0. Is p a multiple of 6?
True
Let y = -2499 + 2623. Is 31 a factor of y?
True
Let k be (-3)/(-2) + (-11)/(-22). Suppose -k*r + 15 + 21 = 0. Is r a multiple of 6?
True
Suppose 19*w - 347 - 375 = 0. Let y = -33 + w. Is 3 a factor of y?
False
Let n be ((-70)/15)/((-2)/3). Let a(s) = -s**3 + 14*s**2 + 9*s + 2. Let p be a(n). Does 5 divide p/21 + (-6)/14?
False
Let f(k) = 2588*k**3 + 2*k**2 + k - 1. Is 14 a factor of f(1)?
True
Let i(o) = o - 6. Let l be i(0). Let c = l - -8. Suppose -p - c*p = -177. Is 16 a factor of p?
False
Does 10 divide 3086*12/24*1?
False
Let n(t) = -76*t - 52. Does 10 divide n(-2)?
True
Let a be ((-4)/(-5))/(0 - 4/(-10)). Suppose a*t + 10 = 60. Is 25 a factor of t?
True
Let w = -130 - -132. Is 12 a factor of (-62 - (-2 - -9))/((-1)/w)?
False
Suppose 0 = 4*m - 8*m - 3*f + 687, 529 = 3*m + 5*f. Is m a multiple of 7?
True
Suppose 3*f + 4*l = 71, -3*l + 167 = 4*f + 63. Suppose d - 31 = 2*r + 19, 5*r = -d + f. Let k = d + 12. Is 11 a factor of k?
False
Suppose -8*a + 11*a + 252 = 4*p, 189 = 3*p + 4*a. Is 7 a factor of p?
True
Let h = -249 - -853. Does 26 divide h?
False
Suppose 147*b = 140*b + 3605. Does 38 divide b?
False
Does 24 divide 195/6*(1 - -35)?
False
Let v = 74 + -68. Suppose -5*u + 208 = f, -2 = -v*u + 7*u. Does 15 divide f?
False
Suppose 666*m + 486 = 667*m. Is m a multiple of 27?
True
Suppose 0 = -3*h - 3*a + 3078, 5*h + 13*a = 17*a + 5094. Is h a multiple of 27?
False
Suppose 0 = k + k. Let u be 111 + k/3 + 1. Let p = 191 - u. Does 36 divide p?
False
Let y(j) = -13 + 5*j + 0*j + 4. Let a = -13 - -20. Is y(a) a multiple of 13?
True
Let j = -2683 - -7325. Is 14 a factor of -1 + 3/9 - j/(-33)?
True
Let j(a) = a**2 + 4*a + 46. Let h = 62 + -73. Does 14 divide j(h)?
False
Suppose -4*c - 61 = m, 164 - 25 = -3*m - c. Let f(j) = -4*j + 18. Let n be f(13). Let b = n - m. Is b a multiple of 4?
False
Let u = -559 + 1261. Suppose u = 3*j - 0*j. Suppose 0 = 16*h - 19*h + j. Is 17 a factor of h?
False
Suppose 3*l + 1631 = 2*q, -4*l + 6*l + 817 = q. Is 11 a factor of q?
False
Let q be ((-6)/6)/(2/(-22)). Suppose 81 = -10*c + q*c. Does 28 divide c?
False
Suppose 0 = a + 4*a - 35. Suppose a*y = 5*y - 30. Let c = 16 - y. Is c a multiple of 10?
False
Let v(x) = -5*x + 4 - 4 - x**2 - 7*x. Let a be v(-12). Suppose a = 17*q - 21*q + 176. Is q a multiple of 8?
False
Suppose 4*f + 333 = -5*c, 3*f = -2*f + c - 380. Let q = 31 + f. Is 14 a factor of (q/(-6) + -1)*3?
False
Let b = -134 - 450. Does 11 divide b/16*4/(-2)?
False
Let b be 118/8 - 5/(-20). Let u = 19 - b. Suppose u*h = 57 + 207. Does 11 divide h?
True
Suppose -43 = -5*n + 12. Let m(r) = -r + r - r + n + 2. Is 18 a factor of m(-13)?
False
Suppose -p - 10 = -3*p. Suppose -p*c - 2*t = -t - 47, 46 = 4*c + 5*t. Is 9 a factor of c?
True
Let i be (-1)/(-5) - 1558/(-10). Let v = i - -6. Is v a multiple of 27?
True
Let h = 71 + -111. Let f = h - -10. Let b = -15 - f. Is b a multiple of 15?
True
Let h be 188/(-16) - ((-14)/8 - -2). Does 44 divide 44/(-5 + (-63)/h)?
True
Suppose -5*r - 109 = -0*r - o, 4*r + 76 = -2*o. Let b = r - -138. Is b a multiple of 25?
False
Let j = -17 - -22. Suppose -2*n + 43 = 3*u, -n + 16 = -4*u + j*u. Suppose 378 = -5*c + u*c. Is 19 a factor of c?
False
Suppose 0 = -q - 3*k + 197, -k + 115 + 72 = q. Is 14 a factor of q?
True
Let l(n) = 19*n - 11. Let c be 5/20 - (-92)/16. Does 33 divide l(c)?
False
Suppose 3*l - 264 = -2*l - 4*v, 2*l = 4*v + 100. Is l a multiple of 13?
True
Is 1442/12 - 33/198 a multiple of 6?
True
Suppose -a - 3*p = -2*p + 4, -16 = -a + 3*p. Let k be (0 - a) + (-4)/(-1). Does 15 divide k/(3*2/90)?
True
Let b = 217 - 130. Is b a multiple of 8?
False
Let z(a) = a + 90. Let p(s) = 2*s + 135. Let r(y) = -5*p(y) + 8*z(y). Is 15 a factor of r(0)?
True
Suppose 0 = 4*i - 18 + 10. Suppose 1 = i*h - 5. Is 640/100 - h/(-5) a multiple of 5?
False
Let j(w) be the third derivative of w**6/120 - w**5/5 + w**4/2 - 11*w**2 + 3. Is 11 a factor of j(11)?
True
Let t = -369 + 597. Suppose -14*r + 486 = -t. Is r a multiple of 8?
False
Suppose -s + 6 = -3*y, 0*s - s - 18 = 3*y. Let q be (3/s)/((-5)/20). Does 3 divide ((-36)/(-10))/(q/5)?
True
Let t(v) = v**2 + 11*v + 6. Let i be (-47)/3 - 2/6. Let r be t(i). Let o = r - 61. Does 5 divide o?
True
Suppose 5*q = 5*g + 2 + 8, q - 2*g = 0. Let u be -3*q/(1 + -13). Is 31 a factor of u/6 + (-706)/(-12)?
False
Suppose 19 = -4*x - 21. Let l = 14 + x. Is (l/3)/(18/783) a multiple of 9?
False
Let t = 27 + -19. Let w be 6*(-6)/(-9)*-2. Does 11 divide (-354)/w + (-2)/t?
True
Suppose 4*z = 11 + 61. Is 19 a factor of 855/z*6/5?
True
Let c = 12 - -7. Let n = 9 + c. Is n a multiple of 7?
True
Let g be (-2)/16 - (-445)/40. Let b(x) = x + 3. Does 14 divide b(g)?
Tru