2*i - 16 = -4*t, -3*t - 28 = -4*i. Is 244 - ((-12)/24 + 10/t) a multiple of 16?
False
Let l = -21 - -27. Let u be 1*(-3)/l - 42/(-12). Suppose -v + 23 = 5*p, -p - u*v - 2 = -5*v. Does 3 divide p?
False
Is 47 a factor of 1/((-3)/23406)*((-495)/(-6))/(-15)?
True
Is 13 a factor of (-1 - (-1 - (-391)/(-2)))*(-325 + 331)?
False
Let g be (-103)/(-4) - ((-91)/(-52) - 1). Suppose 0 = 35*f - g*f - 2170. Is 7 a factor of f?
True
Suppose -2*r + 9*r = -7658. Let v = -1027 - r. Is 6 a factor of v?
False
Let x be (483/(-20) + (-14)/56)*-10. Suppose 4*i - 220 + 47 = 5*c, 3*c = -5*i + x. Is i a multiple of 35?
False
Let y(f) be the second derivative of f**5/10 + 11*f**4/12 + f**3 + 3*f**2/2 - 12*f. Let n be y(-5). Does 11 divide ((-1)/n)/(4/632)?
False
Let d = -214 + 220. Does 18 divide (-2)/(-4)*d*7059/117?
False
Let c = 435 - 279. Let q = c - 100. Is 7 a factor of q?
True
Suppose -287 = 18*f - 17*f - 3*z, -4*f = -4*z + 1188. Let m = f - -474. Does 2 divide m?
True
Is 164/328*(20849 - -1) a multiple of 27?
False
Suppose 675*u - 678*u = -19791. Is 4 a factor of u?
False
Suppose 3*j + d - 57117 = 0, -2*d = -2*j + 2*d + 38064. Does 167 divide j?
True
Suppose 0 = 5*z + 2*d + 2*d - 43, 0 = -2*z + 3*d + 31. Suppose -19 = -10*c + z. Suppose 3*a - 36 + 11 = k, c*k - 42 = -4*a. Does 3 divide a?
True
Suppose 0 = -3*i + 5*z + 48733, 5*z = -5*i + z + 81160. Does 273 divide i?
False
Let k(a) = a**3 + 2*a + 1. Let s(i) = -135*i**3 + 2*i**2 - i + 2. Let n(j) = 5*k(j) + s(j). Is 13 a factor of n(-1)?
True
Let o(t) = t**3 + 19*t**2 - 2*t - 411. Is 6 a factor of o(-17)?
False
Let o = 9755 + -8264. Is o a multiple of 35?
False
Let y(k) = 24*k + 20. Let u be y(-1). Is (-2 - (3 + u))/((-2)/1212) a multiple of 86?
False
Suppose -378*h + 83*h + 337775 = 0. Is h a multiple of 3?
False
Suppose 68*q - 1961 - 1902 = 2053. Is q a multiple of 29?
True
Let k(o) = 4*o**2 - 142*o + 14. Does 19 divide k(-8)?
True
Let s(z) = z**2 - 5*z + 6. Let w(q) = -q**3 - 9*q**2 - 8*q + 5. Let f be w(-8). Let b be s(f). Is (4/b)/(-1) - 208/(-6) a multiple of 20?
False
Let b(v) = -38*v - 150. Let w be b(-8). Suppose -5*c - 2*a + 17 = -240, -w = -3*c - a. Does 2 divide c?
False
Let u(z) = -4*z**3 - 23*z**2 + 32*z + 21. Is 41 a factor of u(-13)?
False
Let p(c) = 3*c**3 + 8*c**2 + 16*c + 9. Let h be p(-6). Let z = -247 - h. Suppose -4 = 2*d + 4, -4*a + z = -2*d. Does 4 divide a?
True
Suppose 7*m = 8*m - 3*i - 862, -2*i = 2*m - 1692. Suppose 15*d = 13*d + m. Does 47 divide d?
False
Let d be 6/(52/24 - 2). Let r = d - 41. Is (-104)/r + (-6)/(-30) a multiple of 9?
False
Let o(m) = -40*m - 176. Let t be o(-7). Suppose 2*r - t = -2*z, 28*z + 224 = 5*r + 24*z. Does 21 divide r?
False
Let o(a) = 8*a**2 - 54*a + 13. Let x be o(7). Does 54 divide 6/x*1 + (-10424)/(-72)?
False
Suppose 1701265 = 63*o + 401386. Is 148 a factor of o?
False
Suppose 7*d - 10152 = -6561. Is 80 a factor of d?
False
Let t = 340 - 340. Suppose t = 3*i - 35 - 274. Is i a multiple of 6?
False
Let w(j) = -6*j**2 + 1044*j - 48. Does 62 divide w(160)?
True
Let t(i) be the first derivative of -i**4/4 + 4*i**3/3 - 7*i - 12. Let v be t(7). Let y = v - -323. Is y a multiple of 13?
True
Let t(c) = -66*c - 9*c - 52 + 30*c. Let y be t(-16). Suppose -131 = -h - 2*i, -3*h = 2*h - 3*i - y. Does 11 divide h?
False
Let j be (-1054)/(-12) + (-235)/282. Suppose -641 - j = -7*k. Is 4 a factor of k?
True
Let j = 724 - 273. Is j - 3 - (-3 + 10) a multiple of 16?
False
Suppose 277138 - 194218 = 466*i - 452514. Is 43 a factor of i?
False
Suppose 0 = t - 3*t. Let r(j) = 3*j**2 - 2*j + 39. Let h be r(t). Let y = h + -30. Is y even?
False
Let o(l) = 7*l**3 + 3*l**2 + 5*l - 103. Does 80 divide o(7)?
True
Suppose -m + 46752 = 16*m + 7*m. Is 13 a factor of m?
False
Let u = -261 + 285. Is u/(-9) + 2 + (-10400)/(-48) a multiple of 18?
True
Let j(q) = -10*q**3 - 12*q**2 + 8*q + 42. Is j(-8) a multiple of 6?
False
Let d be 2/(2/(-3) - (-376)/582). Let h = -98 - d. Let b(j) = 75*j**2 - 4*j - 2. Does 10 divide b(h)?
False
Let b = -486 - 6. Is (b - (-8 + 5))/(0 + -1) a multiple of 44?
False
Let q(f) = 6*f + 34. Let w be q(-5). Suppose 2*z + 3*o - 193 - 850 = 0, w*z - 2082 = -2*o. Does 26 divide z?
True
Let r = -193 + 192. Is 28 a factor of 189 - (4 + -1)*r?
False
Suppose 6*v = 7 - 1. Let k be v - -40 - (2 + 1). Suppose 3*o - 4 = k. Is o a multiple of 8?
False
Suppose 4*b + 2*b = 0. Suppose -2*u + c - 4 = b, -5*u = 3*c + 1 - 13. Suppose u = -4*f - f + 55. Is f a multiple of 2?
False
Let q = 42 + -45. Is 3 a factor of 3*(q - -4) + (3 - -30)?
True
Suppose -27*r - 14 = -29*r. Suppose r*f - 10*f - 42 = 0. Is 6/f - (-6314)/98 a multiple of 16?
True
Suppose -5*p + 67*p = -30*p + 519064. Is p a multiple of 26?
True
Let i = 5439 + -4569. Does 44 divide i?
False
Suppose -2*h = -4*b + 69402, -87*b - 3*h - 86751 = -92*b. Does 36 divide b?
True
Let r be 0*((-1)/(-10) + 9/(-15)). Suppose a + 44 - 165 = -5*u, 2*u + a - 49 = r. Is 4 a factor of u?
True
Let m = 4027 + -3104. Is 71 a factor of m?
True
Let g be -335 - (6 + -10 - (1 + -7)). Let u = -232 - g. Does 21 divide u?
True
Let l(b) = -b**2 + 16*b + 1686. Let p be l(0). Is -1 + (p/16 - 24/64) a multiple of 26?
True
Suppose -u = -0*u. Suppose u = -3*v + v + 122. Let s = -57 + v. Is 4 a factor of s?
True
Let w(i) = 119*i**3 - i**2 - 11*i + 23. Is w(4) a multiple of 11?
True
Let i(a) = a**2 - 6*a - 20. Let f be i(8). Is 8 a factor of 57/38 - (1042/f + -2)?
True
Let t be (1 + -5)/((-5)/(7510/4)). Let m = 2213 - t. Does 11 divide m?
False
Let w(k) = -k**2 - 30*k - 35. Let q be w(-19). Let l = q - 142. Does 8 divide l?
True
Let a = 30 + -27. Suppose -51 + 216 = -a*f. Let k = -48 - f. Is k even?
False
Suppose 23*r - 15840 = -22*r + 36*r. Does 10 divide r?
True
Suppose 447*u + 6270 = 450*u. Is u a multiple of 38?
True
Suppose -2*n - 3 = 2*j + j, -2*n - 4*j - 6 = 0. Suppose 0 = 3*b - n + 30. Let p = b + 33. Is p a multiple of 24?
True
Let c = -11080 - -19155. Is 25 a factor of c?
True
Let w(n) = -n**2 + 16*n + 19. Let d be w(17). Suppose l - 640 = -2*m - 2*m, 0 = 5*m - d*l - 800. Is m a multiple of 16?
True
Let h = -820 - -2691. Suppose 2*d - 2*l = -4*l + 1880, 2*d + 5*l = h. Is d a multiple of 17?
False
Let w = -757 - -822. Let l be 14/(-7) - -65*3. Suppose -s + l - w = 0. Is s a multiple of 38?
False
Let d be (-1 - 134/8)/(13/52). Let w = 162 + d. Suppose b = 64 + w. Does 14 divide b?
False
Suppose -x = 2*k - 8710, -4*k + 297*x + 17426 = 296*x. Is 11 a factor of k?
True
Let a be 0*(7*1/(-2) + 4). Suppose a = 9*q - 17*q + 2904. Is 33 a factor of q?
True
Let v(p) = 4*p**3 + 138*p**2 - 80*p + 71. Is 47 a factor of v(-29)?
False
Let p(a) = -a + 47 - 77 + 54. Let j be p(19). Suppose 1 + 64 = j*l. Is l a multiple of 4?
False
Let o = 16314 + -444. Is o a multiple of 23?
True
Suppose d - 4*j - 18 = 0, 2*j = -5*d - 0*d + 24. Let m(c) = c**3 - 8*c**2 + 13*c - 4. Let n be m(d). Suppose 2*x + n*x = 288. Does 9 divide x?
True
Let s be 10/(-3)*(-78)/52. Suppose -a = n - 1032, s*n - 2073 = -3*a + 1029. Does 51 divide a?
False
Suppose -5 = -2*l - 3*l. Suppose -f + 2*y = -13, 0 = -f + 3*y + 2*y + l. Is 8 a factor of -243*(-4)/f + (-4)/14?
False
Let u be (-18985)/20 + (-174)/(-24) + -7. Let o = -721 - u. Is 4 a factor of o?
True
Suppose 4*j + 0 = 3*c - 4, 0 = -2*j + c. Suppose 4*g = -2*v + 224, 4*v - 3*g = 184 + 319. Suppose j*a + 42 = v. Is 10 a factor of a?
True
Suppose 2*k = 6*k - 4. Let x be -3 + (1 - 1) + (0 - k). Does 12 divide 86*4/(-32)*x?
False
Let z = -175 + 406. Let o = 268 - z. Is o a multiple of 9?
False
Let u(c) = 2*c**2 + 48*c + 50. Let z be u(-23). Suppose 5*m + 297 = z*x, -2*x + 4*x - 156 = 4*m. Is x a multiple of 50?
False
Let b(m) be the third derivative of m**5/12 - m**4/8 - 2*m**3/3 - 11*m**2. Let w be b(-4). Suppose 12 = 3*l, 6*c - w = 3*c + 5*l. Is c a multiple of 6?
True
Suppose 58*r + 27 = 54*r - 5*t, -5*r + 4*t = 3. Does 18 divide r*(-1)/3 + 418/2?
False
Let f be (-6)/51 - 2/(-17). Suppose -5*r - 3*n + 639 = 0, f*n - 133 = -r + 2*n. Suppose r = 3*v - 252. Does 34 divide v?
False
Let k(d) = 18*d + 90. Let l(y) = -1. Let b(j) = -k(j) - 4*l(j). Is 4 a factor of b(-8)?
False
Suppose 0*o = -3*o - 3*v - 909, -v = -o - 295. Let x = -107 - o. Does 45 divide x?
False
Suppose -3*b = -5*v + 2496, -25*b + 30*b = 4*v - 2015. Is v a multiple of 175?
