oes 12 divide m(5)?
True
Let g(t) = 2*t**2 + 8*t - 6 - 3 + 3. Let b = -12 - -6. Is 9 a factor of g(b)?
True
Let w(g) = g**3 + 11*g**2 + 4*g - 16. Is 24 a factor of w(-8)?
True
Suppose 11*f + 95 = c + 9*f, 182 = 2*c - 2*f. Does 29 divide c?
True
Suppose -11*b = -10*b - 37. Suppose 0 = -4*z + 91 + b. Is 14 a factor of z?
False
Suppose -3*f = -0*f + y - 520, y = -4*f + 694. Suppose 0 = -b - d + 4*d + f, -4*b + 611 = 5*d. Is 21 a factor of b?
False
Let c(d) = d + 9. Let n be c(-6). Suppose 3*z = -n*z + 228. Is z a multiple of 13?
False
Let j = 18 + 32. Let y be 5/2*60/j. Suppose -y*w + 23 = 2. Does 4 divide w?
False
Let j(y) = y**2 + 16*y - 42. Let q be j(-20). Let k = q + -28. Is 7 a factor of k?
False
Let y(s) = -17*s + 11. Let x(u) = -1. Let j(l) = -4*x(l) - y(l). Is 22 a factor of j(4)?
False
Let f(r) = -4*r + r + 4 - 4. Is f(-6) a multiple of 13?
False
Let y = -328 + 1693. Is y a multiple of 50?
False
Let k be (16/3)/(26/39). Suppose k*g = 1 + 463. Is 8 a factor of g?
False
Let f(t) be the second derivative of t**3 + 2*t**2 + 7*t. Let k be f(4). Suppose -5*l + c + 85 = 0, 4*c - k = -4*l + l. Is 7 a factor of l?
False
Let p = 15 - 13. Suppose 222 = 5*i - 2*l, -2*i - p*i + 5*l + 181 = 0. Suppose 4*s + 3*y - 161 = 0, -5*y + 9 = s - i. Does 19 divide s?
True
Let r(s) = -9*s + 5. Let z be 1/(3 + (-66)/21). Let b be r(z). Suppose 4*g + c = 3*c + b, 96 = 4*g + 5*c. Is 8 a factor of g?
False
Suppose 4*w - 2*w = -94. Let o = 25 - w. Does 36 divide o?
True
Let b(w) = w**3 + 4*w**2 + w - 2. Let f be b(-3). Let s = -11 - -25. Suppose 5*z = o + 2, s = 3*o - o - f*z. Is o a multiple of 3?
False
Let f(a) = -a + 8. Let y be f(-4). Is 26 a factor of (y/8)/((-9)/(-624))?
True
Suppose 10*k = 19 + 31. Suppose 201 = k*x - 174. Does 25 divide x?
True
Let i(g) = g**2 + 9*g - 2. Let w be i(-8). Let d be 34/4 + 15/w. Does 2 divide 86/8 - d/(-28)?
False
Let m be (-2)/(4*2/28). Is 20 a factor of (-322)/147*-9 - 2/m?
True
Let t(c) = -2*c**3 + 18*c**2 + 11*c - 21. Is 26 a factor of t(9)?
True
Let w(z) = -z + 36. Let u be w(15). Is 6 a factor of 2/7 - (-15)/u - -85?
False
Suppose 24*p = 286 + 122. Does 9 divide p?
False
Let c be (-31)/(-1 - 2 - -4). Let n = c + 35. Suppose n*d = 20 - 8. Is d a multiple of 3?
True
Suppose -7*n + 2 + 12 = 0. Suppose 0 = n*i - i - 50. Is 7 a factor of i?
False
Let a(p) = 2*p**2 + 8. Suppose 2*z - z - 4 = 0. Suppose -x - 3*x + 12 = -z*l, -2*l + 1 = -x. Is 38 a factor of a(x)?
False
Suppose -6*d + 2 = -2*d + o, 5*d = -4*o - 3. Let t(s) = -s**2 + 8*s - 4. Let j be t(8). Is 21 a factor of 80 + (d + -2)*j?
True
Suppose -2*f - 83 = -377. Is f a multiple of 5?
False
Let w(u) be the first derivative of 2*u**3 + 7*u**2/2 + 7*u - 4. Does 11 divide w(-3)?
False
Let m(k) = -68*k - 17. Is 2 a factor of m(-1)?
False
Suppose 2*k - 103 = -3*z + 6, -3*k = -4*z - 206. Let a = k - 53. Is a a multiple of 4?
False
Let v(n) = 17*n + 132. Does 7 divide v(19)?
True
Let s(z) = 12*z + 1. Is 16 a factor of s(26)?
False
Is (143/(-2))/(371/42 - 9) a multiple of 13?
True
Let s(m) = -264*m - 11. Is s(-4) a multiple of 55?
True
Is 1/(-2)*(-248)/(-10 - -12) even?
True
Let s = 1658 + -260. Is 13 a factor of s?
False
Let k(z) = z**2 + 5*z + 25. Is 2 a factor of k(-4)?
False
Suppose -11*q + 2352 = -8*q. Does 31 divide q?
False
Let j(q) = -q**2 - 28*q - 27. Is j(-25) a multiple of 16?
True
Let o(m) = 5*m - 5. Let h be o(-7). Is ((-32)/h)/(2/35) a multiple of 14?
True
Let y = 942 + -658. Is 16 a factor of y?
False
Let q = -6 - 0. Is (q + 11)*(-282)/(-10) a multiple of 37?
False
Let u = -700 + 1070. Does 74 divide u?
True
Let n = 371 - -951. Is n a multiple of 9?
False
Let g(q) = -q**3 + 12*q**2 - 28*q - 9. Is 9 a factor of g(7)?
False
Suppose 0 = -14*g + 1453 + 745. Is 10 a factor of g?
False
Suppose 5*f + o - 263 + 81 = 0, -2*f = 5*o - 82. Let d(p) = 3*p - 2. Let z be d(-6). Let q = z + f. Is q a multiple of 9?
False
Let b(x) = 0*x**2 - 14*x - 10*x + 36 + 3*x**2 - x**2. Is 14 a factor of b(11)?
True
Let q = 413 - 105. Suppose -3*i = 3*d - 222, 4*d - q = -0*d - i. Is 12 a factor of d?
False
Let u = -707 + 409. Let g = -168 - u. Does 26 divide g?
True
Suppose -5*h = -3*c + 375, -3*h - 7*c = -3*c + 225. Does 15 divide 2/(-5)*(h + 0)?
True
Suppose 0 = -59*f + 80*f - 25788. Is f a multiple of 13?
False
Let j = -31 + -1. Let y be (j/3)/(2/6). Let f = y + 65. Does 11 divide f?
True
Let j(y) = 2*y + 24. Let p be j(-11). Let b(s) = -3*s**3 - 2*s**2 - s. Let a be b(p). Let r = 44 + a. Does 9 divide r?
False
Let o = -1461 + 2064. Does 13 divide o?
False
Let b = 14 - 12. Suppose -5*v + 4*d + 507 + 0 = 0, -b*v - 5*d + 183 = 0. Does 20 divide v?
False
Let s = 1136 + 1068. Is s a multiple of 38?
True
Let g = 280 + -218. Does 14 divide g?
False
Is 214/749 - 22046/(-14) a multiple of 13?
False
Suppose -12*p + 1494 = -174. Is 5 a factor of p?
False
Let j(w) = w**2 - w. Let u be j(-1). Suppose 26 = -u*s + 76. Does 5 divide s?
True
Does 71 divide 2982 + 0/(-14 + 3 - -7)?
True
Let m(h) = 4*h**2 + 39*h - 19. Is 31 a factor of m(-19)?
False
Suppose 0*q - 2*l = 3*q - 1, q + 4*l - 17 = 0. Does 5 divide (7/q - -2)/(2/(-390))?
True
Suppose 5*t + 82 = 87. Is (t + -3 + 0)*-23 a multiple of 5?
False
Suppose -10*b + 512 = -6*b. Let c = b - 56. Is c a multiple of 8?
True
Let p(u) be the first derivative of -2*u**2 + 1/3*u**3 + 10 + 2*u. Does 9 divide p(7)?
False
Let w(h) = -2*h**3 + 2*h**2 - 5*h - 4. Let c = -16 - -1. Let x = -18 - c. Does 20 divide w(x)?
False
Let o(a) = 76*a + 1. Let l be o(1). Let s = l + -52. Let u = 6 + s. Is u a multiple of 31?
True
Let q(z) = -z**3 - 11*z**2 - 4*z - 22. Suppose 0 = 2*p - 5*l + 27, 2*p - 3*l + 10 + 15 = 0. Is 7 a factor of q(p)?
False
Let d(i) = i**3 - 10*i**2 + 8*i - 6. Let n be d(5). Let o = -71 - n. Is o a multiple of 5?
True
Suppose -k = -s - 1092, -4*k + 6*s - s + 4371 = 0. Is 33 a factor of k?
True
Let z(t) = t**3 + 40*t**2 + 31*t + 36. Does 6 divide z(-39)?
True
Let y(q) = 14*q**3 - 4*q**2 + 5*q - 72. Does 11 divide y(5)?
False
Let f(b) = 13*b - 8. Let w be f(6). Suppose -4*c = -q + w, -c + 250 = 5*q + 4*c. Does 27 divide q?
True
Suppose 58*q = 52*q + 3906. Is 21 a factor of q?
True
Let b(n) = -2*n + 10. Let h be b(4). Let j(v) = -3*v**2 + 4*v**3 - 2 - 5*v + 8 - h*v - 3*v**3. Does 12 divide j(5)?
False
Suppose v - 6*v + 5 = 0. Let y be 0*(1 - (v - 1)). Suppose -o - 31 = -3*c + 2*c, -2*c - o + 62 = y. Does 6 divide c?
False
Let t(m) = -m**2 + 8*m - 1. Let i be t(7). Suppose -3*b - p - 11 = 0, 4*p - i = -4*b - 18. Is 2*b/((-8)/45) a multiple of 15?
True
Does 38 divide 47/188 - 73869/(-12)?
True
Suppose 323 = 5*a - s + 2*s, a = -4*s + 76. Is 4 a factor of a?
True
Suppose 162316 - 37828 = 42*v. Is v a multiple of 52?
True
Suppose u + 4 = 0, 0*u - 108 = -4*v - 3*u. Is v a multiple of 6?
True
Let s be 0*2*(-1)/(-4). Let b be 1*s*3/(-6). Suppose 0 = 3*v + w - 40, b = 3*v - 6*v - 2*w + 35. Is v a multiple of 15?
True
Suppose -v + 834 = 2*f, -1676 = -4*f + 4*v - 2*v. Does 19 divide f?
True
Let v(i) = i - 11. Let w be v(13). Let s = -16 + 0. Let u = w - s. Is u a multiple of 18?
True
Suppose j - h - 12 = -j, 0 = 3*j + 3*h. Suppose -80 = -j*o + 60. Is 35 a factor of o?
True
Does 11 divide 11*3*(36 - 34)?
True
Let x(i) = i**3 - 16*i**2 + 11*i - 32. Is x(16) a multiple of 6?
True
Let w = 9 + -9. Suppose 0*o - o + 5 = w. Suppose 38 = -4*r + o*r. Is r a multiple of 19?
True
Let x(h) be the third derivative of -h**7/2520 - h**6/720 - h**5/20 - h**2. Let w(a) be the third derivative of x(a). Is w(-4) a multiple of 7?
True
Let p(v) = -v + 14. Suppose c + 32 = 5*f, f + f = 5*c - 1. Let d be p(f). Suppose -a - 273 = -5*l, -d*l + 2*l + 5*a + 265 = 0. Does 18 divide l?
False
Let p(h) = -174 + 54 - h**3 + 63 + 63 - 6*h**2 - 7*h. Does 24 divide p(-9)?
True
Suppose -16 - 24 = 5*o. Let s(l) = -3*l + 12. Is s(o) a multiple of 12?
True
Suppose 614 = -2*r + 4*r - 4*m, 2*r = m + 623. Suppose -109 + r = 4*s. Let j = s + -30. Does 21 divide j?
True
Is 12 a factor of (-4)/((-4)/(-2)) + (-14 - -50)?
False
Let g = -2 - -4. Is ((-8)/16)/(g/(-528)) a multiple of 33?
True
Suppose 32 = -5*b + 3*c, 5*c - 20 = 3*b + 12. Does 19 divide (-14)/(b/(33 + -1))?
False
Suppose -40 + 31 = -3*u. Suppose u*x - 3 = 3. Is x even?
True
Let y(z) = 7*z + 234. Does 20 divide y(19)?
False
Is 15/(-6)*(0 + -60) a mult