+ f. Let g = q + -81. Is g a multiple of 12?
True
Let o = -28 - -35. Let f(z) = 6 + 11 + 2 - o + 2*z**2 - 4*z. Is f(7) a multiple of 41?
True
Let v(s) = -20*s**2 + 6*s + 2. Let t be v(2). Let d = t - -66. Suppose w + 3*w + 4*b - 192 = d, 0 = 5*w + b - 228. Is 15 a factor of w?
True
Let q(m) = 46*m - 49. Let p be q(8). Suppose 0 = 2*c + h - 651, 4*h + p = c + 16. Does 17 divide c?
True
Let p = -2526 - -2996. Is p a multiple of 10?
True
Is (11 - (-2544)/(-80))/(-1*2/55) a multiple of 119?
False
Suppose -96*f + 93*f + 4839 = 0. Suppose 31*o - 619 = f. Is 18 a factor of o?
True
Let i(t) be the third derivative of 5*t**4/12 - 3*t**3 - 13*t**2. Let r be i(6). Suppose 0*o = -2*o + r. Is 13 a factor of o?
False
Let s = -13 + 13. Let c be -4 + 7 + (1262 + 2 - s). Suppose 6*u - c = -u. Does 23 divide u?
False
Suppose -69*h = -57*h - 25524. Suppose -3*c + 2158 = 2*r + 735, -h = -3*r + 3*c. Is 71 a factor of r?
True
Let g(z) = z**3 - 18*z**2 + 19*z - 5. Let x be g(17). Suppose 0 = -3*s + 5*k + x, 2*k = -5*s + 3*k + 63. Let f = 65 - s. Does 4 divide f?
True
Suppose -25*g + 16*g = -2349. Let c = -87 + g. Does 29 divide c?
True
Is 1190/21*((-6)/51 - 33760/(-850)) a multiple of 17?
True
Let p(t) = 3*t**2 - 3*t + 9. Let f = 65 + -69. Does 10 divide p(f)?
False
Let q(z) = z**3 + 9*z**2 + 9*z + 8. Let x be q(-7). Suppose -b + x = -2*w - 12, 2*w = 5*b - 235. Does 9 divide b?
True
Is (8/((-160)/(-39175)))/(8/192*5) a multiple of 49?
False
Let o be ((1 - 2)*0)/((-6)/2). Suppose 4*p + l + 3*l - 52 = o, -l - 51 = -3*p. Is 14 a factor of 1 - -4 - (-1664)/p?
False
Let c = -541 + -584. Let y = c + 1806. Does 14 divide y?
False
Suppose 4*h - 5890 = -5*q, q - 26*h + 25*h = 1178. Is 19 a factor of q?
True
Suppose 40*i - 212 = 38*i. Suppose 3*z - i - 95 = 3*k, -5*k + 4*z - 331 = 0. Is 133*(6/(-14) - 90/k) a multiple of 19?
True
Let n(u) be the second derivative of u**5/30 + u**4/8 + 13*u**3/6 - 3*u**2 - 14*u. Let i(b) be the first derivative of n(b). Does 29 divide i(-7)?
False
Let x be 12/42 + (-15264)/(-84). Does 7 divide (5 - (91/2)/13)*x?
True
Let f(x) = x**2 + 6*x + 6. Let j be f(-4). Let w(q) = 4*q**2 + 4*q - 2. Let b be w(j). Suppose 0 = -2*c + b*c - 136. Is 5 a factor of c?
False
Let z(w) = -w**3 - 5*w**2 + 16*w + 16. Let c be z(-7). Let x(s) = 0*s**2 + 15 - 1 + 2*s**c + s + 0. Is x(-4) a multiple of 28?
False
Suppose -2*h = -4*o + 26, -2*o - 2*h + 15 = -5*h. Suppose o*j - 3414 = -378. Is 7 a factor of j?
False
Let n = -74 + 79. Let v(x) = 139*x - 214. Does 13 divide v(n)?
True
Suppose 52 = -4*p - 4. Is ((-12)/p)/(9/3654) a multiple of 58?
True
Let v(m) = 3*m**2 - 40*m + 11. Suppose -72*k + 45*k - 351 = 0. Is v(k) a multiple of 7?
False
Let s(b) be the second derivative of 5*b**3/3 - 3*b**2/2 - 31*b. Let h(g) = 10*g - 3. Let n(a) = -3*h(a) + 4*s(a). Is n(12) a multiple of 7?
False
Let a be 0 - -1765 - -5 - 8. Suppose a + 5648 = 15*k. Is 13 a factor of k?
True
Let q(y) = -y**2 - y + 158. Let x(d) = d**3 - 4*d**2 + 3*d. Let c be 135/225 - (-1 - (-7)/(-5)). Let f be x(c). Is q(f) a multiple of 16?
False
Let d be (1188/(-30))/(44/80 - 3/12). Let f = 149 - 237. Let v = f - d. Does 22 divide v?
True
Suppose 22*w - 32402 = -6464. Does 47 divide w?
False
Let i = 4069 - 3997. Is 8 a factor of i?
True
Let u(c) = 5*c**2 + 108*c - 137. Is 139 a factor of u(-30)?
False
Let t be -10*(-63)/(-14) + -3. Is 12 a factor of ((-60)/t)/((-4)/(-192))?
True
Let a(c) = 4*c**3 - 60*c**2 - 43*c - 77. Let d(x) = 3*x**3 - 40*x**2 - 28*x - 51. Let t(s) = -5*a(s) + 7*d(s). Does 3 divide t(-19)?
False
Let f be (-1 - 682)*(-3 - 2)/5. Suppose 4*x - f - 229 = 0. Is x a multiple of 38?
True
Suppose -20*v = 17*v - 36*v - 7340. Does 21 divide v?
False
Suppose 20*c - 1088 = 4*c. Suppose 624 = -c*p + 72*p. Is 39 a factor of p?
True
Let m be 10/35 + (-276)/(-14). Suppose 4*s - 4*r - 4 + 0 = 0, -5*r = m. Is 6 a factor of s/(-5)*(-4 + 11 + 38)?
False
Let r = 48 + -54. Is (3 - 8)*-25 - r a multiple of 76?
False
Let j = 82 + 74. Suppose 2*p = p + 5*g + j, -586 = -4*p + g. Does 21 divide p?
False
Let x = -24 - -11. Let t(g) = -123*g**2 + 42*g - 2. Let v(h) = -35*h**2 + 14*h - 1. Let m(o) = 2*t(o) - 7*v(o). Does 2 divide m(x)?
True
Suppose 0 = -4*b - 4*m + 640, 3*b + 6*m - m - 478 = 0. Let q = b - 143. Does 3 divide q?
True
Suppose 2*w = 4*t - 546, 552 = -2*w + t - 3*t. Is 11 a factor of -11 - w - (0 + 0)?
True
Suppose 0 = -0*t + t - 3*b + 235, -4*t - 5*b = 974. Let c = t + 385. Let j = c - 80. Is 32 a factor of j?
True
Let r = -5447 + 6501. Is 34 a factor of r?
True
Let g(f) = -109*f - 1130. Is g(-59) a multiple of 9?
True
Let q = -254 + 1376. Is 66 a factor of q?
True
Let c(k) = 1074*k**2 + 21*k - 22. Is 197 a factor of c(-3)?
False
Let v(y) = 19 - 12 + 9 + 28 - 15*y. Does 25 divide v(-17)?
False
Let o(u) = 52*u**2 + 6*u - 9. Let a be o(4). Let m = a + -397. Does 18 divide m?
True
Let t(i) be the first derivative of 5 + 2*i**2 + 2*i**2 + 12 + 18*i - i**2. Does 21 divide t(14)?
False
Let v be (-10)/(-6) + -4 - 4/6. Let b(y) = -5*y - 15. Let h be b(v). Suppose 4*x = -g - h*g + 562, 3*g + 6 = 0. Is x a multiple of 19?
False
Let h(v) = 3*v**2 - 199*v + 131. Is h(103) a multiple of 22?
False
Let v(q) = -q**2 - 8*q + 11. Let d be v(-9). Let p(c) = d*c + 31 - 6*c + 0*c + c. Is p(-10) a multiple of 5?
False
Let r = -47683 + 87158. Does 38 divide r?
False
Let b(n) = -n**3 + 33*n**2 - 48*n - 2. Suppose 0 = -28*h + 16*h + 372. Does 8 divide b(h)?
True
Let u(f) = -3*f**3 - 3*f**2 - 2*f + 2835. Is 11 a factor of u(0)?
False
Suppose -5*g - 9891 + 36617 = 9*g. Does 79 divide g?
False
Let t(s) = -241*s - 963. Is 20 a factor of t(-10)?
False
Suppose 3*w + 3*n - 6 = 0, 3*w + 3*n = -n + 2. Let z(v) = v**3 - 10*v**2 + 6*v + 5. Let h be z(w). Let t = -57 - h. Does 6 divide t?
False
Let p(o) = o. Let h(b) = 30*b - 27. Let n(c) = h(c) - 9*p(c). Let j be n(4). Suppose j*t + 11 = 58*t. Is t a multiple of 2?
False
Suppose 0 = -13*m - 9 - 1629. Let l = m + 247. Does 4 divide l?
False
Let j(m) = -3*m + 18. Let u be j(4). Let h(o) = 3 + 8 - o**2 - 14*o + 4*o**2. Is 2 a factor of h(u)?
False
Let o(t) = 101*t**2 + 222*t - 2069. Is 5 a factor of o(9)?
True
Suppose -707*l = -351*l - 330*l - 907920. Is 13 a factor of l?
False
Let h(t) = 3*t - 31. Let m = 61 + -50. Let r be h(m). Suppose -4*s - 2*y - r*y = -292, 5*s - 2*y = 393. Is 26 a factor of s?
False
Let o(c) = -c**3 - 14*c**2 - 49*c + 1. Let r be o(-6). Let n be (1 - 0)*(-4)/(-1). Suppose 25 + r = n*w. Does 5 divide w?
False
Does 16 divide (-4056)/((957/22)/(-29))?
True
Let d be (5 + 833/(-7))*-1. Suppose 124*j = d*j + 15650. Is 14 a factor of j?
False
Let r be -1*1/((-7)/(-49)). Let s(d) = 32*d**2 + 14*d - 14. Is 16 a factor of s(r)?
True
Let g = 196 + -187. Does 3 divide (-52)/(-234) - (-1)/g*529?
False
Let s(w) = 9*w + 130. Let x be s(-14). Is (3 - x)*(-3 - 291 - -3) a multiple of 17?
False
Suppose -4*c + 6*s + 5482 = 11*s, 0 = -c - 4*s + 1365. Is c a multiple of 16?
False
Suppose 2117 - 10217 = -3*g. Is g a multiple of 18?
True
Suppose -108 = -6*m - 78. Suppose 4*i - r - 1541 = 1246, -m*r = -5*i + 3495. Is 15 a factor of i?
False
Let z(p) = 16*p - 122. Let v be z(-10). Let o = 924 + -429. Let k = v + o. Is k a multiple of 14?
False
Suppose 4*r - 5*s - 294 = 0, 8*s - 7*s = -4*r + 306. Suppose 2*w = 4, -l - 3*w + r = -2. Is 9 a factor of l?
True
Let n(z) = z**3 - z**2 - 12*z + 3. Let h be n(0). Suppose -5042 = -5*i + g, -h*i + 4*i - 4*g - 1016 = 0. Is 50 a factor of i?
False
Let w(c) = 4*c**3 + 9*c**2 + 9*c + 6. Let f be w(-3). Is 6 a factor of 28*(-1 + (-54)/f)*90?
False
Suppose -4*u - 2*d = -130, -3*u + 81 + 3 = -3*d. Suppose u*f + 201 = 34*f. Is 3 a factor of f?
False
Suppose 2*z + 9 = 25. Let p be 68*2*(-2)/z. Is (((-10)/(-3))/1)/(p/(-1020)) a multiple of 19?
False
Let p = -452 - 128. Does 12 divide p/(-16) + 7/(-28)?
True
Let m(b) = 41*b**2 - 7*b + 4. Let u be 115/46*-3*2/(-15). Does 4 divide m(u)?
False
Suppose 0 = 2*r + 2*r - r. Suppose 0 = -12*b - r*b. Suppose b = 3*n - 2*n - 170. Does 34 divide n?
True
Let l(f) = 26*f + 39. Suppose -4*s = -3*m - 0*s + 26, m - 8 = s. Is 65 a factor of l(m)?
True
Is 2938112/448*(-7)/(-2) a multiple of 23?
True
Suppose -o = -2*h - 0*h + 16460, -h + 8216 = 3*o. Is h a multiple of 22?
True
Let x(v) = -v**3 - 17*v**2 - 62*v + 74. Let w be x(-9).