Let h = d - a. Is h a multiple of 17?
False
Let s(d) = 0 - 2*d + 3*d - 2. Suppose z = -0 + 4. Is s(z) even?
True
Let c be (-2 - (-6)/2)*5. Suppose -c*z - 5*d = -5, 6*d = -z + 3*d - 1. Suppose -15 = -z*k + 29. Is 16 a factor of k?
False
Let h = 2 - 1. Let a be ((-52)/12)/(h/3). Let o = a - -31. Is o a multiple of 9?
True
Let z(n) = n**2 + 8*n + 12. Let g be z(-8). Let y = 58 - g. Is 23 a factor of y?
True
Suppose -3*g - 3*w + 51 = 0, -3*w + 8*w + 50 = 4*g. Let n be g/(-20) - 78/(-8). Suppose -f - n = -2*f. Is 4 a factor of f?
False
Suppose 325 = 7*j - 3*j + v, 3*v + 385 = 5*j. Suppose -2*w + 4*w = j. Is 20 a factor of w?
True
Let l be 2190/(-21) - 4/(-14). Is 13 a factor of (l/10)/((-16)/40)?
True
Is (-6)/(-14) - 1461/(-21) a multiple of 14?
True
Let p = -12 - -25. Is 3 a factor of p?
False
Suppose -2*h - 24 = -4. Is (-62)/h + (-2)/10 even?
True
Suppose 0 = -5*q + 4*d + 165, 126 = 4*q - 5*d + 3*d. Let k = q - 14. Is 15 a factor of k?
True
Suppose 0*i + 15 = -3*i. Let y(w) = w**2 - 5*w - 3. Let g be y(i). Suppose -53 = -5*s + g. Does 10 divide s?
True
Suppose -4*v - 32 = -4*t, -2*t + v = -13 - 0. Suppose -5*r + 3*n - 24 = 0, -2*r - 2 = t*n + 20. Let p(x) = -x**3 - 6*x**2 - 5*x + 2. Is p(r) a multiple of 19?
False
Let w = 119 + -64. Does 11 divide w?
True
Let g = -21 + 30. Is g a multiple of 3?
True
Does 27 divide 123/4*112/42?
False
Let z be 2 + (0 - 3/(-3)). Let x be -1 + 1 - 9/z. Does 6 divide ((-12)/x + 2)*1?
True
Let n(q) = -2*q + 1. Suppose 0 = 3*x - 2*z - 11, 5 = 3*x + z - 3. Let i be n(x). Let s = i - -8. Is s even?
False
Does 22 divide (-28)/(-48)*21*4?
False
Let r(k) be the second derivative of k**7/420 + k**5/60 - k**4/6 - 2*k. Let m(n) be the third derivative of r(n). Is 13 a factor of m(2)?
True
Let q(b) = b**3 - b**2 - 8*b + 8. Is q(6) a multiple of 19?
False
Suppose -4*i + i = -705. Suppose -4*a + 0*d - 3*d = -243, -i = -4*a + 5*d. Is 20 a factor of a?
True
Let r be 9/((-9)/(-3))*1. Suppose j = 4*b + 9, -3*b - r*j = b - 11. Does 11 divide ((-11)/(-2))/(b/(-6))?
True
Is (-6)/4 - 125/(-2) a multiple of 15?
False
Let t(w) = -w**3 + 3*w**2 - 3*w + 4. Let o be t(3). Let p be (-2)/(3 + o) - -4. Suppose p*i - 3*i = 24. Does 8 divide i?
False
Let g(k) = -12*k**3 + 3*k + 2. Suppose -5*b + 5*n = -2*b - 4, -4*b = 5*n + 18. Is 31 a factor of g(b)?
False
Suppose x + 33 = -2*x. Let h = 17 - x. Is h a multiple of 14?
True
Suppose -3*j = 0, 4*j - 170 = -3*q - 2*q. Let c be (-3)/(-1)*(-2)/(-6). Is q/(c/(-2)*-2) a multiple of 17?
True
Let t = 71 - 43. Is t a multiple of 7?
True
Let w(i) = i**2 - 7. Is 2 a factor of w(-6)?
False
Suppose -5*x = -251 + 71. Suppose 2*k - x = -0. Is 18 a factor of k?
True
Let i = -3 - -6. Let b(f) = 3*f**3 + 2*f**2 + 3*f. Let x be b(i). Suppose 4*u = 3*o - x, 0 = 5*o - 0*o + 5*u - 215. Does 20 divide o?
True
Suppose 2*p + l - 134 = -2*l, 2*p - 2*l = 124. Does 16 divide p?
True
Let v be (-1 + (-26)/(-8))*-4. Suppose 4*o + x = 114 - 1, 3*x = -9. Let q = v + o. Is q a multiple of 10?
True
Let t(o) = -2*o - 17. Let k be (10/4)/((-2)/12). Is 5 a factor of t(k)?
False
Let z(m) = 8*m**2 + m + 1. Let p be z(-1). Suppose -2*y + 32 = p. Let c = y + 0. Is c a multiple of 12?
True
Suppose -6*d + 267 + 45 = 0. Is d a multiple of 13?
True
Let y(d) = d + 9. Let g be y(-9). Suppose -u - 2*u + 57 = g. Suppose -2*j - 11 = -m - j, u = 2*m - j. Is m a multiple of 4?
True
Let z be (-112)/(-52) - (-2)/(-13). Suppose 5*r = -4 - 1, 5*r = -z*m + 49. Does 7 divide m?
False
Is 3 a factor of 0 + (-57 + 2)/(-5)?
False
Let w = -31 - -126. Let b = w - 47. Is b a multiple of 24?
True
Let r(w) = -w**2 + 5*w - 2. Suppose 2*d = -3*y + 17, -4 = 3*d - y - 13. Let g be r(d). Suppose 3*z - 4*j + 12 = 96, 0 = g*z + 3*j - 56. Does 14 divide z?
True
Let s(u) = -u**2 + 6*u + 7. Suppose 2*d + 2*g - 28 = -4, 25 = 5*g. Suppose 3*h = -j + 13 + d, 5*j = 5*h. Does 9 divide s(j)?
False
Let r(v) = -26*v**3 + 3*v**2 + 5*v + 5. Is 43 a factor of r(-2)?
True
Suppose -f - j = -17, -8*f + j = -3*f - 115. Suppose -f + 58 = -2*w. Let a = w + 35. Does 13 divide a?
False
Let u = -4 + 9. Suppose -u*z + 10*z = 165. Does 5 divide z?
False
Let f = -14 - -18. Does 13 divide (-1)/((f/(-188))/1)?
False
Let o be ((-20)/45)/(2/(-9)). Suppose 0*v + 26 = o*v. Is 13 a factor of v?
True
Let h be (12/(-10))/(4/(-10)). Suppose -2*v + 6*v = 3*t + 24, v - h*t - 15 = 0. Suppose v*y = y + 4. Does 2 divide y?
True
Let v(h) = h**2 - h. Let r be v(-1). Suppose -c = 3*k - 7*k + 11, 4*k = 3*c + 17. Is 3 - (r/k + -22) a multiple of 24?
True
Let m be 6/((-4)/(-2))*3. Suppose -1 = -5*g + m. Suppose -k + 39 = 3*b, -g*b = -2*k + k + 14. Is 13 a factor of k?
False
Let g(o) = 6*o**2 - o - 3. Is g(-3) a multiple of 27?
True
Let z = 13 + -5. Is z a multiple of 8?
True
Suppose 5*x - 2*x = 252. Is 12 a factor of x?
True
Suppose -2*c = 2, -k + 2*k - c - 23 = 0. Suppose -k = 2*w - 68. Does 18 divide w?
False
Let l be (-2)/12 + 101/(-6). Let o = l - -53. Does 15 divide o?
False
Let j(t) = t**2 - t + 2. Let q be j(3). Suppose q*k = 3*k + 40. Let l = k + 4. Is 6 a factor of l?
True
Suppose 0 = 2*a - 7 - 1. Suppose -p = -a*t, 5*p + 2 = -3*t + 25. Suppose p*v = 3*v + 9. Does 4 divide v?
False
Let o be (2/3)/(1/6). Suppose -a + 50 = o*a. Is 10 a factor of a?
True
Let g = -90 - -127. Is g a multiple of 11?
False
Suppose 142 = d - 72. Is d a multiple of 43?
False
Let i(l) = 12*l**2 - 25*l + 2. Let t(r) = 8*r**2 - 17*r + 1. Let p(k) = 5*i(k) - 7*t(k). Let a(g) = -g**2 + 7*g + 4. Let u be a(7). Is p(u) a multiple of 16?
False
Suppose -3*m = -0*q + q - 100, 0 = -m + q + 28. Is 4 a factor of m?
True
Let p be 1*-3 + -66 + 3. Does 11 divide p/(-4)*(-2 + 4)?
True
Suppose 60 = 5*i + 4*w, -4*i = i - 5*w - 15. Let y = 15 - i. Suppose l - y = 1. Is 4 a factor of l?
True
Let h be ((-1)/(-3))/(5/(-15)). Let q = h - 2. Does 16 divide 0 + 0/q + 32?
True
Let l(q) = q**3 + 6*q**2. Let z be l(-6). Suppose t - 5 - 31 = z. Does 12 divide t?
True
Let q(k) = 2 + k**2 - k - 9 - 3*k - 3. Is q(-5) a multiple of 10?
False
Let b(k) = -k**3 + 3*k**2 + 3*k - 4. Let g be b(3). Suppose -g*u + 0*u = -90. Is 9 a factor of u?
True
Suppose f = -3*f + 20. Suppose -f*y - 10 = -95. Let c = -12 + y. Is 5 a factor of c?
True
Let n = 8 + -12. Let x(j) = j**3 + 2*j**2 + 4*j - 5. Let y(i) = i**3 + i**2 + 5*i - 5. Let v(l) = n*x(l) + 3*y(l). Is v(-5) a multiple of 5?
True
Let c = 2 + 2. Suppose 4*f + 4*h = 276, c*f - 23 = -2*h + 243. Suppose -s = 3*s - f. Does 8 divide s?
True
Suppose -4*h + 36 = -4*q - 4, -25 = -4*h + q. Does 9 divide (-27)/(-45) - (-42)/h?
True
Suppose -4*x - 208 = -3*v, 0 = -x - 0*v + 2*v - 57. Let d = 0 + x. Let w = d + 72. Is 16 a factor of w?
False
Let j = -16 - -65. Is 13 a factor of j?
False
Suppose -3*y = -0*y. Suppose r - 2 - 27 = y. Is 9 a factor of r?
False
Suppose 2*n + 2*n - 16 = 0. Is (-1)/(n/(-8)) + 4 a multiple of 6?
True
Suppose -343 = -5*u + 4*m - 3*m, 4*m - 215 = -3*u. Is u a multiple of 41?
False
Suppose -2*n = -5*h + 200, -138 = -5*h - 5*n + 62. Does 12 divide h?
False
Suppose 2*m = -2*g + 138, -2*m - 33 = -g - 186. Suppose 0 = -4*c + 2*c + m. Is c a multiple of 10?
False
Let b be (-4)/10 + 336/(-10). Let w = b - -6. Let y = w - -52. Is y a multiple of 9?
False
Let y(v) = 10*v - 3. Let c = 18 + -12. Let b be (-30)/(-18) + 2/c. Does 10 divide y(b)?
False
Suppose -3*z = -3*p - 3, -p = -3*p - z + 1. Suppose -3*y + 10 = -y. Suppose 5*v - 90 = y*b, p = -0*v + 3*v + b - 54. Is v a multiple of 10?
False
Suppose 3*c - 1 + 9 = m, 3*c - 43 = -2*m. Is m a multiple of 10?
False
Let v(x) = 3*x**2 + x + 25. Is 19 a factor of v(6)?
False
Let x = -17 + 117. Is 20 a factor of x?
True
Suppose -5*i = -i. Suppose -2*f = -2*n + 70, 0*n + 3*n - 4*f - 107 = i. Is n a multiple of 12?
False
Let r = -219 + 318. Is 16 a factor of r?
False
Let m(d) be the second derivative of 29*d**4/12 - d**3/3 - d**2/2 + d. Suppose 5*l = 2*l - 3. Is m(l) a multiple of 15?
True
Suppose 2*a + 4*x + 2 = 0, 6 = 3*a + 4*x + 1. Let b = 25 + a. Is 8 a factor of b?
True
Suppose 8*a = 2*c + 4*a + 8, 5*a = -4*c + 36. Let b(t) = t + 8. Let i be b(-4). Suppose -56 = -c*j + i. Does 14 divide j?
False
Suppose 0 = 5*l - 71 + 11. Is 9 a factor of (-2)/l*-2*39?
False
Let k(m) = -m**3 - 9*m**2 + 19*m - 14. Is k(-11) a multiple of 19?
True
Suppose 5*d - 2*c - 38 = 0, -4*c + 13 = 2*d -