 of j?
False
Does 8 divide 99 + (42/35)/(6/20)?
False
Let j(x) = 2*x**2 + 2 - 2*x**3 + 4 - 8 - 2*x. Is 10 a factor of j(-2)?
False
Let w be 3*(-3)/27*-9. Suppose 0 = -0*c + c + 4*j + 9, c - 3*j - 5 = 0. Is 9 a factor of c/w + (-184)/(-12)?
False
Suppose -5*q + 520 = 5*q. Does 31 divide q?
False
Suppose 0*z - z = 0. Let r = z - -3. Suppose 0 = -r*q - 2*q + 180. Is 12 a factor of q?
True
Is 9 a factor of (60/(-1))/(2 + (-55)/20)?
False
Let s be ((-2 - -2) + 0)/2. Let g be (1/3)/((-4)/(-36)). Suppose 6*q - q + 2*v - 255 = s, -g*v - 174 = -3*q. Is q a multiple of 14?
False
Does 20 divide 3 + 0 + -1 + 45?
False
Suppose 4*p - 24 = -0*p. Suppose 118 = -4*q + p*q. Is q a multiple of 18?
False
Suppose 38*c = 33*c + 110. Does 12 divide c?
False
Let i(m) = m**2 - 3*m - 4. Does 6 divide i(5)?
True
Suppose 3*d - l = 16 + 20, 2*d - 3*l = 17. Suppose 0 = -4*o + 133 - d. Does 10 divide o?
True
Let u(i) = -i**3 - 2*i**2 - i + 4. Is 16 a factor of u(-7)?
True
Suppose -5*d = 4*m - 6*m - 605, 3*d + 3*m - 342 = 0. Is 11 a factor of d?
False
Suppose 4*q - 101 = -25. Is 3 a factor of q?
False
Let f(v) = -v**3 + 6*v**2 - 3*v - 6. Let d be f(5). Suppose -d = 2*w - 28. Does 12 divide w?
True
Let v(r) = 9*r - 1. Does 17 divide v(2)?
True
Let z(h) = -2*h - 5. Let l be z(-6). Let f(q) = -2*q**3 + 7*q**2 + 84. Let j(i) = i**3 - 4*i**2 - 42. Let g(a) = l*j(a) + 4*f(a). Does 12 divide g(0)?
False
Let j(m) = -m**3 + 3*m + 3. Let k be j(3). Let d = -20 - -15. Let z = d - k. Is z a multiple of 10?
True
Suppose 4*c - 459 = 3*x + 56, 5*x + 25 = 0. Does 20 divide c?
False
Let d(x) = -13*x - 16. Is d(-3) a multiple of 23?
True
Suppose -2*f + 50 = -3*p, -3*p = -5*f - 7*p + 102. Suppose -i - 3 + f = 0. Does 8 divide i?
False
Let z be 1/(2*4/24). Let q(m) = m**3 - m**2 - 4*m + 3. Is 3 a factor of q(z)?
True
Let o be (-1)/3 - (-185)/15. Let s be 64/o - (-1)/(-3). Let i(c) = 9*c - 2. Is 18 a factor of i(s)?
False
Let a be (-1)/(-2) + (-5)/(-2). Suppose -a = c - t - 5, -c + 2 = 2*t. Suppose -2*w - c*w + 12 = 0. Is 3 a factor of w?
True
Let f(x) = x**3 - 4*x**2 - 3*x - 2. Is 8 a factor of f(5)?
True
Let q = -5 + 5. Suppose -3*i + 21 = -q*i. Suppose -3*g = -i*y + 2*y - 82, -4*g - y = -140. Is g a multiple of 17?
True
Let u(r) = -5*r**2 + 2 + 12*r**2 - 4*r**3 + 5*r**3 + 4*r + r. Is u(-5) a multiple of 16?
False
Suppose 4*t = 549 + 699. Does 26 divide t?
True
Suppose -4*g = -2*d + 180, 4*d + 4*g - 7*g - 360 = 0. Does 18 divide d?
True
Let s(o) = 15*o - 1. Let h(a) = a**2 + 4*a + 4. Let x be h(-3). Is s(x) a multiple of 4?
False
Let p(w) = 9*w**3 - 2. Is 12 a factor of p(2)?
False
Let w(j) = j**3 + 2*j**2 - 4*j - 4. Let u be w(-3). Let b = u - -3. Suppose -3*c + 8 = -b*c. Is c a multiple of 3?
False
Suppose b - 2*b = -109. Suppose -h = r - 5*r + 97, 4*r - b = -3*h. Does 9 divide r?
False
Let i(b) = -b**3 + 6*b**2 + 3*b - 4. Let r be i(5). Let q = 51 - 30. Let m = r - q. Is m a multiple of 5?
True
Let q(x) be the second derivative of -3*x**5/10 - x**4/12 - x**3/6 + x**2 - x. Does 16 divide q(-2)?
True
Let k = 21 + 3. Does 8 divide k?
True
Let b(i) = -11*i**2 + 8*i + 15. Let g(n) be the second derivative of -7*n**4/12 + 5*n**3/6 + 5*n**2 - 2*n. Let d(s) = -5*b(s) + 8*g(s). Does 4 divide d(0)?
False
Does 3 divide ((-12)/(-20))/(31/15 + -2)?
True
Suppose 0*c + 385 = 2*c - 5*d, -5*d = -15. Is 20 a factor of c?
True
Let v be (-333)/6*16/(-4). Suppose 0 = 3*i + 2*r - 152, 34 - v = -4*i + r. Is i a multiple of 12?
True
Suppose l + 27 = -0*l. Let f be l/(-21) + 2/(-7). Let o = f - -11. Does 6 divide o?
True
Suppose 3*q - 11 = 5*w, -3*q + 6 = q + 2*w. Let b be (-2)/(-7) - q/7. Does 11 divide 32 - (b + -1 - -3)?
False
Let c = -163 - -230. Let z be 0 - (-3)/3 - c. Does 7 divide z/(-4)*(-4)/(-6)?
False
Suppose 0 = c + 4*r - 47, 3*r = -0*c + 2*c - 94. Is c a multiple of 18?
False
Is 14 a factor of 4350/18 + (-10)/15?
False
Let s = -11 + 16. Does 5 divide s - ((2 - 5) + 3)?
True
Let a(k) = 2*k**2 + 3*k - 2. Does 13 divide a(-6)?
True
Let l = -6 - -18. Let m = -8 + l. Suppose m*q + 14 - 74 = 0. Is q a multiple of 6?
False
Suppose p - 3*h = -11, 2*p + 0*h = h - 2. Let g = p - -1. Suppose -5*z + 3*s + 162 = 0, -g*z + 101 = -2*s + 37. Does 18 divide z?
False
Is 19 a factor of (-4)/(-6)*(-114)/(-4)?
True
Suppose -2*s - 17 = -1. Let j = s + 11. Suppose -j = 5*i - 63. Does 12 divide i?
True
Let s be (-2)/(9/6 - 2). Is 18 a factor of 47 - ((0 - 3) + s)?
False
Suppose -5*u = -0*u - 40. Suppose -4*g + u = -3*g. Does 6 divide g?
False
Suppose -4*y + 4*v = 2*v - 24, 0 = 5*y + 3*v - 8. Let d be 2/(y*(-1)/(-2)). Is 4 a factor of 6/(-6)*-7*d?
False
Let v(q) = -q**3 - 9*q**2 + 4. Let i be v(-9). Let o = i - 4. Suppose 4*s + s - 50 = o. Does 4 divide s?
False
Suppose -4*j + 0*j = -596. Suppose 449 = -5*h + j. Let x = h - -87. Does 16 divide x?
False
Let a = 16 - 12. Suppose 0*z - 20 = -a*z. Is z a multiple of 3?
False
Let y = 142 + -11. Let a = y + -84. Is a a multiple of 22?
False
Let g = 3 - 0. Suppose v - 24 = -g*v. Is v even?
True
Suppose 0 = 2*o - 4 - 4. Suppose o*b + 68 = 3*p, 5*p - 2*b - b = 128. Is 12 a factor of p?
False
Suppose 2*r = 3*r - 20. Suppose m + r = -5*y, -5*m - 2 = -5*y - 22. Suppose -5*f = 3*s - 8, m = 2*s + f - 5*f - 20. Does 2 divide s?
True
Let u = -4 - -34. Is 11 a factor of u?
False
Let d = 11 + -6. Suppose -o + 150 = 5*j + o, d*j = 2*o + 150. Does 10 divide j?
True
Let y(d) = 1 - 3 - 7*d**2 + 2*d - 8 + d**3. Let b be y(7). Suppose b*j = -3*i + 62, 0*j + j = -2*i + 13. Does 13 divide j?
False
Does 3 divide 3*(-4)/(20/(-15))?
True
Suppose -2*f + 7*f + 3*u - 96 = 0, 2*u = -3*f + 58. Is 6 a factor of f?
True
Let g = -8 + 20. Suppose i - 18 - g = 0. Does 8 divide i?
False
Suppose 4*w - u + 3*u = 122, -w + 20 = -3*u. Does 8 divide w?
False
Suppose -2*b + 42 = -12. Is b a multiple of 9?
True
Does 21 divide (-158)/(-4) - 1/2?
False
Suppose 4*a + 84 - 228 = 0. Is a a multiple of 4?
True
Let n(i) = -i**2 + 7*i - 2. Let p be n(6). Suppose -4*o - 8 = 3*q, -p*q + 6*q + 6 = -3*o. Suppose q*z + 3*z = 138. Does 12 divide z?
False
Suppose 0 = -5*a - 97 + 2172. Is 12 a factor of a?
False
Suppose -3*m + 10 = 1. Is 13 a factor of ((-3)/(-6))/(m/228)?
False
Let q(h) = 2*h**2 - 2*h - 1. Let g be q(2). Let t = 32 - -26. Suppose -2*d + t = 2*d - 2*p, -d + g*p = -12. Is 13 a factor of d?
False
Suppose -4*o = h - 121 + 39, 388 = 5*h - 2*o. Does 13 divide h?
True
Let z = 7 - 1. Let x(c) = -c + 1. Let n(q) = 6*q - 8. Let w(g) = z*x(g) + 2*n(g). Does 16 divide w(7)?
True
Let g = 337 - 184. Is g a multiple of 28?
False
Let g(p) be the second derivative of p**3/3 + 6*p**2 + 3*p. Is 7 a factor of g(5)?
False
Is 40 a factor of (-16 + -5 + 1)*-5?
False
Suppose -y - 22 = -3*y. Does 10 divide y?
False
Let x = 2 + 6. Suppose x*n = 4*n + 204. Is n a multiple of 17?
True
Suppose 262*v - 259*v - 24 = 0. Is 3 a factor of v?
False
Let l = 207 + -27. Does 15 divide l?
True
Let b(o) = 2*o**3 - 3*o**2 - 4*o - 4. Does 12 divide b(4)?
True
Is 11 a factor of (1 + -16)*(-585)/75?
False
Suppose 0 = 4*m - 4*p + 36, -3*p = -4*m - 6*p - 36. Is 13 a factor of (-3)/(m/(-39))*-1?
True
Suppose -u + f = -159, -6 = f - 3*f. Is 13 a factor of u?
False
Let t = -15 + 30. Suppose 20*s - t*s = 90. Does 6 divide s?
True
Suppose -h - 140 = -3*i, 5*h = 3*i - 91 - 33. Let l be (-4)/6 + i/(-9). Is 11 a factor of 88/(-6)*l/4?
True
Let z(p) = p**3 + 5*p**2 - 7*p - 1. Let k(q) = -2*q**2 - 2*q - 2. Let c be k(-2). Does 5 divide z(c)?
True
Let x(t) = t**3 + 8*t**2 + 7*t + 4. Let c be x(-7). Suppose -3*p + 139 = p + z, 5*z = -c*p + 151. Suppose -6 = -2*u + p. Is 10 a factor of u?
True
Let k = -107 - -62. Does 32 divide (-72)/k*(-90)/(-4)?
False
Suppose -2*m + 1 + 11 = 0. Does 2 divide (-2 + -5)*m/(-7)?
True
Let m = 210 + -138. Is m a multiple of 15?
False
Let k = -27 - -66. Let c = k - 23. Is c a multiple of 7?
False
Suppose -403 - 122 = -3*f. Suppose -5*h = 5*a + 190, -2*h - f = 3*h + 2*a. Let t = -19 - h. Is 14 a factor of t?
True
Is 15 a factor of (0 - 1/(-2))/(7/1218)?
False
Suppose -32 - 60 = -4*n + m, 0 = -m - 4. Is n a multiple of 22?
True
Suppose -x = 5*g - 156, -g = -2*g - 2*x + 33. Does 2 divide g?
False
Suppose 0 = -g + 42 + 197. Is g a multiple of 21?
False
Let y be 8/5 + 3/(-5). Suppose -3*j = r - 0*r - y, 0 = -r + 2*j + 1. Is 1/(r/3) + 2 a multiple of