Suppose 0 = -0*r - 3*r - 3*y + 51, 4*y + 4 = 0. Is r a multiple of 3?
True
Let v(x) = 23*x - 1. Let b be v(-1). Suppose -228 = -4*g - 0*g. Let a = g + b. Is a a multiple of 17?
False
Let a be (-4)/(-14) + 4/(-14). Suppose 0 = 2*o - a*o - 4. Suppose 5*z - 54 = o*z. Does 18 divide z?
True
Suppose -4*a = j - 379, -5*a = -2*j - 700 + 223. Suppose a = 6*v - v. Does 9 divide v?
False
Suppose -2*b = -2*s + 58, -5*b + s = 55 + 70. Is b/32 - (-183)/4 a multiple of 15?
True
Suppose 4*p = -4*n + 24, -4*p + 2 + 6 = -4*n. Suppose -4*s + n*g = -46, 5*s - 25 = 4*g + 31. Does 12 divide s?
True
Let l = 8 + -4. Suppose 2*i = 4*i - n + l, 0 = -3*i + 4*n - 16. Suppose -4*j + 148 = 4*y, i - 65 = -2*y - 5*j. Is 11 a factor of y?
False
Let p be (-58)/(-12) + 2/12. Suppose -3*n - 38 = 5*t - 443, 4*n - 400 = -p*t. Let u = t + -45. Does 13 divide u?
True
Let x(o) = -1. Let u(f) = -28*f + 1. Let k(m) = u(m) + 2*x(m). Let a be k(-1). Suppose -r = -4*r + a. Is 3 a factor of r?
True
Let c = 5 - 1. Suppose 0 = -0*h - c*h + 96. Is h a multiple of 12?
True
Let s(x) = 3*x**2 - 3*x - 7. Let h be s(-5). Let u = h + -59. Is 12 a factor of u?
True
Let k = 5 + -1. Suppose 22 = k*h - 62. Is 7 a factor of h?
True
Let w(u) = u + 6. Let s be w(5). Is 2 a factor of 5/(-10) - s/(-2)?
False
Let b(w) = -w**2 + 3*w + 3. Let j be b(4). Let n be 0/2*(11 - 10). Is 8 a factor of 18 - (j/(-1) - n)?
False
Let f(u) = -3*u - 2. Let y be f(-3). Let m = -4 + y. Suppose m*a - 3 = 15. Is 6 a factor of a?
True
Let a = -34 + 62. Is a a multiple of 18?
False
Let l = -47 + 89. Is 6 a factor of l?
True
Let r = -6 - -44. Is 38 a factor of r?
True
Suppose 5*i - 9 = 1. Suppose 0 = -5*q - i*n + 18, 2*n + 14 = 3*q + 4*n. Suppose 61 = q*j + 4*v - 19, 0 = -2*j + 5*v + 35. Is 15 a factor of j?
True
Let y = 1 + 7. Does 3 divide y?
False
Let o(j) be the third derivative of 7*j**6/120 - j**4/24 + j**3/6 + j**2. Does 4 divide o(1)?
False
Suppose -4*i + 128 = -76. Suppose 2*f = -f + i. Is f a multiple of 11?
False
Let n(k) = k**3 + 17*k**2 + 15*k + 22. Does 19 divide n(-16)?
True
Let q(m) = -11*m - 1. Let a be q(6). Let k = a + 123. Does 28 divide k?
True
Let n = 17 + -12. Let c = n - 0. Is 6 a factor of c/10 - (-46)/4?
True
Suppose 2*a + w = 4*a - 6, -a = 2*w - 8. Does 17 divide -2*34/a*-1?
True
Let w(d) = 4*d + 3. Let r be w(4). Let m = r - -5. Is 12 a factor of m?
True
Let z = -8 + 8. Suppose -k + 5*c + 5 + 6 = z, -4*k = 3*c - 113. Is 13 a factor of k?
True
Let s(q) = q + 6. Suppose v + 0*v - 2*z - 4 = 0, -z - 35 = 5*v. Let d be s(v). Suppose -2*b + 5*k + 31 = d, 0 = -b - k + 2*k + 11. Is 4 a factor of b?
True
Suppose 0 = -5*j - 2*q + 30, -3*j = j - 3*q - 1. Let y(u) = -19*u - 11. Let c(v) = 10*v + 5. Let w(o) = j*y(o) + 7*c(o). Is w(-9) a multiple of 17?
False
Suppose -h + 2*k = -0*h, -2*k = h - 8. Suppose -w + h*j - 18 = -0*w, 5*j - 27 = 2*w. Let u(f) = -f**3 - 6*f**2 - 3*f - 3. Is u(w) a multiple of 10?
False
Let v(l) = l**3 - 3*l**2 + 1. Let x be v(2). Does 8 divide 130/4 + x/6?
True
Let c(u) = -80*u**3 - u**2 - 2*u - 1. Does 20 divide c(-1)?
True
Let s(c) = -c**2 - 15*c - 14. Is 10 a factor of s(-11)?
True
Let q(o) = -151*o. Let u be q(-1). Suppose 0*z = 5*d + 2*z - u, 5*d - 2*z = 159. Does 13 divide d?
False
Suppose -w = 59 - 272. Suppose g - 11 = -5*m + w, 3*m = -5*g + 130. Is 17 a factor of m?
False
Suppose i + 18 = 2*i + 3*s, 4*i = 3*s - 3. Suppose -o = i*o - 20. Is o even?
False
Suppose 3 = 4*u - 3*p, 2*u - 4 = 5*p + 1. Suppose u = 4*b - 26 - 34. Does 4 divide 12*(-1 + b/9)?
True
Let n(p) = p**2 + 7*p. Is 15 a factor of n(5)?
True
Suppose 5*w = 426 - 106. Suppose -l + 4*l + j = 178, -l + 2*j = -w. Is l a multiple of 20?
True
Suppose 2*a + 54 = -4*c, 5*a + c - 2*c + 124 = 0. Let z = a - -50. Is z a multiple of 25?
True
Let i = 493 - 114. Does 16 divide i?
False
Suppose -4*v + 36 = -0*v. Let j be (v/(-6))/((-2)/4). Suppose j*r - 48 = -9. Does 13 divide r?
True
Is 1/4 + (-1722)/(-56) a multiple of 11?
False
Let z = 15 + -8. Is 2 a factor of ((-4)/z)/(8/(-28))?
True
Let t(k) = k**3 + 2*k**2 + 2*k. Let l be t(-2). Does 20 divide ((-128)/(-6))/(l/(-12))?
False
Let v(q) = -q**3 - 4*q**2 + 2*q + 3. Let g be v(-2). Is 16 a factor of g/(((-15)/16)/5)?
True
Is 1/((-14)/(-4)) + (-5275)/(-35) a multiple of 14?
False
Let l be 8/(-2) + 2 - -1. Let d be (2 - 28) + 0 - l. Let h = d + 63. Is h a multiple of 19?
True
Suppose 5*d + 1 = -4*y + 18, -4*d = 2*y - 16. Let l(o) = -53*o + 1. Let j be l(y). Does 18 divide (-3)/(-9) - j/(-3)?
True
Let m be (-2)/8 + (-210)/(-8). Let x(a) = 8*a + 2. Let n be x(1). Let b = m - n. Does 16 divide b?
True
Let n = 334 + -238. Is 7 a factor of n?
False
Let p(d) = 6*d - 10. Let z(g) = 1. Let b(x) = p(x) + 3*z(x). Is 9 a factor of b(5)?
False
Suppose b - 2 + 0 = 0. Let s = b + -1. Is 5 a factor of -15*(1/(-3))/s?
True
Let r = 19 + -9. Does 5 divide r?
True
Suppose 0*w = -5*a + w + 179, 0 = a + 5*w - 41. Suppose 5*k - 4*j - a = 0, k - 5*k + 36 = 4*j. Does 4 divide k?
True
Let i(p) = p**2 + p - 5. Let x = -14 + 18. Is i(x) a multiple of 15?
True
Let y(c) = -c + 2. Is y(-1) a multiple of 2?
False
Let a = 8 - 3. Suppose q - 4*l - 21 = 0, -a*l = -2*q + 6*q. Suppose -6*x + 2*x + 39 = -n, -2*x = -q*n - 15. Does 7 divide x?
False
Suppose 0 = 2*l + 115 - 35. Let o = l + 76. Is 9 a factor of o?
True
Suppose -4*m + 5*i + 1 = 0, -5*m + 10 = -2*i - 4. Suppose m*w = 71 + 21. Is 6 a factor of w?
False
Suppose -h = 2*h + v - 244, 2*h = v + 156. Is h a multiple of 20?
True
Let a = -10 - -13. Suppose 0 = a*n - 5*z - 110, -2*n - 5*z + 41 = -49. Does 11 divide n?
False
Suppose -5*x + l + 139 = -447, 3*l = -2*x + 248. Is 22 a factor of x?
False
Let g(h) = 3*h. Let x be g(2). Let t be 2 + x/((-3)/(-1)). Suppose 3*c - 22 - 8 = -4*m, t*m = 0. Is 6 a factor of c?
False
Suppose 3*k - 5*b + b = 18, b = 2*k - 7. Let t be (-4)/k*1 - -201. Suppose 0 = -3*s + t - 31. Does 23 divide s?
False
Let v = 124 - 74. Is 10 a factor of v?
True
Suppose 3*r = -0*r + p + 11, 0 = -4*r - 2*p - 2. Is 18 a factor of (-1510)/(-30) - r/6?
False
Suppose 2*y + 43 = 195. Suppose -246 = -4*u - 2*p, -4*u + 160 = 4*p - y. Is u a multiple of 18?
False
Let l = 109 - -54. Is 13 a factor of l?
False
Let s = -8 + 9. Suppose -4*x + 21 = -5*a, -6 + s = -x + a. Suppose 0*q = x*q - 44. Is q a multiple of 7?
False
Suppose 13 = -5*j - 2. Let w = j - -5. Suppose 0 = w*u + g - 11 - 28, -61 = -3*u - 4*g. Does 12 divide u?
False
Let r be 32/(-20)*(-95)/2. Let s = r + -21. Is 12 a factor of s?
False
Let t = -109 + 41. Let j = -7 - t. Suppose -2*k = -o - 2*o + 27, -2*k + j = 5*o. Does 5 divide o?
False
Is 10 a factor of 18/(-63) + (-704)/(-14)?
True
Let s(q) = q**3 - 7*q**2 - 7*q. Let n(x) = 2*x - 14. Let u be n(11). Does 2 divide s(u)?
True
Suppose j - 27 = -2*p - 2*p, 15 = 3*p. Does 2 divide j?
False
Let t be 63/3 + 0/(-1). Let s = t + -3. Is s a multiple of 7?
False
Suppose -a - 5*m = -3 - 1, -4*m - 12 = -3*a. Suppose -32 = a*j - 200. Is 14 a factor of j?
True
Let d(g) = -g - 1. Let v be d(-5). Is ((-21)/v)/((-15)/80) a multiple of 7?
True
Let f(s) = -s**3 + 3*s**2 + 3*s + 4. Let k be f(4). Suppose k*o - 15 = o. Is 8 a factor of (12/o)/(1/(-10))?
True
Suppose 3*r = -a - 3*a + 23, 2*a + 2*r - 12 = 0. Let g(i) = -30*i. Let h be g(-1). Suppose z = -5*l + h, -6*l + l = -a*z - 30. Is 2 a factor of l?
True
Is 34 a factor of 0 + 3 + -7 - -116?
False
Let w(m) = 4*m + 22. Let f be w(-13). Let x = 22 - f. Is 12 a factor of x?
False
Let a = 330 - 183. Is 26 a factor of a?
False
Suppose -2*n - 196 = 2*m - 4*m, -298 = -3*m - n. Suppose 5*y + 24 - m = 0. Is 15 a factor of y?
True
Suppose 0 = 2*d + 5*u - 4, 2*d - 4*u - 8 = -2*d. Suppose -4*w + 18 = d. Suppose 3*m - 55 = -4*v, 8*v + m = w*v + 61. Is v a multiple of 8?
True
Let c be -1 - 1/3*0. Let z = 41 - c. Is 12 a factor of (-36)/z*(-42 + 0)?
True
Suppose c = -c. Is (-19)/(-1) - (c - -1) a multiple of 12?
False
Suppose n - 5 = -0*n. Suppose 50 = -n*p - 0*p. Is (-64)/p + (-4)/10 a multiple of 4?
False
Is (-1)/(-3)*(214 - 7) a multiple of 11?
False
Let a(v) = -v**2 - 13*v - 8. Let n be a(-11). Suppose i + n = 3*i. Suppose 2*s = 4*o + 38, -i*s + 3*s + 4*o = -64. Is s a multiple of 13?
True
Suppose -2*w = -w - 5. Is 5 a factor of w?
True
Suppose 4*o - n - 317 = 0, -3*o - n + 35 = -194. Is o a multiple of 26?
True
Suppose -33 