tiple of 37?
False
Let y be 1 + (4/(-2))/(-2). Let m be ((-1)/(-11))/(28/924). Suppose 1328 = 4*h - 4*l, -m*h - 30 = -y*l - 1023. Does 47 divide h?
True
Suppose -3*j + 23 + 1 = 0. Suppose j*d - 16 = -0. Suppose h = -3*g + 152, 0 = d*h + 5*g - 48 - 261. Is h a multiple of 17?
False
Is 33 a factor of (2 + 53)*((-2585)/(-25) + 36/90)?
True
Suppose -a = -5*i - 674, 1253 = 4*a - i - 1367. Suppose 5*o + a = 4414. Is o a multiple of 47?
True
Let c = -109 - -64. Let m(q) = -296*q**3 + 3*q**2 - 2*q - 4. Let t be m(-1). Let d = c + t. Is d a multiple of 31?
False
Let w = -111 - -64. Let c = w + 63. Suppose v + c = 2*v. Is v a multiple of 3?
False
Suppose 33969 = -9*m + 11*m + 5*p, 0 = -2*m + 3*p + 33977. Is 52 a factor of m?
False
Suppose 7 = j - 4*d, -26*j - d - 13 = -30*j. Suppose -589 = -j*i + 4*p, 13*i - 12*i = 4*p + 199. Is 13 a factor of i?
True
Suppose -2660 = -2*u - u - 5*q, 4*u - q - 3516 = 0. Let n = u - 621. Suppose 3*v + 7 - n = 0. Is v a multiple of 17?
False
Suppose 2*y - 5*v + 1 = 4, 4*y - 2*v - 14 = 0. Suppose 3*f = 2*i - 9, -4*f + 58*i = 53*i + 12. Is 4 a factor of f/y + (-92)/(-16)?
False
Let b = 186 - 104. Let a = b - 202. Let g = -35 - a. Does 17 divide g?
True
Let g be (-16)/6 + 8/(-24). Is -4*674/(-8) - (-6 - g) a multiple of 20?
True
Let t = 12 - 3. Let b = 1 + t. Suppose -530 = -15*x + b*x. Does 17 divide x?
False
Let r = -26 - -135. Suppose -104*n + r*n = 65. Is n a multiple of 2?
False
Suppose -p = -4*h - 1276, 0*h + 5*h = -4*p - 1574. Let l = 464 + h. Is 8 a factor of l?
False
Let j(h) = -h - 6. Let f be j(-6). Suppose f*l + 4 = 4*l. Is 12 a factor of (3 + (l - 2))*-1 - -53?
False
Let s = -66 + 67. Let n(f) = f + 9. Let y be n(-10). Does 11 divide s + y*(-1 + -42)?
True
Is 8*132/154*287/8 a multiple of 41?
True
Let w(a) = 10*a**3 - 303*a**2 + 24*a + 54. Does 91 divide w(33)?
False
Suppose -5*z - 3458 = 2967. Let l = -733 - z. Suppose 0 = 4*g - 16*g + l. Is g a multiple of 5?
False
Let l be 387/21 - ((-24)/(-7) + -3). Suppose -5*a - 5746 = -l*a. Is 28 a factor of a?
False
Is ((320/(-12))/5)/((-19)/6156) a multiple of 18?
True
Let h = 129 - 211. Let p = h + 167. Suppose -4*i = -2*v - 70, -v - 4*v - p = -5*i. Does 6 divide i?
True
Suppose -5*s = 4*h - 272802, -20*h - 4*s = -32*h + 818520. Is h a multiple of 66?
False
Suppose -5*l + 104 - 109 = 0, 2*t - 1521 = 5*l. Does 5 divide t?
False
Let s = -187 - -1614. Is s a multiple of 4?
False
Suppose b = -3*n + 385, -3*b - 2*n + 1105 = -3*n. Let u = b - 210. Let y = 288 - u. Does 32 divide y?
True
Suppose 0 = -3*k + 4*u - 3436, 4*k - 5*u + 4540 = -10*u. Let o = k - -1993. Does 35 divide o?
False
Let m(o) = 0 + 22 + 6 + 9*o + 9*o**2 - 10*o**2. Let b be m(11). Suppose 29 = r + 3*u, 3*r + u = b*r - 117. Does 5 divide r?
False
Let u(f) = 2*f + 18. Let o be u(-8). Suppose 3420 = 3*w + o*w. Suppose -i - w = -7*i. Is i a multiple of 19?
True
Suppose 0 = 11*n - 29*n + 77598. Is 8 a factor of n?
False
Let i = -85 - -85. Is 8 a factor of ((-10)/5 + (1 - i))*-40?
True
Suppose 38*s + 18*s = -8*s + 558080. Is 20 a factor of s?
True
Let a(r) = -5*r + 31. Let b = -3 + 10. Suppose h - 5*x + 20 = 0, 3*h - b*h - 3*x - 34 = 0. Is a(h) a multiple of 27?
True
Let d = 6491 - 1404. Does 21 divide d?
False
Let f(g) = -g**2 - 20*g + 3. Let u be f(-20). Suppose 5*r + 3*i - 837 = 0, 4 = -i - u*i. Suppose d = -6*d + r. Is d a multiple of 24?
True
Suppose 148 = -9*m + 895. Let r = 87 - m. Suppose -4*l = w - 120, w - l - 121 = r. Is w a multiple of 34?
False
Suppose 3*c + 5*o = 4, 2*c + o + 9 + 0 = 0. Is 100 a factor of c/(6919/1156 + -2*3)?
False
Let p = -95 + 175. Suppose 16*s - 8*s - p = 0. Does 10 divide s?
True
Suppose 1 = 5*c - 4. Let s = 477 - 473. Is 5 a factor of 3/(c/(7 - s))?
False
Suppose 15*o = 13*o - 8. Let x be -1*(1 - o) - 4. Is 27 a factor of (-161)/(-2) + x/(-18)?
True
Suppose 2*r - 5*f - 29 = 0, 2*r + f = -3*f - 16. Let g(s) = 15*s**3 - 10*s**2 - 5*s + 5. Does 15 divide g(r)?
True
Suppose 1292826 + 1027580 = 32*h - 21514. Is 15 a factor of h?
True
Suppose 21*a = 24*a. Suppose a = 9*h - 2*h - 1190. Is 34 a factor of h?
True
Let v = -83 - -129. Is 4 a factor of v/6 + (-16)/24?
False
Let g = 178 - 176. Suppose -5*b + 3*v = -157, g*b + 2*b - 108 = -2*v. Is 29 a factor of b?
True
Let w be (1 + 2)/(9/12). Suppose z = -w*h + 690, 435 = 2*h + 2*z + 87. Does 43 divide h?
True
Let g(a) = a**3 + 14*a**2 - 15*a - 27. Let o be g(-14). Let b = o - 76. Does 9 divide b?
False
Let b be (-456)/(-20) - (-2)/10. Let v(q) = q**2 - 20*q + 13. Is 41 a factor of v(b)?
True
Let s be (-4)/(-10) - (-22)/(-5). Let q be s/12*-890 - 2/3. Suppose 0 = -r - 3*r + q. Does 37 divide r?
True
Suppose -50*l = -531094 - 246932 - 6024. Is 123 a factor of l?
False
Suppose 5*p + 269 = 244. Let z(l) = -4*l**3 - 5*l**2 - 3*l + 3. Is z(p) a multiple of 10?
False
Suppose -7*r + 4*r + 25 = 5*i, 0 = r. Is (-1)/(4 + i*123/(-153)) a multiple of 3?
True
Let r(h) = h**3 + 7*h**2 - 3*h + 2. Let v be r(-7). Let z = -73 + v. Is 6 a factor of ((-27)/(-45))/((-2)/z)?
False
Suppose -971 = 173*c - 174*c + 3*y, -3*c + 2938 = -4*y. Does 56 divide c?
False
Let f(z) = 210*z + 1988. Is 78 a factor of f(31)?
False
Let h be (-6)/(-18) + (-25)/(-15). Suppose w - 5*k = -16 + 81, h*k - 406 = -5*w. Is w a multiple of 8?
True
Let v(l) = -38*l - 1582. Is v(-50) a multiple of 3?
True
Let a(q) = -q**3 + 2*q**2 + 3*q + 2. Let p be a(3). Let h(j) = 223*j**3 - 5*j**2 - 7*j + 28. Is h(p) a multiple of 14?
True
Suppose 2*b + b - 735 = 0. Suppose -4*k = -4*z - 332, 3*k - z - b = z. Suppose a - k - 14 = -u, u + 5 = 0. Does 16 divide a?
False
Let n = 46 + -43. Suppose 5*y - 2*r + 0*r - 20 = 0, 0 = -n*y + r + 12. Suppose y*t - 3*v = 24, 5*t - 57 = -v - 8. Is t even?
False
Let x = 32 - 28. Let l(f) = -2*f + 9. Let s be l(x). Does 32 divide 58*(s - (-2 + 2))?
False
Suppose 5*b = -4*h + 1522, 4*b = 5*h - b - 1880. Suppose -4*s + 22*s - h = 0. Does 15 divide s?
False
Let p(j) = -2*j + 67. Let c(g) = 2*g**3 - 44*g**2 - g - 3. Let z be c(22). Is p(z) a multiple of 9?
True
Suppose 2*h - 4*d - 11466 = 0, -7*d + 12*d - 17265 = -3*h. Is 15 a factor of h?
True
Suppose 13*c - 24 - 2 = 0. Suppose -2*z + 636 = c*z. Does 7 divide z?
False
Let m = 20864 + -3045. Is 173 a factor of m?
True
Let r(p) = -p**2 - 2*p + 0*p**2 + 25 - p + 2*p. Let q be r(0). Suppose t + 2*c = 6*c + q, 0 = 5*t + 3*c - 240. Does 15 divide t?
True
Suppose 2*y - y = -4*f + 58, -174 = -3*y - f. Let r = y - 56. Suppose 2*h = -3*k - r*h + 160, -h - 44 = -k. Is k a multiple of 9?
False
Suppose 2*t - 5 = -d + 5*t, 7 = -d - 3*t. Is 2 a factor of (-132 - -14)*d/2?
False
Suppose -4*o - g = -15886, g = 4*o + 5*g - 15892. Is 25 a factor of o?
False
Let g(s) = -398*s - 20. Let z be g(-3). Let r = z - 709. Suppose 7*k - r = 109. Is k a multiple of 41?
True
Let l(d) = -7*d - 18. Let t be l(-4). Suppose -3*c - 3*v + 24 = 0, c - 2*c + 5*v = t. Does 19 divide 39 - (c/7 - 12/(-42))?
True
Suppose t = -3*a + 55, -7*t = a - 6*t - 21. Suppose a*k = 2788 + 3876. Does 43 divide k?
False
Suppose 334*x = 3*m + 336*x - 45815, 2*m - 2*x - 30560 = 0. Is 235 a factor of m?
True
Let w(v) = 179*v**2 + 78*v - 68. Is w(5) a multiple of 39?
True
Let d(i) = i**3 + i**2 - 4*i + 26. Let b be d(9). Let a = b + -661. Is 18 a factor of a?
False
Suppose 5*m = 7*m. Let q be (-3)/9*-6 + m. Suppose -q*c - 750 = -5*c. Is 28 a factor of c?
False
Let f(d) = -d**3 - 4*d**2 + 7*d + 11. Let o be f(-5). Suppose o = -k + 3*m - 2, -2*k + 3*m = -3. Is (-2 - k/(-4))*-52 a multiple of 6?
False
Let r be ((33651/(-4))/9)/((-5)/20). Let t = -2592 + r. Is t a multiple of 37?
True
Let o(m) = 2*m**2 + 1 + 336*m**2 + 49*m + 84*m - 203*m**2. Does 95 divide o(-4)?
False
Suppose -305*h + 3224 = 4*q - 303*h, 1612 = 2*q + 2*h. Does 26 divide q?
True
Let h = 508 + 817. Let i = h - 140. Is 79 a factor of i?
True
Suppose -2526 = -4*s - 3*g + 15483, -5*s + 4*g + 22550 = 0. Is 6 a factor of s?
True
Suppose -5*l = -6*g + 2*g - 2393, 4*g + 4*l = -2384. Let h = -256 - g. Is 31 a factor of h?
True
Let x(f) = -29*f + 4. Let s be x(5). Let g(p) = 50*p**2 + 16*p + 33. Let b be g(-2). Let c = b + s. Is c a multiple of 30?
True
Let d be 4/14 + (-20)/28*34. Let c = d + 55. Does 10 divide (c/(-2))/(5/(-10) - 0)?
False
Let j(a) = a**3 - 3*a**2 + 17*a + 42. Is j(18) a multiple of 11?
False
Let u be (22