f 12?
False
Suppose -2*k - 20884 = -3*l, -k + 27151 + 687 = 4*l. Is l a multiple of 103?
False
Suppose 13*c - 64944 = 10*c - 13*c. Does 10 divide c?
False
Let d = -10183 + 6301. Is d/15*-5 - -7 a multiple of 19?
False
Let v = 92 - 189. Let x = v - -61. Does 15 divide 502/6 + -3*4/x?
False
Suppose 589*s - 500*s - 1564353 = 0. Is 40 a factor of s?
False
Let v = 989 - 965. Suppose 0 = v*k - 15136 + 4000. Is k a multiple of 65?
False
Let j(x) = 9*x - 1. Let k be j(5). Let w = k - 42. Is 2 a factor of (-48)/w*4/48*-15?
True
Let m = 140 - 140. Let t(i) = -i**3 - 4*i**2 - 3*i + 179. Does 4 divide t(m)?
False
Suppose -5*m + 32 = -568. Is m/(140/32 - 4) a multiple of 17?
False
Suppose -91621 = 37*u - 226480 - 153852. Is u a multiple of 17?
True
Let t(y) = -2*y**3 - 10*y**2 - 7*y + 25. Let a be t(-7). Let i = 497 - a. Is i a multiple of 16?
False
Let r(t) = 19*t**2 + 0*t**2 + 2 + 4*t**2 - 4 + 4*t. Is 40 a factor of r(6)?
False
Let i = 603 - 306. Let v(s) = -s**3 - 5*s**2 + 7*s - 47. Let t be v(-7). Suppose i = t*l + 89. Is 13 a factor of l?
True
Suppose -9*l + 68 = -211. Let q = -787 + l. Does 16 divide (-6)/(-8) - q/16?
True
Let q be 2/(5/3 - 4/6). Suppose -2*o + 3*m = m + 2, q = 4*o + 2*m. Suppose -5*w = 2*y - 143, 2*y = -o*y + 2*w + 122. Is y a multiple of 8?
True
Suppose 5*x + 347 = -3*m + 1258, -3*x = -4*m + 1176. Suppose m + 1599 = 6*y. Does 25 divide y?
False
Suppose 4*x - 2*d - 5830 = 0, -4*x + 5812 = -116*d + 120*d. Is 7 a factor of x?
True
Let c(t) = 430*t**3 + t**2 + t - 5. Let l be c(2). Suppose -5*y = 3*g - l, 1365 = 27*y - 25*y + 5*g. Is 5 a factor of y?
True
Let h(w) = 5*w**2 + 7*w - 3. Let p be h(6). Let c = 2242 - 1803. Let b = c - p. Is 55 a factor of b?
True
Let b(y) = 2*y**3 + 11*y**2 - 6*y - 5. Let d be b(-6). Does 35 divide (-4030)/(-15) + d/(-15)?
False
Let t(o) = 114*o**2 + 720*o - 15. Does 103 divide t(8)?
False
Let d be 2 + 12/(-6)*(-1)/(-2). Let j be -2 + (-6)/(d + -4). Suppose h - 2*l = 5*h - 88, -h - 2*l + 28 = j. Is 10 a factor of h?
True
Suppose -109*v + 668984 + 1654351 = 0. Is 15 a factor of v?
True
Suppose 3*u + 14 = -5*h, -13*u - 5*h - 28 = -17*u. Suppose -5*p + 5348 = -2*w, -u*p - 950 = -4*w - 3102. Does 13 divide p?
False
Suppose -h + 112 = -5*p, -2*h - p + 164 = -38. Suppose -g = 4*q - 57, 21*q = 4*g + 20*q - 245. Suppose 2*t = -2*k + h, -t + 2*k + 2*k = -g. Is 4 a factor of t?
False
Let m be -1 + -4 + (38 - -1025). Suppose 4*n = f - 370, -m = -2*f - 5*n - 266. Is 59 a factor of f?
False
Let x(r) = 2*r**3 + 23*r**2 + 13*r + 26. Let o be x(-11). Suppose 4*c - 2184 = -o*c. Does 28 divide c?
False
Suppose 0 = 3*h - 3, -5*i + 4651*h + 37407 = 4653*h. Is i a multiple of 33?
False
Suppose -6*o = -o - 15, 0 = -4*w - 4*o + 240. Suppose 17*h - w*h + 1400 = 0. Is h a multiple of 3?
False
Suppose -3*n - 18 = 3*t, -t - 3 + 0 = 4*n. Let x(y) = y + 15. Let a be x(t). Is 3/(-12) + 410/a a multiple of 17?
True
Is (-3)/2*(-2392716)/102 a multiple of 37?
True
Suppose 2037 = -5*v + 2*b + 14465, -7444 = -3*v - 2*b. Is v a multiple of 23?
True
Suppose -i + 3*v + 0*v + 3 = 0, -4*v - 20 = 0. Is (243/i)/((-2)/32*2) a multiple of 30?
False
Suppose 2 = b - 3. Suppose -5*q + a - 5*a = -421, b*q = 2*a + 427. Let z = -35 + q. Is 25 a factor of z?
True
Let a be ((2 - 5)/(-3))/(-1) + 10. Suppose 5 = -4*f + 5*b + 22, -4*f - 3*b = -a. Suppose -2*x + 102 = f*h - 68, 0 = -3*h - x + 175. Is 14 a factor of h?
False
Let l(n) be the second derivative of -n**4/12 + 5*n**3/6 + 3*n**2/2 - 17*n. Let t be l(6). Is 7 a factor of 4*t/(-12)*(9 - -2)?
False
Let t be 292 - (-2 - -4 - 0). Let i be -145 + (-105 + 106)/(2/10). Let d = i + t. Does 15 divide d?
True
Is ((-2)/(-4))/((14/2)/217784) a multiple of 168?
False
Let b(t) = t**3 + 7*t**2 + 10*t + 14. Let m be b(-6). Let n be (m*(-21)/(-14))/(-1 - 0). Is 100 - 5/n*3 a multiple of 33?
True
Let l(a) be the first derivative of 2*a**3/3 + a**2 - 12*a + 160. Suppose -3*f + 3*n + 15 = 0, 0*n - 5*n + 10 = 0. Is l(f) a multiple of 20?
True
Let t = -357 + 365. Does 31 divide ((-248)/6)/((-5)/(t + 7))?
True
Let n(d) = 23*d + 12*d**2 - 13*d - d - 18. Let q be n(6). Let x = -248 + q. Does 13 divide x?
False
Let j = 21346 - 12274. Is 27 a factor of j?
True
Suppose -1302272 = 1794*a - 1810*a. Is a a multiple of 16?
True
Does 6 divide ((-623)/2 - -2)/((-1)/2)?
False
Let a(w) = w + 15. Let s be a(11). Let o(j) = 4*j - 77. Let k be o(s). Suppose 3*f = 3*p - 33 - k, -3*f - 37 = -2*p. Does 7 divide p?
False
Let s(f) = 4*f**2 - f - 1. Let n be s(2). Suppose 4*v - 2234 = -x, -3*v = 10*x - n*x - 1668. Is 7 a factor of v?
False
Suppose -4*d = -5*n - 1453, 5*n + 16*d = 19*d - 1456. Let x = n + 473. Is 20 a factor of x?
True
Let w(p) = -15*p - 935. Is 4 a factor of w(-71)?
False
Suppose 9*g = -128 + 20. Let a be (100/g - -7)*3/(-1). Suppose -630 = -a*x - 2*x. Is x a multiple of 40?
False
Let y(m) = m**3 + 7*m**2 + 5*m. Let c be y(-6). Is (3 - (69/c + 0))*-4 even?
True
Let g(z) = -58 + 161*z - 51 + 105. Is g(1) a multiple of 26?
False
Let w(u) = -180*u**3 + 2*u**2 + 5*u + 4. Let c be w(-2). Suppose 743 = -2*d + 5*j, 104 = -4*d - 2*j - c. Is (19/4)/((-24)/d) a multiple of 19?
True
Suppose -392 = -12*b + 424. Suppose -3*p + 5*r + 111 = 2*r, -4*p + 2*r = -150. Let t = b - p. Is t a multiple of 12?
False
Suppose -2*j + 4*l = -10748, 100*j + 4*l = 104*j - 21520. Does 91 divide j?
False
Suppose 0 = d + 2*d - 12. Let y(f) = 3*f**2 + 36*f - 446. Let o be y(-20). Suppose -d*n + 512 = j + o, -370 = -3*n + 5*j. Is 24 a factor of n?
True
Let r = -1507 - -2986. Is r a multiple of 33?
False
Suppose 2*n = v + 14511, 0 = -2*n - 13*v + 17*v + 14502. Does 59 divide n?
True
Let o = 2328 + 4360. Is 88 a factor of o?
True
Let b be (-30)/(-12)*(-4)/(-5). Suppose -b*t - 2640 = -5*t. Suppose -5*p + 0*s = 3*s - t, -4*p - 2*s = -704. Is p a multiple of 22?
True
Suppose -j = -z - 820, 4*z - 2841 = -5*j + 1304. Suppose -9*s - j = -4*y - 6*s, 4*s + 1031 = 5*y. Is y a multiple of 23?
True
Let v be (0 - (9 - 0)) + 9. Suppose -2*b + 333 = 43. Suppose v = -4*j - 4, 3*j - 4*j = -3*n + b. Is n a multiple of 12?
True
Suppose a = 3*v - 9602 + 23856, -4*a - 4*v + 57064 = 0. Does 28 divide a?
False
Let j(l) = 28*l**2 + 20*l + 2. Let u be j(-6). Let q = -471 + u. Is 17 a factor of q?
False
Let y(b) = -3*b**2 - 46*b - 24. Let i(u) = 2*u + 1. Let k(z) = -2*i(z) + y(z). Is 3 a factor of k(-16)?
True
Suppose -3*j - 4*a - 32 = -6*j, 5*a = 3*j - 37. Is 75 a factor of 450/(-12)*((-14 - -4) + j)?
True
Let q(k) = 35*k**2 - 14*k + 30. Let h(w) = -35*w**2 + 14*w - 32. Let s(y) = -6*h(y) - 5*q(y). Does 13 divide s(4)?
True
Let f be (-6)/15 - (-2)/5. Let i(q) = 2*q + 2*q - 56791*q**3 + q**2 + 37 + 56790*q**3. Is i(f) a multiple of 6?
False
Let d(n) be the first derivative of -26*n**2 - 137*n + 142. Is d(-11) a multiple of 29?
True
Let h = 24 + 40. Let u = h - 54. Is (((-2)/(-6))/(u/1710))/1 a multiple of 11?
False
Let r be ((-17)/(85/(-180)))/(10/(-185)). Let l = 1251 + r. Is l a multiple of 13?
True
Suppose -3*x + 4*r + 285 = 0, -r = x - 6*r - 106. Suppose 0 = -4*f + x + 181. Suppose 2*m - 2*w = w + 100, -m = 3*w - f. Is 14 a factor of m?
True
Suppose -2*a = -126 + 12. Suppose t + 144 = 5*t. Let n = a - t. Does 7 divide n?
True
Let j = -7770 + 10020. Does 18 divide j?
True
Let y be 65*1 - (0 + 1). Let j be 30/(-12)*y/(-5). Suppose z = j + 86. Does 12 divide z?
False
Suppose s - 1501 = -5*l, -3*l + 5*s + 403 = -492. Suppose 0 = l*o - 297*o - 1176. Is 27 a factor of o?
False
Does 17 divide -3 + -11 + -8 - -36980?
True
Is 17 a factor of 180/300 - (-212916)/15?
True
Let v(s) = 209*s**2 + 184*s - 2352. Does 128 divide v(12)?
True
Suppose -3*l + 185 = -3*n + 4*n, -5*l = -3*n - 285. Let o = l + -51. Let d = 95 + o. Is 26 a factor of d?
True
Let w(h) = h**3 - 19*h**2 + 56*h + 12. Let s be (-3)/(-5) - (-574)/35. Is 18 a factor of w(s)?
False
Is 131 a factor of ((-580956)/(-108) - (-2)/(-9)) + -8?
True
Let c(q) = -4*q + 15. Let u(f) = 5*f - 15. Let j(y) = 4*c(y) + 3*u(y). Let r be j(13). Suppose -7*b = -r*b - 275. Does 9 divide b?
False
Let l(z) = 40*z - 65. Suppose j - 1 = 2*o, -j + 2*o + 2*o - 3 = 0. Does 15 divide l(j)?
True
Let g(x) = -101*x + 5 + 17*x**2 + 51*x - 52 + x**3 + 18 + 62*x. Let o be -1 + -15*1/1. Is g(o) a multiple of 5?
True
Let r(v) = -v**2 - 21*v - 33. Let n be (0 - 1)/6 + 