+ g. Suppose -x*y = 5*z - 614, -2*y - 2*y - 384 = -3*z. Is 31 a factor of z?
True
Let y(f) = 11*f + 1. Let i be 3 - 1*12/2. Let h be y(i). Is 13 a factor of 33/11 - h/1?
False
Let w be -2*3/(-6) + -1. Suppose w = -r - 4, 2 = -4*h + 2*r + 206. Is h a multiple of 49?
True
Let m be ((-25)/(-10))/(1/2). Let p be ((2/m)/1)/(36/180). Is 12 a factor of 43*((-40)/p)/(-5)?
False
Let r(v) = 6*v**2 + 3*v - 6. Let z = -187 + 189. Does 24 divide r(z)?
True
Suppose -2*c + 20 = 3*c, 3*g - 4*c - 182 = 0. Suppose -g = -f + 36. Is 54 a factor of f?
False
Does 15 divide (-228)/(-494) - (-46892)/26?
False
Suppose 15*b = b + 1582. Suppose -4*c = -0*c + p - b, -5*c + 4*p = -136. Is (-1)/1 + c/7 a multiple of 2?
False
Let g be (3 - (-27)/18)/((-2)/1080). Is (32/10)/((-18)/g) a multiple of 16?
True
Suppose 0 = -t + 5*m + 12346, 6708*m - 49184 = -4*t + 6703*m. Does 7 divide t?
True
Let p be (-3 - 2) + 0 + 2. Let y be 6/(p + (-153)/(-48)). Let h = y - 15. Does 6 divide h?
False
Suppose 0 = 11*s - 9*s - v - 515, -3*s + 800 = 4*v. Does 70 divide ((-105)/10)/((-3)/s)?
True
Suppose -3*c - 21 = -39. Suppose -c*s - 50 = -218. Is s a multiple of 5?
False
Let f(y) = -y**3 + 36*y**2 + 63*y + 331. Is 11 a factor of f(34)?
True
Let w(m) = 209*m + 5. Let a be w(-1). Does 17 divide 3/(-2)*a/18*9?
True
Let o(h) be the third derivative of h**4/24 + 11*h**3/3 - 6*h**2 + 2*h. Let w be o(-26). Let c(d) = -d**3 - d**2 - 2*d - 6. Does 50 divide c(w)?
True
Let p(v) = 2*v**2 + v - 22. Let n be p(3). Is (-1476)/(-3) + 3 + n + -8 a multiple of 27?
True
Suppose 7*j - 16 = -j. Suppose 0 = -5*l + 3*x + 3 - j, 0 = -3*l - 4*x + 18. Is (0/(-1) + -42)/(l - 3) a multiple of 21?
True
Suppose 0 = 113*r + 101*r - 1751214 - 86190. Does 159 divide r?
True
Let h = -34475 - -57760. Is 152 a factor of h?
False
Suppose -3868 = -3*n + 5*q, -5*n + 5*q + 6450 = -0*n. Suppose -4*w + n = -2509. Is 42 a factor of w?
False
Let b = 101693 - 70109. Is b a multiple of 84?
True
Let m(i) = -7*i + 3. Let t(q) = -q**3 + 2*q**2 + 10*q - 3. Let z be t(4). Let s(y) = 22*y - 8. Let u(g) = z*s(g) + 14*m(g). Is u(3) a multiple of 19?
True
Let m(f) = f**3 + 8*f**2 - 51*f + 12. Let g(n) = 5*n**2 - 51*n - 2. Let z be g(10). Is m(z) a multiple of 6?
True
Let m be 4/22 - 72648/(-99). Let k be m/6 + (-5)/15. Suppose 0 = -4*j + 3*d + 146, 60 + k = 5*j - 4*d. Is j a multiple of 9?
False
Let b be (1/2)/(2/24). Let o(i) = -2*i - b*i + 10*i + i + 78. Is 17 a factor of o(0)?
False
Let k(h) = h + 1. Let v be k(0). Let n be (3/1 - 1) + 0 + v. Suppose -n*a + 9*a = 60. Does 2 divide a?
True
Is 21 a factor of (-357)/238 + 32217/2?
True
Let y(t) = -48*t - 15. Let i = -69 + 73. Let a = i + -7. Is y(a) a multiple of 11?
False
Does 117 divide ((-10)/14 - (-2867288)/(-1190))*-5?
True
Let c = -30 - -30. Suppose 3*s - 13*s - 30 = c. Does 16 divide (176/(-24) - -7) + (-193)/s?
True
Let n(a) = -a**3 + 25*a**2 - 24*a - 1. Let s be n(24). Is 3*s/((-3)/382) a multiple of 12?
False
Suppose 36 = 4*r + 8. Let b be (-5)/(25/10) + r. Suppose -l + b*h = -58, 3*h = 4*l - l - 198. Does 13 divide l?
False
Suppose 564 = 79*o - 83*o. Let r = o - -440. Does 23 divide r?
True
Let b(w) = 5*w**2 - 4*w - 4. Let d(j) = j + 1. Let i(f) = -f + 7. Let u be i(2). Let h(g) = u*d(g) + b(g). Is 6 a factor of h(-4)?
False
Let k = -2434 + 3419. Suppose -u = -k + 249. Does 16 divide u?
True
Suppose 8*d + 10*d - 108 = 0. Suppose -d*w = 273 - 2763. Does 24 divide w?
False
Suppose -60 = 38*r - 23*r. Let j(s) = -4*s**3 + 3*s + 8. Is j(r) a multiple of 21?
True
Suppose g - 6 = 2*u - 0, -5*g + 2 = -3*u. Is 94 - (5 + g) - (4 - 2) a multiple of 9?
False
Let c(u) = 21*u**2 - 4*u + 6. Let i be c(-6). Let v = -3659 + 3661. Suppose n = -4*f + v*n + 801, -4*f + i = 2*n. Does 16 divide f?
False
Suppose 54*s = 59*s - 5950. Let p = 1729 - s. Does 10 divide p?
False
Suppose 0 = m - 2*v + 7*v, m = -v. Does 18 divide (m - 0 - 18)/((-60)/4800)?
True
Suppose -12*j + 5013 = -21*j. Let w = j - -1258. Is w a multiple of 12?
False
Let q(w) = -11*w + 2. Let f be q(4). Let h be (1/1)/((-14)/f) - -303. Let u = h + -179. Does 17 divide u?
False
Suppose -907*y = 4*f - 909*y - 31658, -4*f + 3*y + 31659 = 0. Is 52 a factor of f?
False
Let o = -11627 + 26421. Is 26 a factor of o?
True
Suppose 69 = 8*h + 45. Suppose 0 = h*b - 15*b + 1152. Is b a multiple of 48?
True
Suppose 0 = -o - o + 126. Suppose -389 = -37*z + 314. Let p = o - z. Is 31 a factor of p?
False
Let f(c) = -5*c**2 - 15*c - 66. Suppose 5*a - 9 = -3*m, 2*m = 4*a - a - 13. Let b(y) = -5*y**2 - 14*y - 67. Let x(h) = a*b(h) - 4*f(h). Is 15 a factor of x(-6)?
True
Suppose -3*t = 55*y - 56*y + 7877, y - 7871 = 4*t. Does 17 divide y?
False
Let i(q) = 38*q - 556. Is 21 a factor of i(28)?
False
Let j = -826 - -2523. Is 19 a factor of j?
False
Suppose 12 + 36 = 6*o. Suppose w - 140 - 117 = 0. Suppose o*s + 17 = w. Is 10 a factor of s?
True
Let v = 6344 - 3482. Does 53 divide v?
True
Suppose -11*w - 193 + 567 = 0. Suppose 2*z - 352 = -w. Does 7 divide z?
False
Suppose 61 - 81 = -10*v. Suppose v*y = 51 + 213. Is 19 a factor of y?
False
Is 45 a factor of (-6 - 11380/(-6)) + ((-6)/9)/1?
True
Let o(v) = -4 - 1 - 7*v - 10*v + 6*v + 4*v**2. Let r be o(7). Let s = 5 + r. Is 17 a factor of s?
True
Let j(o) = -2*o**2 - 12*o - 22. Let y be j(-4). Suppose -5*n - 321 = 4*h + 395, -4*h = 4*n + 720. Does 10 divide 4/y + 2/(-12)*h?
True
Suppose -o = -2*o + 1124. Let u = o + -470. Suppose -18*g = -12*g - u. Is g a multiple of 25?
False
Is 8 a factor of (192/(-18))/(306170/25515 - 12)?
True
Does 71 divide 1690 + 0 + (-56 - -70)?
True
Let o be (-2)/12 - 7/((-336)/200). Suppose -o*z = -32*z + 15764. Is 17 a factor of z?
False
Let i = -54486 - -19584. Does 42 divide (-4)/26 + i/(-234)?
False
Let c(l) be the second derivative of -9*l**5/20 + l**4/4 + l**3/6 - l**2/2 + 9*l. Let j(r) = -2*r**2 + 11*r - 6. Let d be j(5). Does 4 divide c(d)?
False
Let q(m) = m + 29. Let o(r) = r - 1. Let v(l) = 6*o(l) - 2*q(l). Let y be ((-10)/15)/((4/(-114))/1). Is v(y) a multiple of 2?
True
Let r(t) be the first derivative of t**4/4 + t**3 + 5*t**2/2 + 10*t + 30. Let n be r(-3). Is (1 + 35)/((-22)/(-4) + n) a multiple of 6?
True
Let t = -696 + 711. Is (365/t)/((-16)/(-192)) a multiple of 73?
True
Let w = 8437 - 6932. Is w a multiple of 7?
True
Is 103 a factor of (25441/(-91))/((-14)/98)?
True
Suppose 0 = 8*z - 24 - 400. Let i(j) = 28*j - z*j + j**2 + 28*j - 16. Is 12 a factor of i(-8)?
True
Suppose 1580 = s - r, 0 = -38*r + 35*r - 3. Is s a multiple of 79?
False
Suppose -5*w + 3*o = -8055 - 16911, 3*o = -6. Does 14 divide w?
False
Let n(g) = g**3 - 4*g**2 + g + 5. Let h be n(4). Suppose 31*d = 28329 - 1421. Suppose -h*x = -2*x - d. Does 15 divide x?
False
Let g = 1329 + -1044. Does 7 divide g?
False
Let n(x) = 3*x - 44. Let a be n(15). Does 46 divide 44/(-33)*((-686)/4 - a)?
True
Let l(c) = c**2 + 20*c - 72. Let u = 449 - 432. Does 9 divide l(u)?
False
Suppose -181440 = -195*f + 27*f. Is f a multiple of 18?
True
Let b be 0 + ((-376)/(-1))/8. Suppose -b*o = -56*o + 2385. Is o a multiple of 5?
True
Let o(b) = -4*b**2 - 31*b - 13. Suppose 8 - 38 = 5*g. Is o(g) a multiple of 16?
False
Suppose 0 = 445*x - 460*x + 101826 + 46284. Is 139 a factor of x?
False
Let r(u) = 647 - 215 + 78*u - 143*u. Is 7 a factor of r(-9)?
False
Let v be (1 - (-3)/(-5))/(1/(-10)). Let w(p) = p**3 + 3*p**2 + 3*p - 9. Let h be w(v). Let z = 154 + h. Is z a multiple of 21?
False
Suppose -4*p - 2*p = 0. Suppose 4*c + 3*s - 35 = p, -c - 2*c - 3*s = -30. Suppose 0 = -2*u - 8, -u + 1196 = -0*m + c*m. Does 48 divide m?
True
Is 69 a factor of ((-13)/(728/(-42)))/((3/(-832))/(-3))?
False
Suppose 74*z = 70*z - 44. Is 10 a factor of 2/z + (-4270)/55*-5?
False
Suppose 4*g + 26 = 70. Suppose -g = -w + 38. Suppose 5*l - 4*l = w. Is l a multiple of 7?
True
Let t(n) = n**3 + 10*n**2 + n + 18. Let r be t(-9). Suppose 5*q = r + 145. Suppose -4*j = -5*j + q. Does 7 divide j?
False
Let o = 382 + -192. Suppose 0 = -4*y - 16, 0 = -2*l + 4*y - 21 - 119. Let a = o + l. Does 8 divide a?
True
Let c(z) be the second derivative of z**4/12 - 5*z**3/6 - z**2 - 6*z. Let t = 48 - 42. Does 2 divide c(t)?
True
Let o be (0 - 0) + (1 - 3 - 2). Is 10 a factor of 1276/(-33)*18/o?
False
Let u(x) = 117 - 379*x**2 + 186*x**2 + 192*x**2 + 8*x. Is u(-7) a multiple of 12