a factor of w?
True
Let a be 372/(-5) + (-10)/(-25). Let l be (7*-1)/((-1)/19). Let o = l + a. Is 18 a factor of o?
False
Let g(c) = -c - 1. Let b be g(7). Is (b/(-5))/(7/140) a multiple of 17?
False
Suppose 40 = 2*d - 0*d - 4*n, -n + 98 = 4*d. Let c = d + -10. Does 7 divide c?
True
Let y(v) = -2*v - 10. Let j be y(-7). Suppose -6*f + j*f - 94 = -2*a, -2*a + 97 = f. Is 24 a factor of a?
True
Let w(t) = 27*t**2 - 1. Let h(a) = a**3 + 5*a**2 + 3*a - 1. Let q be h(-3). Let s be q/12*3/2. Is 13 a factor of w(s)?
True
Suppose 4*k + 3*x + 8 = 0, k + 0*x + 2*x = -2. Is ((-18)/(-27))/(k/(-6)) even?
True
Let g = 7 - 13. Let z(c) = 2*c + 9. Let h be z(g). Is 9 a factor of 12/(1/(h/(-2)))?
True
Suppose -10*x + 6*x = 16. Let g = x - -15. Is g a multiple of 8?
False
Let d be (-6)/21 + 2/7. Suppose -24 = -5*v - d*k - 2*k, k + 33 = 5*v. Is 4 a factor of (-3*2)/(v/(-8))?
True
Let n be (3/5)/(2/10). Suppose -2*p + 16 = 4*c, n*p - 3*c = -16 + 85. Suppose -3*j + 0 = -p. Is 4 a factor of j?
False
Suppose 8*f = 4*f - 224. Let g be (-16)/f - 12/(-7). Suppose 3*n - 120 = -g*n. Is n a multiple of 12?
True
Let o(q) = 99*q**3 + q + 1. Let z be o(-1). Let u = 142 + z. Is 9 a factor of u?
False
Suppose 0 = 3*r - 4*s - 66, -2*s - 78 = -5*r + 18. Is r a multiple of 6?
True
Let g = 19 + -2. Does 3 divide g?
False
Let z be (-2)/(-11) - 104/88. Let x = 8 + z. Is 5 a factor of x?
False
Let k be (-33)/12 + 1/(-4). Let u(g) = -2*g**3 - 5*g**2 - 2*g. Is 5 a factor of u(k)?
True
Let r be 14/(-3)*(-6)/(-2). Suppose 6*i - i + 31 = -c, -3*i - 9 = 3*c. Is 4/r + (-114)/i a multiple of 16?
True
Suppose -f + 3*k + k = 11, -3*f = -3*k - 3. Let v(d) = d**2 + d + 2. Let j be v(0). Suppose -j*r + 53 = -a, -r - f*a - 5 = -4. Is 11 a factor of r?
False
Suppose -3*q + 5*g = -137 - 483, 12 = -3*g. Suppose y = -4*y + n + q, 4*y - 4*n - 160 = 0. Does 16 divide y?
False
Is 36/(-24)*70/(-3) a multiple of 5?
True
Suppose 2 + 10 = -3*a, 3*p - 431 = 2*a. Suppose p - 11 = 5*d. Suppose 3*n = 2*n + d. Is 15 a factor of n?
False
Let v = -39 + 67. Is v a multiple of 13?
False
Suppose 21*t + 410 = 26*t. Does 32 divide t?
False
Let s be (1 - 0)*(3 + 2). Is 6 a factor of -2 + s + 13 + 2?
True
Suppose -2*h - 1 - 11 = 0. Let i = 40 - 28. Let a = i + h. Is a a multiple of 3?
True
Suppose -56 = b - 3*b. Is 11 a factor of b?
False
Let a = 17 - 3. Is 14/(-2)*(-144)/a a multiple of 21?
False
Suppose 0 = -2*j - 2*m + 18, -m + 13 + 6 = 3*j. Suppose 3*g - 12 - 72 = 0. Suppose -j*h + 32 + g = 0. Is h a multiple of 6?
True
Suppose 0 = 62*l - 60*l - 246. Is l a multiple of 13?
False
Let w(y) = -10*y**2 + 2*y - 1. Let d be w(1). Let u(g) = -11 + 0*g**2 - 5*g - g**2 - 6*g. Is 3 a factor of u(d)?
False
Let q(x) = x + 3. Let j be q(0). Let y be (-8)/4 + (0 - -62). Suppose -j*l - l = -y. Is 10 a factor of l?
False
Suppose -3*z = 2*k - 508, -256 = -z - 4*k - 90. Is z a multiple of 17?
True
Suppose -2*u + 0*u = 4*j + 144, 4*j + 152 = 2*u. Let q(r) = -2*r**3 + 2*r**2 + 2*r - 1. Let a be q(-3). Let n = j + a. Is n a multiple of 14?
True
Let t = 6 + -2. Let l(k) = 2*k**2 + 2*k + 5. Is l(t) a multiple of 17?
False
Is 7 a factor of (-29 - 13)*4/(-6)?
True
Suppose 4*l - 36 = -4*q - 312, -q - 3*l = 73. Let c = 111 + -212. Let p = q - c. Is p a multiple of 15?
False
Suppose 5*w + 18 = 2*u + 2*u, -w = -4*u + 10. Suppose -u*a - t = -0*t - 29, -4 = -2*a + 4*t. Is 8 a factor of (5/(-2))/((-2)/a)?
False
Let u(r) = 2*r**2 + 4*r - 30. Is 20 a factor of u(-11)?
False
Let n = 6 + -4. Let j(q) = -q**n + 4*q**3 + 2*q**2 - q + 14 - 3*q**3. Does 7 divide j(0)?
True
Let i(b) = b**3 + 5*b**2 - 6*b + 6. Let s be i(-6). Let m = 0 + s. Does 3 divide m?
True
Let c be 0/2 - (-1)/1. Let a = 21 - 19. Is a/c - 2 - -5 a multiple of 5?
True
Let m = 4 - 17. Suppose 0 = 2*k - 2*x + 48, -k + 6*k - 2*x + 135 = 0. Let y = m - k. Is y a multiple of 16?
True
Let m(q) = q**2 + 2*q + 1. Is 12 a factor of m(-7)?
True
Let z be (-10)/(-4)*2*1. Suppose -4 = -4*v + z*h - 6*h, 0 = -5*h. Does 10 divide (4/6)/(v/33)?
False
Let h(p) = p**2 + 4*p - 1. Let v be h(-3). Let d = 11 - v. Is d a multiple of 12?
False
Suppose -2*z + 25 = 3*h - 2*h, 1 = z. Suppose 0*p + 4 = 2*p. Suppose 2*f = p*d - d + h, 0 = -d - 1. Is f a multiple of 11?
True
Let q = 43 + -30. Suppose -b + q = -0*b. Does 13 divide b?
True
Let q(k) be the third derivative of k**5/60 - k**4/6 - k**3/2 - 3*k**2. Let u = 3 + 5. Does 12 divide q(u)?
False
Let v(b) = -2*b - 6. Let s = 20 - 28. Is 8 a factor of v(s)?
False
Let r be (-5 + -3)*26/(-8). Suppose m - r = -m. Does 13 divide m?
True
Is ((-40)/(-30))/(6/207) a multiple of 14?
False
Let n(b) be the second derivative of -b**5/5 + b**4/6 + b**3/6 - b**2 + 4*b. Is n(-2) a multiple of 14?
False
Let n be 3/(6/(-50))*-1. Suppose -4*f + n = -7. Does 3 divide f?
False
Let q = 30 - -185. Is 43 a factor of q?
True
Suppose -5*g = -232 - 8. Does 12 divide g?
True
Suppose -3*f - 5*c + 28 = 0, 4*f + 2*c = -3*c + 39. Is f a multiple of 5?
False
Is 5 a factor of (2/6)/(4/1140)?
True
Let t(g) = g**3 - 7*g**2 + 10*g. Let q be t(5). Suppose q = j - 2*j + 62. Does 31 divide j?
True
Let i be ((-4)/6 + 0)*-6. Let p = -10 + i. Let w = p - -36. Is 15 a factor of w?
True
Let d = 18 + -11. Let c(u) = u**3 - 7*u**2 + u - 5. Let t be c(d). Suppose -t*x + 74 = 6. Is x a multiple of 15?
False
Is 9 a factor of 10*(-5)/((-25)/22)?
False
Suppose 3*t + 120 = b, -2*b + 187 = 4*t - 53. Suppose b = 2*z + z. Does 10 divide z?
True
Let n = 29 + 29. Is 20 a factor of n?
False
Let l be (-1 - 0)/(0 - 1). Let x(d) be the third derivative of 2*d**5/5 - 4*d**2. Is 9 a factor of x(l)?
False
Let z = 42 - 27. Is z/(1/(3 + -1)) a multiple of 10?
True
Suppose -3*n = 4*l - 16 - 1, l = -4*n + 14. Suppose -t = -0*t - n. Is 13 a factor of (-52)/t*(-9)/6?
True
Suppose 0 = -2*l - 2*l + 12. Let n(x) = x**3 - x**2 + x - 4. Does 11 divide n(l)?
False
Let g(k) = k + 24. Let c be g(0). Suppose -m + c = 3*m. Is m a multiple of 5?
False
Let b = 3 - 0. Suppose 0 = -4*z + 5*q + 459, 0 = -2*z - 0*z - b*q + 235. Does 33 divide z?
False
Let f = -16 - -19. Suppose f*q - 19 = 98. Is q a multiple of 13?
True
Let a(d) = d - 12. Let f be a(10). Let z be (-21)/(-9) + f/(-3). Suppose v = 3*v + z*n - 37, -3*v + n = -50. Is v a multiple of 16?
False
Let n(z) = -2*z**2 - 3*z**2 - 7 + 11 - z**3. Let v(f) = -2*f - 2. Let w be v(2). Does 14 divide n(w)?
False
Suppose -4*d + 216 = -d. Is 1812/d - (-1)/(-6) a multiple of 6?
False
Suppose -6*u + 4*u + 160 = -5*v, -258 = -3*u + 3*v. Is u a multiple of 18?
True
Let a(p) = p**2 + 4*p - 4. Let h be a(-5). Suppose 28 = 2*n - 2*v, -3*v = -8 - h. Let s = -12 + n. Is 3 a factor of s?
False
Let p(w) = 33*w + 6. Let m be p(8). Suppose -3*s = 2*s - m. Is s/(-15)*10/(-2) a multiple of 18?
True
Suppose 2*g - 4*l = -78, -2*l - 128 = 3*g + 3*l. Let c = g - -71. Does 6 divide c?
True
Suppose -j = j + 3*n - 5, -5*n + 15 = 4*j. Suppose -5*o + 4*o = -j. Is 3 a factor of o?
False
Let o be (-2)/4 + (-20)/(-8). Suppose 239 = 3*t - 4*r + 2*r, 2*t - 186 = -4*r. Suppose -21 = -o*f + t. Does 26 divide f?
True
Suppose -10 = -5*w + 5. Is w even?
False
Let h(s) = 7*s + 1. Let o be h(1). Let u = 13 + o. Is 7 a factor of u?
True
Let k = 12 + 5. Let l = k - 11. Suppose -z + 45 = l. Is 15 a factor of z?
False
Is 968/10 + 3*(-3)/(-45) a multiple of 31?
False
Suppose 3*j + 32 - 107 = -3*k, -2*j - 4*k + 44 = 0. Let n = j + 16. Let m = -26 + n. Is m a multiple of 9?
True
Let x(y) = 10*y. Let c be x(4). Suppose c = 6*k - 4*k. Does 20 divide k?
True
Suppose -4*d - 3 - 13 = 0. Let l(a) = -6*a - 2. Is l(d) a multiple of 11?
True
Let h(k) = k - 5. Let g be h(6). Let o = g - -9. Is 10 a factor of o?
True
Suppose r = 25 - 7. Suppose -2*a + a = r. Is 7 a factor of (-1)/3 + (-258)/a?
True
Suppose -n + 15 = 2*n. Suppose -n*j = 3*d - j - 182, -2*j = -d + 74. Suppose 2*v + 69 = 5*g, -g + 3*v + d = 4*g. Does 15 divide g?
True
Let d = 366 - 168. Is 33 a factor of d?
True
Let n = 70 - 45. Is n a multiple of 9?
False
Let r be (2/6)/((-1)/(-321)). Let q = -63 + r. Is 25 a factor of q?
False
Let m = 1 + -1. Suppose m = 5*u, 0 = -h + 2*h - 4*u - 44. Is h a multiple of 11?
True
Let x(h) = h**2 + 4*h + 5. Let r be x(-4). Suppose r*n - 297 = -5*b - 67, 4*b + 3*n = 187. Is b a multiple of 16?
False
Let m(a) = a**3 - 7*a**2 + 8*a - 7. Let v be m(6). Does 1