 - 13*q, -2*d - 4*q + 52 = 0. Is d even?
True
Suppose -p - 21 = -0. Let q be -7*(24/p + 2). Does 7 divide (-1)/q*2*21?
True
Suppose -36*a = -41*a - 25. Does 26 divide (2/(-2))/2*46*a?
False
Let c(x) = x**3 + 9*x**2 + 6*x + 8. Let s be 3 + 1 - (-10 - -6). Suppose 2*w - 2*d + 12 = 0, w + 3*d - 2 = -s. Does 24 divide c(w)?
False
Does 52 divide 57*((-11)/44)/(3/(-228))?
False
Let u = 248 + 504. Is u a multiple of 16?
True
Suppose 5*x - 5*f - 110 = -0*f, 5*x - f = 118. Suppose -x*p = -20*p - 320. Is p a multiple of 20?
True
Suppose -3*g + 38 + 70 = 0. Suppose k - 249 = g. Suppose -m = 4*m - k. Is m a multiple of 9?
False
Let n = 18 + -16. Let l be (-1)/(n*(-2)/8). Suppose 14 = 3*f + l. Is 4 a factor of f?
True
Suppose -w - 3*w + 4*n + 32 = 0, w + 10 = -5*n. Let u(h) = -2*h + 5 - 51*h**3 + 6*h + 52*h**3 + w*h**2. Does 2 divide u(-4)?
False
Let g(f) = -263*f + 52. Does 11 divide g(-1)?
False
Let k(i) be the first derivative of -i**5/20 - 2*i**4/3 - i**3/2 + 3*i**2/2 - 5*i + 5. Let d(j) be the first derivative of k(j). Is 24 a factor of d(-8)?
False
Let s be 14*1 + -1 + -1. Let t(g) = -3*g + 50. Let c be t(16). Suppose s = l - c. Does 4 divide l?
False
Let i = 263 + -166. Let f = i - -3. Does 34 divide f?
False
Suppose 36*h = 6 - 78. Let r(u) = -8*u**2 + 8*u + 13. Let g(b) = 2*b**2 - 2*b - 3. Let j(l) = 9*g(l) + 2*r(l). Is j(h) a multiple of 11?
True
Suppose 0 = 2*j - 0 - 8. Suppose 98 = j*q + 26. Is 4 a factor of q?
False
Let i = -536 - -1656. Does 14 divide i?
True
Suppose 8*o + 108 = 6*o. Does 13 divide (-18)/o + 232/6?
True
Let d = 10 - 17. Let m = 6 + d. Let a = m + 23. Is a a multiple of 17?
False
Let c be (-3)/(9/(-2)*(-1)/(-3)). Suppose -c*m = -4*m - 2*d + 186, -5*m - 2*d + 471 = 0. Does 5 divide m?
True
Let m = -271 - -308. Let t(d) = -3*d**2 - 4*d - 2. Let u be t(-3). Let h = m + u. Does 17 divide h?
False
Let l(b) = -23*b**2 - b - 1. Let n be l(-1). Let h = n + 37. Let v = 21 - h. Is 2 a factor of v?
False
Suppose -17 = 2*p + 5*c - 0*c, -2*c = 5*p - 10. Suppose -9 = 2*f + f, 3*r = 5*f + 24. Suppose p*q - 2 = r*q. Is 2 a factor of q?
True
Is 55 a factor of (-231)/(-2)*(9 - (-657)/27)?
True
Suppose d = 5*d + 12. Let s be 4 + -1 + d + 4. Let m = 16 - s. Is m a multiple of 4?
True
Let i(u) = -u**3 - 12*u**2 - 63*u - 8. Is 79 a factor of i(-9)?
True
Let j = -1554 + 3121. Is 14 a factor of j?
False
Let j(g) = g**2 - 26*g + 91. Does 26 divide j(26)?
False
Let j = -152 + 146. Let k(i) = -i**3 - 4*i**2 - i - 12. Does 11 divide k(j)?
True
Let v be 260/6*78/(-65). Let k = 31 - v. Suppose -c + 5*u - k = -4*c, -u = -3*c + 113. Is 12 a factor of c?
True
Let t be (-2 + 3)/1 - -1. Let f be (12/(-9))/(t/(-3)). Suppose f*o = h + 10 + 8, o - 9 = -2*h. Is o a multiple of 9?
True
Suppose 0*i + 7920 = 10*i. Does 12 divide i?
True
Let w(v) = -45*v**3 - 33*v**2 + 13*v + 7. Is w(-5) a multiple of 13?
False
Let n = 146 - 261. Let w = n - -197. Is w a multiple of 13?
False
Let k = 202 - 142. Suppose 3*s - k = 24. Let h = 67 - s. Is h a multiple of 13?
True
Let g(i) = 133*i**2 + 10*i + 4. Does 4 divide g(2)?
True
Let x(z) = 113*z**2 - 5*z - 4. Is x(-1) a multiple of 6?
True
Is 2/((-7)/(40124/(-8))) a multiple of 11?
False
Is 4 a factor of ((-168)/70)/(12/(-940))?
True
Let f = 1186 + -18. Does 8 divide f?
True
Let r be ((-12)/6 - 1) + 3*9. Suppose r*b + 136 = 25*b. Does 17 divide b?
True
Suppose 3*q - q - 4 = 0. Suppose 8 = 4*n, -211 = -q*h + 3*n - 7. Suppose -3*u + h = -15. Does 15 divide u?
False
Suppose 36 = 21*j - 17*j. Let k = j - 5. Suppose 43 = k*z - 141. Does 12 divide z?
False
Let z be (-46)/4 - 31/62. Let j(y) = 9 + 3 - 2*y + 3. Does 13 divide j(z)?
True
Suppose -v + 0*v + 2 = 0. Let t = -33 - -66. Suppose t = -v*j + 5*j. Is 11 a factor of j?
True
Suppose 0 = -p + 57 + 73. Is 10 a factor of p?
True
Let n = -27 + 47. Suppose -16*o - 140 = -n*o. Is 35 a factor of o?
True
Let w be 6/(-21) - ((-144)/14 + 2). Suppose -g + w*g = 378. Does 21 divide g?
False
Let z(b) = -b**2 + b. Let d(a) = -2*a**2 - 4*a + 9. Let q(u) = d(u) - 4*z(u). Does 33 divide q(6)?
True
Let i = 1881 - 910. Is i a multiple of 16?
False
Let i be ((-5)/(-3))/(16/12 + -1). Suppose 10 = 2*h - 0*h, i*h = 2*s - 99. Does 31 divide s?
True
Let l(n) = -n**2 + 3*n + 13. Let i be l(5). Suppose -i*a - y + 378 = 2*a, -2*a + 4*y = -160. Is 19 a factor of a?
True
Suppose 0 = -7*o + 2*o + 20. Suppose -3*u + 4 = 4*s, -o*s + 3 + 1 = -3*u. Suppose 2*k = 5*x + 18, u = -5*k - 5*x + 49 + 66. Does 4 divide k?
False
Suppose 2*o = 109 + 563. Does 6 divide o?
True
Suppose 456*u - 466*u + 5370 = 0. Is u a multiple of 18?
False
Suppose -w + 5*b + 8 = 0, -4*b - 40 = -10*w + 5*w. Suppose 5*h = w*h - 258. Is h a multiple of 16?
False
Suppose 3*k + 94 = 4*o, -3*o + 120 = -4*k + o. Let i = -26 - k. Suppose 312 = 3*w - i*w - 3*t, 88 = w - 5*t. Does 18 divide w?
True
Does 25 divide (5*1)/((-130)/(-39650))?
True
Let g = 66 - 64. Suppose g*d - 378 = -5*d. Does 25 divide d?
False
Suppose -2*d - o + 6 = 0, 7*d - 5*o = 2*d + 45. Let s be ((-5)/(d/(-2)))/(-2). Let z(k) = -29*k**3 + k**2. Is 10 a factor of z(s)?
True
Let c = 251 - 83. Suppose 0 = -l - l + c. Does 12 divide ((-36)/7)/((-9)/l)?
True
Let i(o) be the second derivative of o**4/12 - 5*o**3/3 + 9*o**2 + 20*o. Is 18 a factor of i(10)?
True
Let t(q) = q**3 + 5*q**2 + 7. Let n be t(-5). Let j be (-6)/15 + 21/15. Does 16 divide j*73*(n - 6)?
False
Let a(b) be the second derivative of b**3/2 + 7*b**2/2 - 9*b. Is a(16) a multiple of 11?
True
Suppose v = -4, -14*x + 15*x - 164 = -v. Does 14 divide x?
True
Let v(n) = n**2 + 10*n + 20. Let f be v(-8). Suppose f*k - 118 = 90. Is k a multiple of 26?
True
Let o(y) = -4*y + 4. Let j be o(-14). Is 14032/j - 8/(-60) a multiple of 26?
True
Suppose -4*w + 77 = d, d - 7 = -w + 10. Suppose -c - w + 88 = 0. Is c a multiple of 31?
False
Let q be 45/2 - 13/(-26). Let l be 4 + -1*(3 - 1). Suppose o = l*a + q, 4*o + 3*a - 67 = 6*a. Is 13 a factor of o?
True
Let t(s) = -3 + s - 1 + 5. Let r(o) = 20*o + 14. Let m(j) = 2*r(j) - 36*t(j). Is 5 a factor of m(7)?
True
Let j(s) = -s**3 - 3*s + 67. Is j(0) a multiple of 13?
False
Let l(w) = -2*w**3 - 1. Let z be l(-1). Let f be ((-36)/20 + z)*5. Is f/(-6) + 356/6 a multiple of 15?
True
Let w(k) = 45*k**2 - 9*k - 8. Let o(q) = 45*q**2 - 8*q - 7. Let m(h) = 4*o(h) - 3*w(h). Is m(-1) a multiple of 9?
False
Let j(k) = k**3 + 7*k**2 - 6*k + 1. Let g(s) = s**2 + 8*s + 6. Let i be g(-6). Let a(f) = f**3 + 6*f**2 + 2*f + 6. Let h be a(i). Does 20 divide j(h)?
False
Does 10 divide (-2 - -3*4008/18) + 4?
True
Is (-185548)/(-154) - (40/14 - 2) a multiple of 28?
True
Let u(q) = q**2 + q - 12. Suppose 33*j - 32*j = 8. Is 20 a factor of u(j)?
True
Suppose v - 3*i = 294, -5*v + 5*i - 6*i = -1534. Suppose -3*n + 3*o - o + 286 = 0, -3*o = 3*n - v. Does 10 divide n?
False
Does 43 divide (-4 - 8)/(2 - (-520)/(-258))?
True
Let f = -35 - -39. Suppose -3*u - 15 = -4*u - 4*y, -4*u + 100 = -f*y. Does 20 divide u?
False
Is 42/4*((-112)/24 - -6) a multiple of 14?
True
Let c be 3/(-6)*-5*(2 + 32). Let v = -14 + c. Does 12 divide v?
False
Suppose 0 = 5*x + 5*c + 30, 4*c - 5*c - 1 = 0. Let l(h) = 2*h**2 - 3*h - 1. Let v be l(3). Let k = v + x. Does 3 divide k?
True
Let k = 94 - -311. Is 42 a factor of k?
False
Let t = 1107 + -687. Is 20 a factor of t?
True
Let d(m) be the second derivative of 5*m**3/2 - m**2 + 2*m. Let h be d(10). Suppose -4*f + 45 = p - 0*f, 3*p - f - h = 0. Is p a multiple of 10?
False
Suppose 21385 + 9674 = 51*d. Is d a multiple of 16?
False
Is 22 a factor of 4*(1*-32)/(-1)?
False
Suppose 132 = j + 3*j. Let y(w) = -j*w - 10*w**2 + 46*w + 3*w**3 - 2*w**3 - 12. Is y(9) a multiple of 8?
True
Suppose -4*s = -y + 21, -5*y + 3*s = 6*s - 59. Let g = 18 + -6. Does 26 divide (-85 - y)*g/(-14)?
False
Does 36 divide 361 - 0 - (19 - 18)?
True
Suppose 3*j + j = 24. Suppose j*p - 10*p + 40 = 0. Does 6 divide p?
False
Let g be 26/(-2) + (1 - -3). Let o(s) = -s**3 - 7*s**2 + 13*s + 3. Let w be o(g). Suppose w = 5*j - 62. Is j a multiple of 6?
False
Suppose 7129 + 8527 = 19*h. Is h a multiple of 16?
False
Let m be (-3)/12 - 34/(-8). Suppose -m*d - 94 = -314. Suppose -7*c + 2*c = -d. Is 10 a factor of c?
False
Let m(f) = 2*f**3 - 8*f**2 + 13*f - 1. Let v = 96 + -91. Is m(v) a multiple of 19?
True
Suppose -9 = -0*z - 3*z. Suppose