alse
Suppose 13*h - 106 = 15*h. Let b = -56 - h. Is 19 a factor of (b/2)/(4 + (-1525)/380)?
True
Let k(a) = a**3 + 31*a**2 + 54*a - 15. Let q = 268 + -297. Is 9 a factor of k(q)?
False
Let y(a) be the first derivative of 269*a**3/3 - a**2 - 142. Is y(-2) a multiple of 54?
True
Let a(j) = -3629*j + 73. Let q be a(-3). Does 21 divide (-4)/(-36) - q/(-18)?
True
Suppose -1 - 7 = -2*r + 4*a, -5*r - 8 = 4*a. Suppose -f + 3 = -r*f - h, 2*f - 2 = 4*h. Suppose 2*u - 30 = -g, -6*g + 3*g + 93 = f*u. Is g a multiple of 6?
True
Let c(k) = 2*k - 5. Let b be c(-1). Does 27 divide -3*b/42 + (-898)/(-4)?
False
Let g = 408 + -317. Let b be ((-27)/6 - -3)*52. Let o = b + g. Is o even?
False
Let u(q) = 5*q**2 - 196*q + 78. Is 5 a factor of u(50)?
False
Suppose -693*j + 1381*j = 709*j - 68817. Is j a multiple of 15?
False
Let u(g) = -g**3 + 17*g**2 + 5*g - 26. Let q be u(16). Let r = q + -211. Does 10 divide r?
False
Does 129 divide (-12 + 10 + -273 + 6)*-47?
False
Does 72 divide -48*((-1377)/90 - 6/(-20))?
True
Let h be (54/(-135))/(1/20). Is (14/5)/(h/(-20)) a multiple of 6?
False
Is 14 a factor of 1098/(-732) + (-2122)/(-4)?
False
Suppose -9*k + 6*k - 67176 = -5*h, k + 53745 = 4*h. Is 117 a factor of h?
False
Suppose -4*m + 14 = 3*m. Suppose -4*k + 5*s + 91 = -3*k, -m*s = -k + 82. Is 8 a factor of k?
False
Let y(l) = l**2 + 9*l + 8. Let o be y(-8). Suppose -5*m + 20 = s + 5, 4*s + 4*m - 12 = o. Suppose s*b - b = -8. Is b even?
True
Let n be -714*1*((-15)/6 - -2). Suppose -5*k + 230 + 675 = -5*x, -2*k = -x - n. Is 8 a factor of k?
True
Let h(g) = g**3 - 14*g**2 - g + 17. Let q = 43 + -29. Let l be h(q). Suppose 0 = -v - v - 4*b + 78, -l*b = -5*v + 130. Is 10 a factor of v?
False
Let d(o) = o**3 - 2*o**2 + 2*o - 2. Suppose 0 = 5*r - 2*r - 36. Suppose -26 = -5*i - 3*p, -3*i + r = -2*i + 4*p. Is d(i) a multiple of 21?
False
Is 72 a factor of 413600/70 - 5 - (-3)/7?
True
Suppose 3*z = -z + 8, -2*r + 30336 = -5*z. Is r a multiple of 12?
False
Suppose 245*u - 75 = 240*u. Suppose u*p - 7477 = 3548. Is p a multiple of 8?
False
Let r = -914 - -1931. Let x be -1 - (4 - 5)*3. Suppose -x*u + 8*f + 481 = 3*f, -4*u - f = -r. Is 40 a factor of u?
False
Does 43 divide (-601559)/38*28/(-49)?
False
Let i(o) = 4*o + 2. Let x be i(-5). Let l = 21 + x. Suppose 4*b = -4*c + c + 102, -2*c - l*b + 69 = 0. Does 6 divide c?
True
Let a(b) = 53*b - 216. Let d be a(4). Does 28 divide (806/d)/(10/(-20))?
False
Let g(j) be the first derivative of 5/3*j**3 - 12*j**2 + 3*j - 24. Does 8 divide g(7)?
True
Let s = 2 + 4. Suppose 0 = -s*j + 6 + 36. Does 3 divide j?
False
Let x(m) = -6003 - 3*m + 6006 + 96*m**2 + 2*m. Is 6 a factor of x(2)?
False
Let o be ((-12)/(-8))/((-2)/32). Let m(l) = -l**2 - 25*l + 15. Does 4 divide m(o)?
False
Suppose a + 4*i - 41 = 6, 2*i = 3*a - 85. Suppose 192 = 34*j - a*j. Suppose 2*r = -50 + j. Is r a multiple of 2?
False
Let k(a) = 197*a**2 + 94*a + 217. Is 9 a factor of k(-14)?
False
Let z(x) = x**2 - 17*x - 60. Let u be z(20). Suppose -2*h + 417 = i - 571, u = -4*i + 4*h + 3976. Does 32 divide i?
True
Let y = 60154 - 34920. Is y a multiple of 11?
True
Let y(w) = 13*w + 10. Let t(f) = 105*f + 81. Let k(c) = 4*t(c) - 33*y(c). Suppose -5*a - m - 26 = -3*m, -24 = 5*a - 3*m. Is 13 a factor of k(a)?
False
Suppose -r = -44 - 93. Suppose -c - 5*a = -20, -a - r - 93 = -5*c. Is 15 a factor of c?
True
Suppose 5*h + 5*f = 5, 4*h + f - 6 = -f. Suppose 2*j + 5*a + 5 = 0, 11 = 5*j + h*a - 8. Let w = j + 15. Is w a multiple of 2?
True
Let m = 2308 - 2287. Let w(k) be the second derivative of k**5/20 - 11*k**4/6 + 4*k**3 - 27*k**2/2 - k. Does 25 divide w(m)?
False
Suppose 0 = -w - 16*d + 11*d + 14141, -4*d - 42423 = -3*w. Does 79 divide w?
True
Is 363016/24 - ((-5)/(-6) - (-1)/(-6)) a multiple of 152?
False
Suppose -46*q - 5*a - 58470 = -51*q, -5*q + 58468 = -3*a. Does 8 divide q?
False
Suppose -2*c - 103 - 217 = 0. Is 8 a factor of 195/(-26)*c/12?
False
Suppose 3*b - 6334 = -g, 3*b + g - 6346 = 6*g. Does 6 divide b?
True
Let r(j) = j**2 - 30*j + 117. Let k be r(26). Suppose 4*i - 110 = -3*f, -i + k = -f - 18. Does 2 divide i?
False
Let h(s) = -s**3 + 15*s**2 - 17*s + 48. Let n be h(14). Let d(q) = 89*q - 126. Is d(n) a multiple of 12?
True
Suppose -188 - 18 = -w. Let f = w - 134. Suppose -f = 4*a - 192. Does 6 divide a?
True
Let v be (2/8)/((-10)/380)*-28. Let h = v + -69. Is 5 a factor of h?
False
Let o be (64/(-5))/(-2) + (-4)/10. Suppose n - 2*t = 489, -5*t - 2430 = -11*n + o*n. Does 33 divide n?
False
Suppose 16*u + 20 = 20*u. Suppose 5*v = t + 80, -5*t = u*v - 0*t - 50. Is 4 a factor of v?
False
Let n(c) = -c**3 - 16*c**2 - 13*c + 36. Let q be n(-15). Suppose -q*m + 902 = -682. Is m a multiple of 11?
True
Suppose -186*q + 308312 = -50*q. Is 95 a factor of q?
False
Let c(m) = 59*m**2 - 229*m - 3. Is 43 a factor of c(-13)?
False
Let p = 5228 + -3702. Is 23 a factor of p?
False
Let g(a) = -2*a**2 - 36*a - 10. Let n be g(-17). Let d = 34 - n. Suppose -11*j + 126 = -d*j. Is 14 a factor of j?
True
Suppose -x + 0*x = -3*x. Suppose -2*g + 8 = x, -2*o + 2*g + 38 = g. Suppose -3*t - 4*f = -89, -4*t - 4*f + 145 = o. Is t a multiple of 29?
False
Let v be (-2431)/(-3) - (-77)/(-231). Suppose 16*w = 7*w + v. Is w a multiple of 6?
True
Suppose 4*g - 17 - 11 = -4*v, 5 = 5*g. Suppose v*y + 50 = 11*y. Let a(l) = l + 3. Is a(y) a multiple of 7?
False
Suppose b + 1 = -o - o, 5*o + 1 = -4*b. Suppose -q - 2*w + 67 = 0, 5*q - w - 323 = -10. Suppose 0 = -h + q - b. Is h a multiple of 16?
False
Suppose -29*a + 26*a = -15. Suppose a*m - 20 = -5*t, 0*t + 5*m = -t + 8. Suppose 0 = t*g - 291 - 207. Does 37 divide g?
False
Suppose 0 = -4*j - 13*j - 11662. Let w = j + 1034. Does 29 divide w?
True
Suppose 0 = -2*y + 5*o + 269, 4*y + 2*o = 6*o + 532. Is y - 0*3/(-12) a multiple of 13?
False
Let t(k) = -k**2 + k + 2. Let v be t(-1). Let h(x) = x**2 + 5. Let y be h(v). Does 11 divide ((-59)/y)/((-7)/35)?
False
Let p(t) = -t**3 - 5*t**2 - 11*t + 3. Let g be p(-4). Let j = -88 + 90. Suppose -j*o + 11 + g = 0. Does 7 divide o?
True
Suppose -5*a + 3*a + 6 = 0. Suppose -a*f - 3*f = 72. Does 8 divide (30/f)/(2/(-32))?
True
Let o = -32 - -22. Let i(p) = 2*p + 22. Let g be i(o). Suppose -5*q - 75 + 561 = g*y, 5*y - 15 = 0. Does 16 divide q?
True
Let a(x) = -2*x**3 + 48*x**2 + 311*x + 7. Is 40 a factor of a(-16)?
False
Is 4 a factor of (-483552)/(-365)*60/8?
True
Let l be 1144/20 - 2/10. Let o = 58 - l. Is 2 a factor of (((-8)/3)/o)/(2/(-3))?
True
Suppose -k + 2*s = -12871, -3*k - 51457 = -7*k - s. Does 31 divide k?
True
Is -1 + 3*(-7)/(-12) + 594490/520 a multiple of 4?
True
Let t be (9/15)/((-3)/(-30)). Let y(a) be the first derivative of 2*a**3/3 + a**2 + 15*a + 24. Does 19 divide y(t)?
False
Let k(m) = -m**2 + 4*m - 5. Let x(t) = -2*t - 3. Let w be x(4). Let s be k(w). Let z = 240 + s. Is z a multiple of 4?
False
Suppose 4*s + 8*s - 4500 = 0. Let y(t) = 242*t**3 - 1. Let l be y(-1). Let v = s + l. Does 33 divide v?
True
Let j = 2429 - -8268. Does 26 divide j?
False
Suppose 4*b - y - 18 - 6 = 0, 0 = 4*b - 5*y - 40. Let q(i) = 13*i**2 + 8*i - 61. Is q(b) a multiple of 38?
True
Let a(z) = -11*z**3 + 16*z**2 - z - 8. Let n(d) = 7*d**3 - 11*d**2 + d + 5. Let c(p) = 5*a(p) + 8*n(p). Let o = 5071 - 5062. Does 12 divide c(o)?
True
Is -7 - (-3 - (-126844)/(-6) - (-525)/(-225)) a multiple of 86?
False
Does 72 divide 4173 - (4 - 70/5 - -7)?
True
Suppose -2*v + 3*o = -11237, -3*v + o = v - 22479. Does 34 divide v?
False
Suppose 5*g + 98 + 21 = 2*n, 2*n - 2*g = 104. Suppose 0 = 4*p - 5*p - 4*f - 39, 0 = -4*p + 2*f - 102. Let h = p + n. Is h a multiple of 6?
False
Suppose -8 - 7 = -3*b, -5*q - 3*b = 185. Let p = 441 + q. Is p a multiple of 45?
False
Suppose 330508 = 720*k - 508*k. Is k a multiple of 9?
False
Let s be 8134/8 + (-34)/(-136). Let i = s + -845. Is i a multiple of 43?
True
Suppose 334*l - 344*l - 4060 = 0. Let a = 763 + l. Is 21 a factor of a?
True
Suppose 2*r = -10, 377 = k - 2*k - 5*r. Let x = 807 + k. Is 15 a factor of x?
False
Let c(r) = -r**3 + r**2 - 2*r - 7. Let d be c(0). Let i be 2/d - (37/(-7) - 1). Suppose -2*z = -i*z + 336. Is z a multiple of 12?
True
Let p(v) = v**3 + 58*v**2 + 256*v - 286. Is p(-37) a multiple of 12?
False
Suppose 17*n = 82*n + 33*n - 2283008. Is n a multiple of 26?
True
Suppose 15 = 