rue
Let n = 111 - 92. Suppose -5*p - 3*c - n = 0, -2*p - 20 = 2*p + 4*c. Is (6/p)/((-7)/420) a multiple of 15?
True
Suppose 4*z - 3*q - 4 = 0, 4*q + 13 = -3. Does 27 divide (-2 - -134) + (-6)/z?
True
Is (375/6)/(522/252 + -2) a multiple of 2?
False
Let a(w) = 140*w + 10. Let n be a(8). Suppose 0 = 2*p + 2*z - 1002, 3*p = 4*z + n + 338. Is p a multiple of 16?
True
Suppose -10*a = 18*a - 45696. Let i = a - 974. Is i a multiple of 17?
False
Is (-9)/(-66) - 675055/(-110) a multiple of 20?
False
Suppose -29741 = -12*q - 2957. Is q a multiple of 62?
True
Let g = 209 + -217. Does 10 divide (-7626)/(-24) - 2/g?
False
Let b(w) = -8*w**2 - 2*w**2 - 2*w**3 + w**3 + 6*w**2 + 6*w + 9. Let o be b(-5). Is (-130)/o*12/(-5) a multiple of 20?
False
Suppose -r + 2*d - 5*d - 21 = 0, 2*r = 3*d - 42. Let m = 30 - r. Is m a multiple of 51?
True
Let r be (-2 - 6) + 8 + 0. Suppose r = 14*j - 2783 - 1585. Does 25 divide j?
False
Let o(h) = -11*h**3 + 3*h**2 + h - 2. Let l be (-4 - -1 - -4)*-2. Is 8 a factor of o(l)?
True
Let r be (-22)/187 + (-15262)/34. Let q = 647 + r. Is 18 a factor of q?
True
Suppose 5*w = 3*j + 15, 2*w - j - 5 = -0*w. Suppose w*y - 335 = -3*y + 2*q, -5*y = 2*q - 585. Is y a multiple of 13?
False
Suppose z - 13*q + 239 = -15*q, z = q - 236. Let o = 795 + z. Does 18 divide o?
True
Let h = 42 - 27. Suppose 0 = 6*g - h*g. Suppose g = -2*n - 4*y + 124, 2*n = -3*n - 4*y + 340. Is 16 a factor of n?
False
Let m(n) = -n**2 - 35*n - 146. Let c be m(-30). Suppose 0 = 3*i - 3*b - 6 - 0, 5*i - 16 = -b. Suppose 0*o - 168 = -4*o - c*h, o = -i*h + 42. Does 7 divide o?
True
Suppose -1079925 = -79*f - 40*f. Is f a multiple of 15?
True
Let p = -60 - -245. Let r be (-2 - -3 - 0)*2. Suppose -h + p = 4*a - r*h, -h - 5 = 0. Does 15 divide a?
True
Suppose -8*o = -7*o - 174. Let s = 179 - o. Is s even?
False
Let s(n) = 5*n**2 - 1 - 2*n**2 - 11 + 5 + 10*n. Let w be s(6). Suppose 0 = 5*x + 2*p - w, -x = -4*x - p + 96. Is 31 a factor of x?
True
Let t be (16/(-6))/((-28)/42). Is 5 a factor of ((-11)/t)/(1/(-12))?
False
Let i(o) = -64*o - 23. Let j be i(-5). Suppose -6*n - 624 = 2*n. Let k = j - n. Does 58 divide k?
False
Suppose -4*c - 5*v = -3750, -198*v + 197*v = c - 936. Is c a multiple of 31?
True
Suppose 4*q - 3*p + p = -14, -3*q - 9 = -2*p. Is (-30)/q - 5 - (1 + -189) a multiple of 21?
True
Let c(h) = 4*h**2 + 75*h - 634. Does 45 divide c(-59)?
True
Let t = 16 + -25. Let d be (-16)/24*t/(-2). Is 28*(d/(-12) + (-1)/(-2)) a multiple of 21?
True
Let m(p) = -22*p**3 + p**2 - 2. Let x be (-3)/1 + (-26)/2. Let t be (-1)/(-4) + ((-28)/x - 3). Is 3 a factor of m(t)?
True
Let z(b) = -b**3 - 13*b**2 + 3*b - 87. Let q be z(-16). Let u = q + -401. Is 20 a factor of u?
False
Suppose 5*x - 3*x = 42. Suppose x = 2*i - 133. Suppose 5*g + i = -2*b + 474, 4*b + 16 = 0. Is 19 a factor of g?
False
Let y = 13314 - 4360. Does 11 divide y?
True
Let u(w) be the third derivative of -w**4/8 + 7*w**3 - 176*w**2 + w. Let g(f) = f**2 + 2*f - 3. Let j be g(-3). Is u(j) a multiple of 5?
False
Let j be (-4)/2 + (-70)/(-35). Suppose j = -4*k + 4*c + 384, 0 = -k - 2*c + 20 + 70. Does 47 divide k?
True
Let k(f) = -578*f + 306. Does 49 divide k(-11)?
True
Suppose -104075 = -5*j + 5*r, 5*r - 18128 = -5*j + 85947. Is 183 a factor of j?
False
Let p = 96 - 22. Suppose 4 + 4 = 4*c. Suppose -p = -2*i - 2*k, i - 3*k = -c*i + 93. Is i a multiple of 15?
False
Let d = 222 - 123. Let b = 58 + 8. Let q = d - b. Is q a multiple of 11?
True
Let p = 41 - 38. Let g be (p/(-4))/((-3)/(14 + -2)). Suppose -g*w + 73 = -35. Does 9 divide w?
True
Let f = -225 + 158. Let o = f - -139. Is o a multiple of 30?
False
Let d(l) = -31*l**2 - 8*l - 56 + 13*l**2 + 19*l**2. Does 9 divide d(-8)?
True
Let c(v) = -354*v + 534. Does 93 divide c(-40)?
True
Let w = -2696 - -12660. Is w a multiple of 53?
True
Does 136 divide 68/((8/20)/(912/60))?
True
Let t(w) = 95*w**2 + 9*w. Let n be t(-2). Let o = 530 - n. Is 28 a factor of o?
True
Let x = -93 + 126. Does 8 divide 1 + 1 + 12*x/3?
False
Let i(y) = -y - 5. Let w be i(-6). Suppose s + w = 4*k + 25, -3*s + 32 = -4*k. Suppose -2*t + s*t - 4*x = 74, 4*t - 136 = -4*x. Is t a multiple of 5?
True
Let c(j) = 5*j**2 + j - 3. Let z be c(3). Let s be (z - 25/(-5))*(-4)/(-5). Suppose 6*d = 11*d - s. Does 8 divide d?
True
Does 41 divide 4045/2 - (5 - (-150)/(-20))?
False
Let g(n) = n + 182. Let j be 0*(45/(-10) - -4). Suppose p - 12 = -3*f, 2*p + j*f - 20 = -5*f. Is g(p) a multiple of 11?
False
Let b = -36 + 43. Let n be (b + (-11)/3)*6/(-4). Let i(a) = -28*a - 3. Does 9 divide i(n)?
False
Let z(s) = s**3 - 2. Let y be z(-4). Suppose a = -3*h - 1677 + 1548, -15 = 5*h. Let m = y - a. Is m a multiple of 21?
False
Let b = 202 - 199. Suppose -1 = -3*f + 2, b*f - 2438 = -5*x. Is 18 a factor of x?
False
Let f be (-1)/(3/9 + (-8)/60). Is -23*-6*f/20*-14 a multiple of 19?
False
Suppose 2*k - 2*y = 19232 - 3744, 38720 = 5*k + 2*y. Does 22 divide k?
True
Let q(t) = -56*t**3 + 14*t**2 - 64*t - 66. Is q(-9) a multiple of 23?
False
Let m(k) = 8*k - 43. Let y be m(6). Suppose -1091 = -y*f - 101. Suppose -62 = 4*i - f. Is i a multiple of 7?
False
Let m = -48 - -53. Let r(g) = -g**2 - 3*g - 2. Let i be r(m). Is (4 + (i - 0))*-1 a multiple of 20?
False
Suppose -4*t + 0*u = -2*u - 26, 4*t = -2*u + 22. Suppose 5*r - 375 = -5*c, -t*r + 4*c = -r - 393. Suppose r*g = 80*g - 168. Does 14 divide g?
True
Suppose 5*x - 20 = 0, 2*x + 9282 + 70742 = 4*n. Does 35 divide n?
False
Suppose -42*t - 3523 = -66607. Is 6 a factor of t?
False
Let g be (-350)/21*(-24)/20. Let u = g - -52. Is u a multiple of 9?
True
Suppose -5*b - 5865 = -5*s, 3*b + 665 = -4*s - 2819. Let f = -687 - b. Is f a multiple of 52?
False
Suppose -576 = -2*q - 6*q. Suppose -2*j + 7*j + 3*d = -q, 56 = -3*j - 5*d. Let i(m) = -m**3 - 10*m**2 + 17*m - 10. Does 8 divide i(j)?
False
Suppose 4*y = d + 662, -4*y - 38*d + 42*d + 668 = 0. Is y a multiple of 30?
False
Let u(a) = -27*a**2 + 12*a - 8. Let q(g) = -26*g**2 + 13*g - 8. Let j(d) = 5*q(d) - 6*u(d). Suppose -6*o = -5*o - 2. Does 12 divide j(o)?
False
Let b be -3 + (-6)/(36/(-30)). Suppose -40 = -b*u + 5*d, -5*d = 4*u - 3*d - 56. Is u a multiple of 5?
True
Let b(h) be the third derivative of -5/3*h**3 + 0 - 1/3*h**4 - 1/12*h**5 + 0*h + 25*h**2 - 1/120*h**6. Is b(-7) a multiple of 9?
True
Is 23 a factor of 3/90*-55*-12246?
False
Suppose 53*a - 624580 + 265081 = 0. Does 15 divide a?
False
Suppose 887402 = 158*d - 774971 - 1820579. Is 33 a factor of d?
True
Let t(v) = 274*v + 6324. Is t(-22) a multiple of 8?
True
Let t be 4 + 1/(-4) + 25767/28. Suppose -10*w = -21*w + t. Does 5 divide w?
False
Let c = -65 - -304. Suppose -c - 361 = -12*o. Does 7 divide o?
False
Let j = 336 + -336. Suppose -4*c + 3*c - 4*q = -740, j = 5*c - 4*q - 3580. Does 45 divide c?
True
Let j be ((-56)/(-12))/((-6)/(-45)). Let v = 11 + 9. Let u = j - v. Does 12 divide u?
False
Let q = 613 + -607. Is 25 a factor of (-27)/q*-125*(-10)/(-15)?
True
Let m = -58 + 55. Is 51 a factor of (-16 - -499) + m*(2 - 1)?
False
Let c(l) = -l**2 - 15*l - 10. Let o be c(-14). Suppose -3 = -5*d - 4*h - o, 2*d - 5*h - 26 = 0. Is 2 a factor of (2 - 1)*(2 - d) + 15?
True
Let u(w) = 3*w**2 - 6*w. Let v be u(5). Let p = 5493 - 5490. Suppose 0 = -b - p*k + v + 135, -404 = -2*b + 5*k. Is 45 a factor of b?
False
Let j(f) = f**2 - f + 10. Let y be j(-4). Let i = y + -25. Suppose b = -i*n + 75, -3*b + 97 = -4*n - 128. Is b a multiple of 23?
False
Suppose 14*b - 19*b = 4*b - 238797. Is b a multiple of 13?
True
Let h = -54 + 52. Let b(n) = n**3 + 4*n**2 + 3*n + 1. Let o be b(h). Suppose -24 = -o*a - z, 0*a - 4*z = -3*a + 9. Is a a multiple of 3?
False
Let r be (1 - 6)*-10 + 2/1. Let p be (-22)/(-8) + 13/r + 57. Is (p/35)/((-4)/(-28)) a multiple of 4?
True
Let d(y) = 6*y + 19. Let l be d(-3). Let p(h) = 30*h**3 + 5*h - 3. Does 5 divide p(l)?
False
Let i(g) = g**3 - 5*g**2 - 49*g - 10. Let a be i(10). Suppose -10*p + 25 = -5*p, a = 4*n - p - 1947. Is 63 a factor of n?
False
Let m be ((-29)/(-58))/(-1*(-2)/(-436)). Let f = m - -63. Let h = f + 96. Does 10 divide h?
True
Suppose -3*x - 137 = -137. Suppose -4*w + h + 445 = x, -w + 0*h + 109 = -h. Is w a multiple of 16?
True
Let b = 1080 + -764. Suppose 7*y - 5060 = b. Does 21 divide y?
False
Suppose 71*u - 1212274 = 721935 - 227014. Do