1274)/(-8))*(2 + 2)?
True
Let d be (-125)/(-1) + (-2)/2*1. Suppose 4*b - d = -4*g, 0 = -5*g + b + 2*b + 115. Is g a multiple of 7?
False
Suppose 6*q + 64*q - 113540 = 0. Is q a multiple of 69?
False
Let q = 16 + -7. Let z = 6 + q. Let f = 61 - z. Does 16 divide f?
False
Let p(k) = 6*k**3 - 3*k**2 + 9*k - 8. Let z(o) = 7*o**3 - 4*o**2 + 10*o - 9. Let t(a) = -6*p(a) + 5*z(a). Let r be t(3). Does 9 divide (r/8)/(3/(-12))?
True
Let g = 6 - 4. Suppose g - 6 = -2*d. Suppose 16 = 2*f - d. Is f a multiple of 9?
True
Is (-50)/(-4)*((-2368)/(-80) + -8) a multiple of 15?
True
Let p be (-22)/(-55) + 2/(-5). Let d be ((-4)/12*p)/(-2). Suppose 0 = 5*q - 2*f - 71, 4 = 2*f - d*f. Does 11 divide q?
False
Let y be (-15)/9*-3*1. Suppose -221 = -y*j - 1. Suppose -a + j = -0*a. Does 11 divide a?
True
Let g = 59 - 3. Let w be 64/(-40)*45/(-2). Let v = g - w. Is v a multiple of 5?
True
Let i(o) be the first derivative of 0*o + 5 - 4*o + 6*o + 3*o**2. Does 32 divide i(5)?
True
Let y(h) = h**3 + 6*h**2 + 5*h + 3. Let v be y(-5). Suppose v*w - 3*z = 6, 13 = 4*w - 0*z + z. Is 10 a factor of ((-2)/3)/(w/(-90))?
True
Let y = -7 - -12. Suppose -y*o = -9*o + 576. Does 36 divide o?
True
Suppose 0 = -3*q + 2*v + 2273 - 224, 3*q = 3*v + 2046. Is q a multiple of 12?
False
Suppose 4*r + 20 = 0, -c + r + 391 = 2*r. Is 12 a factor of c?
True
Suppose -4956 = -32*g + 10852. Is g a multiple of 26?
True
Suppose -5*k + 13*k - 2120 = 0. Is k a multiple of 6?
False
Is (-6)/21 + 9632/98 a multiple of 7?
True
Let m = 25 - 52. Let r(j) = -16*j + 4. Let n be r(4). Let o = m - n. Does 7 divide o?
False
Does 25 divide -1*(-1 - -4)*332/(-6)?
False
Let b(t) = -t**2 + 35*t - 50. Let v be b(26). Is ((-36)/(-6))/(6/v) a multiple of 8?
True
Let s(x) be the first derivative of 81*x**2 + 1. Let b be s(1). Suppose 3*a - 6*a + b = 0. Does 18 divide a?
True
Let n = 11 + -7. Let t(g) = -g**2 + 5*g - 4. Let y be t(4). Suppose 4*m + n*o - 161 = 3*o, -5*o + 25 = y. Is 13 a factor of m?
True
Let q = 482 - 426. Is q a multiple of 4?
True
Let o(n) = -102*n**2 - n + 3. Let h be o(-2). Is 15 a factor of (3 - -6) + -5 - h?
False
Suppose 0 = 4*p + 106 - 386. Suppose 5*l - 45 - 25 = u, 5*u + p = 5*l. Is 5 a factor of (l/(-35))/(2/(-80))?
False
Is 89 a factor of -46 - -39 - (-2 + -3076)?
False
Suppose 5*d - 8 = d. Suppose 6*g - 186 = -150. Does 24 divide g*d/(-10)*-80?
True
Suppose 7 + 23 = 3*p. Does 12 divide (-2)/p*-6*(70 + 0)?
True
Let n be 14*(-2 + (-5)/(-2)). Suppose -n*g = -5*g - 90. Does 15 divide g?
True
Let b(k) = -k**3 - 6*k**2 - 5*k - 3. Let n be b(-5). Is 4 a factor of 30 - (7 + n - 2)?
True
Let p = 1 - 7. Let v(y) = 3*y**2 + 6*y - 18. Is v(p) a multiple of 5?
False
Suppose -30 = -6*d - 0*d. Is 14 a factor of (-20)/d - (-45 + -1)?
True
Suppose -15*x + 42905 = -24925. Is 19 a factor of x?
True
Let n(w) = -2*w - 9*w - 3 + 7*w + 0. Let y be n(-5). Let p = -7 + y. Does 5 divide p?
True
Let u(q) = -23*q**2 + 35*q + 5. Let s(v) = 4*v**2 - 6*v - 1. Let n(z) = -34*s(z) - 6*u(z). Let w be (-48)/20*20/(-6). Is n(w) a multiple of 28?
True
Suppose 2*j - 6 = 4. Let z(n) = n**2 - 5*n + 2. Let r be z(j). Is (8/16)/(r/44) a multiple of 4?
False
Suppose -p + 3*p = 18. Suppose -10*w + 7*w = -p. Suppose 189 = 4*o - w*z, -91 = -o - o + 5*z. Does 9 divide o?
False
Let c(r) = -5*r**3 + 14*r**2 + 10*r + 17. Let f(l) = l**3 - l**2 - 1. Let n(o) = c(o) + 4*f(o). Let t be n(11). Let y(u) = 19*u - 2. Is y(t) a multiple of 12?
True
Suppose -2*o + v + 790 = 0, 3*v = 7*o - 4*o - 1185. Does 13 divide o?
False
Let p = 195 + -196. Let o(m) = -2 + 2 - 27*m**3 + m**2 - 1. Does 11 divide o(p)?
False
Let n be (6/5)/(36/120). Let t be (16 - 0)/n*9. Suppose -t = 4*i - 124. Is i a multiple of 11?
True
Let f = -38 + 506. Is f a multiple of 13?
True
Let a(x) = -15*x - 3. Suppose 5*y + 20 = 5*p, -3*p = 3*y + 5 + 7. Is 19 a factor of a(y)?
True
Suppose 1316 = 5*h - 3*g - 1150, 0 = 5*h + 3*g - 2454. Suppose 126*m = 122*m + h. Is 13 a factor of m?
False
Suppose 389 = a - 25. Is a a multiple of 26?
False
Suppose -11*o = -493 - 1784. Is 105 a factor of o?
False
Let p(o) = -o**2 + 11*o + 6. Let i(r) = r**3 - 1 - 2 + 2*r**2 + 9*r - 10*r**2. Let b be i(7). Is 6 a factor of p(b)?
True
Let q(i) = i**2 - i + 1. Let f be q(2). Suppose f*h - 31 = 11. Suppose -h*z + 120 = -9*z. Is 12 a factor of z?
True
Let m(s) = 3 - 6 + s + 0*s**2 - 2*s**3 + 4*s**2 + s**3. Let z be m(3). Suppose 4*b = -4*n + 100, -2*b = n - 13 - z. Is 14 a factor of n?
True
Let q be (21/6 + (0 - 3))*-158. Let m = q - -91. Is m a multiple of 6?
True
Let v be (124/(-4))/(4 + -3). Let p = v - -16. Let z(r) = -r**2 - 15*r + 14. Is z(p) a multiple of 5?
False
Let r(a) = -a**2 - a + 28. Let p be (14/(-8))/((-4)/16). Suppose 0 = 3*y + 15, -p*y - 25 = -4*u - 2*y. Does 14 divide r(u)?
True
Let t be 1/2 + (-70)/(-28). Suppose t*h = r + 955, 0*r + 5*r = -2*h + 648. Does 29 divide h?
True
Let b(o) be the second derivative of o**5/20 - o**4 + 11*o**3/6 - 5*o**2/2 - 2*o. Let m be b(11). Let g(n) = -12*n. Is g(m) a multiple of 15?
True
Suppose 35 = 3*y + 4*b - 0*b, 0 = -5*y + 3*b + 39. Suppose -2 + y = d. Is d a multiple of 6?
False
Let v(m) = -6*m + 505. Is v(-14) a multiple of 5?
False
Suppose 736 = 2*y + 4*n, 5*y - 1870 = -0*n + 5*n. Suppose -3*a - y = -4*q, 4*a + 188 = 2*q + 3*a. Suppose s + 3*s = q. Is s a multiple of 12?
True
Let r(l) = 10*l - 22 + 37*l + 7*l - 2*l. Does 17 divide r(2)?
False
Is 20 a factor of (3 + 0)*2 + (33 - 0)?
False
Let t(v) = -6*v - 6. Let x(s) = -13*s - 13. Let n(y) = 7*t(y) - 3*x(y). Let f be n(5). Let p = f - -39. Is 21 a factor of p?
True
Let v(c) = 178*c - 5. Is v(1) a multiple of 17?
False
Let o be (3/(-2))/((-3)/10). Suppose 4*i - w = 53, 0 = 3*i + o*w - 10*w - 27. Does 14 divide i?
True
Let b = -277 - -405. Is b a multiple of 32?
True
Let n be (-4)/6 + (-4)/(-6). Let o(k) = 3 + n*k**3 - 2 - 9*k**3 + k + 1. Is 20 a factor of o(-2)?
False
Let j = 33 + -36. Let o(d) = d**3 + 7*d**2 + d + 6. Let s be o(j). Suppose 3*k - 42 = -k + 2*r, -r = 4*k - s. Does 5 divide k?
True
Let n(l) = -l**2 - 3*l + 1. Let j be n(-2). Let o(k) = 286*k**2 - 3*k - 2. Let z be o(-1). Suppose -5*i + z = j*a, -i + a - 4*a + 67 = 0. Does 13 divide i?
False
Let j(d) = 6*d**2 + 36*d - 165. Is j(19) a multiple of 31?
False
Let g be (1 - -168)/((-6)/(-48)). Suppose f - g = -3*f. Suppose 5*j - f = 3*r - 42, 0 = -2*j - 2*r + 128. Is 20 a factor of j?
False
Let s(z) = -6*z**2 - 22*z - 41. Let c(g) = -7*g**2 - 21*g - 40. Let a(q) = -5*c(q) + 6*s(q). Does 21 divide a(-12)?
False
Let z = 5 - 2. Suppose z*u = 5*b + 326, 3 = 4*b + 19. Suppose -h - 5*i = -45, -2*i - u = -4*h + 2*h. Is 15 a factor of h?
False
Suppose 2*j - 2116 = -5*y + 3*y, 2*y - 4*j = 2092. Is y a multiple of 34?
True
Is 7 a factor of (-116)/(32/(-14) + 2)?
True
Let c be 0 + -1 - 4/4. Let u be 4 - (c - (-3 - -3)). Let x(n) = -n**2 + 12*n + 7. Is x(u) a multiple of 31?
False
Is 76 a factor of 228*(6 - (-60)/(-18))?
True
Let u = 327 + -285. Let b be -26*(-6)/8*-2. Let f = b + u. Is f a multiple of 3?
True
Let q = -8 - -12. Suppose q*k - 246 = 5*o, 5*o = 4*k + 4*o - 238. Does 11 divide k?
False
Suppose -7*t + 4*t + 12610 = -2*d, d = 5*t - 21005. Is 25 a factor of t?
True
Let r = 210 + -78. Suppose -86*s = -89*s + r. Is s a multiple of 9?
False
Suppose -o + 5*b + 23 = -0*o, -5*b = -3*o + 49. Suppose y + o*y = 1470. Is 15 a factor of y?
True
Let y be 0/(3 - 2)*2/(-4). Suppose -9*k + 3*k + 876 = y. Is 24 a factor of k?
False
Suppose -1939 = -13*m + 19537. Is 14 a factor of m?
True
Suppose 224 = 4*i + 3*q + 32, 0 = -2*i + 3*q + 96. Is i a multiple of 16?
True
Is (-1330)/(-8) + 81/(-324) a multiple of 23?
False
Suppose -358 - 242 = 5*f. Let h = 38 - f. Is 38 a factor of h?
False
Suppose 20 = -5*y, 40*y - 1096 = -3*b + 38*y. Is b a multiple of 9?
False
Let z(m) = -m**3 - 17*m**2 + 16*m - 24. Suppose -d = 4*w - 5, -9 = -3*d + 2*w + 6. Suppose -85 = 5*v + d. Is 9 a factor of z(v)?
False
Let t = 410 + -108. Is 18 a factor of t?
False
Suppose 16 = 5*x + z + 190, 2*x = 4*z - 74. Let u(k) = 67*k**2. Let s be u(-1). Let h = s + x. Is h a multiple of 32?
True
Let z(g) = g**3 + 8*g**2 - 3*g - 8. Let y(j) = -5*j**3 - 41*j**2 + 15*j + 41. Let b(i) = 2*y(i) + 11*z(i). Let h be b(-5). Suppose k - h = -4. Does 15 divide k?
True
Let n(l) = -8 + 8 + 10*l. Let p be n(