 289. Is 19 a factor of a?
False
Let x be 0/(-1 + 0 - 1). Let i = -3 + x. Is 3 a factor of ((-2)/5)/(i/45)?
True
Suppose -4*p - p = 0. Suppose -n + 2*z + 61 = -0*n, -n - 4*z + 43 = p. Is n a multiple of 25?
False
Let g = 14 + -9. Suppose g*a - 10 = 5*x, 3*a - 2*x - 16 = -4*x. Is 9 a factor of 2/4 - (-94)/a?
False
Let a = 98 + 16. Is 57 a factor of a?
True
Let v = -66 - -90. Does 3 divide v?
True
Is 21 a factor of (19 - -6)/((-2)/3 - -1)?
False
Let g be 6/(-9) - (-17)/3. Let t(m) = 2*m - g*m - m. Does 13 divide t(-7)?
False
Let j(c) = 2*c**2 + 2 - 2. Does 17 divide j(4)?
False
Let f be (2 - (-9)/(-6))*6. Suppose v = -2*v - f. Is 6 a factor of (v/(-1))/((-1)/(-9))?
False
Let k(a) = 15 - a**2 - 15 + 12*a. Does 8 divide k(9)?
False
Let u(h) = -2*h + 2*h**2 - 1 - 5*h - 1. Let w(y) = -y + 12. Let r be w(7). Is u(r) a multiple of 12?
False
Suppose 0 = -o + 2*o + 3*f - 23, -4*o + 3*f + 17 = 0. Is 6 a factor of o?
False
Let m = 9 - 4. Suppose -4*s + 70 = m*h - 100, 3*h - 3*s = 75. Is h a multiple of 10?
True
Let n(y) = y**2 + 6*y. Suppose 8*r - 30 = 3*r. Is 18 a factor of n(r)?
True
Let h(d) = -3*d - 12. Suppose 0 = -2*i - 2*i - 56. Is 8 a factor of h(i)?
False
Let r(m) be the second derivative of 19*m**5/120 - m**4/24 - m**3/2 + m. Let y(u) be the second derivative of r(u). Does 9 divide y(1)?
True
Suppose -u = -2*y + 2*u - 13, -2*y + 5*u - 23 = 0. Let w(g) be the first derivative of 4*g**3 + g**2 - g + 6. Is w(y) a multiple of 5?
False
Suppose n = -4*m + 140, 3*m - 41 - 51 = -4*n. Suppose -4*z + m = -0*z. Suppose z = 5*t - 21. Is 6 a factor of t?
True
Suppose 3*r + 7 = a, a + 13 = -r + 4*a. Let s be 0 + (0 + 0 - -2). Let w = s - r. Does 3 divide w?
True
Suppose 0 = 5*o - 3*m - 13, -2*o - 1 = -5*m + 9. Is 12 a factor of ((-24)/o)/((-2)/10)?
True
Let t(v) = -9*v. Let g be t(-8). Let o = 127 - g. Does 22 divide o?
False
Suppose -4*p + 87 = -5*b - 402, -4*p + b = -501. Is 28 a factor of p?
False
Suppose 3*q - 2 = 2*o, 2*q + 16 = q + 4*o. Suppose -3*f + 39 = -3*z, -q = 2*z + 4. Is f a multiple of 9?
True
Let g(o) = o**3 - 13*o**2 + 3*o + 16. Let j be g(13). Suppose 0 = -2*y - 3*y + j. Is y a multiple of 11?
True
Suppose 0 = -4*q + 3*q + 34. Let c(z) = 2*z + 1. Let f be c(5). Let a = q - f. Is a a multiple of 16?
False
Suppose 0 = -3*y + 27 + 12. Is 4 a factor of y?
False
Let g(a) = -13*a + 7. Let i(y) = 6*y - 3. Let z(k) = -3*g(k) - 7*i(k). Let n be z(-1). Suppose n*m + h - 53 = 0, -5*h - 3 = 2. Does 9 divide m?
True
Let j be ((-15)/10)/((-6)/8). Let l(b) = 28*b + 4. Does 20 divide l(j)?
True
Let q(n) = 1. Let k(j) = -12*j + 4. Let a(o) = k(o) - 5*q(o). Does 17 divide a(-4)?
False
Let g(l) = -l**3 - 5*l**2 - 5*l - 5. Let d be g(-4). Let y = d + 1. Suppose y = -4*q + 8*q - 16. Does 3 divide q?
False
Suppose t - 35 = -4*t + 2*z, 30 = 3*t - 3*z. Does 22 divide (-436)/(-10) + 2/t?
True
Let l = -90 - -138. Is l a multiple of 12?
True
Let a = -31 + 44. Suppose 3*j = x - 0*j + a, 2*x + 20 = 4*j. Let v = 2 - x. Is v a multiple of 3?
True
Let b(h) = -h**3 - 6*h**2 + 3. Let j be b(-6). Suppose 0 = -5*i - 15, -2*i = j*m - 7*m + 70. Is 13 a factor of m?
False
Suppose 2*j - 2*h + 2 = 4, -j - 2*h + 7 = 0. Suppose r + 3 = -0*r - 2*l, -j = 3*l. Does 16 divide (0 - 2) + (r - -19)?
True
Suppose -3*n - 10 = -3*d + 2*n, 2*d + 2*n - 28 = 0. Is 6 a factor of -3 + d + 2 + -3?
True
Suppose 4*h = -50 + 186. Suppose 0 = c - 16 - h. Suppose 4*k - c - 10 = 0. Is 11 a factor of k?
False
Let q(a) = 8*a**2 - a - 1. Let z(n) be the first derivative of -n**4/4 + 7*n**3/3 + n**2/2 - 8*n - 3. Let o be z(7). Is q(o) a multiple of 8?
True
Let o = -2 - -2. Suppose 2*k - 7*k + 30 = o. Is 6 a factor of k?
True
Suppose 5*t + 3*x - 9 = 0, -4*t - 3*x + 9 = -0*t. Let w be -1 + 5 + t/1. Suppose w*d = -0*d + 72. Is 12 a factor of d?
False
Does 7 divide (108/(-48))/(2/(-8))?
False
Let o = 8 - 3. Suppose 0 + o = -5*n. Does 4 divide (-2 - 2 - n) + 7?
True
Let l(q) = 3*q - 4. Let c be l(3). Suppose i - c*i = -20. Suppose -74 - 45 = -3*x - 2*h, -i*x + 198 = 3*h. Is x a multiple of 17?
False
Let f(m) = -m + 3. Let g be f(0). Suppose -g*j + 64 = -62. Does 20 divide j?
False
Suppose -16 + 97 = -3*i. Let h = 11 - 18. Let m = h - i. Does 10 divide m?
True
Let k(y) be the second derivative of 0 + 1/6*y**4 - y + 1/2*y**2 + 1/6*y**3. Is k(-3) a multiple of 16?
True
Let c = 145 - 64. Suppose 3*x = c + 132. Does 13 divide x?
False
Let z(v) = -3*v**2. Let q be z(4). Let h = 88 + q. Does 14 divide h?
False
Suppose -3*y + 110 = 5*v + 35, 3*y = -v + 27. Suppose p + 2*p - v = 0. Suppose -t + 5 = c, -6*c + c = -2*t - p. Is t even?
False
Let g = 0 + 0. Suppose g = 3*j - 6*j + 66. Does 10 divide j?
False
Let z be (12/(-16))/((-1)/(-8)). Let h = z - -33. Does 9 divide h?
True
Suppose p = 3*i - 7, -2*i + 1 = i - 4*p. Suppose -v = -i*v + 60. Is 15 a factor of v?
True
Suppose 176 = 4*o - 4. Suppose 5*v - o = -4*x, -v + x + 9 = 3*x. Is 3 a factor of v?
True
Suppose 3*a + 5*y + 23 = a, 4*a + 13 = y. Let m(i) = 2*i**3 - 4*i**2 + 4. Let h be m(3). Let r = h + a. Is 9 a factor of r?
True
Suppose -4*a + 112 = 3*a. Is 4 a factor of a?
True
Let s(g) be the second derivative of 7*g**3/3 - 3*g**2 + 3*g. Is 25 a factor of s(4)?
True
Suppose -4*i = -7 - 1. Let p be -2*(-1)/i*5. Suppose 0 = -3*o + 5*c - 3*c + 12, -p*c - 5 = 5*o. Is o a multiple of 2?
True
Suppose 2*o - 70 = -3*b, -b - 84 = -2*o + 3*b. Suppose o = 3*u - 16. Is u a multiple of 5?
False
Let m(x) = -29*x + 29. Let u(q) = 6*q - 6. Let j(r) = 2*m(r) + 11*u(r). Does 8 divide j(4)?
True
Let p = 17 + 1. Is 8 a factor of p?
False
Let d(j) = -j**2 - 7*j + 4. Let s be d(-4). Suppose -l = 4*k + 19, -5*l = -3*k + 4*k + 38. Let v = s + l. Does 5 divide v?
False
Suppose y - 5*y = -32. Is 13 a factor of (-26)/(-2)*(y - 7)?
True
Suppose 4*o + 0*o - 24 = 0. Is o a multiple of 6?
True
Suppose 3*b - 4*b + h - 5 = 0, -12 = 2*b - 3*h. Let i be (-3)/(b/45*1). Suppose 3*q - v = v + 63, 3*q - i = -4*v. Is q a multiple of 7?
False
Let j = -9 + 28. Is j a multiple of 8?
False
Is 14 a factor of -14*((-60)/(-8))/(-3)?
False
Let q be (6/(-7))/((-2)/7). Suppose 0*c = c + q*t - 43, -3*c + t + 159 = 0. Does 19 divide c?
False
Let i be (-1 + 9 + -2)/2. Suppose a + 0*n - n = 0, -6 = i*n. Does 17 divide a/((-96)/(-51) - 2)?
True
Is 35 a factor of 4/(-12) - 842/(-6)?
True
Suppose -31 = -4*n + 25. Is 12 a factor of n?
False
Is ((-490)/(-42))/((-2)/(-18)) a multiple of 13?
False
Suppose 2*j - 60 = 34. Is 14 a factor of j?
False
Let d(x) = -20*x**2 - 5*x + 9. Let b(t) = -2*t + 0*t - 9*t**2 + 2*t**2 + 3. Let h(u) = 17*b(u) - 6*d(u). Does 13 divide h(-4)?
False
Suppose p - 5*g - 475 = -4*p, -3*p + g + 283 = 0. Let y be (4 + -63)*(3 + -2). Let c = p + y. Does 15 divide c?
False
Is (664/(-3) + 12/(-18))/(-2) a multiple of 13?
False
Let c(o) = o - 11. Suppose -3*p + 22 = -u, u = 5*p + 2*u - 50. Let v be c(p). Let m = v - -19. Does 17 divide m?
True
Is 28 a factor of 2/(-3 - -5) + 91?
False
Is 16 a factor of 2/(4*3/384)?
True
Let w = -1 - -155. Is 22 a factor of w?
True
Let f(n) = -n**3 + 12*n**2 - 11*n - 6. Let y be f(11). Does 10 divide (7 + y)*10/1?
True
Suppose w = -1, g - 4*g - 3*w + 177 = 0. Suppose z - g = -0*z. Does 17 divide z?
False
Is 15 a factor of (-1102)/(-8) - 18/24?
False
Suppose -16 = -3*k - h, -2*k + 5*h + 15 = 2*k. Let f = 3 - k. Does 16 divide ((-3)/2)/(f/28)?
False
Suppose 0 = -4*s - s. Suppose s = 3*o - 8*o. Suppose -5*v + 3*p + 141 = o, 4*p + 159 - 21 = 5*v. Does 10 divide v?
True
Let p = 10 - 31. Let k = p + 53. Does 10 divide k?
False
Suppose -v - 2*v - 2*j + 87 = 0, -4*v + 5*j = -116. Is 3 a factor of v?
False
Let t = 174 - -25. Is t a multiple of 22?
False
Let n = -11 - -28. Let u = 40 - n. Does 8 divide u?
False
Let q = -24 + 55. Let u = q + -22. Does 5 divide u?
False
Suppose -2*u + 1 - 11 = 2*l, -l + 1 = 4*u. Let r = -8 - l. Is (-16 - (3 - 1))/r a multiple of 7?
False
Let f be 3 + 0 + 0 + 1. Let c be f/4 - 8/2. Is 11 a factor of (-4 - c)/(2/(-22))?
True
Let n(l) = -2*l - 3. Let d be n(-2). Suppose 0 = s + d - 2, -2*k + 3*s = -1. Does 15 divide 31/1 + (k - 4)?
False
Let l be (5 - -3) + -1*2. Let m be ((-2)/6)/(l/18). Is m/(-2)*0 - -3 even?
False
Let p be 15/(-10) + (-7)/(-2). Suppose -x = p*j - 6, 4*j = j + 5*x + 35. Is 5 a factor of j?
True
Let h(z) = 4*z**3 + 15 + 20*z**2 + z**3 - 7*