 Is t a multiple of 14?
False
Suppose -13*b = -14*b - 5*l + 2789, 0 = 2*b + 3*l - 5557. Is 38 a factor of b?
True
Suppose -5*g + 10 = -3*g. Let a(z) be the first derivative of -z**4/4 + 7*z**3/3 - 3*z**2 + 7*z - 3. Is a(g) a multiple of 27?
True
Does 47 divide (9 + 41)*((-406)/(-10) + -3)?
True
Suppose -3 = 3*i - 2*i, -123 = -3*m - 2*i. Suppose -3*d + 227 = -m. Is d a multiple of 17?
False
Let w(u) = 3*u - 7. Let g(d) = -d**3 - 7*d**2 - 5*d + 6. Let f be g(-6). Let l(o) = o + 4. Let m be l(f). Is 2 a factor of w(m)?
False
Suppose -5*r = 4*y - 10, 2 = -r - 0. Suppose -w + 219 = -4*x + 1556, x + y*w = 329. Does 21 divide x?
False
Suppose 0 = 30*a - 6*a - 19968. Is 52 a factor of a?
True
Let k(f) = -1. Let s(c) = -c**2 - 6*c + 1. Let u(j) = 2*k(j) - s(j). Let w be u(-7). Suppose -w*z + 3 = -41. Is z a multiple of 3?
False
Let s(g) = -665*g - 209. Does 25 divide s(-3)?
False
Let p = 50 + -18. Let o = -24 + p. Does 4 divide (3 - 1)/(o/48)?
True
Suppose -5*u - 1095 = -5*t, -t - 3*u + 80 = -155. Does 38 divide t?
False
Let b = 1055 + -347. Is 46 a factor of b?
False
Suppose 3*p - 2968 = 2*h, 0 = 4*p - 4*h - 1036 - 2920. Is 45 a factor of p?
True
Let x(f) = f**3 - 5*f**2 + 6*f - 4. Let t be x(4). Suppose 109 = 4*g + 5*q, -3*q + t*q = -4*g + 105. Let o = g + 22. Is o a multiple of 24?
True
Let c(t) = -t**2 + t + 40. Is 2 a factor of c(-5)?
True
Let p(k) = 1 + 1 + 4*k - 27*k. Let r = -8 - -6. Is p(r) a multiple of 12?
True
Suppose -62*w = -76*w + 28770. Does 15 divide w?
True
Let f = 1710 - 1118. Is f a multiple of 74?
True
Let s be 8/(-32) + (-63)/(-12). Suppose -10 = s*k, -3*k - 260 = -4*h + k. Does 9 divide h?
True
Suppose -3*d - 2*z - 189 = 0, 5*d + 302 = -3*z + 4*z. Let b = 117 + d. Suppose -g - g + b = -2*i, 3*g - 2*i = 85. Is g a multiple of 9?
False
Let b = 19 + -39. Let w = b - -98. Does 12 divide w?
False
Suppose -102*g = -20*g - 210248. Does 63 divide g?
False
Suppose -2*c = 2*r + 14 + 4, 4*c - 34 = 3*r. Is (15/r)/(3/(-166)) a multiple of 13?
False
Suppose 4*r = 2*k + 888, 4*r - 3*k + 173 = 1057. Let y = r + -153. Is y a multiple of 27?
False
Let a(q) be the first derivative of q**5/30 - q**4/24 - 5*q**3/3 - 5*q**2/2 + 4. Let r(c) be the second derivative of a(c). Is r(-5) a multiple of 15?
True
Let w = 52 + -10. Suppose -g - 2*g + w = 0. Is 8 a factor of g?
False
Let x(h) = -87*h**3 - h + 6. Is 16 a factor of x(-2)?
True
Suppose 10*v - 540 = -2*v. Is v a multiple of 9?
True
Suppose 0 = -2*q + 4*x + x + 523, -269 = -q - 5*x. Suppose 13*f = 7*f + q. Does 11 divide f?
True
Let x(s) = -2*s + 33. Let y be x(16). Is 10 a factor of 2 + 7*4/y?
True
Let d(j) = -j**3 - 2*j**2 + 8*j + 6. Let x be d(-4). Suppose 0 = 2*f - g - 1 - x, -2*f - g = -5. Suppose -2*h + f*h = 18. Is h a multiple of 12?
False
Let x = 38 - 34. Does 6 divide 1/4*x + 17?
True
Let t(p) = -p**2 - 14*p - 11. Let o be t(-13). Suppose -o*n = 13 + 7. Let j = n - -32. Is j a multiple of 11?
True
Let a = -24 - -194. Does 8 divide a?
False
Let y be 1/3*467 + (-1)/(-3). Let n = 124 + y. Is n a multiple of 35?
True
Let i be 10/65 - 2256/(-39). Suppose -i + 178 = 3*m. Does 10 divide m?
True
Suppose s = o - 88, -50 = -2*s - 5*o - 247. Let u = -167 - -113. Let d = u - s. Does 9 divide d?
False
Let d(m) = 29*m**3 + 3*m**2 - 8*m + 3. Is 9 a factor of d(2)?
False
Let q(k) = 2*k**3 + 2*k**2 - 9*k + 6. Let n(l) = 2*l**3 + 2*l**2 - 8*l + 5. Let p(y) = -6*n(y) + 5*q(y). Is 7 a factor of p(-4)?
True
Suppose -n + 69 = -3*y, -3*n + 126 = 5*y - 123. Does 5 divide n?
False
Suppose 0 = -t + 7*h - 4*h + 697, 4*t - h = 2799. Does 7 divide t?
True
Let a(v) = -v**2 - 12*v - 3. Let w be a(-8). Let b = w - 18. Suppose b = 3*i - 28. Is 3 a factor of i?
False
Let v be (-2)/(-2 + 64/30). Let h be 0 - -1 - (2 + v). Suppose 1 - h = -i. Is 13 a factor of i?
True
Let w(z) = z - 6. Let u be w(8). Let r(l) = 6 + 1 - 6 - 2*l + 29*l**2 + 19*l**u. Is r(1) a multiple of 23?
False
Suppose 88 - 292 = -6*q. Does 4 divide q?
False
Suppose 3*v - b = 80, -17 = -3*v + 3*b + 67. Let t = 57 - v. Let g = t - -85. Is g a multiple of 29?
True
Let d(m) = -4*m + 0*m**3 + 5*m + 6*m**2 - 3 - m**3. Let i be d(6). Let h(u) = -u**3 + 3*u**2 + 5. Is 2 a factor of h(i)?
False
Suppose -5719 = 4*o + 3*z, 4*z = -2*o + 6*z - 2870. Is 12 a factor of 2/10 + o/(-40)?
True
Suppose -19 = -4*f - 4*y - 11, 0 = -5*f + 2*y + 17. Let d be 260 + (1 - 2) + 3. Suppose f*a - o = d, 3*o = 4*a - o - 360. Is a a multiple of 10?
False
Let j be 3 - (2/(-1) + -3). Suppose 5*w - 10 = 4*v + j, -2*w = 5*v - 27. Does 2 divide w?
True
Let o = 491 + -93. Is 72 a factor of o?
False
Let k be (-1)/2*5*(-696)/15. Let u = k - 94. Does 4 divide u?
False
Suppose f - 3*f = 788. Let u = 590 + f. Suppose -t = 3*t - u. Is 13 a factor of t?
False
Suppose 5*r + 15 = 10*r. Suppose -k + 113 = r*q, q + 101 = k - 0*q. Let j = 164 - k. Does 9 divide j?
False
Suppose 26*x - 914 = 854. Is x a multiple of 34?
True
Let z = -394 - -674. Is 2 a factor of z?
True
Suppose -3*h + 2*j = 7, 5*j = -2*h - h + 28. Let v(d) = 42*d + 3. Let f be v(h). Does 10 divide (f/(-6))/(12/(-16))?
True
Let r(b) = -5*b + 93. Let v be r(19). Let a(w) be the second derivative of -7*w**3/2 - 3*w**2/2 - w. Is a(v) a multiple of 9?
False
Let b = 4061 - 2694. Is 72 a factor of b?
False
Let a be (-2)/1 - (-1 + -3). Suppose -163 = -a*c + t, 160 + 9 = 2*c + 5*t. Does 13 divide c?
False
Suppose -80 - 100 = -9*w. Is w a multiple of 20?
True
Suppose -30 = -5*m - 110. Does 8 divide 178/8 + 4/m?
False
Let n = -186 - -354. Is n a multiple of 22?
False
Let p = -38 + 82. Suppose 39*b = p*b - 555. Is 37 a factor of b?
True
Let f(v) = -v**3 - 7*v**2 + 7*v - 1. Let m be f(-8). Suppose m*x - 5*x = 8. Suppose 3*y + w + 56 = 155, -3*y = x*w - 99. Is y a multiple of 11?
True
Let b be -1 - -5 - (1 - 1). Suppose b*z = 5*z + 2. Is (1 - (-8)/z) + 28 a multiple of 11?
False
Let o(g) = g**3 + 6*g**2 + 7*g + 4. Let h(z) = z**3 - 2*z**2 - 3*z + 3. Let r be h(3). Suppose 0 = 4*s - 4*i + 24, -3*s + 4*i - 17 = r. Is 4 a factor of o(s)?
True
Suppose 4*l - 4 = -24. Suppose 0 = -d - 0*d - 80. Does 30 divide 18*(d/3)/l?
False
Suppose -3*j = -w + 19, 4*j - 6*j - 22 = -3*w. Let y(n) = n**3 + 6*n**2 + 4*n. Let v be y(j). Suppose -5*h + v = 0, -4*h - 181 = -3*d - 2. Is d a multiple of 9?
False
Suppose -15066 = -91*z + 64*z. Does 18 divide z?
True
Let b(j) = -j**3 + 18*j**2 - 5*j - 18. Is b(17) a multiple of 15?
False
Let q = 528 - 41. Suppose 4*y - 3*s - q = 0, -2*s = 2*y - 7*s - 247. Is y a multiple of 19?
False
Suppose 40*h - 5126 - 1754 = 0. Does 86 divide h?
True
Let h(c) = 15*c + 9. Let l = 21 - 12. Let d(z) = 8*z + 5. Let r(j) = l*d(j) - 5*h(j). Does 7 divide r(-7)?
True
Let q(i) = i**2 - 4*i. Let n be q(4). Suppose -3*d + 2*h + 113 = n, 5*d - 40 = 3*h + 149. Is 7 a factor of d?
False
Let h be 2/(-8) + 72/32. Suppose 0 = -2*z - h*z - b + 297, 4*b - 4 = 0. Is z a multiple of 13?
False
Suppose 0 = 3*s - 5*h - 1920, 2*s - h - 2*h = 1280. Suppose 5*f + s - 1585 = 0. Is f a multiple of 27?
True
Let y(h) = h - 3. Let g be y(3). Let o = g + 3. Is o + 2 + (-2 - -37) a multiple of 8?
True
Suppose -3*j + 0 = t + 1, 4*t - 10 = 2*j. Suppose -6 = -t*v - v. Is 31*v + (-4)/2 a multiple of 9?
False
Let k(o) = -5 + 5*o**2 + 0*o**2 + 4*o + 2 - 2*o**2. Let d be k(-4). Let g = d + -11. Does 18 divide g?
True
Let p(g) = 18*g + 2. Let b(w) = 37*w + 4. Let r = -8 + 11. Let h(t) = r*b(t) - 7*p(t). Is h(-4) a multiple of 21?
False
Let r(x) = -6*x - 1. Does 2 divide r(-5)?
False
Suppose 13*v = -0*v + 21346. Is 30 a factor of v?
False
Does 17 divide (-14371)/(-14) + 18/12?
False
Suppose 43*t - 50*t = -1274. Does 14 divide t?
True
Suppose -5*y = -3*k - 35, -4*y - 3 + 4 = 3*k. Suppose -y*w - 3*z = -788, 3*w - 631 = 2*z - 23. Is w a multiple of 25?
True
Suppose 5*i = 2*i - 381. Let u be -2*i/4*-2. Let d = -31 - u. Does 25 divide d?
False
Does 48 divide -4016*(14/105 + 46/(-120))?
False
Suppose 5*o - 31 = o + 3*i, o - 2*i = 14. Suppose 4*z = -o*c + 28, -2*c + 2 + 3 = -z. Suppose -g - c + 58 = 0. Is g a multiple of 13?
False
Let v(f) = -84*f - 308. Is 14 a factor of v(-24)?
True
Let g = 24 - 20. Suppose 0 = g*v - 438 - 42. Is 12 a factor of v?
True
Let q(r) = -r**3 - 2*r**2 + 4*r - 3. Let g be q(-4). Let u = -208 - -213. Suppose 4*p - 12 = -u*k + g, -k - 6 = 3*p. Is k a multiple of 3?