q = 58. Does 11 divide c?
True
Let z(p) = 35*p + 57. Does 43 divide z(7)?
False
Let g = -3 - -22. Suppose -w + 11 + g = 0. Does 10 divide w?
True
Suppose -2*z + z + 19 = 0. Does 19 divide z?
True
Suppose -2 = -j - z + 1, -2*j + 4*z = 0. Let y = -1 - j. Let h(x) = -x**3 - 4*x**2 - 5*x - 2. Is 4 a factor of h(y)?
True
Let v(l) = 3*l**2 + 15*l + 18. Does 18 divide v(-6)?
True
Let q(i) = 4*i - 1. Let n be q(-1). Let c be (1 + 51/15)*n. Is 3 a factor of c*(-1)/4*2?
False
Suppose -32 - 43 = 3*v. Let p be (-3)/(-2)*(1 - v). Suppose -5*u + p = -61. Is u a multiple of 10?
True
Let k = -4 + 8. Suppose 41 = 4*t + 5*f + 5, k*t = 3*f + 4. Is 6/t + (-75)/(-2) a multiple of 13?
True
Suppose 3*n = -0 + 27. Is n a multiple of 2?
False
Suppose 3*t - 4*y = -3*y + 4, 4*y = -t - 3. Let x be 1 + 159/(t + 2). Suppose -3*k - 2*j = -0*k - 79, -2*k = 2*j - x. Does 10 divide k?
False
Let k(a) = a**2 + a. Let b be k(-1). Suppose -2*y - 14 + 40 = b. Is y a multiple of 7?
False
Let q(d) be the first derivative of -d**3/3 - 7*d**2/2 - d + 3. Let m be q(-3). Suppose -2*z + m = -29. Does 10 divide z?
True
Suppose 3*g + 3*c + 18 = 5*g, -5*g + 7 = 2*c. Let o = -4 + g. Let m = 7 + o. Does 6 divide m?
True
Suppose 0 = 7*u + 128 - 415. Is u a multiple of 5?
False
Let v = -14 - 51. Let s = 143 + v. Suppose -4*a + s - 10 = 0. Is a a multiple of 10?
False
Let f(q) = -8*q + 0*q**2 - q**2 + 0*q**2. Let w be f(-8). Suppose 0 = -5*i - 6*l + 2*l + 168, 5*i + 3*l - 171 = w. Does 14 divide i?
False
Let d be -2 + (141 - (-3)/3). Suppose -d - 65 = -4*f - q, -4*f = -4*q - 180. Is f a multiple of 25?
True
Suppose 501 = 2*k + 3*t, 3*k - 4*k + 2*t + 240 = 0. Is k a multiple of 12?
False
Let t(i) = -5*i + 9. Does 4 divide t(-3)?
True
Suppose 247 - 717 = -5*z. Is 10 a factor of z?
False
Let q = -229 + 329. Does 33 divide q?
False
Let v(f) = -f**2 - 6*f - 8. Let d be v(-6). Let m(r) = -r**2 - 9*r - 3. Let b be m(d). Suppose -b*p - 2*h = -90, p = -4*h + 3*h + 21. Is 8 a factor of p?
True
Let h = 14 - -22. Is 21 a factor of 1504/h + 4/18?
True
Suppose -4*h = -7*h + 15. Suppose -8 = -h*o + 117. Is o a multiple of 25?
True
Let u be (-7)/(-2)*2 + 0. Suppose -4*o - 4*z + 24 = 0, -o - o + 3*z = -u. Suppose o*k - 46 = 19. Does 7 divide k?
False
Suppose 64 = -v + 5*v. Suppose 2*w - 5*w = -r - 4, -4*w + v = 4*r. Suppose 2*d + t = -w*d + 172, 2*t - 80 = -2*d. Does 16 divide d?
False
Suppose q + 4*q = 85. Does 8 divide q?
False
Let b = -12 + 17. Let o(y) = -y + 4. Let g be o(4). Suppose b*u + g*u - 90 = 0. Does 11 divide u?
False
Let u = -35 + 53. Is u a multiple of 8?
False
Let m(y) = 2*y + 10. Let u(p) = p + 10. Let i(q) = -2*m(q) + 3*u(q). Let a be 4/26 - (-567)/117. Does 2 divide i(a)?
False
Does 35 divide 179 + (-2)/7 + (-24)/14?
False
Does 10 divide (-3 - -2)/(2/(-32))?
False
Let l = -7 - -2. Is 13 a factor of (-14)/(-2*(-1)/l)?
False
Let m be 4*(-3 - 26/(-8)). Let c be (-10)/(-2)*m - 0. Suppose -4*o + 42 = c*x, 2*o - 3*o + 23 = -5*x. Does 7 divide o?
False
Suppose -s - 16 = 3*s. Let g(x) = -4*x. Does 8 divide g(s)?
True
Suppose -3*v = 3*k - 78, -3*v = 7*k - 2*k - 88. Is v a multiple of 3?
True
Is 129/1 - -7 - (-1 + -1) a multiple of 36?
False
Let j(o) = 4*o**3 + o**2 - 2*o + 4. Is j(2) a multiple of 18?
True
Let m(s) = s**2 - 4*s - 2 + 10 + 4*s + s. Is 25 a factor of m(-7)?
True
Suppose 5*h - 290 = 3*i, -h + 1 + 40 = -4*i. Suppose -4*q + 4 = 0, -2*q - q = -4*r + h. Is r a multiple of 6?
False
Let l be ((-33)/(-44))/(2/8). Suppose l*y - 38 = 2*m, -4*m - 2 = 2*y - 6. Does 5 divide y?
True
Suppose 0 = -5*l + 888 + 207. Is l a multiple of 18?
False
Suppose g - 374 = -g. Suppose -2*o + 61 = 4*i - 9*i, -i - g = -5*o. Is 19 a factor of o?
True
Let z = 11 + -6. Let a = 12 - z. Let b = 23 - a. Does 7 divide b?
False
Suppose 0 = 2*n - 22 + 10. Does 3 divide n?
True
Suppose 22 - 7 = 5*u. Suppose v + u - 9 = 0. Is 6 a factor of v?
True
Let h be ((-47)/3)/(3/(-9)). Suppose 0 = -5*n + k + h, 2*n - 2*k = -7*k + 35. Does 5 divide n?
True
Let p(s) = -s**2 + 6*s + 6. Let g be p(6). Let u(c) = 4*c - 4. Is u(g) a multiple of 11?
False
Let q(k) = -k + 1. Let p be q(-4). Let r = 3 - p. Does 10 divide (2 - 16/r)/1?
True
Let b(r) = -27*r**3 - r**2 + r + 1. Is 26 a factor of b(-1)?
True
Let r be (-21)/3 + (1 - 2). Does 14 divide r/(-16) - (-166)/4?
True
Let q = 2 + -2. Let r be (-9)/3 + q + 1. Is 6 a factor of (r/(-2))/((-3)/(-39))?
False
Let c = 23 - 59. Does 19 divide (-8)/c + 356/18?
False
Let o(d) be the first derivative of d**3/3 + d**2/2 + 8. Is o(7) a multiple of 28?
True
Let y = 32 - 12. Does 9 divide y + (-4 + 3)*2?
True
Suppose 0 = 2*m - 62 - 62. Is 9 a factor of m?
False
Let i be 2 + 1 - (-54)/(-9). Let u = 11 - i. Does 4 divide u?
False
Is 6/(-1)*(-9)/2 a multiple of 15?
False
Does 11 divide 346 + -2 + (-2 - -5) + -7?
False
Let p = -7 + 17. Is 33/(2 - p/8) a multiple of 15?
False
Let l be -10*(6/(-4) + 1). Let a(u) = l*u**2 + 4*u + u + 3 - 4*u. Is a(3) a multiple of 19?
False
Is 18 a factor of (-12)/(-21) + 500/7?
True
Let b be (-1 - -6)/(0 - 1). Let f(y) = y**2 - 3*y - 1. Does 13 divide f(b)?
True
Let i = 164 + -58. Does 14 divide i?
False
Suppose -10 = 5*l - 75. Let d = 32 - l. Suppose -d - 31 = -5*a. Is a a multiple of 5?
True
Let g(w) = -w**2 - 8*w. Does 7 divide g(-6)?
False
Let y = 15 - -57. Is y a multiple of 12?
True
Is 24 a factor of ((-1)/(-1) + 0)*(2 + 155)?
False
Does 62 divide ((1536/(-20))/(-4))/((-2)/(-20))?
False
Let a be -2 - (-8 + 2)/3. Suppose -2*i + 20 = -a*i. Suppose -i = -2*j + 28. Is 17 a factor of j?
False
Does 14 divide -2 - (-4 - 120)/4?
False
Let j(x) = -x**3 - 7*x**2 - 6*x + 3. Let z be j(-6). Let q = 28 + -6. Is 13 a factor of (q - z)/((-1)/(-1))?
False
Suppose 8*x - 5*x = 63. Is 11 a factor of x?
False
Suppose 0*p + 102 = 6*p. Does 11 divide p?
False
Let q = 20 + -11. Is q a multiple of 2?
False
Suppose 5*a - 3*a = -3*l - 24, -l - 7 = a. Let q = l + 18. Suppose p - q = 10. Does 6 divide p?
True
Suppose -3*i - 3*x = -6*x + 18, 2*x + 28 = -2*i. Is 14 a factor of ((-165)/i)/((-3)/(-8))?
False
Let w(g) = 2*g**2 - 2*g + 1. Let i = -18 - -25. Suppose i*x = 2*x - 20. Is w(x) a multiple of 14?
False
Let x(d) = -d**3 - 5*d**2 - 6*d - 3. Let z = 11 - 15. Is 2 a factor of x(z)?
False
Let t = -69 - -129. Does 15 divide t?
True
Let y(p) = -p**2 + 7*p - 6. Let u be y(5). Let f = u + 11. Is 7 a factor of f?
False
Suppose -34 - 62 = -4*q. Is 6 a factor of q?
True
Suppose 7*g = 6*g + 53. Is g a multiple of 21?
False
Suppose -6 + 3 = 3*j. Let s = j - -27. Is 13 a factor of s?
True
Let k(s) = -5*s**2 - 4*s + 3. Let g(b) = -4*b**2 - 5*b + 4. Let c(t) = 6*g(t) - 5*k(t). Is c(10) a multiple of 2?
False
Suppose 29 = 4*g - 2*g - 5*w, 4*g - 85 = w. Is 11 a factor of g?
True
Let m = -16 + 10. Is 6 a factor of (-21)/(-4) + m/(-8)?
True
Let l = -166 + 234. Suppose l = 3*v + v. Does 15 divide v?
False
Let y = 15 + -11. Suppose y*k - 25 = -381. Let t = 129 + k. Is 20 a factor of t?
True
Suppose -2*h = -h - 5. Suppose 0 = h*y - 3 - 27. Is y even?
True
Let w(s) = -s**3 + 6*s**2 + 3*s - 1. Let f be w(4). Suppose -f + 139 = 4*n. Does 10 divide n?
False
Let w = 199 - -2. Does 12 divide w?
False
Suppose 0*p = 2*p - 10, 5*p = 4*f + 5. Suppose f*a = -3*y + 58, -2*a = -5*y + a + 40. Is y a multiple of 3?
False
Let l(a) be the first derivative of -a**4/4 + 4*a**3/3 + 5*a**2/2 + 6*a + 4. Is l(5) a multiple of 6?
True
Suppose t - 5 = -4*t - 2*a, 20 = -4*a. Suppose -5*x + t*j - j + 110 = 0, -5*x + 3*j = -105. Is x a multiple of 8?
True
Let w = -101 + 185. Does 14 divide w?
True
Let d(z) be the first derivative of 3*z**2/2 - 11*z - 2. Is d(9) a multiple of 11?
False
Let t(g) = -g**2 + g + 5. Let q be t(0). Suppose 70 = q*r - 30. Is r a multiple of 7?
False
Let x = 152 - 112. Does 5 divide x?
True
Suppose -4*s = 0, -10 = -5*f + 4*s - 0. Suppose 0 = 4*a + 5*j - j - 12, 27 = 5*a + f*j. Is a a multiple of 2?
False
Suppose 2*f = -6 + 80. Suppose -f = b - 101. Suppose -5*t = -0*x + 3*x - 96, 3*t - b = -5*x. Does 8 divide t?
False
Is 14 a factor of -2 - (2 - 228/3)?
False
Let w be 1/2 - 212/8. Does 4 divide (w + -1)/((-12)/8)?
False
Suppose v + 2 = 2*v. Suppose 0 = -2*k + 4*j - 4, v*k = -k - j + 15. Is k a multiple of 4?
True
Let t = -90 - -48. Let r = t - -64. Does 7 divide r?
False
Let f = 67 - -45. Let s = -32 + f. Is s a multipl