-24))?
False
Suppose 4*v - 438 = -154. Let g = v + -35. Suppose 0*y - 2*y = -g. Is 9 a factor of y?
True
Let v be (-276)/(-96) + (-2)/(-16). Let b(d) = -d**3 + 5*d**2 - 3*d - 4. Let l be b(v). Suppose -105 = -l*t + y, -5*t - 3*y = -2*t - 45. Is t a multiple of 7?
False
Let z(q) = -q**3 + 3*q**2 - 3*q + 3. Let r be z(2). Is ((-28)/70)/(r/(-200)) a multiple of 10?
True
Let o = -61 - -59. Is (-2 - (38 - -2))*3/o a multiple of 5?
False
Suppose -3*w - 3*n + 138 = 0, 100 = w + w - 2*n. Suppose -5*y = 3 - w. Is 12 a factor of (4/(-10))/(y/(-810))?
True
Let w(l) = -l**3 + 10*l**2 - 6*l - 20. Let k be w(9). Suppose 14*c - k*c - 1400 = 0. Does 17 divide c?
False
Let n be ((-6)/(-5))/((-8)/(-20)). Let f(s) = -12 + 2*s**3 + 14*s**2 - n*s**3 + 3 + 4*s. Is 14 a factor of f(14)?
False
Let x be (-1 - 0 - -1)/(12 - 10). Is 29 a factor of 55 - x/(((-2)/1)/(-1))?
False
Suppose 0*x = 3*x + 2*l - 175, -3*x - 4*l + 185 = 0. Suppose 3*f = -4*g + 55, 5*g - 44 = -2*f + 30. Let s = x + g. Does 37 divide s?
False
Suppose 594*a - 588*a = 6258. Does 17 divide a?
False
Let l be (-10)/((-6)/3) - 2. Suppose -3*n = -5*r, 6*n + l*r = 2*n. Suppose 2*f + 2*f - 44 = n. Is 11 a factor of f?
True
Let g(l) = 5*l - 2. Let b be g(1). Suppose -z = -b*z + 18. Let m(p) = p**2 - 8*p - 5. Does 3 divide m(z)?
False
Let o = -1 - -6. Suppose -134 = -3*r + 4*l, -o*r + 0*l = 4*l - 202. Is r a multiple of 14?
True
Let z(j) = 7*j**2 - 5*j - 62. Let s(m) = 3*m**2 - 2*m - 31. Let y(g) = -5*s(g) + 2*z(g). Does 28 divide y(0)?
False
Suppose 15*y + 2814 + 3336 = 0. Let c = y - -583. Is c a multiple of 8?
False
Let k(h) = h + 4. Let j be k(-4). Suppose 3*f - 7*f + 856 = j. Is 6 a factor of 4/12 + f/6?
True
Let l(q) = q**3 + 4*q**2 - 2*q - 6. Let b be l(-4). Suppose b*w - 198 - 82 = 0. Is 35 a factor of w?
True
Suppose 0 = i + i - 4. Suppose -i*v - 2 = 0, u - 45 = 2*v + 217. Suppose -h + u = 3*h. Is 18 a factor of h?
False
Suppose 59 = 15*q - 361. Suppose 2*n = -8 + 2. Does 14 divide 28*(n - q/(-8))?
True
Let v be -1 + (-3)/(21/12 - 2). Let j(k) = 3*k**2 + 4*k - 2. Let q be j(-4). Let x = v + q. Is 24 a factor of x?
False
Suppose -3*p + 12 = 0, -25*r + 24*r + 4*p + 119 = 0. Is 14 a factor of r?
False
Suppose 2*c = c + 45. Is 6 a factor of 2/3 + 1995/c?
False
Is -27*2*((-2)/3 + -10) a multiple of 24?
True
Let p be (-6)/(-3)*-8 - -1. Let j = -26 + p. Let y = -1 - j. Is 9 a factor of y?
False
Is 17 a factor of -7 - ((-1791)/(-12))/((-3)/8)?
True
Let h = -6 - -6. Let z be 14/(2/9 - 0). Suppose 4*p - z - 293 = h. Does 24 divide p?
False
Let l(d) = d**3 - 14*d**2 + 16*d + 9. Let z be 10 - 1 - 4*-1. Does 16 divide l(z)?
True
Let c be (1 - 15/21) + 1156/(-28). Let w = 161 + c. Is 24 a factor of w?
True
Let z(d) = 15*d**2 - 2*d - 1. Suppose 0 = 2*p - 3 - 1. Is 8 a factor of z(p)?
False
Let n(m) = -m**3 - 6*m**2 + 10*m + 29. Let p be n(-9). Let t = -49 + p. Is t a multiple of 19?
True
Let q = -626 + 1326. Does 63 divide q?
False
Suppose -4989 = -2*t + 5*u, 0 = -4*t - u + 2*u + 9933. Is t a multiple of 40?
False
Is 1/(-12)*-362 - (-55)/(-330) a multiple of 16?
False
Suppose 0 = -62*t + 2*t + 60060. Is t a multiple of 13?
True
Let y = 19 - 14. Suppose y - 15 = -5*f, 0 = 3*i + f - 623. Is i a multiple of 62?
False
Let q = 7 - 4. Suppose -6*n = -30 + 18. Suppose q*x = 3*r + 36, x - 6*r - 3 = -n*r. Is x a multiple of 7?
False
Suppose 13*r - 2*r - 209 = 0. Suppose -23*m = -r*m - 216. Is m a multiple of 10?
False
Is 2702 - 2 - (-2 + 2) a multiple of 20?
True
Suppose 3*f - 488 = 4*q + 3555, 0 = 3*f - q - 4037. Does 4 divide f?
False
Let n be (-6)/(-5)*40/(-12). Let h be (4695/12 + 1)*n. Is 14/49 - h/21 a multiple of 25?
True
Let s(n) = -n + 12. Let c be (-166)/10 - 14/35. Let r = c + 21. Is s(r) a multiple of 2?
True
Let m(h) be the third derivative of -h**5/40 + 5*h**4/8 + h**3/6 + 4*h**2. Let i(y) be the first derivative of m(y). Is 12 a factor of i(-8)?
False
Suppose 0 + 16 = -4*k. Let w(a) = -6*a**3 + 4*a + 2*a**3 + 3*a**3 - 3*a**2 + a**2. Does 3 divide w(k)?
False
Let d be 3 + -7 - (-23 - -5). Suppose -5*o - d - 24 = -2*q, -o = 2*q - 50. Is q even?
True
Let d = 103 - 103. Suppose 5*u - 5*v + d*v = 435, 5*u - 2*v = 438. Does 22 divide u?
True
Is (-1)/(15348/(-7672) - -2) a multiple of 13?
False
Let o = -141 + 238. Suppose -2*v = 69 + 43. Let a = o + v. Is a a multiple of 11?
False
Suppose c - 17*v + 20*v = 351, -4*c + 4*v = -1388. Does 58 divide c?
True
Is 52 a factor of -471*(-8)/(120/35)?
False
Let p(n) = 2*n + 1. Let j(q) = 2*q + 2. Let f(k) = -1. Let a(s) = -10*f(s) - j(s). Let m be a(3). Is 5 a factor of p(m)?
True
Let q(d) = d**2 - d + 1. Let t be q(3). Suppose 3*w - 4*i - 19 = t, 4*w - 5*i = 36. Is w a multiple of 2?
True
Let z = -203 - -397. Is 9 a factor of z?
False
Does 10 divide 78/((4/74)/1)?
False
Suppose -3*s + 79 + 17 = 0. Is 7 a factor of 1392/s*4/6?
False
Let c(y) = 0*y + 2*y - 4*y - 2. Let g be c(-3). Let a(i) = 7*i + 2. Does 30 divide a(g)?
True
Let g(i) = 5*i + 3 + 5*i**2 + 2 + 0*i**2 + 4*i**2 - i**3. Is g(9) a multiple of 22?
False
Suppose 4*a - 56*a = -8788. Does 7 divide a?
False
Is 6/(-10) - (-648)/30 a multiple of 3?
True
Let z(u) = 2*u - 10. Let y be z(6). Let x be ((-35)/(-10))/(y/(-4)). Let l(w) = -6*w - 13. Does 14 divide l(x)?
False
Let p(x) be the third derivative of -1/3*x**4 + 1/30*x**5 + 0 + 0*x + x**3 + 11*x**2. Is 8 a factor of p(5)?
True
Let t(c) = -59*c**2 - 78 - c + 78 + 170*c**2. Is t(1) a multiple of 39?
False
Is 13 a factor of ((-5811)/(-26) + -7)/(1/2)?
False
Let n be 9*(-3)/(36/(-16)). Suppose 0*y + n = 4*y + 2*s, 3*y - 12 = -3*s. Suppose y*l = t + 104, -135 = -5*l - 2*t + 116. Is l a multiple of 17?
True
Let y = -427 + 1225. Is 19 a factor of y?
True
Suppose -5*s - 8 = -3*s. Let y(g) = 11*g + 2. Let p(f) = -1. Let i(l) = p(l) - y(l). Is 14 a factor of i(s)?
False
Suppose -5*j - 3*h - 472 = 0, -j + 5*h = 4*j + 480. Let d = -25 - j. Is (d/25)/(4/10) even?
False
Let l(r) = -3*r**3 - 3*r**2 - r - 2. Let a be l(-2). Let z(h) = a*h + 9*h**2 + 4 + 0 + h**3 - 2 - 2*h. Is z(-7) a multiple of 15?
True
Suppose -17*y + 14*y - 21 = 0. Suppose 4*w = 3*v + w - 123, 2*v + 3*w = 107. Let l = y + v. Is 14 a factor of l?
False
Is 7 a factor of 1/(3/984) + 11 + -10?
True
Let f be (-1)/(-3 + (-69)/(-24)). Suppose 0 = f*z - 6*z - 36. Does 3 divide z?
True
Let r be -1 - (-565)/(1 + 4). Suppose f = -3*f + r. Is f a multiple of 4?
True
Let c = -335 - -867. Does 19 divide c?
True
Suppose 4*g + 4*w + 888 + 1400 = 0, 2*w - 560 = g. Is 19 a factor of (4/6)/(g/285 + 2)?
True
Let m(z) = 829*z + 14. Is m(1) a multiple of 53?
False
Let y be (-9)/21 + (-45)/(-7). Suppose -28 = -y*u + 188. Does 12 divide u?
True
Is 43 a factor of 303 - ((-9)/12)/(9/(-24))?
True
Suppose 5*p = 3*p + 20. Let u be p/70 - 26/(-14). Suppose 0 = u*r - 37 + 13. Is 6 a factor of r?
True
Let f be 1/(3*(-3)/18). Let j(a) = 1. Let p(l) = -66*l - 5. Let s(w) = f*j(w) - p(w). Is 13 a factor of s(1)?
False
Let o(m) = 16*m**2 + 19*m - 18. Is 8 a factor of o(1)?
False
Suppose -360 = -7*c + 4*c. Does 12 divide c?
True
Let b = 658 + -253. Is b a multiple of 15?
True
Let h = -55 + 49. Let g = 13 + -37. Is 560/h*g/20 a multiple of 28?
True
Let t be 64/(-12) - (8/(-3))/(-4). Is (3/t)/(3/(-216)) a multiple of 10?
False
Let c = -2088 + 2146. Does 5 divide c?
False
Suppose -4*i = -3*i - 4. Suppose i*p - 12*p + 16 = 0. Suppose -2*l - p*l + 5*g + 26 = 0, 14 = 3*l - g. Does 4 divide l?
True
Suppose 0 = -u + 3*d + 297, 3*u + 263 - 1184 = 3*d. Is 39 a factor of u?
True
Let j be (-10)/35 - 261/(-7). Suppose 5*m + 7 = j. Let n(x) = x**3 - 3*x**2 + 2*x + 4. Is 30 a factor of n(m)?
False
Suppose 6 + 1 = b. Let y(g) = 2*g - 9. Let h be y(b). Let l(i) = 2*i + 6. Does 9 divide l(h)?
False
Let g = -1480 + 2844. Is 44 a factor of g?
True
Let a(z) = -36*z**3 + 2*z - 1. Let x be a(1). Let g be (2 + -11082)*14/x. Does 10 divide 6/8 - g/(-64)?
True
Suppose 2*u = 390 + 358. Does 19 divide u?
False
Is (-63)/6*(-12240)/119 a multiple of 30?
True
Suppose -5*n = -0*n - 10. Suppose -w + p = -0 - 3, n*p - 4 = -3*w. Suppose 0 = 3*k + 4*c - w, 11 = -2*c + 3. Is k a multiple of 2?
True
Let l = -39 - -67. Let c = l + -28. Is 11 a factor of (c - -2) + (-116)/(-4)?
False
Suppose 61*g + 3688 = 69*g. Is 24 a factor of g?
False
Let r(w) = w. Let l(d) = 8*d + 1. Let f(v) = -l(v