multiple of 25?
False
Suppose -4*h - 4*d = -3*h - 1056, 2*d = 8. Is h a multiple of 26?
True
Does 3 divide (-4)/18 + 14899/423?
False
Suppose -25 = 2*j - 5*z, 5*j = -5*z + 4 + 21. Suppose j*u - 3*k + 14 = u, -2 = -5*u + 2*k. Suppose u*y + 30 = 3*y. Is 15 a factor of y?
True
Let k = -413 + 504. Is k a multiple of 18?
False
Let a be -7 - (0 + 2 + -1). Let u be -2 - -7 - (-15 - -5). Let f = u + a. Is 7 a factor of f?
True
Suppose 41 = 5*z - 4. Suppose z*q - 4*q = 110. Is 9 a factor of q?
False
Is (-20064)/(-144)*6/4 a multiple of 18?
False
Suppose -2263 - 687 = -5*a. Is 59 a factor of a?
True
Suppose -4*t + a + 1694 = -2*t, 2*t + a - 1686 = 0. Is 68 a factor of t?
False
Let g = 1478 + 1190. Is g a multiple of 10?
False
Let x(r) = -7*r**3 + 3*r - 2. Let d(y) = -y**3 + 9*y**2 + 13*y - 32. Let n be d(10). Is x(n) a multiple of 4?
True
Suppose m - 8*w + 12*w = 1325, -5*m = -3*w - 6579. Does 41 divide m?
False
Let f(g) = 5*g + 54. Is 5 a factor of f(-3)?
False
Let p = 251 - 172. Suppose 58 + 138 = -4*r. Let u = r + p. Does 10 divide u?
True
Let g = 15 - 6. Let n(q) = -2*q + 11. Let u be n(-8). Let w = g + u. Does 9 divide w?
True
Let t be 334/4*(-5 + 7). Suppose 4*r - t = -95. Is r a multiple of 9?
True
Let v = 142 + 210. Is v a multiple of 8?
True
Let w(v) = v**3 - 19*v**2 + 40*v - 32. Is w(17) a multiple of 70?
True
Let l = -9 - -11. Let b(u) = -u**2 + u + 2. Let v be b(l). Suppose 5*z = -5*y, 3*y - 6 = -5*z - v*y. Is 2 a factor of z?
False
Let v(s) = -6*s - s**2 + 14*s + 11*s + 18. Is v(14) a multiple of 21?
False
Does 21 divide (7*6)/(((-400)/(-312))/25)?
True
Suppose 14 - 52 = r + 3*m, 3*r - 4*m = -75. Suppose -6*t + 3 = -3*t. Let y = t - r. Is 30 a factor of y?
True
Let m(o) = o - 2. Let f be m(5). Suppose -5*t - 3*z = -11, 2*z = 4*t + f*z - 13. Suppose -t*j = 0, j - 380 = -5*q - 0*j. Is 18 a factor of q?
False
Suppose -11*j - 42 = -17*j. Suppose -y - 2*k + 184 = -j*k, y - k = 164. Is 53 a factor of y?
True
Let q(k) = -k + 7. Suppose -2*h = -b + 5, 5*h + 6 = 2*b - 1. Let m be q(b). Is (-22)/m - 1/2 a multiple of 5?
True
Suppose 11923 = 43*q - 13232. Is 39 a factor of q?
True
Let q(o) = -o**2 - 11*o - 6. Let m be q(-9). Suppose m*l = 10*l + 120. Does 6 divide l?
True
Let v(l) = l**3 + 6*l**2 + 5*l + 8. Suppose 0 = 2*h + 7*h + 45. Let y be v(h). Suppose 3*b = y*b + 2*w - 101, -2*b - 2*w + 38 = 0. Is 7 a factor of b?
True
Let b(s) = -12*s - 45. Let m be b(-5). Let a = -42 + 30. Let k = m + a. Does 2 divide k?
False
Let h = 51 - 18. Let c = h + -24. Is c a multiple of 5?
False
Let x(v) = 35 - 3*v - 39 - 8*v**2 - 5*v - 2*v**3. Is 9 a factor of x(-5)?
False
Let c be (2/4)/(17/(-816)). Let a = -26 - c. Is 34 a factor of a*(-38 - -4)*1?
True
Let x(n) = 2 - n**3 - n + n**3 - n**2 - n**3 + 1. Let o be x(0). Does 14 divide 88/2 + -2 - o?
False
Suppose 0*c - 5*c = -160. Suppose -3*d - d + 3*s = -36, -3*s - 48 = -5*d. Let w = d + c. Does 6 divide w?
False
Let u(y) = y + 3 - 12 + y**2 - 16 - 5*y. Is u(-10) a multiple of 23?
True
Suppose 3*q - 18 = -21. Is 17 a factor of 10/20 - q*(-118)/(-4)?
False
Let b(k) = 3*k**2 + k - 8. Let x be b(-4). Let y(i) = -2*i - 7. Let n be y(-5). Let t = x + n. Is t a multiple of 13?
True
Let f be (-900)/(-24)*4/6. Is f/(-10)*(-1 - 25) a multiple of 13?
True
Let o(m) be the third derivative of -m**5/60 + m**4/12 + 4*m**3/3 - 6*m**2. Let r be o(4). Suppose r = -5*b + 98 + 147. Is b a multiple of 8?
False
Suppose -4*w + 4*o + 372 = 0, -2*o - 1 = 5. Let h = 188 - w. Is 6 a factor of h?
False
Let r be (-290)/9 - 2/(-9). Suppose 3 = -2*w - 21. Is 63/w*r/12 a multiple of 7?
True
Let w(t) = t**2 + 20*t - 37. Is 2 a factor of w(-26)?
False
Let r(t) = -t**2 - 9*t - 18. Let l be r(-8). Let x = -1 - l. Is x a multiple of 9?
True
Let j(k) = -4 - 12*k + 15*k - 6*k. Is j(-11) even?
False
Suppose 73*c + 2541 = 74*c. Is c a multiple of 77?
True
Let k(v) = v - 1 + 4 + 3. Let c be k(-2). Suppose -118 = -3*n - c*p, n - 3*n + 2*p = -88. Is n a multiple of 7?
True
Let u(j) = 69*j + 84. Does 27 divide u(25)?
True
Let k = -1459 + 2939. Suppose -k = 2*z - 12*z. Is 37 a factor of z?
True
Suppose 25*l + 195 = b + 28*l, -5*l + 393 = 2*b. Is b even?
True
Suppose -4*n + 5*u - 4 = 4, 0 = -2*n - 3*u + 18. Suppose -n*d + 152 = 5*d. Is d a multiple of 5?
False
Let z(n) = n - 8. Suppose 10*y - 24 = 7*y. Let f be z(y). Let b(u) = u**3 - u + 85. Does 21 divide b(f)?
False
Let c(r) = -r**3 - 8*r**2 - 4*r + 6. Let x be c(-6). Let j = x - -117. Is 8 a factor of (j/3 - 1) + 0?
True
Let p = 1043 + -409. Suppose 1 = -y, -5*z + 4*y - 230 = -p. Does 10 divide z?
True
Let d(b) = -13*b + 9. Let m be d(-4). Let i = 107 - m. Is i a multiple of 10?
False
Let c(r) be the second derivative of 0 + 4*r + 13/2*r**2 + 1/6*r**3. Is c(-5) a multiple of 5?
False
Let w = 2098 - 1545. Does 14 divide w?
False
Suppose 4*y + y = 0. Suppose 3*j = -g - y*g + 77, -76 = -4*j + 4*g. Is j a multiple of 4?
True
Suppose 0 = -3*z + o + 11 + 6, 0 = 5*z + 4*o - 17. Suppose 0 = -0*g + z*g - 80. Does 7 divide g?
False
Let u be 12/(-20) - 46/(-10). Suppose 2*n + 87 = 3*n - u*o, 0 = -3*n - 2*o + 247. Does 41 divide n?
False
Let q(l) = 8*l**2 - 14*l + 47. Is 6 a factor of q(6)?
False
Let p = -11 + 15. Is 59 a factor of (-165)/(-10)*11 + 2/p?
False
Let y(x) = -x**3 + 11*x**2 + 6*x + 7. Suppose -q + 2*q - 2*n = 21, 4*n = -20. Let p be y(q). Suppose 0 = 2*k - 6, -o - 5*k = o - p. Is o a multiple of 7?
False
Suppose 2*l = 2*u - 3*l + 2, -5*u = 2*l - 24. Let y = 204 - u. Is y a multiple of 20?
True
Let a(c) = 470*c - 76. Is 108 a factor of a(2)?
True
Suppose -2*i = -0 - 424. Let l = 77 + i. Suppose -5*f = -26 - l. Is f a multiple of 11?
False
Let u = -1 - -3. Let t(r) = r**3 - r - 1. Let c be t(u). Let i = 17 - c. Is i a multiple of 4?
True
Let i(d) be the first derivative of 9*d**2/2 + 10*d + 8. Does 11 divide i(5)?
True
Is 84/(-3)*(-3 - 0)*2 a multiple of 42?
True
Let m be 4 - ((-8)/(-4) + 2). Suppose m = 2*y - 82 - 92. Does 18 divide y?
False
Let s be 3/7*-122 + (-22)/(-77). Let q = 57 + s. Is 2 a factor of q?
False
Let w(u) = u**3 + 16*u**2 + u + 22. Let p be w(-16). Suppose 2*v - a + 116 = p*v, v - a = 29. Is v a multiple of 5?
False
Let c be (-2)/(-8) - 19887/28. Let o = c - -1078. Suppose -6*l - 3*k = -l - o, 3*l - 236 = 2*k. Is l a multiple of 24?
False
Let r = 7938 - 5286. Is 13 a factor of r?
True
Let o(q) = -q**3 + 12*q**2 + 9*q - 12. Let m(y) = -y - 1. Let l(p) = -3*m(p) + o(p). Let f be l(11). Suppose 3*c = -c + f. Is c a multiple of 14?
False
Let v(l) = l**2 - 4*l + 2. Is v(13) a multiple of 78?
False
Suppose 64*m + 3324 = 70*m. Does 31 divide m?
False
Let x = -7 + 12. Suppose -f = -x*t + 16, -4 = 4*t - t - 4*f. Suppose -t*w = -10 - 42. Is 13 a factor of w?
True
Let b(y) = y**3 + 4*y**2 - 2*y - 4. Let v be b(-4). Suppose l + 74 = 4*l + v*s, -s = -2. Let h = l - 18. Is h a multiple of 2?
True
Suppose 7 = -2*k - 2*q + 27, -2*k + 5 = -3*q. Suppose k*t = 12 + 16. Is t a multiple of 4?
True
Let g(q) = -46*q - 247. Is g(-39) a multiple of 11?
False
Let k = 98 - 97. Does 15 divide (265/25 + 2)/(k/5)?
False
Let t = 143 + -93. Let k = t + -130. Is 28 a factor of (-7)/2*k/5?
True
Let i(m) = m**3 + 5*m**2 + m + 7. Let x be i(-5). Suppose -5*t + x*n - 48 = 0, -n + 2*n = -5*t - 36. Is (38/(-4))/(2/t) a multiple of 19?
True
Suppose 2*n = n + 6. Suppose -n*g - 58 = -q - g, 5 = -g. Let p = q - 23. Is p a multiple of 10?
True
Let o = 40 + -30. Does 13 divide -39*o*(-2)/6?
True
Suppose -169 = -6*n + 2093. Is 54 a factor of n?
False
Let b be ((-6)/(-2))/(-3) - -19. Let i be 130/b - 8/36. Is 3 a factor of i - -3 - 0 - 3?
False
Suppose -16*a + 4*a - 24 = 0. Is 21 a factor of 21*(0 - a)*(-18)/(-12)?
True
Let h(n) be the second derivative of -n**4/12 + 7*n**3/2 + 13*n**2/2 - 11*n. Is 13 a factor of h(16)?
False
Let z = 613 + 872. Does 27 divide z?
True
Let v(d) = 4*d**3 + 3*d**2 - d - 1. Let j be v(2). Let p = 86 + j. Is 25 a factor of p?
False
Let r(t) = 3*t**2 + 35*t + 27. Let h(a) = 4*a**2 + 52*a + 41. Let m(i) = 5*h(i) - 7*r(i). Is m(13) a multiple of 26?
False
Suppose 0 = a + 2*q - 5*q + 11, 4*q = 5*a. Suppose 4*l = 4 + a. Suppose -3*x + 124 = 3*p + l*x, -104 = -3*p - x. Does 13 divide p?
False
Let t be -272 - 6/12*0/(-1). Let j = t + 461. Is j a multiple of 21?
True
Suppose -19097 = -67*g + 6698. Is g a multi