= -3*u - 5*j, -4*u - 4*j = -296. Does 9 divide u?
False
Suppose 2*j - 8 = 4*o, -2*j - 6*o = -3*o + 6. Suppose 5*y - 4*y - 11 = j. Does 3 divide y?
False
Suppose 3*f - 4*m = 6*f - 130, 0 = 5*f - 4*m - 174. Is f a multiple of 21?
False
Suppose -81*w = -84*w + 639. Is 2 a factor of w?
False
Let d(j) = -j**3 + 7*j**2 - 6*j + 2. Let c be d(6). Suppose -b - 3 = 5*s - 0, 5*s - c*b = 6. Let g(l) = -l**3 + 48. Is g(s) a multiple of 24?
True
Let c(j) = -j**3 - 10*j**2 + 4*j + 11. Let s be c(-10). Let x = 39 + s. Suppose -4 = -b, -2*i - 3*b = -42 - x. Does 18 divide i?
False
Suppose 0 = 2*b + 4*v - 11 - 1, b + 3 = -5*v. Is 5 a factor of b?
False
Let u = -264 + 164. Let s = u + 145. Is 5 a factor of s?
True
Let k(s) = 102*s + 15. Is k(10) a multiple of 23?
True
Let p = 265 + -23. Does 26 divide p?
False
Suppose -3*v - 296 = -2*h, 0 = 2*h - 3*h - 3*v + 157. Is h a multiple of 6?
False
Let l(x) = -4*x + 7. Suppose -2*j = 3*j - 5. Let v be j - 9 - (0 - 2). Does 20 divide l(v)?
False
Let u = 668 + -1146. Let p = -292 - u. Is 47 a factor of p?
False
Let u(o) = -o - 2. Let i be u(-5). Suppose 0 = 3*y + 5*b + 6, 2*y - i*b - 11 - 4 = 0. Suppose 5*p + 131 = y*j + j, 0 = 3*j + p - 103. Is 11 a factor of j?
False
Let p(i) = -2*i**2 + 47*i - 41. Does 12 divide p(22)?
False
Is (492/10)/((-44)/(-330)) a multiple of 9?
True
Let c be ((-4)/15)/2 - 2982/(-90). Suppose 1 - 9 = -2*d, p - 4*d - c = 0. Does 14 divide p?
False
Let b = 240 + -197. Is 2 a factor of b?
False
Suppose 19*y + 572 = 17*y. Is y/(-4)*(-11 + 13) a multiple of 13?
True
Suppose 12955 + 1061 = 24*y. Does 11 divide y?
False
Let i(o) = -2*o**2 + 21*o + 27. Let x be i(10). Suppose -3*d + 69 = 2*z, 2*z + d + x = 3*z. Is z a multiple of 31?
False
Suppose 3*y + 2*x = 18, 0*y + 2*x = -4*y + 22. Suppose -y*i + 9*i = 135. Does 4 divide i?
False
Let a = -1312 - -2237. Is 37 a factor of a?
True
Let k(n) = -8*n**3 + n**2 - 5*n - 15. Does 75 divide k(-3)?
True
Let x(k) = k**3 + 9*k**2 + k + 6. Let l be x(-6). Suppose -l = b - 3*b + 3*t, -3*t = -b + 57. Does 11 divide b?
False
Let p = -1 + -11. Let h(t) be the second derivative of -t**3/3 - 13*t**2/2 + 10*t - 1. Does 3 divide h(p)?
False
Let s(k) = 3*k + 2. Let r be s(-3). Let z = r - -16. Is 2 a factor of z?
False
Suppose -l - 2*f + 10 = 0, 0 = -4*l + f + 3*f + 40. Suppose -1223 = -5*a + 397. Is a/l + (-16)/40 a multiple of 16?
True
Let l be 3 + 4/2 - 1. Suppose l*w - 14 = 62. Suppose -w = -2*i + 39. Is i a multiple of 13?
False
Let u(g) = -g**3 - 12*g**2 - 12*g - 4. Let w be u(-11). Let m be -4 + 0 + w + 3. Let x = 10 - m. Is x a multiple of 2?
True
Suppose -7*r + 4*r + 18 = 0. Let b(f) = 3*f + 3. Is b(r) a multiple of 7?
True
Suppose -3*u - 9 = -0. Let z(c) = 15*c**2 + c + 6. Does 16 divide z(u)?
False
Let w be 2/12 - (-4 - (-85)/(-30)). Suppose 3*a - 122 = -4*h, w*a - 128 = 4*a + 2*h. Is 6 a factor of a?
True
Let m be (0 - -3) + -3 - -3. Suppose m*p = -p. Suppose p = -3*n + 12 + 45. Does 5 divide n?
False
Let o be 33/(-9) - (-1 - (-3)/9). Does 2 divide 6 + o + (-2 + 10 - 0)?
False
Let l = -13 - -77. Let a = l - -3. Is a a multiple of 8?
False
Suppose 4*q + 205 + 307 = 0. Let t = -72 - q. Is t a multiple of 28?
True
Suppose 0 = 5*k + 3*n - 23033, 68*k = 67*k + 5*n + 4629. Does 41 divide k?
False
Suppose -101*s = -126*s + 49300. Is s a multiple of 58?
True
Let b(p) = -2*p**3 - 3*p + 2. Is b(-5) a multiple of 7?
False
Let r(h) = -144*h + 56. Is r(-2) a multiple of 6?
False
Let x = -789 - -2353. Does 51 divide x?
False
Let q(a) = 72*a + 57. Does 18 divide q(4)?
False
Suppose 1248 = 145*y - 137*y. Is 60 a factor of y?
False
Let a(h) = -7*h + 1. Let x be a(-2). Let u(t) = t**2 + 3*t - 2. Let p be u(1). Suppose -135 = -p*j - x. Is 15 a factor of j?
True
Let t = -192 - -280. Does 18 divide t?
False
Let j(g) = g**2 + g - 11. Let b be j(-4). Is b + (-116)/(-4)*1 a multiple of 4?
False
Suppose -5*c + 13 + 17 = 0. Let t be (-71)/6 - c/36. Let w(j) = -3*j - 16. Is 20 a factor of w(t)?
True
Let s be (24/(-4))/3 + 2. Suppose 6*g + s*g - 144 = 0. Suppose 6 = -p - 0*p - 5*b, -p + g = -5*b. Does 2 divide p?
False
Suppose 8 = 6*u - 16. Suppose 4*j + 4*o - 284 = -0*j, 3*j = 4*o + 192. Suppose -u*t + j = -12. Does 4 divide t?
True
Suppose 3*x - 4*x = -2*k + 1647, x + 4122 = 5*k. Is 75 a factor of k?
True
Let b(z) be the first derivative of 43/4*z**4 + 0*z - 1/2*z**2 + 7 + 0*z**3. Is 8 a factor of b(1)?
False
Suppose 46 - 49 = 3*j. Is 45 a factor of (98/(-8) + 1)/(j/4)?
True
Suppose -3*t = m + 6, 8*m + t = 3*m + 26. Let l be 1/3 + (-20)/m. Is 6 a factor of (-4 - 0 - l)*-49?
False
Let n = -33 - -44. Suppose m + 5*f - 1 = 0, -2*f = -2*m + f - n. Let r(q) = -q**3 + 2*q + 2. Is 15 a factor of r(m)?
False
Is 25 a factor of 2/(-4)*12*(-948)/24?
False
Let o(k) = k**3 + 8*k**2 - 4. Let z be o(-8). Let j be 36/15 + z/10. Suppose -3*x - j*x + 130 = 0. Does 13 divide x?
True
Is (-3)/(18/48) - -326 a multiple of 3?
True
Let j = -408 + 606. Is 22 a factor of j?
True
Suppose 5*n = 6*n - u - 24, -3*n + 2*u = -77. Does 2 divide n?
False
Let d = 438 - 334. Is d even?
True
Let x = -18 + 34. Suppose -12*q + x = -10*q. Suppose 3*d - 49 = o, -q = d + 2*o - 36. Is d a multiple of 5?
False
Let m = -20 - -4. Let v be 2 - -3*m/12. Does 14 divide -4*(100/(-8) - v)?
True
Suppose l = -3 + 5. Is 20 a factor of (2 + -1 - l)/((-1)/206)?
False
Let i(s) = s - 5. Let z be i(5). Suppose 5*j + 4*q - 825 = z, -3*j + 343 = -q - 135. Does 29 divide j?
False
Is 17 a factor of (-9)/324*6 + 4159/6?
False
Let n(p) = p**3 - 12*p**2 + 11*p + 3. Let x be n(11). Let r be (5 + -2)/(x/11). Let j = r + 5. Is j a multiple of 4?
True
Let u be (-15)/(-4)*16/12. Suppose 112 = -u*w - 4*q, -4*w - 90 = -0*w + 3*q. Does 13 divide (-1 - -9)*(-78)/w?
True
Suppose x - 6*x + 3334 = 3*u, 5586 = 5*u + x. Is 26 a factor of u?
True
Let c be (-2)/(-8) - 2*(-604)/32. Suppose c = 5*a - 57. Does 13 divide a?
False
Suppose 0 = 52*d - 23068 - 25552. Is 17 a factor of d?
True
Let h(w) = -6*w**3 + 6*w**2 + 7*w - 8. Let z(g) be the second derivative of g**5/20 - 4*g. Let n(k) = h(k) + 5*z(k). Does 18 divide n(6)?
False
Is (-144)/(-20)*(-630)/(-9) a multiple of 5?
False
Let x(l) = l**3 + 10*l**2 - 14*l + 7. Suppose 4*z - p = -48, z + 5*p - 42 = 3*z. Let g be x(z). Let s = g + 4. Is 11 a factor of s?
True
Suppose -2*b = -5*a + 166, 4*a - 2*b - 94 = 38. Is a even?
True
Suppose -26*q = -43*q + 1530. Does 4 divide q?
False
Let y(o) = -49*o - 122. Is 22 a factor of y(-18)?
False
Let j(y) = y**3 - y**2 + 2. Let t be j(2). Suppose 0 + t = 3*f + r, -f - 5*r = 12. Suppose -f*c + 2*c = -10. Does 8 divide c?
False
Let a(r) = 9*r**2 - 4*r + 2. Suppose 6 = -4*o + 14. Is a(o) a multiple of 6?
True
Suppose 3*i + 375 = 4317. Suppose -11*q = -i - 204. Is q a multiple of 38?
False
Is 20/(-6)*(-25593)/95 a multiple of 9?
False
Let m(j) = j**3 + 7*j**2 - j - 9. Let a be m(-7). Let z(l) = 13*l + 8. Let u(y) = 25*y + 15. Let q(c) = -3*u(c) + 5*z(c). Is 5 a factor of q(a)?
True
Let a(t) = -4*t - 17. Let j be a(15). Let h = j + 155. Is 39 a factor of h?
True
Let f be (-1 + 1)*(-7)/21. Suppose -2*n + 10 = 0, u + 5 = -f*u + 5*n. Let a = u - -20. Does 11 divide a?
False
Let x(u) = -12*u - 5. Let s(l) = l**2 + 9*l - 2. Suppose -3*h + 0*b = 2*b + 23, 0 = -3*b + 6. Let k be s(h). Does 8 divide x(k)?
False
Does 28 divide 1/2 - (0 + 6265/(-14))?
True
Suppose m - 3592 = -3*t - 317, m - 2183 = -2*t. Is t a multiple of 17?
False
Let h = -17 + 21. Let n(q) = q**3 + 6*q**2 - 9*q - 10. Let v be n(-7). Suppose -h*i + 50 = -5*y, 2 = i + 2*y - v. Is i a multiple of 5?
True
Let h = 25 - 19. Does 6 divide 2*3/h + (-225)/(-5)?
False
Does 5 divide (-10 + 8)*5*-2?
True
Suppose 3*o + 2*n = 1522, 0*n = 2*n + 2. Is 4 a factor of o?
True
Let u(t) = t**3 + 7*t**2 - 3*t - 6. Let j = -35 - -28. Is 6 a factor of u(j)?
False
Let c(o) = -o**2 - 7*o - 10. Let j be c(-4). Let y(p) = 3*p - 1. Let f be y(j). Suppose v + f*d - 47 = 4, -2*v + 92 = 5*d. Is 24 a factor of v?
False
Let g(r) = -r**2 + 20*r + 34. Does 10 divide g(20)?
False
Let d(h) = -h**2 - 7*h - 8. Let i be d(-3). Suppose 5*y - 32 = -o, i*o + 2*y - 60 + 4 = 0. Is 7 a factor of o?
False
Let u = 240 + 6. Is 2 a factor of u?
True
Let k be (-72)/28*56/(-4). Is (-758)/(-9) - (116/k - 3) a multiple of 28?
True
Let z(v) = 24*v**3 - v**2 + v + 2. Let m be z(-1)