5. Let g = 228 + q. Is 43 a factor of g?
True
Suppose -5400*z + 5420*z = 29520. Is 18 a factor of z?
True
Is (-4)/(-48)*9 + 71046/(-24)*-1 a multiple of 7?
True
Let j(b) = -b**3 + 7*b**2 - 7*b + 7. Let l be ((-3)/(-1))/(2/((-10)/(-3))). Let u be j(l). Does 38 divide 153 + (-11)/u + 2/(-4)?
True
Suppose 2*t + 10 = 0, -8036 = -r - 5*t - 109. Is 16 a factor of r?
True
Let f = 526 - 516. Let o(u) = 9*u - 66. Is o(f) even?
True
Let g(t) = -9*t**3 + 63*t**2 - 3*t - 10. Does 51 divide g(6)?
False
Let p = 112 - 110. Suppose 0 = -p*q - 22*q + 7128. Does 15 divide q?
False
Suppose -4*g - 1028 = -3*t + 1353, -5*t - 578 = g. Let u = g - -888. Is 59 a factor of u?
True
Suppose d = 5*p - 465, -4*p + 3*d + 223 = -149. Let g = 674 - p. Is 14 a factor of g?
False
Let r(o) be the third derivative of 5*o**4/4 + 5*o**3/3 - 12*o**2. Let x be r(9). Suppose 6*f = 14 + x. Is f a multiple of 6?
False
Let x = -35296 + 37051. Is x a multiple of 195?
True
Is 28 a factor of 4/(64/79300) - (-75)/(-300)?
True
Suppose 6*o + 23195 - 56955 = -26*o. Is 79 a factor of o?
False
Let x = 72 + -68. Let o be (-2)/8 + 5/x. Let q(j) = 3*j**2 - j + 1. Does 3 divide q(o)?
True
Let y = -324 + 327. Suppose 0 = -5*h - 0*v + y*v + 2876, 1732 = 3*h - 5*v. Is 43 a factor of h?
False
Let p be -7*(-93)/6*(-16)/(-28). Suppose -p*z = -66*z + 832. Let k = -73 + z. Does 27 divide k?
True
Let r(l) = -10*l - 78. Let q(u) = -12*u - 99. Let i(x) = -2*q(x) + 3*r(x). Let m be -3 - -2 - (1 - -8). Is i(m) a multiple of 12?
True
Let x(i) = -i**2 - 4*i - 9. Let t be x(-3). Let s = -11 - t. Does 13 divide -65*(1 + (s - -3))?
True
Let t be 1477/4*(1 - -3)*1. Suppose 8*g - t = 6515. Does 24 divide g?
False
Let d(i) = -i**2 - 12*i - 9. Let m be d(-8). Suppose -20*h = -m*h + 312. Is h a multiple of 8?
True
Suppose -6*i + 44 - 14 = 0. Suppose -2786 = -i*z - 4*b, 4*z - 3*b - 561 = 3*z. Does 31 divide z?
True
Let f(v) = -v**2 - 12*v + 31. Let h be f(-14). Suppose 2*o = -h*b + 108, -2*o + 2*b - 172 = -5*o. Is o a multiple of 15?
True
Let d be (15/12 - 5/4) + 3. Does 81 divide (-7 + d - -10)*27?
True
Suppose 0 = -5*t + 5, -49283 = -z + 14*t - 11*t. Does 87 divide z?
False
Let o(j) = j**2 + 20*j + 18. Let c be o(0). Suppose 0 = -c*m + 5457 + 22209. Is m a multiple of 13?
False
Suppose -2*p = 9*w - 10*w + 682, 0 = -3*w + 4*p + 2056. Is 29 a factor of w?
False
Let n(m) = 2*m**3 - 6*m**2 + 2*m - 1. Let h(g) = g**3 - 2*g**2 + g. Let r(l) = -11*h(l) + 4*n(l). Let z be r(-4). Is (z/70)/(3/100) a multiple of 49?
False
Suppose b - 76 = 3*k, 0 = -5*k - b - 3*b - 138. Let j(v) = -89*v - 34 + 122 + 101*v - v**2 - 38*v. Is j(k) a multiple of 8?
True
Let i be (-200)/(-16)*(-8)/(-20). Suppose 3*j + i*o = 227, 0 = -2*j + 3*o + 184 - 39. Is 3 a factor of j?
False
Suppose 169*a + 8 = 173*a. Suppose a*s - 36 = 2*q, 5*s - 17 - 37 = -4*q. Is 6 a factor of s?
False
Let g be ((-27)/(-6))/(7/70). Is 12 a factor of (992/20)/(6/g)?
True
Let r be 793/65 + 1/(-5). Is 4 a factor of r/(-10)*(-50)/6?
False
Suppose 138336 = -934*l + 956*l. Does 8 divide l?
True
Let s be (34/4)/(16/(-32)). Let o = s - -22. Let m(y) = 16*y - 22. Is m(o) a multiple of 29?
True
Does 75 divide (-48)/3 + (-1 - -4442)?
True
Is (51/85)/((-3)/(-60945) - 0) a multiple of 185?
False
Let l(v) = -38*v + 3459. Is 83 a factor of l(15)?
False
Let k(z) = -20*z - 57. Suppose -10 = 5*a - 4*v, 2*a - v = -0*v - 1. Let t(r) = -5*r**3 + 8*r**2 + 2*r - 2. Let b be t(a). Is 7 a factor of k(b)?
True
Let k(i) = -20*i**3 - 5*i**2 + 22*i + 199. Is k(-7) a multiple of 45?
True
Let i(y) = y**2 + 23*y + 27. Let a be i(-22). Suppose -7*l + 4 = -a*l. Does 16 divide (-271)/(-13) + ((-56)/(-26) - l)?
False
Let s(p) = 9*p**3 + 6*p**2 + p + 11. Let t(z) = -5*z**3 - 3*z**2 - 6. Let a(r) = -4*s(r) - 7*t(r). Let b be a(-2). Is b/(-6) - (-365)/15 a multiple of 5?
False
Suppose -11*n - 551 + 1821 + 4175 = 0. Does 5 divide n?
True
Suppose -352 = -8*l + 928. Let t = -227 + l. Does 2 divide t/(-13) - 20/130?
False
Let p = -3770 - -4230. Does 2 divide p?
True
Is 29 a factor of (-22)/(-8)*(-40)/220*(-1160 - 0)?
True
Let h(f) = -26*f - 24. Let n be h(-4). Suppose 3*t + 6 = 21. Suppose -t*l = -30 - n. Is l a multiple of 21?
False
Suppose 2*b - 4*r - 7092 = 0, 18 = -54*r + 51*r. Does 34 divide b?
False
Let v(r) = r**2 - 15*r - 37. Suppose 0 = -5*m + 47 + 38. Let p be v(m). Is 31 a factor of 6/(-5)*310/p?
True
Suppose 2*o - 240 = -o + 4*k, 5*o + 3*k - 371 = 0. Let j = o + -85. Is 282/4*(-12)/j a multiple of 47?
True
Is 26 a factor of 1/((-5)/5) - (-5)/((-25)/(-4295))?
True
Let j be ((-9)/18)/(1/(-8)). Suppose j*h - 16 = -5*c + c, 61 = 4*h - 5*c. Let d(i) = i**3 - 9*i**2 + 5*i + 3. Does 16 divide d(h)?
True
Let i be (-6 - -19) + 0/(-4). Let d(z) = -z**3 + 14*z**2 - 13*z + 5. Let x be d(i). Suppose 29 = a + 4*u - 0*u, -4*a = x*u - 83. Does 12 divide a?
False
Let m(i) = 2*i**3 + 40*i**2 - 21*i + 132. Does 32 divide m(-19)?
False
Let n = -520 + 1883. Suppose 2*q = -5*v + 1273, 0 = 5*v + 3*q + 91 - n. Is v a multiple of 53?
False
Let c be (-8 + 130 + 6)/((-4)/10). Let h = -185 - c. Is 14 a factor of h?
False
Let w = 13 - 11. Let a(l) = 91*l**2 + 6*l - 1. Does 11 divide a(w)?
False
Suppose 111*l + 15886 = 135766. Is 12 a factor of l?
True
Suppose -5*g - 3*f - 8 = -3*g, 10 = -5*g - 5*f. Let h be (g/3)/(((-3)/(-414))/(-1)). Let c = -59 - h. Is 3 a factor of c?
True
Let a = -14250 - -33010. Is a a multiple of 23?
False
Is 94 a factor of (-1)/(-29) + 28137746/754?
True
Let j(b) = b**3 - 4*b**2 + 5*b - 4. Let q be j(3). Suppose q*s = -s + 1383. Suppose -6*u + 1 + s = 0. Is 7 a factor of u?
True
Let g = -29955 + 50622. Is 5 a factor of g?
False
Does 9 divide 9 + (-22516)/(-13) + 5?
True
Let x(w) = -w**2 + 1. Let f(g) = 10*g**3 + 10*g**2 - 4*g - 6. Let n(c) = f(c) + 10*x(c). Let l be n(2). Is -5 + 5 + l + 1 a multiple of 7?
True
Let u = -1264 - -1271. Let w(v) = v**2 - 6*v. Let y(o) = o**2 - 7*o - 1. Let s(g) = 3*w(g) - 2*y(g). Is s(u) a multiple of 23?
True
Let t(r) = -24*r - 34. Let p(h) = h**2 - 71*h - 101. Let m(z) = 2*p(z) - 7*t(z). Is m(-21) a multiple of 37?
False
Let l = -57 - -61. Let u(i) = 3 + 3 - l*i - 15*i + 8*i. Does 8 divide u(-6)?
True
Let t(c) = c**2 - 4*c + 10. Let b be t(9). Let y = -48 + b. Suppose 0 = w + y*w - 560. Does 14 divide w?
True
Let k be (12/15 - 0)/((-14)/(-1365)). Suppose -k*n + 69*n + 1206 = 0. Does 9 divide n?
False
Let s(w) = w**3 - w**2 + 5*w - 8. Let h be s(2). Let a(r) = 7*r**2 - 9*r + 7. Is 30 a factor of a(h)?
False
Let g(z) = -z**3 - 37*z**2 - 34*z + 75. Let p be g(-36). Suppose -2*n = -2*y - 92 + 326, -p*y + 363 = n. Does 28 divide y?
False
Suppose -515*l + 5*g + 2881 = -514*l, 0 = -4*l + 4*g + 11540. Is 26 a factor of l?
True
Does 12 divide -13 - (-11 + 2 - 5260)?
True
Let s be ((-105)/9 + 2)/((-2)/(-6)). Let z = s - -29. Suppose z = -5*q - j - 0*j + 112, 11 = q + 4*j. Is q a multiple of 2?
False
Let n(h) = 3*h**2 - h - 11. Let o(c) = -3*c - 3. Let p be o(-3). Suppose -4*x + p = -5*x. Is n(x) a multiple of 19?
False
Let b(a) = 10*a - 8. Let k(t) = 13*t + 1. Let u be k(11). Let j = -133 + u. Does 5 divide b(j)?
False
Let h = -73 + 34. Let p = 86 - h. Does 5 divide p?
True
Suppose 113*c = 253242 + 126777. Is c a multiple of 15?
False
Let f(t) = 6*t**2 - 17*t - 224. Is 17 a factor of f(23)?
False
Suppose -2*i - 3 + 4 = 3*t, 0 = 4*t + 20. Suppose -15*q = -i*q - 49. Is q a multiple of 2?
False
Let q be -6 + 3 - 1/((-3)/(-9)). Let r(b) = b**2 + 7*b + 10. Let l be r(q). Suppose 0 = -l*w + w + 264. Does 5 divide w?
False
Let n = 753 - 836. Suppose -2*m = -a + m + 114, -2*m - 456 = -4*a. Let y = n + a. Does 17 divide y?
False
Suppose -5*w + 57606 = k, 0 = 2*w + 14*k - 11*k - 23058. Does 8 divide w?
True
Let q be (520/(-6) + 3)*-3. Let l = q + -151. Is l a multiple of 5?
True
Let r = -4160 - -5910. Is r a multiple of 10?
True
Suppose 7*q - 9*q + 9364 = 5*i, -4*q + 3*i + 18806 = 0. Is q a multiple of 3?
False
Suppose 5*b - 5*u + 12468 = 71083, 0 = 2*b - u - 23446. Does 19 divide b?
True
Let q(u) = u**3 + 8*u**2 + 7*u + 15. Let s be q(-6). Let z = 2 - s. Let j = 41 - z. Is j a multiple of 21?
True
Let b(k) = -82*k**3 - 5*k**2 + 6*k + 25. Let m be b(-3). Suppose -17*j = -15*j - m. Is 68 a factor of j?
True
Let p(w) = w**3 + 5*w**2 - 7*w. Let k be p(-6). Let g = k + 50. Suppose -23*o - g = -27*o.