le of 16?
True
Suppose 266 = 2*d - 354. Suppose 0 = -m - 1, -5*m - 460 = -4*y - m. Suppose r + y = d. Does 14 divide r?
True
Let o(a) = 3*a**3 - 30*a**2 + 37*a - 16. Is o(15) a multiple of 19?
True
Suppose -3*q - 2*p = -6, 0 = 5*q + 3*p - 2 - 9. Let i = -31 - -97. Suppose -h = 4 + 1, q*h + i = d. Does 9 divide d?
False
Suppose -17932 + 1444 = -4*i. Suppose u + 3*k - 2061 = 0, 4*k - i = -2*u - 0*u. Suppose 7*g = -2*g + u. Is 29 a factor of g?
False
Let y(a) = a**2 - 3*a - 21. Suppose 41 = -2*q + 47. Suppose 53 = q*i + 11. Does 12 divide y(i)?
False
Suppose 4*f + 5*t - 23259 = 0, 82*t = 4*f + 85*t - 23253. Is 43 a factor of f?
False
Let f be ((-16)/42 - 6/21)*-9. Suppose -f*r + 3 = 21. Is 21 a factor of (1 + 0)/(r/(-87))?
False
Let n(s) = -399*s**3 - 4*s**2 - 143*s - 426. Does 12 divide n(-3)?
True
Suppose 234 + 4 = 17*g. Let s(z) = -z**2 + 15*z - 8. Let q be s(7). Suppose -g*f + 15*f = q. Is f a multiple of 16?
True
Let c(l) = l + 11. Let f be c(-7). Suppose 137 = -f*p + 581. Does 3 divide p?
True
Let b(j) = -34*j + 1. Let o be b(3). Let k be (-1)/(1/o - 0). Let d = k - 5. Is 9 a factor of d?
False
Let m be 1/(-2*2/(-4)). Let g = -263 + 265. Is 40 a factor of (g + -1)/(m/222)?
False
Suppose -2*g = -3*v - 65, 0 = 2*g - 24*v + 19*v - 71. Suppose 0 = g*h - 6568 - 8104. Is 22 a factor of h?
False
Suppose 0 = -5*c + 3*q + 86, 5*c - 82 = -0*q + q. Let x(f) = 16*f - 88. Is 21 a factor of x(c)?
True
Let t be 5/(-10) - (-14)/4. Suppose -a = -0*a - t. Suppose 0*v + 315 = a*v. Is v a multiple of 21?
True
Let h(m) = 3*m**2 + 154*m + 6221. Is h(-59) a multiple of 18?
True
Suppose -34*h + 197100 = -9*h. Is h a multiple of 4?
True
Let b = 233 - 226. Suppose b*d = -4*d + 4620. Is d a multiple of 35?
True
Let l(x) = -9*x - 87. Let k be l(8). Let z = k + 549. Is z a multiple of 3?
True
Suppose -129 = 11*h + 124. Is 12 a factor of (h + -1)*((-96)/8 - -10)?
True
Let u be (-1 - (-21)/6)*(-41 + 1). Let d = 122 + u. Is d a multiple of 5?
False
Suppose -2284 = -5*h + 4*o, -h + 362 = -3*o - 97. Is h a multiple of 24?
True
Let y be ((-39)/(-26))/(6/16). Let v be 313*(y - (3 - 0)). Let r = v - 205. Is r a multiple of 27?
True
Let w(d) be the second derivative of d**5/20 + 7*d**4/3 + 31*d**3/6 - 43*d**2 - 198*d. Does 8 divide w(-26)?
False
Let z(k) = -5*k + 3. Let q be z(0). Let y(p) = 10*p**2 - 14*p + 1. Is 4 a factor of y(q)?
False
Suppose 3*z = 3*d + 4*z - 3789, 0 = -2*d + 5*z + 2543. Does 54 divide d/12 + (-8)/(-3)?
True
Let a(i) be the second derivative of i**4/12 + i**3/6 - 9*i**2 - 24*i. Let u be a(-5). Let p(g) = 6*g**3 - 4*g**2 + 5*g - 2. Does 8 divide p(u)?
True
Let v be ((-44)/(-8) + -6)*-10. Suppose 0 = 4*b - 5*a - 5293, 7*a - 4*a = -v*b + 6607. Does 39 divide b?
False
Let f = -240 + 243. Suppose -3*n + 77 = 2*k, -3*n + 8*n - 118 = -f*k. Is k a multiple of 31?
True
Suppose -161*v + 10 = -156*v, 0 = 2*m + v - 13288. Is m a multiple of 33?
False
Let d(f) = -f + 2. Let g be d(-3). Suppose 282*k - 5336 = 236*k. Suppose g*r = 4*n - k + 546, -4*r - 2*n = -370. Is r a multiple of 20?
False
Let u = 5417 + 20983. Is 132 a factor of u?
True
Suppose 0 = -51*u - 21*u + 4472 + 47728. Is 49 a factor of u?
False
Let y = 101 - 34. Suppose 41 = 3*t - y. Does 12 divide t?
True
Suppose 3*u + 3*p = 10830, 5*u - 4*p - 4777 - 13309 = 0. Is 41 a factor of u?
False
Let k be ((-94)/(-4))/(1/(-2)). Let i = 55 + k. Does 15 divide ((-270)/i)/(6/(-16))?
True
Let d = 4001 + 1159. Is d a multiple of 20?
True
Let g(y) = 2*y**3 - 46*y**2 + 435*y + 27. Does 9 divide g(11)?
True
Let t(y) = -4*y**3 + 29*y**2 - 7*y + 22. Let a(m) = -m**3 + 2*m. Let i(z) = -3*a(z) + t(z). Is i(28) a multiple of 34?
True
Is 11374/((-1)/5*260/(-78)) a multiple of 47?
True
Let s = 4 + -4. Suppose 0 = -2*c - 2*n + 106, 5*c + 2*n - 265 = -s*c. Let v = c - 27. Is 26 a factor of v?
True
Suppose 0 = -27*t + 49*t - 40920. Is t a multiple of 15?
True
Is 12 a factor of 270928/708*234/7?
True
Let a(y) = -3*y - 241. Let s(g) = -g. Let n(d) = a(d) - 2*s(d). Let i be n(0). Let r = -161 - i. Is r a multiple of 20?
True
Let c = 67 + -99. Let q = 18 - c. Let r = q + -20. Is r a multiple of 2?
True
Suppose -336019 = -44*i + 568313. Is 51 a factor of i?
True
Let b = 50 - 48. Suppose -w + 670 = 2*p + 3*p, -5*w - 268 = -b*p. Suppose 2 - p = -3*h. Is h a multiple of 11?
True
Let g(j) = -j**3 - 14*j**2 + 17*j + 32. Let p be g(-15). Let h(q) = -1163*q**p + 1162*q**2 - 6*q - 35 + 28*q. Does 7 divide h(13)?
False
Let z = 647 - 647. Suppose 3*n - 51*j + 49*j - 439 = 0, z = n - 3*j - 151. Does 3 divide n?
False
Let u be ((-8)/12)/2 - (-2650)/(-15). Let v = u - -422. Does 35 divide v?
True
Suppose 2 = 5*v - 3*o - 7, -v + 3*o = 3. Suppose -3*j + 37 = -5*t, 0 = -j - t + 4 + v. Suppose -r = -j + 4. Is r a multiple of 2?
False
Is ((-10320)/(-1075))/(2/180) a multiple of 12?
True
Suppose -88 = 3*u - 61, 4*u = 5*v - 82316. Does 11 divide v?
True
Let k = 10 + -6. Suppose k*q = -314 - 134. Let m = q + 168. Does 8 divide m?
True
Let u be -5 - 3*(-2)/6. Let y(m) = -m**2 - 10*m + 1. Let f(l) = 6*l**2 + 69*l - 6. Let i(v) = u*f(v) - 27*y(v). Is i(6) a multiple of 23?
True
Is 8 a factor of 16380/22 - (-228)/(-418)?
True
Let d = -10297 + 37825. Is 250 a factor of d?
False
Let o(t) = -t - 2. Let r be o(-6). Suppose -3*k + 11 = -0*k - 4*a, r*k - a + 7 = 0. Is ((45 - 3) + k)*4/2 a multiple of 15?
False
Let s be -15 + 9 - -4 - (-4 - 0). Suppose -240 = -4*d - 2*c, 3*d + s*c + 6 = 186. Is 5 a factor of d?
True
Suppose -129 = -8*n + 5*n. Let m = n + -65. Let i = m + 62. Is 5 a factor of i?
True
Let k(i) = 4*i**2 + 13*i - 7. Let w be k(-5). Is 13811/w - (22/(-8) + 2) a multiple of 9?
False
Let k = -562 - -317. Is 2 a factor of (k/10)/(4/(-8)*1)?
False
Let z = -1546 + 4822. Suppose 0 = -4*a - 0*a + z. Does 46 divide a?
False
Let o be -7 + 3 - 83*(5 - 0). Let g = o + 705. Does 27 divide g?
False
Let d be 1/1*(58 - 32). Suppose -d*j = -10*j - 1008. Is 14 a factor of j?
False
Let d be (-6)/(((-108)/(-88))/(-9)). Let u(s) = s**2 - 2*s - 10. Let v be u(5). Suppose b = 2*b + v*k - d, -3*b + k = -68. Is b a multiple of 3?
True
Let w(z) = -131*z + 250. Let y(l) = 65*l - 126. Let q(j) = 2*w(j) + 5*y(j). Is q(12) a multiple of 39?
False
Let b(p) = 4*p - 18. Let x be b(6). Suppose 0 = x*i - 0*i. Suppose -7*l + 176 = -4*l + 4*q, 5*l + 2*q - 298 = i. Does 11 divide l?
False
Let f(j) = 5*j**2 + 22*j + 18. Let m be f(-10). Is m*1/2 + -21 + 23 a multiple of 6?
False
Suppose 5*k = -k + 342. Let n = -132 + k. Let f = 178 + n. Does 18 divide f?
False
Let p(d) = -d**3 + 14*d**2 - 8*d - 21. Let h be p(13). Suppose 0 = 2*l - 4*n - h, n = 3*l + 5*n - 96. Is 6 a factor of l?
False
Let g = -190 + 190. Suppose g = -4*t - 2*y + 1410, 3*t - 6*y + 2*y = 1030. Is 11 a factor of t?
False
Let u(m) = 3*m**2 - 29*m - 29. Let h be u(-12). Suppose -173 + h = 2*c. Suppose 2*v + 283 = 5*w, -c = -5*w - 2*v - 2*v. Is 16 a factor of w?
False
Suppose 3*d + 7*u - 415 = 5*u, -4*d + 2*u + 558 = 0. Suppose -h + d = -3*b, -4*h + 16*b - 14*b = -526. Does 5 divide h?
True
Let a(k) = 2*k**2 - 3*k - 2. Let b be a(-2). Suppose 3*t + q = 119, -147 = -4*t - 3*q + 15. Suppose -b = r - t. Does 9 divide r?
True
Suppose 0 = -k + u + 8 + 50, -4*k + 244 = 2*u. Let p = k + -54. Is ((216/10)/(-6))/(p/(-45)) a multiple of 27?
True
Let z = -250 - -255. Suppose 3*w + 2*w - 70 = z*o, -3*w = 2*o - 32. Is w a multiple of 4?
True
Let a = 65 + -44. Suppose 4*j - 2*g - 18 = 4*g, -j = 2*g + 6. Suppose j = 20*o - a*o + 88. Is o a multiple of 8?
True
Suppose 60029*q + 213792 - 809472 = 60013*q. Is q a multiple of 102?
True
Let n = -20182 - -43577. Does 67 divide n?
False
Let x be ((-6)/4 - -1)*-56. Let l = -1400 + 1404. Let p = l + x. Does 4 divide p?
True
Suppose -16*s + 959588 + 146863 - 151299 = 0. Is s a multiple of 17?
False
Suppose -5*o = -2*d + 28426, -5*d + 19*o + 71042 = 18*o. Is d a multiple of 32?
True
Let d be 4/22 - 3326190/(-1155). Let j = 4137 - d. Is 13 a factor of j?
False
Let m be 99/108*20018 - (-2)/12. Suppose -7*r + 32*r - m = 0. Does 26 divide r?
False
Let y(m) = -32*m**3 - 4*m**2 - m + 1. Let l be y(-1). Is 13 a factor of (-3798)/(-30) + 12/l?
False
Let u = -6998 + 14215. Suppose -u = -12*d - 1025. Suppose -d = -3*t + 3*j, -j - 4*j + 184 = t. Is 29 a factor of t?
True
Let f be 1/1*(-6)/(-2). Let o be f + 2 + 9/