*k + 1303 = -1502. Suppose 5*v = -2*n + 270, 113 = 5*n - 4*v - l. Is 20 a factor of n?
False
Is (-22)/(88/(-6))*((-2)/(-2) + 275) a multiple of 9?
True
Let y(g) = 224*g**2 - 16*g - 24. Suppose 41 - 21 = -10*b. Does 8 divide y(b)?
True
Let o be 2/((-14)/105*6/(-4)). Suppose o*r + 105 = -95. Let b = r - -150. Is b a multiple of 20?
False
Let v = 3 + 2. Let u(x) = -5 - 8*x**2 - 11*x + 13*x + 13*x**2. Is u(v) a multiple of 23?
False
Let y(p) = p**2 + 12*p + 4. Let d = 17 - 29. Let f be y(d). Suppose -3*i + 8*i - f*n = 185, -i + 56 = 3*n. Does 12 divide i?
False
Let q = -26422 + 38266. Does 9 divide q?
True
Let k(m) = -4*m**2 - 20*m - 24. Let h(t) = -4*t**2 - 20*t - 27. Let n(r) = 2*h(r) - 3*k(r). Does 5 divide n(-7)?
False
Let a(q) = 17*q + 10. Suppose -2*g + 4 = 0, -9*z + 5*z + 10 = g. Is a(z) a multiple of 4?
True
Let q be (-3)/(-1)*(-4)/6 + 5. Suppose -3*k + 15 = -q*s, 2*s + 3*k - 16 = -1. Does 38 divide (-3790)/(-25) + (2/5 - s)?
True
Let q be 0/((2 - 1)*7). Suppose q = s, -2*g - 35*s + 33*s = -1196. Is g a multiple of 65?
False
Suppose 9*g + 48 = 1047. Suppose -259 = -2*p + g. Does 3 divide p?
False
Does 16 divide (837/(-7) + (-16)/(-28))/((-7)/42)?
False
Suppose 6680 = o + 3*h - 4626, -22602 = -2*o - h. Is o a multiple of 100?
True
Suppose -2*i - 3*f + 7*f - 104 = 0, 3*f - 15 = 0. Let m = 98 - i. Is m a multiple of 35?
True
Let q = 6766 - 1528. Is 12 a factor of q?
False
Let a = 272 - 107. Suppose 38*i + 15 = 41*i. Suppose i*y + a = 3*s, y + 0*y = 3. Is 5 a factor of s?
True
Suppose 24927 + 40122 - 2049 = 15*c. Does 25 divide c?
True
Let q = -1499 + 8523. Does 53 divide q?
False
Suppose 2*m = -2*o + 4822, 564*o = 561*o + m + 7249. Is 27 a factor of o?
False
Suppose 346 = -3*t + 5*c - 10*c, 10 = -5*c. Let u = -296 + 127. Let j = t - u. Is j a multiple of 35?
False
Let a = 8572 + -6396. Does 16 divide a?
True
Suppose -45*g + 49*g + 90 = 3*k, 0 = 3*k + g - 90. Does 5 divide k?
True
Is 28 a factor of 25/(-25)*(-9 - 5087)?
True
Suppose -5*z + 3*p = -19418, 0 = 4*z - 12*p + 11*p - 15540. Is z/8 + ((-144)/(-12))/48 a multiple of 42?
False
Suppose -1091 = -3*b - 5*n, -132*b - 2*n = -127*b - 1793. Suppose 14 = g - b. Is 9 a factor of g?
False
Let g be ((-54)/(-4))/(6/32). Does 8 divide (g - 0)/((-5)/(-90))?
True
Let u(c) = -8*c - 1836. Let g be u(0). Does 6 divide g/(-6) - (-4 + 4)?
True
Suppose 96*h - 66372 = 92*h - 2*a, -h + 3*a + 16614 = 0. Is h a multiple of 88?
False
Suppose 11*i = 14*i + 6, -2*w + 11988 = 4*i. Is 146 a factor of w?
False
Let l(v) = 144*v**2 - 93*v + 1073. Is 24 a factor of l(9)?
False
Suppose p - 546 = 2*q - 5*q, -4*p = 3*q - 2229. Let i be (95193/(-28))/(-9) + 35/28. Suppose -5*k = 2*l - i, 3*l - p = -5*k - 0*k. Is l a multiple of 13?
True
Suppose 27 + 38 = 13*r. Suppose f + 14 = r*l, -1 = -2*l - 0*f + 5*f. Suppose 124 = l*m + 2*x, 0*m - 2*m - 3*x + 76 = 0. Does 11 divide m?
True
Suppose 2*n + 136 = -2*n. Suppose 499*x - 500*x + 11 = 0. Does 3 divide 6/(-10)*(n - x)?
True
Let g(v) = -5*v - 8*v**3 + 5*v**2 + 3*v**3 - 3 - 16*v**2 + 4*v**3. Let s be g(-13). Let l = s + -205. Does 39 divide l?
True
Let c(b) = b**2 + 14*b - 46. Let q be c(-17). Suppose 0 = q*g - 5*x - 25, 4 = 3*g + 2*g + 2*x. Suppose 120 = g*s - 128. Does 14 divide s?
False
Suppose -c = 3*y + 768, -4*y - 5*c - 1105 = -92. Let f = 387 + y. Suppose 0 = 3*l - l - 3*v - 87, -3*l + 5*v = -f. Is l a multiple of 8?
False
Let f(r) = 2*r**2 - 49*r + 6066. Is 33 a factor of f(0)?
False
Suppose 3*u = -3*i + 96156, 123*u - i - 416704 = 110*u. Is u a multiple of 12?
False
Let s = -47 - 89. Let r = s + 91. Is (-96)/40*r/2 a multiple of 21?
False
Suppose -8*y + 24*y - 304 = 0. Suppose -5*d - 5250 = -y*d. Does 25 divide d?
True
Suppose 628 = 48*u - 52*u. Let b = 183 + u. Is b a multiple of 3?
False
Suppose -2*q - 2*w + 44 = 0, q - 4*w - 24 = -6*w. Suppose 0*y = 2*y - 4*x + q, 2*x = 3*y + 10. Suppose y = -5*g + 6*g - 178. Is g a multiple of 15?
False
Suppose -53*w + 292346 + 2043470 = 0. Is 14 a factor of w?
True
Suppose 5*s + 3*g = 20790, s + 3*g - g = 4158. Does 30 divide s?
False
Let b = -2 + 8. Let p(d) be the second derivative of d**5/20 - 5*d**4/12 + 5*d**2 - 2*d - 31. Does 10 divide p(b)?
False
Let n be -2 + 1 - (7 - 12). Suppose -n*f + 2*m + 1730 = -0*f, 4*m = -4*f + 1712. Is 22 a factor of f?
False
Suppose -7*a - 6*a = -39. Suppose -12 = -a*h + 39. Suppose 0 = h*z - 22*z + 350. Is z a multiple of 14?
True
Suppose 2*c - 4*c - 22 = 4*k, k - 4*c - 17 = 0. Let d be 4 + (3*-136)/k. Suppose 53 = -3*a + d. Is 29 a factor of a?
True
Let b = 1405 + 2462. Is b a multiple of 3?
True
Suppose 0 = 9*n - 13*n + 12. Suppose 2*x + 5*z = 33, 3*x + n*z - 17 = 2*z. Suppose -x*g + 40 = -100. Is g a multiple of 16?
False
Let o be 9 - (1 + -1 - (0 - 3)). Let z(k) = -4*k + 23. Let r be z(o). Is (-15)/(-5) - -176 - 3*r a multiple of 14?
True
Let b = -43 - -45. Suppose -q + 0*q = -x + 14, 3*x = b*q + 32. Let r = 64 + q. Is 18 a factor of r?
True
Let j(y) = -20*y - 167. Let u be j(-21). Let c = -101 + u. Does 7 divide c?
False
Let b = -58 + 98. Suppose s = -4*t - 3*s + b, 0 = -2*t + 4*s - 10. Let n(u) = 9*u + 16. Is n(t) a multiple of 5?
False
Let h = -507 - -501. Is (-2637)/(-18) - (-15)/h a multiple of 6?
True
Let a = -30249 - -34682. Is 6 a factor of a?
False
Let d be (196/3)/(29/(-261)). Let i = d + 615. Is i a multiple of 11?
False
Suppose -24*b + 187685 = -525043. Is 189 a factor of b?
False
Suppose -t = -138 + 137. Does 67 divide 938 - 1/(-3)*(t - 1)?
True
Let u be 7 + -1 + (-9)/3. Suppose 9*n - u*n = 1080. Is 45 a factor of n?
True
Let g(h) = 56*h - 48. Let q(l) = 140*l - 120. Let v(p) = 12*g(p) - 5*q(p). Does 12 divide v(-3)?
True
Let u(h) = -2*h + 9 - 14 - 13 - 12. Let s be u(-15). Does 24 divide s + (-6 + 3 - -106)?
False
Suppose -2*o - v + 19 = 0, -2*o = -5*v - 0*v - 49. Suppose -4*g = 2*h + 16 - 120, 5*h - 2*g - 272 = 0. Suppose -o*p + 13*p - h = 0. Is p a multiple of 8?
False
Suppose 69 + 1 = 5*z + 4*p, -5*p + 25 = 0. Suppose -z*a + 2*a = 0. Suppose a = -3*d + d + 220. Is d a multiple of 20?
False
Suppose -5*r - 6 = -8*r. Suppose u - 1 = r*p - 4, 24 = 5*u + 3*p. Let o(q) = 3*q**2 - 1. Is 6 a factor of o(u)?
False
Suppose -2*g - 2*j - 9 = -15, -5*j = -4*g + 30. Suppose g*o - 483 = -38. Is o a multiple of 2?
False
Suppose -58*h + 230108 - 56050 = 0. Is 78 a factor of h?
False
Suppose -10 = 3*c - 5*r, -5*r + 2*r + 35 = 4*c. Suppose 0*q - c*q + 20 = 0, -5*o + 3124 = q. Is o a multiple of 39?
True
Suppose 0 = -5*h + 15. Suppose 0 = -h*c + 4*c - 206. Is c a multiple of 11?
False
Suppose -4*c = -9*c + 5*b + 165, 2*c - 3*b - 68 = 0. Let u be 1 + (-40)/(-1 + 0). Let i = u - c. Does 5 divide i?
True
Let y(z) = -23*z + 2 + 11*z + 59*z**3 - z**2 + 12*z. Is y(1) a multiple of 5?
True
Let s(d) be the second derivative of 31/3*d**3 + 2*d**2 + 18*d + 0. Is s(1) a multiple of 22?
True
Let d = -5 + 6. Suppose 10*y - 37 = -5*a + 11*y, 5*y - 11 = -3*a. Is (a - 5 - d)/(2/332) a multiple of 22?
False
Suppose 5*u - 4*i = 545, -436 = 7*u - 11*u - 5*i. Let t = 563 + u. Does 14 divide t?
True
Suppose 231 = 4*i + 271. Is 7 a factor of (-98)/(-4)*(i - -12)?
True
Suppose -39*x + 5547 = -51*x + 16983. Does 5 divide x?
False
Let a be (-1)/((-5)/1523) + (-543)/905. Let y = -280 + a. Does 3 divide y?
True
Suppose 6*k - 248 + 44 = 0. Let g = k + -20. Let h = g - -7. Is h a multiple of 7?
True
Suppose 0 = 31*k - 188526 - 159366 + 32157. Is 105 a factor of k?
True
Suppose 2*r = -2*w - 6, 4*w + w - 33 = 3*r. Does 11 divide 252 + (r - -4)/(-2)?
True
Suppose 0 = -30*c + 668342 + 887200 - 504702. Is c a multiple of 126?
True
Let r = 132 - -352. Suppose 10*j - 25 = 5*j. Suppose 166 = -3*y - j*z + 890, -2*y + r = 3*z. Is 47 a factor of y?
False
Suppose -2385 = -2*i - 5*h, -2*i - 3*h + 2420 = -5*h. Is i a multiple of 75?
False
Let m(g) = -54*g**2 + 24*g**2 + 6 + 24*g**2 - 2*g**3 + g. Let i be m(-3). Does 26 divide (i - 8) + 7 + 62 + 1?
False
Let k = 49207 + -30862. Is 8 a factor of k?
False
Let d(y) = 2*y**3 + 31*y**2 - 18*y - 24. Let m be d(-14). Let r = -564 + m. Is r a multiple of 28?
True
Let c = -126 - -114. Let s be (-93)/(-18) + 2/c. Suppose 4*k = -5*u + 4*u + 231, -293 = -s*k + 3*u. Does 29 divide k?
True
Suppose -3*a = -4*j - 718, 2*a - 288 = -3*j + 219. Suppose a = 3*n - 225. Let b = 220 - n. Does 12 divide b?
Fa