/(-42) - a/7 a multiple of 14?
True
Let y = -24 + 39. Is 5 a factor of y?
True
Suppose -67 = -n - 4*i, -3*i = n - 0*i - 71. Is n a multiple of 9?
False
Does 13 divide 34 - (6 - (4 - 0))?
False
Suppose -4*n = -z - 6 - 0, 0 = 5*z + 5*n - 20. Let i(b) = 12*b**z + 2*b**3 - 4 + 7*b - 1 - b**3. Does 11 divide i(-11)?
False
Let o be -3 - (-3)/3 - -2. Let i = 3 - o. Suppose -2*m = i*m + 5*z - 20, 4*m - 41 = z. Does 9 divide m?
True
Let q be 16/4*(1 - -2). Let x be -1*3/6*q. Let d(r) = r**2 + 6*r + 3. Is d(x) a multiple of 3?
True
Let g(o) = -2*o - 6. Let u(c) = -3 - 2*c + 4*c - 3*c. Let x be u(5). Is g(x) a multiple of 10?
True
Let o = 31 + 5. Does 18 divide o?
True
Let u(f) = -2*f - 3. Let k be u(-5). Does 25 divide (-51 + 1)/((-14)/k)?
True
Suppose -2*z = -5*k - 0*z + 28, k = -3*z - 8. Suppose -k*r + 15 = -21. Does 9 divide r?
True
Let g = 18 + 61. Is g a multiple of 12?
False
Is 33411/168 - 1/(-8) a multiple of 33?
False
Let w be 5/(-10) + 18/4. Suppose w*p = -5*q + 94, 6*p - 57 = -3*q + 3*p. Is q a multiple of 12?
False
Let p = 106 - 30. Let h be 12/8*p/(-6). Let f = h + 27. Is 4 a factor of f?
True
Let f be (-198)/(-4)*8/(-6). Let u(k) = 50*k + 1. Let a be u(-2). Let n = f - a. Is 18 a factor of n?
False
Let t = 5 + 4. Is 2 + 1 - (3 - t) even?
False
Is 2 a factor of (-8)/5*(-40)/16?
True
Let j = 116 + -95. Is 21 a factor of j?
True
Suppose -2*z + 65 - 25 = 0. Is 10 a factor of z?
True
Let m(s) = -6 + 2 - s + s**2 + 4 + 7*s**3. Let n(o) = -13*o**3 - o**2 + 2*o. Let t(g) = 5*m(g) + 3*n(g). Does 2 divide t(-1)?
False
Suppose -18 - 162 = -3*v. Suppose v = 4*z - 0*z. Suppose 3*b - 6 = z. Does 2 divide b?
False
Suppose -2*h = -4*z - 58, -15 = -3*h - z + 100. Let p = -19 + h. Is p a multiple of 9?
True
Let u(v) = -55*v**3 + v**2. Let s be u(1). Let k be (-4)/(-10) + s/(-15). Suppose 2 = -2*l + 2*f, 2*l = k*f - 10 - 2. Is l a multiple of 4?
True
Suppose 2*n + m - 229 = 4*m, 0 = 5*n + m - 547. Is n a multiple of 15?
False
Suppose s = 5*p - 12, -s - 4*s = -15. Suppose 2*m - 564 = -p*c - m, m + 910 = 5*c. Suppose 5*u - c = w - 49, 112 = 4*u - 2*w. Is u a multiple of 13?
True
Let y(s) = -s**3 - 12*s**2 - 16*s + 5. Let j be y(-11). Let m = j - 38. Is 11 a factor of m?
True
Suppose -4*b + 2*b = -48. Let o = b + -12. Is 6 a factor of o?
True
Let l be 1/(2/2) - 8. Let k = -5 - l. Does 11 divide ((-9)/k)/((-3)/20)?
False
Let h(v) = v**2 - v - 2. Suppose 2*k - 5 - 2 = -3*p, 2*k - 5*p = -1. Let m be h(k). Suppose m = -5*o - 2*u + 43, -u + 2*u + 24 = 4*o. Does 7 divide o?
True
Let g be (2 + (-5)/3)*-6. Is 3 a factor of (g + 15/(-3))/(-1)?
False
Let a = 86 - 58. Let k = a - 17. Is k a multiple of 7?
False
Let g(m) = m**3 + m - 5. Let d be g(0). Let x(o) = -o**2 - 1. Let z be x(d). Let k = z + 43. Is 14 a factor of k?
False
Let w(v) = 51*v**2 - 3*v + 3. Let m be w(2). Suppose -m - 151 = -4*u. Let h = u - 58. Is h a multiple of 10?
True
Suppose -y = 4*n, -5*y + 0*y - 2*n = -90. Is 7 a factor of y?
False
Is 16 a factor of (-1 - -1)/4 + 76?
False
Let x = -35 - -50. Is 5 a factor of x?
True
Let g(d) = -d**2 + 4*d + 7. Let t be g(5). Let p = 85 + -51. Is 12 a factor of p + (-5)/(5/t)?
False
Let k be (-26)/(-8) - (-4)/(-16). Let y = -41 - -78. Suppose 114 = 4*j - k*x - 2*x, y = j + 3*x. Is 17 a factor of j?
False
Let v be 1/1*(17 - 7). Let a be v*(-2 - -3)/1. Does 13 divide 4/10 + 206/a?
False
Suppose 4*s = -5*p + 84, -4*s = 2*p - 6*p - 84. Does 3 divide s?
True
Let l(d) be the third derivative of -7*d**4/12 - d**3/3 + 2*d**2. Let x be l(-6). Suppose 0 = -4*z + x + 2. Is z a multiple of 10?
False
Let u(f) = f**3 + 3*f**2 - 2*f. Let z be u(-3). Suppose z - 26 = -5*q. Is 4 a factor of q?
True
Let y(g) = -g**3 + 5*g**2 - 3*g + 5. Let k be y(4). Suppose 5 = -5*m - 5*n, 8*m = 3*m - n - k. Is m/4*(-14)/1 a multiple of 3?
False
Let k = -35 + 257. Does 37 divide k?
True
Let g(w) = w**3 + 4*w**2 + w - 1. Suppose 34 = 4*p + 2. Let o = 5 - p. Is 2 a factor of g(o)?
False
Suppose 4*c - 7*c = -6. Suppose c*w + 2*t = 138, 469 = 5*w - 2*t + 145. Does 18 divide w?
False
Let h = 8 - 3. Suppose -3 = -2*o + h. Does 2 divide o?
True
Let x(o) be the second derivative of 3*o - o**3 + 1/6*o**4 + 0 - 2*o**2. Does 14 divide x(5)?
False
Let r = 159 - 38. Is 9 a factor of r?
False
Let n be 57/21 - 2/(-7). Let t be ((-15)/2)/(n/4). Let h = 18 + t. Is 8 a factor of h?
True
Suppose -3 + 11 = -2*c. Is 50 - c/(-3 - -2) a multiple of 11?
False
Suppose 0 = -f + 2*f + 3*t + 5, 0 = 2*f - 3*t - 35. Is f a multiple of 5?
True
Suppose -5*w = -2*m + 74, 3*m = -w + m - 10. Let c = -6 - w. Does 17 divide (-16)/(-2)*22/c?
False
Let v = -17 - -23. Is v a multiple of 3?
True
Let d(r) = -r**2 - 10*r + 3. Let n be d(-10). Suppose -n = -f + 1. Suppose f*o = -2*j + 90, -5*o + 90 = -j - 4*j. Is o a multiple of 7?
True
Let w(u) = u**2 - 3*u - 2. Let v be w(6). Let d = 31 - v. Does 12 divide d?
False
Let z(y) = -y - 5. Let x be z(-6). Let q be x*(0 - 2)*-3. Is 13 a factor of (q/(-4))/((-1)/14)?
False
Suppose 0 = -x + 8 + 12. Is x a multiple of 5?
True
Let l be ((-15)/12 - -1)*-4. Suppose x = 2*i + 56, i - l - 70 = -x. Is 22 a factor of x?
True
Suppose -12 + 36 = 2*q. Suppose 0 = -0*a - a + q. Is 4 a factor of a?
True
Let y = 12 + 1. Is 10 a factor of y?
False
Suppose 3*v - 2 - 3 = -5*s, -4*v = -3*s + 3. Suppose v = 3*c - 26 + 62. Is (18/(-4))/(9/c) a multiple of 3?
True
Let j = 13 + -2. Suppose -2*k + j = 3*y, -k - 25 = -5*y - 6*k. Is 14 a factor of (-110)/(-8) - y/(-4)?
True
Let s = 283 + -153. Is s a multiple of 26?
True
Suppose -26 - 46 = -4*f. Suppose f = -t + 2*t. Is t a multiple of 6?
True
Let v(z) = -2*z**2 - z - 3. Let g be v(4). Let n = 16 - g. Let j = -22 + n. Is 11 a factor of j?
True
Does 27 divide 0 + (117 - 0) + 4?
False
Suppose -n = 1 - 3. Suppose 0 = -0*w + n*w. Suppose w*g = -g + 3. Is 2 a factor of g?
False
Let n(r) = -r**2 - 10*r + 7. Let y be n(-9). Let a = y + -10. Let t = 2 + a. Is 4 a factor of t?
True
Let o = -5 + 6. Is o + 3 + 2 + 3 a multiple of 5?
False
Suppose -w - 58 = -2*w + z, -2*w + 4*z = -116. Is 14 a factor of w?
False
Let j = -11 + -5. Let x = j + 20. Is 4 a factor of x?
True
Let j(k) = 31*k**2 + k - 1. Suppose 2*x + 4 = 2*f, 4*f - 15 - 1 = -4*x. Does 16 divide j(x)?
False
Let l = 5 - 7. Is 9 a factor of (-21)/(-1) - (-6)/l?
True
Is 4*-2*(-1)/(-1)*-12 a multiple of 12?
True
Let b = -32 - -49. Does 4 divide b?
False
Is 46 a factor of (27/2)/((-1)/(-10))?
False
Suppose n - 124 = -3*n. Let c = -13 + n. Does 8 divide c?
False
Let i(h) = h**2 - 11*h - 23. Does 4 divide i(-4)?
False
Let r be 0 + -1*(1 + 6). Suppose 1 = -3*h - 41. Is (-75)/r - 4/h a multiple of 11?
True
Suppose -4*k - 21 + 161 = 2*o, -o = -3*k - 65. Let z = -41 + o. Does 16 divide z?
False
Suppose 0 = -2*m + 8, 6*m = -5*t + 3*m - 128. Let j be (2 + (t - -2))*10. Is 5 a factor of j/(-42) + 2/7?
False
Suppose 1 + 9 = l. Is 10 a factor of l?
True
Suppose k - 86 = -k. Is k a multiple of 5?
False
Let p = -12 + 5. Let l = p - -28. Is l a multiple of 7?
True
Is ((-488)/16)/((-2)/4) a multiple of 14?
False
Let o(f) = -f**3 - 4*f**2 - 4*f - 4. Let p be o(-5). Let t = p - 29. Does 4 divide t?
True
Let p(o) be the first derivative of -4*o**2 + 3*o - 3. Does 11 divide p(-3)?
False
Let s(p) = 8*p**2 - 6*p - 8. Let r(n) = n**2 - n - 1. Let a(o) = -21*r(o) + 3*s(o). Is 12 a factor of a(-3)?
False
Let n = -75 + 88. Does 2 divide n?
False
Let p(j) = 13*j**2 + 4*j + 2. Let c be p(-2). Let q(l) = -l**2 - 4*l. Let b be q(-3). Is 15 a factor of c/b + (-1)/3?
True
Let n = -9 + 24. Let s = n + 18. Is s a multiple of 22?
False
Suppose h + 4*v = 6*h - 436, 5*h - v = 439. Is 9 a factor of h?
False
Suppose 6*v = -2*g + v, 3*g + 3*v = 0. Is 3 a factor of (g - 6)*8/(-6)?
False
Let n = -6 - -51. Is 17 a factor of n?
False
Suppose -2*b - b + 6 = 0. Suppose -5*u + 3*u = -b. Let p(l) = 9*l**3 - 2*l + 1. Does 4 divide p(u)?
True
Let v be 4/8 + (-6)/(-4). Let r(k) = 14*k**2 - 1. Is 22 a factor of r(v)?
False
Suppose -5*l - 73 - 17 = 0. Let u = -8 - 1. Let r = u - l. Does 7 divide r?
False
Suppose -171 = -4*i + 105. Suppose 6*j = 3*j + i. Is 12 a factor of j?
False
Let m = 56 + -94. Let r = m - -56. Is r a multiple of 9?
True
Is 14/(-21)*(-1 - 2) a multiple of 2?
True
Suppose -3 = -2*f + 7. Suppose -4*u - s = -3*s - 190, 15 = f*s. Does 18 divide u?
False
Suppos