rue
Let l = -4 + 6. Let k = -13 + 33. Suppose l*g - 3*w - 49 = 0, -2*w - k - 86 = -5*g. Is g a multiple of 20?
True
Let q = -147 + 191. Does 3 divide q?
False
Let b be 7*-2 - (2 + -4). Let r = 19 - b. Does 6 divide r?
False
Let c(r) = 3*r - 2. Let h be c(2). Let j be 6 + 12/h + -7. Is 15 a factor of 30/4*j/1?
True
Suppose 10*y = -385 - 205. Let h be 2 + -1 - -22*4. Let b = y + h. Is 15 a factor of b?
True
Does 16 divide ((-64)/(-6))/((-6 - -1)/(-120))?
True
Let b(f) = 2*f**2 + 41*f - 99. Is 13 a factor of b(-34)?
True
Suppose 14*n - 2500 = 9*n. Is 42 a factor of n?
False
Suppose 2*w - 34 = 5*a, 4*a + a + 70 = 5*w. Suppose -4*k = -w, -2*z = 4*k - 0*k - 6. Let l = 15 + z. Does 6 divide l?
True
Let z = 91 + -24. Let o = -52 + z. Does 3 divide o?
True
Suppose -3*t = 5*d - 4229, -4*t + t + 9 = 0. Let c = -589 + d. Is c a multiple of 17?
True
Suppose -2*z + 816 = 4*q, 4*q + z - 612 = q. Is 12 a factor of q?
True
Let d be (-4)/30 - -4*2/60. Suppose -3*i - 5*x + 76 = d, -3*x = 3*i - 123 + 51. Is i a multiple of 22?
True
Let j(l) = 73*l - 57. Is 5 a factor of j(4)?
True
Suppose 10 = -0*w + 2*w. Suppose 0 = w*q - 15 - 0. Suppose -168 = -4*j - 4*s, -2*s = -q*s - 5. Is 10 a factor of j?
False
Let f(o) = o**3 + 9*o**2 - o - 2. Let q be f(-9). Let l(u) = 11*u + 28. Does 15 divide l(q)?
True
Let m = 9 - 5. Let g = 6 - m. Suppose 4*l - 93 - 107 = -g*h, -150 = -3*l - 2*h. Is 14 a factor of l?
False
Let n(f) = 9*f - 10. Let b be n(4). Suppose 28*i - 40 = b*i. Is 5 a factor of i?
True
Let p(b) = -b**3 + 10*b**2 + 2*b - 7. Suppose -4 = 3*s - 28. Is p(s) a multiple of 16?
False
Let y = 20 - -12. Suppose y = 7*c - 122. Does 22 divide c?
True
Let i be (-4)/6*27/(-3). Suppose -l = -i*l + 105. Suppose 0 = -d + 2*x + 36, -5*x + 15 + l = 2*d. Is 14 a factor of d?
True
Let n(j) = 18*j + 2. Let h be n(2). Let d = 71 - h. Is 10 a factor of d?
False
Let i = -10 + 15. Suppose 3*k + 42 = 5*m - 149, -i*m + 189 = -2*k. Does 19 divide m?
False
Suppose 0 = 25*w - 54*w + 348. Let b(p) = -p. Let h be b(-5). Suppose 13 = h*s - w. Is 4 a factor of s?
False
Let g = 686 - 279. Does 37 divide g?
True
Let w(o) = -o**3 - 7*o**2 + 3*o + 10. Let p be w(-5). Let q = -53 - p. Is q even?
True
Let n = 796 - 640. Is 39 a factor of n?
True
Let u(q) be the third derivative of 25*q**4/24 + q**3/3 - 6*q**2. Let h be u(-2). Let a = h + 90. Does 14 divide a?
True
Let k(f) = -f**2 - f - 3. Let u be k(-3). Let i = 20 + u. Is 11 a factor of i?
True
Suppose 0 = 4*w - 5*s + 3 - 5, 3*w - 19 = -5*s. Suppose -w*n = -96 - 135. Does 19 divide n/2 - 4/8?
True
Suppose -3*w - 225 + 1098 = 0. Let d = w + -175. Does 24 divide d?
False
Let b(f) = -20. Let j(g) = g - 1. Let i(a) = b(a) - 10*j(a). Does 10 divide i(-5)?
True
Suppose -254 = -o + 2*l, 0 = o + 3*l - 2*l - 254. Suppose -5*w - 69 + o = 0. Suppose 0 = -2*a + 71 + w. Is a a multiple of 27?
True
Is 51 a factor of (-2 + 15/12)*-364?
False
Let c = -59 + 23. Is 203/5 + c/60 a multiple of 7?
False
Let w(o) = o**3 - o**2 - o + 78. Suppose 2*p = -6, -4*a - a + 2*p + 6 = 0. Is w(a) a multiple of 28?
False
Let l(z) = z**2 - 3*z - 1. Let f be l(2). Let a(i) = 15*i**2 + i + 4. Let j be a(f). Let r = -94 + j. Does 21 divide r?
True
Is 364768/304 + 4/38 a multiple of 25?
True
Suppose 0 = -2*z + 3*z + 4*l - 42, 0 = -5*z + 2*l + 254. Is (-11)/(165/z)*18/(-4) a multiple of 6?
False
Does 26 divide (6 - 2) + 539 + 3?
True
Suppose 10 = 5*x - 40. Let y = x - -14. Let k = y + -2. Is 12 a factor of k?
False
Let v be (5/20)/(3/24). Let b(f) = -f**v + 12*f + 2*f**2 - 12*f - 3. Is b(3) a multiple of 3?
True
Let t(v) be the first derivative of -3*v**2 - 49*v - 11. Is t(-12) a multiple of 7?
False
Let k be -4*((-24682)/168 + 4/6). Suppose 0 = 20*q - 155 - k. Is q a multiple of 2?
False
Let a be 2/(-5) + (-154)/(-10). Suppose -g - 2*v = v - a, 2*v = 4*g - 32. Suppose -6*l - g = -j - l, -3*j = -3*l - 63. Is 6 a factor of j?
True
Let p(z) = -7*z**2 - 5 - 5 + 22 - z - 9. Let h be p(3). Let l = 119 + h. Does 14 divide l?
True
Let t be -104*(-5)/(-15)*3. Let r = 153 + t. Is r a multiple of 9?
False
Suppose p + 2*i - i - 15 = 0, 5*p - 55 = -i. Let d = 102 - p. Is d a multiple of 27?
False
Let r = -60 + 20. Let d be (-2)/(-5) + 16/r. Suppose d = 4*l - q - 243, -3*q + 9 + 162 = 3*l. Does 20 divide l?
True
Suppose -4*b - 23 = -5*b - 5*t, 2*t = 3*b - 1. Suppose i = -b*q - 2 + 10, -5*i = -2*q - 6. Let u = 6 + q. Is 4 a factor of u?
True
Suppose 0 = -0*t - t + 4. Suppose 109 = 5*k - k - s, 110 = t*k - 2*s. Suppose -3*a + 9 = -k. Is a a multiple of 7?
False
Suppose 3*c - 4*t - 6 = -2*c, 0 = t - 1. Suppose 4*f - 6*q = -c*q - 24, -f + 2*q = 6. Does 14 divide (-544)/(-24) + 4/f?
False
Let h be 20*(-3 + 5/2). Let l be (-37)/(-3) - h/(-30). Suppose 0 = -s - l + 38. Does 5 divide s?
False
Suppose -3*q = 2*o + 3, 2*o = -2*o - 3*q - 3. Let t be o + (1 - -3) + -460. Is 5 a factor of t/(-21) - (-8)/28?
False
Suppose z + 4*i + 34 = 0, -z - 3*z - 91 = i. Let n = z - -25. Suppose -4*u + 63 = n*u. Does 9 divide u?
True
Let h be (15/3 - 2) + 1. Suppose 0 = -m - h*b + 88, 0 = 2*m - 0*b - 3*b - 187. Let f = m + -32. Does 11 divide f?
False
Suppose -6*c = 13*c - 1102. Is 2 a factor of c?
True
Suppose 5*o = 2*k - 28, o - 3*k - 8 = 6*o. Let s = 13 + o. Is s a multiple of 2?
False
Let m = 0 - -2. Suppose -m*v + 3*z = 4*z - 114, -285 = -5*v - 4*z. Is v a multiple of 25?
False
Let j = 116 - -64. Does 12 divide j?
True
Let o = 19 - 14. Let p(w) = -3*w + 9. Let a be p(o). Is 17 a factor of (34/(-6))/(1/a)?
True
Suppose -2*r - 108 = -96. Is 9 a factor of r + 2 + 1 + 160?
False
Let a(y) = -2*y + 86. Let z(w) = w - 43. Let i(g) = 6*a(g) + 11*z(g). Is 5 a factor of i(-9)?
False
Let t be (-21)/14*4/6 - -43. Does 2 divide ((-144)/(-28))/(9/t)?
True
Suppose a - 131 = -3*t - t, 2*t - 393 = -3*a. Is 27 a factor of a + (10/2 - 1)?
True
Suppose 2186 = -5*b + k, 3*k + 0*k + 1764 = -4*b. Does 6 divide b/(-14) + 12/(-42)?
False
Suppose 0 = -17*r + 553 + 1487. Does 20 divide r?
True
Suppose -12 = 2*y + s, 0*s - 5*s = -4*y - 38. Let x be -4 - y/((-21)/(-36)). Let z(b) = b**2 + 7*b + 2. Does 26 divide z(x)?
False
Let i = 34 - 29. Suppose -j - 2*d + 102 = 0, i*j = d + d + 510. Is 19 a factor of j?
False
Let v = 130 - 113. Let a(b) = -3*b + 6. Let c be a(-6). Let d = c - v. Is d even?
False
Suppose -27260 = -43*x + 31908. Is x a multiple of 16?
True
Is ((-2)/5)/1 - (-135470)/50 a multiple of 14?
False
Suppose -y - 37 = -4*n + 38, n + 2*y = 12. Suppose -j - 2 = -z - 4, 4*z = 3*j - 5. Suppose j*v - 4*a = 5*v - 12, 2*a = -2*v + n. Is v a multiple of 4?
True
Suppose -1 + 70 = 3*r. Let g = 40 - r. Let c = g + 38. Does 7 divide c?
False
Let y(q) = -q + 3. Let b be y(-1). Suppose -120 = -b*p + 92. Does 17 divide p?
False
Let s(a) = 465*a**3 - 10*a**2 + 9*a - 1. Does 33 divide s(1)?
False
Let t be (1 + 0)/(4/8). Suppose -10 = -t*a + o + 23, 0 = -a - o + 21. Is 6 a factor of a?
True
Suppose 0 = 2*z - 2*m - 78, 0 = -2*m - 0*m - 2. Is 19 a factor of z?
True
Let i = -272 + 422. Is i a multiple of 25?
True
Let w(r) be the first derivative of -r**3/3 + r**2/2 + r + 2. Let c(u) = -4*u**2 - 13*u + 26. Let d(n) = -c(n) + 5*w(n). Is 6 a factor of d(14)?
False
Let m(u) be the first derivative of -32*u**3/3 - 10*u + 8. Let r(q) be the first derivative of m(q). Is r(-1) a multiple of 17?
False
Let k be (55/10 + -5)*-16. Let l = 23 - k. Does 4 divide l?
False
Suppose -4*m = m - 10. Suppose 4*a = 3*o - 140, 5*o - 228 = 2*a + m*a. Does 11 divide o?
True
Let z(v) = v**2 - 9*v + 12. Let k = 4 - -1. Let y be z(k). Is (-1)/(20/y)*205 a multiple of 19?
False
Let m(v) be the first derivative of -v**3/3 + 13*v**2/2 + 13*v - 37. Does 7 divide m(6)?
False
Suppose 2*g - 3*s - 100 = 0, -s + 3*s - 124 = -3*g. Let h(p) = -p**2 - 9*p. Let j be h(-4). Let v = g - j. Is 12 a factor of v?
True
Let p = -139 - -148. Let n(w) = 3*w**2 + 6*w + 18. Is n(p) a multiple of 27?
False
Let s = -30 + 54. Suppose s = 3*v - 156. Let y = v - 12. Is y a multiple of 16?
True
Let n be 6/15*30/4. Is 17 a factor of n/(-18) + (-1562)/(-12)?
False
Let u(l) = l**3 + 10*l**2 + 13*l - 15. Let p be u(-8). Let v(b) = 5 - b**3 - 4*b - 5*b + 11*b**2 + 7. Is 24 a factor of v(p)?
False
Let q = -19 + 19. Suppose r = q, -5*s + 4*s - 2*r + 60 = 0. Is s a multiple of 20?
True
Suppose 5*b + 1181 = -4*k + 2*b, -2*k