True
Let x = 107 + -67. Is x a multiple of 30?
False
Let j(m) = 5*m**2 - 1. Let n be j(2). Let f = 30 - n. Is f a multiple of 5?
False
Suppose -4*c - 21 = -c. Let f = c + 9. Suppose 5*j - 4*h - 120 = 0, 2*j + f*h = 4*j - 48. Is 12 a factor of j?
True
Let g be (2/(-4))/(3/12). Does 12 divide g/(-3) - 34/(-3)?
True
Suppose 3*m + 0*m = 3*q + 51, -58 = 2*q + 4*m. Let z = -8 - q. Does 13 divide z?
True
Is 7 a factor of (-4)/((-8)/(-18))*-5?
False
Suppose 6*w + 15 = w. Let g be -8*(-1 - w)/(-1). Let o = g - 4. Is o a multiple of 6?
True
Let q(f) = 48*f**2 + f - 2. Let y(w) = -w**2 + 1. Let d(c) = q(c) + 2*y(c). Is d(1) a multiple of 11?
False
Let d be ((-6)/(-12))/((-2)/(-4)). Let m be (-2 + 2)/3*d. Suppose m = -5*a + x + 200, -4*x + 8 = -a + 48. Is a a multiple of 14?
False
Suppose -4*s + 5*o - 6 = 0, -o + 2*o = 2*s + 6. Is 9 a factor of (-4)/(-5)*(-90)/s?
True
Let y(k) be the third derivative of k**4/6 + 4*k**3/3 - 5*k**2. Does 8 divide y(6)?
True
Let i be (-5)/((-3)/(-15)*-1). Suppose 4*g + 4*v - 5*v = 5, -5*v = -2*g + i. Suppose g = -3*y - s + 44, 3*y - 4*y + 5*s + 36 = 0. Is 13 a factor of y?
False
Suppose 7*o = 2*o - 10. Let k = o + 12. Is k a multiple of 7?
False
Let o(f) be the first derivative of -f**3/3 - 7*f**2/2 - f + 1. Suppose 3*i = -i - 24. Is o(i) a multiple of 2?
False
Suppose -675 = -11*b - 81. Is 21 a factor of b?
False
Suppose -n + 22 = -3*c, 0*c = 5*c + 4*n + 14. Let m be (-10)/c + 1/3. Suppose -m*w = 3*k - 13, -3*w + 6 = -6*w + 4*k. Does 2 divide w?
True
Let o = -1 - -65. Does 16 divide o?
True
Let l(u) = -20*u - 8. Let w(v) = 7*v + 3. Let h(k) = -3*l(k) - 8*w(k). Let r be h(1). Suppose -c + 170 = r*c. Does 12 divide c?
False
Let n be (-4 + 3)/(0 - 1). Suppose 0 = -b + n + 17. Does 6 divide b?
True
Suppose 2*t + 2 = 4*p, 2*p - 26 = -4*t - 0*p. Suppose 5*i = 3*w + 309, t*w - 4 = -4*i + 221. Does 15 divide i?
True
Let o = 10 + 12. Is 5 a factor of o?
False
Let v(f) = -f**2 + 7*f - 2. Let h be v(8). Let b = 0 - h. Is 10 a factor of b?
True
Let q = -26 + 49. Is q a multiple of 13?
False
Suppose a - 2*y - 9 = -3*y, 48 = 5*a + 4*y. Does 12 divide a?
True
Let i = -8 + 10. Suppose 2*j + i*c = -4, 4*j + 6 = 2*c + 22. Suppose -4*p - 6 + 27 = o, 4*o = -j*p. Is 6 a factor of p?
True
Let j(u) = 10*u - 2*u - 3*u + 1 + 8*u. Is j(1) a multiple of 4?
False
Let d = -15 + 21. Let h = 0 + d. Suppose -h = 2*k - 30. Is 6 a factor of k?
True
Let i = -1 - -2. Let p be 1 + i + (-2)/(-2). Suppose 0*d + 20 = 2*d - p*f, -3*d = -5*f - 30. Is d a multiple of 5?
True
Let f = -1 + 3. Suppose -f*i + 2*x = 3*x - 21, 3*i - 2*x = 14. Is i a multiple of 4?
True
Suppose 58*p = 55*p + 129. Does 5 divide p?
False
Let g(u) = u**2 + 6*u + 6. Let c be g(-4). Let j(y) = -3*y. Let a be j(c). Does 10 divide (-4)/6 + 124/a?
True
Suppose -1 = -m - 2*r + 9, 0 = -3*m + r + 2. Let s be 322/5 + m/(-5). Suppose 6*y = 2*y + s. Is y a multiple of 16?
True
Suppose -5*l = 25, -d - 5*l = 4*d + 25. Let z be (-1 - (-4)/6)*d. Is z + 6*(5 - -1) a multiple of 18?
True
Let a = -118 + 174. Does 28 divide a?
True
Suppose -2*k + 5*k - 78 = 0. Suppose -k = h - 74. Suppose 2*w - h = -2*w. Is 12 a factor of w?
True
Suppose -a + 1 = -2. Suppose -2*f = 3*k - 9 + a, k - f = 7. Does 3 divide k?
False
Suppose 6 = -3*l - 9. Let w = l + 42. Does 12 divide w?
False
Let w = 95 - 23. Does 36 divide w?
True
Let p be (27/15)/((-6)/(-20)). Let c = p - 2. Suppose -293 = -c*x - 73. Is x a multiple of 19?
False
Is 6 a factor of -8*1/(-6)*(-36)/(-8)?
True
Is 13 a factor of -7*((-20)/5 - 9)?
True
Let l be ((-3 - -3)/(-2))/1. Suppose l*r + 3*r = -5*k + 90, 2*k = -r + 35. Is k a multiple of 6?
False
Let n(q) = 2*q**2 + 18. Is 10 a factor of n(0)?
False
Let w(d) = -23*d - 28. Does 13 divide w(-6)?
False
Let u(h) = 2*h - 3. Let y be u(-9). Let p = -16 + 33. Let j = p - y. Is 13 a factor of j?
False
Let l = 4 + -6. Let g be 124/7 + (-6)/(-21). Is 8 a factor of 156/g + l/3?
True
Let o(d) = d**3 - 11*d**2 - 13*d + 17. Does 5 divide o(12)?
True
Let t(h) = -6*h**3 - h. Let v be t(-2). Suppose 0*w - 5*w + v = 4*z, 20 = 2*w + 3*z. Is 5 a factor of w?
True
Suppose 2*p = -0 + 12. Let g(l) = l**2 - 5*l + 8. Is g(p) a multiple of 4?
False
Let q be (18/(-8))/(2/40). Is 18 a factor of 3*(-6)/q*45?
True
Suppose 4*t + 110 = 398. Suppose -2*j - 225 = -5*f - j, -2*f + 4*j + t = 0. Is f a multiple of 23?
True
Let w(u) = 3*u - 2. Is w(4) a multiple of 10?
True
Let n(z) = z + 1. Let p(t) = -104*t - 78. Let b(k) = -78*n(k) - p(k). Is b(2) a multiple of 11?
False
Let u(m) = 3*m - 1 + m**3 + 0*m**3 + 6*m**2 - m - 9*m**2. Is 6 a factor of u(4)?
False
Let g(t) be the first derivative of t**3/3 - 5*t**2/2 - 2*t + 2. Let b be g(6). Let q(u) = 2*u**2 - 2. Is 15 a factor of q(b)?
True
Suppose -8*v + 100 = -4*v. Suppose 0 = 4*d - 3*d - v. Does 11 divide d?
False
Let p(w) = 3*w**3 - 7*w**2 + 5*w - 6. Suppose -2*s - 5*v + 2 = -0*v, 0 = s - 5*v - 16. Let c be p(s). Is 14 a factor of c/(-18)*(-12)/10?
True
Let j(o) = 5 + 3*o**2 + 7*o - o + 0*o**2. Is j(-4) a multiple of 11?
False
Let m be 51 - -2*(1 + -2). Suppose 3*x - m = 77. Suppose -w - w + x = 0. Does 21 divide w?
True
Suppose 0 = 3*f + 5*m - 318, -5*f - 6*m + 2*m = -543. Suppose 3*b - f = -0*b. Is -1 + 2 + (b - 2) a multiple of 13?
False
Let r(d) = d. Let g be r(5). Suppose -3*k + 133 = -2*f, g*f + 85 = k + k. Is 16 a factor of k?
False
Suppose -3*h + 3*q = -0*h, -5*h = 4*q - 27. Does 2 divide -11*(-5 + h - -1)?
False
Suppose -b = -2*j - 192, 0*j + 960 = 5*b + j. Is b a multiple of 32?
True
Suppose 2*t = 5*t - 5*j - 13, -5 = -3*t + j. Let c(b) = 7*b. Let g be c(t). Is 9 a factor of (g - (-2 + 2)) + 2?
True
Suppose 5*z - 2*z - 6 = 0. Suppose v - 2*f - 48 = z*f, 5*f = 3*v - 123. Is v a multiple of 18?
True
Let l be (0 - 4/6)*12. Let c(v) = -v**2 - 10*v - 12. Let r be c(l). Is 5 a factor of (16/6)/(r/18)?
False
Suppose 5*m = 2*n - 51, 23 + 9 = n + 4*m. Let u = n + -6. Is u a multiple of 22?
True
Is 4 - ((-21 - 4) + (-3 - 1)) a multiple of 11?
True
Suppose -1 = -2*b + 5. Let r = 11 - 12. Does 5 divide (-15 + (b - 3))/r?
True
Let c(l) = l**2 + 4*l - 7. Let i be c(-6). Suppose 14 = k - 4*w, 0*w - w = i*k - 7. Suppose n + 4*n = a, 2*a + k*n - 24 = 0. Does 4 divide a?
False
Suppose m = 5*j + 21, 5*m - 2 = -22. Let g = j - -8. Suppose -g*p - 2*a + 13 = 0, 0 = -4*a - 5 + 1. Is 2 a factor of p?
False
Suppose -v = v - 12. Is 10 a factor of 13 + 0 - v/2?
True
Let b = -100 + 250. Does 15 divide b?
True
Let u(c) be the first derivative of 26*c**3/3 + 3*c**2/2 + 2*c + 8. Is 9 a factor of u(-1)?
False
Let t(x) = x**2 - x - 3. Is t(4) a multiple of 9?
True
Suppose i + a + 6 = 0, 0*i - a + 18 = -5*i. Let x be 6/1 + (i - -2). Suppose x*d - 3*o = 111, 0 = -5*d + d + o + 101. Does 11 divide d?
False
Suppose -l - 4*l = 135. Let t = 39 + l. Is 12 a factor of t?
True
Suppose b - 84 = -2*b. Suppose -4*g + 3*c + 51 = 0, -2*g + b = c - 3*c. Is g a multiple of 9?
True
Suppose 0 = 5*w + 5, 3*w + 109 = 5*z - 19. Is 4 a factor of z?
False
Let l(s) = s**3 - 7*s**2 + 2*s - 10. Let j be l(7). Suppose -p + o + 6 = -j*o, 4*p = -o - 18. Is 14 a factor of (-18)/p*40/6?
False
Let t = 119 - 71. Is 24 a factor of t?
True
Suppose -y + 5 = -5*p, 4*y = -3*p - 3 + 23. Does 9 divide (-26)/(-2) + (-3 - p)?
False
Suppose -19 = 3*v + 11. Let m(q) be the third derivative of -q**6/120 - 3*q**5/20 + q**4/3 - 5*q**3/3 + 3*q**2. Is m(v) a multiple of 5?
True
Suppose 4*k - 80 - 8 = 5*u, -u + 2*k - 20 = 0. Let r be u/12*(-45)/2. Suppose 0 = -0*t + 3*t - r. Does 5 divide t?
True
Let d = 20 + -12. Suppose s + s = d. Suppose -4*w = 4*r - 4, -s*r - r - 1 = 3*w. Is w even?
False
Suppose 4*t = -0*t + 240. Let x(y) = 2*y - 6. Let p be x(4). Suppose -4*i - 3*m = -t, p*m + 28 = 4*i - 3*m. Is 6 a factor of i?
True
Is 18 a factor of (40/30)/((-53)/54 - -1)?
True
Suppose -2*z = -3*z - 14. Let b = z - -25. Suppose 89 - b = 3*h. Is h a multiple of 13?
True
Suppose 5*t + a = 88, -2*t = -0*t - 2*a - 28. Is 14 a factor of t?
False
Let w(d) = -d**2 - 6*d - 6. Let u be w(-4). Let f = u - 0. Suppose -3*z - f*p + 20 = -36, 2*z = -5*p + 52. Is 13 a factor of z?
False
Let n = 234 - -35. Is 45 a factor of n?
False
Let d(u) = -u**2 + 13*u - 11. Does 14 divide d(10)?
False
Suppose -u + 5*y = -53, -2 = y + 2. Is 18 a factor of u/(-2 - (1 + -4))?
False
Let q = -3 - 32. Does