8 divide (-6)/27 + l*25/45?
False
Suppose 5*t + 198 = -5*i + 2288, -3*i + 1675 = 4*t. Let x = -393 + t. Is 4 a factor of x?
True
Does 16 divide 0/(-2) - ((-36)/6 - 868)?
False
Suppose -15*r = -17*r - 6. Let m be 5 - (r + 2/2 - 1). Is (-454)/(-3) + m/48*-2 a multiple of 13?
False
Let w(m) = -1913*m + 141. Is w(-1) a multiple of 70?
False
Let s(k) = k + 16. Let o be s(-14). Suppose 2*j = 2*m + 7 - 1, 0 = -2*m + 4*j - o. Is (-2)/m - -133*3/15 a multiple of 12?
False
Let l(z) be the second derivative of -181*z**3/6 + 7*z**2/2 - z. Let v = 501 - 502. Does 47 divide l(v)?
True
Let c(o) = -3*o - 33. Let u be c(-9). Let i(d) = d**3 + 6*d**2 - 5*d + 14. Does 11 divide i(u)?
True
Let j(t) be the first derivative of 6 + 0*t**2 + 25/3*t**3 - 6*t. Is 16 a factor of j(-2)?
False
Suppose 5*m - 20 = -y, 0*m - 10 = 3*m + 5*y. Suppose -m*p = -294 - 126. Let b = -64 + p. Does 4 divide b?
True
Let y = 3903 - 1691. Suppose 19*s - 49 = y. Does 15 divide s?
False
Does 18 divide ((-4)/(-24))/((-12)/(-664992))?
False
Let j(a) = -a**2 + 5*a + 8. Let v be j(6). Let k(u) = -1098*u - 78. Let p be k(0). Is 13 a factor of (8/12*-1)/(v/p)?
True
Let f(a) = -10*a**2 - 6*a + 10. Let d(o) = -8*o**2 - 6*o + 10. Let n(p) = 6*d(p) - 5*f(p). Is n(3) a multiple of 9?
False
Let g(v) = -v**2 - 147*v + 1439. Does 11 divide g(-51)?
False
Let k = 4335 - -398. Is 113 a factor of k?
False
Suppose 23*z + 1429 = -181. Is 11 a factor of 19/((-27)/(-63) - (-23)/z)?
False
Let w(q) = 347*q**2 + 25*q - 71. Is 4 a factor of w(3)?
False
Let p = 483 + 374. Let r = 1221 - p. Does 27 divide r?
False
Let a(t) = -t**2 - 14*t - 38. Let y be a(-6). Let p be ((24/5)/8)/(2/y). Suppose u - 4*l - 33 = 0, 2*l + 79 = p*u - 20. Does 11 divide u?
True
Let a be 8/14 - (-589)/133. Let z be 4 + (a - 7) - -45. Let m = z - -25. Is m a multiple of 18?
True
Is (-1957527)/(-585) - (22/10 - 2) a multiple of 7?
True
Let b(f) = -21*f - 565. Let y be b(-31). Let r(m) = 17*m**2 + m - 1. Let n be r(1). Suppose -16*s = -n*s + y. Is 12 a factor of s?
False
Let r be (-2*19/8)/((-2)/16). Let c = r + -20. Let b(o) = o**2 - 13*o - 62. Does 14 divide b(c)?
True
Suppose 0 = -11*u - 31 + 229. Suppose 4*j + 2 = u. Suppose -8*r + 280 = -j*r. Does 12 divide r?
False
Suppose 0 = 2*i, -4*x = 5*i + 11 + 21. Let u(p) be the second derivative of p**5/20 + 7*p**4/12 - 4*p**3/3 + 9*p**2/2 - p. Is 7 a factor of u(x)?
False
Let h(s) = -33*s**3 + 2*s**2 + 18*s + 62. Is 13 a factor of h(-5)?
True
Suppose -15*j - 21794 + 117449 = 0. Is j a multiple of 15?
False
Let w(t) be the first derivative of -t**4/4 - 6*t**3 + 14*t**2 - 11*t - 42. Does 11 divide w(-20)?
False
Does 42 divide 26 + (-255369)/(-46)*2?
False
Suppose 0 = i - 2*t - 2245 - 7860, -3*t - 50469 = -5*i. Does 94 divide i?
False
Let n be (-6 + 12 - 5) + 2. Suppose -g = -0*g - n*l - 689, g + l - 685 = 0. Does 49 divide g?
True
Let t be 39*-8*(-2)/(-6). Let f = t + 107. Suppose 4*v + f*j - 433 = 0, 3*v - 5*v + 3*j + 239 = 0. Is 9 a factor of v?
False
Suppose 0 = 4*r - 8 - 12. Suppose 0 = -r*w + 17 + 3. Does 9 divide -1 + w + 69 - (-1 - -1)?
True
Let w be (-5)/(-2)*2*-1. Let x be (-3)/((-3)/w)*(-3)/5. Is 9 a factor of 74/4*(x - 1)?
False
Let r(v) = -3*v + 13. Let m be r(3). Suppose -3*k = -m*z + k - 212, -2*k - 44 = z. Let l = 72 + z. Is l a multiple of 15?
False
Let b(p) = -42*p + 32. Let m = -67 - -61. Is 35 a factor of b(m)?
False
Suppose -6 = 14*m - 17*m. Let p be 5/(5/m) + -65. Let j = 45 - p. Is 54 a factor of j?
True
Let h(x) = 3*x**2 + 18*x + 15. Let q(f) = f**2 + f + 1. Let p(t) = h(t) - 2*q(t). Let z(i) = -i**2 - i + 1. Let y(g) = p(g) + 2*z(g). Is 12 a factor of y(11)?
True
Suppose 4*h - 7988 = -4*x, 5*h - 2*h + 2009 = x. Is x a multiple of 20?
True
Let v(p) = p**2 + 4*p - 4. Suppose -17 - 8 = -5*h. Suppose -6 = 2*x - 4*x, -37 = h*n + x. Is v(n) a multiple of 7?
True
Suppose -739797 = -55*u - 106133 + 455336. Does 22 divide u?
True
Is (((-4)/(-8))/1)/((-8)/(-136752)) a multiple of 37?
True
Let m = 364 - -375. Is 20 a factor of 16/8 + -1 + m?
True
Let y = -7818 + 8338. Is 5 a factor of y?
True
Suppose 0 = 225*t - 223*t - 1582. Does 7 divide t?
True
Let p(x) = -131*x - 10. Let v = -73 - -71. Let n be p(v). Suppose -44 + n = q. Is q a multiple of 25?
False
Let u = -12 - -15. Suppose -s + z - 55 = u*s, 3*z + 56 = -5*s. Does 40 divide (-30)/195 + (-3005)/s?
False
Let p = -17 + 23. Suppose -p*f + 472 + 32 = 0. Is f a multiple of 12?
True
Let x(d) = d**3 + 3*d**2 + 7*d + 25. Let f be x(-3). Let l(v) = 2*v**3 + 6*v**2 + 7*v + 7. Does 45 divide l(f)?
False
Let i be (60/(-9))/10*-6. Suppose 5*a - 25 = 0, 0 = -5*u + 4*u - i*a + 65. Is u a multiple of 8?
False
Let v(u) = u - 6. Let h be v(5). Let m be (-7)/h - (-32)/8. Let l = m - -20. Is l a multiple of 8?
False
Let n be 3 + (-1351)/(-105) + 2/15. Suppose 5*w - 278 = -4*h, 138 = -4*h + 6*h + 2*w. Let d = h - n. Is d a multiple of 8?
False
Let g be -1 + 10 + (-11 - -7). Suppose 4*q + 4*w = 3520, -3*q - 896 = -4*q - g*w. Suppose -2*s - q = -4*r - 3*s, -5*r = 5*s - 1110. Does 26 divide r?
False
Let v be (-11014)/(-17) - 2/(-17). Let z = v + -628. Is z a multiple of 10?
True
Let g(i) = -i**3 - 9*i**2 - 12*i + 5. Let k be g(-10). Suppose 287 = j + k. Is 5 a factor of j?
False
Suppose 19*u + 90 = 14*u. Let y = 30 + u. Does 13 divide (-4)/(-3)*(21 + y)?
False
Let l(d) = d**3 - 29*d**2 + 100*d - 9. Let n be l(25). Is 33 a factor of 61*n*(6/(-9))/2?
False
Let n(h) = -h**2 + 5*h - 4. Let o(j) be the first derivative of 2*j**3/3 - 11*j**2/2 + 9*j + 13. Let i(w) = -14*n(w) - 6*o(w). Is 18 a factor of i(4)?
True
Let j be 10*3/(-12)*(-2)/5. Suppose -4 = -5*s + j. Is 26 a factor of 131 + (-7 - -4)/(s - 2)?
False
Let x(i) = 1263*i + 3450. Does 335 divide x(10)?
True
Is 186 a factor of (47 + -48 - 187*-1)*7?
True
Does 271 divide (0 + -3 + 6)/((36/(-73434))/(-2))?
False
Let q(f) = 129*f - 594. Is q(18) a multiple of 108?
True
Suppose -2*z - 1 = -9. Suppose -4*l = 2*j - 376 - 594, -z*j = 3*l - 1915. Does 15 divide j?
False
Let n be ((-2)/(-3))/(2/759). Suppose 2*j + 4*k - n = 415, 5*k + 695 = 2*j. Does 34 divide j?
True
Let a(i) = -2*i**2 + 57*i - 27. Let l = 638 + -614. Is 7 a factor of a(l)?
True
Suppose 2*o + 4*q - 14 = 0, 3*o + 2*q - 3*q - 7 = 0. Let i be -3 + o - 64/(-1). Suppose -u - 4*s = -3*u + 122, u + s = i. Does 18 divide u?
False
Let a be 233 + (1/4 - (-18)/(-8)). Suppose -v + a - 92 = 0. Does 6 divide v?
False
Let h(o) = o**3 - 8*o**2 - 6*o - 22. Let f be h(9). Is 1174/f + (-8)/(-40) a multiple of 5?
True
Let i(o) = -23*o**2 + o - 2. Let p be i(1). Let l be 32/p*(-333)/6. Suppose 16 = j - l. Is 10 a factor of j?
True
Is (9 + 5364/60)*(-510)/(-9) a multiple of 9?
False
Let x = -33 + 44. Suppose -8*i = -x*i + 18. Is 3 a factor of (-675)/(-105) - i/14?
True
Let j(i) = 3*i + 49. Let r be j(-15). Suppose -114 = -3*a + 3*d, -8 = 8*d - r*d. Is a even?
True
Suppose 3*f + 6 = 2*y + 18, -5*y - 4*f + 16 = 0. Suppose -4*a + 3*g = -y*g - 18, -5*a + 3*g + 21 = 0. Does 3 divide a?
True
Let l(s) = -s**3 - 6*s**2 - 6*s - 1. Let z be l(-6). Suppose x - 31 = 3*v, 5*v - 3*v = x - z. Is 5 a factor of x?
False
Suppose 2*j + 5*a = 9, 4*j + a - 30 = 33. Let z(t) = -t**2 + 19*t + 52. Is z(j) a multiple of 3?
False
Let n(m) = -605*m - 2995. Does 5 divide n(-25)?
True
Let j = -2999 + 1718. Let p = j - -2177. Is p a multiple of 16?
True
Let d(q) = -169*q + 10555. Does 129 divide d(-31)?
False
Let d be (-64)/(-11) + (-31)/(4433/(-26)). Let l be (-1034)/(-5) - 2/(-10). Suppose -9*q + l = -d*q. Is q a multiple of 19?
False
Let f(a) = 12*a**2 - 84*a - 90. Is 48 a factor of f(18)?
False
Let z be 63/((-6)/2) + 3/1. Let c be 48/30*3*20. Let u = c + z. Is u a multiple of 6?
True
Let q(r) = -8*r**2 + 5*r + 3. Let t be q(9). Let d = 161 - t. Does 25 divide d?
False
Let o be 3/(9/24) - (13 - 9). Suppose 13*b + o*t = 14*b - 162, -3*b + 464 = -t. Is 29 a factor of b?
False
Let f(p) = -p**2 + 6*p + 16. Let q = -107 - -114. Let c be f(q). Suppose -4*x + 385 = -5*s, -4*x + 412 = -c*s + 13*s. Is x a multiple of 21?
False
Let q(w) = 528*w + 2643. Let c be q(-5). Let l be -1 + 3*(2 - 1). Suppose c*j + 192 = 7*t - 4*t, -l*j - 62 = -t. Is 11 a factor of t?
True
Suppose -183 - 95 = w. Let b = 1319 + -922. Let k = w + b. Is 28 a factor of k?
False
Let z = 586 - 205. Suppose z + 883 = 16*n. Is 3 a 