*m - 174. Is 6 a factor of l(18)?
True
Let d(r) = r**2 - 5*r + 4. Let f be d(4). Suppose f = -g + 28. Is g a multiple of 4?
True
Suppose 614 = -3*a - 1837. Is (65/(-30))/13 - a/6 a multiple of 17?
True
Let g = 97 - -32. Let t = 206 - g. Is 11 a factor of t?
True
Suppose 6*o + 132 = -i + 4*o, -3*o + 608 = -5*i. Let t = 172 + i. Is t a multiple of 8?
True
Let p(x) = -x**3 + x**2 - x + 1. Let k(j) = j**3 - 8*j**2 - 2*j - 5. Let q(o) = k(o) + 2*p(o). Let a be q(-4). Is a/(-5) + (-6)/(-30) even?
True
Let c(t) = 2*t**3 + 39*t**2 + 5*t - 39. Does 92 divide c(-17)?
False
Suppose 0 = 5*f - 3*v + 5*v - 385, -3*f + 3*v + 252 = 0. Let t = f + -63. Is t a multiple of 16?
True
Let t = 33 - 29. Suppose -84 = -5*w - 2*j + 246, 3*w - t*j - 172 = 0. Is 12 a factor of w?
False
Suppose 0 = 3*w - m + 3*m + 455, -640 = 4*w - 4*m. Let x = -65 - w. Is 30 a factor of x?
True
Suppose 2*a - z = 12, 0*a = -5*a - z + 23. Let f = 53 + a. Suppose 4*h = -j + 26 + f, 3*h - 401 = -4*j. Does 28 divide j?
False
Is 8 a factor of 103851/209 + (-2)/(-19)?
False
Suppose 8 = 3*f + f. Let a be -7 - -4 - (f - -107). Is 2/(-10) + a/(-10) a multiple of 9?
False
Let g(v) = v - 74. Let o be g(0). Let s = 0 - o. Is 36 a factor of s?
False
Let d be (-1580)/(-44)*2 - 2/(-11). Suppose -i + 0*i + d = v, v - 72 = -2*i. Does 11 divide v?
False
Let p(d) = -d**3 + 12*d**2 + 11*d - 48. Is 2 a factor of p(12)?
True
Let y = 131 - -56. Is y a multiple of 2?
False
Let h = 3 + -1. Suppose -164 = -2*c - 4*n, h*c - 3*n + n = 164. Is c a multiple of 11?
False
Let n = -19 + 26. Let z be 39/(-65) - (-3)/5. Suppose -l + n + 1 = z. Is l even?
True
Suppose 87 = -5*m - 23. Let z = m - -11. Let x = z + 20. Does 9 divide x?
True
Let h be (-6)/(18/(-15))*-1. Let w = 171 - h. Is 22 a factor of w?
True
Let g(n) = 2*n**3 - 21*n**2 + 13*n - 18. Does 4 divide g(10)?
True
Let g(c) = -c + 106. Is g(7) a multiple of 33?
True
Suppose b = -3 + 12. Suppose 0 = -b*u + 13*u - 352. Is 18 a factor of u?
False
Let j be ((-12)/(-8) + 91/(-2))/(-1). Suppose 2*o - j = -2*o. Does 9 divide o?
False
Suppose -2*i = -3*p - 1453, -3*p = 2*i - 186 + 1619. Let d = -321 - p. Does 32 divide d?
True
Suppose -7508 + 22796 = 21*u. Is u a multiple of 13?
True
Let a(j) be the third derivative of -j**6/120 - j**5/30 + j**4/4 - 5*j**3/6 + 3*j**2. Suppose -7*n - 27 = 8. Is 8 a factor of a(n)?
True
Is 9 a factor of 21/(14 + -7) - -369?
False
Let n(u) = -u - 23. Let c be n(-20). Suppose -4*y = 4, -2*h - 3*y = -h + 1. Does 19 divide 59 + 4 + c + h?
False
Let d be (1/4)/(3/132). Let o = 12 - d. Suppose o = z - 2*s, z - 17 = -3*z - 5*s. Is 3 a factor of z?
True
Suppose -2*b + h = -22, -5*b + 2*h - h + 49 = 0. Let n(z) = -z**3 + z**2 + 3*z + 1. Let i be n(-2). Let w = b + i. Is w a multiple of 6?
False
Let f be (4 + -2)*((-3)/2 - 0). Let m(t) = -t**3 - t**2 - 4*t - 9. Does 7 divide m(f)?
True
Suppose 84*t - 97*t + 260 = 0. Does 12 divide t?
False
Let w = -5 + 6. Let v be (w - 2)/((-2)/(-10)). Let z(j) = -j**3 - 5*j**2 - 8*j - 7. Is z(v) a multiple of 10?
False
Suppose -341 = 2*g + a, -2*g - 4*a = -5*a + 331. Is g/18*576/(-28) a multiple of 24?
True
Suppose h + 2*r - 635 - 1717 = 0, 2350 = h + 4*r. Is 22 a factor of h?
True
Is 5 a factor of 2/(-1) - (-4)/6*288?
True
Suppose -9376 = -4*g + 2*t, 11750 = -7*g + 12*g + 5*t. Does 69 divide g?
True
Suppose -15*s + 935 = -10*s. Let h = 283 - s. Does 18 divide h?
False
Suppose -20371 = -70*u + 101009. Does 6 divide u?
True
Let d be (3 + -6)*1 + 7. Suppose 3*x - 34 = -d*n, 2*x - 3*x + 18 = -2*n. Suppose -m + x = m. Is m a multiple of 7?
True
Let z(s) = -24*s**2 + 2*s - 2. Let x be z(1). Let f = x - -31. Suppose -f = 4*d - 43. Is d a multiple of 9?
True
Suppose -4*s = -4*n + 828, 5*s - n + 0*n = -1047. Let h = 294 + s. Does 28 divide h?
True
Let y = 391 + -344. Does 3 divide y?
False
Suppose 0 = 19*u - 7*u - 48. Suppose -u = -9*j + 698. Is 26 a factor of j?
True
Suppose -8 = -0*g - 4*g. Suppose 5*u = -g*d - 474, -4*u + 5*u = d - 99. Is (1/2)/((-8)/u) a multiple of 2?
True
Let u(f) be the first derivative of 2*f**3/3 - 7*f**2/2 - 13*f + 23. Does 33 divide u(8)?
False
Let w(g) = 640*g + 31. Does 102 divide w(1)?
False
Let q(d) = 3*d**2 + 11*d - 21. Let y = 1 + -10. Is 26 a factor of q(y)?
False
Let w(x) be the third derivative of -x**6/120 + 3*x**5/20 + 3*x**4/8 - 10*x**2. Is 33 a factor of w(7)?
False
Suppose p - 1876 = -4*t, 23 = t - 5*p - 425. Is 18 a factor of t?
True
Suppose 0 = 2*h - 4*w - 1648 - 740, -5*h - 4*w + 5914 = 0. Suppose 4*q = 5*y - 391 + h, -q = 4*y - 225. Is 24 a factor of q?
False
Suppose l + 223 = 3*a, -1 = -l + 1. Is a a multiple of 4?
False
Suppose 0 = 3*q - 3, 6*q = -3*c + 2*q + 127. Let f = -19 + c. Is f a multiple of 9?
False
Let g(s) = -151*s + 1012. Is 23 a factor of g(0)?
True
Let t(j) = 26 - 3 + 20 - j. Does 5 divide t(-15)?
False
Does 79 divide (-25)/(-10)*7360/25?
False
Let o(x) = -3*x**2 + 8*x + 1. Let q(j) = 7*j**2 - 16*j - 3. Let s(c) = 5*o(c) + 2*q(c). Let l be s(8). Let n = 8 + l. Is n a multiple of 7?
True
Let q(b) = b**2 - 7*b - 1. Suppose y + 0*c - c = 6, 0 = 3*y + 2*c - 28. Let a be q(y). Suppose 2*z + 285 = a*z. Is 12 a factor of z?
False
Suppose -317 = -5*k + 5*l + 178, 3*k + 2*l - 292 = 0. Is 3/6*(-2 + k) a multiple of 24?
True
Let a = 2 + 193. Is a a multiple of 9?
False
Suppose 2*k + 4*i - 26 = 0, -2*i = 5*k - 0*i - 25. Let l be 1 + -2 + 9/k. Suppose 2*h + 2*h - 104 = x, h - l*x = 19. Is h a multiple of 11?
False
Suppose 8*p = 11*p - 96. Suppose -5*n + p = i - 38, -64 = -i - 2*n. Does 12 divide i?
True
Let k(m) = -132*m - 33. Let z be k(-8). Suppose -35*q = -32*q - z. Is q a multiple of 31?
True
Suppose -2*i - 2*j = 2*i - 146, 3*i = -3*j + 117. Suppose 2*z - 30 = i. Does 6 divide z?
False
Let k(i) = i**2 + 8*i + 20. Let s be k(-7). Let g(d) = -d**2 + 14*d + 22. Is g(s) a multiple of 35?
True
Suppose 0*d = 3*d - 15. Suppose -d*h - 12 + 392 = 0. Is 19 a factor of h?
True
Suppose -594 = -4*b - 2*b. Is b a multiple of 33?
True
Let b(l) = 35*l**2 - l. Let d be b(1). Let c(z) = 10*z - 64. Let u be c(12). Suppose -5*g + d = -u. Is g a multiple of 18?
True
Let a(m) = m + 45. Let f be a(0). Suppose -4*k = 4*r - 14 - 10, 3*k = -2*r + 15. Suppose -r*q + 0*q + 4*g + 107 = 0, g = -q + f. Does 11 divide q?
False
Let n(o) = o - 1. Let m(p) = -p**2 + 15*p - 16. Let v(a) = m(a) - 5*n(a). Is v(6) a multiple of 3?
False
Let q(l) = 6*l + 0*l + 1 - 2*l + 3. Is q(5) a multiple of 20?
False
Suppose -19*x - 1571 = 3198. Let b = -151 - x. Does 5 divide b?
True
Is 19 a factor of 86 + 1 + -3 + -8?
True
Suppose 5*d - 8 = 3*d + k, 4*d - 5*k - 10 = 0. Suppose 0*p - d*u = -2*p + 68, 2*p = -2*u + 40. Is 6 a factor of p?
True
Let t = 21 - 16. Suppose 2*u - 5*u + 282 = 4*w, 456 = t*u + 2*w. Suppose -6*n + u = -n. Is n a multiple of 11?
False
Suppose 5*j + 4 = -1. Is (-203)/(-7) + (2/(-2))/j a multiple of 14?
False
Suppose -68 - 112 = -5*h. Suppose 4*k = -1 + 5. Is h*k/6*8 a multiple of 24?
True
Let x = 70 - 90. Let p(t) = -7*t - 11. Is 26 a factor of p(x)?
False
Let v(t) = 23*t**2 - 4*t - 2. Let r be v(-2). Let i = r + -74. Does 12 divide i?
True
Let r(h) = -2*h**2 - 64*h - 82. Does 3 divide r(-30)?
False
Let i(t) be the third derivative of 8*t**5/5 - t**4/24 - t**3/3 - 3*t**2. Let u be i(-2). Is (-4)/10 + u/10 a multiple of 26?
False
Suppose -20 = -x - 4*d, x + 2*x + d - 5 = 0. Suppose -5*g = -3*h + 34, -3*h + x*g - 3*g = -66. Suppose -h = -0*q - 3*q. Does 3 divide q?
True
Let p(w) = w - 7. Let g be p(9). Let b be 60/35 - g/(-7). Suppose 76 = b*m - 44. Does 10 divide m?
True
Let w(i) = i**2 - 4*i + 6. Let p be w(6). Let o = p - 32. Does 3 divide (-10 - o) + 16/2?
True
Is 22 a factor of (-2)/(((-27)/1329)/9)?
False
Suppose -3*b = -11 + 53. Let z(j) = -15*j - 2*j**2 + j**2 + 0*j**2 + 3. Is z(b) a multiple of 17?
True
Let k = 1892 + -372. Is k a multiple of 80?
True
Let n(s) = 23*s**2 + 2*s + 2. Let o be n(-1). Suppose -5*q - 8 = -o, 0 = 5*j - q - 222. Is j a multiple of 12?
False
Let y = 35 + -19. Let h(t) = -t - 6. Let n be h(-6). Does 14 divide (y + -2)*(n - -2)?
True
Does 38 divide (103 + -8)/((9/150)/3)?
True
Let j be 8/12*15/(-2). Let q(t) = -2*t**3 - 7*t**2 - 8*t + 4. Let v(a) = -3*a**3 - 14*a**2 - 15*a + 9. Let h(s) = j*q(s) + 3*v(s). Is 9 a factor of h(8)?
False
Suppose 2*x - 3*r + 116 = 290, 2*x 