ide c?
True
Suppose -14*k + 25736 + 5321 = -48491. Does 7 divide k?
False
Let g(s) = -3*s - 16. Let q be g(-6). Suppose -q*n + w - 22 = 0, 0 = n + 4*w - 5*w + 11. Is 18 a factor of 40/220 + (-1274)/n?
False
Suppose 0 = -24*o + 19*o + 5, -3*q - 3*o + 1323 = 0. Is q a multiple of 20?
True
Let w = 14553 - -4357. Is 155 a factor of w?
True
Let n(c) = -543*c - 110. Let x = 624 - 626. Does 16 divide n(x)?
True
Let b(w) = 3*w**3 + 7*w**2 - 4*w + 2. Let l(n) = -n**3 - 2*n**2 + n - 1. Let s(c) = -4*b(c) - 11*l(c). Let h be s(-3). Is 13 a factor of ((-308)/6)/7*h?
True
Suppose 0 - 8 = -4*p. Suppose -3*l = p*h - 20, l - 8*h - 16 = -4*h. Does 8 divide l?
True
Let j = 14353 - 8939. Is 70 a factor of j?
False
Let n(x) = 119*x**2 - 10. Let z(g) = -239*g**2 + g + 19. Let l(s) = -5*n(s) - 3*z(s). Let d be l(-4). Suppose -627 = 7*q - d. Is 38 a factor of q?
True
Let w(n) = n**3 + 4*n**2 - 3*n - 5. Let g be (-4 - -5 - 3)*-2. Suppose k - 1 + g = 0. Does 3 divide w(k)?
False
Let o = 38 + -17. Let m be 3/(-7) - 222/o. Let z = 11 - m. Does 7 divide z?
False
Suppose 2*m - 10 + 2 = 0. Let a(s) = s**3 - 4*s**2 + 3. Let g be a(m). Let k(q) = 24*q**2 + 7*q - 4. Does 10 divide k(g)?
False
Let m(n) = -14*n**3 - 11*n**2 + 36*n - 3. Is 6 a factor of m(-7)?
True
Let f(a) = 4*a**2 + 4*a - 1. Let y be f(-4). Let w = -368 - -480. Let z = w - y. Is z a multiple of 17?
False
Suppose -2*j + 6 = j. Let g = 695 - 645. Does 9 divide g/(-3)*(j - (-132)/(-30))?
False
Suppose -475 + 212 = -w + 3*d, -5*w = -d - 1315. Is w even?
False
Let s(n) be the first derivative of -7/2*n**2 - 8 + 0*n + 17/3*n**3. Is s(3) a multiple of 33?
True
Let w = 0 + 2. Suppose 4*f - 3 = -3*q, 5 = 3*f + 2*f + 5*q. Suppose 23 = -5*a - 3*g + 88, w*a + 2*g - 26 = f. Is a even?
False
Let q(u) be the first derivative of 1/3*u**3 - 10 - 3*u + 9/2*u**2. Is q(-13) a multiple of 15?
False
Suppose -15*b + 13*b - 23*b + 7525 = 0. Is 4 a factor of b?
False
Let v be ((-1)/(-1))/(-3*3/(-36)). Let q be 1 + -1 + v/2. Suppose 0*x + q*x = 4*k - 68, 4*x + 88 = 5*k. Is 16 a factor of k?
True
Let z = -905 - -2281. Is 8 a factor of z?
True
Let w = 969 + 1266. Suppose -11*h + w + 185 = 0. Does 11 divide h?
True
Suppose y - 3*d = 6, -4*y - 5*d + 30 = y. Let q be (-16)/(-3)*(3 - y). Let a(u) = -3*u - 20. Is 7 a factor of a(q)?
True
Let k be (-204464)/(-52)*(-1)/(-4). Let y = -242 + k. Does 22 divide y?
False
Suppose -8*a - 464 = 4*r, -11*r + 304 = -5*a - 10*r. Let l be ((-2)/4)/(-1)*4. Is a/(-2 - 2) + l/2 even?
True
Let h(u) = u**3 + 3*u**2 - 2*u + 1371. Is h(0) a multiple of 27?
False
Let r(w) = -73*w - 35. Let d be r(-2). Let u = 354 - d. Is u a multiple of 13?
False
Let k = 2512 - -372. Does 119 divide k?
False
Suppose -8 = 8*h - 7*h. Let t be -1*(h + (-15)/(-5)). Is 7 a factor of t*12/20*14?
True
Let p = 364 + -519. Let n = p + 291. Is n a multiple of 17?
True
Let m(t) = -13 + 7*t - 40*t - 13*t - 44*t. Is 6 a factor of m(-2)?
False
Let t = -106 + 110. Does 2 divide 558/27 + t/(-6)?
True
Suppose -7*f - 48 + 34 = 0. Let b be (-31 - f)*(1 + -3). Suppose -63*p + b*p = -45. Is 8 a factor of p?
False
Suppose 6*i - 3*o - 2059 = i, 5*o = 10. Suppose -408*v - 545 = -i*v. Is 19 a factor of v?
False
Does 36 divide ((-180)/720)/(-3 + 556953/185652)?
False
Let q(g) be the second derivative of 37*g**4/12 + g**3/2 + g**2 + 3*g. Let p be 2/((-3 - -5) + -4). Is q(p) a multiple of 12?
True
Let p be (-26)/10 - (-22)/(-55). Let d = 188 + -195. Is (917/3)/d*p a multiple of 23?
False
Suppose s + 59 = 3*c + c, 5*c - 3*s = 65. Suppose 452 = -c*x + 20*x. Let j = -5 + x. Is 18 a factor of j?
True
Suppose 124 = -11*g - 162. Let k = 334 - g. Does 45 divide k?
True
Let j(q) = -1243*q**3 + 2*q**2 + 7*q + 2. Is j(-1) a multiple of 8?
True
Let v(o) be the second derivative of 5*o**4/12 - 14*o**3/3 - 12*o**2 + 88*o. Does 45 divide v(12)?
True
Suppose -15*r + 37321 = 1126. Suppose f + 1261 - r = 0. Does 16 divide f?
True
Let i(u) be the second derivative of 11*u**3/2 - 6*u**2 - 8*u - 8. Let m(g) = g. Let s be m(5). Does 32 divide i(s)?
False
Suppose -10*o + 111265 = 52431 - 127646. Is 18 a factor of o?
True
Let k(q) = -52*q**3 - 37*q**2 + 31. Does 98 divide k(-6)?
False
Let v(l) = -l**3 - 7*l**2 + 13*l - 21. Let x be v(-9). Suppose 0 = -x*m + 21340 - 5932. Is m a multiple of 28?
False
Let c(x) = -x - 30. Let v be c(-15). Let k be 0 + v/25 + (-1116)/(-10). Let r = -34 + k. Is 21 a factor of r?
False
Let y = -758 - -886. Is 6 a factor of y?
False
Let u = 26 - 48. Let z(y) = 222*y**3 - y**2 + 6*y + 6. Let m be z(-2). Does 26 divide m/u + 52/(-44) + 1?
False
Let r(u) = -u + 8. Suppose 4*q - 6 = 2. Let w be r(q). Suppose -w*d - 3*d + 243 = 0. Is 24 a factor of d?
False
Suppose -5*p + 3*h + 14307 = -0*h, 2*p = -5*h + 5698. Suppose 0 = -5*w - q + p - 619, 15 = -3*q. Suppose 0 = -16*x + 1711 + w. Is 27 a factor of x?
True
Let f(a) = 4*a**2 + 15*a - 5. Suppose 0 = -5*l - 264 - 241. Let p = 94 + l. Is f(p) a multiple of 11?
False
Suppose -7*g + 30 = 65. Is 8 a factor of (-65)/(-1)*(-13)/g*1?
False
Suppose -8*a = -7*a - 716. Let m = a + -274. Does 13 divide m?
True
Let d be (-1)/2 + 90/20. Suppose d*s = 10*s - 21648. Is 16 a factor of (-3)/4 + s/32?
True
Let p = -95 + -76. Let q = p + 361. Does 19 divide q?
True
Let c = 276 + -276. Suppose 65*n - 75*n + 540 = c. Is 2 a factor of n?
True
Suppose 5*q = 12 + 3. Suppose -4*a + 4 = 0, -a = q*h - 3*a - 19. Suppose g = h + 28. Is 6 a factor of g?
False
Let p be 8/((20/15)/(2/3)). Let r be (4 + -5)/(p/(-20)). Suppose -r*m + 199 = -2*t + 4, -3*m + 117 = -4*t. Is m a multiple of 5?
False
Let c(g) = -g + 26. Let t be (-4)/(-14) + 102/(-14). Let y be c(t). Let v = 31 + y. Is 20 a factor of v?
False
Let w(a) = -a**2 + 6*a - 9. Let v(n) = 5. Let d(t) = -9. Let y(p) = -4*d(p) - 7*v(p). Let q(x) = -w(x) - y(x). Is 7 a factor of q(9)?
True
Is (-41 + -539)*(1 - (-45)/(-10)) a multiple of 14?
True
Suppose -3*z = -i - 1319, -7*i + 10*i + 3077 = 7*z. Is z a multiple of 44?
True
Let g = 23 - 20. Is 18 a factor of g*(99 - (-6)/(-2))?
True
Let t(z) = z**2 + 1. Let j(s) = 7*s**2 + 16*s - 15. Let r(w) = -j(w) + 6*t(w). Let x be r(-16). Let q = x - 12. Is q a multiple of 3?
True
Let y(k) = 2*k**2 - 18*k - 687. Is y(40) a multiple of 10?
False
Let q(u) = -560 + 1406 + 174*u - 548. Does 61 divide q(6)?
True
Suppose -f - 6 = 6. Let q(x) = 5*x**3 - 5*x**2 - 2*x - 1. Let z(r) = 8*r**3 - 12*r**2 - 2*r - 2. Let i(j) = -5*q(j) + 3*z(j). Is i(f) a multiple of 28?
False
Suppose -2*r + 7 = -3*m + 2*r, -5*m - r = 4. Let a be ((-9)/(-15) - (-40)/(-25))/m. Suppose -19 = -d - 5*i, d = 3*i + 18 + a. Is d even?
False
Does 29 divide (10 - 2) + (14165 - (2 + 8))?
False
Suppose 2*p = -5*s + 213444, 170758 = 4*s + 33*p - 30*p. Is 29 a factor of s?
True
Let d be -3 + 1/(2*3/(-66)). Let q be (d/(-3))/1 - 6/9. Suppose -3*g - 4*t = 2 + 3, -q*g = -3*t - 35. Is 5 a factor of g?
True
Suppose 184 - 159 = 5*n. Suppose -2*u + 2*q + 7 = n*q, -3*q = u - 5. Suppose 5*y - 6*y = k - 96, -u*y = -2*k - 184. Is 47 a factor of y?
True
Let c = 65662 - 45664. Is c a multiple of 303?
True
Does 21 divide (13 + -21)/(-80) - 3/((-60)/52918)?
True
Let d(q) = 114*q**2 - 10*q + 20. Let s be (-1 - 0)*6*6/(-18). Is 11 a factor of d(s)?
False
Suppose 2*n = -m + 3905 + 2858, 2*n = 3*m + 6783. Does 37 divide n?
False
Suppose 11*h + 18*h - 3211 = 10*h. Is 13 a factor of h?
True
Let p = 2852 + -1952. Suppose -97*a = -100*a + p. Does 25 divide a?
True
Does 59 divide ((-4)/(-7))/(236/1025066)?
False
Let q = -2177 + 5535. Does 46 divide q?
True
Let u = -136 + 69. Let v = u + 88. Is 8 a factor of (v/9)/((-2)/(-24))?
False
Let l(b) = b + 1. Let r be l(-18). Let s(h) = 5*h + 55. Let t be s(r). Does 19 divide ((-228)/t)/((-6)/(-75))?
True
Let t(g) = -g**3 + 43*g**2 + 60*g - 41. Let j be t(44). Let q = j + -381. Does 28 divide q?
False
Suppose -80*c = 91*c - 511461. Is c a multiple of 23?
False
Suppose -51000 = -37*s - 13*s. Does 20 divide s?
True
Suppose -5*z + 18 - 13 = 0. Suppose 0 = 2*s + 4*f - 1962, f + 5 - z = 0. Does 48 divide s?
False
Suppose 6*b + 60 = b. Let k(r) = -21*r - 114. Is k(b) a multiple of 69?
True
Suppose -3*s + 29 - 11 = 0. Let p(d) = 9 - s*d - 5*d**2 + d**2 + 3*d**2. Is p(-6) a multiple of 4?
False
Let k(o) = -105*o**3 - 10*o**2 - 26*o - 7. Is 16 a factor of k(-3)?
True
Suppose 8433 = i -