be t(-5). Suppose 4*d - 6*d = -g*n - 20, -15 = 5*n. Is d even?
False
Suppose 0 = 5*k - 0 - 20. Suppose -2*f - 10 = -4*f - k*c, -4*c = -4. Suppose 6 = f*u - 3. Is 3 a factor of u?
True
Let t(u) = -u**3 - 3*u**2 + 3*u. Let w be t(-4). Suppose m + w = 0, -2*f + 3*m + 0*m + 34 = 0. Is f a multiple of 2?
False
Suppose -9904 = -12*g + 1256. Does 30 divide g?
True
Let j(q) = 23*q**3 + q**2 - 1. Let m be j(-1). Let b = m + 81. Does 19 divide b?
False
Does 37 divide 2/((-1504)/251 - -6)?
False
Let t be -1 + (3 - (-2 - -1)). Suppose v = t*v + 154. Does 19 divide 2 + (-7 - -4) - v?
True
Let m be (-4)/(-14) - (-266)/98. Is (m*-2)/(-2) - -109 a multiple of 14?
True
Let b = -20 + 56. Let v = b - 16. Is 5 a factor of v?
True
Let r(i) = -i**3 - 16*i**2 + 16*i - 7. Let k be r(-17). Let p = 24 - k. Is 3 a factor of p?
False
Let r = -23 + 27. Let z be (r + -5)*-1*-23. Let n = z + 54. Is n a multiple of 8?
False
Suppose 4*i = -0*i + 60. Suppose -8*z + 7*z - 3*q - 68 = 0, -5*z - 318 = 4*q. Does 21 divide i/5 - z/1?
False
Let w = -30 + 78. Does 16 divide w?
True
Let y(g) be the third derivative of 7*g**4/24 - 5*g**3/6 + 2*g**2. Let b(l) = -7*l + 6. Let h(n) = 3*b(n) + 4*y(n). Does 9 divide h(4)?
False
Let u = 0 + 2. Suppose -3*d = -2*g - 350, 0 = 4*d - u*g - 137 - 333. Does 22 divide d?
False
Let a(n) = 70*n - 1. Let x be a(-1). Suppose -4*i = -5*b + 528, 5*b = 3*i + 153 + 248. Let d = x - i. Is d a multiple of 28?
True
Suppose 3*o = -o. Suppose 4*s - 6*s + 16 = o. Is 6 a factor of s/(-6)*(-18)/4?
True
Does 5 divide 16/128 - (-26922)/48?
False
Suppose 2*l - 4*b - 292 = 392, 5*l - 1662 = -2*b. Does 51 divide l?
False
Let s = 29 - 20. Suppose u - s = 1. Let t(n) = 7*n + 13. Is 13 a factor of t(u)?
False
Let o be (-4 - -3)*7*-1. Suppose u - o = -5. Suppose -22 = -u*f + f. Is 22 a factor of f?
True
Let y(f) = -f**3 - 11*f**2 - 5*f + 65. Does 29 divide y(-13)?
False
Suppose 0 = 9*i - 89*i + 40320. Does 28 divide i?
True
Let l(j) = -206*j - 3. Let m be l(-3). Suppose 3*n = -2*q + m, -825 = -4*n + q - 2*q. Is n a multiple of 14?
False
Suppose 3*z - 872 = -4*a, 5*z = 2*a + a + 1434. Is z a multiple of 4?
True
Suppose 2*l + 23716 = 5*h, -8*l + 3696 - 17946 = -3*h. Is 40 a factor of h?
False
Let j(q) = 5*q**2 + 11*q + 35. Let m be j(-7). Suppose -2*x + 91 = -3*k, 0 = -4*x - 0*k - k + m. Does 10 divide x?
True
Is 14 a factor of -3 + -12 + 6 + 959?
False
Let m(a) be the third derivative of a**6/120 + 7*a**5/60 - a**3/6 - 9*a**2. Let o be m(-6). Suppose o = 3*p - 22. Is p a multiple of 4?
False
Let v(x) = 2*x**2 + 23*x - 255. Is v(-43) a multiple of 7?
False
Let m(v) = v**2 + 2*v - 21. Let d be m(-6). Suppose -d*j + 342 = 3*q, j - 2*j = -5*q + 582. Is 6 a factor of q?
False
Let i be (-12)/(-54) + (-256)/18. Let f be i/(-14) - (-8)/2. Suppose 0 = -x - f*x + 30. Does 3 divide x?
False
Suppose 235 = -16*y + 10939. Is y a multiple of 9?
False
Let z be 8/14 + 2826/(-21). Let k = -229 - -152. Let a = k - z. Does 19 divide a?
True
Let o(m) = 91*m**2 + 5. Does 30 divide o(-2)?
False
Let s be 4 - 0*(-2)/(-4). Suppose -s*t + 3 = -13. Is 3 a factor of t?
False
Suppose -2*c + 10 = 0, -2*g - 2*c = -g - 178. Is 14 a factor of g?
True
Let g(t) = t**2 + 13*t - 1. Let m be g(-11). Let j = m - -119. Is 16 a factor of j?
True
Let o = -7 - 46. Does 8 divide o/(-1) - 15/(-5)?
True
Suppose -z = 2*d - 7, -4*d + 3*z - 10 = d. Let t = d - -4. Suppose -2*s = 2*k + 3*s - 18, t*k - 5*s - 45 = 0. Is 9 a factor of k?
True
Let i(k) = k**3 - 16*k**2 - 16*k + 7. Let w be (-3 - -1)*34/(-4). Does 6 divide i(w)?
True
Suppose 14*u - 9*u + 75 = 0. Let o be (10 - 14)*u/4. Suppose -5*x + 70 = -o. Is x a multiple of 5?
False
Let r(g) = g**3 + 9*g**2 + g + 5. Let j be r(-9). Let s = j + -1. Let k = 14 + s. Does 9 divide k?
True
Let r = -15 - -22. Let c be ((-12)/r)/(8/(-84)). Does 21 divide c/(8/(-140)*-5)?
True
Let h(b) = -b**3 + 5*b**2 + b - 1. Let z be h(5). Suppose -n - 4*y - z = -50, -4*y + 80 = 2*n. Is 16 a factor of n?
False
Let m(q) = -5*q + 6. Let f be m(2). Does 16 divide 142/f*(12 + -14)?
False
Suppose -3*u - 5*n = -2*n - 900, 2*n + 6 = 0. Is u a multiple of 6?
False
Let q = 817 + -557. Suppose 19*p = 15*p + q. Is 11 a factor of p?
False
Let k be 4/(4 - 5 - -2). Suppose 0 = k*d - 5 + 29. Is 11 a factor of ((-22)/(-1))/(d/(-12))?
True
Suppose -1 = 3*h - 4*x + 1, -13 = 5*h + 3*x. Let d be h/(-3) + (-70)/(-21). Suppose -6*u + 12 = -u + d*y, 2*u = 3*y + 14. Is u even?
True
Let u(d) = 3*d**3 - 2*d**2 + 1. Let t be u(2). Suppose -g - t + 73 = 0. Is 6 a factor of g?
False
Let h(k) = 3*k - 19. Let z be h(7). Suppose -z*t - 2*t + 8 = 0. Suppose -54 = -t*f - 4*u, 0*f - 3*u = 2*f - 52. Is f a multiple of 3?
False
Let a = -32 + 17. Let r = 14 + a. Is 8 a factor of (-75)/(-10) + r/(-2)?
True
Suppose 31*b - 11820 = 11*b. Does 6 divide b?
False
Let o = 9 + 7. Let q be (68/o + -4)*8. Suppose q*s + 4*p - 62 = s, 0 = 2*s - 2*p - 94. Is s a multiple of 18?
False
Is 17 a factor of 136/(-476) - 24523/(-7)?
False
Is (-9 - -2 - -5)*-100 - -6 a multiple of 59?
False
Suppose 3*o - a - 202 = a, a + 2 = 0. Let v(d) = d**3 - d**2 - 7*d + 5. Let j be v(4). Suppose r + j - o = 0. Does 12 divide r?
False
Let u = 5299 - 2779. Does 56 divide u?
True
Let y be (1/3)/((-1)/(-12)). Suppose -4*g + 0*f = y*f - 692, 3*g = 3*f + 501. Suppose 3*a + 5*c - 134 = -0*c, 5*a = 5*c + g. Is 8 a factor of a?
False
Let q(k) = 5*k - 4*k**3 + 0*k**3 - 2*k**3 + 3 - 7*k**2 + 7*k**3. Let l be q(6). Is 17 a factor of l/(-4)*104/2?
False
Let m(c) = -68*c + 2. Let n be m(-2). Suppose 22 = 2*k - n. Is 10 a factor of k?
True
Let z(p) = -p**2 - 4*p + 3. Let o be z(-5). Let l(c) = 16*c + 26. Let h be l(0). Let m = h - o. Is m a multiple of 10?
False
Suppose -6 + 2 = -h. Is 13 a factor of (12/h)/9 + 1726/6?
False
Let r(l) = 1 - 4*l**2 - 2*l + 5*l**2 - 2 - 2. Is 8 a factor of r(-5)?
True
Suppose -2*d - 3*d = -65. Let t = 22 - d. Is (t - -1 - -2) + 2 a multiple of 4?
False
Let j = 25 + -7. Let u be 2/(-8)*0/j. Suppose u = 4*t - 6*t + 26. Does 3 divide t?
False
Let b(g) = -g**3 + 14*g**2 - 14*g + 15. Let n be b(13). Let h(v) = 15*v - 2. Let j be h(6). Suppose 15 = 4*a - a, n*f = -4*a + j. Does 11 divide f?
False
Let v be 0 + 3 + 0 - 22. Let x = v + 10. Let c(r) = -6*r - 11. Is 12 a factor of c(x)?
False
Let b be -8*(-3 - (2 - 3)). Suppose 0*q + b = 4*q. Suppose q*d - 5*h = -0*d + 92, 40 = 2*d - h. Is 6 a factor of d?
True
Suppose l + 530 = 4*b, 111*l = -b + 113*l + 129. Is b a multiple of 23?
False
Suppose 0 = -h + 15 + 15. Let m = -32 + 15. Let v = h + m. Is v a multiple of 13?
True
Let a = 8 + 73. Let b = 86 - a. Is 3 a factor of b?
False
Let i be ((-7266)/(-4))/((-24)/(-32)). Suppose -6*z = -13*z + i. Is 21 a factor of z?
False
Let j(k) be the second derivative of -k**4/12 - 3*k**3/2 + 7*k**2/2 - 21*k. Does 7 divide j(-6)?
False
Let x(d) be the first derivative of d**4/4 + 4*d**3/3 - 3*d**2/2 - 6*d - 12. Let h be x(-4). Does 15 divide (-50)/(-15)*45/h?
False
Let z(k) = 18*k**3 - 4*k**2 + 7*k - 7. Does 39 divide z(3)?
False
Let v = -105 - -149. Suppose -2*f - 2*f - 3*i = v, -3*i = 5*f + 58. Let q(u) = u**3 + 14*u**2 - 2*u + 7. Does 7 divide q(f)?
True
Suppose -8*b + 883 = -93. Does 27 divide b?
False
Let z(f) = f**3 - 7*f**2 + 3*f + 3. Let t be z(6). Let b(k) = -k + 4. Let l(u) = -1. Let p(q) = t*l(q) - 3*b(q). Is 11 a factor of p(10)?
True
Let v be (45*(0 - 3))/(3/(-9)). Suppose -v = -10*i + i. Is 8 a factor of i?
False
Let z(d) = -85*d**3 - 4*d**2 - 2*d - 3. Let a(m) = 254*m**3 + 13*m**2 + 8*m + 10. Let b(g) = -2*a(g) - 7*z(g). Does 35 divide b(1)?
False
Suppose -s - 119 = -5*d + 116, 4*d - 2*s - 182 = 0. Is d a multiple of 22?
False
Suppose y = 3*i - 4*y + 9, 4*y - 14 = -i. Is 5 a factor of i*(-3)/2 - -8?
True
Let d(i) = 98*i + 2. Suppose -5*u + 2*u - 10 = -t, 0 = 5*t - u - 8. Is 25 a factor of d(t)?
True
Let s(p) = 2*p**2 - 2*p - 1. Let w be s(2). Suppose 8 = -w*z + 2*h, 0 = 2*z - 0*z - 2*h + 8. Suppose -6*a + a + 60 = z. Is 4 a factor of a?
True
Let q(i) be the first derivative of 16*i**3/3 + 2*i**2 + 3*i + 5. Let o be q(-1). Let s = o + 17. Is 5 a factor of s?
False
Let h(l) = 96*l**3 + 5*l**2 - 2. Let m(j) = -144*j**3 - 8*j**2 + 3. Let s(x) = -8*h(x) - 5*m(x). Let i be (-2)/(-3)*9/(-6). Does 21 divide s(i)?
False
Let w(t) be the first derivative of t**3/3 - 3*