+ 2*x = -0*h - 34. Let q be (-4)/7 + h/(-14)*-1268. Is 29 a factor of (-1 + -4)/(17/q)?
False
Suppose 0 = u - 4*b - 3990, 12015 = 3*u + 126*b - 129*b. Is 2 a factor of u?
True
Suppose 17*l = -575 - 105. Is 2 a factor of 1*(0/1 - l)?
True
Let h(j) = -22*j - 39. Suppose -2*z + 0*z = 8. Let y be (242/(-44))/((-2)/z + 0). Is 29 a factor of h(y)?
True
Suppose 0 = -10*g + 5*g + 50. Let l(v) = v**3 - 9*v**2 - 8*v - 14. Let m be l(g). Suppose -448 = -m*w - w. Does 32 divide w?
True
Let z be -4 + 2 + 0 + 6. Suppose 5*c = 2*m + 33, z*c = 2*c + 5*m + 30. Is (-17)/((0 - -1)*(c - 6)) a multiple of 4?
False
Is 9 a factor of (((-21)/(-2) - 8) + -1)*4206?
True
Let m be ((-8)/5)/(256/(-40) + 6). Suppose 5*t + 0*l + 4*l = 3338, 0 = -3*t + m*l + 1990. Is 13 a factor of t?
False
Let z be 5 + (-1 - 2) + (9 - 6). Is (z + 1)/(1 + 1) + 140 a multiple of 10?
False
Let f(i) = 1710 - 1702 + i**3 + i**3 - i - 5*i**2. Let j be f(6). Suppose 3*n + 3*k = 384, 4*k - 5*k = 2*n - j. Is n a multiple of 18?
True
Let o(g) = g**3 + g + 2. Let b = 29 + -29. Let n be o(b). Suppose -n*f - 3*f = -60. Is 3 a factor of f?
True
Let c(q) = q**3 - 13*q**2 - 6*q - 3. Suppose -175 = -24*t + 209. Is 5 a factor of c(t)?
False
Suppose 3791 = 4*h - 16037. Does 67 divide h?
False
Suppose -17*g + 14424 = -14872 + 3694. Is g a multiple of 6?
True
Suppose -6*b + 28 = 10. Let c(s) = 137*s - 7. Let v be c(b). Suppose 0 = 5*y - y - v. Does 23 divide y?
False
Let a(o) = -2*o**2 - 7*o - 3. Let i(b) = -b**2 - b - 1. Let l(z) = a(z) - 3*i(z). Is l(6) a multiple of 6?
True
Suppose -5*y = -5*n - 34815, -94*y + 6967 = -93*y + n. Does 43 divide y?
False
Let d = -93 + 95. Suppose p + 74 = -d*l, -116 = 3*l + 2*p + 2*p. Let t = 41 + l. Is 3 a factor of t?
False
Suppose 1378 - 382 = d. Is 56 a factor of d?
False
Let h(b) = b - 30. Let l(g) = g - 1. Let o(d) = h(d) - 3*l(d). Let p be o(-16). Suppose 0 = 4*m - 2*w - 294, 5*m + 0*w - 345 = -p*w. Is 9 a factor of m?
True
Let r(c) = 3*c**3 + 8*c**2 - 3*c - 22. Let v(u) = 24*u + 29. Let i be v(-1). Does 31 divide r(i)?
False
Let x(k) = -9*k**2 + 8*k + 19430. Is x(0) a multiple of 58?
True
Let b(u) = 497*u + 19. Let p be b(4). Suppose -p = 11*d - 4823. Is d a multiple of 10?
False
Is 144/(0 - (-3)/114) - (-6)/2 a multiple of 8?
False
Let q(n) = 9*n**2 + 11*n + 19. Suppose -28 = 21*g - 17*g. Let c be q(g). Suppose 2*z + 3*i = 278 - 18, c = 3*z + i. Is 21 a factor of z?
False
Let y(d) = 18*d**2 - 7*d + 4. Let o be y(5). Let p = 944 - o. Is p a multiple of 21?
True
Let t = 4989 + -3987. Is 15 a factor of t?
False
Let p(x) = -x**2 + 4*x - 2. Let i be p(4). Let y = 86 + i. Let c = y + 29. Is c a multiple of 17?
False
Let s = -19 + 26. Is 17 a factor of (s - 10)/((-1)/((-139)/(-3)))?
False
Suppose 5*n - 2 = 3*n, j + 36 = 5*n. Let h(g) = g**3 + 32*g**2 + 29*g + 1. Does 9 divide h(j)?
True
Suppose -2*g = -2*d + 4, -22 = -3*d - 0*g - g. Let l(s) = 2*s**2 + 7*s - 23. Does 5 divide l(d)?
False
Let z(d) = -d**3 - 22*d**2 - 24*d - 60. Let j be z(-21). Suppose j*t + 61 = -r + 231, 3*r + 2*t = 482. Is r a multiple of 7?
False
Let k = 19 + -36. Let h(i) = i**3 + 18*i**2 + 10*i + 38. Let l be h(k). Suppose -x - 48 = -5*f - l, 2*x - 251 = -f. Does 14 divide x?
False
Let w = -40 - -74. Let s = w - 34. Suppose s = 27*i - 24*i - 264. Is 23 a factor of i?
False
Suppose -91 = -t - 63. Let j(l) = 7*l - 3*l + 14 - 81. Does 6 divide j(t)?
False
Suppose -5*k + 5*l + 193635 = 0, -2*k + 64*l = 65*l - 77466. Does 11 divide k?
True
Let i = -7 + 9. Suppose -5*o - 652 = -2*f, i*o + 1288 = 2*f + 2*f. Is 40 a factor of f?
False
Let y = 28 - 7. Let h be (-23 + y)/((-1)/2 - -1). Is (788/12 + -3)*(-6)/h a multiple of 28?
False
Suppose 3*s + 5*q + 562 = -286, -5*s - 5*q = 1400. Let o = s + 346. Is o a multiple of 16?
False
Let p(y) = -231*y**3 + 4*y**2 - 5*y + 3. Let j = -38 - -45. Let l(m) = -347*m**3 + 6*m**2 - 7*m + 4. Let v(d) = j*p(d) - 5*l(d). Does 39 divide v(1)?
True
Let x(o) = 26*o - 24. Let i(n) = -17*n + 14 - n**2 + 38*n - 17*n. Let q be i(5). Is x(q) a multiple of 35?
True
Suppose -1089 - 2911 = -16*b. Is -4 + 60/18 - b/(-6) a multiple of 41?
True
Let q be 0 + 0 + -3 + 5 + 1. Let w be -5 + (-1)/4*0 + q. Is -3 + (-17 - w)/(-3)*23 a multiple of 39?
False
Let a be (-1302)/(-10) - ((-144)/(-20) - 7). Let s = a - -66. Does 14 divide s?
True
Let b(h) = 50*h + 67. Let o(v) = -102*v - 134. Let q(s) = 11*b(s) + 6*o(s). Is 79 a factor of q(-10)?
True
Suppose -3*x + 4*w + 90 = 0, 3*x + 0*x + 5*w = 63. Suppose 17796 + 7164 = x*v. Is v a multiple of 64?
True
Let o(n) = n**3 + 11*n**2 + 10*n + 4. Let c be o(-10). Suppose c*w - 4 = 2*j, w = 2*j - j + 2. Is (6/(-45)*-6)/(j/(-125)) a multiple of 7?
False
Suppose 0*k = -4*k + 400. Let d(h) = h - 69. Let j be d(-7). Let u = j + k. Does 24 divide u?
True
Let t(v) = 2*v**2 + 22*v + 1337. Is t(-57) a multiple of 6?
False
Let q = -60681 + 93106. Is q a multiple of 12?
False
Let o(v) = v + 9. Let b be o(-3). Suppose 13 + 11 = b*u. Suppose -u*x = -10*x + 396. Is x a multiple of 14?
False
Suppose -2*u - 2*r = 62, 0 = 6*u - 2*u - 4*r + 116. Let m(g) = -g**3 - 5*g**2 + 7. Let a be m(-6). Let f = u + a. Is f even?
False
Does 13 divide -1*7/21*(-2 + (-500495)/5)?
False
Suppose 0 = 4*x - 12, -49*a + 2*x = -48*a - 1214. Does 16 divide a?
False
Let x(r) = -2*r**2 + 21*r - 24. Let b be x(13). Let j = -89 - b. Does 8 divide 108 - (12/3 - j)?
True
Suppose -690*z = -687*z - 687. Suppose -5*c = -2*q - z, -2 - 8 = 5*q. Is c a multiple of 5?
True
Let d be ((24/5)/4)/(3/10). Suppose 2*o = d*y - 66, o - y = -6*y - 68. Let r = o + 86. Is 11 a factor of r?
False
Suppose -24*h + 29169 = -3495. Suppose -h = 27*y - 32681. Is y a multiple of 40?
True
Let f(n) = 7*n**2 - 125*n - 68. Is 7 a factor of f(25)?
False
Let s(j) = 6*j - 6. Let h be s(-15). Does 51 divide (528/h)/((-1)/(102*1))?
True
Let u = 125 - 97. Is (-21)/(-12)*40/u*46 a multiple of 6?
False
Suppose 5*a + 2*a + 14189 = 0. Let b = -987 - a. Is b a multiple of 13?
True
Let l(z) = z**2 + 8*z + 47. Let d(o) = -o**2 - 10*o - 47. Let b(q) = 4*d(q) + 5*l(q). Is b(10) a multiple of 21?
True
Is -5 - -235 - (0 + 3 + -6 + 7) a multiple of 6?
False
Let x(j) = j**3 + 30*j**2 + 16*j - 13. Let l be x(-8). Suppose l = 10*w + 317. Is w a multiple of 6?
False
Suppose -44460 = 21357*i - 21367*i. Is i a multiple of 6?
True
Suppose 18*f = 2989 + 5579. Let c = f + 324. Is c a multiple of 80?
True
Suppose -37*t - 4*d = -32*t - 101436, 5*t = -3*d + 101432. Does 30 divide t?
False
Suppose 5*d - 5*u = 150, -3*u - 26 - 96 = -4*d. Let b be 0/((-9)/4 + 8/d). Suppose 4*j - 1232 = -b*j. Is 44 a factor of j?
True
Let z(l) = 8*l - 3. Let d be z(1). Does 3 divide (-34)/d*(-40)/4?
False
Suppose 8*l - 7*l - 295 = 0. Let n = l - 183. Is 8 a factor of n?
True
Let f be 0 + (3 - 1) + 3 + 3. Suppose -32*c + 30*c + f = 0. Suppose -c*h + 52 = -268. Does 22 divide h?
False
Suppose -2*p + 8 + 30 = -4*g, -3*p + 2*g + 45 = 0. Does 18 divide -1 + -1 - ((p - 4) + -67)?
False
Suppose -7 = 3*r + o - 28, -5*r + 25 = 5*o. Is 16 a factor of 40/(6 - 46/r)?
True
Suppose 275360 = -78*t + 110*t. Is 15 a factor of t?
False
Let o(w) = -497*w**2 - 4*w + w + 489*w**2 + 10. Let u be o(-4). Let h = -65 - u. Is 17 a factor of h?
False
Suppose y = 5*y - 5520. Is 16 a factor of ((-34)/8)/((-23)/y)?
False
Let k = 43865 - 29020. Is 89 a factor of k?
False
Suppose 2067 = -5*g - f + 293, 0 = g + f + 358. Let d = g - -404. Is 25 a factor of d?
True
Let z(g) = -192*g**3 - 6*g**2 - 37*g - 90. Is 59 a factor of z(-3)?
False
Let w be 11/22*(-169 + -3). Let g = w - -226. Is g a multiple of 35?
True
Let i(n) = -23*n - 1. Let d be i(9). Let o be d/(-56) - (-2)/7. Is ((-20)/o)/(6/(-66)) a multiple of 21?
False
Let z(p) = 2*p**2 + 32*p - 17. Let f = 227 - 246. Does 18 divide z(f)?
False
Let y = -48 + 48. Does 22 divide (-5 - y/(-5))*-13?
False
Let p be (4 - (-90)/(-25))/((-1)/10). Does 3 divide (-97)/(-1 + -4 - p)?
False
Suppose 0*q + 3*q + 27 = 0. Let j be (-3 - (q - 1))*1. Suppose 84 = j*g - g. Is g a multiple of 4?
False
Let v(p) = -2*p**2 + 228*p + 232. Is v(38) a multiple of 9?
False
Let v(s) = s + 3. Let x be v(-1). Let t be (-378)/(-70) + x/(-5). Suppose -2*l + 76 = 3*n - t*n, -3*l - 3*n = -126. Does 28 divide l?
False
Let w be (-13)/(-4) - (-54)/72 - 1. Let y = 8 - 8. Suppose y = -s + 3, 0*s = w*q +