-w - w + 184 = -3*x, 5*x + 460 = i*w. Is 7 a factor of w?
False
Suppose -2*x - 2*k + 4932 = 0, k + 7403 = 3*x + 5*k. Is x a multiple of 23?
True
Let g(p) = -398*p - 954. Is 9 a factor of g(-13)?
False
Let c(w) = w**3 - 15*w**2 + 27*w + 13. Let k be c(14). Suppose -6*u + k = -459. Is 13 a factor of u?
False
Suppose 3*m + w + 247 = 0, -4*m + 9*m + 415 = -w. Is 3 a factor of ((-6)/7)/(4/m)?
True
Let v be 42/(-112) - 25929/(-24). Suppose v = 535*y - 529*y. Does 30 divide y?
True
Let y(p) = -p**2 + 27*p - 28. Let u be y(26). Does 8 divide (53 - 1) + u/10*-10?
False
Suppose 0 = -37*a + 34*a + 5*y + 6572, 0 = -5*a + 3*y + 10932. Is 4 a factor of a?
True
Suppose 16126 = -8*n - 16*n + 90622. Does 32 divide n?
True
Let g(a) = -5*a**2 + 2*a + 374. Let n(x) = -4*x**2 + 2*x + 374. Let q(w) = -2*g(w) + 3*n(w). Does 22 divide q(0)?
True
Let x = -31704 - -38639. Is 365 a factor of x?
True
Let j(i) = -4*i - 25. Let p be j(-7). Suppose -459 = -p*n + 2*o, -2*n - 2*o = -197 - 109. Is n a multiple of 37?
False
Let c(w) = -8 - 8 + 3*w - 5. Let z be c(8). Suppose 238 = 4*r + z*k + 41, -4*r + 3*k = -179. Is 5 a factor of r?
False
Let l(o) = -290*o - 4242. Is 3 a factor of l(-21)?
True
Suppose -4*q = -2*q, -5*q + 9 = o. Let l be (-20)/(-15) - (21/o + -1). Suppose 0 = -2*j - 4*f + 88, -j - f - 4*f + 35 = l. Is 8 a factor of j?
False
Let v be 1*2 - (-6 + 5 + 0). Suppose -v*t + 2*t = -9. Let o = t + 53. Is o a multiple of 8?
False
Suppose 3*j + 0*r - 3*r = 24, 1 = -j - 2*r. Suppose 0 = 8*p - 3*p + h - 385, j*p = 4*h + 410. Does 13 divide p?
True
Suppose 2*j + 316 = 920. Suppose -2*s = -j - 466. Is 24 a factor of s?
True
Does 77 divide ((-124)/(-992) - (-251598)/16) + 11?
False
Let x = 553 + -191. Let i = x - -16. Suppose 0 = 4*j - i - 126. Is 29 a factor of j?
False
Let q(o) be the second derivative of 5*o**3/6 - 2*o**2 + 9*o. Let h(k) = -k**2 + 15*k - 48. Let w be h(9). Is 12 a factor of q(w)?
False
Let u be (-40)/(2 + -7) + 1 + -1. Let d be (5 - u)*((-40)/6)/5. Suppose -h = -2*o - 74, 0 = h + h + d*o - 148. Is 25 a factor of h?
False
Let g be (14/21)/(2/12). Suppose 0*p - 2252 = -5*z + g*p, 2246 = 5*z - 2*p. Is z a multiple of 28?
True
Is 17/((-272)/(-48))*(-21150)/(-2) a multiple of 25?
True
Suppose 5*g - 15 = -30. Let k be 4/g - (-9114)/18. Let c = -289 + k. Does 24 divide c?
True
Let d be (4/(-10))/(11/(-110)) - -62. Let x(n) = 5*n + 10. Let q be x(-14). Let o = q + d. Is 2 a factor of o?
True
Suppose 24350 = 5*t - 5*g, -9*t = -t + 3*g - 38982. Is t a multiple of 28?
True
Suppose -28 - 257 = -4*s + 3*w, 125 = 2*s - 5*w. Suppose 6*n - 123 = s. Is n a multiple of 33?
True
Let x = 62 + -58. Is 58 a factor of ((-2)/x - 0)*(-56 + -242)?
False
Let q(h) be the second derivative of 1/6*h**3 + 30*h + 195/2*h**2 + 0. Is 13 a factor of q(0)?
True
Let s be 7/(7 + 0) + 176. Suppose 2*z - 244 = -d, s + 59 = 2*z + 3*d. Is z a multiple of 12?
False
Let f be 4/(-8) - 1/(-2). Suppose f = 90*w - 86*w - 688. Is 43 a factor of w?
True
Suppose -980*n + 1005*n = 81875. Does 52 divide n?
False
Suppose 3 - 14 = -a. Suppose 13*c - 72 = a*c. Does 18 divide c?
True
Suppose 6*m - 26 - 124 = 0. Suppose 4*l + l = -m, 5*z = 2*l + 135. Is 7 a factor of z + 3*2/2?
True
Let z(t) = 14*t + 4. Suppose 2 = -x + 1. Let q be z(x). Is (-6)/q + 314*2/20 a multiple of 32?
True
Let n(r) = 233*r - 42*r**2 - 275*r + 112 - r**3 + 7*r**2. Is n(-34) a multiple of 24?
True
Suppose -3*w - 21 = -4*c - 10, -5*w = -3*c. Suppose 3*g = 2*g. Suppose 0 = -c*p + 25, g = -4*j - 2*p + 333 - 107. Is j a multiple of 10?
False
Suppose 2*j - 3*j = 12. Let i = 39 + j. Let f = 52 - i. Is f a multiple of 13?
False
Let v(a) be the third derivative of 1/30*a**5 + 0*a + 0 + 5/12*a**4 + 22*a**2 + 7/3*a**3. Is 21 a factor of v(6)?
False
Suppose 1615829 + 484623 = 391*q. Is 33 a factor of q?
False
Suppose d + 42 = 22*d. Suppose 4*o = -12, 2*n + 2*n + d*o - 170 = 0. Is 11 a factor of n?
True
Let m = 1443 + -2657. Let a = -714 - m. Does 10 divide a?
True
Suppose 4*g - 20 = h + 5, 0 = -4*h - g - 15. Let t(n) = 5*n**2 - 4*n - 37. Is 4 a factor of t(h)?
True
Let h = 4085 - 3051. Is 32 a factor of h?
False
Suppose 2*x = -4*p + 16, -p = p - 4*x + 2. Suppose 0 = -5*k + 2*k - 5*s + 26, 14 = k + p*s. Is ((-2)/(-6))/(k/90) a multiple of 12?
False
Let s = -68 - -73. Suppose -33 = s*m - 4*m. Let r = 74 + m. Does 14 divide r?
False
Let a = 53 + -51. Suppose -3*x + 0*g - 76 = -g, a*x = 4*g - 54. Let z = x - -40. Is 2 a factor of z?
False
Let f = 4394 + -2333. Is f a multiple of 10?
False
Let g = 14366 - 5866. Is g a multiple of 17?
True
Let h(u) = u**2 + 25*u + 51. Let k be h(-23). Let z(s) = 3*s**3 - s + 0*s**2 - k*s - s**2 - s**2. Is z(3) a multiple of 45?
True
Let n = 268 - 37. Is 16 a factor of 615/(-2)*(-154)/n?
False
Let s(z) = 5*z + 14. Let x(h) = 6*h + 15. Let t(r) = 5*s(r) - 4*x(r). Suppose -n = 3*w - 15, -5*w + 4 = -2*n - 32. Is t(w) a multiple of 4?
True
Suppose 435 = 6*u - 33. Suppose -2*n - n + 118 = o, 0 = 2*n + o - 80. Let c = u - n. Is c a multiple of 3?
False
Let k(c) = c**3 + 41*c**2 + 264*c + 144. Is k(-23) a multiple of 6?
True
Let p(k) = -31*k - 6. Let i(l) = 123*l + 24. Let b(d) = -4*i(d) - 15*p(d). Let y be b(-7). Is 39 a factor of y*((-12)/9)/(-2)?
False
Let m = -12 - -52. Suppose -n = -6*n + m. Suppose n*j = 10*j - 76. Is j a multiple of 19?
True
Let b = -59 - -59. Let n(k) = -2*k**3 + k**2 - k - 824. Let l be n(b). Does 29 divide l/(-24) + 4/6 + 3?
False
Suppose -55*a - 373*a = -3592204. Is 3 a factor of a?
False
Suppose 0 = 3*y - 3*r - 486, 3*y + 266*r - 261*r = 470. Is 40 a factor of y?
True
Does 51 divide 1295/((-6)/(-12) - 0)?
False
Suppose 0 = -4*z + 16, 5*a - 13*z = -14*z + 24. Does 70 divide ((-14476)/(-3))/a + 92/138?
False
Let y(w) = 42*w - 130. Let q be y(13). Suppose -4*c = 4*u - 344, -4*u = -5*c - 2*u + q. Does 12 divide c?
True
Let y be 30/4*(1944/(-15))/(-12). Let l = y - -494. Does 23 divide l?
True
Suppose 3*t - 1638 = -3*c, 3*c = -4 + 1. Let i = 812 - t. Is i a multiple of 53?
True
Does 12 divide ((-27)/(810/66580))/(((-28)/54)/7)?
False
Let n(g) = -8*g**2 + 252*g - 46. Is n(20) a multiple of 99?
False
Suppose -2*u = -4*v, -3*v = -3*u + 8 + 7. Suppose 12*b - 1430 = u*b. Is 13 a factor of b?
True
Suppose 1198 + 110 = 12*r. Suppose 6*f - r = 485. Is f a multiple of 6?
False
Let m = 33 + 3. Let r be 3/(-6) - m/(-8). Suppose 3*y = r*y + 1, -3*a + 97 = -y. Is a a multiple of 8?
True
Let w be 1*(4 + -332 + (-1 - -3)). Let r = w - -461. Let q = -110 + r. Does 16 divide q?
False
Suppose 2*o + 4*f - 14010 = 0, -3*o - 2*f - 9657 = -30680. Is 53 a factor of o?
False
Does 12 divide (105/(-75) + 1)*-2100?
True
Let f be 0/83 - (-136 + 0 + 0). Suppose -f = -2*t + 38. Is 13 a factor of t?
False
Let j(p) = 23*p - 309. Let r be j(14). Suppose 1421 + 880 = r*v. Does 14 divide v?
False
Suppose 2*w = -5*p + 692, -4*p = -5*p + 4. Suppose -52*u + 20*u = -28*u. Suppose -6*s = -u*s - w. Is 14 a factor of s?
True
Suppose 0*m - 8 = 2*m. Let l(s) = -11 + 136*s + 37 - 141*s. Is l(m) a multiple of 23?
True
Suppose 2*y + f + 4422 = 6*y, y = -3*f + 1086. Is 23 a factor of y?
True
Suppose 3 - 7 = w. Let c = w + 7. Suppose 0 = -2*r - 3*y + 129, c*y = -4*r + 304 - 55. Is r a multiple of 10?
True
Suppose -5*s + 64*f - 61*f = -70642, -2*f + 56518 = 4*s. Does 61 divide s?
False
Suppose 0 = -9*c + 880 - 106. Suppose 3*r = -3*i + 1608, i - 4*r + c = 597. Does 33 divide i?
False
Suppose 3*m - 3424 = -5*o + 3553, 3*m = -3. Is 7 a factor of o?
False
Let i(b) = -b**2 - 9*b - 3. Suppose 15*d + 53 + 7 = 0. Does 6 divide i(d)?
False
Suppose 0 = 763*j - 759*j. Let g(w) = w**3 + 8*w + 70. Does 14 divide g(j)?
True
Let i be ((-4)/16)/1 + (-84)/(-16). Suppose 0*y - 5609 = -5*y - 2*r, i*r = -y + 1108. Is 78 a factor of y?
False
Let g = 53 + -55. Is g/((-3243)/463 - -7) a multiple of 15?
False
Suppose -8*j + 6*j - 4*h - 108 = 0, 4*h + 282 = -5*j. Let x(q) = 13*q**3 - 2*q**2 - 3*q + 2. Let w be x(2). Let f = w + j. Is 5 a factor of f?
False
Let i(b) = -b**3 + 9*b**2 - 5*b - 24. Let p be i(8). Suppose -j = -p*j - 0*j. Suppose j*o = -o - 3*q + 34, -32 = -3*o + 5*q. Does 4 divide o?
False
Suppose -3*l - w = -7, 0 = l - 5*w - 0 - 13. Suppose -5*f + 108 = 4*o, l*o = -f - 0*o + 26. Is f a multiple of 10?
True
Let p be 944/68 + 4 - (-2)/17. Suppose 20*i = p*i + 136. 