alse
Suppose -3*h = 5*c - 2056, -1636 = 2*c - 6*c + 2*h. Let y = 622 - c. Does 54 divide y?
False
Let a be 19370 + (-1 - 2/2). Suppose a = 11*l + 13*l. Is 23 a factor of l?
False
Let b be (-1 - -2)/(-3 + (-1354)/(-452)). Let o = b + 624. Is o a multiple of 11?
False
Let s(h) = 2*h**2 + 10*h - 67. Let a(g) = -2*g**2 - 11*g + 63. Let q(k) = -6*a(k) - 5*s(k). Is q(-17) a multiple of 6?
False
Let q = -192 - -194. Suppose 0 = 4*v + q*h - 828, -3*h = 2*v + v - 627. Does 21 divide v?
False
Suppose 2*q - 12 + 40 = 0. Let j be (6/(-27)*3)/(q/(-21)). Is 3 a factor of (j - -16 - 3) + 3 + -4?
False
Let p be 6/(-4) - (681/(-6) + 3). Suppose j = 371 + p. Is ((-9)/(-4)*-1)/((-10)/j) a multiple of 12?
True
Let m be 2/((6/30)/(4/10)). Suppose -5*y + m*h + 296 = -0*h, 2*y + 2*h - 104 = 0. Does 2 divide y?
True
Suppose 0*w - 3*w = -15. Let y be 280/(-21)*(-36)/w. Suppose 6*t = 3*t + y. Does 32 divide t?
True
Suppose 0 = 11*u - 33*u + 2442. Suppose v - u = 3*a, -v - 4*a + 412 = 3*v. Is 15 a factor of v?
True
Let g(q) = 2*q**2 - 21*q - 3. Let l be g(11). Suppose -4*v = l*v - 2652. Does 14 divide v?
False
Let k(v) = -2*v**2 - 26*v - 22. Let r be k(-12). Let w = 72 + -70. Suppose 174 = w*s - 3*t, 105 = r*s - s + 3*t. Is 11 a factor of s?
False
Suppose -2*x - 29 = 4*k - 9, 5*x + 6 = k. Let y be -3 + 3 - -1 - k. Suppose -y*m + 300 = 10. Does 14 divide m?
False
Let g be (6 - (1 + 5 + -3)) + 0. Suppose w = -g*w + 564. Suppose w = 6*h - h + 2*a, -5*h - 4*a = -147. Does 9 divide h?
True
Let z be (-8)/(-12) + (32/(-12) - -1). Is z/5 - (-7 + 15255/(-25)) a multiple of 15?
False
Suppose 110*l - 107*l - 4*f - 46084 = 0, 3*l + 5*f - 46102 = 0. Is 23 a factor of l?
True
Suppose 2*m - 40402 = k - 2741, 0 = -5*m - 2*k + 94148. Is m a multiple of 8?
False
Suppose -297*l = -291*l - 4482. Let r = -123 + l. Is r a multiple of 16?
True
Let p(s) = 6*s - 59. Let d be p(11). Is 4 a factor of (17/d - (-20)/35) + 1?
True
Let d(q) = 9*q - 26. Let j(v) = -1. Let n(t) = d(t) - 4*j(t). Let p be n(3). Suppose 2*w + 348 = p*l + w, 4*l = -3*w + 286. Is l a multiple of 12?
False
Let x(w) = -9*w + 55. Let v be x(-17). Let b = 1196 - v. Suppose -4*l = -8*l + b. Is 13 a factor of l?
True
Let d(r) = -r**3 - 54*r**2 + 147*r + 747. Is d(-57) a multiple of 15?
True
Let w(b) = -2*b**3 - 11*b**2 - 7*b - 11. Let a = 46 + -51. Let c be w(a). Is (3 - (-1)/c) + (118 - 0) a multiple of 12?
True
Let w(h) = 6*h**2 - 64*h - 4. Is w(-11) a multiple of 6?
False
Let v(j) = 7*j**3 - 7*j**2 - j + 6. Suppose -28*o - 24 = -25*o. Let n(f) = -10*f**3 + 11*f**2 + 2*f - 9. Let y(p) = o*v(p) - 5*n(p). Is 15 a factor of y(-3)?
False
Suppose -l + 3*u - 75 = 0, -3*l - 4*u - 162 = 102. Let f = l + 212. Suppose -14*r + 660 = f. Is r a multiple of 15?
False
Suppose -3*m + 9*t = 5*t - 56, 4*m - 3*t = 63. Suppose 0 = 2*i - m - 276. Is i a multiple of 9?
True
Let q(y) = -467*y**3 + y**2 - 4*y + 4. Let u be q(1). Let s = u - -809. Is 17 a factor of s?
False
Suppose 2*u = -z - u + 25, 0 = 2*z - 2*u - 34. Suppose -2*v + 99 = z. Is v a multiple of 8?
True
Does 15 divide (-217365)/(-65) + (-264)/(-286)?
True
Suppose 362 = -6*f - 1324. Let g = 177 + f. Let o = -57 - g. Does 5 divide o?
False
Is 4 a factor of (-20)/(-12)*(-6990)/75*-3?
False
Let u be 4 + -2 + (4/1 - -46). Let g = 54 - u. Suppose -g*l + 411 = l. Is 28 a factor of l?
False
Suppose 0 = -36*k + 56*k + 120. Is ((6 + 0)/k)/((-1)/216) a multiple of 8?
True
Let c(v) = -15*v**2 - 40*v - 26 - 15 + 16*v**3 + 13*v - 15*v**3. Is 15 a factor of c(17)?
False
Suppose -66*i + 1228799 = 141*i - 38*i. Is 54 a factor of i?
False
Let m = 4375 + 3344. Is m a multiple of 46?
False
Let l(f) = -17*f - 22. Let d be l(-2). Does 10 divide ((-720)/(d/2))/(-1)?
True
Let n(u) = 13*u + 138. Let r be n(-10). Does 26 divide (-2 - -3) + (-6608)/(-8) + r?
False
Let y(i) be the first derivative of -i**4/4 + 8*i**3 + 31*i**2 + 3*i + 42. Is y(26) a multiple of 46?
False
Suppose 140*q - 778383 = 29476 + 4141. Is 50 a factor of q?
True
Is (-539)/22*(-50312)/133 a multiple of 33?
False
Let t = 55 - 46. Let c = t + 2. Suppose -2*s + c = i, -3*i + 29 = 6*s - 2*s. Is 4 a factor of i?
False
Let g(t) = 17*t**2 - 4*t - 499. Is 14 a factor of g(-20)?
False
Suppose u = 10*l - 12*l + 25882, 4*u + 12959 = l. Is l a multiple of 200?
False
Let n(c) = -c - 10. Let m be n(21). Let f = m + 33. Suppose -52 - 74 = -f*k. Does 7 divide k?
True
Suppose -638*v + 724*v - 221880 = 0. Is 12 a factor of v?
True
Suppose -3*c = -4*u - 8*c + 3, 3*u = 3*c - 18. Let y = -75 + u. Let r = -36 - y. Is 3 a factor of r?
True
Suppose -2*h + 4*v + 10238 = 0, 0 = -28*h + 25*h + 3*v + 15381. Is 6 a factor of h?
False
Let j(z) = -10*z - 31. Let u(p) be the second derivative of 5*p**3/3 + 11*p**2 - 15*p. Let f be u(-4). Does 34 divide j(f)?
False
Let d be -2 - ((-335)/5 - 2*-2). Suppose 5*h - 5*l - 289 = h, 0 = -h - l + d. Suppose 0 = h*k - 69*k + 39. Does 3 divide k?
False
Let t(g) = g**3 - 60*g**2 + 16*g - 303. Is 13 a factor of t(63)?
False
Let s be 42*4*(18/(-20) + 4/10). Suppose -4*v = -548 + 52. Let h = s + v. Is h a multiple of 10?
True
Suppose -3*u - 13 = 5*y, 11*u - 10*u = -y - 1. Suppose z + i - 15 = 124, u*z + 5*i - 555 = 0. Does 23 divide z?
False
Let s(p) = -2*p + 20. Let f be s(2). Is (2179 - 1)*f/24 a multiple of 21?
False
Suppose 5*y + 5*c = 6*y - 18, 12 = 2*y - 2*c. Suppose -908 - 73 = -5*p - y*v, -p + 207 = -3*v. Is p a multiple of 9?
True
Suppose 733*a = 735*a - 4*u - 49332, -4*a + 98706 = -u. Is a a multiple of 54?
True
Suppose 15*k - 152 = 13*k. Suppose -n = -3*o - k, 4*o + 77 = n - 4. Does 7 divide n?
False
Suppose 0 = 3*d - d - 3*l - 16, 0 = -3*d - 5*l + 24. Suppose 0*y + 4*y - d = 0. Is (0 - -2)*38/y a multiple of 14?
False
Let g(u) = 450*u**2 + 109*u + 418. Is g(-4) a multiple of 21?
True
Let m = 7 + -4. Let w be 2115/5 + 2 + 4*-1. Suppose -3*p + w = 5*d + 62, 0 = -d + m*p + 61. Is d a multiple of 14?
True
Let f(m) = -15*m**2 - 18*m - 14. Let v(i) = 30*i**2 + 36*i + 26. Let y(o) = 11*f(o) + 6*v(o). Is 26 a factor of y(6)?
True
Let t be (-60)/(-12) + (-28)/(-2). Suppose 0 = -0*g + g + 5, -t = s + 4*g. Is 6 a factor of (9/(-36) + s)/(1/48)?
True
Let u be (-1 + (-10)/(-6))/((-2)/(-21)). Suppose 4*n = -y + 173, u*y = -5*n + 5*y + 220. Is n a multiple of 9?
False
Let i = 524 + -265. Suppose -5*z = -i - 131. Does 7 divide 104/z*138/2?
False
Let x be (53 + -1)/(-14*11/(-231)). Suppose n - 46 = x. Does 16 divide n?
False
Let j = -49 - -55. Suppose -j - 6 = -2*q. Let v(w) = 6*w + 8. Is 11 a factor of v(q)?
True
Suppose -5*q - 88*s = -86*s - 23, -5*q + 5*s = 5. Let y be 1 - 2 - (-2 - 2). Suppose -q*d = f - 32, 0 = -y*d - f + 3*f + 17. Is d a multiple of 9?
True
Suppose 0 = 2*x - 6*c + 3*c - 5, -10 = -2*x - 2*c. Suppose x = -4*d, -4*g - 4*d = -g - 38. Suppose -360 = 9*w - g*w. Is 12 a factor of w?
True
Let b(u) = -5 + 11 - 8 - 5*u + 0. Is 17 a factor of b(-31)?
True
Let o be (-4)/6 - (-8)/3. Let f = -3933 + 3831. Is f/(-4)*4 + (4 - o) a multiple of 13?
True
Let v = 7292 + -4190. Is 40 a factor of v?
False
Suppose -5*a - 5*h = 0, -5*a = h + 2*h - 4. Let i(n) = -23*n**3 - 3 - 5*n - 39*n**2 + 4*n + 42*n**a. Is 28 a factor of i(-2)?
False
Let s(l) = 140*l + 165. Does 28 divide s(4)?
False
Let x be -2*(-1)/(-4)*(4 - -28). Let p = 16 + x. Suppose 12*f - 7*f - 920 = p. Is f a multiple of 33?
False
Let z = 80 - 76. Let x = 27 + -29. Is 145 - (z/(-2) - x) a multiple of 12?
False
Let t be (3/4)/(5/(-3620)). Let k = t - -1076. Is 41 a factor of k?
True
Let y = 182 + -90. Suppose 29*i + 490 = 43*i. Let v = y - i. Is 19 a factor of v?
True
Suppose 12*a = 14*a - 50. Suppose -i = u + i + 7, a = 5*u - 2*i. Suppose 162 + 81 = u*o. Is 9 a factor of o?
True
Let h be (519740/16)/13 - 1/(-4). Suppose 15*j + 2*j = h. Is j a multiple of 21?
True
Let z be (360/(-44) - 12/(-66))*-345. Suppose z = 20*d - 14*d. Is d a multiple of 61?
False
Let a be (65/(-2) - -32)*(0 + -64). Suppose 6*q = 5*q + 6. Suppose 64 = 5*m + 4*i, q*i = m + 2*i - a. Does 3 divide m?
False
Suppose 2*p = -2, 0 = -4*u + 3*p + 2255 - 560. Suppose -705 = -3*d - 2*d - y, 5*y = 3*d - u. Is d a multiple of 8?
False
Suppose 10 = 9*w - 8. Is 20 a factor of (-271)/((-3)/6*w)?
False
Suppose 180*x - 12474 = 169*x. Is x a multiple of 14?
True
Let c = 292 - 229. Is (11 - c)*(-142)/8 a multiple of 13?
True