 of 18?
False
Let l be (4/(-10))/((-1)/5). Let k be (1 + 87/6)*l. Let y = -14 + k. Is 7 a factor of y?
False
Is 7 a factor of 2/6 - (-372)/18?
True
Let q be 19 + 1 - -2 - 0. Suppose -a = -2*a + q. Is 11 a factor of a?
True
Let h be (3 - 15)*(-3)/(-6). Let c be (-115)/(-2) - h/(-12). Let s = c + -29. Is s a multiple of 14?
True
Let s(g) = -g**2 - 7*g + 7. Let f be s(-7). Suppose -2*j - f - 13 = -2*x, 0 = x + j. Suppose -x*h + 6 = -2*h. Is h a multiple of 2?
True
Let h(r) = -4*r**2 - 3*r**2 + 0 + 0 + 7 + r**3 + 2*r. Is 21 a factor of h(7)?
True
Let b(h) = -h + 1. Let x be b(-1). Suppose -2*k + 14 = -x*n, 4*k - 14 = -2*n + 44. Is 4 a factor of k?
True
Let s(n) = 10*n**2 + 18*n + 20. Is 32 a factor of s(-7)?
True
Let q(t) be the first derivative of -t**4/8 + t**2 - 2. Let b(c) be the second derivative of q(c). Is b(-1) a multiple of 2?
False
Let h(v) = -29*v**2 - v - 3. Let a(q) = 15*q**2 + q + 2. Let o(t) = -5*a(t) - 3*h(t). Does 3 divide o(-1)?
False
Let q be (-3)/2*(0 - -4). Does 12 divide (0 - 1)/(q/114)?
False
Let g(y) = 4*y + 1. Let n be g(-5). Let u(w) = -w**2 - 10*w + 8. Let k be u(-9). Let l = k - n. Does 18 divide l?
True
Suppose 0 = -0*m - 3*m + 4*w + 107, -2*m - 2*w = -48. Is m a multiple of 15?
False
Suppose 162 = 3*d - 3*s, 0 = d - 6*d - s + 258. Is 13 a factor of d?
True
Let d = -296 - -433. Is d a multiple of 32?
False
Let q be (-1 + 0/(-2))/1. Let n = 4 + q. Suppose -v + 0 = -n*u - 13, 21 = 3*v - 3*u. Is v a multiple of 4?
True
Let w be (48/10)/((-2)/10). Is 4/(-3)*756/w a multiple of 14?
True
Let y(a) = -a**3 - 8*a**2 + 5*a + 2. Let x(s) = s**2 - 4*s + 5. Let i be x(4). Let z be ((-3)/(-4))/(i/(-60)). Is 19 a factor of y(z)?
True
Suppose -4*g - 37 = 5*f, 3*g + 12 = -2*f - 7. Let h(z) = z**3 + 8*z**2 + 6*z - 6. Let y be h(-7). Is f - -44 - 0/y a multiple of 14?
False
Does 11 divide 8 - 5 - (-82)/2?
True
Let o(n) = 3*n - 3. Let q = 21 - 11. Let j = -5 + q. Is o(j) a multiple of 7?
False
Is ((-42)/(-5))/(7/35) a multiple of 14?
True
Let u(b) = b**2 - 4*b - 2. Let a = -2 + 8. Is 10 a factor of u(a)?
True
Suppose 4*m - 395 = -63. Suppose -m = -3*i + 100. Is i a multiple of 21?
False
Suppose 3*d + 133 = 5*q, 4*q = -5*d + d + 100. Is 26 a factor of q?
True
Suppose -k - 3 = -4*c, -2*k + c + 3 = -3*k. Is 7 + k + (-2)/(-1) a multiple of 6?
True
Suppose -72 = -4*s - g, s + 3*g = 2*g + 15. Is 19 a factor of s?
True
Suppose 4*i - 19 = 5. Let x be (i/9)/(-2)*-9. Is (6/(-2))/(-3)*x a multiple of 3?
True
Suppose -7*u + 5*j + 25 = -4*u, 0 = 3*u - j - 29. Does 25 divide 746/30 + u/75?
True
Suppose 4*h + 0*h - 12 = 0. Suppose -5*s = -h*s - 18. Does 9 divide s?
True
Suppose 4*z - 16 + 0 = 0. Let x(t) be the first derivative of t**4/4 - t**3 - 3*t**2/2 + 52. Is x(z) a multiple of 2?
True
Suppose -11*m = -6*m - 40. Suppose 6*w + 86 = m*w. Does 12 divide w?
False
Suppose 0 = -5*p - 3*m + m - 39, 4*m - 12 = 0. Suppose 5*a - 4*l + 112 = 0, 2*l + 56 = -2*a - 2*l. Does 13 divide (a*1)/(p/6)?
False
Suppose i = 2*i - 6. Is 7 a factor of (i - -1)*(2 + -1)?
True
Let v = 19 - -1. Is v a multiple of 9?
False
Let l = 0 - 4. Let s = 4 - l. Suppose k - 6*k = -3*d + 47, -2*k - s = 0. Is d a multiple of 4?
False
Let p(h) = 54*h**2 + h - 3. Does 13 divide p(1)?
True
Suppose -3*w - n = -11, 5*w + 4 = n + 25. Let u = w - -17. Is u a multiple of 10?
False
Suppose 0 = 4*g - 114 - 94. Is g a multiple of 13?
True
Let p(u) = -u**2 + 10*u - 7. Let i be p(8). Let d = 8 + i. Does 5 divide d?
False
Suppose k + 2*k - 13 = -u, -k + 1 = 0. Suppose -5*f + 0*f + 5*s = 20, -4*s = -8. Let w = f + u. Is w a multiple of 8?
True
Let b be (-3)/(-2)*10/15. Is (6/8)/(b/8) a multiple of 2?
True
Let j = 53 - -11. Is 32 a factor of j?
True
Suppose 2*d = -3*d - 4*x + 16, -2*d - 5*x + 20 = 0. Suppose -4*p + 37 + 191 = d. Does 19 divide p?
True
Let t = -4 + 7. Suppose 14 = -a + t*a. Does 4 divide a?
False
Is 0 - (-15)/5 - -1 a multiple of 2?
True
Is 7 a factor of -4 - ((5 - 1) + -28)?
False
Let p(a) = -a - 4. Let m be p(-7). Suppose 12 = m*q, -c + 0*q = -5*q + 17. Suppose -51 - 102 = -c*k. Does 17 divide k?
True
Let m = -4 + 10. Suppose z = -2*z + m. Does 2 divide z?
True
Suppose -4*h = -h - 18. Let c(w) = -2*w - 1 + 4*w + 0 - 2. Is 4 a factor of c(h)?
False
Let t = -17 + 5. Let a = t - -24. Is 3 a factor of a?
True
Let t = 232 + -115. Does 20 divide t?
False
Suppose 15 + 4 = h. Let s = h - 9. Is s a multiple of 5?
True
Let p(y) = -19*y**2 + 1. Let v(c) = -c**2. Let q(s) = -p(s) + 5*v(s). Let f be q(-1). Let o = f - -4. Is o a multiple of 7?
False
Is 2 a factor of ((-4)/(-20))/(4/40)?
True
Let m = 18 - 11. Let n = m - -30. Does 17 divide n?
False
Let d = 3 + 4. Is 7 a factor of d?
True
Suppose -21 = -4*j - 2*l - 7, 3*j + 3*l = 18. Is 12 + (j - -2 - 3) a multiple of 6?
True
Suppose -3*g = -3*f + 84, 7*g - 5*g + 2*f + 52 = 0. Let u = -47 - -34. Let y = u - g. Is y a multiple of 6?
False
Let x be (-18)/(-63) + 51/(-7). Let k = x + 12. Is k a multiple of 4?
False
Let x = 127 + -61. Is 11 a factor of x?
True
Let z be ((-6)/9)/((-6)/54). Is 24 a factor of (z/(-15))/((-1)/120)?
True
Let x = -3 + -9. Let n = x + 18. Suppose -n*o + 3*o = -2*l - 32, 4*l + 44 = 4*o. Is 5 a factor of o?
True
Let l(s) = 39*s + 4. Does 32 divide l(4)?
True
Let c(z) = -z - 8. Let b be c(-7). Let s(x) = 2*x**3 - x. Let j be s(b). Let n(q) = -51*q - 1. Does 25 divide n(j)?
True
Let p = 3 - 0. Suppose -2*z + p = -z. Suppose -z*a = 4*b - 29 - 7, 5*a + 5*b = 60. Does 9 divide a?
False
Suppose 18*k = 19*k - 36. Is 18 a factor of k?
True
Suppose 4*l = 97 + 59. Suppose -5*o = -5*k + 95, -3*o = k - 0*o - l. Is 11 a factor of k - (1 - (3 + 0))?
False
Let h(a) be the third derivative of -3*a**4/8 + 2*a**3/3 + 2*a**2. Is h(-5) a multiple of 15?
False
Suppose 2*r - 2*p = -2, -4*p - 5 = -3*r + p. Let i = r + 21. Is 8 a factor of i?
True
Suppose -5*j - 2*x = -411, -16 - 59 = -j + 2*x. Is 10 a factor of j?
False
Does 51 divide -17*1*(-9)/1?
True
Suppose -1 - 8 = -3*l. Suppose -l*u - 99 = -6*u. Is 11 a factor of u?
True
Is 15 a factor of (3 + -13)/(2/(-19))?
False
Let k = 8 - 9. Let s be ((-6)/k - 2)*50. Does 7 divide 6/(-21) - s/(-14)?
True
Let k = 7 + -5. Suppose 316 = -k*c - 94. Is 3 a factor of c/(-25) - (-1)/(-5)?
False
Does 8 divide (-2 + 0 - -3)/(2/64)?
True
Suppose -2*q = g - 38, -7*g = -2*g + q - 145. Is (-334)/(-8) + 7/g a multiple of 21?
True
Let v = -19 + 23. Suppose -37 = v*x - 133. Is x a multiple of 24?
True
Let p(h) = 4*h**3 - 4 - 1 - h + 3 - h**2. Is 24 a factor of p(2)?
True
Let j(l) = -l**2 - 28*l - 23. Does 13 divide j(-12)?
True
Suppose 0*s + 4*a - 34 = -s, 82 = 5*s - 2*a. Does 9 divide s?
True
Let o(p) be the first derivative of -p**3/3 - p**2/2 - p - 1. Let k be o(-1). Does 10 divide k/1 + (-11)/(-1)?
True
Let w(a) = -a**2 + 23*a - 20. Is w(12) a multiple of 28?
True
Suppose 0 = s + s - 4*z - 24, -2*s = 4*z + 8. Let q(l) = -l + 15. Let v be q(10). Suppose -24 = -h - v*x, -h + s*x + 10 = -5. Does 9 divide h?
False
Let q = -3 - 0. Let s = q - -5. Does 6 divide (-4 - s)/(1/(-1))?
True
Let l = 251 - 173. Is l a multiple of 7?
False
Suppose -4*u + 0*u = -56. Suppose 192 = -2*f - 320. Does 8 divide f/(-14) + (-4)/u?
False
Suppose -h = -2*m + 12, -2*h + 3*h - 3*m = -17. Let g be (22/(-6))/(h/(-12)). Let i = g + 36. Is 7 a factor of i?
True
Let g = -20 - -36. Does 6 divide g?
False
Let q be -1 + (2 - -1) + -1. Is (-2)/2 + q + 28 a multiple of 14?
True
Suppose -4*y = y - 30. Does 4 divide y?
False
Let j(g) = g**3 + g. Let p(c) = -2*c + 9. Let a be p(3). Does 15 divide j(a)?
True
Let a = 19 - 13. Suppose -12 = 5*v - a*v. Is v a multiple of 3?
True
Suppose -4*v + 7 = -17. Suppose 14 = 4*p + v. Suppose o + p*o = 24. Does 8 divide o?
True
Is 34 a factor of (0/1 - 1)*0 + 193?
False
Let q(o) = -8*o - 3. Let a be (4/(-8))/(1/6). Is 7 a factor of q(a)?
True
Let x(p) = -p**3 + 5*p**2. Let h be x(5). Suppose -3*n + 0*n - 30 = h. Let v(a) = -a**2 - 10*a + 7. Is v(n) a multiple of 7?
True
Suppose 2*z + z + i = 52, 0 = 2*i - 8. Is z a multiple of 16?
True
Let w = 8 + -8. Suppose w*i = 3*i + 84. Let z = i - -48. Does 10 divide z?
True
Suppose -5*v - 17 = -n, 4*n + 3*v - 2 = -3. Suppose 6*x - n*x - 64 = 0. Is 8 a factor of x?
True
Let x(u) = 1. Let n(w) = -w - 1. Let j(d) = 6*n(d) + 5*x(d). Let c be (3/(9/24))/(-2). Is 19 a factor of j(c)?
F