= -u**2 - 6*u - 5. Let m be s(-2). Suppose 5*f = -2*n + 476, 8*n - 5*n = m*f - 294. Let k = f + -66. Is 10 a factor of k?
True
Let i be 3/(24/86)*(6 + -2). Suppose i*x + 12636 = 52*x. Is 13 a factor of x?
True
Let c(w) = 2*w - 22. Let x be c(40). Suppose x*y - 52*y = 384. Is 15 a factor of y?
False
Let w be (1 - -7) + -9 + 5 + 0. Let s(h) = -w*h + 7*h + 7*h**2 - 10*h - h**3. Is s(5) a multiple of 15?
True
Suppose 5*x = -0*x - 30. Suppose 19*v - 272 = -41*v - 32. Is 755/(-30)*v*x/4 a multiple of 62?
False
Let g(t) = 8*t + 3. Suppose -3*o + 12 = 4*f, -1 = -4*o + 15. Suppose 4*a + f*u = u + 18, 12 = a - 4*u. Is g(a) a multiple of 7?
True
Suppose 0 = -115*d + 1031110 + 1302912 - 646052. Does 82 divide d?
True
Is (-6)/3*(-93924)/18 + 1 a multiple of 71?
True
Let p be 37/((-2)/(-18)*(-7 - -6)). Let r = -300 - p. Is 33 a factor of r?
True
Let d(s) = -s**3 - 19*s**2 - 9*s - 35. Let q be d(-19). Suppose -3*p - a + 6*a + 102 = 0, -4*p + q = -3*a. Is p a multiple of 13?
False
Suppose -z + 112 = -3*b, -z - 2*b + 20 + 117 = 0. Let d = z - 19. Is 18 a factor of d?
True
Is 4 + (-3 - (-524 + 9)) even?
True
Let w(g) = 1914*g - 2742. Is w(19) a multiple of 12?
True
Suppose 2*a - 17136 = -2*a. Suppose 10*u + a = 24*u. Is 18 a factor of u?
True
Let n(r) = -128*r - 30. Let o be n(6). Is 38 a factor of o/56*(-1 + 375/(-9))?
True
Is 4 a factor of -1110*(8 - 10)/4?
False
Let b = 98 + 194. Let n = 516 - b. Does 12 divide n?
False
Let q be (3 - (-64)/(-24))*0/1. Suppose q = 7*m - 5711 - 2472. Is 14 a factor of m?
False
Suppose 5*u - 32*h = -35*h + 41866, -25106 = -3*u + 5*h. Is u a multiple of 182?
True
Suppose -2*k = -4*s + 10644, 4*s + 5*k - 5503 - 5141 = 0. Is s a multiple of 6?
False
Suppose 4*u - 53 = -25. Suppose 0 = t + u*p - 8*p - 167, -1 = -p. Is t a multiple of 11?
False
Let m = -258 - -269. Let j = -10 + 14. Does 10 divide (m - -1) + 16/j?
False
Suppose -295 = -35*t + 20. Does 21 divide 2545/t - (-40)/180?
False
Suppose -477*c - 144950 = -31*c. Let m be (3/(-3))/(2 - 1). Is (-2)/(m - c/335) a multiple of 18?
False
Let g(w) = 6*w**3 - w**2 - 5*w - 14. Let m be g(7). Suppose -6679 = -39*s - m. Does 46 divide s?
False
Let m = -582 - -704. Suppose m*x - 121*x = 111. Is x a multiple of 16?
False
Does 20 divide ((-5790)/(-35))/(10/35) + 1?
True
Let b = 756 + -1330. Let k = b + 1130. Let c = k + -393. Is c a multiple of 22?
False
Let b be (-12 - 250/(-20))*(1 + -147). Let o = 521 - b. Is o a multiple of 11?
True
Suppose 9*p - 23*p + 18648 = 0. Let o = p + -894. Suppose 4*l - o = 2*l. Is l a multiple of 18?
False
Let s = -33 + 36. Let v be ((36/8)/(s/(-4)))/(-1). Suppose -14*d + v*d + 1104 = 0. Is 23 a factor of d?
True
Let u = -34 - -37. Suppose -2*l + 918 = -0*l - 4*a, -u*l + 1397 = 4*a. Is 65 a factor of l?
False
Is ((34/(-4))/((-75)/10250))/((-4)/(-12)) even?
False
Suppose 3*z - 25593 = -50*z + 32707. Is z a multiple of 10?
True
Suppose -3*u + 3*c = -273, 11*u + 4*c = 14*u - 273. Let p(q) = -q**3 + 6*q**2 - 6*q + 2. Let n be p(6). Let h = u + n. Does 7 divide h?
False
Let k(x) = 65*x**2 + 45*x + 83. Does 8 divide k(-12)?
False
Suppose 355 = 4*h - d - 1171, 3*h + 3*d - 1137 = 0. Suppose 4*s + 99 + h = 0. Is (s/9)/(2/(-6)) a multiple of 20?
True
Suppose -161 = -5*s - 856. Let y = s - -194. Is y a multiple of 20?
False
Does 33 divide (-330)/45*(-526 - (4 + 1))?
True
Suppose 0 = c + 2*c - 9. Let z(k) = 4*k**3 - 2*k**2 - 11*k + 23. Is 16 a factor of z(c)?
True
Suppose a + 12 = 4*n - 6, -5*a + n - 90 = 0. Let p be 40/a + (-8)/(-36) + 178. Suppose -4*v + 288 = -4*m, -4*v + p + 115 = -3*m. Is v a multiple of 7?
False
Let h(b) = 6*b**3 - 2*b**2 + b - 1. Let f be (-4)/(-2)*1 + -3 - 3. Let p be -2 + 4 - (-2 - f)/(-2). Is 29 a factor of h(p)?
False
Suppose 0*x + 5*x - 240 = 0. Let a = 52 - x. Suppose -2*q + 78 = -t - 71, -a*q = -t - 299. Does 7 divide q?
False
Suppose i + 231 = 612. Let y = i - -29. Does 10 divide y?
True
Is (-3 + 19/38)*-8506 a multiple of 9?
False
Suppose 5*g - 256 = -5*h + 34, 0 = 3*h - 2*g - 184. Does 5 divide h?
True
Let q = 129 - 40. Let k = 89 - q. Suppose 117 = -k*y + 9*y. Is y a multiple of 3?
False
Let j(v) = 85*v**2 + 42*v + 103. Is j(-8) a multiple of 41?
True
Let m = 4 + 31. Let r = m + -30. Suppose 5*k = -r*s + 125, -39 = -3*s + 2*k + 31. Is 11 a factor of s?
False
Let b = 5858 + -5996. Let m(f) = -7*f**2 + 4*f - 6. Let n be m(4). Let a = n - b. Is a a multiple of 9?
True
Let b(q) = 83*q**2 - 11*q + 111. Is 15 a factor of b(5)?
False
Let z = -2478 - -6122. Is z a multiple of 4?
True
Let z(m) = 4*m + 4. Let x(u) = 3*u + 3. Let l(w) = 6*x(w) - 5*z(w). Suppose 5*h - s + 47 = -24, 4*h + 5*s + 80 = 0. Does 12 divide l(h)?
False
Suppose -5*c + 129 + 121 = -5*b, 2*c = -5*b + 93. Let t(v) = 6*v - 228. Does 22 divide t(c)?
True
Suppose -s + 2*s - 2317 = 0. Suppose 0 = 16*n + s - 509. Let v = 241 + n. Does 9 divide v?
False
Suppose 14*j = 14 + 70. Is (8 - j)/(-2) - 47*-3 a multiple of 14?
True
Let g(i) = -3*i - 22. Let u be g(-8). Suppose -2*a + u*s = -536, -12 + 0 = -3*s. Is a a multiple of 17?
True
Let d be 2/(-7) + (-180)/(-42). Suppose -d*o = -9*o + 210. Is o a multiple of 14?
True
Suppose 11995 = 47*f - 871323. Does 31 divide f?
False
Let k = -429 - -273. Does 26 divide ((-8)/2)/(2/k)?
True
Let b be (-7)/((-42)/8) + (-19)/3. Is 3 + (445 - 3) - (-4 - b) a multiple of 12?
True
Let h = 619 - 613. Suppose -h*l + 969 = -1143. Does 11 divide l?
True
Suppose 1056716 + 78240 - 243989 = 203*b. Does 19 divide b?
True
Suppose 67*t = 65*t - 20. Let y(a) = -7*a - 56. Is y(t) a multiple of 7?
True
Suppose -68 = 10*r + 42. Is 12 a factor of (-7)/77 - 694/r?
False
Suppose -106 - 64 = -10*v. Let m = -13 + v. Is 3/(-2)*(-6 + m) a multiple of 3?
True
Let d(l) = l + 3. Suppose -18*m - 32 = -14*m. Let x be 10 - (m/6)/((-2)/(-3)). Is d(x) a multiple of 3?
True
Let w(k) = -k**3 + 39*k**2 - 38*k - 77. Let z be w(38). Let v = z + 342. Does 5 divide v?
True
Let n(f) = 55*f**2 + 33*f - 1747. Is 170 a factor of n(19)?
False
Let r = 59872 - 42664. Is r a multiple of 36?
True
Let b(g) be the third derivative of g**5/60 + g**4/4 + 3*g**3/2 + 19*g**2. Let y be b(-5). Suppose 2*o + 10 = 0, -y*p - 118 = -5*o - 695. Is 13 a factor of p?
False
Suppose 13493 = -4*s + 55253. Is 18 a factor of s?
True
Let i = 78 + -76. Suppose 3*b + b = -4*v + 1568, -i*b = -3*v + 1181. Suppose -3*q = -9*f + 5*f + 524, 5*q = -3*f + v. Is 38 a factor of f?
False
Let s(u) = -u**3 + 29*u**2 - 35*u - 43. Let o be s(27). Let j = o + -270. Does 50 divide j?
True
Let o = 909 - 647. Suppose 14*d = 12*d + o. Does 19 divide d?
False
Let u(f) = -13*f - 27. Let z be u(-4). Suppose 109 = 6*g + z. Is (512/(-7))/(-4) + (-4)/g even?
True
Let y = 2327 + -1326. Is 116 a factor of y?
False
Suppose -3*o = -3*g - 18780, -1139*o + 1136*o + g + 18790 = 0. Does 7 divide o?
True
Let o = 162 + -159. Suppose -d = o*x - 177 - 131, -x - d + 104 = 0. Does 2 divide x?
True
Let n = -370 + 381. Suppose n*s = 2645 + 2437. Does 22 divide s?
True
Let k(t) = -t**3 - t**2 + 13*t + 7. Let w be k(-9). Suppose 2*z - w = -58. Is z a multiple of 20?
True
Let q(v) = 78*v**2 + 60*v - 122. Is 40 a factor of q(-13)?
True
Let f = -31 + 50. Suppose -f*a + 325 = -14*a. Does 5 divide a?
True
Let r(b) = -b**2 + 32*b - 131. Let x be r(27). Is 11 a factor of (264/2)/x - (-40)/20?
False
Is ((-144)/27)/(6/(-6336)) a multiple of 32?
True
Let n(z) = 6*z**2 + 21*z - 231. Does 96 divide n(-19)?
True
Suppose -d - 2*x - 3 = 4, d + 4*x + 17 = 0. Suppose -d*n + 25 = 2*p - 24, -2*p + 44 = -2*n. Suppose 0 = -p*l + 32*l - 630. Is l a multiple of 10?
True
Let l(a) = -279*a + 279. Let u(c) = 9*c - 9. Let d(v) = 2*l(v) + 63*u(v). Does 19 divide d(4)?
False
Suppose -3*o + 4*p - 24 = -86, 0 = o + p - 9. Suppose q - 3*a - o = 0, 0*q + 20 = q - 5*a. Suppose 679 - 54 = q*u. Does 18 divide u?
False
Let b = 13605 + 12945. Does 35 divide b?
False
Suppose 0*n + 50469 = 4*n + 5*g, 4*n + 3*g = 50483. Does 118 divide n?
True
Let x = 10819 + -6739. Is x a multiple of 17?
True
Let d(s) = 19*s - 12. Let b be d(1). Suppose 2*y - l = -0*y + 5, -14 = -4*y - 2*l. Suppose b*z = 2*z + 4*h + 195, y*z = 2*h + 119. Is 9 a factor of z?
False
Let v = -30 - -34. Suppose 4*k = -v*a + 1912, a = -3*k - 3*a + 1437. Let m = k - 256. Does 45 divide m?
False
Let b(f) = -5*f**3 - 9*f**2 + 2*f + 17. Let