t w be g(10). Let i = 635 + w. Let f = i - 196. Is 23 a factor of f?
False
Suppose -489 - 407 = -7*c. Let k = 130 - c. Suppose -3*h - k*q = -368, -383 = -3*h + 5*q - 4*q. Is 6 a factor of h?
True
Let g(u) = u - 101. Let w be g(19). Let n = -6 - w. Does 24 divide n?
False
Let u(p) = 67*p**3 + p**2 - 8*p + 6. Suppose -2*d = -4*r + 14, -2*d = -3*r + 10 + 1. Is u(r) a multiple of 10?
True
Let v be (-554)/10 + 5/((-175)/21). Let p = v + 138. Is p a multiple of 10?
False
Let r be (19 - 17)/(1/2). Let w be 59/(-4) - 5/r. Is 20 a factor of 2/((1 + 4/w)/30)?
True
Let r(b) = 30*b**2 - 5*b + 2. Let k be r(4). Does 30 divide (5 + 4)/(-3) - k/(-3)?
False
Let x = -502 - -495. Let u(f) = -2*f**3 + 4*f**2 + 7*f - 4. Is 17 a factor of u(x)?
False
Let o = 6789 - 6646. Is 2 a factor of o?
False
Suppose -85*w = 122*w + 9*w - 6299856. Is 36 a factor of w?
False
Suppose 0 = -40*k - 21*k + 3233. Does 23 divide k/((-3)/(-9)*(-9)/(-69))?
True
Suppose 23*n = 19*n. Suppose v + 23 - 101 = n. Is 13 a factor of v?
True
Let l = 136787 - 79570. Is 10 a factor of l?
False
Let v = 500 - 465. Is 55 a factor of (-3 + v)/((-6)/(-39))?
False
Let v = -20614 + 33989. Is 25 a factor of v?
True
Let a(s) = 33*s + 8246. Is 14 a factor of a(0)?
True
Suppose 2*i - 627 = -3*i - 2*m, 2*m - 2 = 0. Let q = -111 + i. Let v(o) = 9*o - 48. Is 11 a factor of v(q)?
False
Let b(q) = q**3 - 11*q**2 - 5*q + 7. Let a be b(16). Let m = a + -658. Is m a multiple of 61?
True
Suppose 289 = 7*b + 4538. Let p = -559 - b. Is p a multiple of 16?
True
Suppose -71*p = -168*p + 76*p + 29232. Does 16 divide p?
True
Let h = -82 - -93. Suppose 2*m - 163 = -5*w, 5*m + 5*w - 266 = 164. Suppose h = -2*u + m. Does 39 divide u?
True
Let c = 3723 - 194. Is 11 a factor of c?
False
Suppose -4*c = 5*b - 0*b - 3686, 3*c = -4*b + 2764. Suppose -v = -j - 985, 5*j + c = 4*v - 3011. Does 15 divide v?
True
Let n(w) = 43*w + 45*w - 83*w + 45. Let d be n(-8). Suppose 5*m - 74 = -b, -2*b - d*m = -2*m - 162. Is b a multiple of 28?
True
Suppose -3*l = 3*c - 19353, -76*l = -75*l + 4*c - 6436. Is 18 a factor of l?
False
Let w be (-178)/4*19/((-285)/90). Is w/(-4)*(-160)/120 a multiple of 16?
False
Suppose 35*q = -3*t + 32*q + 25728, -q + 17156 = 2*t. Does 65 divide t?
True
Let q(u) = 4*u**2 + 50*u - 6. Let l be q(-13). Suppose -3*v - 6069 = -l*v. Is 21 a factor of v?
True
Let n(d) = d**3 - 3*d**2 - 2*d - 5. Let h be n(4). Let a(t) = t**h + 39 - 17*t**2 + 19*t + 2*t**2 - 45*t. Does 8 divide a(17)?
False
Suppose 0 = -5*j + 5*s + 50, -5*s + 8 = -j + 2. Suppose 398 = 12*u + j. Suppose -u*y - 366 = -35*y. Is 21 a factor of y?
False
Let a(v) = 23*v + 34. Suppose -3 - 7 = -d. Is 22 a factor of a(d)?
True
Suppose 62*p - 102*p + 133840 = 0. Is 9 a factor of p?
False
Suppose z + 23 - 5 = 0. Let f(x) = -x**3 - 13*x**2 - 5*x - 29. Let s be f(-13). Is 3 a factor of (-364)/z - 8/s?
False
Let y(x) = 560*x**2 + 326*x + 1622. Does 106 divide y(-5)?
True
Let y = 25 + -31. Let m be 714/18 + -6 - 2/y. Is 15 a factor of -4 + (-2 - (3 - m))?
False
Suppose l = o + 3005, 0 = -3*l - 20*o + 15*o + 9047. Does 177 divide l?
True
Suppose -3*x + 7039 = 4*d, -4*d - 2357 = -x - 0*d. Is 27 a factor of x?
True
Let j be (-105)/(-12) - 1/(-4). Let u be (-47840)/(-144) - 2/j. Suppose -7*t = -9*t + u. Does 18 divide t?
False
Suppose -16512 = -8*p + 2*h + 26114, 4*h = 2*p - 10660. Does 70 divide p?
False
Let s = 2 + 1. Suppose -144 = 32*y + 16*y. Is 131/s + (y - 14/(-6)) a multiple of 4?
False
Suppose -3*n + 2 = -22. Suppose -5*r - 3*u + 5 = -11, -4*u = 4*r - n. Let w(i) = 30*i - 33. Does 17 divide w(r)?
False
Suppose 53 - 20 = 3*y. Suppose q + u = 452, 0*q - 1812 = -4*q - 3*u. Suppose -y*c + q = c. Does 19 divide c?
True
Suppose -18*h + 20 = -8*h. Is ((-12)/15)/(h/(-600)) a multiple of 12?
True
Let f(v) = v**2 - 18*v - 24. Let t(b) = 4*b - 16. Let m be t(7). Suppose m*d - 8*d = 96. Is f(d) a multiple of 40?
True
Suppose 0 = 29*g - 57216 - 16560. Does 24 divide g?
True
Let u = -52 + 15. Let a = u - -40. Suppose 88 = 4*s + 3*b + b, a*s - b = 74. Does 24 divide s?
True
Let b(r) = -r**2 + 117*r - 83. Does 121 divide b(67)?
True
Let i(h) = h**3 + 4*h**2 - 2*h + 21. Let a be i(-5). Suppose o = -a*o + 308. Does 11 divide o?
True
Let l(j) = -j**3 + 21*j**2 + 32*j + 19. Let u(n) = -3*n**3 + 62*n**2 + 96*n + 56. Let w(x) = 11*l(x) - 4*u(x). Is w(19) a multiple of 26?
False
Let y be ((-6)/(-4))/(4/(-1104)*-9). Let d be (8/(-10))/(y/(-115)). Suppose -d*p + 366 - 46 = 0. Is p a multiple of 41?
False
Let a = -80 - -89. Suppose 8*d - a*d = -117. Let n = 209 - d. Is 17 a factor of n?
False
Suppose -5*i + 425 = -5*d, 2*d = -2*d - 2*i - 334. Does 16 divide 148/18*3*d/(-7)?
False
Suppose 105*c - 3311 = 4879. Is c a multiple of 13?
True
Let a = -21 + 38. Suppose p - 478 = -3*d, a*p + 5*d = 18*p - 502. Is 21 a factor of p?
False
Let h(s) be the second derivative of -s**4/12 + 23*s**3/6 + 29*s**2/2 + 6*s. Let v be h(24). Suppose 4*q = v*q - 31. Is q a multiple of 24?
False
Suppose 203*j - 560*j = 330*j - 4777398. Is 42 a factor of j?
False
Let c = 12094 - 1984. Does 149 divide c?
False
Let o(k) = 41*k**3 + 2*k**2 - 2*k + 8. Is 10 a factor of o(2)?
True
Is 21 a factor of 521571/207 - (10/6 + -2)?
True
Suppose 5*f - 25 = 0, -10*f = 3*l - 5*f - 37. Suppose 0 = -2*x + 5*x + 2*k - 818, l*x - 1072 = 2*k. Is x a multiple of 54?
True
Let m be -18 - -2 - 0/2. Suppose 5*k = 2*y - y - 85, 3*y - 3*k = 303. Let h = y + m. Does 15 divide h?
False
Suppose 5*t - 11142 = -3*o, 1649 + 13265 = 4*o - 3*t. Is 12 a factor of o?
False
Let o be (116 + 0/(-3))/2. Suppose 0 = 6*d + o - 202. Is 7 a factor of 7 + (d/4 - 2)?
False
Suppose 24*k + 308 = 31*k. Suppose 3*i - k + 29 = 0. Suppose -x + 118 = c - 0*x, -2*c - i*x + 233 = 0. Is 30 a factor of c?
False
Suppose -3*s = -m - 42, 2*s - 168 = 4*m + 4*s. Does 8 divide -273*m/(-18)*8/(-14)?
False
Let p be (-6 - 5) + -12 + 0 + 0. Does 4 divide (-1)/(((-69)/(-660))/p)?
True
Is 14 + 221/(-17) + 19162 a multiple of 39?
False
Suppose 241*n - 272691 - 924799 + 306754 = 0. Is 84 a factor of n?
True
Let g(t) = 2*t**2 - 31*t - 12. Let y be g(16). Suppose 0 = -y*j + 2*z + 57 + 29, 4*z - 44 = -j. Is 3 a factor of j?
True
Let m = -570 + 1771. Let t = m + -587. Is 54 a factor of t?
False
Does 78 divide ((-22)/(-6))/(-10 - -25 - 61014/4068)?
False
Let f(j) = j**2 + 29*j - 152. Suppose 70 = -0*o - 2*o. Does 25 divide f(o)?
False
Let t be (5 + -6)/(1*1/1). Let q(v) = 12*v**2 + v + 2. Does 6 divide q(t)?
False
Let i(p) = -57*p + 2. Let l be i(-6). Let q = -239 + l. Suppose 5*a + 0*a - q = 0. Does 20 divide a?
False
Is -96*(-1120)/(-126)*9/(-2) a multiple of 51?
False
Suppose 48 - 24 = 6*r. Let f be (-8)/36 - (-1586)/9. Suppose -8*q + r*q + f = 0. Is 16 a factor of q?
False
Let u(f) = 93*f**2 - 20*f + 2. Suppose -162*k - 33 = -173*k. Does 16 divide u(k)?
False
Let p be (-16 - -13)/((-411)/210 - -2). Is 28 a factor of (5 + 637/(-65))/(2/p)?
True
Suppose 193*y + 936 = 197*y. Suppose -3*q = -d + 2*d + 127, -3*d + 4*q = 355. Let z = d + y. Is z a multiple of 21?
False
Suppose 3329665 = 245*z + 543035. Is 8 a factor of z?
False
Let r(z) = z**2 + 15*z - 26. Let v(t) = -t - 21. Let m be v(-4). Let w be r(m). Let o(i) = 3*i**2 - 18*i + 24. Does 24 divide o(w)?
True
Let u(q) = q**3 - 32*q**2 + 250*q + 39. Is u(7) a multiple of 47?
True
Let u be 1 - (-2 + 2 - 3). Let d be (u/(-20))/((-1)/355). Let k = 118 - d. Is 21 a factor of k?
False
Let v(m) = -m**2 - 8*m + 22. Let t(l) = -l**2 - 7*l + 21. Let s(r) = r**2 - 16*r + 12. Let y be s(15). Let z(h) = y*t(h) + 4*v(h). Is 13 a factor of z(-12)?
True
Let j be 1 - (4/16)/(1/4). Suppose j = 31*k - 34*k + 849. Does 13 divide k?
False
Let d be 9 + (2 - 0 - 1). Suppose d = 2*i + 3*i. Suppose 36 = i*v - 30. Does 33 divide v?
True
Suppose 3*u - 17*k + 20*k = 67299, 3*u + 5*k = 67307. Is u a multiple of 99?
False
Let y(z) = 261*z**2 - 114*z + 224. Does 13 divide y(2)?
True
Let o be 12/(0 - ((-9)/(-2))/(-3)). Suppose 10 = o*f + 74. Does 2 divide (33/12)/((-2)/f)?
False
Suppose -3*r = 4*s - 19913 + 728, -12 = -4*r. Does 94 divide s?
True
Is 46 a factor of (26/5)/((-20)/(-100)*(-1)/(-345))?
True
Suppose -2*g + 5*k = 3*k - 27000, -3*k = 12. Does 14 divide g?
True
Let z be 8/(-10)*-2*(-5530)/(-4). Suppose -z = 12*h - 19*h. Let p = h + -162. Is 14 a factor of p?
Tru