 o. Is 6 a factor of a(-14)?
True
Suppose 2*a + 10 = 0, 31*c = 32*c + 3*a - 15225. Does 254 divide c?
True
Let h = -197 + 201. Suppose -4 = -h*p, m - 3*p - 77 = 190. Is m a multiple of 54?
True
Suppose 0 = -49*n + 110685 + 17989. Is n a multiple of 13?
True
Let v = 1865 - -1016. Is 4 a factor of v?
False
Suppose 2*v + 2*y = 7*y - 21, -2*v + 2*y - 6 = 0. Suppose -v*n = 3*n + 225. Is 15 a factor of 18/n - (-304)/10?
True
Let f(k) = -k**3 + 14*k**2 + 18*k - 14. Let v be f(15). Suppose 33*r = v*r + 488. Is r a multiple of 7?
False
Suppose -3*n - 1 = -5*u + 10, 10 = 4*u - 2*n. Suppose u*o - 547 = -3*y, -5*o + 385 + 157 = 3*y. Let h = 1 + y. Does 16 divide h?
False
Suppose 10 = 159*z - 161*z. Does 54 divide z/2*64/40 - -219?
False
Let j = 79 - 76. Suppose 0 = -j*x - 3*f + 138 - 3, 3*f - 3 = 0. Suppose 19*a - 15*a = x. Is a a multiple of 2?
False
Let c = 28949 - 20122. Does 103 divide c?
False
Let a(p) = p**3 - 61*p**2 - 46*p - 506. Does 78 divide a(65)?
False
Let h(p) be the third derivative of -p**5/60 + 3*p**4/8 + 13*p**3/6 - 6*p**2. Let m be h(10). Suppose 108 = f + m*r, 3 = 2*r - 3. Is f a multiple of 11?
True
Let f(z) = -5*z**2 + 628*z - 213. Is f(119) a multiple of 11?
False
Suppose -3*v + 6648 = 3*p, 19*p - 36826 = v + 5258. Is p a multiple of 31?
False
Suppose -261313 = -14*d - 92*d + 527963. Is 102 a factor of d?
True
Let i(m) be the third derivative of 11*m**5/60 + m**4/8 + 16*m**3/3 + 46*m**2. Is 6 a factor of i(-6)?
False
Suppose 20*g - 10*g = -10. Does 14 divide 4/(-16) + (9844/16 - g)?
True
Let b(r) = -1231*r - 6. Let v be b(1). Let k = -483 - v. Suppose -10*s = -2154 + k. Is 10 a factor of s?
True
Suppose 322 = -7*f - 294. Does 8 divide (-8)/24*-24 - f?
True
Let b = -2494 + 3621. Does 20 divide b?
False
Let a(r) = 122*r + 2390. Does 46 divide a(20)?
True
Suppose 11*p - 66 = -0*p. Let r be p/7*1547/(-13). Does 11 divide (-1 - r/(-10))/(4/(-20))?
False
Is (13 + (10 - 12) - 81)*(-614)/4 a multiple of 36?
False
Is (-4770)/2*9/(108/(-8)) a multiple of 10?
True
Suppose -29*q - 435175 = 3*q - 1749607. Is q a multiple of 69?
False
Let c(d) = 17*d + 69. Let l(f) = -6*f - 23. Let w(j) = -3*c(j) - 8*l(j). Let x be w(-10). Suppose -5*t + 5 = 0, x*t - 12*t = 2*s - 377. Is 16 a factor of s?
False
Let y(q) = 594*q**2 - 63*q - 185. Does 126 divide y(-3)?
False
Let r be ((-603)/(-134))/(1/(-18)). Is 12 a factor of 2 - 6 - 3 - r?
False
Let x(i) = i**3 - i + 200. Let s(w) = 3*w - 22. Let p be s(9). Suppose 4*r + 3*y - 4*y - p = 0, -r - 5*y = 25. Does 40 divide x(r)?
True
Let a(u) = 1118*u**2 - 123*u - 347. Is 40 a factor of a(-3)?
False
Let f be (-604)/(-32) - (-3)/24. Let c = f - -47. Is c a multiple of 19?
False
Let f be 24/5 + (-7)/(-35). Suppose 4*v = 3*r - 2*r + f, 2*v = -3*r - 15. Suppose m = -v*m + 53. Does 17 divide m?
False
Is 96 a factor of ((-51256)/43955 - (-4)/(-118))/(1/(-320))?
True
Let f be (-9)/((-54)/(-24)) - 6*-59. Is 77 a factor of f/20*(-44)/(-2)?
True
Suppose -3*d - 2*d = -75. Is ((-5)/d)/(-1) - (-22)/6 even?
True
Suppose 3*i = 0, 2*f - 12*i + 8*i = 40. Let r be (-45)/f*-4 + 4. Let s(u) = 8*u + 44. Does 37 divide s(r)?
True
Suppose -6*w + 3378 - 678 = 0. Suppose -11*j - w = -14*j. Does 58 divide j?
False
Suppose -2*j + 3*x + 1195 + 2372 = 0, -4*j + 7122 = -2*x. Is 3 a factor of j?
True
Suppose -51 = -2*f + 51. Let d = f + 49. Suppose 0 = 6*g - 4*g - d. Does 10 divide g?
True
Suppose -5*i = -5*r + 1205, -3*i + 1233 = 5*r - i. Let k = -353 + r. Is (k/15)/(2/(-35)) a multiple of 21?
True
Let q(g) = -29*g**3 + 2*g**2 - g + 1. Suppose 0 = -2*w - 32 + 36. Let l be q(w). Let h = -15 - l. Does 15 divide h?
True
Let d be (32/(-12) + 1)*111. Let m = d + 260. Let y = 158 - m. Is 55 a factor of y?
False
Let d = -6555 + 20923. Is d a multiple of 16?
True
Suppose 4*i = -k - 220896, 0 = -2*k + i - 4*i - 441792. Is 7 a factor of k/(-272) + (-2)/17?
True
Let g(t) = t**2 - 4*t + 11. Let y be g(5). Let j(d) = 4*d - 34. Let o be j(y). Suppose -o*q - 284 = -34*q. Is q a multiple of 13?
False
Let b = 5105 + -2842. Is 180 a factor of b?
False
Suppose -2*t - 5*k = -1860, 0 = -0*t + 5*t - 5*k - 4580. Suppose 2*i + 3*i - t = 0. Is 23 a factor of i?
True
Let z = -7512 - -8968. Does 8 divide z?
True
Let g be -1 - (-3 + -8*18). Does 14 divide 2 + (g - (-7)/(-7))?
False
Suppose 0 = 65*c - 67*c - 54. Let f(t) = -t**2 - 27*t + 22. Is f(c) a multiple of 11?
True
Let j(i) = -3*i - 9. Let m be j(-2). Let f be (-1)/(m/(-5) + 21/(-60)). Does 21 divide (-8)/32 + (-925)/f?
True
Let m(d) = 17*d - 59. Let a be m(12). Let n = a - 35. Is (n/(-3))/(0 + 3/(-9)) a multiple of 25?
False
Let k(t) = 10*t**2 - 18*t + 3. Let p be k(2). Suppose -p*b + 810 = -2*b. Is b even?
True
Suppose -80*d - 74*d - 297758 = -1813426. Is d a multiple of 19?
True
Suppose -153*q + 151*q + 5*c + 31749 = 0, 4*q - 2*c - 63426 = 0. Is q a multiple of 12?
True
Let f = 111 - 299. Let q = f - -312. Is q a multiple of 6?
False
Suppose 0*p - 2*p = 6, -2*v - 14 = 4*p. Is (v/3)/(6/(-10476)) a multiple of 37?
False
Let p(a) = a - 1. Let w(u) = u**3 - 7*u**2 + u - 11. Let f be w(7). Let o be p(f). Let y(k) = -k**2 - 7*k - 3. Is 3 a factor of y(o)?
False
Let l(c) = -c**3 + c**2 - 2*c + 3. Let r be l(0). Suppose 0 = 3*h + r*h - 504. Does 3 divide h?
True
Suppose -4*p = 2*b - 9960, 4*p + 0*p = 3*b - 14920. Is 30 a factor of ((-6)/(-8))/(12/b)?
False
Suppose -170 - 468 = 11*u. Is (-5)/((-30)/9) - 83607/u a multiple of 39?
True
Let u(x) = 3*x**3 + 3*x**3 - 38 + 21*x**2 - x**3 + 2*x**3 - 15*x - 6*x**3. Is 57 a factor of u(-19)?
True
Let c(u) = 10268*u**3 - 79*u + 78. Does 108 divide c(1)?
False
Does 32 divide 4/58 - (7943445/(-1305) - -39)?
True
Suppose 4*s + 1429 + 1043 = 0. Let u be ((-50)/(-35))/(-5) - s/7. Does 11 divide (u/3)/((-18)/(-27))?
True
Let m(j) = -j**2 - j - 5. Let u be m(0). Let a(o) = 7*o - 5. Let s(h) = -6*h**2 - h + 1. Let d(c) = a(c) - s(c). Is 17 a factor of d(u)?
False
Let w(l) be the first derivative of -25*l**2/2 + 4*l - 16. Suppose -o + 3 - 5 = 0. Does 5 divide w(o)?
False
Let i = 1364 + -578. Suppose i = 9*w - 3*w. Does 21 divide w?
False
Suppose v = 3*z + 11, 5 = 4*v - 3*v. Let d = 6 + z. Let s = 93 + d. Is 17 a factor of s?
False
Suppose 0 = 6*q - 1646 - 946. Suppose -27*y = -11*y - q. Is y a multiple of 2?
False
Let o be (18 + -75)*(-1 - (-67)/(-3)). Suppose 8*q - 2990 = o. Is q a multiple of 12?
True
Let u(m) = -33*m**3 - 5*m**2 - 7*m + 60. Is u(-3) a multiple of 3?
True
Let k = -1528 - -22942. Is k a multiple of 42?
False
Let r = -146 - -151. Suppose -8 = -b + p + 2, 2*b - 14 = r*p. Is 3 a factor of b?
True
Let v be 17213/21 + 2/(-3). Suppose -16*l + 9*l = v. Is 11 a factor of (2 + l/(-2))*2?
True
Suppose n = g - 3039, 15*g - 3*n = 22*g - 21243. Is 66 a factor of g?
True
Let p(l) = -l**3 - 21*l**2 - 21*l - 16. Let z be p(-20). Suppose -43 = -i - q, 0*q - 167 = -z*i - 5*q. Is 6 a factor of i?
True
Suppose -35*h + 25*h + 18490 = 0. Is 43 a factor of h?
True
Suppose -7*u - 76 = -356. Suppose -u*o - 13600 = -57*o. Does 32 divide o?
True
Suppose 3*h - 792 = -192. Suppose 4*j - 70 = -f, h = 4*f - 7*j + 3*j. Is 12 a factor of f?
False
Suppose 5*u - 2*l = 57838, 24*u - 22*u + l = 23137. Is u a multiple of 15?
False
Let f = -21886 - -22894. Is f a multiple of 7?
True
Suppose 3*o + 6*h - 102 = 3*h, -146 = -4*o - 2*h. Let m(d) = 15*d**2 + 9*d + 12*d**2 - o + 16*d**2 - 40*d**2. Is 9 a factor of m(6)?
False
Is ((-22)/33)/((88/(-86904))/11) a multiple of 16?
False
Suppose 0 = -4*c - k + 57684, -c + 3289 + 11115 = -4*k. Is 20 a factor of c?
True
Suppose 3*l - 2*b - b = 597, -2*l = -5*b - 398. Suppose 4*j - l = 65. Let d = -30 + j. Is d a multiple of 7?
False
Let z(l) = -8*l - 36. Let t be z(-5). Suppose 1038 = 3*h + w, -7*w = -t*h - 3*w + 1368. Is 67 a factor of h?
False
Let b(i) be the first derivative of -13*i**2/2 + 944*i + 1. Does 76 divide b(0)?
False
Is (-2)/(-4) + -1 - (-10982)/76 a multiple of 8?
True
Let j = 75 - 75. Suppose -5*b + 3993 + 4047 = j. Suppose 12*z - 4*z - b = 0. Is 19 a factor of z?
False
Does 19 divide 114590/77 - (-28)/(-154)?
False
Is (-486)/(-3645) - (-41156)/30 a multiple of 25?
False
Let c = 218 - 117. Suppose -3*x - 8 = -c. Suppose -x*f = -33*f + 90. Is 3 a factor of f?
True
Let s(l) = 555*l**2 - l + 2. Let a(d) = 1111*d**2 - 3*d + 5. Let c(t) = -2*a(t) + 5*s(t). Let 