f - 2*v - 16026 - 11195. Does 35 divide f?
False
Let b(j) = -j**2 + j. Let l(m) = -m**3 - 24*m**2 + 9*m + 10. Let y(s) = 2*b(s) - l(s). Let k be y(-22). Is (k/(-28))/(1 + 15/(-14)) a multiple of 21?
False
Let o = 127 + -152. Is 20/o*(-183 - (3 - 1)) a multiple of 6?
False
Let x = -1 + 2. Let z(c) = 25*c - 31*c + 26*c**2 + 1 - 6 + 10*c. Does 4 divide z(x)?
False
Let u be (-52)/6*(21 - (11 + -14)). Let o = -200 - u. Is o a multiple of 8?
True
Let y(h) be the third derivative of 23/24*h**4 - 27*h**2 - 26/3*h**3 + 0 + 0*h. Is 44 a factor of y(8)?
True
Let f(m) = -m**3 - 10*m**2 - 10*m - 6. Let q(p) = p**3 + 2*p**2 - 4*p + 7. Let l be q(-4). Let d be f(l). Suppose -d*t = -t - 174. Is t a multiple of 5?
False
Suppose 736*p - 18785 = 723*p. Does 23 divide p?
False
Let l(a) = 9489*a**2 + 103*a + 6. Does 8 divide l(-1)?
True
Let l(p) = p**3 - 12*p**2 + 13*p + 3. Suppose 4*z + u = -u + 56, 4*z = -4*u + 64. Does 28 divide l(z)?
False
Let j = 4930 - 1525. Is ((-4)/6)/((-5)/(j/2)) a multiple of 9?
False
Let a(q) = 8701*q**2 + 84*q + 140. Is 54 a factor of a(-2)?
True
Suppose -5*c + 320 = -c. Let s = 245 - c. Is 5 a factor of s?
True
Let f be 2 - (6/6 - 6 - 452). Suppose 18*z - z = f. Is z a multiple of 3?
True
Let k be (24 + -22)/(-1 + 2). Is (-24)/(-168) - ((-8900)/14)/k a multiple of 106?
True
Let g = 16 - 7. Let y be g/(54/4)*3. Suppose y*s = 46 + 12. Does 21 divide s?
False
Let o(b) = 0*b + 0*b - 1 - 3*b. Suppose 0 = s + 7, 51 = -5*i + 352*s - 355*s. Is 17 a factor of o(i)?
True
Let b = 482 - 1196. Let s = 1053 + b. Is s a multiple of 41?
False
Let q be (2/4)/((-6)/(-72)). Suppose 4*s - 4*r - 345 = 235, 2*r + 710 = 5*s. Suppose 0 = -b + q*b - s. Is 7 a factor of b?
True
Suppose 0 = -5*k + 17 + 8. Does 14 divide (-2508)/(-30) - (-2)/k?
True
Let b be (-3)/(-5)*(-1)/((-2)/20). Suppose -12 = -r - b. Is 6 a factor of (-3 + 2 + 127)*r/7?
True
Let j(f) = -f**3 - 161*f**2 - 356*f + 138. Is 3 a factor of j(-159)?
True
Let z be 2 - ((-42)/(-28) + 59/2). Let u = z - -31. Suppose o + 157 = 4*o + u*f, o + 5*f = 35. Does 24 divide o?
False
Suppose -2*c - 7 = p, -2*c = 4*p - 2 + 6. Is ((-6)/(-24))/p + 462/8 a multiple of 12?
False
Suppose 9840 = 2*c + 10*c. Suppose 6*y = 8*y - c. Is y a multiple of 23?
False
Let h(g) = -216*g**3 + g**2 + 4*g - 1. Let o be h(-2). Let u = -824 + o. Is 31 a factor of u?
True
Let w(u) be the first derivative of 2*u**3/3 + 25*u**2/2 - 28*u + 7. Suppose 0 = 154*l - 153*l + 18. Is w(l) a multiple of 20?
False
Suppose 256*m - 185*m = 3321451. Does 354 divide m?
False
Does 15 divide (58 + -61)*(-1477)/3?
False
Suppose 13*p + 22*p - 70 = 0. Suppose -k + 162 = 4*s, -k - 24 + 216 = -p*s. Is 9 a factor of k?
False
Let v(u) = 13*u**2 + 69*u + 2435. Does 4 divide v(-29)?
False
Suppose 13*u - 871 = 598. Suppose 77 = p - 2*f + 21, -2*p + 3*f = -u. Suppose 38 = 2*y - p. Does 4 divide y?
True
Let g = 111 - 111. Let w(p) = -p - 1 + g + 6 - 2. Does 20 divide w(-29)?
False
Is 10 a factor of (-37752)/(-10) + (-181)/905?
False
Let g(h) = 232*h + 3926. Does 36 divide g(10)?
False
Let q = 8 + -4. Let d = -572 - -632. Suppose q*p - 276 + d = -4*x, -5*x + 96 = 2*p. Is 9 a factor of p?
False
Is (-30)/34 - -1 - (-28)/(-3808)*-3111664 a multiple of 130?
True
Suppose -4*k = -8*k. Suppose -4*s = 2*o - 3 - 11, 2*s - 2*o - 4 = k. Suppose 6*z + s = 87. Is 14 a factor of z?
True
Let i be (27/18)/((-6)/16). Let j(l) = -2*l**3 - 3*l**2 + 5*l + 9. Does 12 divide j(i)?
False
Let j = 41 - 41. Suppose -3*q + 5*w + 25 = j, -3*w + 2*w - 2 = 0. Suppose -2*m - s + 133 = 0, 5*s + 0*s = q. Does 3 divide m?
True
Let m be ((-1)/2)/(10/(-180)). Is 6 a factor of (-3 - (-348)/m)/(4/36)?
False
Let f = 1184 - 603. Suppose 3*s = -2*r + f, 2*r - 462 = -4*s + 114. Is 15 a factor of r?
False
Let r(t) = -132*t**2 - 3*t - 4. Let x be r(3). Let s be 2/(-6) + x/(-3). Suppose -4*f - s = -8*f. Is f a multiple of 16?
False
Let g be 2 + (-39 - 1)/4 - -3. Let q be ((-135)/(-21))/g - (-4)/14. Does 10 divide ((-12)/10)/((-6)/555) - q?
False
Suppose -2*n = -5*v - 20339, 4*v + 10175 = n + 7*v. Does 5 divide n?
False
Suppose -2*d + 456 = d + 2*m, -5*m = 4*d - 615. Let i = 111 + d. Is 30 a factor of i?
False
Let a be ((-206)/(-4))/(50/100). Let g = 160 + -245. Let b = g + a. Is b a multiple of 16?
False
Suppose -2*f + 20 = 2*x, 0 = -9*f + 10*f - x. Let r(m) = -141 + 256 - f*m**2 - 5*m - m**3 - 124. Is 19 a factor of r(-6)?
True
Suppose 6*z = -7*z - 52. Is 11 a factor of (-439)/z + (-44)/(-176)?
True
Let k(v) = 2*v**2 + 10*v + 51. Let p be k(-6). Suppose m + 4*n = 22, -5*m + p = n - 104. Is m a multiple of 3?
False
Let m = -2012 - -9783. Is m a multiple of 113?
False
Suppose -5*l - 127 + 137 = 0. Suppose -2*r + 3*y + 258 = 0, -l*y + 173 - 37 = r. Is r a multiple of 15?
False
Suppose 41*g - 50*g = -6912. Suppose 3*i = 5*q - 792, -3*q - 2*q + g = 3*i. Is 52 a factor of q?
True
Suppose 31514 = m - 14*z + 11*z, m = -4*z + 31458. Is 47 a factor of m?
True
Does 5 divide (3 + -4)*-1317 - 1/(1/4)?
False
Suppose -2*g - 4 = -o, 0*o - 5*g - 3 = o. Suppose 0 = -4*t + 16, -5*d + 10 = -3*t + o. Suppose d*u = -w + 118, u + w - 58 = -u. Does 15 divide u?
True
Does 9 divide (409/3 - 0)/((-92)/(-4968))?
True
Suppose 5*n = -v + 1093, -3*v + 7*v + 227 = n. Suppose 5*j + 2*t = n, t = -4*j - 3*t + 168. Suppose p - 5*q = 15, 2*p + 0*q - 5*q = j. Does 30 divide p?
True
Let o(g) = 2*g**2 - 14*g - 24. Let i = -120 - -92. Let s be (-14)/42 - i/3. Does 2 divide o(s)?
True
Let g be ((-24)/15)/(8/100*5). Does 19 divide (15/(-30))/(g/6232)?
True
Suppose k - 8032 = -4*f - 4*k, -3*k - 8000 = -4*f. Suppose 563 = -16*v + f. Is v a multiple of 9?
True
Suppose -7*p = -32968 + 1426. Is p a multiple of 68?
False
Let v(b) = 16*b + 85. Let s be v(-16). Is 6 a factor of s/(-228) + 269/4?
False
Let f(o) be the third derivative of o**6/24 - 7*o**5/60 + o**4/24 - 11*o**3/6 + 2*o**2 - 10. Let n be f(5). Let j = -252 + n. Is 24 a factor of j?
True
Let m(t) be the second derivative of -1/12*t**4 - 30*t + 11/6*t**3 + 0 + 0*t**2. Is 8 a factor of m(3)?
True
Suppose -77*p + 76*p - 2*n = -13445, 5*n = -2*p + 26889. Is p a multiple of 50?
False
Suppose 22*i - 299*i = -461205. Is i even?
False
Let i(p) = 5*p + 21. Let u be i(9). Suppose d + d + 51 = -b, -2*b = -3*d - u. Is 27 a factor of 4/(-2) - (d - 5)?
True
Let i be 26340/35 - 3/(-7). Suppose -5*u + i = 3*a, -8*u + 4*a + 596 = -4*u. Is 58 a factor of u?
False
Let x = -98 - -98. Suppose x = -2*w - 10, w + w + 1865 = 5*t. Is t a multiple of 53?
True
Suppose 5*v + 136 = -79. Let d = v + 48. Suppose -82 - 8 = -d*t. Is 14 a factor of t?
False
Let t = 20 + -42. Let j = t - -28. Is (65/(-4))/(j/(-24)) a multiple of 13?
True
Let y(s) = 4*s**2 + 21*s - 22. Let o(r) = 2*r + 28. Let q be o(-8). Does 53 divide y(q)?
False
Does 6 divide 30/300 - (-3)/(-5) - 114758/(-28)?
True
Let o(y) = -y**3 - 2*y**2 - 2*y + 3. Let d be o(0). Suppose -2*j - 5*h = -13, 2*j + d*j - 17 = 3*h. Suppose j*w - w - 96 = 0. Does 8 divide w?
True
Let o = -900 - -1405. Let d = o + -176. Suppose 0*a = -7*a + d. Is a a multiple of 6?
False
Suppose 0 = -3*q - 3*d + 243, 5*d = -q + 3*d + 85. Is 8 a factor of q + -2*(8 + -3 - 4)?
False
Suppose -35*w - 2333660 = -114*w. Is 14 a factor of w?
True
Suppose 10*s - 16507 = -5167. Does 27 divide s?
True
Suppose 1815 = 8*j + 3*h + 76, -2*h + 436 = 2*j. Does 19 divide j?
False
Suppose 427896 = 1220*k - 600*k - 608*k. Is 283 a factor of k?
True
Let p = -194 + 200. Let n(v) = 5*v**2 - v**3 + 5*v**2 - 6*v**2 + 4*v**2 + 12. Is 26 a factor of n(p)?
False
Let s = 72 + -70. Does 12 divide 5 + 4520/16 + 1/s?
True
Let l be (-465)/(-2)*(-10 - (-128)/12). Suppose -5*m = -5*p + 585, p - l = -5*m - 20. Is 3 a factor of p?
True
Let u be (-6)/(5 - 2)*(-2)/(-4). Let t be (-2)/(-9) + u/((-27)/(-195)). Does 14 divide ((-12)/t)/(6/147)?
True
Let i(v) = -v**3 + 7*v**2 - 9*v + 6. Let b be i(7). Suppose -f - 21 - 15 = 0. Let n = f - b. Is 5 a factor of n?
False
Is 48 a factor of (0/(1 - -2) - (0 + 2469))/(-1)?
False
Suppose 8*m - m - 14 = 0. Let g be (-2 + -37)/(0 - m/56). Suppose 140 = 7*k - g. Does 22 divide k?
True
Let a = -5293 - -9639. Is a a multiple of 14?
False
Let b = 27002 + -19771. Does 28 divide b?
False
Let c be (91/39)/((6/9)/2). Suppose -c*v = 1323 - 4109. Is 68 a factor of v?
False
Let d(f) = 3098*f - 4519. Does