 of c(-13)?
False
Let o(c) = 89*c**3 + 3*c**2 - 5*c + 7. Is 34 a factor of o(3)?
False
Suppose 3*c - 6 = 0, 7 = 4*w + 3*c - 7. Suppose q - 5*z - 125 = -w*z, q = 4*z + 122. Is 11 a factor of q?
False
Let c(f) = -f - 6. Let u be c(-8). Let n(y) = -5 - 7*y - 1 + y - u*y**2 - y**3 - 2*y**2. Does 13 divide n(-4)?
False
Let f be ((-1)/3)/(-1) + 33/9. Suppose -f = -3*b - 5*q, -b + 5*q - 1 = -3*b. Suppose n - 14 = -b*t + 5, -4*n + 3*t + 31 = 0. Does 6 divide n?
False
Let p = 87621 + -44874. Is 21 a factor of p?
False
Let x(f) = 5*f + 8*f - 2*f + 2 + 9*f. Let k(h) = -h. Let j(c) = -3*k(c) + x(c). Is 5 a factor of j(3)?
False
Let h be -1 - (3 - 1)/2. Let b(x) be the first derivative of -13*x**4/4 - 4*x**3/3 - 2*x**2 - 3*x - 134. Is b(h) a multiple of 10?
False
Suppose -16 - 4 = 5*f, -2*a - 3*f = -48. Is 23 a factor of -5 + (-14216)/(-30) + 4/a?
False
Let u(o) = -4*o - 152. Let d be u(-38). Let q(h) = 5*h**2 - h + 585. Is 37 a factor of q(d)?
False
Let f be ((-4)/(-3) - 3)/(1/(-3)). Suppose 5*d - 155 = 5*u, -7*d + f*u = -5*d - 77. Is 5 a factor of d?
False
Let z(u) = -u**3 - u**2 - 6*u - 3. Let f be z(-2). Suppose 4*n - 9 = -f. Does 13 divide (0/n - 3) + (2 - -85)?
False
Suppose -4*t - 42 = 66. Let m be t/(-6) - (9/2 - 3). Suppose m*l = 6*l - 210. Is l a multiple of 10?
True
Let a = 151 - -69. Let z(b) = b**2 - 10*b - 9. Let o be z(-7). Let h = a - o. Does 10 divide h?
True
Let s(f) = f**2 - 11*f - 8. Let j = 21 - 1. Suppose -4*g - j = -4*q, -2*g + 4*q + 4 - 16 = 0. Is 4 a factor of s(g)?
True
Let n(k) = k**2 - 17*k - 19. Let d be n(20). Let h = d - 64. Let s = 44 - h. Is 24 a factor of s?
False
Let t = 36 + -33. Let q be t/6*(263 - (1 - 2)). Does 22 divide (-20)/(((-6)/8)/(q/32))?
True
Let i(f) = -20*f - 22. Let z be i(-7). Let w = z - -2. Does 8 divide w?
True
Suppose -7*r - 126 = -k - 2*r, 0 = -2*k + 5*r + 267. Let x = 551 - k. Is x a multiple of 10?
True
Let g be (0 - 16/(-12))/((-6)/(-360)). Suppose a - g = 2*k, -4*k + 181 + 49 = 3*a. Is a a multiple of 8?
False
Suppose -20 = -2*m - 2. Suppose -8*p = -m*p. Suppose -2*o - 6*o + 672 = p. Is 21 a factor of o?
True
Let d = -1010 - -1021. Suppose d*t - 9*t = 2660. Is t a multiple of 70?
True
Let l be (-40)/(-12) - (-2 - 20/(-15)). Does 5 divide 3/(-3*l/(-12)) + 191?
False
Suppose 0*t + 4*m = -5*t + 86, 0 = -t + 3*m + 2. Let y = 23 - t. Suppose y*x - 1236 = -147. Is x a multiple of 13?
False
Let m = -75509 + 130576. Is m a multiple of 53?
True
Suppose 74*d + 545105 = 44*d + 83*d. Is 121 a factor of d?
True
Let x(p) = 3*p + 101. Let k be x(-34). Let l(o) = -309*o - 4. Is 14 a factor of l(k)?
False
Let l = 1518 + -968. Let z = -273 + l. Is z a multiple of 71?
False
Suppose 5*l - 82 = 4*w - 27, 0 = -4*l - 20. Let q be (8/(-16))/((-2)/w). Does 14 divide (q + 8)*2/((-18)/(-579))?
False
Is 13 - 43710/(-3) - (6 - -4) a multiple of 93?
False
Suppose -2*d - 4*q + 26 = -q, 3*d - 2*q - 26 = 0. Suppose -h - 7 = -d. Suppose -2*g = 5*a - 606, -4*a - h*g = -g - 486. Is a a multiple of 15?
True
Suppose -10*l + 419 + 1941 = 0. Does 2 divide l?
True
Suppose a - 462 = h, h = 3*a - 586 + 130. Let i = 1615 + h. Suppose 3*k + i = 13*k. Does 7 divide k?
False
Is 7 a factor of ((-2394)/(-35))/19*105?
True
Suppose 5*h = 250 - 230. Suppose 3*d = -2*q - 2*q + 980, -4*d + h*q + 1260 = 0. Is d a multiple of 8?
True
Suppose 4*q = 4*m + m - 20, -5*q - 5*m = -20. Is 7 a factor of (-1 + (q - 5))*210/(-9)?
True
Let p = 4267 - 3089. Is 46 a factor of p?
False
Let z(l) = 3*l**2 + 4*l - 5. Let m be z(2). Suppose 2164 = m*f - 1391. Is f a multiple of 21?
False
Let k(j) = -7*j**3 - 57*j**2 - 142*j - 24. Is 200 a factor of k(-14)?
True
Let q = -416 + 429. Let i(k) = 5*k**2 - 10*k - 115. Is 75 a factor of i(q)?
True
Let l = -197 - -379. Let b = l + -144. Does 3 divide b?
False
Suppose -21*w + 16*w - 5*a = 455, -4*w = -3*a + 392. Does 11 divide 7619/w*(3 + -1 - 7)?
False
Suppose 1165136 = -252*b + 458*b. Does 133 divide b?
False
Let g be (2/(-4) + 4/(-8))*395. Let h = g + 821. Is h a multiple of 62?
False
Suppose 0 = -30*q + 154388 + 93922. Is 62 a factor of q?
False
Let f = 35 - 7. Let l(x) be the third derivative of -x**6/120 + 9*x**5/20 + 17*x**4/12 - 4*x**3 + 4*x**2. Does 18 divide l(f)?
True
Let s = 368 - 246. Let q(j) = 33 + s*j - 6 - 1 - 121*j. Does 8 divide q(-10)?
True
Suppose -3*w + 3*f = -4*w - 9, 0 = -w + 2*f + 6. Suppose -4*t = -5*s - 41, -s - s - t - 19 = w. Let z(a) = -6*a + 18. Is 9 a factor of z(s)?
True
Let z(n) = 27*n + 4535. Does 20 divide z(35)?
True
Let d(i) = -i**3 + i**2 + 239. Let k be d(0). Suppose -2*w + 152 = q, -3*w - k = -3*q + 226. Let o = -76 + q. Does 12 divide o?
False
Let y(o) = -3*o**2 - 28*o + 24. Let x be y(-10). Suppose 68 = x*i - 16. Is 18 a factor of i?
False
Let k(y) = y**3 - 60*y**2 + 8*y - 401. Is 3 a factor of k(60)?
False
Let z = -1126 - -3478. Does 29 divide z?
False
Let g(j) be the third derivative of -15*j**4/4 + j**3 + j**2 - 42*j. Is g(-2) a multiple of 4?
False
Let k(w) = 29*w**2 + 7*w + 273. Does 49 divide k(-15)?
False
Suppose -80*z + 79*z = 5*w - 9656, 4*z = 3*w + 38509. Is z a multiple of 38?
False
Suppose 4 + 124 = -4*d. Is (1/(56/d))/((-2)/28) a multiple of 8?
True
Suppose -624 = -y - 3*y. Suppose -o = 12*o - y. Does 40 divide 3/o + (-1022)/(-16)*2?
False
Suppose 0 = -4*u + 3*j - 536, -6*u - 4*j = -4*u + 246. Let x = 158 + u. Is x a multiple of 3?
True
Let k = 33116 - 6460. Does 98 divide k?
True
Suppose -2*m + 27 - 8 = -3*g, 5*g = -m - 23. Suppose 3*j - 19 = 2*j - 3*u, 0 = -m*j + 3*u + 2. Suppose -j*r = -2*r - 30. Is r a multiple of 6?
True
Let g(t) = -4*t + 14 + 2 - 4*t + 0*t - t**3 - 4*t**2. Let u be 3*(-8)/(-6) + -6*2. Does 16 divide g(u)?
True
Suppose -85 = -3*t - i, 5*t - 201 = 5*i - 46. Suppose 0 = 5*q - 1 - t. Is 77 - (q + 3)/(-3) a multiple of 14?
False
Does 6 divide (2/(8/50))/((-147)/(-41454))?
False
Suppose 3657 = -3*n + 2*w - 5*w, -2438 = 2*n + 3*w. Let r = -748 - n. Is 6 a factor of r?
False
Suppose -l - 42 = -37. Does 72 divide (-2158)/l + 10/25?
True
Suppose -20*v - 807208 = -61*v. Does 37 divide 68/(-646) - v/(-38)?
True
Let w(i) = -79*i**3 + 4*i**2 + 43*i + 72. Does 23 divide w(-3)?
False
Suppose 457*f - 477*f = -256400. Does 5 divide f?
True
Suppose 4*g = -42 + 10. Let k be ((-108)/(-10))/((96/(-30))/g). Suppose 24*i = k*i - 162. Is 16 a factor of i?
False
Is 26 a factor of (-49745)/(-30) - (12/48)/((-6)/(-4))?
False
Let y(x) be the third derivative of x**4/6 + 5*x**3/6 + 9*x**2. Let d be y(0). Is (10/d - 2) + 29 a multiple of 29?
True
Let i be 0 + 318/(-4) + 2/4. Let c = -63 - i. Suppose -28 = -f + c. Is f a multiple of 44?
True
Let q = 22905 + -7723. Is 59 a factor of q?
False
Let y(g) be the second derivative of g**4/12 - 4*g**3/3 - 12*g**2 + 11*g. Let o be y(24). Suppose 5*b - 337 = -2*c + o, -141 = -b - 2*c. Is 18 a factor of b?
False
Is -6*44/99*((-28575)/12)/1 a multiple of 8?
False
Let i(s) be the first derivative of 9 + 3*s**2 + 6*s + 4/3*s**3. Is i(-5) a multiple of 17?
False
Suppose -246 = -5*x + 89. Let d be x*11 - (3 + 0/4). Suppose -d = -7*n + 232. Is 14 a factor of n?
False
Suppose 0 = -3*p + 7*w + 41482, 0 = 5*p + 9*w - 6*w - 69166. Is 7 a factor of p?
True
Suppose 5*h = 12*v - 142009, -2*v + 11*h - 6*h + 23689 = 0. Does 34 divide v?
True
Let a = -3119 - -3954. Is a even?
False
Suppose -122 = 2*i + 4*d, -4*i - 2*d - 209 = -d. Let f = i + 186. Does 3 divide f?
True
Let o(k) be the second derivative of 11*k**4/4 - k**3/3 + 22*k**2 + 36*k. Let v(x) be the first derivative of o(x). Is v(3) a multiple of 32?
False
Let r be 0/2*(-3 - -4)*-1. Is 95 a factor of 6/(-1) - (-109 + -5 - r)?
False
Let f = -4551 + 12643. Is f a multiple of 17?
True
Let u(a) = -9*a**3 + 2*a**2 + 28*a + 114. Is 29 a factor of u(-7)?
True
Suppose 3*a = -4*o - 3 + 364, -5*a = 4*o - 367. Is 4 a factor of o?
True
Let m(u) = 5*u**3 - 125*u**2 - 83*u + 431. Is 299 a factor of m(28)?
True
Let y = 152780 - 103391. Is y a multiple of 303?
True
Let m(q) = 118*q**2 + 2*q + 1. Let i be m(-1). Suppose 0 = -5*a - x + 615, 9*a - 8*a = 4*x + 102. Suppose -a*u = -i*u - 135. Is 3 a factor of u?
True
Suppose -11 = -2*d - 22*h + 19*h, -3*d + 3*h = -9. Let x be (4/(-8))/(3/(-6)). Does 53 divide 12/(0 - d) - -228 - x?
False
Suppose -2*i + 223 = 1557. Let v = 1139 + i. Is 19 a factor of v?
False
Let h = -