True
Let h(b) = 68*b - 212. Let f be (-18)/(-315)*-5*-21. Does 14 divide h(f)?
True
Let t be (((-20)/45)/1)/((-4)/18). Suppose 0 = -4*p - o - 27 + 596, 5*o + 257 = t*p. Is p a multiple of 12?
False
Let b(o) = -o**3 - o + 2. Let n be b(-2). Suppose -3*m = m - n. Suppose 5*q + m*z - 6*z - 255 = 0, -4*q + 177 = 3*z. Is q a multiple of 12?
True
Let t = -15899 + 30867. Is 27 a factor of t?
False
Let g(m) be the second derivative of 17*m**5/20 + 5*m**4/12 - m**3/6 - 7*m**2/2 + 118*m. Is g(4) a multiple of 19?
False
Let v(i) = 150*i + 615. Is 15 a factor of v(4)?
True
Let j(z) = 38 + 296*z - 202*z - 142*z. Is 47 a factor of j(-9)?
True
Suppose -5*a + 41927 = 4*h + 12151, 3*a - h - 17886 = 0. Is a a multiple of 8?
True
Let b(p) = 18*p - 29*p - 3 + 0 + 15*p - 39*p**2. Let y be b(2). Let a = -78 - y. Is 23 a factor of a?
False
Let b(z) = -2*z**3 - 10*z**2 + 21*z + 231. Is b(-9) a multiple of 46?
True
Let r(n) = -n**2 + 8*n - 11. Let a be r(3). Suppose -4*y = a*c - 2108, 0 = -0*c - c + y + 529. Does 22 divide c?
True
Let y = 145 + -233. Let h be 6*1/3 - y. Suppose -4*d + o + 632 = h, -4*o = -5*d + 683. Does 17 divide d?
False
Suppose 5*k - 9*q = 6*k - 3590, -24 = -4*q. Does 16 divide k?
True
Let o(i) be the third derivative of 0 - 1/6*i**3 - 37/24*i**4 + 0*i - 2*i**2. Is 9 a factor of o(-1)?
True
Let k be 1*(4 + -11) + -8. Is 15 a factor of 9/45 - 14847/k?
True
Is 3 + (2 - 5) - 2 - -24242 a multiple of 120?
True
Let h(w) = -188*w**3 + 72*w**2 + 3*w. Is 13 a factor of h(-5)?
True
Let j(n) = 4*n + 26. Let c be j(-6). Is 161 + (c - -3 - 5) a multiple of 28?
False
Suppose -4*h + 7*h - 102 = 3*b, 2*h + b = 53. Suppose 0 = 8*s - 221 + h. Does 6 divide s?
True
Suppose -8*h - 13*h - 441 = 0. Let i(p) = p**2 + 14*p - 27. Is 5 a factor of i(h)?
True
Suppose 0 = 4*k - 2*p - 38, -k + 3*p + 0 = -12. Let n be (33/k - 1)/((-2)/(-3)). Suppose -4*v = 6 + 6, -v = n*l - 77. Is 6 a factor of l?
False
Let o(w) = 2116*w + 658. Is o(7) a multiple of 170?
True
Does 17 divide (-81277)/(-49) + 7 + (-2)/(-7)?
True
Let o = 163 + -49. Let y be (-17 + 18)/((-2)/4*2). Is 15 a factor of y/(-6) + 20501/o?
True
Suppose 9*c + 2111 = -3478. Let r = c - -1053. Does 72 divide r?
True
Let q = -70 + 63. Let w = 78 + q. Let o = w + -41. Does 5 divide o?
True
Let y(p) = p**3 - 8*p**2 - 6*p - 22. Let r be y(9). Suppose -8 = -v + 2*w + 82, -w + 428 = r*v. Is 7 a factor of v?
False
Suppose 0 = 85*f - 282439 + 31689. Does 10 divide f?
True
Let x(k) = -2*k**3 + k**2 + 95*k + 94. Let g be x(-1). Suppose -4*p = 5*z - 17, -p = -4*z - 6*p + 10. Suppose -z*i = -g*i + 12, i + 212 = 2*f. Does 52 divide f?
True
Let k be 63/13 - (-12)/78. Let l be (-3 - 1 - -6)*357/6. Suppose q - 125 = -k*a, -q + l = -0*q + 3*a. Is 17 a factor of q?
False
Suppose 5*p = -m + 19, 3*m - 86*p - 21 = -89*p. Suppose j = 2*j - 568. Suppose a - j = -4*h - 98, 4*h - 480 = m*a. Is 8 a factor of h?
False
Suppose -2*z + 84*u - 82*u + 10548 = 0, -5*u = 3*z - 15854. Does 13 divide z?
True
Let x be ((-138)/8)/(24/(-6240)). Suppose x = 13*d - 195. Is d a multiple of 18?
True
Suppose 25925 = 9*i - 39662 - 50405. Is 20 a factor of i?
False
Let g(l) = -l**3 + l**2 + 2*l - 3. Let p be g(2). Let u(i) = -544*i + 5437. Let z be u(10). Does 4 divide ((-108)/(-21))/p*(-17 - z)?
True
Let i be (-1)/(((-2)/(-12))/(35/(-105))). Suppose 2*j - 1854 = -4*a, 5*a - i*j + 5*j = 2320. Does 29 divide a?
False
Let s = -33 - -27. Let u(x) = x**3 + 6*x**2 - 10*x + 6. Let r(a) = a**3 + 5*a**2 - 9*a + 7. Let m(i) = -5*r(i) + 4*u(i). Is 10 a factor of m(s)?
False
Let i(j) = -12*j - 19. Let b be -27*-2*(-1)/6. Let s be i(b). Let y = -17 + s. Is 22 a factor of y?
False
Let w(c) = 4*c**2 - 4*c + 4. Let o be w(1). Suppose -o*u + u = -12. Suppose -2*q = p - 94, 3*p + u*q - 92 = 2*p. Does 26 divide p?
False
Suppose -2*o - 2 = 5*q, -6 - 8 = -4*o - q. Suppose o*y = y - 3*y. Is ((-30)/(-8) + y)*4 a multiple of 5?
True
Let n be (-1 + 68)/(-1)*(41 + -42). Let r = n + -44. Suppose -11 = -2*v + r. Is 11 a factor of v?
False
Suppose 0 = 2*a, -5*f + 75 = 4*a - 5. Suppose -4*r + f = -r - z, -2*z = r + 4. Suppose 3*c = -8 - r, -5*o + 3*c + 317 = 0. Is o a multiple of 34?
False
Suppose 4*c = -4*s + 12888, 2*s = -11*c + 12*c + 6429. Is s a multiple of 27?
False
Let v = -871 + 873. Suppose -v*z = -4*z - 5*b + 199, -5*z = 5*b - 535. Is 4 a factor of z?
True
Let v(f) = -f**3 - 6*f**2 - f - 3. Let l be v(-6). Suppose 4*m + l*i + 183 = 0, -235 = 5*m - 0*i + 5*i. Is 16 a factor of 2/(-14) + (-7188)/m?
False
Let v = 4241 + -3409. Does 13 divide v?
True
Suppose 5*d = -f + 25790 + 11070, -184492 = -5*f - d. Does 50 divide f?
True
Is 37/(259/7560) + -10 a multiple of 5?
True
Suppose 2*h - 25 = -3*h, 2*q + 4*h = -2256. Let t = q - -2510. Is t a multiple of 14?
True
Does 16 divide ((-4224)/320)/(3914/3920 - 1)?
True
Let d(r) = -r**3 - 5*r**2 - 2*r - 10. Let v be d(-5). Suppose v = -6*w + w + 265. Is w a multiple of 10?
False
Let a = -17751 - -19182. Does 9 divide a?
True
Let d(o) = o + 7. Let s be d(-7). Suppose -4*i + 5*z = -i, 5*z = s. Suppose j - 17 - 18 = i. Is 7 a factor of j?
True
Let v(j) = 2*j**2 - 18*j - 1. Let d be v(9). Let h be (1 + -16 + d)*(-6)/12. Suppose -m + h*m = 420. Is m a multiple of 30?
True
Let x(a) = 4*a**3 - 4*a. Let c be 7/(4 - 105/25). Let u be 10/c - (1 - 37/7). Is 48 a factor of x(u)?
True
Suppose 4*f = 4*x - 30512, -4*x + 35519 = -5*f + 5011. Is x a multiple of 36?
True
Let k(a) = -6*a + 35. Let v(x) = -x + 8. Let u be v(7). Let t be -1*(4 - (u - -3)). Is 5 a factor of k(t)?
True
Let u be -2*1 + 5 - (-12 - -16). Let o be (-3 + 4)/(u*(-1)/(-65)). Let m = -54 - o. Does 2 divide m?
False
Let t = -1776 - -3316. Does 55 divide t?
True
Let q = 137 + -228. Let o be 21/56 + q/8. Let p(d) = -d**3 - 12*d**2 - 14*d + 15. Does 10 divide p(o)?
False
Let o(d) = -2*d**3 - 13*d**2 - 10*d - 6. Suppose 0 = 3*v - 12, -p - 3*v = -0*p - 100. Suppose 8*c = -3*c - p. Is 15 a factor of o(c)?
False
Suppose 117*o - 294*o = -9423126. Is o a multiple of 19?
True
Is 20 a factor of (-24)/22 - (-3678780)/1155?
False
Let q = -66 - -52. Let g = 16 + q. Suppose i - g*h - 146 = 0, 3*h = -0*h. Is i a multiple of 27?
False
Let d be 59 + 6 - 1/(1/4). Suppose -29 - d = -10*v. Suppose -2*y = -v*y + 350. Is 14 a factor of y?
False
Let x be ((-4)/(-3))/((-16)/(-36)). Suppose 75 = -x*p - 5*w - 17, -4*p + w = 92. Let y = 32 + p. Is 5 a factor of y?
False
Suppose -312*v = -328*v + 34240. Is v a multiple of 20?
True
Suppose 2*p = -123 + 153. Let k be (-2714)/(-10) - ((-9)/p + 1). Suppose -2*d - d - 4*r + k = 0, -3*d + 269 = 2*r. Is 8 a factor of d?
False
Suppose -4*t - p = -5161, -2*t - 5*p + 2582 = -3*p. Does 15 divide t?
True
Let q(w) = -3*w**2 - 20*w - 25. Let c be q(-4). Suppose -1483 = -c*s + 232. Is s a multiple of 4?
False
Suppose -5*k + 0 = -25. Suppose 6*t - k*t = -33. Let g = t - -61. Does 4 divide g?
True
Suppose 688 = 3*o - 104. Is 2 a factor of o?
True
Suppose -1664 - 2144 = -r + 5*a, 3815 = r + 2*a. Is 41 a factor of r?
True
Is ((-621)/(-46))/27*(1 + 163337) a multiple of 112?
False
Let p(v) = 24*v**2 + 6*v - 5. Let r(d) = d**2 + d - 1. Let s(x) = p(x) - 4*r(x). Is 31 a factor of s(-6)?
False
Suppose -9650 = 21*i - 31*i. Suppose -i - 319 = -k. Is 75 a factor of k?
False
Let s = 58 - 268. Let f = -130 - s. Does 18 divide f?
False
Suppose 14*y - 2962 - 12116 = 0. Is 25 a factor of y?
False
Suppose 139 = 2*b - 13. Suppose 3*y - 81 = -5*k, -4*y + 3*k = -32 - b. Is 3 a factor of y?
True
Let b be 490/15 - -5 - 1/(-3). Suppose 63 = -3*g - 4*k - b, 0 = -k + 1. Let s = g + 58. Does 6 divide s?
False
Suppose 2*d + 331 = 4*d - n, 5*d - n = 835. Suppose -490 - d = -7*q. Does 10 divide q?
False
Let c(r) = -402*r - 65. Suppose 2*g - 5*f - 8 = 0, g = -2*f - 3 - 2. Does 5 divide c(g)?
False
Let o = 81 + -136. Let k = o + 48. Let x = k + 33. Is 13 a factor of x?
True
Let y be 20/6*(4160/(-25) + -4). Let g = 960 + y. Does 14 divide g?
True
Let h(a) = 5*a + 98. Let m be h(-19). Suppose 435 = m*p - 2*p. Is 10 a factor of p?
False
Suppose 0*t + 12 = 3*t, -2*t + 55 = -w. Suppose -51 = -y + 2*y - 3*o, 312 = -5*y - 4*o. Let x = w - y. Is x a multiple of 3?
False
Let h(k) = k**2 - 20*k + 14. Let g be h(16). Let n be 35/7*104/5. Let v = g + n. Is v a multiple of 9?
True
Suppose 736*y + 599488 = 774*y. Does 136 divide y?
