+ 1 = 0. Suppose 0 = -n*d - d + 3762. Is d a multiple of 18?
True
Let f(v) = 6463*v**2 - 10*v - 76 - 6462*v**2 - 8*v. Is f(26) a multiple of 18?
False
Suppose -11*h + 426393 = -4*x, 167*h - 193815 = 162*h - 2*x. Is 73 a factor of h?
True
Suppose 3*s = 5*l + 134730, -43448 = -5*s + 4*l + 181076. Is s a multiple of 15?
False
Let v = 1262 - 1897. Let g = -450 - v. Is g a multiple of 37?
True
Let u(o) = -o**3 + 17*o**2 + 17*o - 13. Let b be u(7). Let z = b + -355. Is 22 a factor of z?
False
Let f(k) = -103*k - 129. Does 3 divide f(-8)?
False
Let y = 21023 + -10045. Is y a multiple of 11?
True
Let s be (-42 + -1)/(152/52 - 3). Let p = -484 + s. Does 12 divide p?
False
Let b(x) = -x**3 + 16*x**2 - 28*x + 53. Let y be b(17). Let o = y + 1000. Does 32 divide o?
True
Suppose -10*h + 11*h + 12640 = 4*s, -2*s + 6228 = 11*h. Is s a multiple of 2?
True
Let n be 1/4 + 299181/124. Let c = n - 1370. Is c a multiple of 14?
False
Suppose 53*i + 24888 - 252258 = 0. Is 26 a factor of i?
True
Let o = -92 + 86. Suppose -4*i + 813 - 305 = 0. Let a = i + o. Is 39 a factor of a?
False
Suppose 49*m - 53219 - 402285 = 0. Is 32 a factor of m?
False
Suppose -25*j + 26*j - 292 = 0. Suppose 3*g = l + 812, j = g - 0*g + 5*l. Does 16 divide g?
True
Let p(l) = 4*l**3 + 7*l**2 - 21*l + 170. Is 10 a factor of p(8)?
False
Let i(c) = -62*c + 9. Let n be i(-1). Suppose -n - 259 = -a. Is a a multiple of 30?
True
Is 720 + 6 + 7 - -18 a multiple of 4?
False
Let u(j) = -j**3 + 4*j**2 + 15*j + 13. Let t be u(-4). Suppose -2*l + 96 = 3*k, -3*k - 3*l + t = -6*l. Is k a multiple of 6?
True
Suppose 5*b - 2*b - 145 = 4*w, 3*w - 2*b + 110 = 0. Let s be 1*-2 - 2574/(-39). Let m = w + s. Is m a multiple of 3?
True
Suppose y = 5*x - 8347, -2*y = 4*x - 5861 - 825. Does 10 divide x/55*27 + (-4)/(-22)?
True
Suppose 2*p = -4*u - 6, 5*u - 4*p + 7*p + 10 = 0. Let n(x) = 61*x**3 + x. Is 9 a factor of n(u)?
False
Let k(x) = 7*x**2 + 9. Let j(h) = -7*h**2 - h - 9. Let y(b) = -6*j(b) - 4*k(b). Does 31 divide y(6)?
True
Let n = -1971 - -2143. Is 7 a factor of n?
False
Let a = 5288 - 3858. Is a a multiple of 10?
True
Let s = 502 + -423. Suppose s + 71 = y. Does 25 divide y?
True
Suppose 23*r - 20*r = 837. Let t = r + -165. Is t a multiple of 19?
True
Let b(q) = 73*q - 2. Let n be b(1). Let a = 105 - n. Is a a multiple of 9?
False
Does 13 divide 698/((-5)/(-4) + 87/116)?
False
Suppose -i - 3*u + 5954 = 0, 0 = 4*i + 53*u - 51*u - 23776. Is i a multiple of 7?
False
Suppose -4*b = 16, b + 436 + 1583 = 5*u. Suppose -5*r - u = -18*r. Is r a multiple of 25?
False
Let p(v) = v**2 - 6*v + 3. Let a be p(5). Let u be (((-4)/(-3))/a)/((-4)/30). Suppose 5*n - u*m = 485, -195 = -3*n + m + 88. Is 21 a factor of n?
False
Let b(g) = 2*g**2 - 14*g - 13. Let p(f) = 5*f**2 - 27*f - 27. Let y(d) = -7*b(d) + 3*p(d). Let s be y(-22). Suppose s = 9*o - 8*o. Is 12 a factor of o?
True
Let n be (5 - -1)/(77/2156). Let d(k) = 2*k**2 + 4*k + 2. Let w be d(-3). Suppose w*v + n = 9*v. Is v a multiple of 8?
True
Let v be -60*(-4 - (-42)/12). Suppose 0 = -4*o - 10 - v. Is 10 a factor of 126/4 + 75/o + 6?
True
Is 101 a factor of (-80185)/(-11) + (-330)/605?
False
Suppose 214150 = 4*q + 5*g, 2*q - 24*g + 28*g = 107066. Does 12 divide q?
False
Suppose -26 = -5*z + 4*p, -21 = -3*z - 11*p + 8*p. Suppose 5*n - 295 = z*r - 7*r, -5*r - 5*n = -1375. Is r a multiple of 18?
True
Suppose -286028 = -4*f - 3*q, 19*q - 24 = 22*q. Is 13 a factor of f?
True
Let z = -760 - 159. Let c = -715 - z. Does 7 divide c?
False
Let o(x) = 3*x - 8. Let t = -33 - -39. Let q be o(t). Suppose -q*h = -312 + 102. Does 7 divide h?
True
Let j be 1012/6 - 2/3. Suppose 5*t = 2*w - 32 + 33, -3*t + 3*w - 12 = 0. Suppose t*v = 11*v - j. Does 6 divide v?
False
Suppose 46*q = 25*q - 168. Let h(g) = g**3 + 9*g**2 + g + 40. Is h(q) a multiple of 15?
False
Suppose -24*f = -19*f - 425. Let x = f - 69. Suppose 4*k + x = 3*g, -50 = -0*g - 5*g - 5*k. Is 2 a factor of g?
True
Let l = 135 + 28. Let n = -82 + l. Let f = 159 - n. Is f a multiple of 26?
True
Does 56 divide 197/2758 + (-498621)/(-42)?
True
Suppose -5*z = -18 - 2, 0 = b - 5*z + 14. Suppose -b + 4 = m, -4*c - 4*m + 568 = 0. Is 14 a factor of c?
False
Suppose -1805*b - 2550 = -1811*b. Is b a multiple of 36?
False
Let g(v) = -2*v**2 + 33*v + 14. Let b = 376 - 361. Is g(b) a multiple of 11?
False
Suppose 1973 = 11*n + 6241. Let b = n + 829. Is 21 a factor of b?
True
Let r be 1*(5 + -95) + -2. Let s = r + 91. Is 14 a factor of (8*9/(-15))/(s/10)?
False
Suppose -3*g + 4 = 2*y - 3, 3*y = -2*g + 18. Suppose 4*a + 8 = y*a. Suppose a*w = -4*f + 446, -2*f + 3*w = -134 - 85. Is 6 a factor of f?
False
Let o(m) = -16*m - 5. Let i be o(-3). Suppose -3157 = -i*b + 36*b. Does 5 divide b?
False
Suppose 0 = 12*w - 792 - 3756. Let n = 607 - w. Does 35 divide n?
False
Is 52 a factor of 19 + -27 + (-47355)/(-11)?
False
Let d(c) = -4568*c + 20. Is d(-1) a multiple of 49?
False
Let r(i) be the third derivative of -i**6/120 - 11*i**5/60 - 25*i**4/24 - 3*i**3/2 + 24*i**2 + 1. Is r(-9) a multiple of 54?
True
Let y(j) = -j**3 + 26*j**2 - 3*j + 216. Does 20 divide y(14)?
False
Let c be 2 + (8 - 10)*3/(-2). Suppose -c*v + 18 = 3*d, 5*d + 26 = -7*v + 8*v. Is 6 a factor of v?
True
Is 140 a factor of 4939 + ((-36)/(-60))/((-9)/(-30))?
False
Let m be ((-4)/(-14))/(((-72)/112)/(-9)). Suppose 4*r - 5*s - 116 = -m*s, -s = r - 24. Is r a multiple of 4?
True
Let c = 52 + -15. Let f = c - 31. Suppose f*m - 569 = 49. Is m a multiple of 46?
False
Suppose 2*g - 6 = -4*d, 2*d - 10 = -5*g + 45. Suppose -4*z + 18*j - g*j + 1711 = 0, 4*z = -3*j + 1719. Is z a multiple of 11?
True
Let w be (-927)/(-3)*(8 + -5). Let d = -655 + w. Suppose -d - 473 = -5*m. Is m a multiple of 30?
False
Does 11 divide (5/(-5) - 5)*5440/(-48)?
False
Suppose -2*a = 0, -58323 + 13059 = -t - 2*a. Is t a multiple of 19?
False
Is 8 a factor of 6099 + 9*(-4)/(-3) - (-2 + -6)?
False
Let a be (7 - 98/16)*8. Is 12 a factor of (-41 + a)/(-3 + 15/6)?
False
Let r(c) = c**3 + 73*c**2 + 552*c - 36. Does 26 divide r(-62)?
False
Let v be ((-23 + 3)/4)/(-1). Suppose -4*p - 1 = -v*h + 17, 4*h - 12 = 2*p. Does 14 divide 155 - (1 + p + 2)?
True
Let s(u) = u**2 - 4*u - 788. Let j be s(0). Let k = 654 - j. Is 87 a factor of k?
False
Let o be (-2)/(-4)*(-248)/(-2). Let g = o + -38. Suppose 10 = -g*c + 25*c. Is c even?
True
Let j = 82 + -61. Let f(z) = -z**3 + 23*z**2 - 41*z - 18. Let b be f(j). Suppose -3*u + b*x - 12 + 45 = 0, -3*u = -2*x - 30. Is u a multiple of 4?
True
Let y(m) = -m - 10 - 2*m**2 + m**3 + 14 - 5. Let f(s) = 7*s**3 - 2*s**2 - 4*s - 21. Let v(k) = f(k) - 6*y(k). Is v(-9) a multiple of 12?
True
Let p(n) = n**2 + 208. Let i be p(0). Let t = 298 - i. Is 20/t - (-358)/9 a multiple of 40?
True
Suppose 2*i + 5*f = 34699 + 40076, i + 5*f - 37395 = 0. Is 21 a factor of i?
True
Let r = 2437 - -3661. Suppose -r = -35*m + 14027. Is 25 a factor of m?
True
Suppose -2*w + 222 = 5*h, -2*h - 11*w + 91 = -8*w. Suppose -179 + 2775 = h*i. Does 2 divide i?
False
Suppose -1305 = -25*w - 205. Suppose -w*q = -50*q + 174. Does 23 divide q?
False
Suppose 308 = -16*k + 4852. Let h = -21 + 0. Is 12 a factor of (-14)/h - k/(-6)?
True
Let u = -138179 - -208434. Is 24 a factor of u?
False
Suppose 157966 + 38594 = 70*v. Does 36 divide v?
True
Suppose 205509 = 30*d - 23211. Is d a multiple of 62?
False
Is 7680/1 - (12 + -12)/(-10) a multiple of 40?
True
Let u(f) = -5*f - 46. Let v be u(-11). Suppose -v*t - 400 = -5296. Does 8 divide t?
True
Suppose 0 = 17*g - 118960 + 16297. Is 119 a factor of g?
False
Let c = -31 + 36. Suppose o + c*f = 5*o - 53, -59 = -5*o - f. Does 21 divide -7*4/(-8)*o?
True
Suppose 83*f = 1382255 + 375021. Is 79 a factor of f?
True
Let x(h) = 7*h - 75. Let o(z) = -2*z - 1. Let q(c) = 2*o(c) - x(c). Is q(-16) a multiple of 25?
False
Suppose -114072 = -518*r + 371*r. Is r a multiple of 16?
False
Let y be 3 - 7 - (-831)/3*1. Suppose 5*j + 4*s = 7728, -2*s = -j + 1281 + y. Is 36 a factor of j?
True
Let l be 180/(-300) + 103/5. Suppose 2*c = -2*c + l, -4*q + 3*c = -1045. Is q a multiple of 5?
True
Let a(k) = -k**2 + 39*k - 61. Let y be a(36). Is 2/((-1 - 3) + 189/y) a multiple of 23?
False
Suppose 2*b - 3*t = 53057 + 24064, 0 = b - 4*t - 38568. Does 34 divide b?
True
Let v be (33212/(-57))/((-3)/153*2). Suppose 2