True
Suppose -141*n + 3753 = -2310. Does 15 divide n?
False
Let w(h) = -2*h**2 + 140*h - 151. Is 64 a factor of w(44)?
False
Let h be -7*(-5)/((-105)/(-18)). Let b(y) = -y**3 + 5*y**2 + 7*y + 6. Let m be b(h). Suppose 0*d + 2*d - m = 0. Does 4 divide d?
False
Does 27 divide 186 - 6*9/(-18)?
True
Let y = 41 - 40. Is 4 a factor of 3/(9/174) - y?
False
Let l(i) = 3*i**2 + 21*i. Let q be (-1 + 4)/((-3)/(-5)). Suppose 37 = -q*a - 8. Is l(a) a multiple of 9?
True
Let s be ((-60)/(-28))/(1/7). Let q be (50/s + 2)*-6. Let d = 65 + q. Is 11 a factor of d?
True
Suppose 8*p - 10*p + 3*d = -1, p = -d + 3. Is p even?
True
Let j be 1/((-1)/6)*-229. Does 32 divide (-16)/40 - j/(-10)?
False
Suppose 4*d - 7*d + 6 = 0. Suppose 0 = d*c - c + 4*a - 128, -2*c - 3*a = -276. Is c a multiple of 24?
True
Suppose -3*f - 3 = -2*f. Is -1*(f + 7) - -33 a multiple of 5?
False
Let m be (-104)/(-12) + 2/(-3). Suppose -3*v + 8*v - 10 = 0. Suppose -v*t - 84 = -4*u, -80 + m = -3*u - 3*t. Is 11 a factor of u?
True
Let n(v) = -2*v**2 - 2*v + 411. Is n(0) a multiple of 26?
False
Let k(h) = -h**3 - 5*h**2 + 9*h + 15. Suppose 0 = 9*i + 52 + 11. Is k(i) a multiple of 31?
False
Let z(v) = -v**2 - 7*v + 18. Let d be z(-9). Suppose 5*m + r + 128 - 558 = d, 5*m = 4*r + 405. Does 12 divide m?
False
Let d(w) = -w**2 - 19*w - 4. Let i(p) = -17*p. Let f be i(1). Does 30 divide d(f)?
True
Suppose -57*c + 2496 = -54*c. Is 26 a factor of c?
True
Suppose 57 = b - 116. Suppose 3*u - 2*t - 262 = 0, t + b = 2*u - 0*t. Is u a multiple of 7?
True
Let c(b) = -b**2 - 10*b - 20. Let g be c(-10). Let h be 1/(-5) - 124/g. Let y(q) = 5*q + 12. Is y(h) a multiple of 9?
False
Let o = 1671 + -878. Is 13 a factor of o?
True
Suppose 5*m + 3*s + 281 = 0, m - 2*s = 17 - 81. Let a = 64 + m. Is 2 a factor of a?
True
Let s(u) = 18*u - 15*u + 4 + u**2 + 18 + 0*u**2. Does 37 divide s(-9)?
False
Let z = 155 + -240. Let a = 99 + z. Is 4 a factor of a?
False
Let n = 1026 + -1614. Let p = n - -934. Is 63 a factor of p?
False
Suppose -64 = -4*o - 8. Suppose 304 = o*f - 10*f. Is f a multiple of 19?
True
Let q(c) = 8*c**2 + 6*c**2 + 2*c - 7*c**2. Suppose b + 9 = 7. Does 5 divide q(b)?
False
Let a be (-30)/25*5/2. Let k be 24 + -2 + (-9)/a. Is 8 a factor of (10/k)/((-3)/(-180))?
True
Suppose -2*m + 462 = -5*l + 7*l, 4*l = -3*m + 698. Is 39 a factor of m?
False
Suppose 28*m + 18 = 29*m. Suppose 0 = -m*g + 17*g + 20. Does 10 divide g?
True
Let y be -3 - (24/(-4) - 0) - 1. Does 2 divide (-1)/(y/(-18)*3)?
False
Suppose 0*b = 2*b - 30. Suppose 0*t = -5*t - b. Is 15 a factor of (-3)/3 - (t - 13)?
True
Suppose r + x = 881, 0 = -4*x + 6 - 2. Does 16 divide r?
True
Suppose -2*m - 1 = -3*m, 0 = 4*u + 2*m - 418. Let g = -24 + u. Is g a multiple of 8?
True
Suppose 0 = 3*z + 1 + 35. Let l be 4/z*(2 + -2). Suppose l = v + 8 - 47. Is 13 a factor of v?
True
Suppose -826 + 2806 = 6*i. Is i a multiple of 5?
True
Let f(t) = t**2 - 9*t + 2. Let k(s) = 4*s + 7. Let d be k(-8). Let o = -16 - d. Does 2 divide f(o)?
True
Suppose 0 = 251*d - 246*d - 560. Does 8 divide d?
True
Let p = -23 + 35. Suppose 24*a = 21*a + p. Suppose -10 = 3*x - 4, -66 = -a*n + x. Is 4 a factor of n?
True
Suppose -z - z + 22 = 0. Let y = -7 + z. Suppose 24 = 3*k - y*h, -2*k + k = 5*h - 27. Is k a multiple of 3?
True
Suppose 7*w - 5*w - 36 = 0. Let y = w - 13. Does 5 divide y?
True
Let g be -1 + 14/35 - (-413)/5. Suppose -18 - g = -b. Does 15 divide b?
False
Is (-2)/4 - 15612/(-24) a multiple of 26?
True
Let c = -1 + 0. Let h be 2 + c + 1 + -4. Does 5 divide (-4 - h - -19) + 2?
False
Let w(l) = -l**3 - 2*l**2. Let g = 12 - 9. Suppose h + 6 = g*v, -2*h + 2*v - 14 = 2*h. Is w(h) a multiple of 3?
True
Is ((-3354)/12)/1*-4 a multiple of 71?
False
Let m = -6 - 13. Let n = -15 - m. Does 15 divide (-130)/n*(0 - 2)?
False
Suppose -2*u + 4*m + 4420 = 0, 2*u = -2*m + 562 + 3834. Does 32 divide u?
False
Suppose 3*s = -o + 43, 2*s + 3*o + 25 = 4*s. Let f(u) = -4*u - 13. Let l be f(-4). Suppose -l*c + 4*c = 4*r + s, c = r + 14. Does 4 divide c?
False
Suppose -119 = -l - 6*l. Suppose 0 = -3*o + 4*o - l. Is 4 a factor of o?
False
Suppose 0*p = 3*p + 2*q + 336, 3*q = -9. Let m = p + 158. Is m a multiple of 4?
True
Suppose 3*f = -f + 152. Let x = 116 - f. Is x a multiple of 13?
True
Let n(y) = 203*y**2 + 2*y - 2. Does 44 divide n(1)?
False
Is 9 a factor of 1769/3 - 18/27 - -4?
False
Let g be 642/(-42) + 2/7. Let y be 236/16 - g/(-20). Suppose f = -4*n + 22, -4*f + 45 - y = -3*n. Is 4 a factor of f?
False
Let m be -1*4/(-4)*1. Is m/((2/350)/((-6)/(-7))) a multiple of 20?
False
Let a(z) = 4*z**2 + 3*z**3 + z**3 - 5*z**3 - 3*z**2 + 6*z + 5. Let o be a(-3). Let q = o + 25. Is 16 a factor of q?
True
Let w(r) = -r**3 + 5*r**2 + 5*r - 4. Let u be w(6). Let j be u/(-4)*(-9 - -11). Let b(y) = 5*y + 1. Is 26 a factor of b(j)?
True
Let z(k) = -k**2 - 6*k - 4*k**2 + 6*k**2 + 2 - 9. Is 2 a factor of z(8)?
False
Is 7 a factor of (-6)/21 + 32466/98?
False
Let z = -293 - -296. Is 3 a factor of z?
True
Is 11 a factor of 228*1 + 13 + -10?
True
Suppose 0 = 40*r - 89249 - 2551. Does 85 divide r?
True
Let u = 495 + -315. Does 12 divide u?
True
Does 66 divide (-4 - -68)/8 + 1444?
True
Let f be ((-4)/(-8))/((-1)/26). Does 3 divide (-58)/(-12) + ((-65)/30)/f?
False
Suppose 9*l - 526 + 202 = 0. Is 5 a factor of l?
False
Let w(o) = -o**3 - 4*o**2 + 19*o + 14. Let x be w(-12). Is 1/(-2) + x/28 a multiple of 5?
False
Let g = -96 - -87. Suppose -5*r - n + 2*n = 153, 5*n + 135 = -5*r. Let q = g - r. Is 10 a factor of q?
False
Let q(a) = a**3 + 4*a**2 - 7*a - 7. Let z be q(-4). Let n(j) = -2*j + 71. Is n(z) a multiple of 2?
False
Let q = -295 - -260. Let o be (3 - 4)*(51 + -1). Let l = q - o. Is l a multiple of 14?
False
Suppose 3*q + 10 = 5*q. Let s be 5/(-2)*(-8)/q. Is (0 + 65)*(s + -3) a multiple of 12?
False
Let n = 37 + -34. Let d(w) = w**3 - w**2 - 5*w + 4. Let r be d(n). Is (-8)/14 + 389/r a multiple of 16?
False
Suppose 2*n = -3*n - n. Suppose 5*v - 3*o - 206 = n, 14 = -5*o + 4. Is v a multiple of 5?
True
Let t = 693 + -353. Does 17 divide t?
True
Suppose 142*r + 49 = 149*r. Let o = 5 - -12. Let v = r + o. Is 12 a factor of v?
True
Let n be 3*(-1 - 15/(-9)). Let i = 2 + n. Suppose -i*o - o = -210. Does 21 divide o?
True
Suppose -4*j + 29 = -0*j + n, 0 = -3*j - 3*n + 15. Suppose d - 4*w = -j*w + 722, -d - 5*w = -719. Is 16/28 + d/14 a multiple of 18?
False
Suppose 3*a + 27 = 6*a. Let v(t) = -t**3 + 10*t**2 + 3*t + 2. Does 10 divide v(a)?
True
Suppose -9*x - 333 = -18*x. Does 37 divide x?
True
Suppose j = 2*j - 132. Does 3 divide j?
True
Let p = 65 - -159. Let s = -155 + p. Is s a multiple of 23?
True
Let f = 2349 - 710. Does 11 divide f?
True
Let o be ((-18)/(-30))/((-2)/(-10)). Suppose 261 = 6*r - r + 3*q, 3*q = o*r - 147. Suppose -5*t + r = -19. Does 14 divide t?
True
Suppose 0 = 111*l - 114*l + 906. Does 9 divide l?
False
Let z(q) be the third derivative of -q**6/40 - q**5/20 + q**4/6 + q**3/2 - 4*q**2 + 5. Let k be (2 - -2)*(-6)/8. Is z(k) a multiple of 25?
False
Let w be 21905/45 + (-10)/(-45). Suppose -9*l = -1016 - w. Is 11 a factor of l?
False
Let i = 1376 + -1186. Is i a multiple of 10?
True
Suppose -7*i + 906 = -i. Suppose -3*y = 6, -3*x = -2*y - 93 - i. Does 16 divide x?
True
Does 2 divide ((-29)/(-87))/(-2*2/(-144))?
True
Let x = 33 + -34. Let p(f) = -100*f**3 - f**2 - f. Is p(x) a multiple of 23?
False
Let f = 51 + 56. Is f a multiple of 3?
False
Let v(g) be the third derivative of 3/8*g**4 - 3*g**2 + 13/6*g**3 - 1/6*g**5 + 1/120*g**6 + 0*g + 0. Does 4 divide v(9)?
False
Let o(d) = d**3 - 9*d**2 - 9*d + 3. Let h(l) = l**3 - 14*l**2 + 2*l - 18. Let t be h(14). Is 13 a factor of o(t)?
True
Let z(a) = 35*a - 3. Let c(y) = -3*y - 1. Let p be c(-1). Let v be z(p). Let t = -29 + v. Does 14 divide t?
False
Is (896/(-12))/((-222)/36 + 6) a multiple of 16?
True
Suppose 2*g + 2*v = 584, -6*g + 1174 = -2*g + v. Is g a multiple of 42?
True
Let f(b) = -5*b + 130. Let s be f(0). Suppose -s = -5*o + 365. Is 33 a factor of o?
True
Let t(p) be the third derivative of -p**6/180 + p**5/40 + p**4/6 - 3*p**2. Let g(z) be the second derivative of t(z). Does 9 divide g(-6)?
True
Let y(g) be the second derivative of -7*g**3/6 - g**2/2 - g. Suppose 6 = 8*m - 14*m. Is y(m) a multiple of 6?
True
Let z(a) = 494*a + 35. Does 1