k(-10). Suppose 94 = -2*q + z. Suppose -141 = 3*c + 3*h - q, 5*c = -h + 335. Does 35 divide c?
False
Suppose 0 = 3*d - u - 1065, 126*d - 1776 = 121*d + 2*u. Does 5 divide d?
False
Is 83 a factor of 14 + 35/(560/32976)?
True
Does 157 divide (137*3)/(-1)*(-2)/(18/471)?
True
Suppose -5*y - 5 = -4*p + 1, -2*y = -4*p + 12. Suppose 0 = p*q - 3275 - 1245. Is 10 a factor of q?
True
Let g be 6*((-9)/(-45) - 133/15). Is 21 a factor of 36*(g/(-16) + 2)?
True
Let i = 2828 + -904. Is i a multiple of 13?
True
Let o(w) = -39*w - 582. Let x be o(-15). Let b(u) = -2*u**2 + 1 + 3*u**2 + u**2 - 4*u. Does 3 divide b(x)?
False
Let g = 123 + -110. Is 1/5*-1*-5*g a multiple of 13?
True
Suppose -10 = -3*y + 3*n + 2*n, 0 = 5*y + 3*n + 6. Suppose 0 = 5*z + 4*f + 3 + 5, -z - 2*f - 4 = y. Suppose z = 10*s - 327 - 293. Does 10 divide s?
False
Suppose 26*o - 1 = 25*o. Let b(p) = 4*p - 1. Let q be b(o). Suppose -9 - 216 = -q*u. Does 8 divide u?
False
Suppose 3*j + 2*s = 43703, 0 = -5*j - 3*s + 57008 + 15829. Does 24 divide j?
False
Let o(q) = q**3 + 31*q**2 + 43*q + 35. Does 7 divide o(-13)?
False
Let u(k) = 1597*k**3 - 10*k**2 + 6*k + 3. Let p(n) = -1598*n**3 + 8*n**2 - 6*n - 3. Let r(i) = 7*p(i) + 6*u(i). Is 68 a factor of r(-1)?
False
Let t(h) = -h**3 + 16*h**2 - 21*h - 23. Is t(8) a multiple of 8?
False
Let r(h) = 70*h**3 - 4*h**2 - 46*h + 50. Is 3 a factor of r(1)?
False
Let x = 11426 - 5266. Is x a multiple of 176?
True
Let x = 273 - 258. Suppose 27*k = x*k + 7584. Is 11 a factor of k?
False
Is 12 a factor of (-1)/12 - 4280516/(-1392)?
False
Let k be 7/3*((-6 - -1) + 44). Suppose 3*p = 4*p - 327. Suppose -p = -2*v + k. Does 19 divide v?
True
Let c(b) = -4*b + 5. Let t(w) = 3*w - 6. Let k(z) = -3*c(z) - 2*t(z). Let y be k(6). Suppose 0*q = q - y. Does 7 divide q?
False
Let k be 86/(-6)*(26 + -101) - -2. Let d = 2494 - k. Is d a multiple of 57?
False
Suppose 0 = g - 3*s - 36 + 24, -3*g - 4*s + 10 = 0. Is 147 + (g - 1) + -7 a multiple of 6?
False
Let p = -87 + 75. Let u(x) = -x + 1. Let v(i) = 5*i - 12. Let z(b) = -12*u(b) - 3*v(b). Does 15 divide z(p)?
True
Does 34 divide 8/(-44) - ((-2126579)/143 - 7)?
False
Let s be (11/((-154)/(-28)))/(2/528). Suppose -14*p - s = -25*p. Is p a multiple of 48?
True
Let d be 16/7 + -2 + (-2)/7. Let m(g) = 0*g + d*g - 31 + g**2 + g + 47. Does 49 divide m(-19)?
False
Let a(g) = -3*g + 20. Let x be a(-19). Let q = x - 55. Suppose 6*u = 5*u + q. Is u a multiple of 7?
False
Let b(k) = 44*k - 25 - 26*k - 109*k - 20*k. Does 7 divide b(-3)?
True
Let l(m) = -m**3 - m**2 - m + 437. Let u(t) = -t**2 - 12*t - 11. Let c be u(-1). Does 25 divide l(c)?
False
Suppose 25*i = 17*i + 9792. Suppose 3*c + c = i. Suppose 0 = 8*z - 11*z + c. Is z a multiple of 13?
False
Let b = 25247 + -2981. Does 16 divide b?
False
Let d(a) = 1133*a + 11. Let w be d(2). Let f = w + -1373. Is 31 a factor of f?
False
Suppose 897218 + 189430 = -61*x + 213*x. Does 26 divide x?
False
Let f be -1 - (-4 + -1033 + -4). Suppose 0 = 38*l - 30*l - f. Is l a multiple of 26?
True
Let m(c) = c**2 + 7*c - 5. Let z be m(3). Let t be (-4)/26 - (742/(-91) + -4). Suppose -t*n = z - 1705. Is 17 a factor of n?
False
Suppose -6*p = -10*p + 8. Suppose 0 = 3*k - 2*i - 91, p*k - 3*i - 64 = -0*k. Is 6 a factor of k?
False
Let b be 18/14 - (-2)/(-7). Let t = 2509 - 2475. Is 14 a factor of (0 - b)/(t/(-1088))?
False
Is (-1426275)/(-900) - 3/4 a multiple of 10?
False
Let m be 1/(16/(-28))*(-6 - -2). Let p(b) = -b**2 - 20*b. Let h be p(-20). Suppose h = m*c - 166 - 58. Is c a multiple of 14?
False
Suppose 4*o + j = 32970, 0 = 77*o - 81*o + 5*j + 33006. Is 36 a factor of o?
True
Let t be ((-3)/(1/(-1)))/(12/(-2308)). Let q = t - -1067. Is 20 a factor of q?
False
Suppose 55557 = 5*u + 2*g, -65*u + 22212 = -63*u - g. Is u a multiple of 23?
True
Suppose 2*s - y = 2, 10 = 4*s - 3*y + 8. Suppose -5*h = s*q - 173, 3*h - 5*h + 2 = 0. Is 12 a factor of q?
True
Let m(h) = h**3 + 7*h**2 - 3*h - 2. Let p be m(-4). Let q be (0 - 0)*29/p. Suppose q = -13*a + 188 + 1905. Is a a multiple of 12?
False
Let z(q) be the first derivative of -2*q**3/3 - 53*q**2/2 + 23*q - 24. Is z(-17) a multiple of 13?
False
Does 13 divide (-15683)/(-7)*5 - 472/413?
False
Suppose 0 = -3*n + 5*h + 5386, 0 = 4*n - 6*h + h - 7178. Let x = n - 1247. Does 28 divide x?
False
Does 3 divide 4 - 131670/(-12) - (-19)/38?
True
Let u be 0 - (1 - 2 - 5). Suppose -1966 = 5*g - 4*w, u*w - 784 = 2*g + 2*w. Is 12 a factor of 1/2 + g/(-4)?
False
Let x(v) = 16*v**2 + 7*v - 2. Let q be 6/8*((-2)/3 + 2). Is x(q) a multiple of 3?
True
Let g(n) = n**3 + 28*n**2 - 36*n - 99. Let x be g(-23). Let a = x + -1983. Is a a multiple of 24?
False
Suppose -58*s - 40 = -53*s. Let h(u) = -u**3 - 6*u**2 + 11*u + 2. Is h(s) a multiple of 2?
True
Suppose -1570*z + 21168 = -1566*z. Does 28 divide z?
True
Let u(b) = -5*b + 5. Let w = 55 + -56. Let n be u(w). Suppose -n*h = 660 - 3220. Is h a multiple of 16?
True
Is (-269528)/(-161) - 58/667 a multiple of 31?
True
Let y = -459 + 1349. Let j be 2/6 + y/30. Suppose 0 = j*q - 27*q - 15. Is q a multiple of 2?
False
Let n = 220 + -228. Is 12 a factor of (6/24)/(n/(-22688))?
False
Is 98/(-14) - (-26420)/5 a multiple of 13?
False
Is 6 a factor of (-168)/(8 + 1035/(-126))?
False
Suppose 47*w - 3978 = -57*w + 78*w. Does 51 divide w?
True
Let y(s) = 2*s - 14. Let h be y(10). Let g(n) = 12*n + 2. Is g(h) a multiple of 9?
False
Does 52 divide -2590*(((-2352)/80)/3 - (-1 - 6))?
False
Let b be (99/(-4))/3*(-616)/33. Let g be (6/5)/(b/150 - 1). Let d = 135 + g. Is 30 a factor of d?
True
Suppose 5*d - 4*x - 61 = 0, x + 63 = 5*d - 1. Suppose 4*i = d*i - 27. Does 3 divide (5 - -1) + 0 - (i + -1)?
False
Suppose 152*c - 223871 = 272603 + 235406. Is c a multiple of 139?
False
Let l = -39 + 44. Suppose 0 = -l*d - 2*w - 2, -5*d + 5*w - 16 - 14 = 0. Let s(r) = -17*r - 4. Is s(d) a multiple of 6?
True
Suppose 9540 - 2160 = 3*y. Suppose -y = -21*w + 17*w. Is w a multiple of 41?
True
Suppose 4*o = -3*t + 675 + 1092, 0 = -4*o + 12. Is 4 a factor of t?
False
Let i = -815 - -1358. Let x = i + -288. Is 24 a factor of x?
False
Let b(g) = g**2 + 6*g + 5. Suppose -3*y + 2*i + 106 - 34 = 0, 0 = -5*y + 3*i + 120. Let s be (-7 + 2)*y/15. Is b(s) even?
False
Let k be (72/16)/9*-290. Does 7 divide k*(816/(-30))/8?
False
Suppose -159*t - 123608 = -211293 - 196607. Is t a multiple of 3?
True
Let p = -143 + 146. Is (p - (2 - 0)) + 1309/11 a multiple of 14?
False
Suppose c + 2*a = 20664, -6 - 3 = -3*a. Does 33 divide c?
True
Let p(f) = f**2 + 9*f - 187. Let c = 354 - 385. Does 55 divide p(c)?
True
Let t(w) = w**3 + 24*w**2 + 44*w + 20. Let u be t(-22). Let z = -22 + u. Let b(c) = 6*c**2 + 6. Is 16 a factor of b(z)?
False
Suppose 1051959 + 115291 = 70*f. Is f a multiple of 269?
False
Let t be (470/141)/((-2)/(-3)). Suppose -5*k = -5*c + 3045, t*k + 299 = c - 322. Is 14 a factor of c?
False
Suppose -440*g = 3*c - 442*g - 22137, 0 = -c + 2*g + 7379. Is 59 a factor of c?
False
Does 7 divide 346949/222 + 14/12?
False
Let r(b) = b**2 - 4*b - 28. Let i be r(8). Suppose 0 = d + 5*o - 502, 3*d + i*o - 2056 = -d. Is 11 a factor of d?
True
Let q be 0 + (-5 + 1)*-1. Suppose q = -w - 4*t - 11, 3*t + 10 = -2*w. Is 17 a factor of (220/(-60))/(w/(-9))?
False
Let u be (-6 - (-28)/4) + -4. Does 9 divide (18/(-36))/(((-3)/(-1214))/u)?
False
Is (12 - 10)*(-315)/(-14)*(-3 + 12) a multiple of 16?
False
Suppose -271 = 2*i - 5*s + 817, -3*s - 2658 = 5*i. Let r = i - -1139. Is r a multiple of 11?
True
Suppose 2*t = -4*o + 51 + 439, -3*t - o = -740. Let y = 368 - t. Is y a multiple of 13?
False
Let h be 44 - 0/((3 + -7)/4). Suppose -5*p + 19 = h. Does 6 divide 28/(12 + p) - (-7 - 0)?
False
Let p be (-1)/(2/(-7) - 40/56). Let f be (-4)/(-6)*(-3)/(-2)*p. Let s = 27 + f. Is s a multiple of 7?
True
Let r = 121 + 17. Suppose q = -4*q + z + 329, -2*z - r = -2*q. Is q a multiple of 8?
False
Let r = 16823 - -15235. Does 15 divide r?
False
Let i(x) = 9*x - 3. Let v(p) = 1. Let l(w) = -i(w) + 3*v(w). Let k be l(-8). Let y = -54 + k. Is y a multiple of 18?
False
Let d(f) = f**2 + 10*f - 15. Let q be d(-12). Let o be (-34)/153 + 47/q. Suppose -10*i + 1520 = -o*i. Is 15 a factor of i?
False
Suppose 4*v + 40992 = 5*u, -2*u + 15055 = 5*v - 1355. Is u a multiple of 40?
True
Let i be (-250)/100*2*-1. Suppose 2