/(-12)?
False
Let i = 9 + 3. Suppose -3*q + 57 = -i. Is 12 a factor of q?
False
Suppose -2*l + 306 = 3*d + 71, d = 3*l - 380. Let q = l - 75. Is 9 a factor of q?
False
Let p = 78 + -30. Does 16 divide p?
True
Is 5 a factor of (-145)/(-15) + (-1)/(-3)?
True
Suppose 3*f - 90 = -2*f. Does 10 divide f?
False
Let n = -26 - -38. Is n a multiple of 4?
True
Let v be (-2)/(1/(6/(-4))). Let z = 5 - v. Suppose -5*t - 5*g = -3*g - 105, z*g = 0. Is 11 a factor of t?
False
Let v = -25 - -57. Is 8 a factor of v?
True
Let d be (1 - 15)/(1/2). Let b = 56 + d. Does 20 divide b?
False
Suppose d + g - 13 = -2*g, -4*d + 2*g + 52 = 0. Is d even?
False
Let t(s) be the second derivative of -s**5/20 + s**4/6 + s**3/6 - 4*s. Let v be t(2). Suppose -l + 30 = 2*h - v*l, -h + 20 = 2*l. Is 12 a factor of h?
False
Suppose -2 = 4*s - 22. Suppose 110 = s*l - 115. Is 9 a factor of l?
True
Let p(o) = -2*o. Let c be p(-6). Let b = c + -7. Is b even?
False
Let k(t) = 10*t + 3. Let y be k(4). Let b = y + -23. Is 19 a factor of b - (0 + 0 + 1)?
True
Let p(r) = -r + 52. Does 23 divide p(6)?
True
Let m be ((-64)/40)/((-4)/270). Suppose -5*t + t = -m. Does 9 divide t?
True
Suppose -3*j - 2*h + 69 = 0, 3*j + 117 = 8*j + 4*h. Is 21 a factor of j?
True
Let l(f) = 14*f + 1. Let n(j) = 1. Let v(m) = l(m) + n(m). Does 15 divide v(2)?
True
Let b be (24/20)/(6/40). Let y = -4 + b. Suppose -y*z + 32 = -w, -4*w + 20 = 5*z + 1. Is z a multiple of 7?
True
Suppose 4*z - 5*z + 2*l - 24 = 0, 5*z + 5*l + 60 = 0. Let v = 0 - z. Does 8 divide v?
True
Let j(y) = 6*y**2 + y + 1. Is j(-1) a multiple of 3?
True
Let v(x) = -x**2 - 2*x + 6. Let g(d) = d**2 + 3*d - 5. Let r(f) = 3*g(f) + 2*v(f). Let s be r(-6). Suppose 69 = -0*l + s*l. Does 9 divide l?
False
Let t(j) = j**3 - 3*j**2 - 2*j - 5. Let d be t(4). Suppose d*p = -2*p + 120. Let q = 34 - p. Does 5 divide q?
True
Let g(w) = 2*w**2. Is g(5) a multiple of 29?
False
Let x(d) = d**3 - 7*d**2 + 7*d + 3. Let q = 3 - -3. Is x(q) a multiple of 9?
True
Suppose 4*i + 465 = -163. Let w = 307 + i. Suppose 5*a - w = -0*a. Is a a multiple of 13?
False
Let v(a) be the third derivative of -a**6/120 - a**5/6 - 5*a**4/12 + 5*a**3/6 - 11*a**2. Let g = -13 + 4. Is 7 a factor of v(g)?
True
Suppose 0 = -4*s + 3*s - 40. Is 12 a factor of 1/(3/(-1 - s))?
False
Suppose 0 = -l - 2*l + 15. Let c = -9 - -13. Suppose c*t = l*n + 34 + 9, 3*t - 5*n - 31 = 0. Is 6 a factor of t?
True
Let y(w) = -2*w - 5. Suppose -3*a = 3 + 21. Is 11 a factor of y(a)?
True
Suppose t + 3*t - 60 = 0. Let l = t - 24. Let c = l - -30. Is 7 a factor of c?
True
Let y = -2 - -3. Let h = 3 - y. Suppose 4*v + h*n - 86 = 0, 5*v - 3*n - 130 = 2*n. Does 11 divide v?
False
Let x = 170 - -35. Is x a multiple of 41?
True
Let o be 1*7 + 6/(-3). Suppose j = y - 21, 2*y = -3*j + o + 17. Is y a multiple of 6?
False
Let q = 5 - 42. Let v = 130 + q. Is 31 a factor of v?
True
Suppose -4*i = -2*x - 270, 0*x = -x - 1. Does 30 divide i?
False
Suppose -b - 14 = -5*q, 3*q + 16 = q - 5*b. Does 2 divide q?
True
Suppose f + 4*f = 0. Let x = 0 + f. Is 7 a factor of 2*9 + 0 + x?
False
Let f be (-3)/(-6)*(5 + -1). Suppose 0*c - 56 = -f*c. Does 7 divide c?
True
Suppose 0 = -4*v + 4*k + 296, 0*k = -4*v + 5*k + 301. Is 24 a factor of v?
False
Let d(n) be the third derivative of n**5/60 + n**4/24 - n**2. Is d(4) a multiple of 20?
True
Let c(i) = -4*i**2 + 5*i**2 - 4 + i + 0*i. Let j be c(3). Does 12 divide 110/9 - j/36?
True
Suppose 3*c + 2*l = 134, 3*l + 140 = 3*c - 4. Is c a multiple of 21?
False
Let u(m) = 6 - 1 + 12*m + 2 - m**2. Is u(11) a multiple of 9?
True
Let a(r) = 0*r - r**2 + 2*r - 10*r. Let l = -2 - 4. Is a(l) a multiple of 6?
True
Let r = 9 + 4. Let c = r + 6. Does 19 divide c?
True
Let a = 231 + -127. Is a a multiple of 18?
False
Let t = -4 - -7. Suppose -3 = -3*m + 4*h, -t*m + h + 6 = -2*h. Is m a multiple of 2?
False
Let b(i) = 6*i - 4. Let s = 3 + -7. Let a = 7 + s. Does 7 divide b(a)?
True
Suppose -i + 2*s = -0*i - 20, -3*i = 5*s - 82. Does 12 divide i?
True
Suppose 0 = 4*h - 5*h + 7. Let t = h + -5. Suppose 0 = -4*i - t*w + 102, -4*i = -5*w + 3*w - 122. Is 21 a factor of i?
False
Suppose -5*u - 19 = -4, -4*m + 88 = -4*u. Is m a multiple of 18?
False
Let t(r) = -r**2 - 14*r + 2. Let l be (2 - 4)/(2/7). Is 13 a factor of t(l)?
False
Let m(q) = -5*q + 1. Is 4 a factor of m(-2)?
False
Let r(f) = 2*f - 5. Let h be r(4). Suppose 2*u = h + 7. Suppose u*k = 56 + 59. Is 8 a factor of k?
False
Does 18 divide -7*(-3 - (-132)/(-28))?
True
Let w = -392 + 585. Is w a multiple of 40?
False
Suppose 4*g - 2*k - 154 = 0, -k + 3 = 2. Does 11 divide g?
False
Suppose 0 = 2*y - y. Suppose y = -5*q + 238 - 73. Does 11 divide q?
True
Let g(p) = p**3 + 9*p**2 + 7*p - 6. Let y be g(-8). Suppose y*n + 149 = 5*u, 2*u + 425 = -5*n + 4*u. Let x = -48 - n. Is 16 a factor of x?
False
Suppose 3*g - 3*m = -m + 10, -m + 16 = 2*g. Does 5 divide g/8 - 17/(-4)?
True
Let k be ((-32)/(-4))/(1/16). Let a = k + -85. Does 22 divide a?
False
Let d = 50 - -55. Suppose d = 8*i - 3*i. Is i a multiple of 12?
False
Let r = -185 - -265. Is 18 a factor of r?
False
Suppose 5*q + 5*m = 20, 0 = 5*q - 7*m + 2*m + 20. Let r(c) = c - 13. Let x be r(11). Is 12 a factor of 18 + (-3 - (x + q))?
False
Let y = -7 - -7. Suppose u - 5*u + 8 = y. Suppose -51 = -3*s + 2*v + 57, -70 = -u*s + 2*v. Is 17 a factor of s?
False
Let v(t) = -33*t**2 + 2*t - 1. Let o be v(2). Let h = -64 - o. Is 13 a factor of h?
True
Suppose -2*g - 12 = -3*g - 4*l, l = 4. Let x(i) = -i**2 - 5*i. Let u be x(g). Is 22 a factor of (u + 14)*10/4?
False
Let d = -17 + 3. Let b = d + 23. Is 9 a factor of b?
True
Let j(w) = 2*w**2 - 4*w + 2. Let d be j(2). Let i be (-23*d)/(1/5). Does 13 divide 4/18 + i/(-18)?
True
Suppose -3*k - 2*g + g + 108 = 0, 4*k - 3*g - 144 = 0. Is k/(2 + 1)*2 a multiple of 12?
True
Let u be 5*-3*(-4)/20. Suppose v + c = -u*v + 196, 3*v = 5*c + 124. Is v a multiple of 16?
True
Suppose -11 = i - 4*b, 3*i + 0*b = -2*b + 37. Does 9 divide i?
True
Suppose -r = -5*r + l + 139, -l + 176 = 5*r. Let w = 70 - r. Does 12 divide w?
False
Let d(l) = l**2 - 4*l + 3. Let a = -5 + 9. Let r be d(a). Suppose -r*p + 0*p = -57. Does 13 divide p?
False
Let f(x) = x + 2. Let g be f(5). Suppose -2*i + g = 55. Is (18/i)/(1/(-28)) a multiple of 16?
False
Let q be ((-1)/(-4))/((-2)/(-16)). Suppose 4*v = q*v + 102. Suppose 0 = -f - d + v, f - 2*d = 3*d + 21. Is f a multiple of 20?
False
Let n(u) = -10*u + 12. Let q be n(-10). Suppose -2*m + q = 2*m. Is m a multiple of 7?
True
Suppose 2*r - 94 = -m, 3*m + m = -3*r + 351. Suppose c - 3*c = -m. Is 14 a factor of c?
True
Let h(c) = -c**3 + c**2 + 2*c - 1. Let o be h(3). Let w(g) = g**2 - g + 32. Let v be w(0). Let r = o + v. Is r a multiple of 19?
True
Does 28 divide (-13 + 111)/((-1)/(-2))?
True
Suppose -3*d + 4*i = 8*i - 217, 2*d - 5*i - 183 = 0. Does 24 divide d?
False
Let j(n) = n**2 + 6*n - 2. Is 6 a factor of j(5)?
False
Let o be -2 - 9 - (-2 + 1). Let y be 102/(-4) + 2/(-4). Let w = o - y. Does 9 divide w?
False
Suppose -5*v + 46 = -0*v + o, -4*v + 28 = 3*o. Let d = v + -14. Let u = 15 + d. Is 9 a factor of u?
False
Suppose 351 = 3*a - 7*a + 3*h, 0 = -5*a - 4*h - 400. Let p be (15/(-3) - -2) + -127. Let s = a - p. Is s a multiple of 20?
False
Let y = 166 - 90. Is 12 a factor of y?
False
Let s(v) = -v - 2. Let f(p) = -p - 3. Let y(d) = -3*f(d) + 4*s(d). Is 9 a factor of y(-8)?
True
Suppose 6 = 4*a + 2*h - 12, 9 = 4*a - h. Suppose j = a + 89. Is j/6 - (-8)/12 a multiple of 16?
True
Let q be (2 - -1)/(6/16). Let j = q - -16. Is j a multiple of 12?
True
Let a(n) = 13*n**3 - n**2 + n - 1. Is a(1) a multiple of 12?
True
Suppose 3*l - 4 = 5. Suppose -l*v + 23 = 4*j, 5*v - 7 + 27 = 5*j. Suppose 3*p + j*n = -2 + 38, 0 = -2*p - 5*n + 29. Is p a multiple of 2?
False
Let r = 13 + -8. Suppose -r*s = -2*s. Suppose i + 69 = 3*t, 63 = -s*t + 2*t + 5*i. Does 8 divide t?
True
Let a = -13 - -4. Let h = a - -16. Is h a multiple of 3?
False
Suppose 4*p = 2*o, 3*p + 4*o + 11 = 33. Suppose -43 = -p*y + 7. Is y a multiple of 13?
False
Let f(k) = 1 + 2 - 3*k + 0*k**2 + k**2 + 0*k. Let t be f(3). Suppose 3 = t*s, -3*s + 10 + 31 = 2*u. Is u a multiple of 11?
False
Let d(g) = -3*g + 4. Let y be d(-7). Does 20 divide (-1)/(2 - 51/y)?
False
Let b be (1 + 3/(-2))*-12. Is (1 + b)*6 + 3 a m