 + (-4)/12*-3?
True
Let i = 186 - 99. Is 29 a factor of i?
True
Let v(f) = 2*f**2 - f + 6. Is 15 a factor of v(-3)?
False
Suppose -4*m = -2*i + 80, 0 = 2*i + 2*m + m - 52. Does 8 divide i?
True
Let p(r) = 4*r + 29. Let j be p(-8). Does 7 divide (4 - (132 - j))/(-1) + 2?
True
Suppose 2*b + 28 = -3*r, 1 - 5 = 4*r - 4*b. Let i(g) = -9*g + 14. Is i(r) a multiple of 17?
True
Let x(d) = d**3 + d**2 + 10*d - 28. Let k be x(8). Let p = -444 + k. Is 33 a factor of p?
False
Let l be 2 + 0 + 0 - (-2 + -1). Suppose 3*p - 3*v - 69 = 0, l*p - 4*p = 5*v + 39. Is 4 a factor of p?
False
Let u = 0 + 4. Suppose -4*o - 2*y + 36 = -u*y, -4*y + 18 = o. Does 5 divide 114/o - (-9)/15?
False
Let x = -4 + 4. Suppose z + 2 = -x*z. Let l = z - -9. Does 2 divide l?
False
Let f(h) = -89*h**3 - 2*h - 1. Let t be f(-1). Let g be (-4)/(-10) - t/(-25). Suppose -6 = -2*x + g. Does 5 divide x?
True
Let w = 116 + -76. Suppose -4*k + 20 = 4*u - w, 2*u - 4*k - 18 = 0. Does 4 divide u?
False
Let l(j) = 10*j**2 - 7*j + 7. Let i(f) = f**2 + 4*f - 3. Let x be i(-5). Is 11 a factor of l(x)?
True
Let a(b) = b + 55. Is 15 a factor of a(-5)?
False
Is 2185 + -4 - (15 + -15) a multiple of 34?
False
Let a(z) = 39*z + 31. Suppose o - v = -0*v + 3, 0 = -4*o + v + 18. Is 21 a factor of a(o)?
False
Is 20/(9 - 7) - -1947 a multiple of 103?
True
Let p(s) = 78*s + 149. Does 18 divide p(5)?
False
Suppose 0*l + 3*p - 64 = 2*l, -5*l = 4*p + 183. Let h = -15 + l. Let k = -34 - h. Is 10 a factor of k?
False
Let j(l) = -17*l + 431. Does 21 divide j(-8)?
True
Let m = -12 - -9. Let d = 18 + m. Suppose 2*z - d = -z. Is z a multiple of 2?
False
Let n(x) = 729*x**2 - 4*x - 5. Let o(i) = -146*i**2 + i + 1. Let h(l) = -2*n(l) - 11*o(l). Is 25 a factor of h(-1)?
True
Let t(m) = 434*m**2 - m + 1. Is t(-1) a multiple of 23?
False
Let n(r) = -r + 1. Let m = -4 + 1. Let v be n(m). Is 14 a factor of -2 + (28 - (2 - v))?
True
Let d(n) = 14*n**3 - 3*n**2 + 5*n - 10. Is d(6) a multiple of 59?
False
Let y(a) = 2*a**2 - 3*a - 11. Let o be 4*((-9)/(-4) - 3). Let m(q) = -6*q**2 + 8*q + 32. Let h(l) = o*m(l) - 8*y(l). Does 11 divide h(5)?
False
Suppose 3*c - 14 = -n, 3*n + 8 = 4*c - 2. Suppose -63 = -5*o + c*j, 0*j - j - 27 = -2*o. Suppose -2*h = -9 - o. Does 4 divide h?
True
Suppose 5*l - 81 = -w + 3*w, 87 = 5*l - 4*w. Is l a multiple of 5?
True
Suppose -17*i + 4*i + 6994 = 0. Is 7 a factor of i?
False
Let o = -16 + 10. Let u(k) = k**2 + 15*k - 3. Let x(i) = 2*i**2 + 31*i - 5. Let b(q) = o*x(q) + 13*u(q). Is 3 a factor of b(-11)?
False
Let n = -9 + 11. Suppose 0 = -s - 0 + n. Suppose -5*o - 4*r = -114, 0 = 3*o + 2*r + s*r - 62. Does 7 divide o?
False
Let r(v) = -4*v + v - 7 + 3*v**2 + 2 + v. Let a be r(6). Let u = -40 + a. Does 17 divide u?
True
Suppose -11*d = -29*d + 4950. Does 5 divide d?
True
Let a(o) be the second derivative of o**4/12 + 2*o**3/3 + 2*o**2 + 12*o + 2. Is 4 a factor of a(3)?
False
Is (-152)/(38/(-9) + 29 + -25) a multiple of 19?
True
Let l(i) = i**3 - 3*i**2 - 5*i + 4. Let c be l(4). Suppose 5*b - 349 - 181 = c. Let k = 148 - b. Does 9 divide k?
False
Suppose -258 - 239 = -7*v. Suppose 2*c - 1 = v. Is c a multiple of 6?
True
Let f = -58 + 10. Let p = f + 36. Let c(z) = z**3 + 13*z**2 + 9*z - 16. Is 10 a factor of c(p)?
True
Let h(v) = -11*v + 1 + 25*v + 4*v**2 - 12*v. Is h(-3) a multiple of 9?
False
Let g be (-1 + 12/(-9))*-3. Suppose 5*z = g*z - 40. Is z a multiple of 6?
False
Let x(j) = j + 2. Let c(a) = 4*a - 80. Let y(p) = -c(p) + x(p). Does 8 divide y(6)?
True
Suppose -1020 = -5*d + 5*a, 6*d = 8*d + 4*a - 426. Does 8 divide d?
False
Let p(x) = -x**3 + x**2 - 2*x + 116. Let q be p(0). Let b = 176 - q. Does 6 divide b?
True
Let h = 6 + -7. Let p = h - -3. Let f(l) = l**2 + 3*l - 1. Is 9 a factor of f(p)?
True
Suppose -5*h + 5*n + 70 = 0, -h + 3*n + 7 = -15. Is 6 a factor of h?
False
Suppose 2*x + 20 = 12*x. Suppose -j = x - 187. Does 37 divide j?
True
Suppose -22680 = 258*q - 278*q. Is 25 a factor of q?
False
Suppose -5*f = 45*f - 56550. Does 29 divide f?
True
Let o(y) = -y**2 + 7*y - 10. Let h be o(6). Is (1/h)/((-1)/68) a multiple of 7?
False
Suppose -25 = w + 4*k, -2*w = k + 122 - 37. Suppose 0 = 4*f - 2*o + 6, 4*f - o = 3*o. Does 15 divide (w/(-2))/(f/(-6))?
True
Let n(c) = c**3 - 34*c**2 - 102*c + 168. Is n(40) a multiple of 12?
True
Suppose 1 = -3*y + 4*m - 15, 0 = 5*y - 5*m + 20. Suppose y = -d - 10 - 19. Let p = 15 - d. Is 11 a factor of p?
True
Suppose -10 = 5*k, 0 = g - 2*g + 3*k + 8. Let d be (-38)/10 + g/(-10). Let b(o) = o**3 + 5*o**2 + 2*o - 2. Is b(d) a multiple of 3?
True
Let q = -64 - -161. Does 14 divide q?
False
Let y = 1 + 2. Let c = 0 + 0. Suppose 0 = -y*p - c*p + 18. Is 6 a factor of p?
True
Suppose 2*f = -h - 49 + 143, 5*f = -5*h + 240. Suppose -2*j = 3*m - f, -3*m - 5*j + 37 + 6 = 0. Does 16 divide m?
True
Suppose h + 5*w = 18, 36 = -3*h + 3*w - 0*w. Let d = h + 12. Suppose d = 2*c - 3. Is 2 a factor of c?
True
Does 7 divide 2 + 278 + (5 - 5)?
True
Let w(x) = -2*x**3 + 61*x**2 - 26*x + 17. Is w(30) a multiple of 12?
False
Let b = -10 + 10. Let a be 4/(-4)*b/(-1). Suppose -x + 5 + 29 = a. Does 21 divide x?
False
Let g(m) be the first derivative of m**7/840 + m**6/60 - m**5/12 + m**3 - 5. Let k(t) be the third derivative of g(t). Is 7 a factor of k(-7)?
True
Suppose 4*i + i = 545. Suppose -3*y + i = p, -9 = -4*p + 7. Is y a multiple of 10?
False
Suppose q - 4*l = 120, -q - 4*q - 2*l + 490 = 0. Is 48 a factor of q?
False
Let y(c) = 5*c - 87. Let s(n) = 7*n - 87. Let d(b) = 3*s(b) - 4*y(b). Is 3 a factor of d(0)?
True
Let l(k) = -k**2 + 16*k + 3. Let t(g) = -g**3 + 10*g**2 + 2*g - 5. Let v be 3/(-4) + 344/32. Let x be t(v). Does 9 divide l(x)?
True
Let c(p) = 233*p + 6. Is c(2) a multiple of 8?
True
Let a be 6 - 1/((-1)/(-3)). Suppose -2*s = -a*p - 1 - 1, p - 5 = -5*s. Suppose -5*d - 25 + 100 = p. Is d a multiple of 5?
True
Suppose -5*p + 2*s - 5 = -0*s, 0 = -p - 4*s - 23. Is (-15)/(-45) - 182/p a multiple of 11?
False
Let y = 15 + -11. Suppose -6 = -3*x + 5*p, 4*x = y*p + p + 8. Does 14 divide 25 + -2 + (x - 3)?
False
Let l be (-1 - (1 - 6))/(-1). Let u be (-18)/l - 1/(-2). Suppose 0 = -u*b, -3*k = 3*b - 6*b - 90. Is 8 a factor of k?
False
Let u = 484 + -251. Is 3 a factor of u?
False
Is 92 a factor of -14079*(-3)/9 - 1?
True
Let a = -4 + -32. Let s = -15 - a. Does 7 divide s?
True
Suppose -2*w - b - 4 = 6, -4*w = -4*b + 8. Let h be ((-6)/w)/((-3)/(-660)). Does 11 divide 2/(-4) - h/(-12)?
False
Suppose 5*x - 4*t = 813 + 278, 5*x - 2*t - 1093 = 0. Is 9 a factor of x?
False
Let g(x) = -22 + 2 - 12 - 10*x. Does 18 divide g(-14)?
True
Let b = -2142 + 3702. Does 9 divide b?
False
Suppose 5*h - d - 663 = 2*d, -5*d + 391 = 3*h. Is h a multiple of 12?
True
Suppose -2*s + 4*y + 282 = 0, 7*s = 3*s - 4*y + 552. Let k = s + 13. Is k a multiple of 19?
True
Let x(y) = -y + 5. Let u be x(3). Suppose -4*p - 130 = -u*g, 2*p - 10 = -0*p. Is 25 a factor of g?
True
Let i(p) be the third derivative of p**6/120 + 11*p**5/60 - 2*p**4/3 + p**3 - 5*p**2. Let z be i(-12). Is 40*(z/(-15) - -4) a multiple of 6?
False
Let q = -16 - -66. Suppose -37 - q = -r. Does 29 divide r?
True
Let u = -231 - -375. Suppose -5*c = -9*c + u. Does 4 divide c?
True
Let q(z) = 2*z + 13. Let n be q(-6). Let k = 2 - n. Is (-1)/(k/(-61) + 0) a multiple of 27?
False
Is 24 a factor of 3/2 + (-6710)/(-20)?
False
Let v(k) = 5*k**2 - 4*k + 22. Does 14 divide v(5)?
False
Let n(c) = -8*c**2 - 9*c - 3. Let w(z) = 15*z**2 + 17*z + 6. Let a(g) = 11*n(g) + 6*w(g). Let p be a(-2). Let l(s) = -s**2 + 11*s - 5. Is l(p) a multiple of 25?
True
Let r(j) = -2*j**3 + 16*j**2 + 38*j + 10. Is r(-9) a multiple of 14?
True
Suppose 0 = -4*w + 28 + 32. Suppose 0 = -12*c + w*c - 204. Is c a multiple of 4?
True
Suppose -4*z + 207 = -5*v, 5*v - 2*z = z - 204. Let b = 7 + v. Does 25 divide ((-60)/(-16))/((-3)/b)?
False
Let v(j) = -j + 23. Let f be v(0). Let b = f + -5. Is b a multiple of 6?
True
Suppose -h - 683 = -4*v, 0 = 5*v + 6*h - h - 885. Is 86 a factor of v?
True
Suppose w - 5*k = -3*w + 30, 3*w - 11 = -2*k. Suppose -w*p = -2*p - 294. Is 19 a factor of (3 - p)*(-2)/5?
True
Let m be (-892)/10 - (5 + 130/(-25)). Let w = m + 188. Is 43 a factor of w?
False
Suppose -i + 5*i = -16, 0 = 5*h + 3*i + 12. Let n(b) = -2*b**2 + 2*b + 126. Is 21 a factor of n(