/(-5) - 9/(-3). Let d be 0 + u*(-5 - -9). Is 46 a factor of (-2)/d*6 + 1300/4?
True
Let x(d) = 2*d**3 + 6*d**2 + 9*d - 229. Is 19 a factor of x(12)?
True
Let o(j) = -j**3 + 59*j**2 - 265*j - 10. Does 33 divide o(54)?
False
Let v be (12/(-10))/(2/320). Let z(l) = -2*l**3 + 35*l**2 + 56*l - 50. Let g be z(19). Let t = g - v. Does 32 divide t?
False
Suppose 2*g + 2*i = 16, 8 = -5*i + 7*i. Let t(x) = 8*x**3 - x**2 + 5*x - 12. Does 8 divide t(g)?
True
Suppose 0*f + f - n + 7 = 0, -n = -2*f - 15. Let u(b) = 4*b**2 + 11*b + 4. Let i(t) = -3*t**2 - 10*t - 2. Let z(c) = 3*i(c) + 2*u(c). Is 2 a factor of z(f)?
True
Let b(k) = -23*k - 10. Let j be b(-4). Let o = j - 80. Does 16 divide 130/1 - (o - (-32)/(-8))?
False
Let g = -91 + 63. Let p = g - -34. Suppose 0 = 4*w - p*w + 196. Is w a multiple of 27?
False
Let p be (-22)/(-3) - 4/12. Suppose 150 = -p*k - 473. Let l = 0 - k. Is l a multiple of 22?
False
Let i be 1*(1 - 8 - 2). Let v(m) = 5 - 3*m - m**2 - 5*m - 3*m - 16 + 3. Is 5 a factor of v(i)?
True
Suppose 9503 + 4132 = 4*m + 3*n, 17005 = 5*m - 4*n. Is m a multiple of 100?
False
Let o be (1 - 1)*((-14)/35)/(-2). Suppose 2*m + p - 32 = 0, 3*p + 16 + o = m. Does 8 divide m?
True
Let f = 38 - 32. Let i(h) = -2*h**3 + 13*h**2 - 6*h - 8. Let s be i(f). Let m = s + 62. Is 11 a factor of m?
False
Let p(c) = -4*c - 45*c - 7 + 1 + 6*c. Is p(-2) a multiple of 11?
False
Let a(u) be the first derivative of -u**4/4 + 5*u**3/3 - u**2 + 7*u + 1. Suppose 0 = -29*p + 37*p - 24. Is a(p) a multiple of 15?
False
Let a = 30170 + -20112. Is a a multiple of 20?
False
Let g be 2 + (-4 - (-5 + 3)). Suppose g = -7*c + 13 + 8. Is 6 a factor of 24/2 + (0 - c)?
False
Let r be (1 - 93/(-2)) + 11/22. Let y = -45 + r. Does 49 divide 37*(y - 0 - -1)?
False
Let b be ((-9)/(-12))/(1/(-308)). Let x = b + 284. Is 22 a factor of x?
False
Let g be (8/6 - 2) + (-8320)/(-78). Let a = g - -166. Is 8 a factor of a?
True
Suppose -19*l = -23*l. Suppose l = 5*i - 3*s - 14, i = 17*s - 16*s + 2. Is 2 a factor of i?
True
Let x be 8/(-48) - 25/(-6). Suppose 622 = x*c + 38. Is c a multiple of 51?
False
Let d = 65 + -67. Let x be 35 + d + 6 + -6. Suppose -7*w = -x - 79. Is 8 a factor of w?
True
Let j = -4945 - -6362. Is j a multiple of 15?
False
Let i be (-1 - 28/(-8))*2. Let f(d) = d**3 + 7*d**2. Does 20 divide f(i)?
True
Let c = 375 + -654. Let o = 541 + c. Is o a multiple of 45?
False
Let v(k) = -213*k - 73. Let i be v(11). Let u = i - -3403. Does 21 divide u?
True
Suppose -83 = -6*g - 23. Let f be (18/g)/((-3)/(-20)). Is 3 a factor of (27/f)/(8/64)?
True
Is 8 a factor of 7438*14/12*(-24)/(-56)?
False
Let k = 29101 + -4607. Is 41 a factor of k?
False
Suppose 4*f = u + 67074, 0 = 4*f + u - 51270 - 15816. Is 78 a factor of f?
True
Let y = -424 - -424. Suppose 3*j - 43 = 2*j. Suppose w - j - 49 = y. Is w a multiple of 15?
False
Let v = -110 - -85. Let u = -811 - v. Is u/(-8) + (-5)/20 a multiple of 10?
False
Suppose 0 = -4*k + 4*p - 304, -33 = 5*k + 2*p + 319. Let l = k + 146. Is 67 a factor of l?
False
Suppose 350648 = 26*r + 27*r. Is r a multiple of 8?
True
Let j(q) = 67*q**2 - q - 3*q - 12*q**3 - 241 - 37*q**2 + 11*q**3. Is j(29) a multiple of 22?
True
Suppose -13*o = 575 + 49. Let b = 54 + o. Is 3 a factor of b?
True
Let g(p) = -6 - 4 + 8 - p. Let j be g(-7). Let f(b) = b + 12. Is 3 a factor of f(j)?
False
Let v(x) = 33*x**2 + 82*x - 308. Does 137 divide v(4)?
True
Let v(y) = 97*y**3 - 7*y**2 + 123*y - 873. Is v(7) a multiple of 12?
True
Let r(o) = o**3 - 3*o**2 - 53*o - 26. Let w be r(-22). Does 59 divide w/(-32)*4/5?
False
Suppose 0 = 298*b + 556*b - 11166050. Is b a multiple of 116?
False
Let w(x) = -4*x**2 + 6*x + 11. Let i be w(-4). Let v be 2/(-3)*i/(-14)*-3. Suppose 347 - 1843 = -v*l. Is 17 a factor of l?
True
Suppose -44127 + 30655 = -70*w + 443698. Is 19 a factor of w?
False
Suppose 7*j = -0*j + 4963. Let r = j + -449. Does 10 divide r?
True
Let n(w) = w**3 - 31*w**2 - 30*w - 44. Let p be n(32). Suppose -4*x = -4*y + 2340, x - 5*x + p = 0. Does 10 divide y?
True
Let s = 166 + -166. Suppose 3*l + 3 = s, 4*i - 4*l + 243 = 1039. Is i a multiple of 9?
True
Let g(t) = -2*t + 19. Let a be g(0). Suppose 15*d - a*d = 12. Is 36 a factor of (3 + -253)*(d - 39/(-15))?
False
Is 12/16*-2*(-3)/((-9)/(-13402)) a multiple of 22?
False
Let a be (-19)/(-2) - (-12)/8. Let o(d) = 6*d**2 + a*d - 8 - 2 - 5*d**2 - 10. Does 11 divide o(-14)?
True
Let u(h) = 3*h**2 - 10*h + 42. Suppose -2*o = -5*o + 12. Does 25 divide u(o)?
True
Suppose -27*k = -30*k + 267. Let d = -77 + k. Is 6 a factor of d?
True
Suppose -3*n - n = 3*n. Let b(u) = -u**3 - u**2 + 2. Let f be b(n). Suppose 0 = -5*o + s + 155, 0*o - 4*s - 80 = -f*o. Is o a multiple of 6?
True
Suppose 29*p - 30106 = 134063. Does 51 divide p?
True
Suppose -21 = -2*a - 18*x + 13*x, -5*a + 24 = 3*x. Does 49 divide a + 2151 + 5 - 3?
True
Let g = 14832 + -14208. Does 8 divide g?
True
Let l = 69 - 35. Let z = -21 + l. Suppose -2*g = -z*g + 231. Does 6 divide g?
False
Let n(d) = 75*d**2 - 131*d - 66. Is 15 a factor of n(9)?
True
Let r = 180 - 418. Let t = r + 321. Is t a multiple of 8?
False
Let a(y) = -y + 19. Let m be a(15). Suppose m = z - 0*z. Let s = z - -30. Does 9 divide s?
False
Suppose -2*r + 1479 + 183 = 0. Let g = -751 + r. Is 4 a factor of g?
True
Suppose 4*k + 2 = 5*t - 1, -k = 5*t - 18. Suppose -t*s + 3*h = -201, -5*s - h + 122 = -3*s. Is s a multiple of 7?
True
Let q = 19046 - 6583. Is 121 a factor of q?
True
Let g be 1*(3 - (0 + 0)). Let o be (10/(-6))/((-15)/18). Suppose 202 = o*d + 5*v, -6*v + g*v - 186 = -2*d. Is d a multiple of 24?
True
Let p be (-2)/(2/(-7) + (-16)/(-105)). Let h be p + -16 - (-2)/((-2)/3). Let c = 78 - h. Does 19 divide c?
False
Suppose 5*b - 981 = 9644 + 2485. Is b a multiple of 44?
False
Suppose 2*q - 6116 - 23690 = 2*p, q - 14909 = -5*p. Is 18 a factor of q?
True
Let h(a) = -23*a**3 + 8*a**2 + 27*a + 6. Does 20 divide h(-6)?
True
Let a(n) = 536*n - 1. Is a(10) a multiple of 23?
True
Let b be (9*(-4)/(-30))/(4/10). Let g be 0 + 6/b + 1 + -4. Does 10 divide g - -43 - (-5 - -7)?
True
Let v(o) = o**3 - 5*o**2 + 2*o - 7. Let b be v(5). Suppose -9*a + 6*a + 207 = b*f, -f - 3 = 0. Is 12 a factor of a?
True
Let r be -4 + 110/(15/(-3)). Let f = r + 31. Suppose 4*w - f*x - 685 = 0, w = -2*w + 5*x + 510. Is 25 a factor of w?
True
Does 24 divide (27352/78)/(483/(-162) - -3)?
True
Let v(o) = o + 9. Suppose 10 = -m + 3. Let i be v(m). Suppose i*d - 2*y - 164 = 0, 140 = -2*d + 4*d + 4*y. Is 9 a factor of d?
False
Suppose -3*u + 18 = 3. Suppose 676*l - 664*l - 48 = 0. Suppose d + 99 = l*d + b, 2*d + u*b = 79. Is 17 a factor of d?
False
Let n(q) = 36*q**3 + 5*q**2 + 37*q - 154. Is 34 a factor of n(6)?
True
Let m(l) = 462*l + 13610. Does 101 divide m(44)?
False
Let c(g) = -31*g + 14. Suppose -8 - 4 = 6*w. Is 8 a factor of c(w)?
False
Let c(q) = q**3 - 3*q**2 - 10*q - 30. Let t be c(15). Suppose t = 4*y + 6*y. Does 14 divide (y/(6 + -12))/(-2 - -1)?
True
Suppose -p + v + 6737 = -4552, -3*p + v + 33857 = 0. Is p a multiple of 46?
False
Let o = 51 + 137. Is 11 a factor of o?
False
Let g(b) = 32 + 7*b**2 + 28 - 12 - 1 - 16*b. Does 29 divide g(6)?
True
Is 96 a factor of (-1084)/2168 + (-327)/(-9)*2526/4?
True
Let d = 29 + 71. Let o = -96 + d. Suppose -s = -2*l - 82, 394 = -o*s + 9*s - 2*l. Is 26 a factor of s?
True
Let i = -118 - -116. Let u(k) = 85*k + 9. Let y be u(i). Let f = y - -317. Is 23 a factor of f?
False
Suppose -3*r + 8*r - 2*m - 24945 = 0, -4*r + 5*m + 19956 = 0. Is r a multiple of 31?
False
Let y(w) = -w**3 - 61*w**2 - 152*w - 1516. Is y(-59) a multiple of 4?
False
Is (-1 - -4)*-6047*(-4)/6 a multiple of 40?
False
Let p(y) = 7*y**2 - 5*y - 5. Let o(b) = 34*b**2 - 23*b - 26. Let u(a) = -2*o(a) + 11*p(a). Is u(5) a multiple of 26?
False
Let m(k) = 49*k + 4. Let d(i) = 99*i + 9. Let a(y) = -3*d(y) + 5*m(y). Let b be a(1). Let w = -3 - b. Does 4 divide w?
True
Let v(d) = -d**3 + 7*d**2 - 3*d - 4. Let y be v(6). Suppose y*u - 2555 = 665. Is u a multiple of 94?
False
Suppose -34*k - 246114 = -21*k - 24*k. Is k a multiple of 113?
True
Let h(p) = 57*p - 688. Is h(16) a multiple of 4?
True
Let h = 24 - 23. Let s be -7 + 0 + h*4. Let j = 27 - s. Is j a multiple of 18?
False
Let o be 14*(16 - 13)*1/2. Let p be 24/(-10)*210/(-9). Suppose i - p = o