 of (-291)/(-12) - 2/s?
True
Let o(z) = 202*z**3 + 54*z**2 - 18*z + 85. Is 169 a factor of o(6)?
False
Let a(m) = -57*m + 11. Let v(s) = 19*s - 4. Let n(t) = -3*a(t) - 8*v(t). Let z be n(7). Suppose -11*i - z = -15*i. Is i a multiple of 5?
False
Let y(j) = -12*j - 174. Let g be y(-14). Let p(i) = i**3 + 8*i**2 + 15*i + 29. Is p(g) a multiple of 8?
False
Suppose 0 = -2*d - 2 + 8. Suppose -14 = 4*j + 2*p, -d*p = 3*j + 2*p - 7. Is 6 a factor of j/(-8)*(19 + 5)?
True
Let i be (-8)/6*(-24)/32. Suppose 1 = u + i. Suppose 0 = -u*s + s - 5, s = 3*w - 85. Is w a multiple of 15?
True
Let z = -9001 - -14273. Is z a multiple of 3?
False
Suppose 45 + 11 = -2*h - 2*d, d - 28 = h. Is (-420)/(25/h + (-26)/(-182)) a multiple of 20?
True
Suppose -30 = -3*x - 5*s, 0*x - 5*x = 3*s - 34. Suppose o + 4*p = x, -3*p = 3*o - 0*p - 42. Suppose 16*f + 207 = o*f. Is f a multiple of 42?
False
Let y(s) = s**3 + 7*s**2 - s - 25. Suppose -9*g + 16 - 70 = 0. Is 13 a factor of y(g)?
False
Does 19 divide (1189/145 + 17)/((-2)/(-180))?
False
Let c = -72 - -84. Suppose 3*x + 4*m - 3603 = 0, -3606 = -3*x - 0*m - 3*m. Suppose 17*u = c*u + x. Is 39 a factor of u?
False
Let p = -20512 + 26579. Is p a multiple of 10?
False
Let r = -80 + 84. Let f be (-10 + 6)*(-811)/r. Suppose 0 = -7*l - 62 + f. Is l a multiple of 39?
False
Suppose m + 113168 = -4*n + 385708, 3*n - 3*m - 204435 = 0. Is 61 a factor of n?
True
Let j(m) = m**3 + m - 6. Let y be j(2). Suppose -a = a - y*w - 160, w = 1. Is a a multiple of 10?
False
Let y be (-440)/6 + 4/(-6). Let u = 9010 + -9008. Does 15 divide -2 + (u - 1 - y)?
False
Let g = -678 - -1322. Let x = g - 324. Suppose -46*q = -44*q - x. Is q a multiple of 20?
True
Is (-344605)/(-25) - (-168)/210 a multiple of 38?
False
Let d be 269 + 5 + 96/8. Suppose 2*i - 33 = -99. Let a = i + d. Is 48 a factor of a?
False
Let y(l) = l**3 - 8*l**2 - 9*l - 8. Suppose -2*p + 3*i = -21, -5*p - 22 + 79 = -3*i. Does 49 divide y(p)?
False
Suppose 34*w - 66 = 37*w. Let p be w/(-8) + (-14)/(-56). Suppose -p*t - 2*u + 428 = 60, -u = -t + 131. Does 14 divide t?
True
Let b = -140 - -142. Suppose -3*q + u + 1489 = b*u, q - 483 = -3*u. Is q a multiple of 11?
False
Suppose 115952 = 49*z - 259192. Does 116 divide z?
True
Let m(y) = -4*y - 41. Let i be m(-21). Let l = 51 - i. Is l even?
True
Let t(c) = 9181*c**2 + 22*c - 2. Does 26 divide t(1)?
False
Let k = -11 - -20. Suppose 73 + 413 = k*z. Is 4 a factor of z?
False
Let b(o) = -3*o + 24. Let x be b(13). Let t be (78 + -1)/(5/x). Is 21 a factor of -3*(-4)/12*t/(-1)?
True
Suppose 0 = 12*l - 3*r - 226182, -l - 22*r + 18846 = -21*r. Is l a multiple of 133?
False
Let a(d) = -d**3 + 19*d**2 + 5*d + 4. Let k be a(18). Let c = -202 + k. Does 18 divide c?
True
Suppose 7*b = 12 + 16. Let v be 2/(-3)*(3 + 0). Does 24 divide v*-2*(29 - b)?
False
Does 18 divide (648/126)/((-3)/((-26397)/6))?
True
Suppose -4 = 184*d - 186*d. Suppose 1753 = d*i - 743. Does 39 divide i?
True
Suppose 56 + 182 = 7*u. Suppose 32*t + 436 = u*t. Does 48 divide t?
False
Suppose -24*w - 3*j = -28*w + 710, 4*j + 360 = 2*w. Is w a multiple of 27?
False
Suppose -8645 + 21858 = 7*n - 53819. Is 57 a factor of n?
True
Let o(z) = 331*z - 478. Does 9 divide o(13)?
True
Let y(i) = -2*i**2 - 5*i + 10. Let a be y(-6). Let t = -29 - a. Suppose 2*h = -v + 171, -3*v - 257 = -t*h - 5*v. Is h a multiple of 17?
True
Let l be -17 + 7 - (1 - -1). Let v be (-2)/12*1 + (-1670)/l. Suppose -3*i + 0*n = -3*n - 186, 3*n - v = -2*i. Does 13 divide i?
True
Let u(p) = -6*p. Let g(r) = -3*r - 5. Let k(x) = 6*x + 9. Let z(q) = -5*g(q) - 2*k(q). Let b be z(-3). Is 5 a factor of u(b)?
False
Let m = 293 + -180. Let x = 329 - m. Is 8 a factor of x?
True
Let b be (-189)/(-12) + (-2)/(-8). Suppose -4*d + b*u - 14*u = -2080, 0 = -2*d + 3*u + 1040. Is 10 a factor of d?
True
Suppose 0 = -5*d - 3*a + 95083 + 146896, -193572 = -4*d - 4*a. Is 80 a factor of d?
True
Suppose 73*t - 61503 = 60*t. Does 167 divide t?
False
Suppose -6*j - 6248 + 39008 = 0. Is j a multiple of 28?
True
Suppose 4*z = 161 + 135. Let o = -69 + z. Suppose o*r - 1680 = -5*r. Is r a multiple of 21?
True
Let f(p) = 4*p**2 - 37. Suppose 5*g + 2*j - 4 + 53 = 0, -j = 2. Is 21 a factor of f(g)?
False
Let k(r) = 2*r + 201. Let b be k(7). Let p = -117 + b. Is 10 a factor of p?
False
Let y(d) be the third derivative of -d**5/24 - 11*d**4/12 - 4*d**3/3 + d**2. Let u(h) be the first derivative of y(h). Does 6 divide u(-8)?
True
Let n(r) = 13*r**2 - 12*r - 160. Let s be n(-46). Suppose 7*y - s = -8*y. Is y a multiple of 30?
True
Let w(i) = 165*i + 217. Is 46 a factor of w(9)?
True
Suppose 0 = 2*f + 5*y - 6286, -55*y + 20 = -60*y. Is f a multiple of 32?
False
Is 13 a factor of (-58354)/(-12) - (-15)/(-18)?
True
Let d = 424 - 156. Suppose -g + 71 = 3*z - 8*z, 4*g - 4*z - d = 0. Does 33 divide g?
True
Suppose 3*f - 5*a = 7992, -2*f - 87*a + 83*a = -5328. Is f a multiple of 9?
True
Is 4 a factor of 5/(-95) + (7466320/(-95))/(-16)?
True
Let z = -30591 + 56511. Suppose 3*l + 78 - 216 = 3*c, c + 2*l = -34. Is (z/c)/(-3) + (-6)/(-21) a multiple of 19?
False
Suppose -83834 + 53455 = 51*u - 258910. Does 5 divide u?
False
Let h(b) = b**3 - 29*b**2 - 54*b - 38. Let y be h(31). Suppose 15*c = 1065 + y. Is c a multiple of 8?
False
Let k(p) = -p**3 + 3*p**2 + 10*p - 12. Let m be k(5). Let j(h) = -h - 12. Let x be j(m). Suppose x = -s - 3*s + 4*q + 88, 0 = 5*s - 4*q - 112. Does 24 divide s?
True
Suppose -9*m + 10 + 26 = 0. Suppose m*k - 6*g + g = 23, -k + g + 6 = 0. Is 1297/k + (-10)/35 + 0 a multiple of 44?
False
Let d(s) = 24537*s**2 - 23*s - 29. Is 37 a factor of d(-1)?
True
Let w(i) = -2*i**3 - 6*i**2 + 3*i + 2. Let r(k) = 3*k**3 + 12*k**2 - 6*k - 6. Let c(f) = 4*r(f) + 7*w(f). Is 26 a factor of c(-5)?
False
Let n(j) = 31*j**2 - 172*j - 171. Does 18 divide n(10)?
False
Let w(s) = s + 30. Let k be w(-14). Suppose 5*o = 74 + k. Suppose -3*n = -5*p + 21, -p = -0*n + 4*n - o. Does 6 divide p?
True
Let a = 4136 - 2172. Does 22 divide a?
False
Suppose -5*c = -3*y + 44, -3*y + 6*y = 2*c + 23. Suppose 0 = -84*s + 83*s + 61. Let b = s - c. Is b a multiple of 17?
True
Let y(c) = 13*c**2 + c - 2. Let u(q) = 12*q**2 + q - 2. Let v(o) = 4*u(o) - 3*y(o). Let r be (16/(-68))/(-2) - 32/(-17). Is 18 a factor of v(r)?
True
Suppose 766 = 11*t + 8466. Is 4 a factor of (-36300)/t + -1 + (-16)/(-14)?
True
Let b be (-38)/1 - (3 - 8). Let z = b + 184. Is 16 a factor of z?
False
Let t = 56 - 15. Suppose 0 = -4*l + 31 + t. Does 5 divide (l/(-8))/(69/(-460))?
True
Suppose 0 = 2*k - 4*k - 5*h + 6, -k + 3 = -h. Suppose 810 = -k*z + 6*z. Suppose u - 6*v = -3*v + 54, -5*u - 3*v = -z. Is u a multiple of 6?
True
Let x(s) = -7*s**3 - 4*s - 4. Suppose 5 = -5*z - 3*g, g = 5*g - 20. Is x(z) a multiple of 20?
True
Suppose -219*v = -14614381 + 3671608. Does 29 divide v?
True
Let q(v) be the second derivative of 175*v**3/6 - 23*v**2 - 205*v. Is q(4) a multiple of 61?
False
Suppose 2*t + 2745 = 4*t + 3*k, 5*t - k - 6905 = 0. Does 23 divide t?
True
Suppose -26 + 8 = -9*o. Suppose 7 + 343 = 3*k + c, -3*k = -o*c - 362. Is k a multiple of 16?
False
Suppose -5*q = -6*q + 2. Suppose -q*n - 2 = -n + 5*f, -2*n + 4*f = -10. Suppose 2*i + 2*o - 62 = 0, i + 2 = -n*o + 39. Is 7 a factor of i?
True
Let m(x) = 105*x**2 + 94*x + 834. Does 149 divide m(-9)?
True
Suppose 0*m - m + 5*b - 26 = 0, 3*b = -m + 6. Let w be (2 + 9/m)/((-2)/4). Does 14 divide (w - -2)/(14/826)?
False
Let n(p) = p**3 - 66*p**2 + 276*p - 425. Is 65 a factor of n(74)?
False
Is 20 a factor of (121506/(-198))/(3/(-9))?
False
Suppose -1 - 2 = -m. Suppose 26*r - 23*r - 15 = -d, 5*d - r - 11 = 0. Suppose m*h = -2*j + 384, 2*j - d*h = 5*j - 582. Does 11 divide j?
True
Let i be ((-4610)/(-40) + -9)/(1/(-4)). Does 18 divide (108/15)/((-5)/i)?
True
Suppose 342440 + 405032 = 124*h. Is 11 a factor of h?
True
Suppose d - 9 = -6. Suppose 21 = d*w + 12. Suppose i = -4*i + 2*c + 566, w*i + 4*c - 324 = 0. Is 14 a factor of i?
True
Let n be (-2)/(2/(-119)) + 1. Suppose -c + 6*f - 2*f + 492 = 0, -2*c + 939 = f. Suppose n + c = 4*v. Is v a multiple of 37?
True
Suppose -8*m - 319 + 199 = 0. Let x(a) = -24*a - 126. Is 32 a factor of x(m)?
False
Suppose 1289440 = 110*n - 1226920. Is n a multiple of 86?
True
Let i be 1/(-1) + (-6 - -6) - -6. Let f = -17 - -19. Suppose g = 