tiple of 8?
False
Let u(x) = 5*x**2 - 2*x + 21. Let m(h) = -25 + 8 - 2*h + 3 - 11. Let o be m(-16). Is u(o) a multiple of 63?
True
Suppose 0 = 3*q, x = 4*x + q - 288. Let a = -39 + x. Let r = 105 - a. Is r a multiple of 3?
True
Let x = -2 + -33. Let b = 41 + x. Suppose j - 15 = b. Does 3 divide j?
True
Suppose d - 4*d = 5*s - 20292, 27090 = 4*d + s. Is 62 a factor of d?
False
Suppose 122*r - 112*r = 30. Is 29 a factor of r/(-5) + 0 + (-27607)/(-95)?
True
Let p be ((-60)/25)/((-2)/10). Suppose 2*i - p = -4*f, -3*i + 2*f - 6 = -7*i. Suppose i = -u + 4*u - 117. Is u a multiple of 17?
False
Let m(d) = 7*d**2 - 3*d. Let v be m(5). Suppose 3*p + s - 587 + v = 0, 0 = -3*p - 4*s + 421. Is p a multiple of 25?
False
Let k(m) be the third derivative of 4*m**4/3 - 103*m**3/3 - 224*m**2. Is 4 a factor of k(8)?
False
Let t(w) be the first derivative of 3*w**2 - 91*w + 76. Is t(18) a multiple of 10?
False
Let p be 160/64*348/(-3). Suppose -7 = 3*b + 2*u - 4*u, 2*b + u = -14. Is 156/b*p/87 a multiple of 8?
True
Suppose -6*q - 7 = -31. Suppose -q*v = 4*h + 564, -4*h + 2*v - v = 559. Let f = 163 - h. Is f a multiple of 25?
False
Suppose o = x + 369, -146 = -2*o + 4*x + 584. Does 109 divide o?
False
Suppose -g + l - 3*l + 171 = 0, -4*g = 2*l - 660. Suppose -95 = -a - 3*y, 6*a = 2*a + 3*y + 335. Let t = g - a. Does 30 divide t?
False
Let m = 19 - 14. Suppose 0 = -3*w - m*q - 14, w - 2*q - q - 14 = 0. Suppose -w*y - y = -36. Does 6 divide y?
True
Suppose 0 = -5*m + 2*l + 32567, -m + 1102 = -5*l - 5393. Does 13 divide m?
False
Let c = 847 + -541. Suppose q + 2*d = c, 3*q = 12*d - 14*d + 934. Does 10 divide q?
False
Let y be (-1 - 7)/(1 - 0). Let c(u) = -2*u**2 + 51*u + 3. Let p be c(25). Let d = p + y. Is 4 a factor of d?
True
Suppose 2*c - 2*z = -3*z + 207, c + 5*z = 117. Let s = c + -98. Suppose -1800 = s*j - 14*j. Is j a multiple of 21?
False
Suppose -140*d + 1643049 = 483849. Does 115 divide d?
True
Let p be -7 + 9/(45/50). Suppose -881 = -p*w - 6*m + m, -m = -5*w + 1487. Is w a multiple of 9?
True
Suppose -302*n = -107*n - 412230. Does 67 divide n?
False
Let a = 1154 + 187. Is a a multiple of 5?
False
Is (-10269)/(-2) - (-2)/(-4)*-1 a multiple of 11?
False
Suppose -y + 1707 = o, 0 = 3*y - 5*o - 331 - 4822. Let b be (-2)/15 + 116/(-30). Is y/58 + (-2)/b a multiple of 4?
False
Suppose x + 2*k - 7 + 0 = 0, 4*k = -5*x + 41. Suppose -x*y - 472 = -11*y. Does 23 divide y?
False
Suppose p + h - 6 = 0, -3*h + 18 = 5*p - 12. Is (-1)/(15/p) + (-822)/(-5) even?
True
Suppose -5640 = -4*a + z, 3*a - 3*z - 553 = 3686. Is 5 a factor of a?
False
Suppose -5*r = -3*k - 97169, -r + 5*k = -2*k - 19453. Does 14 divide r?
True
Suppose 1198 = 27*f - 665. Is 3/((-18)/30) + f*11 a multiple of 7?
False
Let i(w) = -5 - 14 - 3*w + 0*w + 5*w**2 - 4*w**2. Let a be i(6). Is a*109*(-2 - -1) a multiple of 16?
False
Let l = -61 - -63. Suppose -2*s - l*s + 8 = 0, 2*k + 3*s + 316 = 0. Let p = -111 - k. Does 25 divide p?
True
Suppose -45 = 5*o + 35. Let l = 22 + o. Is 21 a factor of (-9)/((-81)/6) - (-626)/l?
True
Let v(y) = -2*y**3 - y**2 + 3*y - 1. Let i be v(-3). Let g = 39 - i. Suppose -3*r - 30 = -4*l, -7 = -l - g*r + 5*r. Does 9 divide l?
True
Let q(g) = 14*g**3 + g**2 + 14. Let m(l) = -41*l**3 - 3*l**2 + l - 41. Let u(p) = 4*m(p) + 11*q(p). Does 4 divide u(-3)?
False
Let r(y) = 2*y**2 + 10*y + 2894. Does 184 divide r(0)?
False
Let o(n) = -n - 2. Let k be o(-6). Suppose -4*m = 4*r - 8*r + 520, -k*r = -2*m - 512. Is 3 a factor of r?
True
Let v be (-1)/3 + (-34)/(-3). Let d = -7007 + 7011. Is (v/(-2) - -6) + 638/d a multiple of 20?
True
Let o = -113256 - -202310. Is 14 a factor of o?
True
Let f(i) = 2*i - 8. Let l be f(4). Suppose -d + 3*w = 7*w + 106, l = -4*d - w - 499. Let y = -42 - d. Is y a multiple of 13?
False
Let x be 253/3 - (-40)/(-30). Let i = x - -21. Suppose -t - 5*j = -26, 0 = 4*t + 2*j + 3*j - i. Does 13 divide t?
True
Let c be ((-16)/(-20))/(4/(-30)) + 11. Is (c - 4 - -7) + 395 a multiple of 13?
True
Let w = 279 + -251. Suppose -23*r = -w*r + 440. Is r even?
True
Suppose 4*m = 3*w + 76855, -m + 5*w + 19198 = 2*w. Does 23 divide m?
False
Suppose 2*t - 15*t = 2*t - 113925. Does 112 divide t?
False
Suppose -88479 = -2041*s + 2012*s. Is 69 a factor of s?
False
Let v(i) = 10*i - 17. Let c be -1 - 9/2*2/(-3). Let y = 3 + c. Is 11 a factor of v(y)?
True
Let i be (-94)/(5/100*-4). Let f = i + -423. Does 38 divide f?
False
Let t(w) be the third derivative of w**5/60 - 2*w**4/3 + 9*w**3 - 15*w**2. Let a be t(12). Let g = a + 4. Is 2 a factor of g?
True
Suppose 2716*q - 1548498 = 2695*q. Is 229 a factor of q?
True
Let j = 1780 - -967. Is 35 a factor of j?
False
Suppose 3*i - l = 30596, i + 83 = -2*l + 10277. Is i a multiple of 29?
False
Suppose -21837 = -4*r + o, 2*r - o + 4227 = 15144. Is r a multiple of 13?
True
Suppose -4*z = -3*q - 21585, -24*z + 21*z + 16215 = 3*q. Is 18 a factor of z?
True
Let c = 3848 + -2940. Does 2 divide c?
True
Let h be (-8)/36*-21 - 2/(-6). Suppose 0 = -5*p + w + 317, -h*p + 300 + 11 = -3*w. Does 8 divide 10224/p + 1/4?
True
Does 9 divide 35532/168*28/18 + -6?
False
Let l = 269 - 297. Let j = 103 + l. Does 4 divide j?
False
Let q = 256 + -250. Is 27 a factor of 1/((-5)/(-3210)*q)?
False
Let z = 26871 + -15463. Is 46 a factor of z?
True
Let k(y) = y**3 + 32*y**2 + 241*y + 7. Is k(-19) a multiple of 5?
False
Let i(h) = h**3 + 7*h**2. Let w be i(-7). Let k be w*((-20)/(-50))/(8/5). Suppose -3*o + 2*g + 64 = 0, -62 = -4*o - 2*g - k. Is o a multiple of 9?
True
Let b = 94445 - 58193. Is b a multiple of 228?
True
Let p(c) be the third derivative of c**7/630 - c**5/15 + 3*c**4/8 + 19*c**2. Let j(v) be the second derivative of p(v). Is j(-3) a multiple of 7?
True
Suppose -51 - 15 = -4*y + d, -y = -d - 15. Suppose 0 = y*l - 10*l - 406. Is 6 a factor of l?
False
Suppose 0 = 2*z - 16*z + 84. Suppose 4*y = -g + 96, -z*g + 206 = -4*g + y. Is g a multiple of 7?
False
Is 7 a factor of (42/(-9))/(2599/(-5190) + (-16)/(-32))?
True
Suppose -4*h + 40*y + 24932 = 42*y, -5*h = -y - 31179. Is 29 a factor of h?
True
Is 29 a factor of (9/12)/(225/288600)?
False
Let h be 3172/130 + 2/((-20)/(-6)). Suppose 260*k - 255*k = -h. Is 26 a factor of (22 - 1)*((-16)/(-8) - k)?
False
Let y(r) = 236*r**2 + 36*r - 180. Does 18 divide y(6)?
True
Let u(c) = 319*c**2 + 73*c + 209. Is 29 a factor of u(-3)?
False
Let n(a) = -a**2 - 18*a - 9. Suppose -r - 178 = 3*s, 6*s + 64 = 5*s + 2*r. Let j be (s/21)/((-2)/(-7)). Is n(j) a multiple of 38?
False
Let a be (1485/225)/((-1)/(-15) - 0). Let f = 229 + a. Is 4 a factor of f?
True
Let d = -112 + 140. Suppose 0 = -29*f + d*f + 4. Suppose 1389 = f*z + 413. Is z a multiple of 30?
False
Let m(c) = -8*c**3 + 11*c**2 + 16*c + 18. Is m(-11) a multiple of 24?
False
Let v = -202 - -287. Let r = v + -81. Is 11 a factor of 2/r - 2235/(-30)?
False
Let v = -46 + 36. Let p be (8 + 2)*(-5)/v. Suppose 0*h + 103 = d - h, p*h + 87 = d. Is 12 a factor of d?
False
Let z(m) = 8*m - 7. Let g be z(2). Let l(v) = 5*v**3 + 8*v**2 + v - 6. Let x(h) = -4*h**3 - 8*h**2 - h + 5. Let w(i) = 5*l(i) + 6*x(i). Does 30 divide w(g)?
False
Suppose 0 = 4*x + 5*m + 96, m - 64 = 4*x - 2*m. Let i(s) = s**2 + 18*s - 18. Let z be i(x). Suppose -2*n - 3*y = -z - 131, -5*n - 5*y = -330. Does 33 divide n?
True
Suppose 1890 + 19572 = 4*u - 8438. Is u a multiple of 65?
True
Let u(s) = -65*s - 198. Let z be 1/2*((-9 - 2) + 3). Is 6 a factor of u(z)?
False
Suppose 3*y + 12*p - 7*p = 4761, y - 1565 = 2*p. Is 44 a factor of y?
False
Let i be (-1 + 3)*(-13)/(52/(-24)). Suppose -n - i = -5*n. Suppose -4*l + 3*v + 312 = 51, 5*v - 203 = -n*l. Is 33 a factor of l?
True
Suppose -8*z = -5*z - f - 18220, 10 = 5*f. Is 31 a factor of z?
False
Suppose -q - 252 = -2*g, -4*q = 2*g - 195 - 57. Is 11 a factor of 6/21 - (-29070)/g?
True
Suppose -2*z - 4*i - 6 = -92, z - 4*i - 73 = 0. Let q = -1 - z. Let n = q - -154. Is n a multiple of 10?
True
Suppose -62*n + 1126833 = 172839. Is n a multiple of 223?
True
Let d be (11380/(-25))/((-8)/(-20)). Let s = 1914 + d. Is s a multiple of 8?
True
Let f be (-33421)/1 + (28 - 32). Does 22 divide f/(-125) + 2/(-5)?
False
Let p(s) = 5*s + 12. Let g be 26/8*(15 - 11). Suppose -7*j = -g*j + 72. Does 8 divide p(j)?
True
Suppose 50560 = 25*c - 8090. Is c a multiple of 46?
True
Is 135 a