be b(6). Suppose p*x - 1040 = 5*x. Is x a multiple of 14?
False
Let s be (-16)/28 - (-1)/(7/4). Let i(z) = -z**2 - 4*z + 1005. Let t be i(s). Suppose -9*b + t + 624 = 0. Does 39 divide b?
False
Let u(q) = 46 - 19*q**3 + 20*q**2 + 6*q**3 + 19*q + 5*q**3 + 7*q**3. Let s be u(21). Does 11 divide (142/6)/(s/12)?
False
Let g = 21 + -22. Let p = g + 96. Is p a multiple of 14?
False
Does 7 divide ((-390)/5)/6 - -12690?
True
Suppose -k + 3*i + 9 - 2 = 0, 3*i + 9 = 0. Let r(d) = -46*d**3 - 2*d**2 + 4*d + 12. Does 26 divide r(k)?
True
Suppose -178*g + 176*g + 4 = 0. Suppose -456 = g*u - 8*u. Is u a multiple of 19?
True
Suppose 22*w = 126561 + 31443. Does 18 divide w?
True
Let p be ((-70)/25)/((-1)/(-5)*-2). Suppose l + 90 = p*l. Is 11 a factor of ((-132)/18)/((-10)/l)?
True
Suppose -5*a + 10 = 0, 2*w - 4*a = -a - 6. Suppose 9*p - 1259 - 3097 = w. Does 11 divide p?
True
Let v(l) = -15*l**3 - 5*l + 0*l**2 + 2*l**3 - 9 + 5*l**2. Let o(w) = -7*w**3 + 3*w**2 - 3*w - 4. Let d(p) = -7*o(p) + 4*v(p). Is d(-3) a multiple of 8?
False
Is 4 a factor of (-94676)/(-11) - (-68)/748?
False
Let q(j) = -j**3 + 5*j**2 - j - 6. Let a be q(5). Let y = a - -15. Suppose y*m + 4*n - 92 = 0, 5*n = -3*m - 5 + 80. Does 8 divide m?
False
Let x(g) = g**3 + 49*g**2 + 46*g - 100. Let a be x(-48). Suppose 0 = 4*h - 2*s + 130, -2*s = -2*h + 3*h + 20. Does 6 divide h*9/(90/a)?
True
Let o(u) = -u**3 - 11*u**2 + 5*u + 192. Let a be o(-9). Let x be ((-30)/7)/((-1)/(-7)). Let j = a - x. Is 14 a factor of j?
False
Let y(j) = -j**3 - 3*j**2 + 5*j + 4. Let u be y(-4). Suppose u*w = -5*w + 25, 5*l = -w + 6580. Is 23 a factor of l?
False
Let j(c) = -214*c - 2144. Let b be j(-10). Let p = -7 + 4. Does 40 divide (p/(-15)*b)/((-2)/435)?
False
Let w = 27845 - 1520. Is 170 a factor of w?
False
Does 36 divide (-1052068)/(-104) + (-23)/598?
True
Suppose p - 4*n = 4*p + 8, -p - 5*n + 1 = 0. Is 22 a factor of 0 + 424 + p + 4?
False
Suppose 7524 + 7266 - 57910 = -11*v. Does 51 divide v?
False
Let i(v) = 7*v - 19. Let f be i(5). Suppose -20*x = -f*x - 276. Is x a multiple of 4?
False
Let y(q) = -2141*q - 247. Is y(-7) a multiple of 110?
True
Let y(g) = -6*g**3 - g**2 - 3*g - 4. Let f be y(-2). Let h = 46 - f. Suppose a - 5*a + 224 = h. Is a a multiple of 28?
True
Let g = -6762 - -14263. Is g a multiple of 29?
False
Let j(l) = 2*l**3 + 37*l**2 + 16*l - 30. Let t be j(-18). Is 54 a factor of t - (-5)/((-20)/(-4364))?
False
Suppose 6*u - 18 = 0, -8*i + 3*u = -10*i + 10809. Is i a multiple of 15?
True
Let a = 83 + -80. Suppose -y = -a*z - 141, z + 162 - 27 = y. Is y a multiple of 12?
True
Let m(q) = -6*q + 3. Let c be -2*2*(-3 - (-22)/8). Let j be m(c). Is 28 a factor of ((-4)/1)/(j/(-21)*-1)?
True
Suppose 0 = -32*c + 45*c - 9867. Let z = c - 486. Is z a multiple of 21?
True
Let z = -678 + 440. Let p = -100 - z. Is 6 a factor of p?
True
Is 118 a factor of (-25 - -8) + (15975 - 28)?
True
Suppose -1 = -h + 2*c, -3*h + 0*c = -5*c - 4. Let d be 1/(h + 14/(-4)). Let j(q) = -11*q**3 - 3*q**2 - 2*q - 4. Does 12 divide j(d)?
False
Let h be (-1)/((-14)/21)*28/(-6). Let a(z) = -87*z + 99. Does 12 divide a(h)?
True
Suppose -21*r = 18*r - 40*r + 14740. Does 45 divide r?
False
Suppose -2*k = -7*k - 4*o + 27, 3*o = 2*k + 3. Suppose 5*f = 4*z - 662 - 173, -k*z + 2*f = -628. Is z a multiple of 10?
True
Let j be -3 - 197*(0 + -3). Let w = j + -366. Is w a multiple of 16?
False
Let z(i) = -614*i - 1098. Is 14 a factor of z(-25)?
True
Let j be (-2 - -5)/(12/16). Suppose 0 = -q + j*q - 114. Does 19 divide q?
True
Let j(m) = 5*m + 8*m + 18*m + 24. Does 42 divide j(6)?
True
Let p = -45 + -40. Let z = -60 - p. Is 36 a factor of -108*((-5)/z + (-8)/10)?
True
Suppose 4*b - 3682 = -4*m + 2*b, -1 = -b. Suppose -2*p - m = -2*u - 0*u, -p - 922 = -2*u. Is 11 a factor of u?
True
Suppose c = 2*n + 70, 25*c - 4*n + 100 = 26*c. Does 7 divide ((-4)/(16/(-105)))/(30/c)?
True
Let h = -2561 + 2557. Let k(w) be the third derivative of w**5/20 + w**4/24 - 7*w**3/6 + w**2. Does 5 divide k(h)?
False
Let l = 286 + -125. Suppose k - 37 - 142 = -2*o, 0 = -k + 4*o + l. Suppose -7*j + k = -716. Does 12 divide j?
False
Let m = 29 - 38. Let d(k) = -k**2 - 12*k + 5. Let t be d(m). Suppose -r + 27 = c + r, 3*r = -c + t. Does 17 divide c?
True
Suppose -6*i + 4*i = -4*d - 166, 2*i = -2*d + 154. Suppose 11*o + 13 = i. Suppose -12*a + o*a + 780 = 0. Is a a multiple of 26?
True
Suppose 4730 + 1334 = 3*h + 5*d, h = -5*d + 2028. Is 10 a factor of h?
False
Let t be (-3)/((-120)/2944) - 4/(-10). Suppose -370 - t = -4*g. Is 23 a factor of g?
False
Suppose 72*l = 789719 + 112215 + 305506. Is 195 a factor of l?
True
Let z = 505 - 501. Suppose c = 7 - 6, 4*p + z*c - 1824 = 0. Is p a multiple of 35?
True
Let r be (-30)/25*5*-1. Does 19 divide (r/(-4))/(((-99)/1710)/11)?
True
Let w = -11 + 0. Let m(c) = -c**2 + 8*c + 17. Let v be m(13). Is w/(22/v) + 0 a multiple of 12?
True
Let u(z) = z**2 + 19*z + 40. Let j be u(-17). Let q be 1956/(-6)*(-3)/j. Suppose -3*v + q = 49. Is 15 a factor of v?
False
Let r be (13 + -16)*2/6 + 9. Let g(z) = -21 + 33 - 20 + r*z**2 - 2*z. Is 14 a factor of g(4)?
True
Suppose -2*a + a = 345. Let t = 8 - 6. Is (t*(-4)/20)/(1/a) a multiple of 16?
False
Let p = 70 - 15. Suppose -74 = -3*c + p. Is c a multiple of 8?
False
Is 5 a factor of 12 + -3*(7 - (-98336)/(-24))?
False
Let i = -21 - -25. Let a(v) = -4*v + 13. Let d be a(i). Is ((-140)/1)/(-4) - (-6)/d a multiple of 15?
False
Suppose -292 = -3*o + j, 468 = 5*o + 2*j + j. Let d be ((-12)/14)/((-8)/28). Suppose r - 3 = b + o, 5*b - 329 = -d*r. Is r a multiple of 18?
False
Suppose 3725 = 2*u + 3*r - 9702, -4*u = -3*r - 26863. Is u a multiple of 177?
False
Let p = 86902 - 58166. Does 64 divide p?
True
Let c = 41214 + -26092. Is c a multiple of 8?
False
Let a(c) be the first derivative of -c**3/3 + 19*c**2 - 141*c + 109. Is a(23) a multiple of 51?
True
Let g(k) = -31*k. Let i be g(1). Let o = i - -36. Suppose 5*u = o*m - 750, -4*m - u = -6*u - 598. Is 36 a factor of m?
False
Suppose -4*m = 0, m = -5*f - m + 225. Let c be 364/(-18) + 10/f. Let q = c + 36. Does 16 divide q?
True
Let v(b) = b**2 + 10*b + 87. Is v(48) a multiple of 9?
True
Let o(t) = t**3 + 4*t**2 - 9*t - 16. Let c be o(-5). Let u(q) = q**3 - 2*q**2 - 2*q + 3. Let h be u(c). Suppose 23*i + 376 = h*i. Does 13 divide i?
False
Suppose -5*u - 2*o - 25 = 0, o + 10 = -2*u - 4*o. Let h(s) = -s - 18. Let p be h(u). Let x = 31 - p. Is 22 a factor of x?
True
Let o be ((-2)/(-9)*3)/((-8)/48). Is (-101)/16*-4 - (-1)/o a multiple of 12?
False
Let h(x) = 50*x**2 + 32*x - 126. Does 37 divide h(-19)?
True
Let i(h) = h**2 + 1. Let n(g) = g**3 + 4*g**2 - 2*g + 28. Let a(z) = -6*i(z) + n(z). Let u be a(0). Does 9 divide (-198)/(-4) + 11/u - 2?
False
Let q = 7978 - 1531. Is q a multiple of 11?
False
Let v(a) = 4060*a + 4664. Is v(10) a multiple of 41?
True
Let u(o) = -23*o + 39. Suppose 3*g + 8 = l, -43*g + 16 = -3*l - 44*g. Is u(l) a multiple of 37?
False
Does 36 divide ((-29)/(1595/23386))/((-11)/5 + 2)?
False
Suppose 38*v = 24614 - 560. Is 3 a factor of v?
True
Let k(x) = -x**3 + 54*x**2 - 122*x - 154. Does 78 divide k(47)?
False
Is 0*(-20)/(-380) + (0 - -1321) a multiple of 9?
False
Let g be (-28 - -34) + (-4 - -1). Suppose -170 = -w + g*u + 456, -15 = -3*u. Does 9 divide w?
False
Is 9 a factor of (-78)/156 - 3350/(-4)?
True
Let l(n) be the first derivative of n**5/20 - 3*n**4/4 - 13*n**3/6 - 33*n**2/2 + 8*n - 31. Let k(x) be the first derivative of l(x). Is k(11) a multiple of 3?
True
Suppose 0 = 4*y - 4*o - 24, 3*y - 9*o + 12*o = 30. Suppose y*i = 98 + 102. Is i a multiple of 8?
False
Let g be 931/(-3) - -2*1/6. Let v = g + 645. Suppose -4*l - v = -9*l. Does 7 divide l?
False
Let c(h) = 142*h - 507. Does 11 divide c(10)?
True
Suppose -65*i + 108 = -59*i. Let o(r) = r**3 + 9*r**2 + 14*r + 1. Let j be o(-7). Is 32 a factor of ((-432)/(-81))/(j/i)?
True
Let o(q) = q**3 - 2*q**2 - 7*q + 16. Let y be o(3). Is (-80355)/(-110)*y/6 a multiple of 38?
False
Suppose -2 = -2*v, -2*v + 0*v - 38 = -5*h. Suppose -h*k = -207 - 305. Does 15 divide k?
False
Let i(g) = g**3 + 8*g**2 + 7*g + 2. Let u be i(-7). Is (5 - -362)*2/u a multiple of 13?
False
Let i(h) = 3. Let f(g) = -6*g + 5. Let m(u) = -3*f(u) - 24*i(u). Does 19 divide m(8)?
True
Let l = -254 - -251. Let m(z) 