 = -2*v + v - 8 + v + v. Let y be p(13). Suppose 0 = -5*u - y*u + 160. Is 16 a factor of u?
True
Let w = -13 - 7. Let t = -37 - w. Let p = 1 - t. Is 17 a factor of p?
False
Suppose 30 = h + 2*h - 3*z, 4*z - 80 = -4*h. Let s(b) = -h + 14*b**2 - 11*b + 2*b + 24*b**2. Is s(-3) a multiple of 31?
False
Suppose 0 = 2*t + 7*t - t. Suppose 3*x = -3*h - 9, 4*x + t*h - h = 13. Is 9 a factor of 7*(x + (10 - 3))?
True
Suppose 67*m + 136*m = 30*m + 179228. Is 14 a factor of m?
True
Let u = 9117 + -9098. Suppose 8 = -3*p + 2. Does 31 divide p/7 + u/(-7) - -41?
False
Suppose -169*y + 679346 = -1246409. Does 10 divide y?
False
Let u(q) = -65*q + 1846. Is 32 a factor of u(-42)?
True
Let h(x) = -19*x + 168. Let o be h(9). Is 11 a factor of (-41)/(o*6/234)?
False
Suppose -5*i - 3*f - 5078 = -90650, -i - 2*f = -17113. Is i a multiple of 28?
False
Let s = -4565 - -7425. Is s a multiple of 13?
True
Suppose 723*x + 109798 = 5*v + 720*x, 0 = -4*v + 5*x + 87854. Is 44 a factor of v?
True
Let g(s) = s**3 + 9*s**2 + 7*s - 9. Let i be g(-8). Let x(h) = 0*h**2 + 3*h**2 - 44*h**3 - 2*h**2 + h - 1. Does 2 divide x(i)?
False
Suppose -2*z + 89337 = 2*z + i, -2*z + 44655 = 5*i. Is z a multiple of 15?
True
Let f be (2 - 5/2)*-8. Suppose 0*a = -4*d + 2*a - 294, f*a + 4 = 0. Let h = 152 + d. Is h a multiple of 49?
False
Suppose 0 = 24*h - 12980 - 316. Suppose 5*s = -j + h, 36*j + 4 = 37*j. Is 11 a factor of s?
True
Let l be 4 - -218*(0 - -2). Let x = 1002 - l. Does 66 divide x?
False
Suppose -433*b = -438*b + 45. Does 12 divide (-96875)/(-75) - 6/b?
False
Suppose -173*v = -190*v + 330225. Does 185 divide v?
True
Does 5 divide 40599/91 - (-2)/(-4)*8/28?
False
Suppose 5*d = -3*m + 7109, -3*m = -m - 4*d - 4710. Is m a multiple of 18?
False
Let f(l) = 3*l**3 + 27*l**2 + l + 18. Let a be f(-9). Suppose 2024 = -5*t + a*t. Is 11 a factor of t?
True
Suppose -2*y + 2*h = -10, 3*h - 40 = -4*y - 6. Is 12 a factor of (-23)/((-644)/360)*y?
False
Is 20 a factor of 10*5*(10/(-2) + (-4407)/(-15))?
True
Is 7 a factor of 12/32 - 2363182/(-304)?
False
Let m(r) = -76*r + 231. Let p be m(-19). Let v = p - 111. Is v a multiple of 68?
True
Let z = -31 - -43. Suppose 2*m = -2*m - 4*h + z, -6 = 2*m - 2*h. Suppose m*a - 20 = -j + 4*a, 3*j - 4*a = 68. Is j a multiple of 6?
True
Let u = -102 - -654. Let m = u + 237. Is 50 a factor of m?
False
Suppose 378*c - 9339403 = -1809643. Is c a multiple of 94?
False
Suppose 4*i + 4*z - 1380 = 0, 3*z - 1711 = -16*i + 11*i. Is i a multiple of 4?
False
Suppose 0 = -92*o + 83*o. Let c(u) = -u**2 - u + 23. Let l be c(0). Suppose -289 = -5*n - h, o = -2*n + 4*h + 97 + l. Is n a multiple of 11?
False
Let k(x) = -x**3 + 15*x**2 - 18*x + 13. Is k(10) a multiple of 139?
False
Let g be ((-2772)/27)/((-5)/(150/4)). Is ((-14)/(-4) + 4)/(7/g) a multiple of 33?
True
Let i be 95 + 0 - 8/(-2). Let j = 479 + -422. Let v = i - j. Does 10 divide v?
False
Suppose 0 = -22*q + 16*q. Is 12 a factor of q + 1 + -12 + 242?
False
Let q(g) be the first derivative of -g**4/4 + 16*g**3/3 - 5*g**2 + 5*g + 1. Suppose -4*i = -57 - 3. Does 16 divide q(i)?
True
Let l(c) = 59*c**2 - 299*c - 84. Is l(13) a multiple of 12?
True
Suppose 2*w = 3*v + 19, 2*w + v - 9 = 2*v. Let r(x) = 3*x**2 + w + 3*x + 6*x - 2*x**2 - 2*x**2. Is r(4) a multiple of 5?
False
Let r(b) = -15 + 4*b + 12*b**3 + 8*b**2 - 6*b**2 - 11*b**3. Does 9 divide r(5)?
True
Let t(l) = -689 + 1371 - 690 - 274*l. Is t(-1) a multiple of 8?
False
Let m(z) = -5*z - 18. Let d be m(-6). Suppose 9*l = 2*n + 4*l - 1907, d = -4*l. Does 11 divide n?
True
Let n(y) = 2*y**3 - 125*y**2 + 67*y - 309. Let g be n(62). Let p be 15 - (-4)/(2 + 0). Let m = p - g. Does 14 divide m?
False
Let w = -1343 - -2928. Suppose 3*q - 4*x = w, 4*x = 3*q - x - 1583. Does 20 divide q?
False
Is (((-254184)/(-18))/17)/(2/12) a multiple of 4?
True
Let v(p) = -p**3 - 10*p**2 - 7*p - 14. Let a(b) = -2*b**3 - 15*b**2 - 6*b - 3. Let l be a(-7). Is v(l) a multiple of 8?
True
Let q(c) = 18*c**2 - 167*c - 1277. Is 3 a factor of q(-7)?
True
Does 100 divide 29875*((-2176)/(-320) - 3*2)?
True
Let g(r) = 154*r**2 + r + 2. Let x be g(1). Suppose x = 9*h + 22. Does 9 divide ((-75)/2)/h*(-72)/10?
True
Let a be (2 + -8)*6/(-4). Suppose 1456 = 4*y + a*y. Does 7 divide y?
True
Let y be 2 - -102 - 6/(-5 - -11). Let h = 155 - y. Does 26 divide h?
True
Does 19 divide (-6)/(141988/(-141911) + (-1)/(-1))?
True
Let u(b) = -5*b - 45. Let y be u(-9). Suppose y = 282*z - 283*z + 658. Is 46 a factor of z?
False
Suppose -4*c - 11436 = -4*u, -c - 5718 = -7*u + 5*u. Suppose 0 = -3*w + l - 3*l + 1704, 0 = -5*w + 3*l + u. Does 10 divide w?
True
Suppose -71*s + 67*s - 3*h - 25 = 0, 0 = -s + h - 1. Let n be (-4)/(-10) + (-472)/(-20). Is (5/s - (-6)/n)*-29 a multiple of 2?
False
Suppose -2913 = -3*u + 2*h, 0 = 5*u + 4*h - 4685 - 170. Let o = -666 + u. Does 41 divide o?
False
Suppose -2*t = -7*t - 21*t + 602888. Does 34 divide t?
True
Let a(g) = g**3 - 2*g**2 - 5*g - 6. Let p be a(4). Suppose -d = -w + p*w - 223, 3*w = -3*d + 633. Is 14 a factor of d?
False
Let r be (-5 - (-171)/33)*11. Is (r - 5)*(-4 + (-68)/6) a multiple of 23?
True
Suppose -18*s + 14870 = -7*s - 68235. Does 41 divide s?
False
Let f be 170/(-51)*(-3)/2. Suppose -5*w = -f*q + 20, 3*w - 4*q + 6 + 10 = 0. Suppose 3*t - 7*k + 3*k - 300 = 0, w = t - 2*k - 102. Does 12 divide t?
True
Suppose 0 = i - 5*i - 4*o + 44, 2*i + 4*o = 18. Suppose -i = -4*n + 3. Suppose p - n = 4*u - 0, 3*p - 67 = u. Is 12 a factor of p?
True
Suppose -883*o + 39600 = -861*o. Is o a multiple of 9?
True
Suppose 55*z - 58*z = 3*p - 7263, -p = 4*z - 9666. Does 15 divide z?
True
Let f(u) = u - 5. Let n be f(-15). Let l = n + 29. Does 2 divide l - (-2 - (2 - 2))?
False
Suppose 5 = 5*g - 10. Suppose 0 = 106*h - 103*h - g. Let d(p) = 56*p**3 - 4*p**2 + 2*p. Is d(h) a multiple of 3?
True
Let m = -11 + 35. Let g be 1*-6*(-16)/m. Suppose -3*s - g*k = -113, 5*s - k - k - 197 = 0. Is s a multiple of 8?
False
Let a(j) = -4*j**2 + 143 + 11*j**3 + 13*j**3 - 60*j - 25*j**3 - 55*j**2. Does 25 divide a(-58)?
False
Let r(v) be the third derivative of -v**4/24 + 143*v**3/6 - 13*v**2 + 2*v. Is 11 a factor of r(-22)?
True
Suppose 9*s - 13*s = -5*n - 80, -n + 20 = s. Suppose 105 = 2*j - 5*u + s, -u + 46 = j. Is j a multiple of 15?
True
Suppose -6*s + 7*s = 2*x + 613, -s + 589 = 4*x. Let w = s + 137. Does 29 divide w?
False
Suppose 4*u = 5*r - 25, 8 + 2 = -4*u + 2*r. Suppose u = 4*n + 4*n - 144. Let s = 28 - n. Does 10 divide s?
True
Suppose 5*l + 4*m = 15, 5*l - 13 = m + 2. Suppose 4*b = 4*y + 1080, -l*y - 12 = y. Let g = b + -123. Does 18 divide g?
True
Let x(u) be the first derivative of u**4/4 + 10*u**3/3 + u**2 - 9*u - 9. Let h(c) = -6*c + 28. Let g be h(6). Is 23 a factor of x(g)?
False
Suppose -19942 - 8983 = -13*b. Does 25 divide b?
True
Let j(x) = -49*x + 91. Let o be j(-7). Let y = o + -222. Is y a multiple of 9?
False
Is 3 a factor of (22 + -48304)*(-5)/10?
True
Let g = 630 + -650. Does 11 divide 313 - (-5)/(25/g)?
False
Suppose -172*b - 25172 = -177*b + c, 0 = -3*b - 4*c + 15117. Is b a multiple of 53?
True
Suppose -333911 + 34727 = -92*d. Does 53 divide d?
False
Is (5691/35 - 0)*55 a multiple of 18?
False
Let t(w) = -38 - 8*w + 33*w**2 + 6*w + 16*w + 156. Is t(-6) a multiple of 26?
True
Let v = 32 + -28. Suppose 0 = -v*z - 3*f + 18, 5*f = -z + 2*z + 7. Suppose 5*q - 4*r - 321 = 0, 2*r - 5*r = -z. Is 13 a factor of q?
True
Suppose 8*t = 13 - 45. Does 6 divide (-2)/8 + (-609)/t?
False
Let l = 21735 - 14039. Does 57 divide l?
False
Let m be 444/(-45) + (-8)/60. Let c = -6 - m. Suppose 5*n - 108 = -c*i, -38 = -2*i - 4*n + 10. Is 11 a factor of i?
False
Let d = 13 - 15. Let w(t) = t + 62. Let m be w(36). Let k = d + m. Is k a multiple of 24?
True
Let x(s) = 1134*s + 1260. Is x(3) a multiple of 18?
True
Let k be 223/(-5) + 1/5*-2. Does 25 divide (k/(-18))/(3/90)?
True
Suppose 2*x + 2*k = -x - 646, k = -4*x - 853. Let v = 977 + x. Suppose -5*m - 4*b + v = -b, -2*m - 4*b = -320. Is 15 a factor of m?
True
Let n = -218 - -362. Suppose -3*k + 486 = -n. Does 8 divide k?
False
Let q(l) = 12*l**2 - 212*l + 258. Does 64 divide q(35)?
False
Let y = 73 - 45. Let c be ((-16)/(-5))/(-2) - y/70. Is 17 a factor of c/(1*2/(-34))?
True
Let v = -36 + 35. Let l be ((-135)/25 + 5)/(v/10). Suppose 4*n = 3*n + l