2*n + 11597 = 3*i. Does 5 divide i?
True
Let r(a) = 6*a - 54. Let z be r(9). Suppose 9*x - 3*x - 684 = z. Does 14 divide x?
False
Let x(j) = 563*j - 52. Is 6 a factor of x(5)?
False
Let m(r) = r**3 + 17*r**2 + r + 20. Let n be m(-17). Suppose -4*p + n = -3*p. Is 13 a factor of ((-2)/p + 0)*-3 - -11?
True
Is (-244976)/732*(-18)/4 a multiple of 21?
False
Does 10 divide (33780/(-50))/((-18)/300)?
True
Suppose 5*u + 8 + 12 = 0, 20 = -4*w + 5*u. Let s be (3 + -2)*(13 + w). Suppose -5*f + 192 = -3*f - c, -s*c + 184 = 2*f. Is f a multiple of 14?
False
Let z(d) = 13*d**2 - 5 + d**2 - 2 + 0. Is z(3) a multiple of 6?
False
Suppose 3 = -4*w + 23. Let s(r) = -34*r**2 + 26*r + 48. Let n(f) = -16*f**2 + 13*f + 20. Let l(x) = -7*n(x) + 3*s(x). Is 21 a factor of l(w)?
True
Suppose -7*l + 9*l = 4. Suppose -5*c = 21 - 866. Suppose -84 = -p + 2*h, l*p - 2*h - 1 = c. Is 11 a factor of p?
False
Let c(o) = 34*o - 95. Let j(s) = 74*s - 190. Let b(k) = -11*c(k) + 6*j(k). Is b(8) a multiple of 32?
False
Let j(o) = -3*o + 753. Let l(d) = 754. Let r(z) = -5*j(z) + 6*l(z). Is r(0) a multiple of 69?
True
Let l be 626/8 - ((-6)/8)/(-3). Is (-70)/(-20)*(-5)/((-5)/l) a multiple of 13?
True
Suppose -2*k - 6*h = -9194 - 202, 6*k - 28234 = 5*h. Is 48 a factor of k?
True
Let b = -175 - -185. Suppose 7*t = b*t - 660. Does 20 divide t?
True
Let j be (-2)/2 - (6 + -3 + -1352). Let z = -791 + j. Is 28 a factor of z?
False
Suppose 0 = -39*i + 887158 - 173887. Is 88 a factor of i?
False
Let p = 22 - -11. Let l = 676 - p. Suppose 0 = 3*a - c - 468, 0 = -a - 3*a - 5*c + l. Is 23 a factor of a?
False
Let l be (-2 + (-28)/(-20))/((-42)/280). Suppose 3*s = 21 + 12. Is 23 a factor of (l + s)/(((-9)/16)/(-3))?
False
Let u(q) = 341*q + 677. Is u(14) a multiple of 69?
True
Let d(r) = 3*r**2 - 29*r + 1682. Is d(31) a multiple of 2?
True
Suppose n = -13*n + 26672 + 3148. Is n a multiple of 30?
True
Let z(b) = -6*b. Let m be z(-7). Does 3 divide 173/5 + m/(-70)?
False
Let m(g) = 2*g**3 - 2*g**2 + 10*g - 1. Let s be m(4). Suppose -100*i + 105*i - s = 0. Is i a multiple of 27?
True
Is 14 a factor of (-4)/46 - (20 + (-1608176)/184)?
False
Let n(m) = 5*m**2 - 3*m - 15. Let u be n(12). Let g = u - 288. Is 11 a factor of g?
False
Suppose -1137 = -w - 2*u, -5*u = -2*w - 4*u + 2289. Suppose -58*q + w = -55*q. Is q a multiple of 12?
False
Suppose -27*b + 30*b - t = 17047, -4*b + 22742 = 5*t. Does 23 divide b?
False
Suppose -130*o + 735 = 17*o. Suppose -124 = -u - 44. Suppose 45 = o*w - u. Does 18 divide w?
False
Let b(f) = -f**3 - 29*f**2 + 577*f + 41. Is b(-43) a multiple of 3?
True
Let o(g) = -g**2 - 2*g + 12. Let v be o(-4). Suppose v = -6*r + 8*r. Does 46 divide 1/((-1875)/940 + r)?
False
Does 38 divide (-1448650)/(-63) + -4 - (-40)/(-90)?
True
Suppose 396728 + 241561 = 75*n - 666861. Does 29 divide n?
False
Let g = -19578 + 39833. Is g a multiple of 35?
False
Suppose 2*p - 6*p - 452 = -x, 2*p = -10. Is 6 a factor of x?
True
Suppose -7*x - 15 = -10*x. Suppose -x*h = 5*g - 1785, 5*h + 2*g = -116 + 1889. Does 73 divide h?
False
Suppose 179704 = -80*c + 1341144. Does 34 divide c?
True
Does 13 divide ((4160/140)/(-26))/(2110/2114 - 1)?
False
Suppose -38*r + 20 = -43*r. Let t(d) = 7*d**2 + 3*d + 12. Is 8 a factor of t(r)?
True
Let d = 90 + -25. Suppose d*t = 69*t - 40. Is 16/t*(4 - -11) a multiple of 12?
True
Suppose 57426 = 50*l + 8898 - 30172. Is 10 a factor of l?
False
Let h(v) = -v**2 + 16*v + 8. Let g(c) = -c**2 + 16*c + 7. Let q(j) = 4*g(j) - 5*h(j). Let f be q(-6). Suppose -5*n + 7*n = f. Is 11 a factor of n?
False
Let y(c) = -94*c + 3239. Is 106 a factor of y(29)?
False
Suppose 121 - 9 = 14*q. Let u(k) = -5*k + 25 + 0*k + 7*k. Is u(q) a multiple of 32?
False
Let u(m) = -2*m**3 - m**2 + 4*m - 1. Let s be u(-2). Suppose 5*b - s*a = 571, 9*b + 4*a = 5*b + 476. Is 8 a factor of b?
False
Suppose -16*b + b = 2835. Let i = b - -273. Let u = i + 0. Does 3 divide u?
True
Let g be -3 + (12/(-20) - (-553)/5). Let o = -35 + g. Is 8 a factor of o?
True
Let x(p) = 3859*p**3 + 3*p**2 + 78*p - 169. Is 9 a factor of x(2)?
False
Suppose 2880 = 8*n - 3192 - 192. Does 55 divide n?
False
Let r = 270 + -267. Suppose -10*a + r*a = -924. Is a a multiple of 12?
True
Let a(w) = 199 - 2*w - 4*w**2 + 0*w**3 - w**3 - w**2 - 201. Let p be a(-5). Suppose -2*n - 252 = -p*n. Is 21 a factor of n?
True
Suppose 4*a + 256 + 360 = 0. Let b = -118 - a. Is b a multiple of 6?
True
Suppose 32*v = 37*v - 28440. Is v a multiple of 72?
True
Suppose 120 = 3*t + t. Let w be (12/t)/((-1)/35). Is 6 a factor of 6/4 + (-6 - 553/w)?
False
Suppose 47*s = 43*s - 8. Does 14 divide s + 4 - (-438*4)/6?
True
Suppose s = -w + 3918, -4*w + 8*s = 7*s - 15657. Suppose -10*z + j = -11*z + 775, -3*j = -5*z + w. Is z a multiple of 12?
True
Suppose 605 = 5*d - 4*a + 79, 3*d = -5*a + 323. Let w = -3 - -25. Let q = d - w. Is 9 a factor of q?
False
Let x(h) be the third derivative of -h**6/120 - 3*h**5/10 + 2*h**4/3 + 8*h**3 - 136*h**2. Is 4 a factor of x(-19)?
False
Let v(w) = w**3 + 12*w**2 + 11*w + 21. Suppose -3*h = -3*p + 5*p - 91, 2*p - 2*h - 86 = 0. Suppose 101*x + p = 97*x. Does 7 divide v(x)?
True
Let s = -7 - -9. Suppose -t - 4*i = -6*t + 17, -5*t + s*i + 21 = 0. Suppose 2*q - 110 = -3*w, q - t*q - 5*w + 222 = 0. Is 29 a factor of q?
True
Let j(q) = 46*q**3 + q**2 - 2*q + 3. Let u be (-288)/(-7) + (-29)/203. Let h = -39 + u. Is 20 a factor of j(h)?
False
Is 16 a factor of 1597 + -4 + 2*2 + -9 + 12?
True
Let x = -6157 - -10733. Suppose 32*g = 21*g + x. Is 13 a factor of g?
True
Let i(m) = 3*m**2 + m - 7. Let z be i(0). Let h = z - -10. Suppose h*u - 246 = -9. Does 12 divide u?
False
Let t(n) = 62*n**2 + 4*n - 104. Does 8 divide t(-4)?
True
Let v(o) be the third derivative of o**6/120 - 17*o**5/60 - 3*o**4/4 + 3*o**3 + 2*o**2. Suppose 0*p = 9*p - 110 - 52. Is 6 a factor of v(p)?
True
Let s = 520 - 157. Is 6 a factor of 0 + -8 - s/(-3)?
False
Suppose -38 + 31 = -4*s - 5*w, 0 = 5*s + w - 14. Suppose -2 - 6 = -2*o. Suppose -2*j + 70 = -0*j - s*r, -o*r + 24 = j. Is j a multiple of 6?
False
Suppose 0 = -4*q - 4*r - 1948, q - 5*q + 2*r = 1924. Let d = q + 2183. Is 62 a factor of d?
False
Suppose 0 = o + 3*f - 6365, 2*o + 3*f = f + 12722. Is 21 a factor of o?
False
Suppose 7*g = 15 - 57. Is ((-142)/g)/((136/48)/17) a multiple of 58?
False
Let t(i) = 22*i. Let c be t(1). Suppose -27*x + c*x = -2250. Suppose x = d + 5*d. Is d a multiple of 25?
True
Suppose -3*z + 3*x - 3 = 105, 2*x = -z - 36. Is 32 a factor of 415/2 + (-18)/z?
False
Suppose 0 = -9*k - 88 + 1060. Suppose -112*v = -k*v - 76. Is 19 a factor of v?
True
Let i be (2 - 4)/(2/(-507)*3). Suppose -m = 2*g - i, -4*m - 2*g + 344 = -356. Suppose -338 = -5*x + m. Does 24 divide x?
False
Let c(f) = 6043*f**3 - 5*f**2 + f + 1. Does 40 divide c(1)?
True
Let n be 20/6 - (-6)/(-18). Suppose 2*y + x = 766 + 318, -2*y + 1064 = -4*x. Suppose -g + 180 = -3*h + h, -n*g + y = -3*h. Does 36 divide g?
True
Suppose -67*z + 700056 = 87*z - 125076. Does 47 divide z?
True
Let k be 2*((-26416)/(-117) - 2/(-9)). Suppose -3*b = -1508 + k. Is b a multiple of 29?
False
Suppose l = -5*p - 3*l + 31, 0 = -2*l - 2. Let m = 16 - 14. Is 6 a factor of m*p/3*30/5?
False
Let n(c) = c**2 - 11*c - 41. Let a be n(14). Let h(k) = 666*k + 1. Does 23 divide h(a)?
True
Let n be (-5)/(-2) - ((-6)/(-4))/(-1). Let f = 85 + -74. Suppose f - n = m. Is 7 a factor of m?
True
Suppose 0 = 5*o - 1 - 4. Suppose o = -2*r + 4*l - 5, 0 = 5*r + l - 18. Suppose -r*f - 5*a + 50 = -68, -2*a = 5*f - 184. Is f a multiple of 9?
True
Does 19 divide (348/(-9))/((224/(-456))/7)?
True
Suppose -5*j - 213 = -4*j. Let f = -189 - j. Is f even?
True
Let h be -6*(1*2 - (-72)/(-27)). Suppose 3*c = z - 12 - 2, -20 = 3*c - h*z. Is 25 a factor of 2152/20 - c/10?
False
Let z be 1670*(-12)/(-8) - 5. Suppose 18*t = 956 + z. Is t a multiple of 12?
True
Suppose -v + 3*g + 252 = 0, -4*v - 3*g = -482 - 586. Let h(x) = -4*x**3 - 3*x**2 + x - 5. Let o be h(3). Let k = o + v. Is k a multiple of 9?
False
Let f be (6/(-6))/((2 + 1)/(-6)). Suppose 0 = f*s + 34 - 274. Suppose -c = -3*m + 2*c + s, 0 = 2*m - 4*c - 88. Does 36 divide m?
True
Suppose -4*y = -8*y + 256. Suppose 0 = -18*v + 8*v + 20. Does 32 divide y - (-8)/(8/v)?
False
Let o = -37353 - -56670. Does 14 divide o?
False
Let u = 5448 + 