 factor of (0 - 3) + (4 - -324)?
True
Suppose 3*b + 3*y = b + 20, 0 = -4*b - 2*y + 24. Suppose 7 = -b*d + 67. Suppose d = 2*g - 5. Is g a multiple of 9?
False
Suppose -4 = -f, 2*h - 3*f = -h + 201. Suppose 5*m - h = -6. Is 13 a factor of m?
True
Suppose -3*j + 3*h + h + 368 = 0, -4*j + 520 = 2*h. Is j a multiple of 16?
True
Let t(q) = -7*q**3 - 12*q**2 - 4*q + 17. Let g(k) = 4*k**3 + 6*k**2 + 2*k - 9. Let j(f) = -5*g(f) - 3*t(f). Does 4 divide j(-5)?
False
Suppose -3*q - 5*q = -1216. Is q a multiple of 19?
True
Let l = 5 + -2. Suppose 0 = -4*f + l*d + 123, d + 52 = f - 4*d. Suppose 4*z + 13 = t, -t - 2*z + f - 2 = 0. Is 8 a factor of t?
False
Suppose 4*p = 5*w - 13 - 2, -23 = 3*w + 4*p. Let l(t) = -21*t + 1. Does 22 divide l(w)?
True
Suppose 4*i - 12 = -0*i. Suppose c + 38 = i*c. Suppose m - c = -5. Is 5 a factor of m?
False
Let i = -7 + 5. Let f = i + 25. Is f a multiple of 12?
False
Suppose a = 3*a - 26. Let j = 18 - a. Suppose 76 = j*l - 59. Does 17 divide l?
False
Let v be (1 + 1 - 3)*-69. Suppose v = w + 2*w. Is w a multiple of 9?
False
Suppose 3*v - 318 = -0*v. Is 28 a factor of v?
False
Suppose 42 = 7*b - 3*b + 5*u, 5*b - 2*u = 36. Does 5 divide 2/(b/(-5))*-8?
True
Let i(n) = 23*n**2 - n. Let m be i(1). Suppose 5*w = 62 - m. Does 8 divide w?
True
Suppose -63 = 4*f + g, 0 = 4*f - 5*g + 18 + 27. Let l be 18/f*(-20)/6. Is (2 - 0 - l)*-2 a multiple of 4?
True
Let r(q) = -q**3 - 4*q**2 + 5*q - 1. Let t be r(-5). Let b = 11 - t. Is b a multiple of 3?
True
Let w(y) = -y**3 - 8*y**2 - 6*y + 10. Let f be w(-7). Suppose -a + 2*a + l = 8, 48 = 5*a + f*l. Does 7 divide a?
False
Let l be (10/2)/((-4)/8). Let r be (12/l)/((-3)/10). Is (r/(-10))/(1/(-85)) a multiple of 12?
False
Suppose 2*g - 20 = g + 2*o, 0 = -5*o + 10. Does 24 divide g?
True
Does 15 divide 4 + (-2 - 0) + 43?
True
Suppose 9 = v + 2*v. Suppose 8 = -2*f + 3*u, 2*f - v*f + 2*u = 6. Suppose -3*p - x = -5*x - 88, -f*p - 5*x + 97 = 0. Is p a multiple of 18?
True
Let n be 0*-3*1/(-3). Suppose 2*c = 5*v - n*c - 13, -v + c + 5 = 0. Is (5 - -14) + (v - 0) a multiple of 10?
True
Suppose 0 = 13*l - 43 - 100. Is l a multiple of 4?
False
Is 7 a factor of 67 + 0 + (2 + 3 - 2)?
True
Suppose -3*r + 115 = -17. Is r a multiple of 13?
False
Let r(k) be the third derivative of -k**4/8 + 5*k**3/6 + 9*k**2. Does 10 divide r(-5)?
True
Let z be 254 + 2*(-2)/2. Suppose 0 = 2*k + 8*n - 4*n - 148, -z = -3*k + 4*n. Is 10 a factor of 2/(-3) + k/3?
False
Let q(a) = a - 1. Let y be q(1). Suppose 0 = -h - y*h + 5. Is h a multiple of 2?
False
Let c be (-3)/(-4) - (-18)/(-24). Is 14 a factor of -28*((-6)/4 - c)?
True
Let r(j) = 89*j**2 + j. Let m be r(1). Suppose d - 2*l - 5 = 0, -3*l = 8*d - 3*d - m. Is d a multiple of 12?
False
Let n = -91 - 51. Let p = n + 216. Is 30 a factor of p?
False
Let u = 7 - 4. Suppose 3*s + 57 = u*d, -s = -5*d - 6*s + 65. Is d a multiple of 8?
True
Let k(g) = -g**3 + 8*g**2 - 4*g - 3. Is 9 a factor of k(6)?
True
Suppose 3*b - 315 = 201. Is 16 a factor of b?
False
Let j(s) = 4*s - 19. Is j(17) a multiple of 17?
False
Suppose 0 = 2*p + 2*h - 440, 3*h = 5*p + h - 1065. Does 14 divide p?
False
Let x(l) = 3*l - 2*l + 0*l - 2*l + 15*l**2 + 1. Suppose -20 = -5*t + 5*w, 2*t + 9 = -4*w - 1. Is 7 a factor of x(t)?
False
Let n be (0 - (-3 + 4)) + 1. Suppose 3*a - 4 - 23 = n. Is 4 a factor of a?
False
Let i = 14 - 17. Does 11 divide (-9)/i - (-12 - -2)?
False
Let y = -5 - -8. Suppose 5*l - 3 = -2*i + 4*i, 0 = y*l - 15. Suppose -w + i = 2. Does 4 divide w?
False
Suppose 13*x + 195 = 16*x. Is x a multiple of 17?
False
Is 2286/81 + 2/(-9) a multiple of 8?
False
Let u(t) = -t + 12. Suppose 0 = -v + 4*v + 2*s + 4, -10 = -3*v + 5*s. Does 12 divide u(v)?
True
Let c(l) = -63*l**3 + l. Suppose -w = -3*w - 2. Is c(w) a multiple of 18?
False
Let f(t) be the first derivative of t**2 + 7*t - 6. Is f(0) a multiple of 6?
False
Let y(l) be the third derivative of l**5/60 - l**4/4 + l**3/2 + l**2. Let g be y(-9). Does 21 divide (-33)/22 + g/4?
False
Suppose 0*n = 5*n + 15. Let a = 4 + n. Suppose 3*u - a - 29 = 0. Does 4 divide u?
False
Let m(b) = -b - 1. Suppose 3*r - 21 = -0*r. Let h be m(r). Does 10 divide (-30)/h*(-8)/(-2)?
False
Let a(j) = j**2 - 5*j + 8. Let x be a(6). Let y = x + -10. Suppose 4 = -y*r + 36. Is 4 a factor of r?
True
Let k be (-14)/(-3) + 1/3. Suppose -4*n + 3*a - 4 = -9*n, 8 = -k*n + a. Does 5 divide 13 - (2/2)/n?
False
Let p = -84 - -52. Let c = 65 + p. Is c a multiple of 11?
True
Let y(i) = 19*i**2. Let l be y(2). Suppose -3*x + x = -l. Is x a multiple of 19?
True
Let w(x) = 59*x**2 - 3*x - 2. Suppose -5*d = 5*z + 2 - 22, 0 = 4*d - 5*z + 29. Is 12 a factor of w(d)?
True
Suppose -4*g - i = -3*i - 40, 3*g - i = 29. Suppose 10*w = g*w + 12. Does 4 divide w?
True
Suppose 0 = -2*q - 0*q + 18. Let l = q - 2. Is l a multiple of 3?
False
Let f be (0/(-5))/(0 - 1). Suppose j = 7*z - 3*z + 11, f = 5*z - 5. Is j a multiple of 15?
True
Let l be (-1)/2*-2 + 27. Let d be ((-5)/10)/(2/l). Let t(g) = g**2 + 6*g - 5. Is t(d) a multiple of 2?
True
Suppose 22*o = 25*o - 192. Is 16 a factor of o?
True
Let y = -13 - -12. Does 27 divide 1*(50 - -3) - y?
True
Suppose 12*p = -p + 3640. Is 14 a factor of p?
True
Suppose 3*t = 5*i - 106, 5*i = t - 0*t + 102. Is i a multiple of 10?
True
Suppose -5*a = -0*a. Suppose -1 = 3*y - 3*t - 22, 4*y - 3*t - 26 = a. Does 5 divide y?
True
Suppose -4*q - 32 = 2*o - 114, -4*o = -4*q - 152. Let m = -1 + -6. Let j = m + o. Is j a multiple of 12?
False
Suppose 0 = -0*u + 5*u. Suppose 0 = 2*c - 5*a - 217, -3*c - 2*a + u*a + 278 = 0. Is 24 a factor of c?
True
Let r = 5 + -5. Suppose r*x - 74 = -5*d + x, -3*d + 46 = -x. Does 7 divide d?
True
Let c(b) = -b - 7. Let g be c(-5). Let z(v) = v**2 + v**2 + 9*v + 4*v - 11*v. Does 4 divide z(g)?
True
Let b be (-25)/(-4) - 3/12. Let y(i) = i**2 - 5*i + 15. Is 13 a factor of y(b)?
False
Is 21 a factor of (0 + -1)*(-1 + -66)?
False
Let m(n) be the third derivative of n**8/6720 + n**7/840 + n**6/360 + n**5/60 + n**2. Let d(u) be the third derivative of m(u). Is d(-4) a multiple of 13?
True
Suppose 0 = -2*y - 2*y - 72. Let o = y + 28. Does 10 divide o?
True
Let j(c) = c**2 + 6*c + 1. Suppose 0 = 4*m - 5*h, m + 3*h - 4*h + 1 = 0. Let y be j(m). Let w(n) = -n**2 - 4*n + 3. Is w(y) a multiple of 2?
False
Let y = 112 + -4. Does 27 divide y?
True
Suppose -s = 4*s - 20. Suppose s*o - o = -105. Let i = 57 + o. Is i a multiple of 11?
True
Suppose 9*z - 4*z = -5*i - 110, 4*z - 2*i = -118. Does 31 divide 68/(-6)*z/6?
False
Suppose c + v - 13 - 5 = 0, -4*v = -c + 3. Does 4 divide c?
False
Let c(f) = 10*f**2 + f + 1. Let s be c(-2). Let q = s - 11. Is q a multiple of 11?
False
Let b(t) = -t**2 - 8*t - 4. Let k be b(-7). Let c be 4 + -3*k/(-9). Suppose 30 = c*j - 220. Does 25 divide j?
True
Let r be (-52)/(-14) + 10/35. Suppose -r*p - 35 = -99. Is 4 a factor of p?
True
Let f = 258 + -11. Is 29 a factor of f/4 + (-2)/(-8)?
False
Is 2/8 + ((-558)/(-8) - 5) a multiple of 15?
False
Suppose -5*h + a + 630 = 0, -2*h = -a + 30 - 285. Does 7 divide h?
False
Suppose 11*o - 7*o = 92. Is 23 a factor of o?
True
Suppose -2*l - 3*c + 0*c + 5 = 0, 0 = -3*l - 2*c + 10. Let a be -1 + -1 + l + 4. Suppose -4*j = 5*w - 49, a*w = -5*j + 2*w + 50. Is j a multiple of 3?
True
Let t(c) = 2*c + 4*c + 3*c - 7*c. Does 3 divide t(4)?
False
Let g(q) = q**3 - 9*q + 7*q**2 + 0*q**2 - q**2. Is 13 a factor of g(-7)?
False
Let l = -23 - -43. Is 20 a factor of l?
True
Let m = 54 + -26. Is 18 a factor of m?
False
Does 5 divide 8/((-72)/75)*-3?
True
Does 12 divide ((-11)/33)/((-1)/36)?
True
Let f = 11 - -30. Is 18 a factor of f?
False
Let i = 20 + -6. Suppose i - 6 = 4*u. Suppose -5*x - v + 16 = -u*x, 25 = -5*v. Is 3 a factor of x?
False
Let x be 7 - (3 - (1 + 1)). Let i = -4 + x. Let t = 5 - i. Does 2 divide t?
False
Let k(r) = -r**3 - 6*r**2 - 3*r + 5. Let w be k(-5). Is 12/w*195/(-6) a multiple of 26?
True
Suppose -43 = -2*j - k, 25 = 2*j - k - 12. Does 4 divide j?
True
Suppose 8*n - 648 = 5*n. Suppose 5*g + n = 2*g - i, -3*i = 2*g + 137. Let z = g + 114. Does 11 divide z?
False
Let g(r) = 2*r - 7*r + 2*r - 2. Is 12 a factor of g(-8)?
False
Let q(v) = -5*v - 6. Let t be q(-4). Suppose 0 = -d - 0 - t. Is (36/d)/((-5)/35) a multiple of 11?
False
Let s be 7/(-7) + (-6)/(-2). Suppose -22 - 7 = -s*l 