*k**2 + 26*k - 8. Let m(o) = -o**3 + 11*o**2 - 26*o + 9. Let a(d) = -2*m(d) - 3*u(d). Does 57 divide a(4)?
False
Let c(n) = 2*n**3 - 20*n**2 + 31*n - 79. Is c(12) a multiple of 73?
False
Let f(g) = 8*g**2 - g - 1. Let i = 252 - 165. Let t = i - 90. Is 7 a factor of f(t)?
False
Suppose -3*m + 3*t + 1158 = 0, 6*t - t = -10*m + 3770. Is m a multiple of 95?
True
Let q be 1/(((-15)/9)/(-5)) + -3. Let n be (25 - q)*(160/(-25) + 7). Suppose -4*x + 694 = -2*u, n = -u - 2*u. Is x a multiple of 19?
True
Let j(w) = 16 + 8 + 708*w - 693*w. Let k(r) = -30*r - 48. Let b(f) = 9*j(f) + 5*k(f). Is b(-11) a multiple of 35?
False
Let g = 315 + -435. Does 3 divide (g/(-35))/(38/1995)?
True
Is ((-4770)/216 - -22) + (-111241)/(-12) even?
True
Let p be -6*(-1 - (-111)/9). Let q be 17 - (2 + 4 + -4). Let f = q - p. Is f a multiple of 19?
False
Let m(l) = -12*l - 83. Let g be m(-8). Let w(h) = 4*h - 28. Is w(g) a multiple of 12?
True
Suppose 14288 - 566 = 17*t + 768. Does 5 divide t?
False
Let p = -2967 + 8655. Is p a multiple of 17?
False
Let t be (-2)/(9 + -12 + 5). Does 9 divide (4 - (t + 47))*(-90)/12?
True
Let f(v) = -4*v**3 - 6*v**2 + 20*v - 44. Is 152 a factor of f(-13)?
False
Suppose -5*b = -2*b. Suppose -5*v - 4*k = 7, 0 = -v - b*v + 5*k + 16. Is (-10 - v)/(4*(-7)/28) a multiple of 7?
False
Suppose -3*j = 2*h - 255 - 714, -j = -4*h + 1945. Let t = h - -318. Does 61 divide t?
False
Let q(k) = 24*k + 23. Let h be q(5). Suppose -1201 = -4*f + h. Suppose 3*w = w + f. Does 7 divide w?
True
Let s = 117 - 106. Suppose 4*o - s*o = -28. Suppose 4*n + 344 = 5*d, -128 = -2*d + o*n - 0*n. Is d a multiple of 12?
True
Suppose -41*h + 10*h + 13423 = 0. Let i = h + -195. Is i a multiple of 34?
True
Suppose 3 = -3*d + 3*j, -3*d = j - 0 - 13. Suppose -5*m = -4*b - 3660, b + d*b = m - 748. Suppose -4*c = -4*k - m, 5*c + 0*k = 2*k + 910. Does 26 divide c?
True
Let f(j) = j**3 + 20*j**2 + 5*j + 10. Let l be f(-20). Let b = -156 - l. Let i = 102 + b. Does 3 divide i?
True
Let j(x) = 26*x**2 - 20*x - 408. Is j(-23) a multiple of 18?
True
Suppose -2*a = -y - 3*y - 384, -5*a + 990 = 5*y. Does 18 divide (1512/a)/(-1 + (-73)/(-70))?
True
Does 12 divide (-10)/(-40)*12 - (-3 - -1 - 1530)?
False
Let y(t) = -t**3 + 20*t**2 - 2*t - 8. Let z be y(19). Does 4 divide 8/(z/1100 - 1/4)?
True
Let x = 21630 + -1735. Does 28 divide x?
False
Does 13 divide 6/(-12) - 236930/20*-1?
False
Suppose -14490 = -13*z + 7*z. Suppose -8*c + 7063 = z. Is 13 a factor of c?
False
Suppose -12*m + 6*m + 175820 + 158980 = 0. Is 300 a factor of m?
True
Suppose f - 3*f - 2*c = 6, c = f - 7. Suppose -f*b = m - 367, 3*m + 2*b - 710 = 411. Is 22 a factor of m?
False
Is 6773415/275 - -3*4/(-20) a multiple of 38?
False
Suppose -2*t - 2014 = t + 4*b, b + 672 = -t. Let s be (-2)/(-8) + t/8. Is 18 a factor of -2 - 5/(5/s)?
False
Let v = -3200 + 5139. Is 9 a factor of v?
False
Let k = -1942 + 2333. Does 2 divide k?
False
Let q be (14/(-1))/(16/(-72)). Suppose q + 57 = -5*m. Is ((-25)/(-3))/((-8)/m) a multiple of 12?
False
Suppose 34*o - 205196 - 715796 = 0. Is 8 a factor of o?
True
Let v(k) = -k**2 - 2*k - 1. Let z be v(-1). Let a(r) = r**2 + 6. Let p be a(z). Let o = -1 + p. Does 2 divide o?
False
Let j = 3698 + -2108. Is j a multiple of 15?
True
Suppose 3*d - w = 4*w - 118, 0 = d - 4*w + 37. Let a = d + 92. Let r = a + -24. Is 8 a factor of r?
False
Suppose 3*i = -5*i + 4*k + 61340, -i + k = -7666. Is 7 a factor of i?
False
Suppose 41 - 13 = 7*c. Suppose 2*s - 3*m + 70 - 262 = 0, -c*s + m = -394. Does 21 divide s?
False
Let g(n) = 2*n + 16. Let x(a) = a**2 + a - 1. Let w(i) = -i**3 - 10*i**2 - 8*i + 1. Let k(y) = -w(y) + x(y). Let f be k(-10). Is 16 a factor of g(f)?
True
Suppose j = -2*w + 7*w + 1455, -4*w = -2*j + 1158. Let c(u) = -61*u - 6. Let m be c(-7). Let d = m + w. Does 26 divide d?
False
Let r(k) = 10*k + 37. Let m(w) = 33*w - 20*w - 36 - 24*w. Let h(l) = -6*m(l) - 7*r(l). Is 11 a factor of h(-19)?
True
Suppose 0 = 3*p + 5*j - 14, 5*p - 3*p - j - 5 = 0. Suppose 286 + 110 = p*h. Let g = -78 + h. Is g a multiple of 6?
True
Is 52 a factor of 4763374/126 + (-135)/243?
True
Is 22 a factor of (-291690)/(-27) + (-156)/117?
True
Let p(r) be the third derivative of -r**6/40 - r**5/6 - 3*r**4/8 - 2*r**3 + 10*r**2. Is 33 a factor of p(-6)?
True
Suppose 69*a - 65*a + 91420 = 4*r, -91420 = -4*r + 3*a. Is r a multiple of 6?
False
Suppose 9*x = 8*x + 7. Suppose -x*u - 6*u = -13715. Let z = -621 + u. Is z a multiple of 57?
False
Let z(p) = -p**2 + 18*p + 61. Let j be z(21). Is j*(897/(-6) + -1) a multiple of 7?
True
Suppose 4 = -3*l + 5*s, -10*l + 4*s - 10 = -11*l. Suppose 0 = l*i - 3*i - f + 981, 0 = f - 4. Is 15 a factor of i?
False
Let q(n) = -n**3 - 3*n**2 - 3*n - 9. Let b be q(-3). Suppose b = 54*r - 53*r - 91. Does 2 divide r?
False
Is 145 a factor of (4 + (-21)/6)*(-5 + 10503/9)?
False
Let h(o) = 2*o + 44. Let d be h(-22). Suppose -x + 78 = 4*r, d*r = -r. Is x a multiple of 6?
True
Suppose 4*v + 30 = 146. Let j be -7 + (3 + 6)/(-3). Let t = j + v. Does 11 divide t?
False
Does 110 divide 10/(150/(-305))*(-4 - (-1 - -327))?
True
Let p(c) = 78*c**2 - 45*c + 286. Is p(9) a multiple of 5?
False
Let i(x) = 9 - 25*x**2 + 52 + x**3 - 17 - 15 + 46*x. Is i(23) a multiple of 14?
False
Let p = 4339 - 2428. Does 21 divide p?
True
Let f be 560/160*120/(-14). Let g(z) = -68*z. Let v be g(-4). Let q = v + f. Is 22 a factor of q?
True
Let l(v) = v**3 + 20*v**2 - 18*v - 12. Let o be l(-16). Suppose -5*q - 3*u + o = -4*u, -4*q + 1040 = 5*u. Is 11 a factor of q?
False
Suppose 2*j = -2*a + 6*j + 20, 3*a - 3*j - 45 = 0. Suppose 2783 = a*v + 403. Is 3 a factor of v?
False
Suppose -3*z - 286 + 12 = -2*f, 0 = -2*z + 3*f - 186. Let p = z - -68. Does 12 divide 19820/110 + 4/p?
True
Suppose 2*n - 2770 = -822. Suppose 4*t - 880 = 4*y, 3*y + 130 + n = 5*t. Is 12 a factor of t?
False
Suppose -20*k - 3968 + 62412 + 4136 = 0. Is 2 a factor of k?
False
Let b(r) = r. Let i = -36 + 40. Let s be b(i). Suppose -3*t + s*t - 21 = 0. Does 9 divide t?
False
Is 3*1/2*(-36680)/(-12) a multiple of 131?
True
Let i(l) = -l**3 + 4*l**2 + 12*l + 5. Let t be i(6). Suppose 0 = 5*w + t*s - 505, 2*w + 0*s = -3*s + 202. Let d = w - 60. Is 6 a factor of d?
False
Let b(i) = -17*i - 10*i + 26*i - 53*i**3. Let v(y) = y**2 - 2*y - 1. Let d be v(0). Is b(d) a multiple of 35?
False
Suppose -4*d - q + 24815 = 0, -68*q - 12411 = -2*d - 65*q. Is d a multiple of 25?
False
Suppose 27*p - 16*p = 44. Does 5 divide p + 1048/32*4?
True
Let w(x) = 134*x**2 - 119*x + 12. Does 4 divide w(4)?
True
Suppose -4*t + 18 = 6. Suppose -5*z - t*l + 417 = 0, 5*z + l - 358 = 51. Suppose g = -3*a + 12, -4*g - 18 = -3*a - z. Does 3 divide g?
True
Suppose 3*n + a - 7 = 0, -3*n + 2*a + 6 = n. Let p be n - 0/(-3) - -33. Suppose p*m - 39*m + 144 = 0. Does 6 divide m?
True
Let m(a) = -a**2 - 20*a - 84. Let w be m(-6). Suppose w = s - 518 + 65. Is s a multiple of 28?
False
Suppose t + 18 = 3*t. Let o be (-15)/6*(-4 + 2). Suppose -2*y + t = 5*p - 63, -o*p + 4*y = -96. Does 4 divide p?
True
Let b(d) = -2*d**2 + 25*d - 70. Let s be b(14). Is (1375/4 - 1) + (-28)/s a multiple of 49?
True
Suppose 89947 - 209326 + 818451 = 24*s. Is s a multiple of 14?
False
Let v = 19392 + 3988. Does 35 divide v?
True
Suppose 2*u = 4*l + 4, -2*u - 4 - 1 = -l. Is 7 a factor of (-142)/l*(6 + -4 + 7)?
False
Let h = -626 + 3765. Suppose -24*u = -3845 - h. Is u a multiple of 11?
False
Let o = -33 - 492. Let l = -307 - o. Is 19 a factor of l?
False
Let d(p) be the third derivative of -7*p**4/24 + 4*p**3/3 + p**2. Let g(r) = 4*r**2 - 10*r. Let o be g(2). Does 12 divide d(o)?
True
Let v be -109 + ((-5)/3 - 16/(-24)). Is 13 a factor of (((-24)/5)/(-3))/(v/(-11825))?
False
Is (-2572794)/(-126) + (2 - (-14)/(-6))*9 a multiple of 88?
True
Suppose 4639*w - 4629*w - 24790 = 0. Does 4 divide w?
False
Suppose 2*o = 3*c + 2403, 2*o = 5*o + 5*c - 3633. Does 6 divide o?
True
Let n be (-4)/6*(-3 - -9). Let u be (38/5)/(-2) - n/(-20). Is u/(3 - 1) - -38 - 1 a multiple of 6?
False
Let i = 2270 + -1730. Is 13 a factor of i?
False
Suppose 37*l = 44*l + 8484. Does 19 divide (-20)/8 - -2 - l/8?
False
Suppose 139*i - 345420 = 49*i. Does 19 divide i?
True
Suppose -31*r + 750431 + 791202 - 184763 = 0. Is r a multiple of 240?
False
Suppose 3*y - 2005 = 1859. Do