= d - 24, -41 = -3*d - 3*t + 40. Is 8 a factor of d?
False
Suppose -4*m - 4*t + 4 = 0, 9 = 3*t - 0*t. Is 34 - (-1 - 0 - m) a multiple of 14?
False
Let l(c) = -28*c**3 + c + 1. Does 28 divide l(-1)?
True
Suppose 5*s - r - 15 = -0*r, 21 = 4*s + r. Let z(h) = -6*h - 8 + s + 3*h - 4*h. Is z(-4) a multiple of 11?
False
Suppose 5*u - 45 = 2*u. Does 5 divide u?
True
Is 40 - (4 - 0 - 4) a multiple of 8?
True
Let j(d) = -d + 24. Let r be j(0). Suppose r = -3*o + 4*o. Does 8 divide o?
True
Suppose 0*c - 94 = c. Suppose -y + 133 = 3*l, 5*y - l - 333 = 332. Let g = c + y. Is g a multiple of 16?
False
Let o = 61 - 22. Is o a multiple of 10?
False
Suppose -b + 5 = 10, 4*i = -2*b - 42. Let g = i - -6. Is (0 + g)/((-2)/4) a multiple of 2?
True
Suppose -21 - 9 = -5*b. Suppose -b*a + 5*a = -20. Is 20 a factor of a?
True
Let v(k) = -k**3 + 2*k**2 + k - 2. Let i be v(2). Let d = i + -3. Does 4 divide 44/6 - (-1)/d?
False
Suppose -3*l + 15 = 0, 3*o + 2*l + 32 = 204. Does 27 divide o?
True
Suppose -3*i = -z - z - 5, 0 = -3*z + 2*i. Suppose -3*f + z = -f. Is 6 a factor of -5*f*4/(-2)?
False
Suppose 135 = 4*m - 1. Does 34 divide m?
True
Suppose 7*q - 2*q - 205 = 0. Does 12 divide q?
False
Let n(a) be the first derivative of 2*a**3/3 - a**2 - 4*a - 1. Is n(5) a multiple of 10?
False
Suppose 4*v + 18 = v. Let s = v + 53. Is 13 a factor of s?
False
Is 23 a factor of 7/(28/440) + (-8)/2?
False
Let z(i) = i**3 + 2*i**2 - 4*i - 1. Let g be (5/(-5))/(1/3). Let c be z(g). Suppose 3*a = -15, -c*a - 18 = 2*o - 3*o. Does 8 divide o?
True
Let v(p) = -3*p + 2. Let g be v(-4). Let y = -6 + g. Does 8 divide y?
True
Suppose -4 = s - 22. Suppose 0 = -3*n - 0*n + s. Is 6 a factor of n?
True
Suppose -3*t + 6*t - 2*s = 12, -2*t - 2*s - 2 = 0. Suppose -5*n = 3*h + 2*h - 25, 2*h = t*n - 10. Does 4 divide h/(-1 - 1) + 5?
False
Let f = -18 + 25. Is 3 a factor of f?
False
Let l = -12 - -9. Is -31*l/(9/3) a multiple of 15?
False
Let j(v) = 0 - 3 + 2 - 11*v + 10*v. Let w be j(-1). Suppose 3*n - 8 = -h + 7, 5*h = w. Is n a multiple of 3?
False
Suppose -l + 25 = 5*s, 0*l + 4*s - 104 = -5*l. Suppose -2*c + l = -40. Is c a multiple of 15?
True
Let f = 55 + -34. Is 22 a factor of (-60)/35*f*-1?
False
Let p(z) = -z**2 - 12*z - 17. Is 4 a factor of p(-8)?
False
Let l = 69 - -100. Is l a multiple of 48?
False
Is (1*-5)/((-3)/6) a multiple of 5?
True
Let y = 49 - 13. Is 31 a factor of y?
False
Let p(v) = -v**3 - 4*v**2 - 2*v - 3. Let a be p(-4). Suppose 3*b = 3*o - 144, -4*o - a*b = -2*o - 96. Is 12 a factor of o?
True
Suppose -3*v - 92 - 157 = 0. Let y = -156 - v. Let s = -40 - y. Is s a multiple of 13?
False
Let n(y) = -y + 2. Let t(c) = -c + 2. Let u(k) = -3*n(k) + 2*t(k). Is u(6) a multiple of 2?
True
Is 14 a factor of (-1)/((-3)/9) - -53?
True
Suppose 15 = -4*j + 9*j. Suppose -j*g + 40 = -r, 4*g = -2*r + 83 - 23. Is 7 a factor of g?
True
Suppose -269 = -3*u + 5*k + 368, 4*u - 3*k - 831 = 0. Is u a multiple of 34?
True
Let d = 0 + 3. Suppose i = 5*n + 40, 0*n + d*n - 45 = -4*i. Does 12 divide i?
False
Is 12 a factor of (-4 - (-38)/8)*16?
True
Suppose 2*s - 676 = 4*i, -5*i - 3*s - 982 = -148. Does 24 divide (28/6)/((-16)/i)?
False
Let k(n) = -n**2 + 7*n - 6. Let w be k(4). Suppose -w - 2 = t. Let f = 24 - t. Is 11 a factor of f?
False
Suppose -4*b = 3*f - 167, 0*b + f = -b + 41. Is 11 a factor of b?
True
Let x = 30 - -45. Does 23 divide x?
False
Let y be (15/(-10))/((-1)/2). Let i = 10 + y. Let o = i - -1. Is o a multiple of 7?
True
Let s = 5 - 2. Suppose -s = -b - 30. Is 9 a factor of (-4)/(3*2/b)?
True
Suppose -3*s + 115 + 5 = 0. Is s a multiple of 10?
True
Is 21 a factor of 1 - 0 - 228/(-3)?
False
Let y(p) = 4*p**2 - 10*p + 7. Let d be ((-1)/(-2))/(5/50). Is y(d) a multiple of 18?
False
Let p = -26 + 61. Is p a multiple of 16?
False
Suppose 9*g - 1514 = -164. Is g a multiple of 30?
True
Suppose -11 - 9 = 2*d. Is (-218)/d - (-2)/10 a multiple of 11?
True
Let b be -1 + (-1 - -57)/2. Suppose 2*c = -c + x + b, -2 = -c - 2*x. Is 8 a factor of c?
True
Suppose r = 3 - 4, 0 = -i - 4*r + 48. Is i a multiple of 13?
True
Suppose 5*t - 5*x - 180 = -0*t, -4*t + 5*x + 139 = 0. Is t a multiple of 19?
False
Let h = -50 - -70. Does 20 divide h?
True
Suppose 3*g - 122 = -3*j + j, j + 4*g - 61 = 0. Suppose 0 = -3*m + o + 126 + j, -m = 3*o - 79. Suppose -4*p = -0*p - m. Is p a multiple of 8?
True
Let p(j) = 21*j - 5. Let i(y) = -32*y + 8. Let w(x) = 5*i(x) + 8*p(x). Is 5 a factor of w(2)?
False
Let j(n) = -n**3 - 3*n**2 + 5*n + 6. Let m be j(-4). Let r be 53/m - (-2)/(-4). Suppose 4*x = 2*a + r, 2*a + 6 = 4*a. Is 6 a factor of x?
False
Suppose 29 = -3*t - 2*s - 0, -4*t - s = 32. Is 23 a factor of (t + 3 - -3) + 47?
True
Let g(s) = -s**3 - s**2 - s + 96. Does 32 divide g(0)?
True
Is 40*(-5)/(-10) + 1 + -1 a multiple of 2?
True
Let z = -92 - -242. Is z a multiple of 30?
True
Suppose -5*m - 5*u = -3*m - 23, -25 = 5*u. Does 24 divide m?
True
Suppose -2*s + 4*r + r = 39, -s = 3*r + 3. Let p = 4 - s. Is p a multiple of 13?
False
Suppose 5*z + 3*f - 35 = 0, 2*z = 4*z - f - 3. Suppose -z*w = -43 - 37. Suppose -4*g + w = -72. Does 14 divide g?
False
Let u(f) = f**3 - 6*f**2 - 5*f - 8. Suppose 3*k + 76 = 25. Let x = -10 - k. Is 6 a factor of u(x)?
True
Suppose 0 = -o - 3*o + 468. Suppose 2*s + s = o. Is 18 a factor of s?
False
Let n = 49 + 31. Let f = -40 + n. Is 20 a factor of f?
True
Suppose -25 = -4*k - k. Let q be ((-2)/2)/1 + 5. Suppose 72 = q*i - k*s, 4*i - 2*s - 21 = 3*i. Does 13 divide i?
True
Let p = -1 + 4. Let k = 1 + p. Suppose 5*r - 9 = 3*n - 22, 5*n - 34 = -k*r. Is n a multiple of 3?
True
Let z(p) = p**3 - 19*p**2 + 7*p + 47. Does 10 divide z(19)?
True
Suppose 7*q + 103 - 271 = 0. Is 4 a factor of q?
True
Let j(b) = 4*b**3 + 3*b**2 - 4*b + 3. Let n(k) = -5*k**3 - 2*k**2 + 5*k - 3. Let u(y) = 4*j(y) + 3*n(y). Is 13 a factor of u(-4)?
True
Suppose 2*p = 8, -5*b - 3*p = -2*p - 14. Suppose b*z - 3*q - 6 = z, 4*z - 5*q = 17. Is 8 a factor of z/((-15)/8)*-5?
True
Let n(j) = -2*j**2 + 12. Let v(u) = -u**2 + 6. Let z(w) = -6*n(w) + 11*v(w). Let d be z(6). Let p = 55 - d. Is p a multiple of 14?
False
Is 23 a factor of 5/15 + (-136)/(-6)?
True
Let u = -25 + 27. Is u even?
True
Let f be 4/6 + (-30)/(-9). Suppose -24 = -f*n + 28. Does 16 divide (n/1)/((-1)/(-2))?
False
Does 5 divide 268/9 - (-52)/234?
True
Suppose 0*a + 26 = 2*a. Suppose -9*w - 164 = -a*w. Is 12 a factor of w?
False
Let b = -32 - -44. Does 6 divide b?
True
Let u be (-236)/(-16) - (-2)/8. Let b be 5*(39/u - 2). Suppose -2*o - b*o + 5 = 3*z, 40 = 3*z - 2*o. Is z a multiple of 5?
True
Let h be 2*(12/8)/(-3). Is 6 a factor of 17 + (-1 - 0)*h?
True
Let r(s) = 2*s**2 - 5*s. Is r(-4) a multiple of 26?
True
Suppose 4 = d - 1. Suppose 2*u - 2 = -0*u, 4*u = d*x - 136. Is x a multiple of 14?
True
Let x = 90 + 40. Suppose -5*d = -x + 30. Is d a multiple of 20?
True
Let n(a) = -23*a - 39. Is 11 a factor of n(-6)?
True
Let r(i) = 0*i + 0*i + 3 - 3*i**2 + i**3. Let j be ((-8)/10)/((-7)/35). Does 5 divide r(j)?
False
Let k = -15 - -111. Is 48 a factor of k?
True
Suppose 0 = 5*j - 7*j + 40. Is 10 a factor of j?
True
Suppose 2*a = -4*a + 432. Does 11 divide a?
False
Let i = -2 + 3. Let m be (-8 - (-1)/i) + 1. Does 15 divide m/2*(-40)/6?
False
Suppose 11*y = 4*y + 350. Is y a multiple of 10?
True
Suppose 4*o - o = -3*t + 120, 4*o + 2*t - 162 = 0. Let a = 58 - o. Is 7 a factor of a?
False
Let g(c) = 18*c - 2. Does 9 divide g(2)?
False
Suppose 13*j - 17*j = -448. Is j a multiple of 14?
True
Let b(s) = 24*s - 1. Is 24 a factor of b(4)?
False
Let z be (-18 - -12)/(1 + 0). Let r be ((-6)/4)/((-6)/(-280)). Is (z/5)/(3/r) a multiple of 10?
False
Suppose -2*o = -3*f + 262, 3*o + 361 = 4*f - 2*o. Does 16 divide f?
False
Let d = 232 - 108. Is d a multiple of 13?
False
Let c be (-325)/(-4) + 3/(-12). Let z(r) = -12*r + 9. Let d be z(-7). Suppose -3*j + 2*o = -11 - c, -3*j + d = -3*o. Is 8 a factor of j?
False
Is 3 + (-1 - (-63 - 3)) a multiple of 26?
False
Let s = 2 - -5. Suppose 3*r = 2*r + s. Is 7 a factor of r?
True
Let w be (0/(-2))/(-7 + 8). Suppose w = -p + 2*p - 39. Is 13 a factor of p?
True
Suppose -2*t + 139 = t - 2*i, 4*t - 5*i - 197 = 0. Does 10 divide t?
False
Suppose 174 = 4*y - 0*y - 2*x, 3*x - 33 = -y. Suppose -2 + y = h. Does 22 divide h?
False
Suppose 9*h = 175 + 3