e of 11?
False
Suppose l - 425 = -4*l. Let d = 11 + l. Is 37 a factor of d?
False
Suppose -4*g + 12*s + 7025 = 9*s, 0 = -5*g + 3*s + 8782. Is g a multiple of 7?
True
Let n(p) = -p**2 - 5*p**2 + 28 + 3*p**2 + 5*p**2 - 39*p. Does 3 divide n(19)?
True
Let d = 165 - 33. Is d a multiple of 29?
False
Let t = 443 - 238. Is 5 a factor of t?
True
Suppose 3*i + 11 = -7. Let d(a) = -33*a - 12. Let t be d(i). Suppose 247 = u + 3*u - k, 3*u - k - t = 0. Does 13 divide u?
False
Let r(z) = -3*z - 11. Let v be r(-5). Suppose -v*s + 238 = 3*k, 2*k - 150 = -4*s + 90. Is 17 a factor of s?
False
Suppose 0 = 4*f + 34 - 2. Let a = 38 + f. Is a a multiple of 10?
True
Suppose 3*b + 4*x = 94, -2*x + 96 = 3*b + x. Let d = 41 - b. Is d even?
False
Is 4 a factor of (-12)/6*(-134 + -5)?
False
Suppose 0 = -t + 5 + 6. Suppose 4*v - 3*j - t = 0, -4*v + 6 = -2*j + 4*j. Suppose 23 = v*o - 39. Is o a multiple of 16?
False
Let k(h) = -2*h**2 - 2*h + 4 + 2 + 8*h**2 + 9*h - h**3. Let f be k(7). Suppose -5*p + 106 - f = 0. Is p a multiple of 12?
False
Suppose 11708 = 7*k - 9943. Is 46 a factor of k?
False
Is 13 a factor of 4 + (-4)/(8/(-234)) + 1?
False
Let g(h) = h**2 + h + 8. Let s be (-3)/(4 - 22/6). Is 16 a factor of g(s)?
True
Suppose 3*i - 4*f - 483 = -0*i, -305 = -2*i - 3*f. Let b = i + -53. Does 18 divide b?
False
Let t be 22/(-55) + (-6)/10. Let v be (6 + -10)*t/2. Suppose -4*k = 4, 0*n + v*k + 65 = 3*n. Is n a multiple of 11?
False
Let z be 1/1 + 2 + 7. Let w be (-1 - -13)/(4/6). Let r = w + z. Does 6 divide r?
False
Let s(f) = 32*f**3 + 3*f**2 - 4*f + 2. Let w be -1 + 3 - 4 - -1*3. Does 15 divide s(w)?
False
Let i(n) = 125*n**2 - 6*n + 1. Is i(-4) a multiple of 25?
True
Suppose -1648 = -4*s + 64. Let q = s + -260. Is q a multiple of 28?
True
Let q(i) = 4*i - 24. Let b be q(7). Suppose -b*a = -a - 810. Suppose 2*f + z = -f + a, 5*z + 15 = 0. Is 14 a factor of f?
False
Let v(w) = 6*w**2 + 14*w - 179. Does 34 divide v(-18)?
False
Suppose 3*f - d - 37 = 0, -4*f + 2*d = -f - 38. Suppose -5*i + 37 = 4*o, 2*o = o + 3*i - f. Does 2 divide o?
False
Suppose 6*n = 5*n - 544. Let o be n/(-12) - 2/6. Suppose o = -0*h + 5*h. Is h a multiple of 3?
True
Let p(k) = k**3 - 13*k**2 - 25*k + 45. Does 30 divide p(15)?
True
Let y(u) = u**3 + 7*u**2 - 3*u + 5. Let i be y(-6). Let j = -124 + i. Let s = 99 + j. Does 6 divide s?
False
Let k = -2 - -9. Suppose -2*c = -c - k. Let r = c - -8. Is r a multiple of 7?
False
Suppose -3*f = -f - 352. Let z be (-2)/(-3) - f/(-24). Does 18 divide (-53)/(-3) - z/(-24)?
True
Let n = 450 - 400. Is 45 a factor of n?
False
Let c = 32 + -9. Let w = c + -4. Does 7 divide (-6 + 7)/(1/w)?
False
Suppose 2*c + 7 = 3*c. Let m = c - 5. Suppose -m*r - 135 = -7*r. Is 9 a factor of r?
True
Suppose 185452 = 117*t - 63056. Is t a multiple of 9?
True
Let a(k) = k**2 + 9*k + 5. Let r be a(-10). Suppose -r + 2 = -b. Is b a multiple of 11?
False
Let x(g) = 48*g. Let w be x(-8). Let p be ((-8)/(-6))/((-4)/w). Let k = p + -89. Is 8 a factor of k?
False
Suppose -22*l - 18*l + 15120 = 0. Does 63 divide l?
True
Let a be (-44)/(-8) + (-2)/(-4). Let v be (40 - 7)*(-2)/a. Does 9 divide -30*v/(55/6)?
True
Is 161840/72 + (-12)/(-54) a multiple of 67?
False
Let d(q) = -139*q - 17. Is d(-2) a multiple of 12?
False
Suppose -4*f + 19 + 5 = 0. Suppose -j = 12 - 24. Suppose -f*x + j = -3*x. Does 4 divide x?
True
Suppose 18 = -b + 4*h, -5*b + 4*h - 4 = 6. Suppose r - 46 = 2*i, 5*i + 49 = r + b*i. Does 10 divide r?
True
Suppose 4 = -r - 2*y, -r + 5*y - 6 = 5. Let t = r - -143. Is 8 a factor of t?
False
Let c(j) = j**3 + 12*j**2 + 9*j - 15. Suppose 2*x + 11 = -o, 0 = 5*o + x - 10 + 65. Is 4 a factor of c(o)?
False
Let b(s) be the third derivative of s**6/120 + 3*s**5/20 - s**4/12 - 2*s**3 - 3*s**2. Let i be b(-9). Suppose -4 = j, -v + i*v = -3*j + 88. Is 7 a factor of v?
False
Suppose 7*s - 3*s - 280 = 4*u, 0 = -2*s - u + 131. Is s a multiple of 6?
False
Is (-80 + 1)/((-2)/4) a multiple of 8?
False
Let x = -61 + 85. Is x a multiple of 4?
True
Suppose -w - 4*o = -73, -w = -2*o + 4 - 53. Let m = -11 + w. Is m a multiple of 16?
False
Let f = -2289 - -4208. Is f a multiple of 19?
True
Suppose 30 = 2*c - 0*l + 5*l, -l + 19 = 3*c. Suppose -f + 2*u = -17, 73 = c*f - 0*f - 4*u. Does 5 divide f?
False
Let i(o) = -o**3 + 12*o**2 + 3*o - 21. Is i(11) even?
False
Let h = -24 - -20. Is 4 + (28 + h - 2) a multiple of 13?
True
Let c = 21 + -129. Let b = -82 - c. Is 13 a factor of b?
True
Does 38 divide (-3794)/(-10) - (-180)/300?
True
Let c be 6/(1*8/4). Let s = c - 3. Suppose 2*o - 3*a - 37 = s, 3*o + 3*a - 33 = -0*a. Is o a multiple of 7?
True
Suppose 0*k - 4*k = -8. Let l be ((-3)/k)/((-6)/348). Let o = -60 + l. Does 17 divide o?
False
Let m(n) = 33*n**2 + 2*n + 1. Suppose 0 = -3*a + 2*a - 3. Let z = a + 2. Is 24 a factor of m(z)?
False
Let a be 16*(-3)/((-24)/110). Let y = -155 + a. Is 6 a factor of y?
False
Let p(t) = 491*t - 4. Let x be p(2). Does 4 divide x/27 - (-8)/(-36)?
True
Let y(v) = 14*v - 14. Let d(t) = -11*t**2 - t - 1. Let m be d(-1). Let n be y(m). Is ((-1)/(-2))/((-7)/n) a multiple of 4?
True
Suppose -w = -v + 2*w + 152, 595 = 4*v + w. Suppose -v - 235 = -2*s. Does 64 divide s?
True
Let k(t) = -5*t + 5. Let b be k(2). Let v be 0 + b + 3 - 4. Is (-72)/84*28/v even?
True
Let g be (-3)/(621/(-210) - -3). Suppose -t - 323 = 3*d + 3*t, -5*t = 4*d + 429. Let o = g - d. Is o a multiple of 31?
True
Let u(v) = -12*v**2 + 6*v. Let a be u(-4). Is 26 a factor of -2 - (-7)/((-28)/a)?
True
Let s = -15 + 21. Is 2 a factor of s?
True
Does 84 divide (-81313)/(-93) - 8/6?
False
Suppose 0 = 2*v - 663 - 993. Is 12 a factor of v?
True
Let u = 258 - -238. Is 62 a factor of u?
True
Suppose -c + 2*j = -3 - 3, 2*j - 18 = -2*c. Suppose 0 = 3*q - c*q + 120. Is q a multiple of 8?
True
Let x(a) = -a**3 + 8*a**2 - 9*a + 7. Let k(m) = -14*m - 12. Let f be k(-5). Let h be (-3)/(-15) - f/(-10). Is x(h) a multiple of 7?
False
Suppose 5*d - 2*d = 6. Suppose -d*f - 2*f = -24. Suppose -5*p = -f*p + 56. Is 28 a factor of p?
True
Let q be (-3 - -2)/(-1) + -82. Let n = q - -114. Let s = -15 + n. Does 12 divide s?
False
Let z(u) = 32 - 3*u + 20 + 0*u. Is 2 a factor of z(15)?
False
Let o = 947 - 863. Is 7 a factor of o?
True
Let b be (-2)/(-4) - (-205)/10. Suppose 5*g - 114 - b = 0. Is 9 a factor of g?
True
Let h be (-390)/(-24) - 3/12. Let l = h - 3. Is l a multiple of 3?
False
Suppose -b = 5*k - 263, -2*k = 29*b - 28*b - 278. Does 5 divide b?
False
Suppose 44*c - 1362 = 41*c. Does 20 divide c?
False
Let z(b) = 12*b**2 + 10*b - 17. Is z(14) a multiple of 30?
False
Let j(p) = 20*p**2 + 6*p - 3. Let y(d) = 7*d**2 + 2*d - 1. Let l(s) = 6*j(s) - 17*y(s). Let x be l(-3). Suppose 2*h - 71 = 3*q, -14 = 4*q - x. Does 13 divide h?
False
Suppose 3*r = -71 - 139. Let z = -40 - r. Suppose z = a + a. Does 5 divide a?
True
Let u(k) = k**3 + 3*k**2 + 16*k + 22. Does 48 divide u(7)?
True
Let m be -3 - 9/6*-229*2. Suppose -3*r = r - m. Is 9 a factor of r?
True
Is (-66)/11 + 4 + 594 a multiple of 17?
False
Suppose 0 = 7*a - 13*a + 9042. Is a a multiple of 15?
False
Let n be (-30)/(-10) + (-1 - -29). Let c = 29 - n. Is 32 a factor of (-184)/c*(-1)/(-2)?
False
Is 26 a factor of (-28098)/(-135) - (-12)/(-90)?
True
Suppose -5 = v, -7*r + 3*r = -2*v - 14. Let k be 37/2*(r + 9). Suppose -2*h = -4*h + 4*a + 74, 0 = -5*h + a + k. Does 21 divide h?
False
Let u be -2*((-6)/4 - 0). Suppose -4*o = -y - 134, -3*o - 10 + 115 = -u*y. Is 11 a factor of o?
True
Is (-28)/(-3 + 7)*-29 a multiple of 11?
False
Let j be (-4)/10 + (-45426)/(-15). Let n be j/(-14) - 4/(-14). Is 15 a factor of n/(-15) + (-9)/(-15)?
True
Suppose 10*f - 8*f = -248. Let g(p) = -10*p - 2. Let o be g(7). Let y = o - f. Does 13 divide y?
True
Let m be (162*4/(-20))/(1/5). Let s = m - -275. Is 15 a factor of s?
False
Let a = -145 - -407. Is 7 a factor of a?
False
Suppose -z = -2*z - 58. Let x = z + 105. Suppose 3*g = 2*g + x. Does 15 divide g?
False
Suppose 5*w - 2*u - 985 = 0, -w - 4*u + 139 + 80 = 0. Suppose -7*f + 2*f + w = -2*h, 3*h + 84 = 2*f. Is 20 a factor of f?
False
Suppose 2*l = 1436 + 944. Is 35 a factor of l?
True
Let a(c) = c**2 - 13. Let u be a(4). Suppose -u*n - 24 = -0*n. Let i(m) = m**3 + 7*m**2 - 7*m + 15. Is 2 a factor of i(n)?
False
Suppose -5*i = -q - 636, -4*i + 6*q = 2*q 