 -t = -3*r + 2. Is 4 a factor of -14*(-1)/(r + 1)?
False
Let r(h) = h**2 + 4*h + 3. Let c be r(-2). Is (-1)/(c*(-5)/(-475)) a multiple of 19?
True
Suppose -46951 = -29*p + 22417. Is p a multiple of 44?
False
Suppose -10*p - 428 = 532. Let j = 15 - p. Is j a multiple of 19?
False
Let f = 1153 + -782. Does 8 divide f?
False
Suppose 0 = -5*k - 5*h + 3585, -12*h - 5 = -17*h. Is k a multiple of 57?
False
Let n(p) = -4*p - 14. Let y be n(-6). Suppose -5*b + y*b = 0. Suppose b = 5*w - 4*l - 400, 2*w - 267 = -w - 3*l. Is w a multiple of 21?
True
Suppose -x - 4*h = -0*h - 493, 1479 = 3*x - 5*h. Does 13 divide x?
False
Let o(j) = -j**3 + 2*j**2 + 4*j. Let n be o(3). Let a be (-1)/6*3*0. Suppose s + n*i = 66, a*s - i = -s + 70. Does 14 divide s?
False
Suppose -3*b = -34*b + 1860. Does 6 divide b?
True
Let b be 651/6 - (-3)/(-6). Suppose 0 = d + 2, r + 3*d + 0*d - b = 0. Suppose 2*j = -6 + r. Is 18 a factor of j?
True
Let d(k) = 6*k + 2. Let v(u) = -u**3 - 15*u**2 - 17*u - 40. Let z be v(-14). Is d(z) a multiple of 9?
False
Is 20 a factor of (-101)/(-303) + (-18232)/(-6) + 1?
True
Let x = 1152 - 1112. Is 25 a factor of x?
False
Suppose 3 = k - l - 1, l + 7 = 4*k. Let u be (19969 + 7)*k/(-2). Does 18 divide u/(-143) - 2/(-13)?
False
Let u = -8 - -6. Let i = -7 + u. Let r = i - -17. Is r a multiple of 4?
True
Let s = 1243 - -1309. Is s a multiple of 68?
False
Is 304/(-12)*7/(28/(-36)) a multiple of 19?
True
Suppose 5*p + 63 = 2*m, 20 = 4*m + m. Let o(l) = -l**2 - 11*l - 7. Let j be o(p). Let g = -5 - j. Is g a multiple of 2?
True
Suppose 2367*v - 2919 = 2364*v. Is v a multiple of 41?
False
Let v(x) = -x**3 + 18*x**2 - 17*x. Let b be v(17). Suppose 5*a + 4*y - 550 = -0*a, b = 3*a - 4*y - 362. Does 19 divide a?
True
Is (-30)/70 - (-7527)/21 a multiple of 15?
False
Suppose -22*n + 3323 = 3*f - 26*n, -4*f - 5*n + 4410 = 0. Is f a multiple of 16?
False
Suppose -16 = 2*b - 82. Let t = b + -20. Does 2 divide t?
False
Suppose 3*c - w - 87 = 0, 5*c - 4*w + 16 = 6*c. Let s = 54 - c. Does 13 divide s?
True
Suppose 2*p = -4, -w + 26*p = 21*p - 236. Is w a multiple of 28?
False
Let u = 1053 + -601. Is u a multiple of 4?
True
Let d = 23 + -11. Let y be (1/(-2))/((-3)/366). Suppose -4*x + 4 = 0, 4*s + x - y = -d. Is s a multiple of 12?
True
Let d = -81 - -172. Let q = -39 - 13. Let k = d + q. Is 13 a factor of k?
True
Suppose l - v = 675, -3*l - l - 5*v = -2727. Let n = l + -455. Does 20 divide n?
False
Let i(b) = b**2 - 2*b - 2. Let n(x) be the first derivative of -x**3/3 + x**2/2 - 2*x - 6. Let f be n(2). Is 7 a factor of i(f)?
False
Let f(r) = 5*r**3 + 2*r**2 + r - 4. Let k be f(4). Suppose 5*x + k = 3*a + 3, -232 = -2*a + 4*x. Is a a multiple of 14?
False
Let w = -61 - -63. Suppose -w*g + 563 = 191. Does 31 divide g?
True
Does 40 divide 28/(-126) + (-56085)/(-27)?
False
Suppose -f + 195 = -2*f. Let a be f/(-2) + 15/(-10). Suppose -5*y = -y - a. Is y a multiple of 8?
True
Let b = 8 + -6. Let f be (-16)/8 + 22/b. Suppose -m + f + 15 = -2*u, 3*u - 72 = -3*m. Is m a multiple of 5?
False
Let f be (-18)/(-8) - (-6)/8. Suppose -3*b - p + f*p = 0, -b = 4*p - 14. Suppose -5*w = -t + 64, b*w + 228 = 3*t + 2*t. Is 19 a factor of t?
False
Does 11 divide 17 + (33/132)/((-2)/(-40))?
True
Suppose -219 = -40*r + 461. Is r a multiple of 3?
False
Let d be 5*1*-3*12/(-10). Suppose 0 = 3*n - 4*n - 4*o + d, 0 = n - o - 3. Is 5 a factor of n?
False
Suppose 2*m + 1 + 6 = -5*w, 3*m = 5*w + 2. Let k = 7 + m. Suppose 2*i + k = 144. Is i a multiple of 23?
True
Let x = -637 + 1070. Is 68 a factor of x?
False
Let d(j) be the second derivative of -j**3/6 + 17*j**2/2 + 13*j. Is d(-11) a multiple of 14?
True
Suppose -13*l - 12*l + 150 = 0. Let n(s) = -s**3 - 7*s**2 - s - 7. Let i be n(-7). Suppose -k + l = -i*k. Is 2 a factor of k?
True
Let c(i) = -3*i + 1. Let x be c(7). Let r = x - -29. Suppose r*h = 14*h - 200. Is h a multiple of 20?
True
Let l(j) = -j - 7. Let s be l(6). Let b be s*(-2*4)/4. Is 9 a factor of (27/(-2))/((-13)/b)?
True
Suppose -3 = 4*w + 2*l - 5*l, 5*l - 22 = w. Suppose 3*q - 5*r + 2*r - 81 = 0, 0 = -w*q + 4*r + 76. Does 4 divide q?
True
Suppose -608 = -4*b - i - 3*i, -3*i = -4*b + 629. Does 8 divide b?
False
Let d = 16 + -18. Let b(m) = -19*m - 3. Is 24 a factor of b(d)?
False
Let u be (-2 - 292)/(-2) - -1. Suppose 2*l - 6 = u. Is l a multiple of 11?
True
Let x(r) = -r + 8. Let f be x(0). Suppose 0 = -5*i + 3*i + f. Suppose 0 = i*p - 0*p - 40. Is 7 a factor of p?
False
Let n(r) = 7*r**2 + r - 25. Let o(t) = -4*t**2 + 13. Let i = -9 - -12. Let c(a) = i*n(a) + 5*o(a). Is c(-7) a multiple of 9?
True
Suppose 87 = 719*q - 716*q. Suppose 4*x - 19 = -43. Let o = x + q. Is o a multiple of 19?
False
Let t = -344 + 660. Is 11 a factor of t?
False
Suppose 11*j + 199 = 760. Suppose j = 3*q - 69. Is 8 a factor of q?
True
Suppose 5264*a + 23828 = 5268*a. Is 25 a factor of a?
False
Let p(u) = -u**3 + u**2 - 1. Let v be 10/(-45) + (-14)/18. Let t(a) = -4*a**3 + 6*a**2 + 5*a - 2. Let k(o) = v*t(o) + 3*p(o). Is k(5) a multiple of 10?
False
Suppose -6*w = -1475 - 1315. Is 31 a factor of w?
True
Suppose 14*j = 18*j - 136. Let o = 88 - j. Let g = o + -33. Does 14 divide g?
False
Let w(d) = -d**2 - 24*d - 16. Does 7 divide w(-14)?
False
Let v = -240 + 336. Is 6 a factor of v?
True
Let v be 4 - 3/(-6)*-4. Let s be -3*(-3 + v) + 43. Suppose -2*i = -i - s. Is i a multiple of 13?
False
Let h(l) be the third derivative of l**5/60 + l**4/4 - 5*l**3/3 + 8*l**2. Let g be h(-12). Suppose -g + 191 = 3*n. Is 16 a factor of n?
False
Let c = 10 - 7. Suppose -6 + c = -3*f. Does 27 divide (f - 4)*-1*18?
True
Let x be ((-2570)/25)/(8/(-20)). Suppose 3*c = -2*t + x, -3*t - 3*c + 110 + 277 = 0. Does 13 divide t?
True
Let q(z) = 23*z + 2. Let o be q(10). Let i = -115 + o. Suppose -2*k = k - i. Does 15 divide k?
False
Let d(z) = 2*z**2 - 14*z + 13. Is 13 a factor of d(20)?
True
Let i = -30 - -20. Let r = i - 10. Is 6 a factor of (-15)/r + (-130)/(-8)?
False
Suppose 4*k - 5042 = k + 2*m, m + 1680 = k. Is k a multiple of 19?
False
Suppose 2*b - 4*a = 4*b + 52, -a + 86 = -5*b. Is 19 a factor of ((-6)/b)/(2/582)?
False
Let i = 18 - 15. Suppose 12 = 4*b - 3*d + 29, -i*d + 11 = -b. Is (13 - (b - -5)) + 0 a multiple of 6?
False
Let l = 47 - 43. Is ((l - 0) + -1)/(84/392) a multiple of 14?
True
Suppose 13 = -5*o + 108. Suppose -1408 = -o*w + 3*w. Is w a multiple of 11?
True
Let q = -9 - -9. Suppose q*m - 20 = -5*m. Let b(d) = 14*d + 3. Is b(m) a multiple of 18?
False
Let m = 2 + -2. Suppose 0 = i + p - 16, 13*p - 14*p = -2*i + 26. Suppose m = 8*h - 6*h - i. Is 4 a factor of h?
False
Let o = 45 + -47. Let t = o + 30. Does 3 divide t?
False
Let l(y) = -42*y**3 + 4*y**2 + 17*y + 20. Is l(-3) a multiple of 68?
False
Suppose -105*u + 12 = -101*u. Does 3 divide u?
True
Let g = 197 - 369. Let p = -81 - g. Is 25 a factor of p?
False
Let l(k) = -30*k - 17. Let j be l(-3). Suppose -w = -4*d + 116, 4*d + 5*w = 67 + j. Does 4 divide d?
False
Let t = -2737 - -3998. Is t a multiple of 39?
False
Let y(f) = 4*f**2 - 18*f + 28. Is 4 a factor of y(4)?
True
Suppose 4*d - 45 = d. Suppose -5*h + 0*h + y + d = 0, 0 = -h - 2*y + 14. Suppose 0 = -3*v + h*w + 117, 2*v - 4*w - 85 = w. Is v a multiple of 10?
False
Suppose -11*c = -10*c - 4. Suppose 0*a - 378 = -2*a + 3*r, 0 = -c*a - r + 784. Is a a multiple of 15?
True
Let n be 12/(-10)*2660/(-4). Suppose 9*q - n = 3*q. Is 27 a factor of q?
False
Let t(j) = 8*j - 24. Let b be t(4). Let l = b - -57. Is l a multiple of 13?
True
Let j = 22 + 11. Let y = j + -1. Suppose 3*c + 71 = 3*o + 5*c, -o = -c - y. Is o a multiple of 9?
True
Suppose -4*i + 1707 + 1001 = 0. Let z = -437 + i. Does 40 divide z?
True
Let g(a) = -36*a**3 + 4*a**2 - 3. Let k be g(-3). Suppose 5*t - k = -5*f, 0*t + 807 = 4*f + t. Is 26 a factor of f?
False
Suppose y + 4*y = 0. Suppose t + o + 6 = -1, y = -3*o - 12. Let a = 30 + t. Does 9 divide a?
True
Suppose -46 = -4*m - 4*o + 154, -208 = -4*m - 2*o. Does 54 divide m?
True
Let p(l) = -4*l + 1. Let i be p(-1). Let j = 5 - i. Let f(o) = -o**2 - o + 15. Is 6 a factor of f(j)?
False
Let q(a) = 32*a + 8. Let l be q(-2). Is -4*4/l - (-740)/7 a multiple of 14?
False
Let u = -171 - -287. Suppose -2*o = 34 - u. Let q = o + -6. Does 10 divide q?
False
Suppose 0*f = 2*f. Suppose -15*o + 9*o + 444 