 2 divide t?
True
Let o = -30 - -2. Let w = -8 + o. Let b = w + 60. Is 23 a factor of b?
False
Suppose -8*m - 11*m = -4921. Does 18 divide m?
False
Suppose -2*f - 12 - 3 = -q, 5*f = 5*q - 55. Suppose 10 = -q*o + 9*o. Suppose -7*g = -o*g - 32. Does 8 divide g?
True
Let v = -8 - -7. Let z be ((-3)/1 + v)*-1. Suppose -3*l - 4*d + 250 = 0, 2*l - z*d + 164 = 4*l. Does 16 divide l?
False
Let s = 106 + 97. Let b = 119 - s. Let f = -46 - b. Does 19 divide f?
True
Let p = -2994 + 7071. Does 27 divide p?
True
Let l be 5/10 + 2/(-4). Suppose l = 2*y - y - 63. Is y a multiple of 16?
False
Let p = 1422 + -856. Is p a multiple of 36?
False
Let w(p) be the third derivative of 1/2*p**3 + 0*p + 1/12*p**4 + 5*p**2 + 0. Does 2 divide w(2)?
False
Suppose -5*c - 41 = -t, -29 = 4*c - t + 3. Is 8 a factor of (-2 + 6)*(1 - c)?
True
Let y = 14 + 14. Does 16 divide y/((-3)/9*-3)?
False
Let i = 242 + 1578. Is i a multiple of 91?
True
Suppose 16*c - 30564 + 12468 = 0. Does 35 divide c?
False
Suppose -c = -5*s - 6*c + 1680, 0 = -2*s - 4*c + 682. Is 8 a factor of s?
False
Suppose 4*z + 25 + 7 = 4*c, -3*z - 30 = -5*c. Suppose 0 = c*m + n - 1 - 6, 2*m - 4*n = 14. Suppose 0 = -4*y - a + 23, -m*a + 7 + 2 = 0. Is y a multiple of 3?
False
Let r be (-6)/8*1*12/(-3). Suppose 0 = -t + 5, 4*t - 7*t = -r*w + 327. Is w a multiple of 14?
False
Let q be (-24996)/(-51) - 4/34. Suppose 2*x - u - q = 3*u, -4*x - u + 998 = 0. Is x a multiple of 39?
False
Does 28 divide 7 - (9 - 0) - -520?
False
Let l = 188 - 56. Does 44 divide l?
True
Let z = -1042 - -1492. Is 45 a factor of z?
True
Let i be (513/15)/((-12)/(-40)). Suppose -74 = -t + f, 5*f - i = -3*t + 68. Is t a multiple of 12?
False
Let i(h) be the first derivative of 2*h**3/3 - h**2/2 - 11*h - 13. Does 12 divide i(-5)?
False
Let a(l) be the second derivative of -l**4/12 - 11*l**3/6 - 4*l**2 - 8*l. Let k be a(-10). Suppose 0 = -0*b - k*b + 4. Is b a multiple of 2?
True
Is ((-32338)/(-444))/((-1)/(-6)) a multiple of 9?
False
Suppose -4*f + 3 = d - 2, 4*d + f = 20. Suppose -d*n + 12 = -8*n. Let z(b) = b**2 + b + 3. Is z(n) a multiple of 15?
True
Let o(f) = f**3 + 12*f**2 - 11*f - 23. Does 19 divide o(-12)?
False
Let x(m) = 557*m - 296. Is 23 a factor of x(4)?
True
Let t(a) = a**2 + a - 106. Let v be t(0). Let r = v - -203. Is 7 a factor of r?
False
Let f be (-1)/(-4 - 28/(-8)). Does 7 divide (-2)/1 + 67 + -3 - f?
False
Suppose -6 = -3*q, -2*q + 6*q = -3*i + 65. Suppose 59 + i = 3*x. Is 5 a factor of 3*(-3)/((-9)/x)?
False
Suppose 0 = 38*h + 21*h - 34515. Does 39 divide h?
True
Let q be (-2*1)/(20/(-40)). Suppose o = -5*d + 958, d + q*o = 46 + 138. Suppose d = 12*w - 10*w. Is w a multiple of 14?
False
Let l be 30 + 1 + 5/(-5). Suppose -a + l = 2*a. Suppose -q = 3*q - 2*g - 80, q = 3*g + a. Is q a multiple of 11?
True
Suppose 3*h - 12 = -12. Suppose 5*i - 3*q - 858 = h, 346 = 3*i + q - 180. Is i a multiple of 35?
False
Let g be ((-2)/(-4))/((-3)/1266). Let k = 88 - g. Is k a multiple of 23?
True
Let p(u) = -3*u - 15. Let z be -2*4/(-16)*0. Let q be -16 - z/(7 - 4). Is 33 a factor of p(q)?
True
Suppose 7*t - 1104 = 5*t - 5*r, 2*t = 4*r + 1104. Is 24 a factor of t?
True
Let p be 5 + 1*4/(-2). Suppose 0 = -0*o - p*o - 333. Let l = -77 - o. Is 17 a factor of l?
True
Let k be (-1 + -1 + 8)*(-10)/(-15). Let m be 4*1 + 2 + -4. Suppose -k*p = -m*p - 72. Is 12 a factor of p?
True
Suppose -2*m = 2*u - 4*u, -3*m - u = 16. Let l = 28 - m. Is l a multiple of 3?
False
Let s = 80 - 8. Does 18 divide s?
True
Let m(b) = -b**3 - 4*b + 3. Let p(z) = -z + 21. Let s(q) = 10. Let t(w) = -2*p(w) + 5*s(w). Let f be t(-6). Is 21 a factor of m(f)?
False
Let j(o) = 4*o**2 - 2*o - 17. Let x = 61 - 41. Let z be (24/x)/((-6)/20). Is j(z) a multiple of 11?
True
Suppose -5 = 5*w, 56 = c - 6*w + 4*w. Suppose -5*k = 2*r - c, -4*k - 2*r + 38 = -3*r. Suppose 0 = 6*y - k*y + 60. Is y a multiple of 15?
True
Let x(y) be the first derivative of -y**2/2 - 9*y - 10. Is x(-16) even?
False
Is 36 a factor of (-2)/4 + 162/(-36) - -473?
True
Let r(j) = 3*j - 5. Suppose 3*k + 22 = -p, 3*p + 36 = -5*k + 2*k. Let z = 16 + p. Is r(z) a multiple of 11?
True
Suppose -16 = -5*p + 379. Suppose 3*v = -r + 269, -2*v - p = -3*v - 3*r. Does 12 divide v?
False
Suppose -2600 = 201*g - 211*g. Does 52 divide g?
True
Let h = 15 - 8. Let i(r) = -h*r + 17*r + 5*r. Does 6 divide i(1)?
False
Let h(m) be the third derivative of m**6/120 + 11*m**5/60 + m**4/4 - 7*m**3/3 + 7*m**2. Is 12 a factor of h(-10)?
False
Let q(w) be the first derivative of 4*w**3/3 + 3*w**2/2 - 5*w + 8. Is 20 a factor of q(-5)?
True
Suppose 79 - 15 = 4*p + 2*k, 0 = -p - 2*k + 10. Let y(v) = 50*v**2 - 2 + 22*v**2 - p*v**2 + 5*v - 2*v. Is y(1) a multiple of 24?
False
Let h(z) = -4*z - 11. Let t(w) = w**2 + w + 1. Let y(u) = u**3 + 9*u**2 + 10*u + 7. Let i(p) = -4*t(p) + y(p). Let f be i(-4). Is 9 a factor of h(f)?
True
Let u = -6 - -20. Let i be 9/21 + 64/u. Suppose 117 = i*d - 2*d. Is 6 a factor of d?
False
Let l = 763 - 463. Is l a multiple of 76?
False
Let c be 22/(-187) + 1/((-51)/249). Let r(a) = a**3 + 7*a**2 + 7*a - 9. Is 3 a factor of r(c)?
True
Let c = 0 + 18. Suppose c - 8 = -5*a. Is (92/16)/(a/(-16)) a multiple of 23?
True
Let x = 3301 + -2066. Suppose 13*a - 520 - x = 0. Is a a multiple of 13?
False
Suppose 0 = -4*f + 8, -2*c - 247 = -7*c - f. Does 2 divide c?
False
Let i be (3/6)/(1/(-12)). Let f(c) = -c + 14. Is f(i) a multiple of 4?
True
Let t = -289 - -521. Does 58 divide t?
True
Suppose 0 = 5*l + 5*c - 3190, -23*c + 24*c = 4*l - 2552. Is l a multiple of 30?
False
Let d(z) be the second derivative of -z**5/20 + z**4/2 + 5*z**2/2 - 3*z. Is 8 a factor of d(5)?
False
Suppose -2*z + 2982 = 5*l, l + 4*z - 582 = -0*l. Does 20 divide l?
False
Let u be (30/8)/(4/(-16)). Does 12 divide 5/(u/(-9))*8?
True
Let f = -2888 - -4075. Is f a multiple of 60?
False
Suppose -4*q = 4, -4*m + 0 = -3*q - 15. Suppose -12 + 48 = m*r. Is 12 a factor of r?
True
Suppose 2*l + 39 = -l. Let h(a) = a**2 + 12*a + 15. Is h(l) a multiple of 7?
True
Is 5472/26 + (-108)/234 a multiple of 35?
True
Suppose 27*w - 28*w + 277 = 2*p, -3*w = 3*p - 411. Does 20 divide p?
True
Let z be 5*(60/(-25) + 2). Does 24 divide ((-1 - z) + -25)/((-2)/4)?
True
Let f be -1 + 64/11 + (-4)/(-22). Does 20 divide -2*(3 - f)*10?
True
Let m be 3*(24/(-9) + 3). Suppose q - 76 + m = -4*y, -2*q + 138 = 4*y. Is q a multiple of 11?
False
Let q(s) = 238*s - 68. Is 15 a factor of q(11)?
True
Let p(m) = -98*m - 161. Is 19 a factor of p(-8)?
False
Let u = -10 - -10. Suppose -m - 2*m + 3*v + 42 = 0, u = 2*v + 2. Is m a multiple of 8?
False
Let y(m) be the second derivative of 5*m**3/3 - 5*m. Let o be y(4). Suppose 2*k - k = o. Is 17 a factor of k?
False
Let d be 4*(-5)/(-10) + 11. Let j(z) = z**3 - 14*z**2 + 17*z - 7. Is j(d) a multiple of 9?
True
Suppose 4 = -2*t + t + 2*h, -5*t + 28 = 2*h. Suppose -2*d + 153 = a, 2*d - t = 4. Is 36 a factor of a?
False
Let n(o) = 3*o**2 + 3*o + 2. Let j be n(-2). Let p(a) = 2*a - 11. Let y be p(j). Suppose -r = 4*z - z - 50, 5*r = -y*z + 230. Does 13 divide r?
False
Is -3828*6/120*-5 a multiple of 29?
True
Let w(q) = -q**3 - 5*q**2 - 2*q - 2. Let m be w(-3). Suppose -2*v + 4 = 0, 3*u + 22 = 7*u + 3*v. Is 19 a factor of (-710)/m + u/14?
False
Suppose -x + 19 = -3*m - 0*m, 2*m + x + 6 = 0. Let d(k) = -18*k + 4. Is 25 a factor of d(m)?
False
Is 49 a factor of (-8)/(-24)*49*51?
True
Let z(u) = -u**3 - 6*u**2 - 6*u - 5. Let v be z(-5). Suppose -4*c + 4 - 36 = v. Let b(n) = n**2 + 4*n - 8. Is b(c) a multiple of 9?
False
Suppose 374 = 4*r - 930. Suppose 0 = 5*q + 2*c + 2*c - r, 0 = -5*c + 20. Is q a multiple of 16?
False
Suppose -3*i = 2*g + 2, -2*i + 6 = g - 4*i. Suppose 0 = -g*c - k + 46, k - 4 = -0. Let b = c - -9. Does 10 divide b?
True
Let a be -1*(3 + 1 + -7). Suppose a*k - 3*o + 0*o = 6, 2*o = -k + 17. Is k a multiple of 7?
True
Suppose 3*k = -2*u - 51, -5*u + 40 = -5*k - 20. Let l = k + 104. Is 12 a factor of l?
False
Suppose 0 = -5*r - 4*z + 509, 0 = r - 2*r + 2*z + 113. Let s = 3 + r. Is s a multiple of 27?
True
Suppose 8*u - 3438 + 518 = 0. Is 22 a factor of u?
False
Let b be 4/7 + 629/259. Let z(a) = -a**3 + 5*a**2 + 4*a + 5. Let x be z(6). Is b/x + (-650)/(-14) a multiple of 9?
False
Suppose 3*v + 4*f = 38, 5*v = f - 22 + 70. Is 0 - -2*445/v a mul