27/a?
True
Let m(j) = j + 10. Let r(s) = 2*s**2 + 9*s - 1. Let i be r(-8). Suppose -5*n - 5*g = -i, 5*n + 3*g - 15 = 8*g. Is 9 a factor of m(n)?
False
Suppose 5*m + 27 = 2*r, -m = 2*r + 3*r - 81. Suppose 0 = -3*i - 5*s + 14, -4*s = 3*i - 0*s - r. Does 7 divide i?
False
Suppose -69 - 69 = -3*b. Let j = 65 - b. Is j a multiple of 16?
False
Suppose -8*d = -5*d. Suppose d = -3*s + 5*b + 64, 60 = 3*s - 3*b + 6. Is s a multiple of 11?
False
Is 4/18 - 1128/(-27) a multiple of 9?
False
Suppose 5*x = -2*n + 78, -2*n - 2*x + 3*x = -66. Does 17 divide n?
True
Suppose 2*v - 1 = -15. Does 13 divide 2/(-7) + (-156)/v?
False
Suppose 0 = -3*w + 5 + 1. Suppose 5*p + 5*c - 136 = 244, -2*p = -w*c - 148. Does 25 divide p?
True
Let r(j) = j**2 - 3*j - 8. Is r(-7) a multiple of 31?
True
Suppose 3*p = 27 + 3. Suppose -5*w + p*w - 5*r - 90 = 0, -4*r + 12 = 0. Is 10 a factor of w?
False
Suppose -12 = -4*s, -8*m = -3*m + 5*s. Let x be (34/(-4))/(m/6). Does 7 divide x/(2 + -1 + 0)?
False
Let g be 1353/9 + 2 - 2/6. Suppose -1 = n - 6. Suppose t + g = n*t. Is t a multiple of 19?
True
Let i(u) = 2*u**2 - 4*u + 6. Is 5 a factor of i(4)?
False
Let j(o) = o**2 + 9*o - 11. Is 6 a factor of j(-12)?
False
Suppose 5 = 5*i - 10. Suppose 0 = p + 3*p + i*h - 639, 2*p - h - 327 = 0. Does 8 divide 3/(-15) - p/(-10)?
True
Let u(j) be the third derivative of j**4/12 + j**3/2 + j**2. Is u(8) a multiple of 19?
True
Suppose 99 = 2*s - 111. Does 25 divide s?
False
Suppose -4*u = 4*q - 50 - 358, 4*u - 405 = -5*q. Is u a multiple of 21?
True
Suppose 0 = -3*a + 4*u + 26, -2*u = -3*a + 2 + 14. Suppose -2*h + 80 = -a*x, 82 + 4 = 2*h + x. Does 14 divide h?
True
Suppose c = -0*d - d + 12, -66 = -5*c - 3*d. Is 5 a factor of c?
True
Let g(l) = -l - 4. Let t(c) = c - 13. Let f be t(9). Let p be g(f). Suppose -2*r = 4*k - 50, -r - 59 = -5*k - p*r. Does 4 divide k?
True
Suppose 2*s = -10, 3*g - 5*g + 205 = s. Is g a multiple of 15?
True
Let h(g) = g**2 + 7*g + 10. Let l be h(-7). Suppose -26 = -4*x + l. Is 5 a factor of x?
False
Suppose n = -4*j + 15, 0*j = 2*j - 4*n + 6. Suppose -g - 2*f + 20 = 0, j*g = -0*f - 3*f + 51. Is 5 a factor of (-1*g/2)/(-1)?
False
Let g be 12/(-16) - (-6)/8. Suppose 0 = -4*r - 3*d + 51, 4*d + 7 + g = 3*r. Does 8 divide r?
False
Let f(m) = m - 2. Let h = 8 + -3. Let b be f(h). Suppose b*x - 18 = 2*x. Is x a multiple of 9?
True
Is 9 a factor of (4 + -5)/(3/(-27))?
True
Let y(h) = 28*h**2. Let s be y(1). Suppose -4*o = -s - 76. Is o a multiple of 13?
True
Let m = 15 - 9. Suppose -2*f + m*f - 124 = 0. Is 13 a factor of f?
False
Suppose -7*h - 117 = -3*h - 3*v, -4*v + 13 = -h. Let b = -23 + h. Is 5 a factor of b/(-10) + 3/(-5)?
True
Let k(x) = 4*x**2 + 3*x - 5. Does 5 divide k(3)?
True
Let s = -38 - -63. Suppose -w = q - 17, -3*w - q - s = -5*w. Is 7 a factor of w?
True
Let v(l) = l - 25. Let x be v(13). Does 17 divide 13/((-2)/x - 0)?
False
Let m(v) be the second derivative of -11*v**3/6 + v**2/2 + v. Let g be m(2). Does 16 divide 7/g - (-110)/6?
False
Let j(s) = 2*s**2 - 7*s - 7. Does 15 divide j(9)?
False
Suppose 4*j - 496 = 4*x, 0 = 4*j + 2*x + 188 - 684. Is j a multiple of 12?
False
Let h(o) = 12*o**2 + o + 1. Let g be h(-2). Suppose 0 = n + 5*v - 16, 4*n + 4*v = v + g. Let m = 0 + n. Is 10 a factor of m?
False
Suppose -4*r - 5*j = r - 175, 0 = 4*r + 5*j - 142. Does 25 divide r?
False
Suppose -4*s + l = -l - 196, 4 = -l. Does 24 divide s?
False
Suppose 5*s + 5*o = 310, -131 = -3*s + 5*o + 31. Suppose 86 = 5*h - s. Is 18 a factor of h?
False
Let s = 138 - -9. Is 27 a factor of s?
False
Let f be 3/2*(-4)/(-2). Suppose -4*i = 12 - 32. Suppose 0 = -i*w - f - 7, 4*h - 138 = 3*w. Is 9 a factor of h?
False
Suppose 0 = 3*p - 2*g - 1354, p + 4*g - 83 - 359 = 0. Does 50 divide p?
True
Suppose s + 14 = -s. Let p(v) = -v**3 - 6*v**2 + 5*v - 10. Let h be p(s). Is 12 a factor of (-2)/h + 147/6?
True
Suppose 7*v - 2*z = 3*v + 46, 5*v - 3*z = 56. Is 3 a factor of v?
False
Let p(y) = -y**3 - 5*y**2 + 4*y - 5. Let n be p(-6). Let j = 69 - n. Is 17 a factor of j?
False
Is 5 a factor of (-9 - -2)/14 + (-55)/(-2)?
False
Suppose -4*r + 20 + 0 = 0, -4*r + 26 = 3*s. Suppose -s*c = -11 + 1. Does 5 divide c?
True
Suppose -4*b + 6 + 2 = 4*z, 2*b - 3*z + 6 = 0. Let l(r) = r + 11. Is 5 a factor of l(b)?
False
Suppose -2 - 3 = -5*l, 4*r - 5*l = -69. Let f = 24 + r. Is 5 a factor of f?
False
Suppose 0 = -z - z. Suppose z = 4*p - 2*p - 24. Let y = p - -13. Does 11 divide y?
False
Let p = 115 - -196. Is p a multiple of 22?
False
Let l be 168/(-9) - (-2)/3. Is ((-40)/(-12))/((-4)/l) a multiple of 5?
True
Let s(f) = -f**3 - 7*f**2 - 3*f - 4. Is s(-8) a multiple of 13?
False
Suppose 0*c = 4*c - 204. Is 17 a factor of c?
True
Suppose 3*t + 1 = o + 17, 0 = -4*t - 2*o + 38. Suppose -t - 3 = 5*v. Let l(k) = -4*k**3 - 3*k**2 - k + 1. Is l(v) a multiple of 8?
False
Does 16 divide (5 - -72) + (-2 - -2)?
False
Let s(g) = 4*g + 5. Is s(4) a multiple of 4?
False
Suppose 4*a - 4*s = 328, 4*a - 216 = -5*s + 130. Is 30 a factor of a?
False
Let g = 67 + -18. Let z = -33 + g. Is z a multiple of 16?
True
Suppose -4*d = -5*d + 10. Suppose -d = -3*h + h. Is h a multiple of 2?
False
Let p(l) = -24*l - 2. Let n(i) = i**3 + 6*i**2 - 8*i - 10. Let o be n(-7). Is p(o) a multiple of 22?
False
Is (200 - 5) + -1 + (-1)/1 a multiple of 18?
False
Let b = 347 - 243. Is 30 a factor of b?
False
Suppose -2 = -i - 0. Let a = i - 3. Is (a - 64)*8/(-20) a multiple of 13?
True
Suppose -80 = 2*v - 16. Let j = -2 - v. Is j a multiple of 10?
True
Suppose 0 = -2*m + 6*m - 16. Suppose 9 = v + m*c - 2, -v - 5*c + 12 = 0. Is 7 a factor of v?
True
Let c(i) = -11*i - 3*i**2 + 14 + 2*i**2 + 0*i**2 - 7*i. Is c(-15) a multiple of 12?
False
Suppose 11*g = 7*g + 784. Is 11 a factor of g?
False
Suppose -4*r + 3*p + 46 = p, 5*r = -5*p + 35. Does 2 divide r?
True
Let r = -13 - -45. Let y(c) = -5*c - 1. Let m be y(-3). Let i = r - m. Is 5 a factor of i?
False
Is 12 a factor of (2/(-4) + 2)*(-12 + 52)?
True
Suppose -5*z + 112 = -b + 4*b, -4*z + 49 = b. Let g = b - 11. Does 17 divide (5 + g)*1/1?
False
Let r = 26 + -14. Is (8/r)/(3/144) a multiple of 20?
False
Let s = -10 - -16. Let y = s + 6. Is y a multiple of 6?
True
Suppose 266 - 66 = 2*w. Is w a multiple of 25?
True
Let s be 15*(-1 + 12/9). Suppose 3*r = s*r - 12. Is 3 a factor of r?
True
Let s(m) = 9*m - 1. Is 13 a factor of s(3)?
True
Suppose -3*a + o + 3 = -38, o + 29 = 2*a. Is a a multiple of 10?
False
Suppose 44 = 2*t - 16. Let b = t - 12. Is b a multiple of 8?
False
Suppose -2*j = 2*j. Let y = -2 - j. Does 7 divide y/3 + 69/9?
True
Let q(i) = 2*i**2 + 4*i - 6. Does 24 divide q(3)?
True
Let l(h) = -h**3 - 4*h**2 - 2*h - 1. Let k be l(-3). Let j(v) = -2*v - 4. Does 2 divide j(k)?
True
Let h = 633 - 279. Does 61 divide h?
False
Let r = -34 + 48. Let k = -5 + r. Does 9 divide k?
True
Let n be 1076/16 + 1/(-4). Let g = 99 - n. Does 16 divide g?
True
Let k = -5 - -10. Is (k - -16) + -1 + 1 a multiple of 4?
False
Let y(u) = 3 - 1 - 3 + 4*u + 5. Let c(j) = 1. Let t(b) = 10*c(b) - y(b). Is t(-6) a multiple of 10?
True
Let l(i) = -i**2 + 4*i - 3. Let v be l(2). Let c(x) = 21*x**2 + x - 1. Is 12 a factor of c(v)?
False
Suppose q - 91 = 4*z + 66, -4*q + 4*z = -568. Suppose -4*x - 8 = 0, 4*r - r - 4*x = q. Does 15 divide r?
False
Suppose -2*d + 2*t = -d - 5, -5*t = -3*d + 10. Let l = 2 - d. Is l a multiple of 7?
True
Suppose 0 = 4*c - 10*c + 1170. Does 28 divide c?
False
Let r(m) = -m**2 - 11*m - 1. Let x = -6 + -14. Let l be 185/x - 1/(-4). Is r(l) a multiple of 17?
True
Let w = 9 - 5. Suppose -16 = -4*q + w. Does 5 divide q?
True
Suppose 5*n = -k + 241, -2*k - 210 + 6 = -4*n. Is 13 a factor of n?
False
Suppose 27*t - 5*t - 572 = 0. Is 6 a factor of t?
False
Let o(w) = -w**3 - 3*w**2 + w + 2. Let d be o(-3). Let a be (-100)/(-8) - d/(-2). Is 9 a factor of (a/(-5))/((-4)/30)?
True
Suppose -2*i - 2*i - 284 = -4*n, 0 = 5*n - 3*i - 357. Does 11 divide n?
False
Let q be (1/(-3))/(2/6). Let j be 7/(3 + q - 1). Suppose c = -3*h + 7, c + 0 = 2*h + j. Is 5 a factor of c?
False
Suppose -2*h = -0*h. Suppose 155 = -h*c + 5*c. Does 17 divide c?
False
Suppose -303 = -3*p - 3*h, 5*p - 5*h - 297 = 228. Let g = p - 67. Does 13 divide g?
False
Suppose -4*d = -12, -4 = 2*r - 3*r - 3*d. Let w = -34 - -16. Let p = r - w. Is 9 a fac