(4). Suppose 0*k + 4*k = c. Is k a multiple of 19?
True
Let n be -3 - -11*(-2)/(-1). Does 7 divide (n + 2)*(3 - 2)?
True
Let m be 4/10 - 2658/(-30). Suppose n + 2*b = 4*b + 20, -b = 5*n - m. Is n a multiple of 5?
False
Let q = 34 + -20. Suppose -2*w + 121 = 2*w + 5*k, -2*k = -w + q. Does 8 divide w?
True
Let o(c) = c**3 + 2*c + 87. Is 12 a factor of o(0)?
False
Suppose 0 = -w - 4*w. Let s be w*(6/4)/3. Does 14 divide (-60)/(s - 9/6)?
False
Suppose u = 2*u - 79. Let o = u - 47. Is o a multiple of 22?
False
Let v(z) = -z**2 - 7*z - 5. Let d(a) = a - 1. Let o be d(-7). Let p be v(o). Let j = p + 23. Is 4 a factor of j?
False
Let a(x) = -2*x - 5. Suppose 3*o + 6 = -3*l + 3, -2*o - 5*l + 10 = 0. Let f be a(o). Is f*7 + -2 + 1 a multiple of 17?
True
Suppose -4*i + 21 = -3*s, -4*s + 5*s - 2*i + 9 = 0. Does 6 divide 3*(s - -2) - -9?
True
Let d(s) = -8*s + 3. Let c be 2 - (7 + -2) - -3. Suppose -8*w + 5*w - 12 = c. Is d(w) a multiple of 14?
False
Let v(f) = -3*f**2 + f + 5. Let z(d) = -1. Let n(b) = -v(b) - 2*z(b). Let p(q) be the first derivative of n(q). Is 4 a factor of p(1)?
False
Let k(v) = -25*v - 2. Suppose -5*b - 1 = 4*q - 0, 4*b + 4*q = 0. Is k(b) a multiple of 10?
False
Let j(t) = t**3 + 10*t**2 + 8*t + 4. Suppose n - 2 = 2*w, 0 = 4*n + 5*w - 0 + 18. Let x be n*2*(-27)/(-12). Is j(x) a multiple of 7?
False
Let w(v) = 2*v**2 + v - 12. Does 22 divide w(6)?
True
Let p(m) = 2*m**2 - m. Is p(6) a multiple of 21?
False
Suppose 5*q = 5*a - 35, q + 0 = -2*a + 2. Suppose 3*h = -a + 81. Suppose s + s - h = 0. Does 6 divide s?
False
Let g(m) = -10*m - 15. Does 15 divide g(-6)?
True
Suppose 0 = -4*u - 5*v + 7, -4*u + 13 + 4 = -5*v. Suppose u*b = 13 - 1. Suppose 5*n + b - 29 = 0. Is n a multiple of 5?
True
Suppose 3*c = -g - 58, 7*c = 2*c - 2*g - 98. Let a = c - -36. Does 8 divide a?
False
Suppose -o - 2*o - 22 = -4*h, -4*h = 2*o + 8. Let a = 6 + o. Suppose a*k = -2*k + 42. Is 7 a factor of k?
True
Let k(d) = 7*d**2 - d - 6. Is k(-3) a multiple of 20?
True
Suppose -v + 63 = 4*r, 0*r + 4*v = 5*r - 84. Does 16 divide r?
True
Let s be (-9)/18*240/(-2). Suppose -2*x = -7*x + s. Is x a multiple of 6?
True
Let k = -9 + 40. Let y = -16 + k. Is 14 a factor of y?
False
Suppose 0 = 4*k + 14 + 30. Let c(x) = 4*x**2 + 1. Let o be c(-1). Let b = o - k. Is 7 a factor of b?
False
Let w be 3 - (-2 - (-1 + 2)). Suppose -2*g + w = -6. Is 2 a factor of g?
True
Suppose 0 = 3*d - 4*d + 2. Let s = -232 + 385. Suppose -5*p = -l - s, -2*p - 54 = -4*p - d*l. Does 15 divide p?
True
Is 7 a factor of (-52)/(-39)*174/4?
False
Let g = 6 + -2. Suppose 2*r + g = 0, -4*z + 0*r - 2*r + 136 = 0. Does 5 divide z?
True
Suppose 2*f - 11 = -1. Suppose -f*j + 15 = -0*j. Does 5 divide 39/9*1*j?
False
Does 9 divide 0 + 1 - (2 - 45)?
False
Let n = -1 - 1. Is (9 - n) + 2/1 a multiple of 13?
True
Suppose -6*g + 184 = -2*g. Does 13 divide g?
False
Suppose -2*d - 2*m - 8 = 0, -4*m - 11 - 5 = 3*d. Suppose d = 2*l - 37 - 85. Is 11 a factor of l?
False
Suppose h = -18 - 18. Let z = -17 - h. Does 7 divide z?
False
Let j = -46 - -67. Does 5 divide j?
False
Is 36/3 + 3*1 a multiple of 4?
False
Is ((-742)/7)/(-1) - (1 + 0) a multiple of 17?
False
Let t(g) = g**2 + g - 4. Let k be t(-4). Suppose 2*i + k = 4*i + d, -2*d - 5 = -3*i. Let s(x) = 7*x + 3. Is s(i) a multiple of 12?
True
Let o(y) = 11*y**2 - 2*y - 1. Let f(s) = -s**3 + 2*s**2 + s. Let p be f(2). Suppose -c = p*c + 3. Does 7 divide o(c)?
False
Let o = 3 - -2. Suppose 0 = o*l - 2 - 3. Let d = l - -7. Does 7 divide d?
False
Let n be (0*1/(-2))/(-1). Suppose n*x - 3*x - 12 = 0. Let l(z) = -8*z - 6. Is l(x) a multiple of 13?
True
Let l(s) = 2*s**2 + 22*s - 6. Let i be l(-16). Let m = i - 88. Is m a multiple of 22?
True
Suppose -4*g + 6 = 4*i - 3*g, 2*i + 4*g = -4. Does 3 divide (16 + 0)/i + -1?
False
Let u be (-1)/2*(-4)/1. Suppose 0 = 2*a - 1 - 3. Suppose a*w - 8 = u. Is 2 a factor of w?
False
Is ((-1)/2)/((-15)/2190) a multiple of 19?
False
Does 12 divide ((-2)/3)/(-1) + 13020/45?
False
Let j(d) = d**3 + 6*d**2 + 2*d - 4. Suppose -4*v = t + 12, -8 = 4*v - 0*t + 2*t. Is 3 a factor of j(v)?
False
Suppose 5*b = 4*z - 146, 0 = -z + 4*b - 2*b + 38. Is 3 a factor of z?
False
Let a = -3 + 6. Let g be a - 4/((-12)/(-9)). Suppose g*y = -3*y + 24. Does 4 divide y?
True
Suppose -2*k = 3*k - 175. Is k a multiple of 7?
True
Let i(l) = -l + 18. Is 6 a factor of i(-13)?
False
Let a = -3 - -12. Let g = a - 4. Suppose -4*j = -g*c + 16, c - 2 = -2*j + 4*j. Does 2 divide c?
True
Let n(j) = -j**2 - 17*j + 2. Let t be n(-16). Let d = 90 - t. Does 20 divide d?
False
Suppose v - 3*v = 0. Let c(q) = -q**2 - q + 5. Let t be c(v). Suppose -17 = t*a - 47. Is 6 a factor of a?
True
Let l = 29 + -18. Is 4 a factor of l?
False
Let g be (-2)/2*2*-2. Suppose -g = -4*f + 12. Suppose 4*w = f + 24. Does 5 divide w?
False
Suppose 0*f = -c + 5*f + 61, 4*c - f - 187 = 0. Suppose u + 2*v = c, 3*u + 2*v + 0*v - 154 = 0. Is u a multiple of 34?
False
Suppose -4*k = -4*w + 36, -3*k = -5*w - 2*k + 41. Is 4 a factor of w?
True
Let h(d) = -d**2 - 24*d - 24. Is 20 a factor of h(-12)?
True
Let x(d) = 2*d**2 + 6*d + 2. Let p be x(-3). Does 6 divide 882/30 + p/(-5)?
False
Let m(z) = z + 24. Suppose 0 = 4*p - p. Is 8 a factor of m(p)?
True
Suppose -4*v + 4*a = -40, -5*v + 42 + 22 = 2*a. Suppose -4*x - 3*i = 2*i + v, -x + 2*i - 16 = 0. Let z = x - -16. Is 4 a factor of z?
True
Let l = -52 + 152. Suppose -o - 4*c = -6*c - l, o + c - 94 = 0. Suppose -4*t - o = -4*f, -2*f + 65 - 13 = -4*t. Is f a multiple of 11?
True
Suppose -3*m = 2*g - 10, 0 = -4*m + 2*m - 4*g + 4. Suppose -149 = -5*b + 4*j, 5*b - m*j + 5*j - 169 = 0. Is 11 a factor of b?
True
Let g(m) = m**2 - 2*m + 3. Let s be g(0). Is 10 + -2 - s*1 even?
False
Suppose -2*v + 6*v - 144 = 0. Does 36 divide v?
True
Let c = 7 + -5. Is 6 a factor of -2*-9*c/3?
True
Suppose c = 3*c - 12. Let b = 11 - c. Suppose i = b*i - 56. Is 7 a factor of i?
True
Let c be (-6)/10 - (-819)/15. Suppose -4*r + 126 = -c. Is r a multiple of 15?
True
Let u(a) = a + 3 + 0*a + 7*a. Is 8 a factor of u(3)?
False
Suppose 2*b - 9 = -1. Suppose -5*r + 6*r + 20 = d, d + b*r = 0. Is d a multiple of 12?
False
Let f(q) = 6*q**2 - 2*q - 4. Let u be f(-2). Let k = 80 - u. Does 14 divide k?
True
Let f(g) = 2*g**2 - 1. Does 16 divide f(6)?
False
Let s(h) be the first derivative of h**4 + h**3/3 + h**2/2 - 2. Let k be s(-3). Is (8/(-6))/(4/k) a multiple of 17?
True
Suppose 4*b = b + 9. Let x = 0 + b. Suppose x*u - 31 = -1. Does 5 divide u?
True
Let r(x) = x**2 + x + 8. Suppose 3*p = -2*p + 30. Let y be r(p). Let b = y - 24. Does 13 divide b?
True
Let y(g) = g**3 + 4*g**2 - 4*g - 6. Is y(-3) a multiple of 3?
True
Suppose -8 = 4*n, 0 = 5*j - 2*j - 5*n - 16. Does 3 divide -3*(-20)/12*j?
False
Let g(a) = 5*a - 18. Is g(8) a multiple of 6?
False
Let v be (-1 - -1)*(0 - 1). Let t = v + 5. Is t even?
False
Let m = -405 + 635. Is 23 a factor of m?
True
Suppose 4*z + z = -5*l + 1195, 4*l = 3*z - 703. Suppose -8*w + 5*w = -z. Is w a multiple of 30?
False
Let k(v) = -v + 4. Let h be k(0). Suppose 234 - 50 = h*a. Is 15 a factor of a?
False
Suppose 0 = -10*q + 14*q - 320. Is q a multiple of 55?
False
Let s(u) = -22*u. Let j be s(-1). Suppose -3*r + 3*b = -147, r - 6*r = b - 251. Let q = r - j. Is q a multiple of 14?
True
Let y(o) = o**3 + o**2 + o + 14. Let j(t) = t - 1. Let z be j(1). Is 14 a factor of y(z)?
True
Let g(v) = 8*v - 1. Is 11 a factor of g(8)?
False
Let m be 1 - -17*(-1 - -2). Let g = 50 - m. Is 16 a factor of g?
True
Let h be -1 - 2 - (-19 + 0). Let t = 70 - h. Does 27 divide t?
True
Let w = 34 - -12. Is 4 a factor of w/2 - (3 - 2)?
False
Let a(n) = -2*n - 19. Let q(u) = u**3 + 3*u**2 - 8*u - 4. Let z be q(-5). Does 8 divide a(z)?
False
Is (3 - 1)/(14 + -15) - -245 a multiple of 27?
True
Let r(o) = o**2 - 4*o - 10. Is 2 a factor of r(9)?
False
Suppose 2*c + 28 = 2*l - 0*c, -3*l = c - 62. Is 9 a factor of l?
False
Suppose -z = z - 72. Does 9 divide z?
True
Suppose 0*q = -2*q - 10. Is 11 a factor of 2/q + (-1110)/(-25)?
True
Let o = 7 - 5. Let i(m) = -m**3 + 4*m**2 + m - 2. Does 3 divide i(o)?
False
Suppose -8 = i - 1. Suppose h - 26 = -o, -2*h = 3*o - 58 - 21. Let l = o + i. Is l a multiple of 10?
True
Is 11 a factor of (-4)/(-1) + -8 + 312?
True
Let m = -5 + 7. Suppose 27 - 7 = m*o. Is 