14*n - 1843185. Is 13 a factor of n?
True
Suppose -2*x - 54*n = -32*n - 15588, 0 = -5*x - 4*n + 38613. Is x a multiple of 249?
False
Let u(s) = 584*s**2 + 4*s + 29. Is 25 a factor of u(8)?
False
Suppose 0*f + 4*f + 3*o = -84, f = 4*o - 2. Let l = 34 + -32. Let c = l - f. Is c a multiple of 6?
False
Is 63 a factor of 1320928/(-392)*7/(-2)?
False
Let w = 66 + -71. Let j be ((-101)/w)/(8/40). Let x = j + -82. Is 2 a factor of x?
False
Does 155 divide (-55481)/(-5) + (-1446)/1205?
False
Let m(x) = -3*x**3 - 3*x**2 + 5*x + 4. Let b be m(2). Let q(y) = -2*y**2 - 102*y + 11. Does 33 divide q(b)?
True
Let a(g) = -69*g + 19. Let r(k) = 6*k + 25. Let p be r(-5). Is a(p) a multiple of 28?
True
Let n(s) = -s + 56 - 28 - 64*s**2 - 32. Let t be n(2). Let z = t + 372. Does 29 divide z?
False
Let w = -289 - -21392. Is w a multiple of 30?
False
Is (-36)/8*872/(-6) a multiple of 2?
True
Let v(l) = -4*l + 41. Let z be v(9). Suppose -j + 1 - 24 = -2*d, -z = -5*j. Does 4 divide d?
True
Let z(x) = 18*x + 59. Suppose -5*n + 298 - 163 = 0. Does 19 divide z(n)?
False
Suppose -c + 3 + 3 = 0. Suppose 6*d = 10*d - 4*g - 20, 0 = 2*d - g - c. Is 7 a factor of ((-876)/(-36))/(d/3)?
False
Let t = 458 + -318. Suppose 3*h - 555 = 5*o, -4*o - 592 - t = -4*h. Does 9 divide h?
True
Suppose -124*t = -123*t + 1543. Let c = -901 - t. Is c a multiple of 18?
False
Suppose 3*t + 33408 = 11*t. Suppose 0 = -y + 7*y - t. Does 58 divide y?
True
Let v = 7921 + -5489. Does 48 divide v?
False
Let k(z) = -753*z - 13. Let u(p) = -251*p - 4. Let b(g) = 2*k(g) - 7*u(g). Let l be b(2). Suppose 21*v - l = 19*v. Is 18 a factor of v?
True
Let y = -34172 + 57413. Does 183 divide y?
True
Suppose 36*z - 37*z - 29603 = -5*t, -t + 5927 = 3*z. Is t a multiple of 31?
True
Is (-9 - 906/(-102)) + (-1092)/(-34) a multiple of 2?
True
Is 2*1*(17726 - 14)/9 a multiple of 82?
True
Let x be (-6)/(-15)*1 + (-990)/(-150). Let q(c) = c**3 - 3*c**2 + 16*c - 15. Let r(w) = w**2 + w - 1. Let j(p) = q(p) - 5*r(p). Is j(x) a multiple of 18?
True
Let p = -208 + 210. Suppose 1539 = p*c - 141. Is 30 a factor of c?
True
Suppose z + z + d - 35 = 0, -4*d + 35 = z. Let m(o) = 59*o + 4. Let w be m(0). Suppose z = -j + w*j. Is j a multiple of 3?
False
Suppose 3*w - 226 = -2*l, 0 = -2*w - 5*l + 65 + 82. Suppose w - 236 = -5*h. Does 4 divide h?
True
Let x(t) = 4*t**3 + 2*t**2 - 12*t + 4. Is 10 a factor of x(2)?
True
Let v(h) = 13 - 7 + 4 + 2*h**2 + 24*h - 15*h. Let r(f) = -f**3 - f**2 - 7. Let k be r(0). Is v(k) a multiple of 9?
True
Suppose 5*p = 3*c - 395, -4*p - p - 405 = -c. Is ((-192)/(-15))/((-9)/(p - 8)) a multiple of 13?
False
Let m(y) = -y**3 - 10*y**2 - 16*y + 14. Let s be m(-15). Suppose -20*z = -21 - s. Is z a multiple of 20?
False
Let t = -134 + 138. Suppose t*y + q + 4*q = 1552, 2*y + 3*q = 776. Is 15 a factor of y?
False
Does 3 divide (-980)/280*3566/(-7)?
False
Let r(v) be the third derivative of 3*v**3 + 0*v - 1/60*v**5 - 5/12*v**4 - 28*v**2 + 0. Is 2 a factor of r(-10)?
True
Let c be (-2)/17 + 8370/51. Suppose 6 = 161*f - c*f. Is 54 a factor of f + -14*-2*46/4?
False
Suppose -3*b - 297 - 31 = 2*i, 4*i + 96 = -b. Let a(d) = -27*d + 37. Let x be a(4). Let t = x - b. Is 9 a factor of t?
False
Let f(h) = h**3 + 6*h**2 - 3*h + 4. Let w be f(-6). Suppose w*s + 100 = 24*s. Suppose 26 = b + c, -2*b = 3*c + c - s. Is b a multiple of 7?
False
Let a(i) = 2*i - 2. Let p(y) = -45*y - 77. Let c(n) = -4*a(n) - p(n). Does 12 divide c(11)?
True
Let z(j) = 65*j + 13. Let g be z(-8). Let m = 21 - g. Does 24 divide m?
True
Let h = -17172 + 20736. Is 145 a factor of h?
False
Suppose -5*b - i = -26402, -i + 15842 = 109*b - 106*b. Does 25 divide b?
False
Let n = -6947 + 11325. Suppose -18*y + n + 1886 = 0. Does 9 divide y?
False
Let h(z) = 11343*z - 70. Does 12 divide h(1)?
False
Suppose 1091*r - 67661 = 1080*r. Does 7 divide r?
False
Suppose 0 = i + i - 2*b + 182, i + 4*b = -111. Let p = 137 + i. Let h = 73 - p. Is h a multiple of 3?
False
Is 15 a factor of 4/2*753/6 + (5 - 10)?
False
Suppose -5*i = -5*j - 2*i + 1238, -484 = -2*j + 4*i. Let a = 305 - j. Does 30 divide a?
False
Suppose 4*b = -2*v + 5*b + 2598, -2604 = -2*v + 2*b. Is 27 a factor of v?
True
Let w = 2100 + 5482. Does 40 divide w?
False
Let z be -3 + (-8553)/(-9) + 5/(-15). Let y be (9/18)/(2/12). Is 21 a factor of y/((-75)/10) + z/5?
True
Let r = -79 + 181. Let y be ((-3)/(-2))/(9/r). Suppose -5*n + 165 = 5*d, -2*d = -n + d + y. Does 10 divide n?
False
Suppose -2*i - 5*h + 5 = 0, -29 = -19*i + 14*i + 4*h. Is 27 a factor of (-3)/((-9)/1446) + (5 - i)?
False
Let i(a) = -1810*a - 3293. Is 67 a factor of i(-10)?
True
Let j(x) = x**2 - 14*x + 34. Let h be j(10). Does 7 divide h/4*((-1742)/39 + -10)?
False
Suppose 0 = 85*b - 102440 - 900985. Is b a multiple of 34?
False
Let p(d) = 14*d**3 + 2*d**2 + d - 2. Let c be p(1). Suppose -19*t = -c*t - 624. Does 13 divide t?
True
Let j be (-1)/(3 + 0 + -2). Does 13 divide 488/8 - (j - 2)?
False
Let g = 3507 + -2087. Let z = g - 293. Is 72 a factor of z?
False
Suppose 3*r = -4*s + 4 + 2, -s + 2*r + 7 = 0. Suppose t + s*i = 6*t - 928, i = t - 184. Does 26 divide t?
False
Is (1962/15)/(-3*4/(-1000)) a multiple of 6?
False
Let g = -58 + 49. Does 12 divide g/21 - 5160/(-35)?
False
Let z be 2 + ((-212)/(-6) - 6/18). Let k = z - 22. Suppose 3*b = -0*b + k. Does 5 divide b?
True
Let i be ((296/(-1))/(-4))/(5 - 4). Is 11 a factor of 22*(i/4 - 4)?
True
Let w(q) = 3*q**2 + 10*q + 7. Let u be w(5). Let g be 49920/u - 4/22. Suppose -6*f + 978 = g. Is f a multiple of 20?
True
Let k be 1186/(-2) - (-7)/(-28)*8. Let z = k + 1531. Is 13 a factor of z?
True
Does 114 divide (1278/63 + -20 - 38/(-14))*4049?
False
Let o = 120 - 112. Suppose 2*j + o = -0*j, -2*p + 5*j + 80 = 0. Is p a multiple of 15?
True
Let q be 320/(-15) - 16/(-12). Let j(o) = o + 28. Let c be j(q). Suppose c*z + 168 = 2*x + 6*z, -5*x = -2*z - 432. Is x a multiple of 8?
True
Suppose -13 = 6*k + 17. Let b(d) = 3*d**2 + 5*d + 4. Let y be b(k). Suppose 0 = u + 2*u - y. Does 3 divide u?
True
Suppose -2*v - 6 = -2*b, 0*v - 4*v - 3*b - 47 = 0. Let d be -18 + (-5)/(10/v). Let h(y) = -y**2 - 16*y + 7. Is 9 a factor of h(d)?
False
Suppose 6 = -6*u - 18. Is 593 - ((-52)/16 + 2)*u a multiple of 15?
False
Let h(y) = 4*y**2 - 2*y + 8. Let g = -56 + 59. Is 4 a factor of h(g)?
False
Let f(j) be the first derivative of j**4/2 - 4*j**3/3 + j**2/2 + j + 1. Let v(k) = 2*k**2 + 155*k - 564. Let b be v(-81). Is 11 a factor of f(b)?
True
Suppose 7*x - 100 = 68. Is x/40 + (-1 - 1654/(-10)) a multiple of 55?
True
Let z(i) = -8*i + 96. Let a be z(-8). Let m = -100 + a. Is 6 a factor of m?
True
Let v be -7 + (11 - (7 - 1)). Is 63 a factor of 2 + 398/(4 + v)?
False
Suppose 7*v = 16*v - 45. Suppose -5*l - 5*d = -50, v*l - 59 = 3*d + d. Suppose l*m - 19*m + 472 = 0. Does 59 divide m?
True
Let z = -10613 - -29062. Is z a multiple of 84?
False
Let q(s) = 2*s**2 - 3*s - 15. Let l be q(4). Is 38 a factor of (4/((-4)/l))/(1/(-76))?
True
Suppose 128*l - 149760 = 116*l. Is l a multiple of 30?
True
Let v(b) = 16*b - 16. Suppose -y = -3*l - 16, y = 11*l - 6*l + 18. Does 12 divide v(y)?
True
Suppose -33 - 11 = -11*w. Suppose -w + 1 = -g, -2*q - g + 45 = 0. Does 2 divide q?
False
Let i(d) = -35*d + 3048. Does 5 divide i(66)?
False
Is 7 + 8 + -11 + 4 + 63905/5 a multiple of 63?
True
Let z(x) = -6*x + 58. Let b be z(20). Is 8 a factor of b/(-155) + (-4796)/(-10)?
True
Is 49 a factor of ((-6)/8)/((-14)/52136)?
True
Suppose 502*f - 447*f = 107525. Does 160 divide f?
False
Let p be 1/2*(9 - 5). Suppose -p*w = -23*w + 8379. Is w a multiple of 6?
False
Suppose -4*w + 4552 - 90 = 2*c, -2*c + 4489 = -5*w. Is 7 a factor of c?
False
Suppose -337 + 359 = 11*z. Suppose -z*f + 98 = 2*q, -2*q + 4*f + 26 = -42. Does 13 divide q?
False
Suppose 5*p - 688 = 13*p. Let g = 14 - p. Suppose -18*r - g = -20*r. Is r a multiple of 25?
True
Suppose 118*d - 98*d = -120. Let t(k) be the first derivative of -k**4/4 - 8*k**3/3 - 13*k**2/2 - k + 1. Is 4 a factor of t(d)?
False
Let b(l) = -3*l - 14. Suppose 5*z + 21 = 4*z - 5*s, 2*z + 2*s = -18. Let n be b(z). Is 12 a factor of (4 - -4)*(22/n + 2)?
True
Suppose -4*q - 129 - 331 = 0. Suppose 2*r + g - 7 = -120, 4*g + 98 = -2*r. Let h = r - q. Is h a multiple of 12?
False
Let q = 537 + -369. Let n = q + 261. I