pose 5*h + 419 = 2*o - o, 3*h + 2*o = -254. Let y = h + k. Is y a multiple of 25?
False
Suppose 0 = -4*z + 4071 + 5053. Does 117 divide z?
False
Let f = 12606 - 12123. Is f a multiple of 22?
False
Let x(p) = -p**3 + 8*p**2 + 12*p - 5. Let l be x(8). Suppose 0 = 6*r - 2*r + 112. Let j = r + l. Is j a multiple of 25?
False
Suppose 368*t - 896896 = 264*t. Is t a multiple of 22?
True
Let t(p) = -2*p**3 + 23*p**2 - 32*p + 22. Let s be t(10). Is 27 a factor of (8/s)/(9/243)?
True
Let y = 84668 - 39407. Does 321 divide y?
True
Suppose -5*x = -0*a + 4*a + 6, x - 2 = -4*a. Suppose 25*y = 24*y - a. Is 5 a factor of 38 + (-1 - (-2 + y - 0))?
True
Suppose -22*h - 15738 + 93706 = 0. Is h a multiple of 76?
False
Suppose j = 5*j. Suppose -2*x + 26 - 8 = j. Suppose 5*i = x*i - 248. Is i a multiple of 16?
False
Is (-8 + -4 + 66)/(2/11) a multiple of 3?
True
Let j be (-8 - 0)*135/(-12). Let y be (-6120)/84 - 12/(-14). Let n = y + j. Is n a multiple of 9?
True
Is 153 a factor of (600/36 + -10)*7344?
True
Let h be 8/(-14) + ((-300)/21)/(-4). Suppose -4*j - 936 = -4*o, 2*o - 474 = 2*j - h*j. Is 26 a factor of o?
False
Suppose 11*q + 46 = 211. Suppose -11*p + q*p = 80. Is 10 a factor of p?
True
Let c(r) = -14 + 0*r**2 + 6*r**2 + 8*r - 3*r**2 + r**2. Is 15 a factor of c(-5)?
False
Suppose 55 + 95 = 10*u. Suppose 3*z - 16 = -3*v + 2, 2*z - v - u = 0. Suppose -z*y + 298 + 31 = 0. Is 20 a factor of y?
False
Let t be (18 - -69)*2/(-2). Let m = 91 + t. Does 3 divide (-72)/m*(-7)/3?
True
Suppose -10748 - 22516 = -11*g. Is 125 a factor of g?
False
Let o(y) = y**3 - 9*y**2 - 6*y + 43. Let j be o(9). Let l(a) = -41*a - 138. Is 33 a factor of l(j)?
False
Let g(h) = h - 7. Let j(m) = -9*m + 69. Let f(y) = 21*g(y) + 2*j(y). Let d be f(4). Let x(i) = 9*i**2 + 3*i + 6. Does 32 divide x(d)?
True
Suppose -10336 - 12808 = -11*a. Is 103 a factor of a?
False
Let y(h) = -16*h**3 - 4*h**2 - 13*h - 41. Is y(-5) a multiple of 52?
True
Does 90 divide 10*8/(-400) + (-4)/((-20)/24751)?
True
Suppose 36 - 17 = k. Let r = 43 - k. Suppose -r*g + 22*g = -338. Does 26 divide g?
False
Suppose -4*x = c + 50, 5*x + 4*c - c + 66 = 0. Is 46 a factor of 8980/15 + ((-8)/x)/(-1)?
True
Let p(b) = -44*b - 2. Let n(h) = -250*h - 5. Let j(i) = -n(i) + 6*p(i). Let a = 2 - 3. Does 2 divide j(a)?
False
Suppose -5*i - 5137 = p, i - 3*p = -8*p - 1037. Let m = i - -1648. Is m a multiple of 19?
False
Suppose 5*h - 30 = 0, -6*w + 13*w - 2*h - 4328 = 0. Does 3 divide w?
False
Suppose -v - 30 = v. Let y(s) = -s**2 - 19*s - 16. Let b be y(v). Suppose -3*z = -79 - b. Is 15 a factor of z?
False
Let y = 51 + -1111. Is 19 a factor of y/(-7) - -3*8/42?
True
Let h be (-2)/(3 - (-190)/(-65)). Suppose -4*n + 4*y - 17064 = 0, -4*n + 8*n + 17064 = y. Is n/(-14) - h/91 a multiple of 64?
False
Let a(u) = -3*u**2 + 8*u + 24. Let b be a(9). Let x = b - -211. Does 64 divide x?
True
Let r = -415 - -263. Let z = 180 + r. Does 7 divide z?
True
Suppose -39*y + 109*y = 2462390. Does 13 divide y?
False
Does 38 divide 4 - (12 + 7260/(-5))?
True
Let w(v) = 2*v**2 - 17*v - 3. Let u be (-4)/7*1050/(-60). Is w(u) a multiple of 2?
False
Let o be (-2)/((1 - -3) + 29016/(-7260)). Let f = o + 1223. Does 102 divide f?
False
Let h be -2*4/(24/(-15)). Let q = h + -5. Suppose 0 = r + 2*b - 109, -3*b - b + 20 = q. Is r a multiple of 14?
False
Let h be -2 + 1 + 224/14. Is (-25)/10*(-2388)/h a multiple of 43?
False
Let k = 231 - 238. Let q(s) = s**3 + 8*s**2 - 7*s - 31. Does 3 divide q(k)?
False
Suppose -12503*t + 3136 = -12496*t. Is 2 a factor of t?
True
Let o = -4734 - -7127. Suppose -4045 = -5*i + 3*y, o = 3*i + 4*y + y. Is 31 a factor of i?
True
Suppose 4*f + 4371 = 3*k, -255*k + f = -258*k + 4371. Is k a multiple of 31?
True
Let j be (-2604)/(-3) + 10/((-12)/(-6)). Suppose 2*v - 983 = -4*m + j, -3*m = -4*v + 3657. Is 54 a factor of v?
True
Suppose 2*m + 3*i = 5*m - 17241, 5*m - 28703 = -3*i. Is m a multiple of 42?
False
Let b be -3 + 7/3 - 26/(-3). Suppose b*i - 358 = 466. Is i a multiple of 16?
False
Let u(b) = 49*b - 1. Let q(o) = -o**2 - o + 21. Let m be q(-5). Let l be u(m). Suppose -l + 12 = -2*k. Is 7 a factor of k?
False
Suppose -7*r + 11*r - 3*y = 40039, -5*r - y = -50044. Does 22 divide r?
False
Let w = -1361 - -1457. Suppose -4*n + 23 = 3. Suppose w = -3*j + n*j. Does 6 divide j?
True
Let q be -164 - -3 - (-9 + 12). Let i = q - -181. Is 17 a factor of i?
True
Let g(u) = u**2 - 14*u - 1. Let c be g(14). Let i be (4 - c)*2/(-10)*652. Is (1 + 1)*i/(-8) a multiple of 34?
False
Suppose 3*u = -5*s + 4953, 27*s - 30*s + u = -2983. Suppose -5*a + s = -147. Does 19 divide a?
True
Let u(m) = -3*m - 29. Let b be u(-12). Let f be ((-2058)/(-12))/b*34. Let g = -578 + f. Is g a multiple of 15?
True
Let g(a) = a**3 - 6*a**2 + 3*a + 10. Let w be g(5). Suppose c + 5 = w, -2*p - c + 506 = -169. Suppose 25*j - 30*j = -p. Is j a multiple of 12?
False
Is 15 a factor of ((-65)/2 - (-8 - -9))/(19/(-266))?
False
Let z(d) = d**3 + 18*d**2 - 22*d - 45. Let c be z(-19). Let m(o) = 8*o + 12*o - 19 - 25*o**3 + 24*o**3 + 11*o**2. Does 11 divide m(c)?
True
Suppose -a + 4*w + 62 = 0, 0 = -2*a - 0*w - 3*w + 80. Let g = 111 - a. Is 5 a factor of g?
True
Suppose 149673 = 4*w - 5*n, -4*w - 1788*n = -1786*n - 149638. Is 94 a factor of w?
True
Let a = 50306 + -41270. Does 4 divide a?
True
Suppose -2*a + 11*a + 8*a = 567392. Does 19 divide a?
False
Is 8 a factor of (-6)/14 + (-929268)/(-336) + 2/(-8)?
False
Let o(k) = 20*k**2 + 120*k + 2573. Does 169 divide o(-30)?
False
Let t = 2876 + -1812. Does 76 divide t?
True
Suppose 6*z - 3*z - 49648 = -z - 2*x, -x = 0. Is z a multiple of 107?
True
Suppose 0 = 49*g - 46*g - 612. Suppose -3*m + g = 3*i, 2*i + 1 + 3 = 0. Is 14 a factor of m?
True
Let o = 250 + 93. Suppose -o*p + 350*p - 6160 = 0. Is 29 a factor of p?
False
Suppose -3002 = 27*v - 28*v + 2*i, -4*v - i = -11963. Is v a multiple of 34?
True
Suppose 44*y + 14567 = 592083 + 284708. Is y a multiple of 142?
True
Let m = -707 + 115. Let f = m + 1215. Is 43 a factor of f?
False
Let w(z) = 994*z - 2226. Is w(24) a multiple of 103?
True
Suppose -20 = -2*h - 4. Suppose -119 = -h*d + 401. Is d a multiple of 2?
False
Let d(z) = -z + 1. Let b(o) = -6*o + 4. Let a(p) = b(p) - 5*d(p). Let y be a(-4). Suppose 2*k + 22 = r, 5*r = 2*k - y*k + 121. Is 6 a factor of r?
True
Let z(h) = -h**3 - h**2. Let m be z(-1). Suppose m = -9*w + 5*w + 824. Is 25 a factor of w?
False
Let m(b) = 3*b + 12 + 2*b + 4. Let w = -854 + 859. Does 18 divide m(w)?
False
Suppose 38*w + 32*w - 528960 = -10*w. Does 71 divide w?
False
Let n = 2244 - 1773. Does 12 divide n?
False
Suppose -79 = -5*n - 14. Suppose 12*x - n = 11*x. Let w(u) = 14*u - 27. Does 31 divide w(x)?
True
Let h(y) = y**3 - 3*y**2 - 2. Let o be h(3). Let q be ((-2)/o - 1)/5. Suppose -w + 3*f + 37 = q, 4*w + 65 - 213 = -5*f. Is w a multiple of 5?
False
Does 196 divide ((-16)/18)/((-6)/(-74421))*(-18)/8?
False
Let t(o) = o**3 + 54*o**2 + 213*o + 42. Does 48 divide t(-43)?
False
Let k be 10 - (8 + 7 + -13). Suppose 10 = 2*d, 4*d - 586 = -2*s + k*d. Does 18 divide s?
False
Let w(d) = -6*d + 67. Let r be w(-20). Suppose r*a - 375 = 184*a. Does 4 divide (7/(-5))/((-25)/a)?
False
Let q(c) = 23*c + 4811. Is q(-46) a multiple of 27?
True
Let a = 9309 - 5205. Is 57 a factor of a?
True
Does 4 divide (0 - 1)/((162/18)/1341)*-33?
False
Suppose -53566 = -2*x + 973*m - 969*m, -3*m + 133837 = 5*x. Does 19 divide x?
True
Let h(m) = -m**3 - 10*m**2 - 30*m + 3. Let w be h(-10). Suppose 2*u = 2*k + 174, -4*u + 5*k + 42 = -w. Is u a multiple of 15?
True
Suppose -i = -5 - 2. Suppose 3*k + 372 = i*k. Let m = -45 + k. Is m a multiple of 9?
False
Suppose 0*b + 2*b = 548. Let x = b - 265. Is 2 a factor of x?
False
Let b = -321 + 319. Is 28 a factor of 114/(-3)*b - (-21 - -16)?
False
Suppose 0 = q + 4*c - 1022, -3*c = 2*c - 10. Let j = -585 + q. Does 13 divide j?
True
Suppose -3*v + 3*c = 66, 5*v = -c - 42 - 62. Let l = v + 21. Suppose -12 = -g - l*g. Is 4 a factor of g?
True
Is 13 a factor of (-10)/(-115) + (5272304/(-184))/(-2)?
False
Let d be 509 + 9 + -3 + 2. Let u = 1011 - d. Is u a multiple of 51?
False
Suppose 2*a - 5*x = -2*x + 22, 2*x = 2*a - 18. Let y be a*-5*3/(-15). Suppose 9*d - y*d = 268. Does 25 divide d?
False
Let o(d) = 4*d**2 - d + 1. Let a(v) = v**2. Let q(x)