 factor of n?
True
Suppose t + t = -50. Suppose 2*k + 0*k = 4*l + 18, -4*l = -k + 15. Let m = l - t. Does 13 divide m?
False
Suppose 0 = j - 0*p + 4*p - 36, -p + 85 = 5*j. Is j a multiple of 4?
True
Let m be 4/14 - 4/14. Suppose -4*k - g + 3 = -m, 3*g + 11 = -2*k. Suppose 0 = -k*y + 5*v + 69, 2*y - 24 - 36 = 2*v. Does 17 divide y?
False
Let j be -32*(-3)/6 - -2. Suppose -3*z = -45 - j. Is z a multiple of 21?
True
Let a(w) = 2*w**2 + 2*w**2 - 7 - 3*w**2 + w. Suppose -5*r - 8 = 17. Does 13 divide a(r)?
True
Let m be -4 + -1 + 4 + -5. Let l(t) = -6*t**2 + t**3 - t + 2 - 1 - 2*t**3. Does 7 divide l(m)?
True
Suppose -3*v + 112 = v + 3*o, 117 = 5*v - 2*o. Suppose 0 = -4*b + 9 - 1, -3*q - 5*b + v = 0. Is q a multiple of 2?
False
Suppose 3*c - 150 = -0*c. Does 11 divide c?
False
Let u be -3 + -2*(-14)/(-4). Let l = 26 - u. Is 9 a factor of l?
True
Let c be (-1 - 0)*3*-23. Let j = 23 + c. Suppose 3*l = -l + j. Is 6 a factor of l?
False
Suppose -13*w + 12*w + 27 = 0. Is w a multiple of 10?
False
Suppose 0*g = 3*g. Suppose 3*u - 57 = -g*u. Is u a multiple of 18?
False
Let d = 138 - -19. Is d a multiple of 18?
False
Let w = -4 - -3. Let c be 39 + w + 1 + -2. Suppose -106 + c = -3*k. Is k a multiple of 10?
False
Suppose 5*q + 5 = 25. Let n = 26 - 8. Let z = n - q. Does 11 divide z?
False
Let z(u) = 11*u. Let q(w) = w**2 + 4*w + 3. Let f be q(-4). Let s be z(f). Suppose 0 = 5*l + 1 + 9, -m + 3*l = -s. Is 9 a factor of m?
True
Let a(f) be the second derivative of f**4/12 + 11*f**3/6 - 5*f**2 - 2*f. Let u be a(-10). Is 18 a factor of u/4*32/(-5)?
False
Let a = 28 + -2. Does 7 divide a - (-2 + (-2 - -4))?
False
Suppose -f - 2*q = -9, 43 = f + f - q. Does 19 divide f?
True
Suppose 3*y + 32 = -4*t, 5*y = 2*t - 7*t - 40. Let a(i) = i**2 + 7*i - 9. Let b be a(t). Is b/2 + 75/2 a multiple of 13?
False
Let r(c) = -5*c**2 + 44*c. Let y(i) = i**2 - 11*i. Let j(g) = 2*r(g) + 9*y(g). Does 9 divide j(-6)?
False
Let r = -106 - -131. Is r a multiple of 3?
False
Let h = 290 - 456. Is 12 a factor of (-6)/(-21) - h/7?
True
Suppose -12 = -2*b - q, 6*q = -3*b + 4*q + 16. Is 8 a factor of b?
True
Let s be 1 + -1 - (-4 - 99). Suppose 5*h - 47 = s. Does 12 divide h?
False
Let s(a) = -2*a**2 + 1 + 8 + 1 + 2*a. Let k be s(7). Is k/(5/(10/(-4))) a multiple of 16?
False
Let y be (39/(-2))/(2/4). Does 13 divide y*2/6*-1?
True
Let m(k) = k**2 + 6*k + 7. Suppose -40 = 4*f - t + 5*t, f + 2*t + 14 = 0. Let i be m(f). Let y(c) = 3*c + 6. Is 14 a factor of y(i)?
False
Suppose 2*m = w + 8, -2*m - 20 = 4*w - 7*m. Suppose 156 = 4*b - w*b. Is 13 a factor of b?
True
Does 14 divide (-8)/1*(1 - 114/8)?
False
Let n = -1 + -5. Is 3/(-2)*28/n a multiple of 4?
False
Suppose 0 = 3*w - 5*w - 6. Is 6 a factor of 10/w*(-18)/10?
True
Suppose -2*x - 2*x - 4 = 0, -h = -4*x - 21. Suppose 4*m = 5*b + 15, -4*m = -4*b + b - h. Suppose -5*s + 0 = -4*t + 42, -m*t + s = -42. Does 8 divide t?
True
Let t be ((-3)/3)/(1/4). Let d = -1 - t. Suppose d*c + 0*c = 27. Does 3 divide c?
True
Suppose -2 = 4*c + 2. Let a be 1/(c*(-3 + 2)). Does 3 divide (-3)/6*(-12)/a?
True
Suppose -z - 208 = -2*g, -2*z = -2*g + 215 - 3. Let v = 262 - g. Suppose 2*m = -2*m + v. Is 20 a factor of m?
True
Is 114/27 - 2/9 a multiple of 4?
True
Suppose -5*r = -l - 58, -4*l + 56 = 5*r - r. Let w(b) be the second derivative of -b**3/6 + 15*b**2/2 + 2*b. Is w(r) a multiple of 3?
True
Let l(k) = -k**3 + 6*k**2 + 5*k - 7. Let y(r) = r**3 + 4*r**2 - 2*r - 2. Let i be y(-4). Is l(i) a multiple of 23?
True
Let r = 19 + -16. Suppose -5*i = -4*b - 0*b - 60, 39 = 3*i - r*b. Is i a multiple of 4?
True
Suppose -3*c + 174 = 5*y + c, 4 = 4*c. Is 3 a factor of y?
False
Suppose -3*u + 4 + 8 = 0. Suppose -5*m = -u*m - 2. Does 12 divide m/3 + 219/9?
False
Suppose 112 = 5*g - 78. Does 38 divide g?
True
Suppose k + 2*k = -2*f + 93, -k - 5*f + 18 = 0. Suppose -k = -0*b - b. Does 11 divide b?
True
Suppose -o = 2*o - 30. Let b = o - -2. Is 12 a factor of b?
True
Let u(k) = -7*k. Let y be u(-1). Let m = 17 - y. Is (-86)/5*m/(-4) a multiple of 12?
False
Is (195/9 + -3)*3 a multiple of 18?
False
Suppose 36 + 29 = q. Suppose q = 4*r - 63. Is 18 a factor of r?
False
Suppose 0*t + t = 18. Is t a multiple of 8?
False
Let j = -2 + 5. Let s = -4 + j. Let l(o) = -9*o - 1. Does 8 divide l(s)?
True
Suppose -5*z = -z + 24. Let i = 13 + z. Is 7 a factor of i?
True
Let j(d) be the second derivative of 0 + 5/12*d**4 + 1/3*d**3 - d**2 + 2*d. Is j(-2) a multiple of 7?
True
Let g(l) = -l + 2. Let h be g(-3). Suppose 3*s + h*v = 0, -2*s - v = -5*v. Let p(j) = j**2 + j + 38. Is p(s) a multiple of 19?
True
Let z be 34/14 - (-39)/(-91). Let q = 59 + -37. Is 224/q + z/(-11) a multiple of 10?
True
Let z be (-2)/2 + 3 - -2. Let o(s) = -s**2 + 8*s + 4. Does 8 divide o(z)?
False
Suppose 6*f + 522 = 9*f. Is 29 a factor of f?
True
Let i(m) be the first derivative of -9/2*m**2 - 1 + 0*m - 1/3*m**3. Is 16 a factor of i(-5)?
False
Let h = -4 + 1. Let y = h + 10. Is y a multiple of 7?
True
Suppose 4*h = 5*s - 147, -2*h + 2*s = 2 + 72. Let k = h - -122. Does 14 divide -5*(k/(-15))/1?
True
Let h be ((-1)/2)/(1/(-4)). Let j be 1 - 3 - (h + -6). Suppose -j*w + 2 + 4 = 0. Is w a multiple of 2?
False
Let m = -68 + 107. Is 37 a factor of m?
False
Let b(g) = 54*g. Suppose -w - 2*w = -6. Suppose 0*j = -2*j + w. Is 18 a factor of b(j)?
True
Let q = 1 - -35. Suppose -4*s + q = -84. Is s a multiple of 10?
True
Suppose -2*j - 3008 = 2*j. Suppose -4*t + 4*g = 68, -3*g = -4*t - 4*g - 73. Is 2/9 + j/t a multiple of 19?
False
Suppose 4*o - 16 = 0, 4 = -4*k - 3*o + 2*o. Let y be (-299)/(-9) - k/(-9). Suppose 0 = -g + 3*n - 0 + y, -33 = -g - 4*n. Is g a multiple of 19?
False
Suppose -21*u + 18*u = -153. Is u a multiple of 17?
True
Suppose 3*z - z + 3*p = 459, 0 = 3*z - p - 683. Does 38 divide z?
True
Suppose -202 = -w + 6*x - x, x = -5*w + 932. Does 40 divide w?
False
Let l(p) = 10*p**2 - 25*p + 25. Let j(k) = -k**2 + k - 1. Let y(t) = -100*j(t) - 4*l(t). Does 20 divide y(-1)?
True
Suppose -44 + 1 = -2*p + 3*y, 0 = 3*p - 3*y - 63. Is 10 a factor of p?
True
Let c(y) = 2*y**3 - 6*y**2 - 6*y - 3. Let x be c(5). Suppose -3*p + x = -s + 181, 4*p = -2*s - 152. Let b = p + 101. Is b a multiple of 16?
False
Is 24 a factor of (-13 - -16)/(1/30)?
False
Suppose 168 = -3*y + 7*y. Is 11 a factor of y?
False
Suppose 0*k + 6 = -2*k + 2*j, -k + 22 = 4*j. Suppose 0 = -2*w + 8 - k. Suppose -3*l - a - 2 = -16, w*l - 4*a - 4 = 0. Is 4 a factor of l?
True
Is 44 a factor of 54*4 - ((-4)/(-4) - 5)?
True
Suppose -765 = -4*x + r, 0 = -2*x + 2*r + r + 395. Does 31 divide x?
False
Is -1 + 77 - (3 + 1/1) a multiple of 12?
True
Is 7 a factor of (-20 - -6)*(-3)/6?
True
Let i(x) = -x**2 + 9*x - 9. Let v be i(7). Suppose -11 = -v*y + 14. Suppose 3*k - 8*k = y, 4*w + k = 31. Does 4 divide w?
True
Suppose -3*v - 2*s = -204, v + 4*v - s - 327 = 0. Is 11 a factor of v?
True
Let n be ((-68)/6)/(2/3). Let a = 3 - n. Does 11 divide a?
False
Suppose f + 0*h - h - 2 = 0, -4*h + 4 = -f. Is 2 a factor of f?
True
Let o = 58 - -26. Is 14 a factor of (5/(-4))/((-3)/o)?
False
Suppose 9 = 5*p - 11. Suppose -16 = -p*a + 88. Is a a multiple of 13?
True
Let k(n) = 15*n**3 - 3*n**2 - 3. Let d(p) = 180*p**3 - 35*p**2 - 35. Let o(v) = 3*d(v) - 35*k(v). Let a(z) = z + 4. Let m be a(-3). Does 8 divide o(m)?
False
Let d = -50 + 57. Does 4 divide d?
False
Suppose -5*q = -4*z - 2, q - 4 = 4*q - 5*z. Suppose 12 - 2 = q*w. Is w even?
False
Let a(d) = d**3 + 7*d**2 - 8*d - 7. Does 23 divide a(-7)?
False
Suppose 6*f - f = -35. Let j be (-1 - f)/((-9)/(-12)). Suppose 4*v = j*v - 4, -4*i - 2*v + 114 = 0. Is 14 a factor of i?
True
Let s(d) = -d + d**2 + 0*d - 7 + 6*d. Suppose -2 = h + 3*q + 5, 2*q + 14 = -2*h. Is 2 a factor of s(h)?
False
Suppose 2*o - n + 6*n + 18 = 0, -24 = 5*o + 2*n. Let q(c) = c**3 + 7*c**2 + 3*c - 5. Let v be q(o). Let g = -22 + v. Does 5 divide g?
False
Let q = 9 - 7. Suppose 3*h + q*n - 44 = 8, h = 4*n - 6. Does 5 divide h?
False
Suppose -21 = 5*y + 4*i + 24, 5 = -i. Let d = 30 + y. Is d a multiple of 12?
False
Let y(i) be the third derivative of -i**6/120 - i**5/15 - i**4/24 - i**3/6 - 2*i**2. Let v be y(-4). Suppose 0*p = v*p - 12. Does 2 divide p?
True
Let r(s) be the third derivative of s**6/120 - s**5/15 + s**4/6 - 5*s**3/6 - 3*s**2. Is r(4) a multiple of