p = -p + 42. Suppose -4*l - p = -5*l. Suppose 0 = -3*g - l + 44. Does 9 divide g?
False
Suppose 0 = h - 5*t - 4 - 76, 2*t - 184 = -2*h. Does 6 divide h?
True
Let q(d) = -d - 2. Let g be q(-2). Suppose 0 = -g*h - 5*h + 135. Does 12 divide h?
False
Suppose 0 = 2*r - 0*r - 18. Suppose -h = -3*q + 11 - 4, -5*h + r = -4*q. Is h a multiple of 2?
False
Let d be 4/10 + 734/(-10). Let g = d + 106. Does 11 divide g?
True
Let p = 102 - 39. Is p a multiple of 21?
True
Suppose 5*h + 5*t - 355 = 0, 2*h = 2*t - 3 + 141. Does 10 divide h?
True
Let w be 1*(8 + -2 + 4). Suppose 3*x + 29 + w = d, -3*x = -2*d + 84. Does 15 divide d?
True
Is 3 a factor of (-1 - -2)*-2 + 8?
True
Let r(f) = -2 - 9*f + 7*f - 12*f. Is 12 a factor of r(-1)?
True
Suppose 120 + 17 = c. Suppose -3*w + c = r, -3*r + 49 = w - r. Does 15 divide w?
True
Let i = 7 + 4. Is i a multiple of 11?
True
Let p(q) = -q**3 + 3*q**2 + 6*q - 4. Does 2 divide p(4)?
True
Let k = -45 - -58. Does 3 divide k?
False
Suppose -5*x = 5*t - 170 + 25, 2*t + 5*x = 64. Let q = t + -17. Let d = q + -5. Is d a multiple of 3?
False
Suppose -k = 6*z - 2*z - 181, 543 = 3*k + 3*z. Is 14 a factor of k?
False
Let d(s) = -3*s. Let p be d(-1). Suppose -5*h + 5 + 5 = 0, 3*r - 21 = -p*h. Suppose 0 = 3*c + 2*j - 4 - 5, 0 = -r*j. Does 3 divide c?
True
Let k = 110 + -33. Does 20 divide k?
False
Suppose -2*s + 5*s = 219. Is s a multiple of 31?
False
Let l(h) = -6*h - 22. Does 4 divide l(-7)?
True
Let q = -39 - -86. Does 13 divide q?
False
Let b(y) = -2*y**2 + 4*y + 5. Let a be b(4). Let p = 16 + a. Suppose -3*n = 5*f - n - 91, 19 = 2*f - p*n. Is f a multiple of 9?
False
Let z = -8 + 13. Suppose -j + 20 = z*u, -5*j + 27 = 4*u - 10. Is u a multiple of 2?
False
Let v = 177 - 30. Is v a multiple of 11?
False
Is 21 a factor of (3/(-9))/((-1)/63)?
True
Does 20 divide 40 - (-8 - -8)/(1/1)?
True
Does 45 divide 2/(-2)*(-128 - 0)?
False
Suppose 0 = 2*t + 5*x - 2 + 9, -3*t - x - 4 = 0. Let p = 1 + t. Suppose 3*s + 6 - 21 = p. Does 3 divide s?
False
Does 13 divide 4*16 + 1 + -4?
False
Is (-671)/(-4) + 0 - 36/(-144) a multiple of 28?
True
Suppose -3*u + 9 = -0*u. Suppose 3*h = -2*h + u*p + 45, -56 = -3*h - 4*p. Is 10 a factor of h?
False
Suppose -5*g - 4*n = -386 - 367, 2*n = -2*g + 302. Is g a multiple of 30?
False
Let g(q) = 5*q + 7. Let c be g(-7). Let k be 8/c + (-578)/(-14). Suppose -2*a + a - 5*b = -47, 3*a - 5*b = k. Is a a multiple of 18?
False
Let p = 183 - 120. Is 8 a factor of (2/2)/(7/p)?
False
Let h be 187*3*4/12. Let t = h + -101. Does 16 divide t?
False
Suppose 0 = -5*c + 8*c - 240. Does 8 divide c?
True
Suppose -5*c = -59 - 1. Does 6 divide c?
True
Is -153*(4 - 52/12) a multiple of 11?
False
Let b(u) = -u**3 - u**2 + u + 1. Let n be b(-1). Suppose -5 = -j - n. Is 5 a factor of j?
True
Let h = -19 - -23. Suppose 0*g - h*u = -3*g + 27, -3*u - 9 = 0. Is 5 a factor of g?
True
Let m = -5 - -29. Is m a multiple of 6?
True
Let n = -14 + 12. Is 42*(n + 2 - -1) a multiple of 21?
True
Suppose -c + f + 7 = -3*f, -2*c - 4*f - 10 = 0. Is (-1 - 0)/(c/26) a multiple of 8?
False
Let d(s) = s**3 - s**2 - 2*s + 2. Let x be d(2). Suppose -x*l - f + 93 = 0, 22 = l + 2*f - 20. Is l a multiple of 10?
False
Does 10 divide 318/8 - (-6)/24?
True
Let q = 93 - 44. Does 6 divide q?
False
Does 11 divide (-1 - 4/(-1)) + 30/1?
True
Suppose 0 = -0*f - f - 3. Let k = -3 - f. Let i = 9 + k. Is i a multiple of 5?
False
Suppose -3*p = 10 - 1. Let h be 0 - p/(-6)*0. Does 12 divide h - (-1)/(1/32)?
False
Suppose 3*z = 6*z + 4*v - 505, 0 = -5*z + 3*v + 890. Is 25 a factor of z?
True
Is 12 a factor of (-7)/(-2*2/8)?
False
Let t(c) = 20*c**2 + c - 7. Does 19 divide t(3)?
False
Suppose -3*c - 2*c + 180 = -j, -3*c + 108 = 4*j. Is c a multiple of 3?
True
Let s = 15 + -10. Suppose 0 = -f + s*f - 24. Is f a multiple of 6?
True
Let v be ((-5)/3)/(1/(-3)). Is 5 + 1 + 10/v a multiple of 4?
True
Suppose g + 33 = 2*l, 0 = 3*l - 4*g + 5*g - 47. Let x = l + -11. Suppose -4 + 14 = -5*w, -3*d + x*w + 34 = 0. Is 8 a factor of d?
True
Suppose 12*r - 1064 = 4*r. Is 19 a factor of r?
True
Suppose t - 129 = -2*t. Is 5 a factor of t?
False
Suppose -5*f = -4*k - 180, 0 = 2*k - 4*k + 10. Is 8 a factor of f?
True
Is 7 a factor of (283 + -1)*((-26)/(-6) - 4)?
False
Let a(h) = 18*h**2 + 2*h - 2. Let b be a(-2). Let w = -23 + b. Does 12 divide w?
False
Let y = 25 - 16. Suppose y = 2*r - 15. Is 1/(r/(-14) + 1) a multiple of 2?
False
Let b = 63 - -11. Is b a multiple of 14?
False
Let l = 2 + 1. Let v = l - 5. Let n(f) = -5*f + 1. Is 5 a factor of n(v)?
False
Suppose 3*d + d - 36 = 0. Is d a multiple of 8?
False
Let r(j) = j**2 - 6*j - 13. Suppose 5*d - 9 = 4*d. Is 11 a factor of r(d)?
False
Suppose -29*h = -10*h - 4294. Does 7 divide h?
False
Suppose n - 2*n - 3*k + 32 = 0, n = 2*k + 17. Is 4 a factor of n?
False
Suppose 4*p - p = 3*z - 393, -287 = -2*z - 3*p. Suppose -z = -5*f + 3*f. Does 14 divide f?
False
Is 7 a factor of (3/(-1))/((-1)/3)?
False
Suppose 4*t = -4*h + 6 + 102, -h + 19 = 5*t. Suppose s + 5*u = 44, h = s + u + 1. Is 12 a factor of s?
True
Let k(i) = -i**3 - 6*i**2 + 6*i - 4. Let m be k(-7). Suppose 0 = m*b + b - 120. Is b/18 + (-2)/(-6) even?
True
Is (2/(-6))/((-11)/627) a multiple of 8?
False
Let c = -7 + -13. Let h = c - -54. Is 23 a factor of h?
False
Let v(l) = l**3 - 6*l**2 + 6*l - 5. Let j be v(5). Let p be 1*26*(-1 - j). Let t = p - -49. Does 17 divide t?
False
Let d be (-2)/((2 + -3)*2). Let s be (-16)/2 + (d - 1). Let g = -3 - s. Is g a multiple of 3?
False
Let p(v) = v**2 - 3*v - 7. Let l be p(5). Suppose -l*x + 13 = -20. Is 11 a factor of x?
True
Let y(s) = -2*s**2 - 4*s - 2. Let h be y(-2). Let l be 88/(-10) - h/(-10). Is (-6)/(l/84*2) a multiple of 14?
True
Let d(x) = -4*x + 6. Let s be d(2). Let n(a) = -8*a**3 - 4*a**2 - 3*a. Is 13 a factor of n(s)?
False
Let h(x) = x - 1. Let v be h(-3). Let q be (-9)/11 - v/(-22). Is (1*57)/3 - q a multiple of 10?
True
Let m = -50 - -87. Suppose d - 2*k + 7*k + 17 = 0, -k = -4*d + m. Does 3 divide d?
False
Let u be -1*5*312/(-30). Let q = -31 + u. Let l = 43 - q. Is 9 a factor of l?
False
Let i = -2 + 7. Suppose 0 = i*n + m - 183, 3*n + 2*m + 0*m - 114 = 0. Is n a multiple of 9?
True
Let l be 0 - (-1)/1 - -1. Let j(h) = h**l - 4 + 4. Is j(2) a multiple of 4?
True
Let w(d) = -d**3 + 6*d**2 - 5*d - 1. Let k be w(5). Let j = k + 1. Suppose -z - z + 80 = j. Is z a multiple of 14?
False
Let u(p) = p**3 + 14*p**2 + p + 16. Let j be u(-14). Suppose 2*k = j*y + 172, -5*k - 5*y = -3*y - 458. Is k a multiple of 30?
True
Let w(g) = -2*g - 8. Let j(d) = 5*d + 17. Let p(n) = 4*j(n) + 9*w(n). Let h be p(5). Is 18 a factor of (-588)/(-33) - h/(-33)?
True
Suppose 5*a - 54 + 19 = -5*f, 4*f - 4*a - 12 = 0. Suppose f*h + 59 - 4 = 0. Does 7 divide 3 - h - (3 - 2)?
False
Suppose 0 = -m + z + 70, -5*m + 0*m + 338 = -2*z. Does 22 divide m?
True
Let m be (5 + -11)/((-3)/2). Let x = m + 39. Let b = x - 20. Is 11 a factor of b?
False
Let v be (-2 + (-10 - 3))*-1. Let w = v + -1. Does 14 divide w?
True
Let b be -1 - ((-1 - -1) + 0). Let h = b - -4. Let s = 11 - h. Does 7 divide s?
False
Suppose -3*f - p + 367 = -18, -f = 5*p - 133. Suppose 5*l - 37 - f = 0. Does 11 divide l?
True
Let c(w) = -w**3 + 6*w - 5. Does 25 divide c(-6)?
True
Suppose -n + 10 = 4*n. Suppose -3*j = 3*w + 9, -n*j = 5*w - 0*j + 3. Let q = w - -7. Is q a multiple of 4?
True
Let h(o) be the first derivative of o**4/4 - 5*o**3/3 + o**2/2 + o - 5. Suppose 4*l - 20 = 5*p - 0, 0 = -p. Does 6 divide h(l)?
True
Suppose 3*u - 2 - 4 = 0. Suppose 0 = -3*c - u*c + 10. Suppose c*l - 4 = 8. Is 5 a factor of l?
False
Suppose 0 = 7*n - 5*n + 6. Let l be -24 + (9/3)/n. Let j = 67 + l. Does 16 divide j?
False
Let n(t) = 7*t - 1. Let m be n(-6). Let w = m + 79. Is 12 a factor of w?
True
Suppose -4*d + 2*d = -6. Does 20 divide 8*10/6*d?
True
Let c = 386 - 251. Is 16 a factor of c?
False
Let o = 13 + -9. Suppose -7*m + 3*m + 165 = -5*t, 4*m - 120 = -o*t. Does 20 divide m?
False
Is 8 a factor of (-3)/(-21) + 362/14?
False
Does 7 divide (12*4)/(-3)*-2?
False
Suppose -x = 4*g - 149, 3*g + 5*x + 20 = 119. Is 19 a factor of g?
True
Let m = -6 - -2. Suppose 4*w + 3 = -3*i + 7, -5*i - 36 = -4*w. Is (-1)/i + (-55)/m a multiple of 5?
False
Suppose -4*n - 36 = -2*q, -1 + 7 = -2*n + 4*q. Let y = 23 + n. Does 13 div