
Suppose -4*d + d = -5*x - 5, 0 = 2*x - 4. Is d a multiple of 2?
False
Let k be -2 - ((-8)/2 - -2). Suppose -3*b + k*b = -9. Is b a multiple of 2?
False
Suppose -2*d - f + 225 = 0, 445 = 4*d - 3*f + 4*f. Is d a multiple of 11?
True
Suppose -j = -5*j + 20. Suppose j - 31 = -r. Is r a multiple of 13?
True
Does 53 divide 318 - (-6 + 6 + 0)?
True
Suppose h + 3*n - 79 = -2*n, -5*h + n + 343 = 0. Does 12 divide h?
False
Let z = 5 - 5. Suppose 56 + z = 4*v. Does 7 divide v?
True
Let k(o) = -o**2 - 6*o + 2. Let b be k(-6). Let t = b - 1. Is 25 a factor of t + 0 - (-1 - 48)?
True
Let p(r) = 8*r**2 - 3*r. Does 13 divide p(2)?
True
Suppose -3*r + 2*r = 6. Let n be (r/8)/((-1)/4). Suppose 2*y = -5*j - 5, 0 = -4*y + n*y - 2*j. Is y a multiple of 10?
True
Does 8 divide ((-10)/15)/(2/(-48))?
True
Let c be (-6)/14 - (-3378)/42. Suppose d - c = -d. Is d a multiple of 12?
False
Is 10 a factor of 53 + 3/(2/(-2))?
True
Suppose -3*n - 2*c - 58 = -170, -4*c = 4. Is n a multiple of 19?
True
Let v(q) = -2*q + 10*q - q**2 - 2 + 5*q. Is 8 a factor of v(12)?
False
Let v(u) = -u + 18. Let l(a) = -a**2 + 2*a + 2. Let w be l(5). Is 16 a factor of v(w)?
False
Does 3 divide 2/(-10)*2 - (-1722)/105?
False
Suppose 0 = -0*c + 2*c. Suppose 2*o + 3*f - 25 = c, o - 12 = -2*f + 2. Let d = o + 0. Is d a multiple of 8?
True
Let i(t) be the first derivative of -3*t**4/2 + 2*t**3/3 - t**2/2 - 3. Is 12 a factor of i(-2)?
False
Let k(v) = 2*v - 4*v**2 + 8*v**2 + 3 - 2*v**2. Does 2 divide k(-2)?
False
Suppose 0 = -5*y + 3*y + 12. Let u be (-113)/(-5) - y/(-15). Suppose -u = -5*m + 32. Is m a multiple of 6?
False
Let r be 2*(0 + 12)/3. Let t = r - -10. Is 9 a factor of t?
True
Is 13 a factor of 1 - -184 - (3 - (3 - 3))?
True
Let m be ((-54)/15)/(2/20). Let d = -21 - m. Suppose 0 = -5*y + 10 + d. Does 3 divide y?
False
Let o be 0 + (36/(-1))/(-1). Let w(m) = m**3 + 3*m**2 - 4*m + 5. Let k be w(-4). Suppose 0 = k*h - 44 - o. Is 6 a factor of h?
False
Let f(t) = -t**2 - 11*t + 7. Let v(r) = -r**3 + 6*r**2 - 6*r - 6. Let u be v(5). Does 3 divide f(u)?
False
Let f be 2*((2 - 3) + 2). Does 14 divide 81*1/(3/f)?
False
Suppose -p + 6*p = 0. Let w(r) = -r + 7. Is 5 a factor of w(p)?
False
Let z(i) = i**2 - 8*i - 26. Is 14 a factor of z(19)?
False
Suppose -3*s + 18 - 15 = 0. Let b = s + 5. Is b a multiple of 6?
True
Let y be -2*(1 - 3/6). Let k be y/4 - 30/8. Let p(v) = -v. Does 2 divide p(k)?
True
Let l(u) be the third derivative of u**8/20160 + u**7/2520 - u**6/360 - u**5/30 - 3*u**2. Let q(j) be the third derivative of l(j). Is q(-5) a multiple of 6?
False
Let s(x) = 7*x**2 - x + 2. Let q = 12 + -14. Is 8 a factor of s(q)?
True
Let o(w) = -w**3 + 5*w**2 - 2*w - 4. Let h be o(4). Suppose 0 = -2*d + h*d - 20. Does 3 divide d?
False
Let f be (0 - -1)/((-5)/(-130)). Let l = -14 + f. Is 12 a factor of l?
True
Let p = -561 + 331. Let f = p + 114. Does 10 divide 6/4*f/(-6)?
False
Let f = 105 - 54. Let g = f + -12. Does 13 divide g?
True
Let t = 4 - 10. Let i be -4*(-2)/(-4) - t. Suppose -33 = -i*y + y. Is y a multiple of 11?
True
Let q = 80 + 50. Does 26 divide q?
True
Does 17 divide 6/(-10)*-5 - -19?
False
Let q = 13 + 7. Does 5 divide q?
True
Let b(d) = d**3 - 5*d**2 + 6*d - 5. Let p = -7 + 12. Is b(p) a multiple of 12?
False
Let j(c) = -9*c + 39 - 82 + 24*c + 36 - c**2. Let i(k) = 2*k**2 + 5*k + 4. Let b be i(-3). Is j(b) a multiple of 13?
False
Suppose -4*f + 1 - 5 = 4*u, 2*f + 18 = 2*u. Suppose u*c - 15 = 1, -c = 4*o - 48. Is 11 a factor of o?
True
Let g = 131 - 53. Is 13 a factor of g?
True
Does 7 divide (56/10)/(6/15)?
True
Suppose 0*a + 2*j + 28 = 5*a, 0 = -2*a + 5*j + 7. Let c(v) = 2*v**2 - 6*v + 7. Is c(a) a multiple of 10?
False
Suppose 0*r + 2*r + 30 = 0. Does 15 divide (-516)/r - 2/5?
False
Suppose 4*v - 3*v = 17. Is v a multiple of 7?
False
Let t = 178 - 46. Is 12 a factor of t?
True
Let t(r) be the first derivative of 2*r**3/3 + 4*r**2 - 5*r + 3. Does 19 divide t(-6)?
True
Let d(h) = h**3 + h**2 + 12. Is d(0) a multiple of 3?
True
Let z = -1 + -18. Let k = -13 - z. Is k a multiple of 3?
True
Let b(x) = x**3 + 5*x**2 - 2*x - 4. Let l be b(-5). Is 9 a factor of 1 - -2*(l - -1)?
False
Let n = 3 - -27. Suppose 2*z - n = z. Does 16 divide z?
False
Is 756/10 + (-30)/(-75) a multiple of 19?
True
Let o(f) be the third derivative of -f**5/60 + f**4/3 + 2*f**3/3 - f**2. Does 7 divide o(6)?
False
Suppose 114 = 2*v - 5*q, -3*v + 302 = 2*v - 4*q. Does 12 divide v?
False
Suppose 4*d + 2 = 6. Let t = 5 - d. Suppose -t*p + 2*h = 6*h - 116, -h = 5*p - 137. Is 17 a factor of p?
False
Let w(j) = 5*j**3 - j**2 + j. Let a be w(1). Suppose 0 = 2*q + 5*f - 35, 4*q + 10 = q + a*f. Suppose 0 = q*h - 4*h - 24. Is 12 a factor of h?
True
Let u(n) = 7*n + 23. Does 31 divide u(10)?
True
Let c = -6 + 9. Suppose 69 = -2*l + c*l. Suppose 5*n - l = -2*q, 107 = 5*q - 2*n - 51. Is q a multiple of 11?
False
Suppose 0*k = -5*k - 15. Is 6 + k + (1 - -20) a multiple of 12?
True
Let q = -61 - -94. Let y = q - 13. Is 7 a factor of y?
False
Let s = 48 + -34. Does 7 divide s?
True
Let w(o) = 39*o**2 + 6*o - 11. Suppose 0*p + p + 8 = 0. Let z(s) = -26*s**2 - 4*s + 7. Let l(j) = p*z(j) - 5*w(j). Is l(1) a multiple of 7?
True
Let t = -140 + 144. Does 3 divide t?
False
Let k = -71 - -117. Does 23 divide k?
True
Let p be 1/4 + (-1)/4. Suppose -t - 4*t - 5 = p. Is 16 a factor of t - (0 - -1) - -18?
True
Is (16/(-32))/(574/576 - 1) a multiple of 20?
False
Suppose -s = -3*s + 10. Let k(l) = 3*l**2 - 7*l - 6. Is 5 a factor of k(s)?
False
Suppose -x + 1 = 37. Let i = 6 - x. Is i a multiple of 15?
False
Let i(s) = -s**2 + 18. Let r(z) = z**2 - 3*z - 5. Let c be r(4). Let b = c + 1. Does 9 divide i(b)?
True
Let m = 72 - 45. Is (-2 - -5) + m/3 a multiple of 3?
True
Suppose 4*w = -5 + 65. Suppose -w = 3*u - 6*u. Suppose 2*t = 5*d - 59, -t + 4*t - u = -d. Is d a multiple of 11?
True
Let f be 1 - 3*(-3)/(-9). Let n = 1 - f. Is 14 + (0 - n)/(-1) a multiple of 6?
False
Let g(p) = p**3 - 7*p**2 + p + 1. Let s be g(7). Suppose -3*n = n + s. Does 9 divide (-2 - -8 - n) + 1?
True
Let l(v) be the second derivative of 61*v**4/12 - v**2/2 - v. Is 20 a factor of l(-1)?
True
Let w(t) = -t - 13. Let c be w(-13). Let i = c + 4. Does 2 divide i?
True
Let s = 14 - 14. Suppose -4*o + s = -124. Is o a multiple of 10?
False
Let z(c) = -c**3 + 10*c**2 - 7*c + 8. Does 22 divide z(8)?
False
Let x = 21 - 15. Suppose -2*b + 10 + x = 0. Does 18 divide b/(-6)*(-66)/4?
False
Suppose 2*f + 2*f - 16 = 0. Suppose 5*y - i - 30 = 124, 119 = f*y - 5*i. Let c = y + -11. Is c a multiple of 7?
False
Let k be 2/(-3)*45/(-6). Suppose k + 1 = 2*q. Is q even?
False
Suppose 2*m + 86 = 4*a, -45 = -2*a + 3*m + 8. Let j = 51 - a. Is j a multiple of 16?
True
Suppose -58 = -4*u + 46. Suppose -d - d = -u. Is d a multiple of 9?
False
Let v(b) = -7*b + 3. Does 12 divide v(-3)?
True
Let f(x) = -x + 16. Does 16 divide f(-5)?
False
Suppose -4*x + h - 34 = -1, 4*x + h + 23 = 0. Let j(t) = -5*t**2 - t - 3. Let l(v) = v**2 + v + 1. Let f(n) = j(n) + 6*l(n). Is f(x) a multiple of 17?
True
Let a(i) be the first derivative of -i**2 - 4*i + 3. Does 9 divide a(-9)?
False
Let t(m) = m - 3. Let j be t(6). Suppose 4*q - 42 = j*q. Is 11 a factor of q?
False
Let l = 22 + 68. Is l a multiple of 30?
True
Suppose -4*y + 74 = 2*u, 43 = 2*y + 4*u - 9. Is 8 a factor of y?
True
Let d(o) = 18*o**2 - o - 1. Suppose 2*g + 4 = 4*f, -f = 1 - 0. Let h be 1/g - 9/12. Is 10 a factor of d(h)?
False
Suppose -10 = -5*n + 5. Let k(m) = -7 + n*m + 0*m - m. Is 3 a factor of k(9)?
False
Suppose -5*l = -3*k - 163, -2*k - 66 = -2*l - k. Is l a multiple of 7?
True
Suppose 345 = 7*k - 173. Does 16 divide k?
False
Let t(o) = -o**3 + 6*o**2 + 4. Let d(c) = c + 10. Let q be d(-7). Suppose 3*w - q*s - 2*s = 12, 3*w + 5*s - 12 = 0. Is 11 a factor of t(w)?
False
Let j be (-3)/(-4) - 9/12. Is 20 a factor of j - -3 - 2 - -19?
True
Let o = 3 + -2. Let v be o/3 - (-70)/6. Is (8/v)/((-2)/(-57)) a multiple of 13?
False
Let u(n) = 2*n**2 - 11*n + 36. Is u(5) a multiple of 31?
True
Let m = -200 - -98. Is 20 a factor of (-12)/30 + m/(-5)?
True
Let m be 17/((-3)/(0 + -3)). Let b = 3 + 21. Let z = b - m. Does 3 divide z?
False
Let k(w) = w**3 - 5*w**2 - 2*w - 10. Is k(6) a multiple of 14?
True
Let s be ((-56)/6)/(10/(-15)). Suppose 2*q - 10 = 0, o