1171665/(-77))/9?
False
Let p be (-37)/(-4) - 25/100. Suppose 0 = p*d + 88 - 2068. Is 20 a factor of d?
True
Let t(o) = o**3 + 12*o**2 + 12*o - 4. Suppose 29 = -4*r - 15. Let u be t(r). Let p = u - -48. Is p a multiple of 8?
False
Let t(w) = -52*w + 23. Let c be t(2). Let b = 180 + c. Does 14 divide b?
False
Suppose -4636 = -44*l + 8828. Is l a multiple of 7?
False
Let v be -2*1 - (16 - 22). Suppose 0 = -4*w + 8*m - 13*m + 373, -v*w + 4*m + 364 = 0. Is 42 a factor of w?
False
Let f = -155 + 298. Suppose -2*x + f = -3*k - 2*k, -74 = -x + 2*k. Is x a multiple of 28?
True
Suppose -s - f = -6*f - 930, 3*f = -s + 962. Is 95 a factor of s?
True
Let x(v) = 42*v - 37. Is 32 a factor of x(17)?
False
Suppose 3*j = -12, -j = -s + 51 + 45. Does 28 divide s?
False
Suppose 0 = v - 4*q - 1, 3*v - 4*q + 6 = v. Let b(c) = c**2 + 9*c + 10. Let t be b(v). Let h(y) = y**2. Is h(t) a multiple of 8?
True
Let p(u) = 30*u**2 + 6*u - 15. Is p(-5) a multiple of 43?
False
Let z(q) be the third derivative of -q**4/24 - 5*q**3/6 - 5*q**2. Let r be z(-9). Is 431/11 + r/(-22) a multiple of 12?
False
Suppose 158363 - 49023 = 71*m. Is 28 a factor of m?
True
Let r(f) = -2*f**3 - 7*f**2 - 39*f - 12. Is r(-9) a multiple of 15?
True
Suppose -c - 2 = -2*c. Suppose 3*t - 84 = -c*g, -2*t = 2*t + 8. Suppose -5*v + 5 = -g. Is 4 a factor of v?
False
Let m(h) = h**2 - 4*h + 6. Let q = 1 + 2. Let p be (-15)/(-1)*1/q. Is m(p) a multiple of 10?
False
Is 18 a factor of -3 - (-201 - (5 + -1 - 4))?
True
Let n(b) be the third derivative of b**4/24 - 7*b**3/6 - 9*b**2. Let j be n(7). Suppose j = -r + 4*r - 24. Is r a multiple of 6?
False
Suppose -2*y - 13 = -b, 0 = 3*b - y - 14 - 10. Let r(z) be the first derivative of -z**3/3 + 13*z**2/2 - 6*z + 3. Is r(b) a multiple of 31?
False
Let q(d) = 4*d**2 + 3*d - 43. Is q(-11) a multiple of 68?
True
Is 4 a factor of (-12 + 13923/34)/(3/10)?
False
Let p(s) = -2*s**2 - 62*s - 95. Is 25 a factor of p(-9)?
False
Suppose -2*n - 2*j - 64 = -j, 0 = -5*j. Does 14 divide 109 + 104/n + (-1)/(-4)?
False
Let v(o) = 4*o**2 + 9*o - 34. Does 5 divide v(4)?
False
Suppose 6*j - 2059 + 577 = 0. Let v = -136 + j. Is v a multiple of 37?
True
Suppose -q = 3*q - 20. Suppose 8*v = q*v. Suppose 3*k + 5*p + 0*p - 132 = 0, v = 2*k + 5*p - 88. Does 13 divide k?
False
Let w(b) = -21 - 2*b + 15*b + 8*b. Is 14 a factor of w(9)?
True
Suppose -6*l + 327 = 15. Suppose 3*o = -o + n + 175, o = 3*n + l. Is o a multiple of 11?
False
Suppose -5*i + 7 + 30 = 3*p, 2*p - i = 3. Let q = 15 + p. Suppose -b = 4*n - q - 81, 5*b - 479 = n. Is b a multiple of 32?
True
Suppose 0*h - 3 = -2*t + h, 0 = -3*t - 2*h - 6. Suppose t = -x - a + 20, -20 = x - 2*x + 3*a. Is 2 a factor of (-50)/x*4/(-5)?
True
Suppose 0 = -9*v + 6*v + 24. Suppose -d = -v*d + 728. Is 26 a factor of d?
True
Let q = -1394 + 1626. Does 10 divide q?
False
Let f(i) = -i**2 + 3*i + 4. Let a be 6*(14/(-4) - -4). Let p be f(a). Suppose -p*n = -n - 72. Is n a multiple of 8?
True
Suppose -259 + 25 = -2*g. Does 4 divide g?
False
Suppose -16*i + 5460 = 26*i. Does 42 divide i?
False
Is (-132)/(102/(-12) + 7) a multiple of 4?
True
Suppose 0 = -0*p + 2*p + 64. Let v be (-830)/8 - (-63)/84. Let y = p - v. Is 18 a factor of y?
False
Suppose -4*l + 10 = -2*l. Suppose -4*y + 31 = -l*i - 778, -4*y - 5*i + 839 = 0. Is y a multiple of 27?
False
Suppose -1518*s = -1542*s + 7728. Is s a multiple of 13?
False
Suppose h = -5*v + 17, -4*v = v + 5*h - 25. Suppose v*w - 38 = -4*s, -w = 3*w - 4*s - 4. Suppose 0 = -4*k + 5*f + 49, k + 5*f - w = -0*f. Does 2 divide k?
False
Suppose -151*l - 102 = -152*l. Is 11 a factor of l?
False
Suppose 5*h = -3 + 58. Suppose -7*v + h*v - 116 = 0. Does 19 divide v?
False
Suppose 0 = -4*y - 8, -5*z + 16*y + 3270 = 21*y. Does 48 divide z?
False
Let d = -17 - -17. Suppose d = -26*o + 30*o - 1240. Is o a multiple of 31?
True
Let s = -4 + 12. Suppose 21 = s*c - 83. Does 10 divide c?
False
Suppose -4*w - 503 = -7*w + 4*q, -5*q = -w + 164. Does 13 divide w?
True
Let v be 25/(-4) - (-6)/24. Does 8 divide ((-112)/(-35))/(v/(-75))?
True
Let q = 290 - -214. Is 8 a factor of q?
True
Suppose 324 = 5*m - 4*v - 738, 0 = -3*m - v + 627. Does 35 divide m?
True
Let k(c) = -15*c**3 - 10*c**2 - 8*c - 7. Is 52 a factor of k(-4)?
False
Let z(k) = -5*k**2 - 2*k - 4. Let u(m) = -11*m**2 - 3*m - 9. Let a(r) = -6*u(r) + 13*z(r). Let d be a(6). Let h = -7 - d. Is h a multiple of 2?
False
Let t(r) be the second derivative of r**5/20 + r**4/3 - r**3 + 3*r**2 - r. Let y be t(-5). Let j(w) = -w**3 + 11*w**2 + 2*w - 3. Does 5 divide j(y)?
False
Is 6/(-12)*-710 + (-8)/(-4) a multiple of 7?
True
Let l be (-55)/(-20) - 1/(-4). Suppose 2*r + r + s = 102, 136 = 4*r + l*s. Let u = 63 - r. Is u a multiple of 16?
False
Suppose 0*b - 5*b + 145 = 2*t, -4*b = 2*t - 142. Let h = t - 32. Is h a multiple of 7?
False
Let p(c) = 11 + 46 + 6*c - 5*c - 20. Is p(-10) a multiple of 11?
False
Suppose 0 = 3*f + 2*j - 229, 2*f - 156 = 3*j - 5*j. Let v = f + 107. Does 20 divide v?
True
Let y(s) = -2 - 8*s + 5*s - 3*s. Let i be y(-10). Suppose 3*q - 9 - 18 = 2*l, -5*q = l - i. Is q a multiple of 3?
False
Suppose -5*h = -b + 41, 3*h + 0*h = 4*b - 11. Is (-245)/h + 4/(-18) a multiple of 7?
False
Let j = 344 + 1223. Is j a multiple of 14?
False
Let d(b) = -48*b**3 - b**2 + b + 2. Does 8 divide d(-2)?
False
Let c(l) = 70*l**2 - 19*l + 159. Does 19 divide c(6)?
True
Does 5 divide 31*330/40*8/3?
False
Let i(y) = 9*y - 4*y + 8*y - 1 + 2. Suppose -p = p - 2. Does 12 divide i(p)?
False
Is 32 a factor of ((-2624)/10)/((-52)/130)?
False
Suppose 5*t - 3314 = -4*g, -4*t - 4*g - g + 2644 = 0. Suppose -15*w = -9*w - t. Does 27 divide w?
False
Is 5 a factor of (48/(-72))/(4/(-522))?
False
Suppose 3*o + 1043 = 3*f + 68, -f - 2*o = -322. Is f a multiple of 27?
True
Suppose -2*m - 13 = -w, 5*m + 12 = -w + 2*m. Let l(u) = -4*u**w + 3*u**3 + 3 + 1 - u + u**2. Is l(-4) a multiple of 22?
True
Let s = 54 - 50. Is 12 a factor of (-786)/(-18)*s/(4/3)?
False
Let s(y) = -y**3 - 3*y**2 + 7*y + 10. Let i be s(-4). Let j(u) = -2*u**3 + 2*u**2 + 3*u. Is j(i) a multiple of 3?
True
Let l = 1477 + -661. Does 102 divide l?
True
Let d be (-14)/105 - 77/(-15). Suppose 339 = d*k - 81. Is k a multiple of 21?
True
Let h = -359 - -689. Is 23 a factor of h?
False
Suppose -300 = -4*s - 3*i, -150 = -0*s - 2*s - 3*i. Let y = -50 + s. Let q = 41 + y. Is 22 a factor of q?
True
Suppose 17 - 107 = -5*l. Is l/117 + 154/13 a multiple of 6?
True
Let k(i) = 12*i - 19. Suppose -18 - 22 = -5*z. Does 11 divide k(z)?
True
Let x = -20 + 17. Is 31 a factor of (186*-1)/(6/x)?
True
Let c be ((-20)/(-45))/(-1 - 11/(-9)). Suppose -z = 2*t - 113, -c*z - 2 = -0*z. Does 11 divide t?
False
Let s(v) = -11*v**2 - 9*v + 19. Let l(n) = 5*n**2 + 5*n - 9. Let a(d) = 5*l(d) + 2*s(d). Does 37 divide a(-6)?
False
Let k(g) = 9*g**3 - 7*g**2 + 5*g - 3*g**3 - 5*g**3. Let a be k(5). Does 6 divide ((-170)/a)/(2/10)?
False
Is 42 a factor of ((-6)/10 - 0) + (-194616)/(-510)?
False
Suppose 5*x - 466 = -2*g + 3177, 5*g = -3*x + 9117. Does 48 divide g?
True
Let j = -250 - -350. Does 26 divide (-2 + j/(-15))*-6?
True
Let f(q) = q**2 + 5*q + 3. Let x be f(-8). Let g = x - 22. Suppose -5*k + 277 = p - g, 0 = -p - 3. Does 19 divide k?
True
Let y(t) = t - 18. Let v(b) = b**2 - b + 1. Let k be v(4). Let o be y(k). Is 8 a factor of (o - -18)/((-3)/(-6))?
False
Is (-30)/(-4)*(-3014)/(-33) a multiple of 29?
False
Suppose a - 31 = -28. Suppose -4*h + 4*w = -436, -a*h = -2*w - 284 - 43. Is h a multiple of 11?
False
Let i be (-45)/(-10)*(-60)/(-3). Suppose 5*q - 4*c + i = 1058, 4*q - 2*c = 778. Is q a multiple of 14?
True
Suppose 5*b = -5*m + 630, m - 630 = -5*b + 4*m. Is (-34)/(-4)*b/9 a multiple of 20?
False
Suppose 2*a - 4*t = 6*a - 3716, -9 = 3*t. Is a a multiple of 50?
False
Suppose 3*u + p - 3*p + 25 = 0, -2*p + 10 = 0. Let a be 9/((20/8)/u). Let d = 64 + a. Is 16 a factor of d?
False
Let i(j) = j**2 - 10*j + 2. Let f be i(10). Suppose 5*b - f*b = 6. Suppose -4*g + 85 = b*x + 19, 3*x + 81 = 4*g. Is 9 a factor of g?
True
Let u(f) = f**3 + 7*f**2 - 3*f - 15. Let c be u(-7). Let v(m) = m**3 - 5*m**2 + m - 9. Does 16 divide v(c)?
False
Suppose 3*t + t = 16. Let q = t - -14. Suppose -58 + q = -5*g. Is 2 a factor of g?
True
Let a(u) = -5 + 17*u - 7 + 3. Is a(3) a multiple