e j(5). Suppose 0 = -2*u - 0*u + 4*g + 368, 0 = 3*u - w*g - 546. Suppose u - 30 = 6*y. Does 5 divide y?
True
Suppose -3*v - 2*n + 1221 = n, 3*v + n = 1217. Is v a multiple of 45?
True
Suppose 0 = 10*j - 13*j + 1080. Is j a multiple of 15?
True
Let u(g) = 124*g**3 - g + 1. Let x be u(1). Let s = x + -64. Is 12 a factor of s?
True
Let a = 694 - 424. Is a a multiple of 7?
False
Suppose 0 = -4*i - 9228 + 29408. Is i a multiple of 24?
False
Let w = 3227 + -458. Is w a multiple of 10?
False
Suppose 4*x + 17 = 29. Suppose 0 = -x*w + r + 826, 0 = -r + 2. Is 46 a factor of w?
True
Suppose -8*o = -13*o + 60. Let b = 22 - o. Is 2 a factor of b?
True
Suppose -5 - 15 = i. Suppose 5 = -w, 0 = -5*n - 5*w + 3*w - 35. Let x = n - i. Does 5 divide x?
True
Let s(m) = m**2 + 6*m - 2. Let l(q) = -3*q**2 - 2*q - 3. Let v(u) = -4*u**2 - u - 4. Let f(o) = -5*l(o) + 4*v(o). Let x be f(7). Does 7 divide s(x)?
True
Suppose 2*z - 215 = 5*u + 160, -3*z + 528 = 4*u. Does 36 divide z?
True
Let w(i) = 11*i**3 + i**2 - 8*i + 5. Let s(m) = 12*m**3 - 7*m + 5. Let o(t) = -4*s(t) + 5*w(t). Is 32 a factor of o(3)?
False
Let m be (8*-1)/(-2) + -2. Let k be -3 + m + 0 + 10. Suppose -6*q - 120 = -k*q. Does 10 divide q?
True
Is 13 a factor of (72/(-16))/(2*(-1)/276)?
False
Let x = 49 - -68. Let j = 252 - x. Does 21 divide j?
False
Let j(d) = 5*d + 20. Let q be j(-3). Suppose -q*u - 173 = -788. Is u a multiple of 11?
False
Suppose 0 = -h - a, -4*h = 5*a + 2 - 1. Let c be 1*h/((-4)/(-16)). Suppose -24 = -c*r + 32. Does 5 divide r?
False
Let k(a) = -7*a**3 - 11*a**2 - 11*a + 11. Let g(j) = 3*j**3 + 6*j**2 + 6*j - 5. Let h(f) = -5*g(f) - 2*k(f). Is h(-7) a multiple of 4?
False
Suppose -21892 = -5*h + 908. Is 16 a factor of h?
True
Let o be (-2 - (-2 - 0)) + 5. Suppose 5*r - 121 = -4*p, -r + 32 = -o*p + 147. Is p a multiple of 8?
True
Suppose -5*x = 2*u - 6, -2*x + 2*u = -4*x. Suppose 3*m = 5*t - 297, x*t = 4*m - 2*m + 122. Is t a multiple of 19?
True
Suppose 2*t - 4356 = -10*t. Suppose -6*z - 63 = -t. Is 6 a factor of z?
False
Let g be ((-2)/(-8))/(4/16). Suppose -1 = -l + g. Suppose -3*b = -l*b - 24. Is 15 a factor of b?
False
Suppose 4*n - 1245 - 7 = 0. Let s = n - 217. Is s a multiple of 16?
True
Suppose -3*b = 6*o - 3*o + 15, -3*o + 5 = -b. Suppose -2*l + a + 365 = o, -l - a - 3*a = -178. Does 10 divide l?
False
Let s = 655 - 182. Is 43 a factor of s?
True
Let b(d) = 3*d**2 + 20*d - 7. Let k be b(-9). Let v = k - 38. Does 6 divide v?
True
Let h be (-3)/(-1) - 2 - -346. Suppose 2*f = 399 + h. Suppose f = 8*n - 83. Is n a multiple of 19?
True
Let h(p) = p**2 + p - 1. Let i(g) = g**3 - 3*g**2 + 5*g - 8. Let x be (-2 - 2)/(-12)*-6. Let w(r) = x*h(r) + i(r). Is 2 a factor of w(5)?
False
Suppose -3*m + 1160 = -5869. Is 33 a factor of m?
True
Is 21/((-104)/(-34) + -3) a multiple of 51?
True
Suppose -4*y - 5*h = -137, 4*y = y + 4*h + 126. Suppose -3*u = -3, 5*k - 2*k = -2*u + y. Does 2 divide k?
True
Suppose -2*q - 31 = -3*v, -30 = 3*q - 5*v + 17. Let h = -9 + 5. Let w = h - q. Does 3 divide w?
False
Let w = -8 + 10. Suppose -w*c = 6, -c + 71 = -5*u + 2*c. Let t = u + 44. Does 12 divide t?
False
Let z be 0 - (0 - (-84)/(-2)). Suppose 264 = 4*h + 4*d, -4*d = -2*h - 8*d + 124. Let s = h - z. Is 14 a factor of s?
True
Let m(j) = 13*j - 50. Let g be m(4). Suppose 3*o = 5*s - 123, 25 = -g*s - o + 72. Is s a multiple of 4?
True
Let c(f) be the third derivative of 7*f**4/24 + 3*f**3/2 + 3*f**2. Does 13 divide c(8)?
True
Suppose 0 = -18*r + 19*r + 2*s - 896, 2*r - s = 1787. Does 22 divide r?
False
Let k be (-15)/20 + (-43)/(-4). Let y = k - 10. Let z(c) = -c**3 - c + 20. Is z(y) a multiple of 4?
True
Suppose -4 = -3*d - 5*p + 1, 4*d - 3 = -3*p. Suppose k - 71 = -x, 0 = 3*k - d*k - 15. Is 11 a factor of x?
True
Let z be 2/4*(-24)/(-4). Suppose 0 = 4*c - 0*c - 2*d + 194, 9 = z*d. Let g = -23 - c. Is g a multiple of 12?
True
Suppose 0 = -3*b - b + 172. Let f(y) = -19*y**2 - 5*y - 4. Let a be f(-1). Let s = a + b. Is 8 a factor of s?
False
Let b = -78 + 84. Does 4 divide (-208)/(-20) + b/(-15)?
False
Let t(m) be the second derivative of m**3/3 - 9*m**2/2 + 4*m. Let q be 8/(-28) + 86/7. Is 8 a factor of t(q)?
False
Let t(i) = 4*i**2 + 3*i - 57. Is 2 a factor of t(-7)?
True
Let h = -78 + 148. Is ((-208)/5)/((-14)/h) a multiple of 26?
True
Let c(b) be the second derivative of b**3/3 - 9*b**2/2 - 11*b - 5. Suppose 0 = -s + 2 + 5. Is c(s) a multiple of 5?
True
Is 14 a factor of (21/12)/(-3 - (-698)/232)?
False
Let a(w) = w**2 - 16*w + 4. Let s = 32 + -20. Let v be a(s). Let m = v - -66. Is 9 a factor of m?
False
Suppose -15*w = 2*i - 12*w - 672, i - 331 = w. Is i a multiple of 37?
True
Let u be (-4)/(-6)*105/(-5). Is 11 a factor of -7*(76/u - 0)?
False
Let h be 182/10 - 2/10. Let o = -16 + h. Suppose o*r = 31 + 1. Is r a multiple of 4?
True
Let r(d) = 4*d**3 - 2*d**2 - 3*d. Let u = 5 - 2. Does 20 divide r(u)?
False
Let g(q) = 16*q**2 - 21*q + 133. Does 11 divide g(17)?
True
Suppose 0*u = 4*m - 5*u - 191, 2*m - 102 = -4*u. Let p(i) = -3*i - 65. Let d be p(-23). Suppose -3*x + q = -d*q - m, 4*x = 4*q + 60. Is x a multiple of 6?
False
Let i be -6*1*(0 - -1). Does 22 divide 172/i*18/(-12)?
False
Let q = 2374 + -2064. Does 11 divide q?
False
Suppose 6 = 2*p - 20. Let u be ((-5)/(-3))/(p/(-39)). Is 6 a factor of 28*(4 + u)/(-1)?
False
Let m be (-6)/21 - 104/28. Let t(h) = -21*h - 2. Is 13 a factor of t(m)?
False
Let r(n) be the second derivative of 0 + 0*n**2 - 1/6*n**3 - 11*n. Is r(-2) even?
True
Let n be (194/(-6))/((-1)/(-18)). Let c be 4/(-20) - n/(-15). Is ((-6)/2)/(3/c) a multiple of 13?
True
Does 16 divide 400/(-15)*(-19 + -5)?
True
Let m(o) = -2*o**3 - 35*o**2 + 94*o - 23. Is 16 a factor of m(-20)?
False
Suppose 4 = -3*f - 2, f + 2 = -k. Suppose -5*b + 865 = -n + 6*n, 2*b + n - 351 = k. Suppose -2*o - 2*o = 2*y - b, 272 = 3*y + 5*o. Is y a multiple of 38?
False
Let h(t) = t**2 - 13*t - 48. Is h(-4) a multiple of 3?
False
Suppose 4 = p + 3, -3*a - p = -49. Suppose -a + 0 = -d. Does 8 divide d?
True
Let t(s) = 7*s**3 - s**2 + s. Let b be t(1). Let x = b - 1. Suppose 58 = 5*j - 2*k, 2*j - x*k + 5*k = 24. Is j a multiple of 3?
False
Is 2*(76/16 - 5)*-286 a multiple of 13?
True
Let f(h) = -6 + 2*h + 5 - 6. Let g be (0 + -18)*(-7)/14. Is 11 a factor of f(g)?
True
Suppose 0 = 4*j + 5*z - 3, -5*z = 5*j - z - 6. Suppose -20 = j*p - 3*p. Is p a multiple of 10?
True
Let v = 168 - 123. Does 3 divide v?
True
Is 9/(-21) + (-8 - 29955/(-21)) a multiple of 33?
False
Let n(o) = o**2 - 13*o. Does 46 divide n(-10)?
True
Let h(l) = l**2 + 14*l - 3. Let r be (0 - 1)/(16/256). Is h(r) a multiple of 2?
False
Is 38 a factor of ((-1)/(-6)*2)/((-9)/(-7641))?
False
Suppose 41 = 3*h + 2*n, 4*h - 2*h = -2*n + 26. Let u = -75 - -85. Does 9 divide 546/h + (-4)/u?
True
Let w(q) = -191*q + 1. Does 6 divide w(-1)?
True
Suppose -2*s + 2*t - 7 - 1 = 0, 20 = -5*s + 3*t. Let q = s + 4. Suppose -j - 5*g = -q*j - 6, 2*j = g + 67. Does 9 divide j?
False
Let h be (-300)/70 + (-2)/(-7). Let i be (-2)/((-6 - -4)/h). Is 10 a factor of (273/12)/(-7)*i?
False
Let z = -3 - -3. Suppose z = 6*u - 79 - 155. Is u a multiple of 9?
False
Suppose 0*z + z = 0. Suppose z*u = -u + 74. Suppose 0 = 5*y + 2*q - 23 - 127, -2*q - u = -3*y. Does 16 divide y?
False
Is (2 + 0 + -5 + 5)*46 a multiple of 12?
False
Let n = 0 - -2. Suppose -3*o = -n*o - 16. Is 132/o - 2/8 a multiple of 4?
True
Suppose -9 + 3 = -6*l. Suppose -b - 4 = -l, -4*b = 4*d - 252. Is d a multiple of 3?
True
Suppose 0 = c - x - 968, -14*x = -4*c - 18*x + 3856. Does 29 divide c?
False
Does 5 divide (-8)/(-2) + 1*(121 + 6)?
False
Suppose -3*k = -7*k + 84. Suppose -k*q + 20*q = -35. Is q a multiple of 7?
True
Suppose h - 2 = -12. Let g = h - -17. Suppose 0 = 2*d + 2, -2*q - 8*d + g = -3*d. Is 3 a factor of q?
True
Let y = 38 - 32. Suppose -2*i = -y*h + 2*h + 378, 5*h - 468 = i. Does 31 divide h?
True
Let v(t) = 598*t - 14. Is v(1) a multiple of 73?
True
Suppose -133 = -8*y - 5. Let n be (-2)/2*-1 - -4. Suppose -3*q + y = o, 3*q = -n*o + o + 28. Is o a multiple of 2?
True
Suppose -y = j - 5, -3*j = 2*y - 1 - 7. Suppose -13*l = -y*l - 480. Does 14 divide l?
False
Suppose -4*r = 5*q - 10050, -4*r = -2*q - 3*r + 4007. Is q a multiple of 17?
True
Let p be 435*5/15*2. Suppose -p + 90 = -5*i. Is 8 a factor o