15 a factor of p(u)?
True
Suppose -16 = -2*n + 10*n. Let j be ((-28)/20)/(n/10) + 0. Suppose 9 + 201 = j*b. Does 15 divide b?
True
Suppose -3*p + 94 = -4*h, 3*h + h = -4*p + 116. Suppose 4*v = -30 - p. Is 3 a factor of v/(-1) + 1*-3?
True
Suppose -q - 1 = -u, -4*u = q - 16 + 2. Suppose -a + 984 = 4*y, -18*y + 968 = -14*y - u*a. Is 49 a factor of y?
True
Let s(p) = -p**2 + 22*p - 63. Let f be s(20). Let v(z) = -44*z - 185. Does 95 divide v(f)?
False
Suppose 0 = -114*t + 120*t - 114. Suppose -t*c + 11*c = -2816. Is 22 a factor of c?
True
Let m(r) = 90*r**2 - 21*r - 1. Let p be m(9). Is (45/27 - 2) + p/6 a multiple of 91?
True
Suppose 0 = 9*q - 818 + 206. Let f = q + -62. Suppose 2*l - 4*p - 232 = 0, -f*l + 2*l - p = -437. Does 5 divide l?
True
Let m(y) be the first derivative of y**3/3 + 4*y**2 + 10*y - 1. Suppose -p - r - 4 = 8, -2*p - 5*r = 27. Is 9 a factor of m(p)?
False
Suppose 38086 + 54790 = 31*w. Is w a multiple of 7?
True
Suppose 5*k - 3*m + 1019 = 3041, -5*k + m + 2024 = 0. Let d be 17/((-3 + 308/104)*-2). Let v = k - d. Does 54 divide v?
False
Suppose -331 = -3*r + 122. Let c(v) = 12 + 2 - 29*v - r*v**2 + 154*v**2. Is 18 a factor of c(13)?
True
Let f = 26 - 0. Suppose s + 0*s - 5 = 0, 0 = -3*q - 4*s + f. Is (-5)/(-10)*q*14 even?
True
Suppose 0 = 4*m + 33 + 15. Let p = 120 + m. Is p a multiple of 4?
True
Let l(d) = -3*d**2 - 91*d + 23. Is 2 a factor of l(-28)?
False
Let p = -4584 - -9823. Is p a multiple of 13?
True
Suppose 2*g - 6*g + 4 = -n, 4*g = 3*n + 4. Let b(p) = 194*p**3 + p**2 + 2*p - 3. Is b(g) a multiple of 23?
False
Let a = 100035 - 56048. Does 14 divide a?
False
Let o(i) = 73*i**2 + 23*i - 99. Suppose x + 2 - 6 = -r, 2*x = 4*r - 16. Is 43 a factor of o(r)?
True
Let d = -22256 + 25112. Is d a multiple of 14?
True
Let l be ((-1020)/(-150))/((-1)/5). Is 44 a factor of 132/1122 + (-31412)/l?
True
Suppose v = -2*n + 11, 8*n + 4*v = 7*n + 2. Suppose 197 + 1807 = n*i. Does 86 divide i?
False
Let t(a) be the first derivative of 4*a**3/3 - 3*a**2 - 6*a - 608. Suppose -4*z - 16 = 2*j, -5*z + 2*j - 20 = 7*j. Does 14 divide t(z)?
False
Let l be -1*(-5)/5 - -2. Let c be 2/(l - 2) - -93. Suppose r = 5*a - 4*r - 105, 3*a + 5*r = c. Is a a multiple of 25?
True
Suppose 8*w - 16 = 4*w. Suppose 3*f - w*f = -2. Is 4/(f/(212/(-102)) + 1) a multiple of 13?
False
Let k = -117 + 287. Let a = 73 - 39. Suppose -a*z = -35*z + k. Does 17 divide z?
True
Suppose 0 = -3*l - 9 + 39. Let u = -1993 + 2025. Suppose -h = -a - l, 5*h = -a + u + 42. Is h a multiple of 7?
True
Let b(s) = -4*s + 355. Let q(z) = -z + 118. Let g(y) = 4*b(y) - 11*q(y). Is 42 a factor of g(0)?
False
Suppose 0 = -g - 3*h + 12, -3*g + 2*h = -5*g + 16. Suppose 4*v + 8 = -b, -g*b - 2*v + 32 = -b. Is b a multiple of 3?
False
Let i(l) = -3*l + 19. Let p = 53 + -45. Let t be i(p). Is (t/(-3))/((-4)/(-180)) a multiple of 11?
False
Let l(a) = a**3 - 22*a**2 - 22*a - 16. Let f be l(23). Suppose -3*h - 4*i = -122, -f*i + 4*i - 155 = -5*h. Does 18 divide h?
False
Suppose 4*i + 3594 = 5*s - 45810, -4*s + 3*i + 39523 = 0. Does 9 divide s?
False
Let t(y) = 7*y + 2. Let u be t(0). Suppose -2*r + 724 = -l, -u*r + 736 = l + l. Is r a multiple of 14?
True
Let k = 22389 + -13477. Does 16 divide k?
True
Let u(r) = -r**2 + 2*r + 17. Let b be u(-3). Let q(x) = -2 + x + b*x + 0*x + 239*x**3. Is q(1) a multiple of 40?
True
Suppose -4*u + 5271 + 9100 = 5*d, -2*d = 5*u - 5745. Is 25 a factor of d?
True
Suppose -3*z = -5*u - 659, 0 = -3*u - u - 2*z - 536. Let v = 2 - u. Does 9 divide v?
True
Let o = 27979 - 13651. Does 14 divide o?
False
Suppose 63*k = -45*k + 84413 + 97027. Is k a multiple of 4?
True
Suppose -3*v + 5*k + 14 = 0, 0 = -v - 0*v - 5*k - 2. Let g(u) = -33*u - 14. Let a be g(v). Let y = a + 212. Does 11 divide y?
True
Suppose -28*l + 290 = -242. Suppose -l*n + 84 = -13*n. Does 3 divide n?
False
Let m(w) = -7 - 4*w - 9*w + 6 + 7. Let o be m(-14). Let t = o - 75. Does 14 divide t?
False
Let u = -87 - -80. Let n(x) = x**2 + 6*x + 5. Let d be n(u). Is (-2 + 16/d)/(1/(-102)) a multiple of 17?
True
Let v = 58613 + -36160. Is v a multiple of 65?
False
Suppose 7*u - 8*u = -1. Let r be (16*-23)/(-2) + (0 - u). Suppose 2*k + 43 - r = 0. Does 10 divide k?
True
Let m be 0 - (-4)/(0 + -2 + 0). Let h be 215 + m*(0 + -2). Suppose 4*n - h - 73 = 0. Is n a multiple of 27?
False
Suppose -324 - 1147 = -n. Let t = n - 823. Is t a multiple of 100?
False
Let b = -5 + 5. Let v(m) = 2*m + m**3 - m**2 + 223 - 42 + b*m**2. Is 25 a factor of v(0)?
False
Let y(v) = v**2 - 7*v - 21. Let u be y(-10). Let g = 365 - u. Is 9 a factor of g?
True
Suppose 5*g = -4*g - 9. Let c be 2 + (-7 - -4) - g. Suppose 0 = -q + 10 - c. Is 3 a factor of q?
False
Let h = 1529 + -757. Suppose -452 = -4*i + h. Is i a multiple of 18?
True
Let y(f) = f**3 - 6*f**2 + 33*f - 119. Is y(8) a multiple of 3?
True
Let s(m) = 80*m**2 + 41*m + 39. Does 78 divide s(8)?
False
Suppose 60*y = 65*y - 15. Suppose 4*b = v - 283, -2*v + 278 = -v - y*b. Does 11 divide v?
False
Let n(x) = 12*x**2 - 94*x + 225. Is 31 a factor of n(-55)?
True
Is (204/8)/((-90)/(-24600)) a multiple of 85?
True
Let t be (-159)/(-33) - (1 - (-26)/(-22)). Suppose 48 = 5*q + 4*n, t*q - 6*n + 4*n = 66. Does 6 divide q?
True
Let v(t) = -5*t + 60. Let r be v(11). Let w(o) = -r*o - o + o - 5*o. Is w(-9) a multiple of 9?
True
Suppose 0 = t - 3*t - 8, -5*d - 5*t = 10. Suppose -3*f + 0*s + 14 = d*s, -3*s + 7 = f. Suppose -63 = -f*h + 77. Is h a multiple of 12?
False
Let n(s) = -s**3 - 14*s**2 - 13*s + 5. Let v be n(-13). Suppose 3*i = -2*i + v. Does 11 divide (i + (-552)/4)*-1 + 1?
False
Suppose b = -22*b + 591813. Is 88 a factor of b?
False
Let b = 363 - 358. Suppose -8*s + 3*s - 2*f = -148, 0 = -b*s - 3*f + 152. Is 2 a factor of s?
True
Suppose 49*v = 46*v + s + 1800, -v - 5*s = -584. Is v even?
False
Let j(d) be the third derivative of -d**6/120 + 7*d**5/12 - 5*d**4/4 + 20*d**3/3 + 2*d**2 - 123. Does 63 divide j(34)?
False
Let x(u) be the third derivative of -u**6/15 - u**4/12 - u**2 + 1. Is 20 a factor of x(-2)?
False
Suppose 2*j - 6 - 8 = 0. Let z(l) = -399*l - 197. Let g be z(-3). Suppose j*d + d = g. Is d a multiple of 25?
True
Let x(y) = -y**3 + 20*y**2 + 7*y - 6. Let s(l) = -6*l + 13. Let c be s(-1). Does 5 divide x(c)?
False
Let r = -139 - -181. Does 6 divide (-3)/(r/49)*-6?
False
Let y(g) = -2*g**3 - 96*g**2 + 206*g + 208. Does 107 divide y(-52)?
True
Does 10 divide -3 - (-13874)/5 - (-18)/(-10)?
True
Let c(r) = 3*r**2 - 17*r + 16. Let g(y) = -3*y**2 + 17*y - 15. Let q(u) = 3*c(u) + 4*g(u). Let t be q(6). Let z = t - -31. Is z a multiple of 2?
False
Let m(t) = -203 + 6*t + 177 + 4*t. Let f be m(4). Suppose -f*v = -15*v + 50. Does 25 divide v?
True
Let f be (-78)/(-104)*(-16)/(-6). Let l be (-3 - (-5)/2)/f*-4. Suppose -3 = c - l, 34 = m - 2*c. Is 30 a factor of m?
True
Let m = -233 + 218. Let c(o) = -o**3 - 13*o**2 + 23*o - 21. Is 3 a factor of c(m)?
True
Suppose 4*w + 31 = 423. Suppose 284 = -4*g + 20. Let k = w + g. Is 16 a factor of k?
True
Let z = 1550 + 30293. Is z a multiple of 90?
False
Suppose -2*t + 4*c = -5788 + 976, 4 = 2*c. Is 79 a factor of t?
False
Let r(o) = -222*o + 1395. Is r(-15) a multiple of 9?
True
Suppose 16*x - 60 = 11*x. Suppose 0 = -2*o - 5*q + x - 3, -2*o + 4*q - 18 = 0. Let c = 142 - o. Is c a multiple of 16?
False
Let z = -86 - -86. Does 7 divide 7/(z + 5/35)?
True
Let z be (-489 + 612)*(4/(-3) + 1). Let a(p) = 2*p**3 + 5*p**2 + 4*p. Let n be a(-5). Let w = z - n. Does 26 divide w?
True
Let b = 12885 - 1440. Does 109 divide b?
True
Suppose b = 2*q - 8, 5*q - b = 7*q. Suppose s + 48 = q*z + 5*s, 5*s - 96 = -4*z. Is 6 a factor of z?
True
Suppose -374 = 2*w + 4*y, -5*w + 10*w - 2*y + 995 = 0. Let t = w + 204. Does 3 divide t?
False
Let w(o) = -72*o**2 - 17*o - 24. Let b be w(-3). Is 6 + 0 + (-7 - b) a multiple of 20?
True
Let n(d) = -74*d + 14. Suppose -8 + 24 = -8*s. Is 18 a factor of n(s)?
True
Let k(j) = -4*j**2 + 66*j + 28. Let r be k(16). Suppose -156 = -v - 2*c, -r*v + 61*v - 4*c = 156. Is v a multiple of 32?
False
Does 96 divide (3324/28 - -27)/(2/672)?
True
Does 43 divide 2720 - (1 + 7 + 3)?
True
Let k be (-4)/4*-1*11. Let u(a) = 1 - 2 - 56*a - 26*a + k*a. Does 15 divide u(-1)?
False
Suppose -35 = -2*w + 3*r, -r - 14 = -5*w + 67. Let i(o) = -9 + 3*o + 10 