 r = 5*r - n. Let t = -3 + r. Is 3 a factor of t?
False
Let v(g) = -2*g - 9. Let k be v(-7). Let o(w) = -5*w + 7. Let f be o(k). Is 3 a factor of (f/(-4 - -1))/1?
True
Let x = 346 + -206. Is 21 a factor of x?
False
Let n = 6 - 0. Is 14 a factor of n/(-4)*(-20)/1?
False
Suppose -4*m + m + 21 = 0. Let d(l) = 3*l - 5. Is 7 a factor of d(m)?
False
Let f(n) = -n**3 - 5*n**2 + 13*n + 35. Is 14 a factor of f(-7)?
True
Let b(g) = g**2 + 2*g + 2. Let r be b(-2). Let m(a) = a**2. Let i be m(r). Suppose 5*p - 10 = i*p. Is p a multiple of 5?
True
Let a(p) = p**3 - 15*p**2 - 12*p - 1. Is 9 a factor of a(16)?
True
Suppose -5*q + 46 = 11. Let n(u) = -u**3 + 7*u**2 + 4*u - 4. Is 12 a factor of n(q)?
True
Suppose 0*b + 28 = -2*b - 4*z, 4*b + 4*z + 40 = 0. Let h = 37 - b. Is 21 a factor of h?
False
Let n = 57 - 49. Is n a multiple of 4?
True
Let a(d) = -51*d + 45. Is 23 a factor of a(-5)?
False
Let f(k) = -5*k - 2. Does 34 divide f(-9)?
False
Suppose 5*a - 17 + 2 = 0. Is a a multiple of 3?
True
Let b(f) = -f**3 - 5*f**2 + 8*f - 10. Does 14 divide b(-7)?
False
Suppose n - g = 3*n + 28, 3*g = -4*n - 58. Let d(a) = -a**2 - 15*a + 1. Does 9 divide d(n)?
True
Suppose 718 = 5*l - 192. Does 26 divide l?
True
Let d = 3 - 5. Let q = d - -3. Let k = q + 3. Is k a multiple of 4?
True
Suppose 2*k = 3*j - 48 - 94, -5*k = -4*j + 187. Is j a multiple of 15?
False
Suppose 0 = 4*k - k - 6. Is k + -1 - (-21 + -5) a multiple of 17?
False
Let z = 2 + 2. Let g = z - 1. Does 3 divide g?
True
Let a(b) = -b**3 + 9*b**2 + 2*b - 6. Let f = 28 + -19. Is 11 a factor of a(f)?
False
Let z = 13 - 8. Suppose v = z*v - 12. Let g = v - -2. Is 4 a factor of g?
False
Let m(h) = -3*h + 16. Is m(4) even?
True
Is 24 a factor of ((-306)/12)/(1/(-2))?
False
Suppose -69 = -13*j + 750. Is 7 a factor of j?
True
Does 3 divide (-2)/(-2*4/156)?
True
Suppose 0 = -c + 3 + 39. Let p = 82 - c. Suppose 2*y - p = 74. Is y a multiple of 21?
False
Let k(m) = -2*m + 45. Does 7 divide k(0)?
False
Let m = 17 - -1. Let u = 34 - m. Is u a multiple of 8?
True
Does 6 divide 1*4 + -11 + 13?
True
Suppose -2*y - 2*j - 18 = 0, j + 32 = -5*y - 1. Let q(b) = b**2 - 5*b - 8. Let n be q(7). Is y/(-4)*20/n a multiple of 5?
True
Suppose -3*n + 197 = -c, -4*c - 2 = -6. Is n a multiple of 22?
True
Let f = -4 + 4. Suppose f = -3*q - 185 + 629. Is q/18 - 6/27 a multiple of 8?
True
Suppose -6*o + 67 = -o + 3*m, -4*o + 60 = 4*m. Is o a multiple of 2?
False
Let c = 32 + -11. Does 6 divide c?
False
Suppose -j - 4*j = 65. Is 1*25 - 13/j a multiple of 26?
True
Let w(k) = k**2 - 2*k - 3. Does 39 divide w(12)?
True
Let m be ((-4)/5)/((-2)/125). Let p = 72 - m. Suppose -2*w + 4*z + 58 = p, -2*w = -5*z - 36. Does 8 divide w?
False
Suppose 0*k = 4*k - p - 5, -5*k - p = 5. Suppose -g - 4 = k, -3*q + 122 = g + 6. Is q a multiple of 13?
False
Suppose -2*w - 3*w = 4*p + 25, 0 = -2*p + 2*w + 10. Suppose p*n + 9 = n. Is (-3)/n + (-25)/(-3) a multiple of 4?
True
Let u be (1/(-2) - 0)*-12. Does 18 divide u/((-2)/(-6)*1)?
True
Does 10 divide (8 - 0)*(-1)/(16/(-100))?
True
Suppose -3*t = -2*m + 8, m = 2*m + 3*t - 13. Suppose -3*s = -m*s - 72. Let k = s - -40. Is k a multiple of 11?
True
Is (-96)/(-5)*(-10)/(-3) a multiple of 17?
False
Suppose 3*m - 17 = -4*b, -3 - 6 = -b + 4*m. Suppose -b*j = 7 - 32. Suppose -5*c + 165 = -3*o, 5*c - j*o = -0*o + 175. Is c a multiple of 17?
False
Suppose 544 = -c + 9*c. Is c a multiple of 17?
True
Let n(a) be the third derivative of a**7/840 - a**6/90 + a**5/40 + a**4/8 + a**3/6 + 2*a**2. Let g(u) be the first derivative of n(u). Is g(3) a multiple of 2?
False
Let u be (-3)/(-3) + -1 - -114. Suppose t - u = -t. Does 19 divide t?
True
Let g(c) = -c**3 + c + 1. Let v be g(-1). Let a be (-5 - -10)*(v - 0). Let f(l) = 3*l**2 - 4*l - 3. Is 26 a factor of f(a)?
True
Let x be (-1)/(-1) - (-72 + 1). Let d = x - 4. Suppose -14 - 2 = -n + 5*j, 3*n - d = -5*j. Is 21 a factor of n?
True
Suppose 4*v = -24 + 84. Does 7 divide v?
False
Let v be (16 + -4)*4/(-6). Let q = 57 + -39. Let z = q + v. Does 5 divide z?
True
Let k = 39 - 14. Is 25 a factor of k?
True
Suppose 4*p = 4*z + 202 + 34, 4*z - 4 = 0. Does 12 divide p?
True
Let o(p) = -5*p - 13. Let y(n) = -20 + 0*n - 5*n + 2*n - 4*n. Let a(j) = -8*o(j) + 5*y(j). Does 13 divide a(7)?
True
Let z = 41 - -53. Is 47 a factor of z?
True
Let x = -5 + 34. Is x a multiple of 9?
False
Suppose 2*t + 1 = s, -20 = -s - s - 5*t. Suppose -g = 3*g - 8. Suppose -g*w = -s*a + 158, a + 3*w - 23 = 12. Is 13 a factor of a?
False
Let y = -14 + 15. Let g(k) = 39*k**2 + 2*k - 2. Is g(y) a multiple of 14?
False
Let s = 515 + -290. Is 45 a factor of s?
True
Suppose 18 = 5*v + 2*u, 0*v = 4*v + 3*u - 13. Suppose b + 3*b = v*x - 16, -4*x + 16 = -b. Does 3 divide x?
False
Suppose -102*q - 360 = -104*q. Does 30 divide q?
True
Suppose 4*l + 7 = 31. Let n be ((-7)/(-3))/((-2)/l). Let h = n + 33. Does 13 divide h?
True
Let n = 6 - 5. Suppose -3*d + 22 = 2*g, 3*d + 5*g + 0 = 19. Let t = d + n. Is 8 a factor of t?
False
Suppose -5*m = -0*m - 25. Let b = 8 - m. Suppose b*l - 106 - 44 = 0. Does 13 divide l?
False
Suppose -2*y + 6*y = 84. Is 8 a factor of y?
False
Let w(n) = -n - 1. Is 2 a factor of w(-9)?
True
Let z = -122 - -359. Is 27 a factor of z?
False
Suppose -5*j + 35 = 3*s, 0*s - 5*j + 15 = -s. Let d = 14 - -7. Let p = d - s. Is p a multiple of 8?
True
Let f = 10 + 95. Does 24 divide f?
False
Let w(c) = 8*c + 1. Let u(k) = 7*k. Let f(d) = -7*u(d) + 6*w(d). Let i = 10 - 16. Is f(i) a multiple of 4?
True
Suppose 3*u + 3*i + 2*i - 33 = 0, -3*u + 5*i + 63 = 0. Is 4 a factor of u?
True
Is 28 a factor of (3 - -282)*3/9?
False
Suppose -168 = -4*f - 0*f. Does 14 divide f?
True
Let d(i) = 6*i**2 - i + 2. Is d(3) a multiple of 25?
False
Let n be (-1 + (-1)/(-5))*-5. Suppose -3*t = -t + 2, -4*j - 16 = n*t. Is (-4)/2 - (-17 - j) a multiple of 12?
True
Suppose -11*d = -4*d - 693. Does 17 divide d?
False
Is 5 a factor of ((-4)/2)/2 - -9?
False
Suppose -3*z - 28 = -4*z. Let t = -9 + z. Does 19 divide t?
True
Let k = 12 - -7. Let t = k + 2. Is t a multiple of 13?
False
Suppose -5*o + 27 = -28. Let a(r) = r + 0*r + 4*r + 4 - 3*r. Is a(o) a multiple of 17?
False
Suppose -c - 16 = -4*f, -25 = -f - 4*f. Suppose 5*v + 26 = -3*w, v + v - 2*w = -c. Let i(d) = -d**3 - 3*d**2 - d - 2. Is 9 a factor of i(v)?
True
Suppose 2*d + l - 24 = -0*d, -3*d + 3*l = -27. Is 13 a factor of (-2)/d + (-2940)/(-77)?
False
Suppose 0*y = 5*y + 3*r - 436, -5*y - 2*r + 439 = 0. Is y a multiple of 26?
False
Suppose -5*a = -g - 91 - 164, a = 4*g + 32. Is a a multiple of 8?
False
Let y(x) = x**3 - 4*x**2 - 5*x + 2. Let g be y(5). Suppose -3*l + 14 = -n - 123, -g*l + 87 = -5*n. Is l a multiple of 18?
False
Let p(z) = -2*z - 2. Let v be 1/3 - 112/12. Let w be p(v). Is (-15)/(-6)*w/10 even?
True
Let w = 21 + 3. Is 12 a factor of w?
True
Let u(l) = l**2 - 8*l - 16. Let d be u(12). Let q = -10 + d. Does 11 divide q?
True
Let t(m) = 1 - 3*m**2 + 4*m**2 + m**2. Let n be t(-1). Suppose 4*l - 5*u = 65, 10 = n*l + 6*u - 2*u. Is 5 a factor of l?
True
Let u = -4 - -11. Let n(x) = x - 7. Let w be n(u). Suppose w = 2*a - 0*a + 5*d + 12, 4*a - 32 = 4*d. Does 4 divide a?
True
Let i(g) = g**2 - 3*g + 1. Suppose 2*p = 6*p. Suppose p*h = -h - 5*m + 17, -3*m = 3*h - 3. Does 7 divide i(h)?
False
Suppose 2*f + 20 = -2*f. Let h = 20 + f. Is 9 a factor of h?
False
Suppose -2*x + 9 = x. Suppose 2*t = -x*t - 2460. Does 17 divide (-2)/(-3)*t/(-8)?
False
Let y = -83 + 4. Let j = y - -122. Does 17 divide j?
False
Let y be (-6)/9*-3 - -2. Let r = y - -28. Is 11 a factor of r?
False
Let c be (-14)/(-4)*(5 - 3). Let r = 30 - 19. Let l = r + c. Does 6 divide l?
True
Suppose -4 = -4*g, -2*h + g = 2*h - 1123. Is 26 a factor of h?
False
Let q = 280 + -147. Let h = q + -83. Is h a multiple of 25?
True
Let a = 143 + -95. Does 4 divide a?
True
Let d(i) = 2*i**2 + 9*i - 9. Is d(-6) a multiple of 9?
True
Let w(f) be the first derivative of f**4/4 + 5*f**3/3 + f**2 + 4*f + 3. Is 8 a factor of w(-3)?
True
Suppose 4*g - 64 = 56. Is g a multiple of 15?
True
Let f be (7/(-7))/(1/1). Is 18 a factor of (3/2*-34)/f?
False
Let l(n) = 351*n. Let j be l(2). Let u be j/11 + 8/44. Suppose 2*v = 4*w - 3*v - u, v + 48 = 3*w. Is 10 a factor of w?
False
Suppose -p = 2*v + 20, -4*v = -4*p - 29 - 3. Suppose -q + 6*q + 1