+ 342. Is k a multiple of 19?
True
Let u = 9 - 15. Let o = u - -16. Is 8 a factor of o?
False
Let d be -1 + (2 - 1) + -1. Let n be (2 - -1)/(d/(-5)). Let o = n + 3. Is 18 a factor of o?
True
Let b(f) = -22*f - 1. Is 30 a factor of b(-2)?
False
Let f be 124/5 + 2/10. Suppose 0 = 2*l + 3 - f. Is l a multiple of 7?
False
Let r = -1 + 0. Let s(c) = -c**3 + 8*c**2 + c + 1. Let u be s(7). Is (u/6)/(r/(-2)) a multiple of 12?
False
Is 2/((-20)/(-206)) + (-2)/(-5) a multiple of 17?
False
Suppose -6*h = -2*h + 408. Suppose -4*k = 5*j + 334, 8 = k + k. Let b = j - h. Is 16 a factor of b?
True
Let t(a) = -3*a**3 - 9*a**2 + 6*a + 2. Let w(m) = -8*m**3 - 27*m**2 + 19*m + 5. Let v(y) = -11*t(y) + 4*w(y). Let o be v(8). Does 2 divide ((-8)/(-8))/(2/o)?
False
Let h = 12 + -8. Let i = 2 + h. Suppose 2*g + 72 = 5*z, -2*g + i*g = 2*z - 32. Is z a multiple of 6?
False
Is 35 a factor of (-645)/(-6) + 1/(-2) - 2?
True
Let v be 78/(-13)*(-64)/6. Suppose -2*t + 2*w = -v, -w + 222 = 4*t + 74. Is 9 a factor of t?
True
Suppose 21 = -3*j + 4*j. Suppose -20 = 5*c, -c - j = -r - 4*c. Does 11 divide r?
True
Let p(i) = i**3 + 2*i**2 + i + 1. Let a be p(-2). Let f = a - 2. Is (-2)/f - 121/(-3) a multiple of 15?
False
Let n = 311 + -220. Let a be (-1)/((-1)/(-53)*-1). Let m = n - a. Is m a multiple of 19?
True
Suppose 13*j - 9*j - 40 = 0. Is 5 a factor of j?
True
Let f = 11 - 11. Let g = f - -17. Is 6 a factor of g?
False
Let a = 18 - -17. Is 23 a factor of a?
False
Does 4 divide (-1)/(-2) + 434/28?
True
Suppose 5*w + 8 + 17 = 0. Let z be (3 + -15)*w/(-4). Does 5 divide 9/z + (-126)/(-10)?
False
Suppose 3*n = -70 + 340. Is n a multiple of 10?
True
Let w(b) = -b - 7. Let y be w(-6). Let s(p) = 72*p**2 + p. Let k be s(y). Let o = k + -51. Is 8 a factor of o?
False
Let s(c) = c**2 - 5*c - 4. Let j be s(6). Suppose -x = 5*k + j*x - 111, -x - 3 = 0. Does 12 divide k?
True
Let x(f) be the third derivative of f**5/60 + f**4/12 + f**3/3 + f**2. Let q be x(-2). Suppose 24 = -0*t + q*t. Is t a multiple of 6?
True
Let w = -70 - -44. Let c = 47 + w. Is c a multiple of 11?
False
Suppose -6 = 3*r, -2*r = 6*y - 5*y - 172. Is 14 a factor of y?
False
Suppose 59 = 5*t + 19. Let p = t + -2. Is p even?
True
Let d be 6*(-1)/(-2)*1. Suppose 0 = 4*x - h - 27, 5*h - 33 = -d*x - x. Is 7 a factor of x?
True
Let d = -1 + 6. Suppose q - 15 - d = 0. Does 12 divide q?
False
Let u be (-892)/(-10) + 1/(-5). Let k be (-1)/4 - 988/16. Let c = u + k. Is c a multiple of 13?
False
Let z(g) = -7*g**3 + 3*g**2 + 3*g - 4. Let f be z(-3). Let v = -134 + f. Let i = v + -47. Is 11 a factor of i?
True
Suppose -4*l + 1180 = 6*l. Does 23 divide l?
False
Let z(j) = j**2 + j. Let w(i) = 4*i**2 + 5*i - 9. Let b(t) = -w(t) + 5*z(t). Does 4 divide b(0)?
False
Let n be (1/2)/((-4)/(-552)). Suppose v - 184 = 4*a, -2*v + 3*v + 98 = -2*a. Let w = a + n. Does 14 divide w?
False
Let t be (-45)/9*((-38)/10 + 0). Let h = -6 - 5. Let d = t + h. Is d a multiple of 3?
False
Suppose 2*m + 5*h = 5*m + 231, -273 = 4*m + 5*h. Let j = m - -108. Is 12 a factor of j?
True
Let o(a) = 99*a**2 - 1. Let l be o(1). Let h = 177 - l. Does 22 divide h?
False
Let j be 3*4/12 + -1. Let k(t) = t + 29. Does 29 divide k(j)?
True
Let s(w) = -w**2 - 6*w - 4. Let k be s(-3). Suppose 2*d + 72 = k*d. Suppose -2*f - 4 = -d. Is 10 a factor of f?
True
Let s(i) = 5*i**2 - i - 10. Is 4 a factor of s(3)?
True
Let n(t) = 2*t**2 + 84. Does 42 divide n(0)?
True
Is 9 a factor of (252/(-49))/((-6)/56)?
False
Let c(z) = z**2 - 4*z - 9. Is 5 a factor of c(8)?
False
Let m = 1 + 5. Suppose -m*o + 44 = -2*o. Let z = o + 11. Is z a multiple of 9?
False
Let l(v) = v**3 - 9*v**2 + 10*v - 7. Let g be l(8). Let p be (g/6)/(3/6). Suppose -p*z + 4*r - 179 = -6*z, -3*z + 4*r = -139. Is 19 a factor of z?
False
Suppose -5*a + 3*b + 94 = 4*b, -32 = -2*a + b. Let l = a - 8. Let v = 24 - l. Is v a multiple of 14?
True
Suppose 5*u + 1456 = 12*u. Is u a multiple of 13?
True
Suppose 2*u - 24 = 4*u. Is (0 - (-20)/u)*-69 a multiple of 30?
False
Suppose -r = r + 6. Let k be 6/(-2) - (3 + r). Let x = k + 19. Is 11 a factor of x?
False
Let u(f) = -4 + 4*f**2 + 2 - 2*f + 2. Suppose -12 = -l + 2*r, -r + 0*r - 13 = -4*l. Is u(l) a multiple of 12?
True
Let o(p) = p**2 - p. Let h be o(2). Let x(a) = 5 - 9*a - 4 - h + 2. Is 21 a factor of x(-5)?
False
Let k(u) = u**3 + 4*u**2 - u - 4. Let f be k(-4). Suppose -3*d - r + 89 = f, 0*d - 28 = -d - 2*r. Does 10 divide d?
True
Let z(l) = -5*l**2 - 8*l + 9. Let m(v) = v**2 - v. Let w(f) = 4*m(f) + z(f). Is 20 a factor of w(-11)?
True
Let v = -6 - -6. Suppose -a - 3 + 5 = v. Is a even?
True
Let f(r) = -r + 28. Let l be 2/(-3) + 10/15. Let u be f(l). Suppose -q + u = q. Is 7 a factor of q?
True
Let a be -6*(-1 - 4/(-6)). Suppose -4 = l + 5*m, -5*m + 0*m = -a*l + 67. Is l a multiple of 13?
False
Let w be (-12)/9*(-1 - 2). Let c(m) = 3*m**2 + 3*m - 3. Is 19 a factor of c(w)?
True
Let w be 5*18/(-20)*12. Is 6 a factor of 42/9*w/(-21)?
True
Let h(t) = -t**3 - 4*t**2 + 4*t + 2. Is 19 a factor of h(-6)?
False
Does 3 divide -15 - -18 - (0 + -1)*29?
False
Let z(f) = 25*f**2 + f. Let l be z(1). Suppose -o = 3*x - 17, -3*o + 2*x = o - l. Is o a multiple of 6?
False
Let q(k) = -k**2 + 7*k - 5. Suppose -4*s + 18 = -2. Suppose s*f = -0*f + 25. Does 5 divide q(f)?
True
Let p(v) = 16*v**3 + v**2 - 4*v + 2. Is p(1) a multiple of 4?
False
Let r(f) = f**3 - f. Let q be r(2). Let i(p) = -2*p**2 + 2*p + 4. Let k be i(-3). Does 13 divide ((-108)/10)/(q/k)?
False
Let k be 7 + -1 - (-6)/(-3). Suppose 2*y - 20 = k*c, -c - c - 18 = -2*y. Does 4 divide y?
True
Suppose -4*g + 2*g = 144. Let b = g + 126. Does 11 divide b?
False
Suppose 0 = -0*j - 2*j + 2*l + 12, -3*j - 3*l = 6. Does 6 divide -5 + 1 + j + 19?
False
Let c = 5 - 5. Suppose u + 2*u - 132 = c. Is 11 a factor of u?
True
Suppose 0 = -4*w + 2*w - 5*r + 360, -2*r = -4*w + 696. Is w a multiple of 27?
False
Let g(h) = -h**2 + 12*h + 13. Is g(9) a multiple of 40?
True
Suppose 5*l - 5*k = -2*k + 49, -5*l - k = -57. Does 5 divide l?
False
Let b(z) = -z + 4 + 0 + 4*z + 3*z**2. Is 12 a factor of b(-3)?
False
Let q(d) = d**2 + 5*d - 2. Let x be q(-5). Let y be x/5 + 774/10. Let i = -46 + y. Does 12 divide i?
False
Let k = -3 - -11. Let t be (-4)/12*(-1 - k). Suppose -31 = -t*j + 3*q + 14, 0 = -2*j + 4*q + 36. Does 12 divide j?
True
Let y(f) = -2*f**2 + 3*f + 2. Let t be y(-2). Suppose -o = 21 + 9. Is 3 a factor of t/o + (-23)/(-5)?
False
Let c = 13 + -26. Let k be 1 - -2*c/2. Let u = 19 + k. Is u a multiple of 6?
False
Let z be 2 - 1*(3 - 0). Let o(i) = 33*i**2 - i - 1. Does 11 divide o(z)?
True
Let m = 35 - 22. Suppose 127 + m = 5*z. Is z a multiple of 14?
True
Let m = 4 - 3. Let x = 2 + m. Suppose 4*n + l - 20 = 0, -n + 18 = -6*l + x*l. Does 6 divide n?
True
Let b(t) = -t**3 - 4*t**2 - 3*t - 2. Let f be b(-2). Suppose -2*h - 15 + 1 = 0. Let q = f - h. Is 2 a factor of q?
False
Let l(n) = -6*n + 9. Does 9 divide l(-9)?
True
Suppose -4 = -2*g - 0*g. Let w(x) = 15*x**2 + x**g - 3*x + 1 + 3*x. Does 12 divide w(-1)?
False
Let z = 12 - 6. Let t be 2/(-3) - (-28)/z. Suppose 101 = t*j - 19. Is 15 a factor of j?
True
Suppose -2*g + 3 = 3*n, 10*g - 5*g = 0. Let p(f) = 16*f**2. Let t be p(n). Suppose 8 = y - t. Is y a multiple of 12?
True
Suppose -7*q + 4*q = 3*g - 57, g + 5*q - 39 = 0. Is g a multiple of 5?
False
Is (-2)/18 - ((-208)/9 + 3) a multiple of 10?
True
Let o = -3 + 6. Suppose -3*r - r = -w - 33, -2*r = 4*w - 12. Let d = r - o. Is d a multiple of 4?
False
Is (-23)/(-4 + (-9)/(-3)) a multiple of 17?
False
Suppose 4*n = -4*d + 39 - 3, 5 = 5*d. Suppose -3*s + 2*s + n = 0. Does 3 divide s?
False
Let n = -17 - -29. Is 4 a factor of n?
True
Let b = -28 + 57. Let a = b - 18. Is a a multiple of 4?
False
Suppose -g + 4 = -o, 4*g + 1 - 5 = -2*o. Suppose -2*m = g*m - 20. Suppose 4*i - u = 80, -i - 58 = -3*i + m*u. Is i a multiple of 15?
False
Suppose -4*s + 3*x + 1 = 7, -5*s + 3*x = 9. Let z(i) = -i**3 - i**2 + i - 2. Does 12 divide z(s)?
False
Suppose -104 = 2*w - 6*w. Suppose 3*x - 116 = -2*t, x + 94 = t + w. Suppose 2*l - t = -2*l. Is l a multiple of 16?
True
Let i(l) = l**3 - 3*l**2 + 4*l - 13. Is 17 a factor of i(6)?
True
Let s(p) = 59*p**2 + p + 1. Let k be s(-1). Suppose 4*l - k = -0*l - 3*f, -4*l + 4*f + 80 = 0. Is l a multiple of 17?
Tru