)/((-1)/7) a multiple of 31?
False
Let x(c) = 66*c**2 - 7*c + 22. Let v be x(4). Suppose 2*g + 5*t = -3*g + 1315, v = 4*g + 6*t. Does 33 divide g?
True
Is 15 a factor of (-165)/((-10)/6*12/120)?
True
Let c(n) = 66*n + 29. Let i be c(6). Let b = 9 + i. Suppose -6*d + 568 = -b. Is d a multiple of 20?
False
Let j be ((-1316)/60)/7 - (-6)/45. Let o(q) = -110*q + 15. Is 5 a factor of o(j)?
True
Let n = 247 + -244. Suppose n*c = -2 - 4, -300 = -2*k - 3*c. Does 17 divide k?
True
Suppose -9*p = -37*p - 3*p + 82677. Is 18 a factor of p?
False
Let u be (-31)/(-155) - (-631)/(-5). Let h = 26 + -44. Let l = h - u. Is l a multiple of 20?
False
Is 62607/5 + 14/(-35) a multiple of 87?
False
Let t(z) = -4*z**2 + 6*z - 25 + 5 - 8 + 2*z**3 - 4. Is 16 a factor of t(6)?
False
Let g = 743 + -743. Suppose -14*o + 13*o - 2*p + 1186 = g, 5*p - 25 = 0. Is 56 a factor of o?
True
Let t(w) = 45*w - 147. Suppose -64 = -4*h - 4*a - 0*a, -25 = -h - 4*a. Is t(h) a multiple of 5?
False
Let l(g) = -g**3 - g**2 + 1. Let z be l(0). Let a(j) = -3226*j - 1 + 1699*j + 1626*j. Does 49 divide a(z)?
True
Let w = 38272 + -20084. Is 17 a factor of w?
False
Let w be 15/21 - (-12)/42. Suppose t = -r - w, 6*r + 2 = r - 4*t. Suppose -23 = -2*g + c, -3*g - 2 = -r*c - 38. Does 5 divide g?
True
Suppose -r - 2 + 4 = 0. Suppose r*p + 0*p + 0*p = 0. Suppose 0 = z - 3, 3*z = 5*o - p*o - 381. Is 6 a factor of o?
True
Suppose h - 2*h + 253 = 0. Suppose -33*a + 123 = -108. Suppose 377 = a*k - h. Does 9 divide k?
True
Let r(g) be the second derivative of -7*g**3/6 + 24*g**2 + 67*g. Does 6 divide r(-6)?
True
Suppose -218196 = 285*c - 578*c + 284*c. Does 76 divide c?
True
Suppose 0 = 541*q - 549*q + 120. Suppose -q*w - 3374 = -22*w. Does 14 divide w?
False
Suppose 78239 + 28785 = 17*j - 48220. Does 12 divide j?
True
Let r(a) = -a**3 - 11*a**2 - 7*a - 5. Let u(n) = n**3 + 8*n**2 + n - 2. Let k be u(-8). Let z be r(k). Let h = 42 + z. Is h a multiple of 7?
True
Let x(t) = t**2 - 2*t - 120. Let a be x(0). Is 3/((2/a)/(2/(-5))) a multiple of 18?
True
Suppose -4*o - 170 = -1074. Suppose -o = 6*i - 1510. Is i a multiple of 26?
False
Let c(p) = 2459*p**2 + 272*p + 805. Does 23 divide c(-3)?
False
Let z(y) = -y + 4. Let n be z(-3). Let g be n/7 - 3/6*2. Is 181 - g*(-1 - (-6)/4) a multiple of 24?
False
Suppose 5*u = -p - 15, -4*p = -9*p. Let f be u/((-6)/131)*2. Suppose -5*a + f = -49. Is a a multiple of 6?
True
Suppose 2*j = -15*z + 12*z + 47115, 4*z - j - 62831 = 0. Does 113 divide z?
True
Let p be 1 + 5/(-2) + 26465/134. Suppose -4*w + 310 = -3*k, 11 = 2*w - 5*k - 151. Suppose -f - w + p = 0. Does 12 divide f?
True
Let d(r) be the second derivative of r**4/3 + 5*r**3/6 + 15*r**2/2 - 68*r. Is d(12) a multiple of 24?
False
Let y = -369 - -386. Let z(b) = 4*b**2 - 7*b - 139. Is 9 a factor of z(y)?
False
Suppose -46*s + 50*s - 10780 = -2*n, 0 = -5*n - 3*s + 26985. Is n a multiple of 72?
True
Suppose 14*g = 30*g - 5552. Suppose 0 = -2*q + g + 139. Is q a multiple of 17?
False
Suppose -859103 = -10*u - 46*u + 19*u. Is u a multiple of 107?
True
Let d = 111 + -67. Suppose -d*x + 66 = -38*x. Suppose -x*h = -10*h - 262. Does 40 divide h?
False
Suppose 10*d - 25009 - 3231 = 0. Is 8 a factor of d?
True
Let o(p) = 241*p - 620. Is o(8) a multiple of 12?
True
Let q = -2467 - -4076. Does 10 divide q?
False
Suppose 3*s + 247 = 5*f - 1, -60 = -f - 2*s. Does 68 divide ((-13)/f)/(6/(-1632))?
True
Let j be (1 - 12)/((-31)/3503). Suppose -j = -3*o + n, -5*n - 578 = -2*o + 242. Is o a multiple of 10?
False
Suppose 7*i + 72*i = -89*i + 607488. Is i a multiple of 16?
True
Suppose 7*s + 4*s - 128260 = -9*s. Is s a multiple of 11?
True
Let k(m) = -877*m - 1798. Is k(-18) a multiple of 52?
True
Let p = 192 + -167. Suppose 20*w = p*w - 1560. Is 12 a factor of w?
True
Let h(a) = 4*a**2 + 94*a + 1829. Is h(-27) a multiple of 6?
False
Suppose -4*t - m = 1005 - 2536, 5*t - m = 1925. Let s be 1/5 + t*4/20. Suppose -b - x = -71, -b + x + 0*x = -s. Does 37 divide b?
True
Suppose 292*h - 290*h - 2412 = 0. Suppose 5*l - 5*z = 1990, -3*l = -0*z + 3*z - h. Is 50 a factor of l?
True
Suppose 32439*d - 715616 = 32420*d. Does 22 divide d?
True
Let d = -732 + 2698. Does 86 divide d?
False
Let f(c) be the second derivative of 13/2*c**2 + 1/2*c**3 + 0 - 15*c. Does 16 divide f(12)?
False
Suppose -209 = p - 2*v - 0, p + 201 = 4*v. Let u = p - -392. Is u a multiple of 14?
False
Suppose -3*c + 8*c - 10 = 0, 5*c - 106 = 4*q. Let p be q/16 - (-430)/4. Suppose 5*o + s + 59 = 6*o, -2*o - 2*s + p = 0. Is 7 a factor of o?
True
Let d = -825 - -1271. Suppose -4*x + 2739 + 49 = 0. Let r = x - d. Is 37 a factor of r?
False
Let h = 17273 + -5030. Does 11 divide h?
True
Suppose -10*x = x - 187. Suppose -x = 6*f - 7*f. Suppose -15*s - 294 = -f*s. Is s a multiple of 9?
False
Is 8 a factor of (260/30)/(-26) - (-674)/6?
True
Let x(s) be the first derivative of s**3/3 - 4*s**2 - 17*s - 16. Let v be x(10). Suppose v*u - 76 = -46. Does 6 divide u?
False
Suppose 3*o + 3*v + 2*v + 7 = 0, 0 = o + 3*v + 9. Suppose 0*w - 150 = -o*w. Suppose 4*p + 9 - w = 0. Is p even?
True
Suppose -4*u = 16*u + 20. Does 54 divide 751 - (1*(-8 - u) - -2)?
True
Suppose 2*u - 540 = -3*u. Suppose -5*c = -5, 1 = -j + 11*c - 6*c. Suppose 175 = 4*p + l, -j*l + u + 20 = 3*p. Is 4 a factor of p?
True
Suppose 9152 = 4*m + j, 3*j = -0*m - m + 2288. Suppose -45*f + m = -32*f. Is f a multiple of 16?
True
Let x(k) = -k + 11. Let w be -1 - (3 - 4/1). Let n be x(w). Suppose -b = -n*b + 330. Is b a multiple of 11?
True
Suppose 9*z - 6 - 3 = 0. Is 42 a factor of (-2 - -157) + 0/(-2) + z?
False
Suppose 0 = b + x - 8, 0*x = -b - 5*x + 24. Suppose 6*w - 7*w - 126 = -2*j, b*j - w - 250 = 0. Does 36 divide j?
False
Suppose -2*x - 2*s + 22 = -34, 3*x + 5*s = 90. Let z(h) = 13*h - 95. Does 5 divide z(x)?
True
Let g(l) = l**3 + 44*l**2 + 69*l - 180. Does 50 divide g(-39)?
False
Suppose -7299 = -l - 909*g + 910*g, g - 1 = 0. Is l a multiple of 146?
True
Suppose 3*m + 2*c + 36 = 2*m, -4*m - 3*c = 129. Let k = 32 + m. Suppose -3*u - k*u = -275. Does 6 divide u?
False
Is ((-640)/(-20) + 14158)/((-6)/(-4)) a multiple of 18?
False
Let z(y) = 862*y**2 + 60*y + 203. Does 131 divide z(-4)?
True
Suppose 0 = -327*m + 3598642 - 665057 + 684016. Does 41 divide m?
False
Suppose 0 = 3*j - l - 29, 0 = 2*j - 4*j - 4*l + 24. Suppose j*w - 5*w = 205. Suppose -u + 4*t = -84, u + 5*t = w + 25. Is 19 a factor of u?
True
Suppose 0 = 2*w + 3*g - 41 - 390, -2*g = -2*w + 436. Suppose d - 2*b = 3*b - 11, -b + 13 = d. Suppose -2*t + d*t = w. Is t a multiple of 6?
False
Let i(z) = z - 20. Let o be i(-9). Let c = 15 + o. Does 10 divide (-4)/c - (-272)/28?
True
Let b = 10661 + -3815. Is b a multiple of 18?
False
Let t = 139 + -166. Is 2 + (-9909)/(-15) - t/(-45) a multiple of 58?
False
Let h(d) = d**3 - 19*d**2 + 34*d + 12. Let a be h(17). Let b = 21 - a. Does 4 divide b?
False
Let u(r) = 5*r**3 + 18*r**2 - 65*r - 72. Is 16 a factor of u(8)?
True
Suppose -25 = 8*w - 13*w. Suppose -w*a + 25 + 65 = 0. Does 9 divide a?
True
Let y(u) = -3*u + 508. Is y(4) even?
True
Suppose 135*l = 578607 + 804801 + 3582. Does 30 divide l?
False
Suppose -34*j = -63*j + 161269. Suppose -16517 = -12*k - j. Is k a multiple of 11?
True
Let c(p) = p**3 + 121*p**2 + 11*p + 1442. Let l be c(-121). Suppose w + 38 = -27. Let a = l + w. Does 18 divide a?
False
Let a = 304 + -301. Suppose -j + 38 = -a. Is 24 a factor of j?
False
Suppose -36620 = -30*d - 7460. Is 2 a factor of d?
True
Suppose 0 = 6*q - q - 25. Suppose 0 = i + q*t - 189, -5*t - 833 = -5*i - 2*t. Suppose -3*o - c = 3*c - i, -c + 56 = o. Is 5 a factor of o?
True
Let u(w) = 11*w**2 + 7*w + 5. Let m(h) = 10*h**2 + 8*h + 5. Let q(n) = 4*m(n) - 3*u(n). Let z(i) be the first derivative of q(i). Is 6 a factor of z(5)?
False
Suppose -f + 4*b + 8999 = 0, 0 = -72*f + 68*f + 5*b + 35919. Does 71 divide f?
False
Suppose -84 = -5*w - 2*s, 0 = 2*w + 2*s + 8 - 44. Does 11 divide (1036/16)/(2/w)?
False
Let g(i) be the first derivative of 4*i**3/3 + 19*i**2/2 - 45*i + 6. Is g(9) a multiple of 15?
True
Suppose -143*h + 195 = -156*h. Is (-8*(-58)/20)/((-3)/h) a multiple of 4?
True
Let z(w) = -144*w - 103. Let u = 347 + -355. Is 77 a factor of z(u)?
False
Let q = 5 - 172. Let w = -41 - q. Is w a multiple of 63?
True
Let b = 860 - 476. Is