
Suppose 23445 = 28*r + 245 - 4128. Does 122 divide r?
True
Does 5 divide 107472/22 - (-80)/(-880)?
True
Suppose -3*m - 1767150 = -102*m. Does 75 divide m?
True
Let s(y) = -y**2 - 20*y + 11. Suppose 2*o + 3*n = -210, 2*o = -4*n - 248 + 38. Let d = o + 92. Does 17 divide s(d)?
True
Let c(g) = 3 + 0 + 31*g + 7. Let r = -7811 + 7814. Does 11 divide c(r)?
False
Suppose -3*v = -5*f - 3176, v - 2*f + 5*f - 1082 = 0. Is 18 a factor of v?
False
Let r(t) = -11*t**2 - 20*t - 27. Let o(j) = -13*j**2 - 22*j - 28. Let a(f) = 5*o(f) - 6*r(f). Is 12 a factor of a(-10)?
False
Let i(a) = -1. Let g(h) = -24*h - 12. Let b(f) = g(f) - i(f). Let m be b(-8). Suppose -3*j - u + m = 0, u - 1 - 3 = 0. Is 18 a factor of j?
False
Let s(a) = a**2 - 4*a + 8. Let h be s(4). Let n(q) = q**2 - 7*q - 8. Let d be n(h). Suppose 4*v + 3 - 143 = d. Does 6 divide v?
False
Let u be 3*(-3)/(-6)*2. Is 14 a factor of (-3)/((-27)/2466)*(u + 0)?
False
Let d(m) = -m**2 - 6*m + 26. Let z be d(3). Is 13 a factor of ((-4160)/60)/(2/6*z)?
True
Suppose -4*r - 25*m = -28*m - 6927, -3*m = 3*r - 5169. Does 4 divide r?
True
Suppose 14*l - 9*l = 80. Let p = l + 33. Let n = p + 23. Does 18 divide n?
True
Let o be 14/4 - 2/4. Suppose 22*h + 769 - 6137 = 0. Suppose 8 = o*z - h. Is z a multiple of 14?
True
Let r(o) = 199*o + 79. Let i be r(-5). Let h = i + 1637. Is 18 a factor of h?
False
Suppose 11*i + 550 = -3278. Suppose 5*n - 2*o - 76 = 0, -12 = 5*n - o - 85. Does 7 divide i/(-21) - 8/n?
False
Let f = 30 - 27. Let i be f + 6292/60 + (-4)/(-30). Suppose -m - 20 = -2*t - i, 4*m - 3*t - 372 = 0. Is 8 a factor of m?
True
Let w be (-132)/(-15) - 8/(-40). Suppose 5229 + 414 = w*m. Is m a multiple of 16?
False
Let f(p) = 7*p**2 + 2*p + 26. Let c(t) = -20*t**2 - 7*t - 78. Let y(g) = 6*c(g) + 17*f(g). Let a be y(-8). Is 3 a factor of 2 + (-5 - (a - 0))?
False
Does 2 divide (3 - (-9 - -13))*(-1011 - 2)?
False
Let u = 4888 + -3148. Does 15 divide u?
True
Let q(y) = 178*y + 10 - 343*y + 169*y - 42 + y**2. Is q(-19) a multiple of 6?
False
Let n be (-16)/(-6)*(11 + -8). Let g = n + 8. Let u = -3 + g. Does 4 divide u?
False
Suppose -4*x + 0*w = -5*w - 9, -5 = w. Is -121*(x/(-1) - (35 + -30)) a multiple of 14?
False
Let f(u) be the first derivative of 13 - 11/2*u**2 + 1/3*u**3 - 3*u. Does 9 divide f(17)?
True
Let f = 10298 + -1232. Is 47 a factor of f?
False
Is (-5)/(10/(-69))*(23 - -9) a multiple of 20?
False
Suppose 0 = -69*n - 53*n + 199104. Is 12 a factor of n?
True
Suppose -13207 = -13*m + 142897. Is 152 a factor of m?
True
Suppose 64*p - 73*p = -17226. Suppose -4*w = -2*q - p, -13*w + 1434 = -10*w - q. Does 9 divide w?
True
Suppose 78*q = 139*q - 148657. Is q a multiple of 148?
False
Suppose -z + 4*t + 1473 = 0, 3*t - 1058 - 373 = -z. Is z a multiple of 9?
True
Let t = -31413 + 44223. Does 122 divide t?
True
Let m = -4988 + 8035. Suppose 21*c - 6109 = m. Does 12 divide c?
False
Let d(a) = 7*a**2 + 6*a - 84. Let y be d(28). Suppose 0 = -4*r + 2*q + y, 4*r - 19*q - 5566 = -20*q. Does 66 divide r?
False
Suppose 24*t - 63351 = 222*t - 243531. Is t a multiple of 4?
False
Suppose -4*i + 5*d + 662 = 0, -2*i + 3*d = -2*d - 336. Let u = 89 + i. Is 36 a factor of u?
True
Let m = -34 - 90. Let y = m - -144. Suppose y*g = 17*g + 90. Is 10 a factor of g?
True
Let z(g) = -9*g + 46. Let s(u) = -19*u + 91. Let l(c) = -6*s(c) + 13*z(c). Is l(-20) a multiple of 28?
True
Let d(y) be the third derivative of y**6/72 + y**5/120 - y**4/8 + 2*y**3 + 19*y**2. Let u(m) be the first derivative of d(m). Is 19 a factor of u(2)?
True
Let s(o) = -64*o**2 + 18 + 13*o - 3 + 61*o**2 - 7*o**3. Is 10 a factor of s(-5)?
True
Let a(f) = 6*f - 34. Let x be a(7). Suppose 0 = -3*s + m + 10, -2*s + m + x = -0. Suppose 5*i = s*u + 280 + 503, 159 = i - u. Is i a multiple of 12?
False
Let f(m) = -276*m**2 + 41*m + 19. Let y(a) = -92*a**2 + 13*a + 7. Let b(v) = 2*f(v) - 7*y(v). Does 5 divide b(-1)?
True
Let m(s) = 13*s - 9*s + 50 + 87 + 26*s. Is m(5) a multiple of 7?
True
Let k = 1540 - -1376. Does 7 divide k?
False
Suppose -2*w = 4*j, -5*w - 18 = 3*j - 8*w. Let v(o) = 15*o**2 + 5*o + 5. Let k be v(j). Suppose k*u - 429 = 52*u. Does 13 divide u?
True
Let k(g) be the first derivative of -13*g**4/4 - 8*g**3/3 - g**2/2 + 18*g + 60. Does 33 divide k(-4)?
True
Let t = 31 - 33. Let d be (-1)/t*(2 + -2). Suppose d = -2*v + 2*a + 180, 1 = 3*a - 2. Is v a multiple of 13?
True
Let h(l) = 412*l - 5146. Does 19 divide h(17)?
False
Suppose 0*b + 5*b - 25 = 0. Let s(j) = j**2 + 0*j - 1 - 5*j + 2*j + b*j. Is s(9) a multiple of 18?
False
Suppose 6*h - 35 - 55 = 0. Let u = 745 - 727. Suppose u*w - h*w = 390. Is 11 a factor of w?
False
Suppose d + 2 = -5*z + 7, -21 = 3*d - 3*z. Let m be 4 + (-69)/15 + (-3)/d. Suppose -6 = 3*a, m*a = -2*n + 2*a + 68. Does 16 divide n?
True
Let f = 2610 - 1962. Is 4 a factor of f?
True
Suppose -5149*q + 5233*q = 5136348. Is 13 a factor of q?
False
Let k be -7 + 4*(-21)/(-12). Suppose k = -q + 161 + 159. Is q a multiple of 82?
False
Suppose 0 = -0*m - 2*m + 4, 0 = 2*o + 4*m - 34. Suppose -o + 3 = -5*d. Suppose -u + 30 = 2*u + 5*h, 4*u - 54 = -d*h. Is u a multiple of 5?
True
Let o(q) = q**3 - 2*q**2 + 5*q + 2. Let z be o(4). Is 2 a factor of z/(-15)*(-3 - (-48)/(-4))?
True
Let i(p) = p**2 + 8*p - 22. Let k be i(-10). Let y be -3 - 4*(k + -51). Suppose 7*j - 547 - y = 0. Is j a multiple of 18?
True
Is 16 a factor of 16220/8 + ((-161)/(-14))/23?
False
Let u(n) = 22*n**2 + 2*n - 3. Suppose -o + 3*v = 2*v - 3, 3*o = 4*v + 14. Does 27 divide u(o)?
True
Let p = 51 - 34. Suppose -p = -f + 5*l, 3*f + 2*l = -0*f. Suppose 5*c - f*c = 4*y - 924, 4*c + 1156 = 5*y. Is y a multiple of 23?
False
Let c(v) = -v + 13. Let y(i) = i**3 + 11*i**2 - 14*i - 14. Let o be y(-12). Suppose o*q - 12*q = -10. Is c(q) a multiple of 4?
True
Let q(t) = -t**3 + 16*t**2 - 8*t - 39. Is 7 a factor of q(12)?
True
Suppose 61*x = 4*x + 127965. Does 28 divide x?
False
Let r(b) be the second derivative of b**7/504 + b**6/240 + b**5/40 - 11*b**4/12 - 8*b. Let i(z) be the third derivative of r(z). Is 10 a factor of i(-4)?
False
Suppose 68 = 2*c - 4*v, -250 = -5*c + 5*v - 85. Suppose -5537 + 33057 = c*u. Does 19 divide u?
False
Suppose -143*c - 90712 = -201*c. Does 46 divide c?
True
Let d(b) = b**3 - 8*b**2 + 2*b - 60. Let a be d(10). Suppose -1146 = 154*f - a*f. Is f a multiple of 5?
False
Let w = 19201 - 18989. Does 4 divide w?
True
Suppose 0 = -u + 5, -5*d - u = -2*u - 270. Suppose 2*t = -l + 13 + d, 3 = t. Is l a multiple of 31?
True
Suppose -4*y + g = -16 - 0, -20 = 5*g. Suppose 0 = y*b - 6*b - 36. Let c(w) = w**3 + 14*w**2 + 3*w - 19. Does 18 divide c(b)?
False
Let r = 12 - 7. Suppose 201 = 3*n - 3*x, 0 = -n + r*n - x - 277. Suppose -s = s - 10, -4*s - n = -2*q. Is q a multiple of 18?
False
Let d = -2429 - -1096. Let m = -838 - d. Suppose -2*b = -4*l - 0*l + 402, -5*l = -b - m. Does 17 divide l?
False
Let y(t) = t**2 - 79*t + 2697. Does 11 divide y(38)?
False
Let x(v) = 8*v - 13*v - 47 - v - 13*v - v**2. Is 2 a factor of x(-5)?
False
Let b = 61 - 18. Suppose 0 = 5*i + 10, -p - 5*i - b = -2*i. Let g = p + 61. Is g a multiple of 12?
True
Suppose 12*q = 27*q - 2265. Is q a multiple of 20?
False
Let t be (14/2 + -560)*-1. Suppose -t = -4*d - i + 1925, 2*i - 1856 = -3*d. Does 20 divide d?
True
Suppose 5*a + 29649 = 3*q, 4*q + 5*a = 11726 + 27841. Does 24 divide q?
True
Let g be (-3 - -23)/(17/(-9) - -2). Let b be ((-4)/(-6))/(24/g). Suppose -p + 34 - b = 0. Does 8 divide p?
False
Let v(w) be the second derivative of w**5/10 - w**4/4 - 7*w**3/6 + 6*w**2 + 61*w. Is 20 a factor of v(4)?
False
Suppose -144 = -5*v + 2*m, v + 4*m + 36 = 2*v. Let i = 35 - v. Suppose -i = -5*y + 113. Is 6 a factor of y?
True
Let i = 137 - 133. Let j(r) = 8*r**3 - 8*r**2 - 8*r + 2. Is j(i) a multiple of 10?
False
Let c be 2 - (-3 + -1) - -3. Let i = -232 - -466. Suppose i = c*x - 6*x. Does 23 divide x?
False
Let o(q) = 8*q**2 - 35*q + 41. Let y be o(6). Suppose -2*s = -s - 197. Let c = s - y. Is 7 a factor of c?
False
Let f = 47 - 47. Suppose 132 = -f*z + 6*z. Suppose 4*a = -3*t + z + 454, 4*a = -4. Is 32 a factor of t?
True
Suppose -k - 298 = -5*q, -3*k - 117 - 187 = -5*q. Suppose -8*x = 4*p - 13*x - 634, 3*p - x - 481 = 0. Suppose p = 4*m - q. Does 11 divide m?
True
Suppose 2*t = 2*z - 92, 2*z - 5*t -