 a multiple of 14?
True
Does 107 divide 28848 - ((-33)/3 + 23)?
False
Let q(n) = -2*n**3 + 2*n**2 + 9*n - 2. Let b be q(-2). Suppose 429 = t - 2*h, 0*t + 1696 = b*t - 3*h. Is 10 a factor of t?
False
Let a be ((-28)/10)/((-2)/10). Let d(k) = k**3 + a - 20 - 3*k - 5*k**2 - 7. Does 12 divide d(7)?
False
Let g = -1826 - -4816. Is 25 a factor of g?
False
Let a(d) = -d**2 + 10. Let c be a(0). Let o(p) = p**3 - 22*p**2 - 190*p + 36. Let u be o(29). Suppose -c*y - 63 = -u. Is 26 a factor of y?
False
Let f(m) = m**3 - 10*m**2 + 13*m + 14. Let c be 112/16 - (-3 - 2). Is 22 a factor of f(c)?
False
Suppose -3*r + 3*y + 12 = 0, 8*r + y = 3*r + 32. Suppose r*h - 7*h - 2*u = -52, 3*h + 3*u = 141. Does 21 divide h?
True
Let g = -63 - -56. Does 17 divide -2 + (-483)/(4 + g)?
False
Let s be 172/(-6) + 5/(-15). Let t = -4 - s. Suppose -5*z - 5*y = -400, 7*y - 2*y + t = 0. Is z a multiple of 21?
False
Suppose 8*u + 3355 = 3*u. Let h = 1051 + u. Is 20 a factor of h?
True
Suppose 0 = -2*u + 784 + 628. Let f = -285 + u. Is f a multiple of 9?
False
Let m(a) = a**2 + 2*a + 243. Let w = 74 - 74. Is 9 a factor of m(w)?
True
Let m(i) = i**2 + 23*i + 13. Let w(h) = -2*h**2 - 22*h - 12. Let b(v) = -2*m(v) - 3*w(v). Does 7 divide b(-5)?
False
Let v be 637/39 + 1/(-3). Suppose -22*f + v*f = -1110. Is 9 a factor of f?
False
Suppose 27*t = 23*t. Suppose t = 8*f - 4*f - 48. Is (-5 - 3)*(-30)/f a multiple of 3?
False
Let y be -2 - 1*2*5124/(-56). Suppose y - 3445 = -17*c. Does 16 divide c?
True
Let w = 22512 + -14854. Is w a multiple of 19?
False
Suppose 890*v - 1276 = 889*v. Is v a multiple of 22?
True
Let b(s) = 16*s - 78. Let f be b(5). Suppose 5*o - f*q = 8628, 5*o = 2*q - 7*q + 8635. Does 31 divide o?
False
Let n = -11380 + 36966. Does 11 divide n?
True
Let v(g) = 33*g - 66. Let y(t) = 2. Let m(z) = -v(z) - 6*y(z). Is 10 a factor of m(-3)?
False
Let c = 106 - 99. Suppose -2579 + 269 = -c*d. Is d a multiple of 55?
True
Suppose 0 = -u - 4*u + 100. Let t(x) = -31*x - 23. Let z be t(-3). Suppose 0 = 5*m - u - z. Does 3 divide m?
True
Let z(m) = m**2 - 11*m + 39. Let i be z(6). Suppose -3*b = i - 135. Does 6 divide b?
True
Let f(i) = 286*i**2 + 73*i - 288. Does 3 divide f(4)?
False
Suppose -33 - 12 = -9*n. Suppose -n*p = 3154 - 7949. Is p a multiple of 7?
True
Let h = -16 + 23. Let t(c) = -11 + c + 28 - 2. Is t(h) a multiple of 7?
False
Let s = -4363 - -6684. Suppose -2*x - l = -1165, 4*x - l + 6*l - s = 0. Does 42 divide x?
False
Suppose b + 3 = -0. Let a(i) = -24*i - 234. Let k be a(-10). Is ((-34)/2)/(b/k*1) a multiple of 4?
False
Let p(c) = 2*c + 14. Let d be p(-7). Suppose d*a + 4*a - 20 = 0. Suppose 0 = -2*x - k + 38, -84 = -a*x + 4*k - k. Is x a multiple of 9?
True
Let l(h) = h**2 - 2*h + 796. Let i = 23 - 23. Let n be l(i). Suppose 2*t = -4*k - 0*k + 530, -3*t = 5*k - n. Does 17 divide t?
False
Let f(h) = -h**2 - 24*h + 220. Let y be f(-27). Suppose 183 = d - y. Is 24 a factor of d?
False
Let w(o) = 2*o**2 - 215 + 2*o**2 + 6*o + 275 + 0*o. Is 22 a factor of w(-9)?
True
Suppose -h - 1132 = 2*s, 3*s - 3*h = s - 1124. Let u = -1112 - s. Is 17 a factor of 2/3 + u/(-3) + 4?
True
Let d(z) = 2*z - 7 + 7*z**3 - z**2 - 5*z**2 + 1 + 3*z**2. Let j be d(3). Let q = -70 + j. Is 23 a factor of q?
True
Suppose 0 = -p + 4*i - 10, -5*p - 9*i = -4*i - 50. Suppose 4*c + p*f - f - 571 = 0, 426 = 3*c + 3*f. Is c a multiple of 3?
False
Let r(i) = -20250*i - 163. Is 53 a factor of r(-1)?
True
Let b(o) = -749*o + 574. Does 10 divide b(-4)?
True
Let u be (8/10)/(6/(-30)). Let s(g) be the second derivative of -g**5/10 + 7*g**3/6 - 2*g**2 + 70*g. Is s(u) a multiple of 16?
True
Suppose -5083 = -3*b - 5*d + 15692, -b + 2*d + 6936 = 0. Is 35 a factor of b?
True
Suppose -4*s = -4*q + q + 21, 5*s = 2*q - 21. Let h be (-89)/(-10) - (-8)/80. Is 1*q/h*36 a multiple of 12?
True
Suppose -171*m + 329*m = 138890 + 3086048. Is m a multiple of 11?
False
Suppose -16*m + 2921 = 7*m. Is 10 a factor of m + (-2)/(-8)*12?
True
Suppose -x = -2*x + s - 165, 2*x + 342 = -2*s. Let u = x + 267. Is 24 a factor of u?
False
Let r be (6*28/(-30))/(16/(-120)). Let u = -87 + 144. Let s = u + r. Is s a multiple of 33?
True
Suppose 8 = 3*s - 7. Let t(a) be the third derivative of -a**6/120 + 2*a**5/15 - a**4/6 + 5*a**3/3 + 291*a**2. Is t(s) a multiple of 16?
False
Suppose m + 1102 = 2*j, 3*m = -56*j + 51*j + 2755. Does 3 divide j?
False
Suppose 3*h = -n + 93 + 140, -2*h = -3*n + 666. Suppose 276 = 5*f - n. Is f a multiple of 10?
True
Let a(w) = -w**3 + 6*w**2 + 8*w - 5. Let m be a(5). Let i = -95 + m. Let j = i - -195. Is 16 a factor of j?
True
Suppose 0 = -2*j - w - 2*w + 12, 2*j + 2 = 4*w. Suppose j*z = 313 + 227. Is z a multiple of 6?
True
Let y(k) = k - 15. Let t be y(13). Does 6 divide 276/230*(61/2 - t)?
False
Let w(d) = -24*d**3 + 7*d**2 - 25*d. Let y(k) = 11*k**3 - 3*k**2 + 12*k. Let a(b) = -6*w(b) - 13*y(b). Does 6 divide a(6)?
True
Suppose 3*m + 4900 = z, -5*z - 6*m = -8*m - 24526. Suppose -24*d + 2*d + z = 0. Does 20 divide d?
False
Let c(r) = r + 1. Let k(p) = 20*p + 6. Let h(l) = 4*c(l) - k(l). Is 22 a factor of h(-7)?
True
Let m(q) = 93*q**2 - 146*q + 2735. Is m(25) a multiple of 52?
False
Let d = -94 - -512. Suppose 3*a - 2*k = d, 2*a + 3*k - 8*k = 264. Suppose -4*p = -2*l - a, 5*l = 2*p - 0*l - 75. Is p a multiple of 5?
True
Suppose -29 + 44 = 15*y. Does 20 divide 4608/180*y*25?
True
Let z(i) = 7*i**3 - 14*i + 13242. Is 114 a factor of z(0)?
False
Let r(t) be the second derivative of 4*t**3 + 9*t**2 + 2*t. Let w be r(8). Suppose 7*n - w = n. Is 9 a factor of n?
False
Suppose -7*v = 30*v + 74. Is 22 a factor of (4 + v - 3) + 1416 + 15?
True
Let k be ((-1 + -3)/(-4))/((-5)/1075). Let u = k + 509. Is u a multiple of 23?
False
Let o = -59 - 4. Let x = -66 - o. Is -2 + 101 - (x + 3) a multiple of 33?
True
Let z(w) = -w**2 - 33*w + 148. Let j be z(4). Suppose 1725 = 5*m - 45*g + 48*g, j = g + 5. Is 4 a factor of m?
True
Let t(f) = -5*f**2 + 3*f + 93. Let a be t(-9). Let c = a + 587. Is c a multiple of 31?
True
Suppose 22*l = 5*t + 18*l - 724, -722 = -5*t + 2*l. Is t a multiple of 48?
True
Suppose 8042 = 2*w + 5*n, 2*w = 2*n + 7704 + 352. Is 33 a factor of w?
True
Let k(v) = 9*v**2 - 293*v + 560. Does 26 divide k(56)?
True
Suppose -3*p + p + 2*l = 134, 0 = -2*p - l - 131. Let j = p - -42. Is 41 a factor of (-6)/9 - 3736/j?
False
Suppose -187*s = -194*s + 21. Suppose i - 761 = -h, s*h - 2295 = -0*h + i. Does 68 divide h?
False
Let n(o) = -162*o - 4769. Is n(-53) a multiple of 11?
True
Let u be (-72)/(-8) - (0 + 4). Suppose 24 - 49 = u*t. Is 34 + -5*2/t a multiple of 10?
False
Let s be 1143/(-2) + -1*3/6. Let q = s + 1521. Suppose -5*m - 4*o = -937, -q = -2*m - 3*m + 2*o. Is 13 a factor of m?
False
Suppose 5*d - 4467 = -2*n, 2082 = 2*n - d - 2391. Is n a multiple of 43?
True
Let o be -1 + (14 - 12/4). Let l be 370/25 + 2/o. Suppose l = 6*s - s. Is 2 a factor of s?
False
Let y = -846 - 7. Let t = -800 - y. Is t a multiple of 53?
True
Let s(v) = -v**3 + 11*v**2 + 24*v - 90. Let l be s(12). Let h = -13 - -18. Suppose -l = -3*n - 3*q, 0*n + 120 = h*n - 5*q. Is n a multiple of 8?
False
Suppose 2*f - 25 = -3*f, 5576 = p + 4*f. Suppose 0 = -11*x + p + 384. Is x a multiple of 60?
True
Let p = -2 - -54. Suppose 4*j = 5*j + 4*a + p, 4*a + 196 = -5*j. Is 17 a factor of (2146/18 - 0) + j/162?
True
Suppose 0 = 28*l + 8 - 64. Suppose -9*n = l*n - 3388. Is 14 a factor of n?
True
Let k(p) = -15*p**2 + 1251*p + 70. Does 12 divide k(79)?
False
Let j(w) = 8*w**2 + w - 1. Let p be j(1). Let g(s) = 54*s + 117. Let f be g(-2). Suppose p*b + 87 = f*b. Is b a multiple of 22?
False
Let k(z) = 4*z**2 + 118*z - 5. Is k(-51) a multiple of 13?
True
Let f(c) = 66*c - 56. Let p be f(-5). Let u = -336 - p. Is u a multiple of 2?
True
Suppose -4*l - 3*s = -4 + 9, 4*s = -l + 2. Does 33 divide l + 554 + (-3 - 2)?
False
Suppose 608*b - 477360 = 588*b. Does 52 divide b?
True
Let k = 14590 + -10309. Does 96 divide k?
False
Let t = -11669 - -20879. Does 15 divide t?
True
Suppose -4*h - 5*c + 0*c + 5985 = 0, 3*h - c - 4484 = 0. Is 65 a factor of h?
True
Suppose 9*m + 2106 = 12*m. Suppose 0 = 3*j + 3*c - m, -4*j + 0*j + c = -961. Let n = j - 123. Does 8 divide n?
False
Suppose -44 = -4*o - 20, 2*b - 2624 = -5*o. Is 16 a factor of b?
False
Let b = -63 - 151. L