?
True
Let p = -10714 - -11484. Is 4 a factor of p?
False
Let l(j) = -9*j**2 + 4*j + 8. Let u(w) = 7*w**2 - 3*w - 9. Let c(o) = 3*l(o) + 4*u(o). Suppose 9 = h - 2*h. Is c(h) a multiple of 23?
True
Suppose 7*n = 12*n + z - 22995, 4*n - 18375 = -5*z. Is n a multiple of 25?
True
Let m(s) = -s**3 - 12*s**2 + 12*s + 17. Let r be m(-13). Suppose -4*q - r = -q + 3*n, -4*n = q + 13. Does 19 divide (-36)/(-162) + (-1366)/q?
True
Let y be -10*3/(-24)*4. Does 25 divide y/10 + (-5593)/(-14)?
True
Is 21 a factor of 415*((-13)/(-156))/(25/160)*3?
False
Let f(o) = o**2 + 21*o. Let r be f(-21). Suppose p - 4*n = -71 + 367, -4*p + 4*n + 1232 = r. Is 3 a factor of p?
True
Does 124 divide ((-9)/(-18))/((5 - 54663/54666) + -4)?
False
Let n = -5754 - -9418. Is n a multiple of 16?
True
Suppose -15*h + 95 = -55. Let t(w) = -w**3 + 15*w**2 - 33*w + 84. Is 4 a factor of t(h)?
False
Suppose -4*l = 21*l - 18850. Let t = l + 287. Is t a multiple of 27?
False
Let l be 4/12*(-7 - -1) + 4. Does 6 divide 47762/221 + 4*l/(-68)?
True
Let x = 128 + -98. Let f = x - -19. Is 6 a factor of f?
False
Suppose 4*z - 3*j = 8939, -13*j + 11*j + 14 = 0. Does 43 divide z?
False
Let q = 245 + -434. Let i(c) = 3*c - 42. Let p be i(17). Let x = p - q. Is 18 a factor of x?
True
Let r be ((-1008)/(-35) - -4)/((-4)/(-10)). Let h = 460 - r. Is h a multiple of 63?
True
Let l(q) = -4*q + 72. Suppose 14*k = 8*k. Is l(k) a multiple of 4?
True
Let a(o) = 1050*o - 10128. Is a(13) a multiple of 11?
False
Let s(u) = 340*u - 591. Is 161 a factor of s(6)?
True
Let f be (-346)/2*(-3 + 2). Let t be (-5 - -91)*4 + 7. Let q = t - f. Does 18 divide q?
False
Does 62 divide (15052/(-8) - (7 + 2))*-2?
False
Suppose -3*o + 24 = 5*o. Suppose -5*s = o*s + 48. Let x(h) = -h**3 - h**2 + 15*h + 5. Is x(s) a multiple of 15?
False
Let t(m) = 3*m**3 - 5*m**2 + 27*m - 5. Let i be t(6). Is 27 a factor of (-16)/12*(-18)/4 + i?
False
Is (-21945)/30*((-6)/(-3) - (1 - -13)) a multiple of 15?
False
Suppose -5*d - u + 38499 = 0, -29*u = -4*d - 26*u + 30822. Is 51 a factor of d?
True
Suppose m = -4*w + 15, -7 = 5*w - 4*m - 31. Let g be ((-16)/12)/(w*(-1)/(-6)). Is ((-2)/g - 2)/(8/(-520)) a multiple of 13?
True
Suppose 13 = 3*i + 7. Is 10 a factor of (i - 0)/(930/(-233) + 4)?
False
Let o(g) = g - 3. Let r be o(8). Let i be ((-25)/4)/(18/(-288)). Suppose -r*j = 4*n - i + 32, n - 17 = -3*j. Is n a multiple of 10?
False
Let w be (-1 - -7) + 1/(-2)*8. Let u(y) = 5*y**3 - y**2 - 5*y + 1. Is 27 a factor of u(w)?
True
Suppose 5*x - 4*n = 20106, 33*x - 30*x + 3*n = 12096. Is x a multiple of 66?
True
Let i = 19 + 119. Let v = 228 - i. Is 90 a factor of v?
True
Suppose -132*p + 130*p = -6. Suppose -p*z + 184 = 3*l - 290, -2*z + 310 = -l. Is z a multiple of 13?
True
Suppose 4*q - 7*q + 24 = 0. Suppose -5*s + q*s = 132. Does 9 divide (-145)/(-4) - 11/s?
True
Is 2 a factor of ((-23)/2)/(((-154)/(-22))/(-3654))?
False
Let o(q) = 57*q**2 - 15*q + 16. Is 2 a factor of o(1)?
True
Let f = 38525 + 3955. Does 76 divide f?
False
Suppose -120*o + 9360 = -108*o. Is o a multiple of 15?
True
Let m(q) = 4*q + 44. Let z be m(-11). Let i be z - 3 - (-1 + -4). Suppose 0 = k + i*k - 357. Is k a multiple of 8?
False
Let f = 3094 + 3157. Does 10 divide f?
False
Let z(y) = y**2 - 12*y - 21. Let o be z(12). Let p(f) = 24*f + 1. Let s be p(5). Does 17 divide 6/o + s/7?
True
Let q(a) = 2*a**2 - 55*a - 25. Let u be q(28). Suppose -3*h + 4*h = u*n - 1672, -3*h = -2*n + 1103. Does 43 divide n?
True
Let z = -90 + 94. Suppose 0 = z*g - 2*u + 142, 151 = -4*g - 4*u + 15. Let s = g - -70. Is s a multiple of 7?
True
Let s = 76 - 76. Suppose 4*x = -s*x + 1228. Suppose a = -4*y + x, 3*y - 1 - 213 = -4*a. Is 26 a factor of y?
True
Let u = 63 + -61. Suppose 2*j - 6*j + 80 = u*l, 4*l - 150 = 2*j. Suppose 4*o + 46 = c - o, -c + o = -l. Does 9 divide c?
True
Suppose -67*j = -82*j + 50040. Does 8 divide j?
True
Let n(t) = 1102*t**2 + 2*t - 1. Let m be n(1). Suppose r + 164 = -4*g, 5*r - 349 = 2*g - m. Is 9/(r/52 - -3) a multiple of 13?
True
Let x = 32 + -26. Suppose -2*n + 3*s = -6, -x*n + 5*n + 3 = 2*s. Suppose 15 = -n*g - 0, 2*b + g = 111. Does 11 divide b?
False
Let b = 63 - 59. Suppose 3*a = -b*v + 6, -8 = -4*a - 5*v - 0*v. Suppose 36 = 2*g - a. Is g a multiple of 13?
False
Suppose -176*c + 91911 = 3*p - 177*c, -c - 6 = 0. Is p a multiple of 14?
False
Let x = -82 + 225. Suppose 9*d - x - 1171 = 0. Let b = d - 98. Is 16 a factor of b?
True
Let u(f) = 91*f**2 - f + 2. Let z be 18/12*(-1)/((-6)/52). Let g = 14 - z. Does 38 divide u(g)?
False
Let m be ((-188)/(-18))/2 + 2/(-9). Suppose 5 = u - p, m*p + 0 = u - 13. Suppose u*w - 62 = 3*l - 251, 5*w = 4*l - 255. Does 6 divide l?
True
Suppose -107 = 3*h + 3*d - 296, -5*d = 4*h - 256. Suppose 0 = h*b - 60*b - 80. Let s = b - -174. Does 24 divide s?
False
Let q = -185 + 187. Suppose q*f - 305 + 13 = 0. Is f a multiple of 5?
False
Let i(x) = -x**2 + 33*x - 5 - 12 - 23*x. Let a be i(4). Suppose 2*q = -a*r + 3*r + 202, -q - 249 = -5*r. Is r a multiple of 16?
False
Suppose 198 = 6*z + 16*z. Suppose -z*t + 264 + 312 = 0. Does 4 divide t?
True
Suppose -99 = 4*d + 3*i + 16, 4*i = -5*d - 145. Let f(j) = -j + 139. Is 41 a factor of f(d)?
True
Let q(w) = w + 26. Let b be q(-21). Suppose b*o + 3*g - 133 = 0, 9*o + 2*g - 137 = 4*o. Let c(d) = 5*d - 26. Is c(o) a multiple of 17?
True
Let w = 2831 - 1311. Does 38 divide w?
True
Let c be ((-462165)/(-2))/((-4)/(-16)). Let m be c/(-195) - 2/(-13). Is ((-6)/(-8))/((-15)/m) a multiple of 18?
False
Let t(j) = -721*j - 1625. Is t(-5) a multiple of 6?
True
Let a = 697 + 458. Is 77 a factor of ((-7)/(-3) - 2)/(1/a)?
True
Suppose -12 = u - 7*u. Let k be (-7*1)/(-5 + (6 - u)). Let w = k + 22. Is 16 a factor of w?
False
Suppose 5*g - 10031 = -3*l - 1738, 0 = -3*g - 5*l + 4963. Is 38 a factor of g?
False
Suppose -2*z - 10 = -4*r - 4*z, 3*z = 4*r + 15. Suppose -h + 790 = 2*l - 3*h, r = -3*l + 2*h + 1182. Does 28 divide l?
True
Let o(u) = u**3 + 16*u**2 + 13*u - 16. Let a be o(-17). Let d = 982 + a. Does 24 divide d?
True
Let i = -45 - -45. Suppose i = 15*a - a + 126. Is 47 a factor of (3 + a)*((-41)/2 + -3)?
True
Let j(r) = -r**3 + 6*r**2 + 3*r. Let f be (-16)/28 - (-128)/28. Suppose -a = a + f*s - 32, -15 = -3*s. Is 6 a factor of j(a)?
True
Suppose 5*a - 15 = 5*l, 0*a - 13 = l - 3*a. Suppose 6 = l*p + 4*u - 4, p + 3*u - 3 = 0. Suppose -p*y = -7*y - 66. Does 4 divide y?
False
Let x(w) = -16 - 2 - 1 + 1 - 4*w. Suppose 8*f - 9*f = 0, -4*f + 150 = -5*j. Is x(j) a multiple of 6?
True
Let m(b) = -b + 34. Let z be m(15). Let f = 22 - z. Suppose 0 = 4*l - f*l + 5*r - 8, -l + 44 = -4*r. Is l a multiple of 7?
True
Let o = 12896 + -1981. Is 185 a factor of o?
True
Suppose 4*x - 10 = -2*i, 3*i = 2*x - 10 - 7. Suppose 4*f + x*p = 676, f = -5*p + 6*p + 171. Suppose -t - 275 = -3*j, 0 = 2*j - 4*t + 6*t - f. Does 39 divide j?
False
Let a = 2126 + 1005. Is a a multiple of 12?
False
Suppose -15175 = -5*j - 5*n, -j - 3*n = -4214 + 1185. Is 32 a factor of j?
False
Let n(p) be the first derivative of -65*p**4/4 - p**3/3 - 47. Suppose -13 + 6 = 7*y. Is n(y) a multiple of 32?
True
Is 20 a factor of (713115/260)/(-5 - (-42)/8)?
False
Does 7 divide (13864/(-6))/(((-47)/(-3))/(-47))?
False
Suppose 32199 = 3*o - 3*j - 13455, -2*j = 6. Does 5 divide o?
True
Let m = 296 - 393. Let x = 501 - m. Is x a multiple of 26?
True
Suppose 9 = 6*a - 81. Let y be (-5)/(a/(-2))*-3. Let r(t) = -9*t**3 - 6*t**2 - 6*t. Is r(y) a multiple of 9?
False
Let f(a) = 16*a**2 - 35*a - 170. Does 62 divide f(-28)?
False
Let w = -76 + 1337. Suppose 0 = -6*d - 325 + w. Does 8 divide d?
False
Let f = -12781 - -31852. Does 13 divide f?
True
Let f be 5*(40/(-5))/(-8). Suppose 2*x - 3 = 3*x, f*x + 2175 = 5*c. Does 16 divide c?
True
Let j = -776 - -783. Let v be 3/(-6*(-3)/12). Is (v + (-430)/35)/((-1)/j) a multiple of 12?
True
Let z be -5*((-4)/48*2 + (-1957)/(-114)). Suppose -4*b - b - 19 = 3*h, -11 = 2*h + 5*b. Is 18 a factor of h/(-12) - z/3 - 0?
False
Suppose -15*r - 70045 = -376705. Is r a multiple of 94?
False
Let o = 20954 + -6116. Is o a multiple of 107?
False
Suppose -4*n = -7*n + 45. Let x(v) = n*v**2 + v + 183 - 16*v**2 - 60. Does 33 divide x(0)?
False
Suppose 90*b = 140742 - 43542. Is b a multiple of 11?
False
Let m(w) = -w + 58. Let f be m(33). Suppose j +