 10*u**2 - 7*u + 37. Is d(7) a multiple of 22?
False
Suppose -2*r = 3*y - 123 - 1957, -4*r - 4*y + 4160 = 0. Does 13 divide r?
True
Let b be 24/(-10) - (-6)/15. Let d(c) = 3*c + 25. Let l(q) = q - 1. Let m(y) = b*l(y) - d(y). Is m(-7) a multiple of 4?
True
Suppose 5*m - q = 14, 4*q = -2*m + m - 14. Let o be m - (-4 + 8)*4. Is 4 a factor of (-138)/(-10) + o/(-70)?
False
Let b = 317 + 128. Does 25 divide b?
False
Let k(q) = -2*q**2 - 13*q + 4. Let y be k(-6). Let m(d) = d**3 + 3*d**2 - 2*d - 4. Let z be m(-3). Suppose 0 = -z*i + 4 + y. Is i a multiple of 3?
False
Let i(k) = 6*k + 13. Let q be i(14). Suppose q = 5*y - 138. Is y a multiple of 13?
False
Suppose 8 = -0*r + 2*r. Suppose r*b - 920 = -4*g, -b + 235 = 3*g - g. Is 48 a factor of b?
False
Suppose -6*f + 28 = -62. Is 9 a factor of 0 - (3/(-1) - f)?
True
Let n = 307 - -101. Suppose 3*g = 11*g - n. Is 3 a factor of g?
True
Suppose -2 = -n + 3*u - 4, 3*u = 3*n - 6. Suppose n*p - 2*p = 504. Is 21 a factor of p?
True
Let u(n) = n**3 + n - 1. Let c(f) = -3*f**3 + 6*f**2 - 5*f - 3. Let t(a) = c(a) + 2*u(a). Let p be t(6). Let m = 16 - p. Is m a multiple of 13?
True
Does 11 divide (1 - 570/4)/(8/(-16))?
False
Let f be 54/15 + 2/5. Suppose -4 = f*d, 0*x = 3*x - 2*d - 20. Suppose x = t - 0. Is t a multiple of 2?
True
Let r(u) = 11*u + 3 + u**2 - 9*u + u**2 - 5. Let i be r(-2). Suppose i*g - 3*g + 46 = 0. Is 10 a factor of g?
False
Suppose 67*s = 69*s + 4*k - 1776, s - 3*k - 868 = 0. Is s a multiple of 55?
True
Let g = 524 + -452. Is 2 a factor of g?
True
Let t(u) = 143*u**2 + 78*u - 78. Let s(i) = -i**2 - i + 1. Let j(c) = -78*s(c) - t(c). Let g(m) = -m**2. Let o(l) = -182*g(l) + 2*j(l). Does 14 divide o(1)?
False
Let f(p) = -p**3 - 28*p**2 + 28*p + 67. Does 8 divide f(-29)?
True
Let n(f) = -f**3 - 11*f**2 - 6*f - 8. Let p be n(-7). Is 18 a factor of ((4 - 4 - 0) + p)*-1?
True
Suppose 35 = -6*p + 11*p. Suppose -4*a - 25 = -3*r, -r + 2*a = -6*r + p. Is r a multiple of 2?
False
Let c(w) = -26*w + 31. Let g(b) = 5*b - 6. Let i(f) = 4*c(f) + 22*g(f). Does 28 divide i(6)?
True
Is 78 a factor of (-954)/45*(7 + -67)?
False
Let r = -374 - -506. Does 2 divide r?
True
Let w be 25/(-5) - (1 + -5). Does 14 divide (-28)/(-1) - (-1 - w)?
True
Let r = -36 - -34. Let t = r - -34. Is 8 a factor of t?
True
Let m(a) be the third derivative of -a**6/120 - a**5/6 - 13*a**4/24 - 3*a**3/2 + 2*a**2. Is 12 a factor of m(-9)?
False
Suppose -3*z + 2*x = 137, -z + x - 5*x - 41 = 0. Is 6 a factor of 5/2*(-216)/z?
True
Let p be ((-3)/(-2))/(((-95)/(-20))/19). Is 5/15 - (-1216)/p a multiple of 29?
True
Suppose 2*j - 381 = -1. Is 6 a factor of j?
False
Let n(f) = -f**3 - 7*f**2 + f + 5. Let i be n(-7). Let d be i/3*(7 - 4). Does 5 divide d/(-1) + (12 - -1)?
True
Let r(n) = -n**3 - 5*n**2 + n + 7. Let m be r(-5). Suppose -22*k + 14*k = -40. Suppose 5*h + 4*x + 28 - 171 = 0, 0 = k*h + m*x - 139. Is 8 a factor of h?
False
Is 13 a factor of 2/(1 - 37/39)?
True
Let v = 500 - 200. Is v a multiple of 5?
True
Suppose 5*g = -3*w - 38, 3*g - g + 10 = 4*w. Let a be g/(-2) - (-3)/(-6). Suppose 0*p - 100 = -3*v + 2*p, 4*v + a*p = 105. Is v a multiple of 10?
True
Let a(t) = -120*t. Let g be a(-5). Suppose -5*z = -3*q - q - g, z = 3*q + 120. Is z a multiple of 12?
True
Let y be (-80)/15*54/(-8). Suppose 5*x = 4*h - 379, -110 = 2*x + 4*h + y. Let k = -52 - x. Does 21 divide k?
False
Let c = 1 - 43. Is 5 a factor of 188/6 + (-28)/c?
False
Let g(z) = 2*z**3 + 11*z**2 + 6*z + 1. Let b be g(-5). Is 3 a factor of -154*4/(-8) + 0 + b?
False
Let s(v) = -4 - v**3 - 69*v - 69*v + 138*v + 9*v**2. Is 10 a factor of s(8)?
True
Let b(o) = o**3 - 3*o**2 - 4*o + 4. Let i be b(4). Suppose m - 2*m + i = -5*a, -3*m + 42 = -5*a. Does 3 divide m?
False
Let z be 1/4 + (-357)/(-12). Let k be 6/(-3) - z/5. Let a = 26 + k. Is a a multiple of 10?
False
Let j = 1720 + -1004. Is j a multiple of 12?
False
Let h be (-14)/(-63) + 129/27. Suppose 80 = -4*w + h*s + 502, 4*w + 4*s - 404 = 0. Does 17 divide w?
False
Does 54 divide ((-4)/10)/(56/(-68040))?
True
Is 2276/10 + (-24)/40 a multiple of 43?
False
Does 14 divide 0 - (11 - 13)/(2/588)?
True
Is (4 - 6)/(30/(-295))*6 a multiple of 9?
False
Suppose 11 = 2*h + n + 4*n, 2*h - n - 5 = 0. Suppose 20 - 110 = -h*m. Suppose m + 0 = p. Is p a multiple of 16?
False
Let b(m) = m. Let x be b(3). Let i(o) = -8 + o**2 - 2*o + o**2 + 8. Is 3 a factor of i(x)?
True
Suppose 5*z + 0 + 9 = 3*n, -9 = -3*n - z. Suppose -r = -5*r - 2*p + 194, 0 = -n*r - 4*p + 153. Does 27 divide r?
False
Let a(r) = -r**3 + 20*r**2 + 19*r - 105. Does 25 divide a(20)?
True
Suppose 5*s = -405 + 1050. Is 43 a factor of s?
True
Let a = 6107 - 4247. Is 60 a factor of a?
True
Let d be (-2)/9 - (-3644)/36. Suppose 4*n = 3*t - n - d, -3*t + 85 = -n. Does 19 divide t?
False
Suppose 4*b - 121*v + 123*v - 748 = 0, 583 = 3*b - 4*v. Does 21 divide b?
True
Suppose -213*s + 158*s + 8030 = 0. Does 9 divide s?
False
Let o be 3619/55 + (-1)/(-5). Let v(y) = -y**3 - 11*y**2 - 15*y - 6. Let d be v(-11). Let p = d - o. Is p a multiple of 31?
True
Suppose 0 = 2*v + 5*i - 497, 0*i = i - 5. Suppose -v = -4*m + 4*d, -d + 143 = 5*m - 146. Is m a multiple of 29?
True
Let k(u) = 4 + 4 + 0*u + 1 + 2*u. Suppose 24 = 3*y + 4*f - f, 0 = -y + 5*f + 20. Is 10 a factor of k(y)?
False
Suppose 0 = 44*m - 37*m - 168. Is 10 a factor of (11/(-4) + -1)*m/(-9)?
True
Suppose 6*c = 15*c - 13158. Is 34 a factor of c?
True
Suppose -5*p + 20 = 0, 5*n + 4*p - 76 - 45 = 0. Let l = -1 + n. Does 5 divide l?
True
Suppose 1346 = 7*o - 915. Suppose 0 = 4*m - 5*n + 875, m = -m - n - 427. Let s = o + m. Is 18 a factor of s?
True
Let x(s) = -s**3 + 2*s**2 + s - 2. Let v(p) be the first derivative of p**3/3 + 11*p**2/2 + 8*p - 5. Let b be v(-10). Does 3 divide x(b)?
True
Let p = 419 + -196. Is 34 a factor of p?
False
Let r = -24 + 21. Let v be ((2 - -15) + 0)/1. Let y = r + v. Does 14 divide y?
True
Does 2 divide 1252/16 - (20/(-16))/(-5)?
True
Suppose h - 14 = 26. Suppose 9 = -5*a + 4*a + l, 2*l - h = 4*a. Let m(u) = -u**3 - 10*u**2 + 12*u + 16. Does 5 divide m(a)?
True
Suppose -2*a + 23 = 3. Does 7 divide a/(-35) + (-247)/(-7)?
True
Suppose 0 = 2*u + 2*u. Let i = u - -10. Let w = i + 0. Is 5 a factor of w?
True
Suppose 5732 = 14*l - 2794. Does 9 divide l?
False
Let r = -69 - -609. Is r a multiple of 11?
False
Let u(l) = -l**3 + 6*l**2 - 5*l + 4. Let f be u(5). Let k be -2 - (1 - f - -3). Let z(d) = 13*d**2 + d - 3. Is z(k) a multiple of 9?
False
Suppose -5*k + 2*o = o - 177, 102 = 3*k - 2*o. Let v be 3/((k/(-28))/(-3)). Is v - (2*-4)/(-4) even?
False
Let w = -431 + 693. Is w a multiple of 14?
False
Suppose 2*w = -5*t + 74, 168 = -4*w + 8*w + 5*t. Does 6 divide w?
False
Let z(y) = 3*y**2 + 15*y - 23. Does 7 divide z(-8)?
True
Let f be (1/(-3))/(9/27). Let r(q) = -31*q**2 + q + 1. Let n be r(f). Let g = n - -44. Does 13 divide g?
True
Suppose 0 = -22*h - h + 6279. Is 21 a factor of h?
True
Suppose 15*q = -4*p + 20*q + 2670, -3*p + 1997 = -q. Is p a multiple of 19?
True
Suppose -4*x - 10 = -154. Suppose 40*d - x*d = 36. Does 9 divide d?
True
Let p be (10/6)/(17/(-3) + 6). Suppose -4*i - p*g = -265, 2*i - 4*g - 292 = -2*i. Is i a multiple of 19?
False
Let s be (-33)/(-7) - (-8)/28. Suppose 0 = -5*p + 5*u + 30, 6*u - 3*u = -5*p + 6. Suppose s*v = p*v + 100. Does 25 divide v?
True
Let r be (10/3)/(8/756). Suppose -a = -4*a + r. Suppose -2*j = x - 3*x - 78, 0 = 3*j + 3*x - a. Does 13 divide j?
False
Let j(b) = 3*b**3 + 7*b**2 + 10*b + 15. Let u(g) = 16*g**3 + 35*g**2 + 51*g + 74. Let i(x) = -11*j(x) + 2*u(x). Does 21 divide i(-7)?
False
Let n(g) = g**3 + 7*g**2 + 3*g - 5. Let h be n(-6). Let o = h + -28. Let x = 71 + o. Does 14 divide x?
True
Let j = -23 - 4. Is 4 a factor of (-612)/j - (-1)/3?
False
Let u(r) = -47*r - 5. Let v be u(-4). Let o = -68 + v. Is o a multiple of 23?
True
Let c be 140/30*30/(-4). Let y(j) = j**2 + 13*j - 47. Let f be y(-16). Does 7 divide (-6)/(30/c)*f?
True
Let u = -8 - -35. Suppose r - 135 = -u. Does 12 divide r?
True
Let x(v) = -8 - 5 + 16 - 4 - 8*v. Let m be x(-2). Suppose -s + r + 141 = 3*s, -3*r - m = 0. Does 4 divide s?
False
Let v = 21 - 19. Let o be v*(4 - 5/(-2)). Suppose i + 1 - o = 0. Does 12 divide i?
True
Let o(q) = q**3 + 5*q**2 - 6*q - 8. Let k be o(-4). Let x = 51 - k. Does 6 d