3*j + x = -j. Does 8 divide (-2)/(((-5)/(-12))/j)?
True
Suppose u - 2*g + 37 = 304, 3*u - 756 = -3*g. Is 5 a factor of u?
False
Suppose -10*m + 1114 = -7*m + 4*j, -2*j = -3*m + 1126. Is m a multiple of 29?
False
Let m be (-3 - -9)/(-3) - -1062. Suppose -5*q = -q - m. Suppose -2*a - q = -7*a. Does 12 divide a?
False
Suppose 812 = -2*j + 2*x, -3*j + 2*x - x - 1218 = 0. Is 11 a factor of (-8)/(-32) + j/(-8)?
False
Let w(z) = z**3 - 8*z**2 - 5*z - 4. Let h be w(9). Let o = -24 + h. Does 2 divide o?
True
Let y be (-2 + 8 - 4) + 0. Suppose -81 = -y*g + 1. Is g a multiple of 11?
False
Suppose 0 = -43*g + 11856 + 9343. Is 14 a factor of g?
False
Suppose 8*h - 426 = 238. Does 10 divide h?
False
Let q(o) = 5*o + 4. Let w(v) be the second derivative of -5*v**3/6 - 2*v**2 - 4*v. Let a(s) = 3*q(s) + 2*w(s). Is a(4) a multiple of 16?
False
Suppose 5*a = 3 + 7. Suppose -a*u - 17 = -49. Suppose u = -29*i + 31*i. Is i a multiple of 4?
True
Let i(q) = -4*q**2 + 69 + 136 + q**2 + 4*q**2. Does 41 divide i(0)?
True
Suppose -10 - 14 = -4*y. Suppose 106 = y*r - 20. Let k = r - 2. Is k a multiple of 5?
False
Suppose -3*r + 3*t = -429, -3*r - 4*t = -346 - 83. Suppose -2*k + r = 35. Is k a multiple of 18?
True
Suppose -62*h - 93532 + 268930 = 0. Is h a multiple of 14?
False
Suppose 0 = -2*d - 2, i = 4*d + 2 + 2. Suppose i*x + 5*f = 2*x + 5, 0 = 4*x - f + 37. Let k = x + 20. Is 5 a factor of k?
True
Suppose -3*s = -5*m - 3, -3*s + 0 + 3 = -4*m. Is 16 a factor of -4 + m + 6 - -62?
True
Let s be (-6)/9*-9*(0 + 2). Suppose 4*r + s = 176. Is r a multiple of 9?
False
Let i be (-84)/(-5) - 7/(-35). Suppose 20*s - 6 = i*s. Suppose 9 = 3*l, 3*v - 4*v + 40 = -s*l. Is v a multiple of 8?
False
Suppose -84*w = -38515 - 141161. Is w a multiple of 9?
False
Let s(d) = -d**2 + 16*d - 21. Let j be s(10). Suppose -j + 1 = -h. Is 18 a factor of h?
False
Let t be (-255)/(-68) + 2/8. Suppose -t*n = -67 - 9. Does 9 divide n?
False
Let c = 24 - 38. Let i = c - -3. Let f = 22 + i. Does 5 divide f?
False
Let m(g) = 29*g + 53. Is 27 a factor of m(40)?
False
Let y = -236 + 228. Let p(g) = -13 + 3*g + 0*g**2 + 3*g**2 - 2*g**2. Is p(y) a multiple of 27?
True
Let z(r) = 2*r + 51. Let v be z(0). Let p = 128 - 77. Suppose -n = s - p, 8*s = -n + 5*s + v. Is 15 a factor of n?
False
Let y be 49*((-111)/(-21) + -1). Let f = y + -114. Is 16 a factor of f?
True
Suppose -23 = -4*m - 63. Let s(v) = -98*v**3 + 99*v**3 - 1 + 10*v**2 - 2*v + 8. Does 7 divide s(m)?
False
Let x(k) = 52*k**2 - 80*k - 39. Does 28 divide x(-7)?
False
Suppose 0 = q + 2*l - 33, q - 3*l - 5 = 2*l. Suppose -7 = z - q. Is z a multiple of 4?
False
Suppose -2*t - 2 = 2. Does 21 divide 3 + t - -64 - 2?
True
Let k = 107 - 107. Is 9/21 - k - (-5760)/35 a multiple of 11?
True
Suppose 5*u - 413 = 4*s, -2*u - 4*s + 249 = 67. Does 82 divide u?
False
Let y = 26 + 178. Suppose 2*z = -5*q + 7, 5*q + 0*q = 4*z + 31. Suppose 0*m - 255 = -5*j - m, y = 4*j - q*m. Is j a multiple of 17?
True
Suppose -k = -0*n - n + 17, 0 = 4*n + 4*k - 100. Suppose 5*u - 5*m = -22 - 3, -n = 5*u - m. Does 9 divide ((-20)/u - 3) + 19?
False
Does 2 divide 275/55 - (-1 - (-4)/(-2))?
True
Let r(s) = -s**3 + 7*s**2 - 6*s + 2. Let a be r(6). Suppose a*h = -2, -4 - 4 = -3*n - h. Suppose 0 = -n*b + 93 + 42. Is b a multiple of 15?
True
Let s be 6/3 + (-120)/(-2). Suppose 3*z = -3, 2*d = -z - z + s. Does 8 divide d?
True
Let g(w) = 6*w**2 - w - 1. Let m be g(-1). Let f = 14 - m. Is f a multiple of 8?
True
Let p(s) = -5*s**2 - 5 + 2*s**3 - 2*s**2 - 3*s**3 - 5 - 10*s. Is p(-7) a multiple of 15?
True
Let j(v) be the second derivative of v**4/12 + v**3/2 + 21*v**2/2 + 9*v. Is j(5) a multiple of 13?
False
Let v(q) = -q**2 + 8*q - 12. Let u be v(5). Is 9 a factor of u*(-3 + 6)/(2/14)?
True
Let q(s) = s**3 + 12*s**2 + 15*s - 8. Let h be q(-11). Let u = 91 - h. Is 16 a factor of u?
False
Suppose -3*c + 4 = -2. Let o be c/2 - (-3 + 4). Suppose o*n + 200 = 5*n. Is n a multiple of 10?
True
Does 15 divide 0/2 + -30*(-15)/2?
True
Let r(n) = -2*n - 4. Let c be (-16)/7 + (-2)/(-7). Let p(g) = 2. Let v(s) = c*r(s) - 4*p(s). Is 10 a factor of v(5)?
True
Let y(j) = j**2 - 10*j - 17. Let q be y(12). Let n be (-2056)/(-56) - (-2)/q. Let k = n - 1. Is k a multiple of 18?
True
Suppose -7 = 5*i - y + 17, -3*i + 3*y - 12 = 0. Is 3 a factor of (-10)/2*i/1?
False
Let a = -1334 - -3661. Is a a multiple of 13?
True
Let y = -7 - -9. Suppose -2*b = 5*t - 2, 2 = -t + 5*t + y*b. Suppose a - 35 = -t*a. Does 10 divide a?
False
Let u = 15 - 32. Let x = u + 20. Does 12 divide 9*3 + (2 - x)?
False
Let i(o) = 27*o**2 - 7. Is i(5) a multiple of 13?
False
Let s(q) = 62*q**2 + 18*q + 10. Is s(-4) a multiple of 15?
True
Does 18 divide (-18)/33 - 2976/(-11)?
True
Suppose -6*a + 3*a = 63. Let x = a + 25. Suppose -26 = -x*c + 118. Is c a multiple of 18?
True
Let c(r) = r**3 + 21*r**2 + 19*r + 8. Suppose 2*o + 24 = -p + o, 3*p + 4*o = -76. Is 7 a factor of c(p)?
True
Suppose -25*x = -27*x + 3*v + 595, -20 = -4*v. Does 51 divide x?
False
Let i be 6/(-21) + 872/14. Does 3 divide (-1)/(0 - 3 - i/(-21))?
True
Let f be ((-450)/(-8))/(18/48). Let y be (-3 - -1) + f + 5. Suppose -y = -4*r + 3. Does 12 divide r?
False
Let z(m) = m**3 - 9*m**2 + 7*m + 1. Let n = 28 - 20. Let u be z(n). Let c(y) = -8*y - 4. Is c(u) a multiple of 19?
False
Let s(x) = -x**3 + 6*x**2 + 8*x - 7. Let v be s(7). Suppose v = 5*q - 6 - 4. Let n(y) = 2*y**3 + y + 2. Does 20 divide n(q)?
True
Suppose 422 + 924 = s + 4*b, -4*s + 2*b + 5294 = 0. Is 39 a factor of s?
True
Let p = -129 + 222. Is 30 a factor of p + -3*(-1)/(-3) - 1?
False
Let r(f) = 89*f + 129. Does 94 divide r(7)?
True
Let t = -67 - -64. Let j(r) = -63*r + 17. Is j(t) a multiple of 13?
False
Let o(s) = -8*s**2 - 8*s + 0 - 4*s**3 + 3*s**3 + 3. Let b be o(-7). Is 9 a factor of (-178)/(-10) - (-2)/b?
True
Suppose -7*c + 86 = 23. Suppose -c*u = -3*u - 66. Does 4 divide u?
False
Suppose 4*w - c - 251 = 0, -c - 111 = -5*w + 203. Let d = w + 12. Is d a multiple of 25?
True
Let d(q) = 2*q**2 + 14*q - 27. Does 18 divide d(14)?
False
Suppose -5*c + 2*n = -1706, -4*c = 5*n - 138 - 1240. Does 45 divide c?
False
Let s(n) = n**2 + 2*n - 12. Suppose -l - 4*l = p + 52, -5*p = 5*l + 40. Does 30 divide s(l)?
False
Suppose 9 - 37 = -2*r. Let k = -12 + r. Suppose 2*d + 4*f - 16 = 0, -f - 18 = -k*d - 3*f. Is d a multiple of 3?
False
Let m(c) = c + 1. Let k(t) = t**2 + 8*t - 12. Let g(u) = k(u) + 3*m(u). Is g(4) a multiple of 17?
True
Suppose 0*r + 4*y = -r + 27, 0 = -5*r - 3*y + 118. Let c = 27 - r. Does 2 divide c?
True
Let h be (-1*138)/(0 - 1). Suppose 3*w + 270 = 36. Let z = w + h. Is 20 a factor of z?
True
Let j(i) = -3*i + 22. Let s be j(7). Does 4 divide 0/s + (-2 - -32)?
False
Let w = -30 - -42. Let n(f) = -5*f + 14. Let p be n(w). Let u = p + 83. Does 15 divide u?
False
Let l(i) = -i**3 - i**2 - i - 243. Let c be l(0). Suppose -7*z - 30*z = 12876. Let j = c - z. Does 28 divide j?
False
Let l be (2 + -2 + -4)*88/8. Let c = -88 + 153. Let p = c + l. Is 11 a factor of p?
False
Does 14 divide 1762488/648 - 2/(-18)?
False
Suppose -12 = -3*d - d. Suppose -218 = -d*n + 5*y, 7*y = -n + 3*y + 84. Is 17 a factor of n?
False
Let g be 6/4*312/36. Let r = -11 + g. Does 25 divide 3/r*(-100)/(-6)?
True
Suppose -11 = -3*p + v - 1, 5*v - 10 = -5*p. Suppose -5*o - p*c = 28 - 133, -4*c + 92 = 4*o. Is o a multiple of 7?
False
Let v = 323 - 328. Let j(p) be the second derivative of p**5/20 + p**4/2 - p**3 + p**2 + p. Does 7 divide j(v)?
False
Let q(g) = -2*g + 10. Let i be q(5). Suppose i = -5*v + 10, 3*h = 2*v - v + 25. Suppose 4*m = 15 + h. Is 5 a factor of m?
False
Let h(o) = o**2 + 3*o + 1. Let b be h(-4). Suppose 5*m + b = 15. Does 2 divide m?
True
Let u be (1*-2 - -8)*(-21)/6. Is 14 a factor of (168/(-9))/4*u?
True
Suppose -h + 7 = 3*m, -h + 4*m = -0*h. Suppose 20 + 0 = h*a. Let z = 5 + a. Is z a multiple of 9?
False
Suppose 5*s - 136 + 26 = 0. Suppose -s = -4*k + 26. Is (-1*k/(-4))/1 even?
False
Let n be -36 + 39 - (-2 + 1). Suppose -j - 1 = 0, 3*h - 2*h = n*j + 39. Is h a multiple of 5?
True
Let v = -226 + 249. Is 23 a factor of v?
True
Suppose -4817*j = -4811*j - 4266. Is 9 a factor of j?
True
Suppose 305 = 3*s + 2771. Is 6 a factor of (3/(-2))/(-5 - s/168)?
False
Let n = 111 + 426. Does 33 divide n?
False
Suppose d - 5*