actor of z?
False
Suppose -4*y + 17*y = 936. Does 8 divide y?
True
Let x = 6 - 8. Let m be -3 - (x + (-3 - 1)). Is 21 a factor of 46 + ((-4)/4 - m)?
True
Let t = 35 + -61. Is 25 a factor of ((-6)/5)/(t/3055)?
False
Let f be ((-16)/8)/((-18)/(-16) + -1). Let k(j) = -j**3 - 17*j**2 - 18*j - 22. Does 2 divide k(f)?
True
Let j(b) = -b**2 + 8*b - 4. Let d be j(6). Let p(q) = q**3 - 7*q**2 - 6*q + 10. Is p(d) a multiple of 3?
False
Let o be 9/(-18) - (-3)/(-2). Does 4 divide (-6)/(-12) + (-1)/o*117?
False
Suppose 4*w - w = 15. Suppose 0*p - 2*p + w*t + 58 = 0, -t = p - 22. Suppose -o + 0 + p = 0. Does 12 divide o?
True
Suppose 0 = -4*a + 3*c + 82 + 18, 0 = -2*c - 8. Let b = a - -32. Is b a multiple of 27?
True
Suppose 0 = g + g - 290. Let y = -93 + g. Is y a multiple of 6?
False
Let g(r) = -4*r - 5. Let x be g(-1). Does 28 divide 7/7 - (x + -26)?
True
Is 44 a factor of 10/((-10)/(-5))*9402/10?
False
Let k(n) = -n**2 - 8*n + 19. Let g be k(-10). Does 3 divide 0/g - (-1)/((-3)/(-39))?
False
Suppose -2*c - m = -3*m - 14, -5*c - 3*m = -35. Suppose c*i = 8*i. Suppose 4*h = -i*h - r + 31, -3*h + 5*r = -6. Is h a multiple of 2?
False
Let z = -167 - -403. Is z a multiple of 60?
False
Suppose -2*c = 0, 0 = -2*f - 3*c + 3 + 3. Suppose m = 3*q - 0*q - 7, q = 3*m - f. Does 2 divide q?
False
Let c be (4 + -5)*-4*(0 + 7). Suppose -c = -5*z + 397. Is 12 a factor of z?
False
Let q be -4*5/10 - -2. Let j(f) = -f**2 - f + 74. Does 22 divide j(q)?
False
Let t(h) = -h**3 + 7*h**2 + h + 9. Let f be t(7). Let r = f + -4. Let x = 28 - r. Is 14 a factor of x?
False
Let h = 21 + -15. Suppose -h*z + 9*z - 90 = 0. Is 7 a factor of z?
False
Let a(t) = -84*t**3 - 4*t**2 - 8*t - 12. Is a(-2) a multiple of 66?
True
Suppose 5*t + 4*d = 65, -4*t = 4*d - 71 + 15. Is t*5/15 + 167 a multiple of 24?
False
Suppose 2*l + 4*n = -2*l + 76, 2*n = -4*l + 66. Let v = 6 + -4. Suppose -v*m = -l - 94. Does 19 divide m?
False
Let y(h) = h**2 + 24*h - 210. Is 16 a factor of y(-38)?
False
Let h = -8 + 12. Let q(r) = -65 + r**2 + 2*r + 4*r**2 + 61. Does 11 divide q(h)?
False
Suppose 52*w - 47*w = 15. Suppose w*d - 388 = -4*h, -5*d + h = -h - 690. Is 17 a factor of d?
True
Let m be (-40)/(-24) - 2/(-6). Let i(y) = 14*y**2 - 13*y**m - 1 - 5. Does 15 divide i(-7)?
False
Suppose 0 = -4*f - 16, -5*f = 3*b + b. Suppose -b*i + 17 = -178. Does 5 divide i?
False
Let l(m) = 17*m - 8. Suppose 14 = i + 6. Is 32 a factor of l(i)?
True
Suppose 0 = 6*f - 5*f - 124. Does 29 divide f?
False
Let t = -3 + 7. Suppose o + t*g - 17 = 0, -2*o + 3*g - 21 = -0*o. Is (-49 + 4)/(o/2) a multiple of 6?
True
Let n be (0 + 1)/(5 + (-84)/18). Suppose 64 + 41 = n*h. Is 7 a factor of h?
True
Let c(s) = -s**3 + 7*s**2 - 6*s + 2. Is c(3) a multiple of 5?
True
Suppose -2*t - 3*t + 595 = 4*j, 0 = 3*j + 15. Let l = 127 + -122. Suppose -l*k + t = -7. Is 26 a factor of k?
True
Suppose 63 = 4*p - p - f, 0 = 4*p - 5*f - 73. Let u = -19 + p. Is 6/(-3) - (-168)/u a multiple of 18?
True
Let l = -43 + 43. Suppose -4*h + 9*h - 220 = l. Does 11 divide h?
True
Let d = 3587 + -2225. Does 43 divide d?
False
Let i = -7 - -11. Suppose 4 = -4*s, i*u + s + 4*s - 27 = 0. Is u even?
True
Let z(h) = -6 - h**2 - 5*h + 3*h**2 - h**2. Suppose -5*a + 28 - 48 = 0. Does 10 divide z(a)?
True
Suppose -5*o = -30*m + 33*m - 1506, -m = 2*o - 503. Does 33 divide m?
False
Let s be -3 + (-789)/(-12) - (-8)/32. Let u = s + 45. Is u a multiple of 18?
True
Does 15 divide (((-7125)/10)/15)/((-2)/24)?
True
Let p be (1/(3/42))/2. Suppose 0 = -h - 6 + 73. Suppose -h = -3*k - p. Is k a multiple of 16?
False
Let r be (22 - 2) + (-2)/1. Suppose 21*f = -11*f + 384. Let s = r + f. Is s a multiple of 6?
True
Let c(n) = -n**3 + 6*n**2 - n - 1. Let m(z) = 2*z**3 - 17*z**2 + 2*z + 3. Let p(y) = 8*c(y) + 3*m(y). Is p(-3) a multiple of 34?
True
Let h(c) = c**2 - 4*c + 3. Let f be h(4). Suppose -f*z - 208 = -964. Is z a multiple of 29?
False
Let m = 743 + -656. Does 3 divide m?
True
Let g(b) = b**3 - b**2 - 4*b - 3. Let l be g(-2). Let a(x) = -2*x**2 - 9*x + 10. Let z be a(l). Let q = z + 70. Does 8 divide q?
False
Let z(m) = m + 9. Let y be z(-4). Suppose -4*r = -19 - y. Is r a multiple of 2?
True
Let f be 16*(99/12)/3. Let o be 1/(4 + 1486/(-372)). Suppose 0 = -2*z + f + o. Does 31 divide z?
False
Let t(u) = -u**2 - u + 1. Let c(p) = 12*p**2 + 8*p - 2. Let x(n) = -c(n) - 4*t(n). Let w be x(-1). Is 30 a factor of 38/((-2)/w - 0)?
False
Suppose 4*d + 149 = 3*l + 5*d, 0 = 2*l + 5*d - 121. Suppose -5*r - l = -6*r. Does 17 divide r?
False
Suppose 2*y - 560 = 5*x, 5*y - 1134 = y + 3*x. Suppose -3*f + y - 15 = 0. Is 15 a factor of f?
True
Let t(d) = -d**3 + 2*d**2 + 83. Let x(y) = 8*y + 14 + 4*y + y**2 + 3*y. Let b be x(-14). Is 18 a factor of t(b)?
False
Let d be ((-5)/3)/(1 - (-111)/(-108)). Suppose 3*t - d = -24. Does 10 divide t?
False
Let z = -72 + 158. Let a = z - -28. Is 25 a factor of a?
False
Suppose -6*f - 42 = -24. Let k = f - -244. Is k a multiple of 11?
False
Let s = -118 + 108. Let l = s + 90. Does 21 divide l?
False
Let p = 154 + -130. Is p a multiple of 3?
True
Suppose 1219*x + 66 = 1225*x. Is x a multiple of 11?
True
Let l(s) = s**3 + 10*s**2 + 10*s + 3. Let x = -3 - 5. Let i be l(x). Let j = i - -5. Does 11 divide j?
False
Suppose 5*f = 3*c + 3 + 33, 4*f - 18 = -3*c. Suppose -f*v = v + 168. Let t = v + 58. Does 17 divide t?
True
Suppose -16*h + 128007 = 11*h. Is h a multiple of 35?
False
Suppose -20*l + 100920 = 9*l. Does 87 divide l?
True
Suppose 13*m - 3719 = -287. Is 18 a factor of m?
False
Let n be 0/(1/2*2). Let s(u) = -47*u**2 + 25*u**2 + 54 + 21*u**2 + u. Does 27 divide s(n)?
True
Let m = 335 + -168. Is m a multiple of 9?
False
Let h = -12 - -4. Let f be h/(-6)*(-9)/(-4). Suppose 0 = -d - f*c + 23, -4*d + 3*c = -c - 92. Is 23 a factor of d?
True
Let f = -578 + 1431. Is f a multiple of 22?
False
Let p = 652 + -408. Does 4 divide p?
True
Suppose -3*n + 0*n + 20 = t, -35 = -5*t - 2*n. Suppose t + 5 = i. Is i a multiple of 2?
True
Suppose -q + 494 = 5*k, 0 = -5*q + 4*k - 0*k + 2354. Is 9 a factor of q?
False
Let y(h) = -577*h + 795. Does 24 divide y(-7)?
False
Let s = 335 - -190. Does 32 divide s?
False
Suppose -5*n + 2442 + 308 = 0. Does 55 divide n?
True
Suppose -2*d = -16*d + 504. Let m(t) = 3*t - 9. Let p be m(6). Is (-6)/(d/(-10))*p a multiple of 5?
True
Suppose 0 = 5*o - 5*s + 60, -o - 3*o = -2*s + 40. Let h = o - -10. Suppose -295 = -7*g + h*g. Is 24 a factor of g?
False
Suppose 3*q + 2 = 5*q, -5*q + 1331 = 3*o. Does 26 divide o?
True
Let x be ((-4)/((-4)/2))/1. Suppose x*a = -4*f + 51 - 11, 3*a = -4*f + 56. Is 8 a factor of a?
True
Let s be (36/42)/(4/14). Suppose -2*m = 3*q - 122, 53 = -2*m + s*q + 175. Let d = m + -25. Is d a multiple of 18?
True
Suppose -5*j = -2*t + 62 + 32, 2*j = 3*t - 163. Let x = t + 68. Does 35 divide x?
False
Suppose 0 = 3*v + v, -3*v + 40 = 4*s. Suppose -5*r - s = -3*r. Let f(d) = -17*d. Does 24 divide f(r)?
False
Let o be (0 - 11/(-1))*11. Suppose 3*h + 4*q + 52 = 183, 0 = -3*h + q + o. Is h a multiple of 41?
True
Suppose -8 = 4*m, -2*p = -4*p + 4*m + 10. Let t be (-2)/(-4)*20/p. Is ((-4)/t)/((-2)/150) a multiple of 9?
False
Suppose 3*z - 142 = 2*i - 32, -3*i = 3. Suppose 2*x + 107 = 3*c, -x = -5*c + 212 - z. Let h = 63 - c. Is 13 a factor of h?
False
Let k be 4/6 - (-336)/9. Suppose -3*n + 2*p + 73 = 0, -p + 53 = 3*n + p. Let s = k - n. Is s a multiple of 5?
False
Let p(h) = -h - 1. Let y(z) be the second derivative of -z**3/6 + 6*z. Let s(o) = 2*p(o) - 4*y(o). Does 7 divide s(6)?
False
Let n be ((-310)/(-8))/5 - (-11)/44. Suppose n*w = 2*w + 954. Is 28 a factor of w?
False
Suppose v - 9733 = -3*y, 9725 = -344*y + 347*y + 5*v. Does 59 divide y?
True
Is 17 a factor of (-51)/(1 + 112/116 + -2)?
True
Let c(z) = -z**2 + 27*z + 4. Suppose 2*f - 51 = -5*t, 3*f + t - 4*t = 45. Let d be c(f). Suppose -d = -5*x - 26. Does 7 divide x?
True
Let i(o) = -o**3 - 19*o**2 - 2*o + 29. Let a be i(-18). Let q = -88 - a. Is 19 a factor of q?
True
Let d = -225 - -860. Is 5 a factor of d?
True
Suppose 3*y - 551 = -2*r + 49, -3*r + 5*y = -900. Does 30 divide r?
True
Suppose 4*p + 9 = -3, p - 2 = -i. Suppose 5*k - 4*o - 348 = 0, -7*k + 330 = -2*k + i*o. Is k a multiple of 34?
True
Suppose 4*s - 4*z + 76 = 0, 0*s + z + 19 = -s. Does 19 divide (s/(-3))/(11/3