 2*s + 0*s + 12 = 0, -4*s - x = 0. Let w(q) = 5*q - 1. Is 3 a factor of w(o)?
True
Suppose 12*q - 19*q = -14903. Is 14 a factor of q?
False
Suppose 4*j + 11 + 68 = 3*n, -n + 2*j + 29 = 0. Let x = 22 - n. Let f = 34 - x. Is 21 a factor of f?
False
Let q(i) = -i + 6. Let s be q(4). Let f be -1 + 3*(-8)/(-6). Suppose c = 0, -s*c = f*b + 2*c - 234. Does 26 divide b?
True
Let u(b) = -b**2 - 25*b - 43. Let w be u(-23). Suppose 3*n + 3*r - 159 = 0, 8*n - w*n - 271 = -3*r. Is n a multiple of 7?
True
Let b(o) = o**3 - 4*o**2 + 3*o - 1. Let h be b(4). Suppose h = -5*i - 54. Let m = i + 72. Is m a multiple of 27?
False
Suppose 1 = -2*j + 5, j - 17 = -5*l. Suppose l*r = -6, 3*m = r + 107 + 75. Is m a multiple of 20?
True
Let f be (-1)/2*(3 - -11). Let n be -122 + f/(28/(-16)). Is 28/(-35) - n/10 even?
False
Let r be (-2 - (-4)/(-4))/(-1). Let l = r - -90. Is l a multiple of 4?
False
Suppose -17*y - 1331 = -28667. Is y a multiple of 16?
False
Let c(h) = -h**3 - 13*h**2 - 6*h - 26. Let u be c(-9). Let b be 16*(2/(-4) + 0). Is 22 a factor of (1 + 0)/(b/u)?
False
Let l be (-8)/(-14)*(-7)/(-2). Let n(s) = 22*s**2 - s - 3. Is n(l) a multiple of 47?
False
Let r be 6/(-14) + 62/14. Suppose -r + 10 = 2*l. Suppose 9*i - 72 = l*i. Does 5 divide i?
False
Let i(y) = 452*y**3 + 2*y - 2. Let z be i(1). Suppose -z = 2*m + 2*m. Let h = m + 170. Is 19 a factor of h?
True
Let p = 139 - -325. Is 29 a factor of p?
True
Suppose -7*i + 816 = i. Does 13 divide i?
False
Let l(p) = p**2 + 14*p - 54. Is l(-21) a multiple of 19?
False
Let o = 166 + 51. Is o a multiple of 7?
True
Let j = -17 + 47. Let a be j - (0 + (1 - 3)). Suppose -5*i + 3*i = -a. Does 4 divide i?
True
Is 3 a factor of (30/(-7))/(2*3/(-21))?
True
Suppose -h - h + 1902 = 6*l, 3*h + l - 2837 = 0. Is h a multiple of 28?
False
Let u(s) = -2 + 7 + 0*s + s. Let i be u(-1). Does 16 divide i/8 - (-53)/2?
False
Suppose -9*q + 3*m = -5*q - 4809, q - 4*m - 1212 = 0. Is q a multiple of 80?
True
Let q(s) = s**3 + 8*s**2 - 3*s + 11. Let f = 19 + -17. Suppose 0 = 5*g - 3*n + 31, g - f*n = -2 - 0. Does 28 divide q(g)?
False
Let i(o) = o + 0*o - 4*o**3 + 33*o**2 - 30*o**2. Is i(-3) a multiple of 11?
True
Suppose -75*r = -17*r - 34452. Does 22 divide r?
True
Suppose 2*r - 4*r = -4. Suppose -50 = -r*c + 352. Suppose 4*t = 2*d + 2*d + 160, 5*t - 4*d = c. Is t a multiple of 18?
False
Let l(q) = -4*q**2 + 0*q**3 - 3*q - q**3 - 2 - 2*q**2. Let f(b) = -8*b**2 + 30*b + 2. Let s be f(4). Does 7 divide l(s)?
False
Suppose 65*z = 56*z + 9117. Is z a multiple of 18?
False
Let b(h) = -22*h + 353. Does 2 divide b(5)?
False
Let o be (-3)/15 + 243/15. Let k = o + 14. Is 6 a factor of k?
True
Let q be (-8)/16 + 54/4. Suppose -29 = -z + q. Is 14 a factor of z?
True
Suppose -3*o - z + 474 = 0, -16*o + 12*o + 4*z = -616. Does 5 divide o?
False
Let g(q) = -4*q**2 - 47*q + 61. Let v(t) = t**2 + 16*t - 20. Suppose 0*s + s - 7 = 0. Let i(l) = s*v(l) + 2*g(l). Is i(14) a multiple of 6?
False
Let q(y) = -y**2 - 38*y + 84. Is 12 a factor of q(-38)?
True
Let v = 66 - 62. Is (-45)/12 + v - 271/(-4) a multiple of 17?
True
Suppose -1570 = 5*h + 5*h. Let g = 325 + h. Does 25 divide g?
False
Does 25 divide 7/((-21)/6) + 680?
False
Let j(o) = -o + 1. Let v be j(0). Let m be (-211)/(-4) + v/4. Suppose -2*g + m = t, -t + 4*t + 57 = 3*g. Is 15 a factor of g?
False
Let i = -2040 - -3940. Does 38 divide i?
True
Let y(x) = -184*x + 100. Is 14 a factor of y(-3)?
False
Suppose 6*p - 10*p = -1680. Is 7 a factor of p?
True
Suppose -q = -3*l - 3 - 6, -5*q = -l - 87. Suppose -q*w + 304 = -2180. Is w a multiple of 46?
True
Does 6 divide 4/(-22) - 11/((-1089)/16353)?
False
Suppose 0 = -45*f + 56*f - 297. Is f even?
False
Suppose -5*t + 864 = -4*f, -2*t = f + 75 - 418. Is t a multiple of 43?
True
Does 6 divide ((3570/24)/7)/((-4)/(-48))?
False
Suppose 26*l = -31*l + 62301. Is 41 a factor of l?
False
Is 23 a factor of (20/15)/(-4)*-1158?
False
Let v = -10 + 13. Let a = 2 + v. Suppose 0 = 4*w - a - 3. Does 2 divide w?
True
Let x(f) = 10*f - 25. Let n be x(10). Suppose -4*k = -61 - n. Is 8 a factor of k?
False
Let w = 18 + -14. Suppose -u + 0 - w = 0, 0 = -p - 4*u + 37. Does 4 divide p?
False
Does 6 divide (14/(-20)*-4)/((-14)/(-140))?
False
Let y = -57 - -62. Suppose o = -y*z + 745, 0*o + 4*o = 2*z - 298. Is z a multiple of 12?
False
Suppose -w - 902 = -3*a, -38*w + 41*w = 3*a - 900. Is 2 a factor of a?
False
Is 19 + -9 - (-260 - -4) a multiple of 7?
True
Suppose 7 = b + 27. Let d = b + 39. Let x = 29 - d. Does 7 divide x?
False
Let k = 18 - -20. Suppose -d = -5*h - 22, -5*d - k + 148 = 4*h. Let v = d - 19. Is v a multiple of 3?
True
Let t = 26 + -28. Let u(q) = -2*q**3 - 4*q**2 - 3*q - 1. Let c be u(t). Suppose -2*v - 4*l - c = -1, 5*v = 4*l + 32. Does 4 divide v?
True
Let a(y) = 3*y**2 + y - 1. Let b be 0/((2 + 0)/(-2)). Let c(n) = -n - 3. Let m be c(b). Is 23 a factor of a(m)?
True
Let g(j) = -5*j**2 - 2*j + 2. Let h be g(-2). Let q be 1/4 - h/8. Suppose 0*s - q*s + 111 = -3*o, -3*s + o = -149. Is s a multiple of 12?
True
Does 19 divide (-319)/(-29)*(0 + 36 + 2)?
True
Let u = -2 + 5. Suppose -4*y + 5*p = -394, -2*y + u*y = 5*p + 106. Suppose 236 = 5*d + y. Does 12 divide d?
False
Does 5 divide 419 + (1 + 10 - 9)?
False
Suppose -5*n + 2 = -33. Suppose 2*g = -3*v + 60, -2*v - 4*g - 122 = -n*v. Is v a multiple of 4?
False
Suppose -108*k = -65*k - 4257. Is 9 a factor of k?
True
Suppose -123728 = -93*k + 19*k. Is 11 a factor of k?
True
Let t(v) be the third derivative of v**4/6 - 5*v**3/6 + 3*v**2. Is t(2) a multiple of 2?
False
Let c(n) = 22*n**3 + 4*n**2 + 7*n - 7. Is 11 a factor of c(5)?
False
Suppose 171*l - 154*l = 14280. Is 14 a factor of l?
True
Let i(z) = z**3 - 12*z**2 + 26*z + 17. Suppose -5*t - 14 = -74. Is 48 a factor of i(t)?
False
Let k = 376 - -182. Is k a multiple of 9?
True
Let s(f) = f**2 + 3*f. Let o be s(-5). Suppose o = -2*m, -2*m + 7*m + 19 = -3*h. Suppose -4*l + 90 = -i, -4*i + h*i - 26 = -l. Is 6 a factor of l?
False
Let s(c) = -c**3 + 11*c**2 + 16*c - 22. Let o be s(11). Suppose 159*p - 300 = o*p. Does 5 divide p?
True
Suppose -4*b + 4*l = -4, 31*l - 27*l = -3*b + 24. Is 4 a factor of b?
True
Suppose 64 = -5*q - 4*r + 453, -r = 5*q - 386. Is q a multiple of 16?
False
Let a = 824 + -106. Is a a multiple of 16?
False
Let m(a) = a**3 - 17*a**2 + 37*a + 47. Is 30 a factor of m(18)?
False
Let r = 63 - 61. Does 27 divide 8890/110 + r/11?
True
Suppose -3*a = 4*f - 3004, -3*a + 7*f + 2968 = 2*f. Does 12 divide a?
True
Let p(c) = 16*c - 422. Is p(45) a multiple of 114?
False
Let j(h) = h - 13. Let p be j(17). Suppose y = -2*o + 23, y + 47 = 2*y - p*o. Is y a multiple of 5?
False
Suppose 0 = i + 3*m + 2, i + 0*i = 3*m + 4. Let g be (0 - 35)/(i/(-5)). Suppose 4*k - g = -19. Is k a multiple of 13?
True
Let h = 557 - 373. Is h a multiple of 23?
True
Let o be (-418)/(-77) - (-8)/14. Suppose o*w - 33 = 9. Does 6 divide w?
False
Let v be ((-52)/(-16))/((-2)/(-48)) - 3. Let q = 109 - v. Is q a multiple of 21?
False
Suppose 269 = 4*q - 79. Is q a multiple of 3?
True
Let v(u) = -113*u**2 - 15*u - 10. Let d be v(11). Does 32 divide d/(-108) + 2/(-9)?
True
Suppose u = 5*m - 317, 2*m = 4*u - u + 119. Suppose 0 = -2*t - 5*h + m + 55, 2*t = h + 101. Let r = t - 37. Is r a multiple of 6?
False
Let j = 32 - 40. Is (-11)/(3 - (-4 - j)) a multiple of 3?
False
Suppose 2*a - 3*a + 256 = 5*n, -12 = -4*n. Is 23 a factor of a?
False
Let f(m) = 3*m**3 - 2*m**2 + 2*m + 6. Let x(b) = 5*b**3 - 4*b**2 + 3*b + 11. Let t(u) = -7*f(u) + 4*x(u). Let o be t(-2). Is (9/6)/(o/536) a multiple of 34?
False
Let o = -15 + 83. Is 4 a factor of o?
True
Suppose 3*u = 251 + 7. Let v = 126 - u. Is v a multiple of 10?
True
Suppose -2*t + 56 = -2*p, -3*p = -23 + 11. Is t a multiple of 16?
True
Suppose -8*c = -6 - 2. Let w(s) = s**2 + 2*s + 2. Let d be w(-2). Is 12 a factor of 26*c/d + -1?
True
Let p be (60/(-24))/((-2)/4). Suppose 0 = p*q - 5*g - 115, 0*q - 4*g = 2*q - 58. Suppose -5*n = q, 2*b + 3*n = 7*b - 90. Does 5 divide b?
True
Let q(j) = j - 3. Let m be q(8). Suppose -156 = -4*v - 4*s, 0*v - m*v - s = -191. Does 19 divide v?
True
Let o = 8 + -5. Let r be (-450)/(-12) + 6/(-4). Suppose i - o*i + r = 0. Does 6 divide i?
True
Suppose -5*j - 5005 = -5*p - 0*j, 5*p = 2*j + 4996. Does 26 divide p?
False
Let 