118 + 120. Does 65 divide 224/10*(-105)/(-3) - h?
False
Let z(x) = 25*x**2 + 10*x - 5. Let o = -50 - -53. Is 25 a factor of z(o)?
True
Suppose 5*y - 15738 = 4*u, -3*y + 6*y - u - 9433 = 0. Is 19 a factor of y?
False
Suppose r - 99 = x + 22, 0 = -r + 4*x + 124. Let m = r + -40. Does 20 divide m?
True
Suppose 0 = -5*x + 3*g + 785, 4 + 1 = g. Suppose 5*w + x = 5*k, -3*w + 36 = 3*k - 2*k. Is k a multiple of 3?
True
Suppose -15715 = -3*g + 5*b, -2*g + 3*b + 4927 = -5549. Is 52 a factor of g?
False
Let k(l) = -27*l**3 - 16*l**2 - 10*l - 35. Is 112 a factor of k(-7)?
True
Let q be ((-35)/21)/(5/(-6)). Suppose 7*i - q*i - 275 = 0. Is i a multiple of 11?
True
Let s(h) be the second derivative of h**4/6 + 4*h**3 + 3*h**2/2 - 2*h. Let a be s(-12). Suppose 399 = 4*u + t, a*t - 25 - 479 = -5*u. Does 9 divide u?
True
Let l = 229 - 227. Suppose -l*c - 6 = c, c = 5*a - 517. Is a a multiple of 3?
False
Let s be (-7)/(14/8) - -8. Let y(r) = -3*r**3 - 28*r + s*r**3 + 6 - 5*r**2 + 4 + 36*r. Is y(5) a multiple of 5?
True
Let b = -120 - -130. Suppose b*d - 1344 = 2*d. Does 6 divide d?
True
Does 15 divide 1143*14/15 - (356/20 - 17)?
False
Suppose -4*l - 2*r + 28852 = 0, 4*l - 46*r + 49*r - 28854 = 0. Is 4 a factor of l?
True
Let o(t) be the first derivative of -10*t + 12 + 10 + 5*t**2 - 18. Is 6 a factor of o(4)?
True
Let d(p) = -7*p + 2. Let t be d(-3). Suppose 0 = -t*g + 19*g - 32. Is 3/(-2)*g*2 a multiple of 6?
True
Suppose 350416 = -57*o + 233*o - 79904. Is o a multiple of 15?
True
Let k(n) = 6537*n**3 - 40*n**2 - n + 2. Is 6 a factor of k(1)?
True
Let c(j) = j**3 + 13*j**2 + 27*j - 43. Let y be c(-15). Is 38 a factor of 116/(-203) - (-4)/(-14)*y?
False
Let a(r) = 69*r**2 - 2*r + 1. Let u be 1 + 3 + 4 + -5. Does 56 divide a(u)?
True
Let j be 20/6*708/472. Let c be (-1830)/(-9) - (-4)/6. Suppose o + j*o = c. Does 24 divide o?
False
Let g(m) = -m**3 - 11*m**2 - 9*m - 2. Let w(n) = -n**2. Let h(q) = -g(q) - w(q). Let d be 19/(-2) + (-4)/8. Does 11 divide h(d)?
False
Suppose 5592 = -4*y + 10*y. Suppose 597 = 3*t + 4*r, 4*t - y + 143 = -3*r. Does 43 divide t?
False
Suppose 5*a = 38*a - 264. Suppose -401 = -a*x + 7*x - w, -3*x + 1195 = -5*w. Is 25 a factor of x?
True
Suppose 3 + 0 = 2*f - a, -2*f + 8 = -2*a. Let h be 3 + 1 + f - -1. Suppose -q - 160 = -5*c + 174, -4*q = h*c - 272. Does 14 divide c?
False
Suppose -3*y - 2 = -4*s + 10, 0 = 3*y. Suppose -q + s*p = -6, 6*p - 3*p + 12 = 0. Let i(d) = 5*d**2 + 9*d - 22. Is i(q) a multiple of 13?
True
Let i be 5*1 + (8784 - 77). Suppose 22*f - i - 3674 = 0. Is f a multiple of 38?
False
Is 13 a factor of (-7)/(-84) + (-1641830)/(-120)?
False
Does 2 divide ((6/3)/((-13)/(-49439)))/2?
False
Suppose -u - n + 3 = -0*u, 0 = -3*u - n + 11. Suppose 2*a + 109 = h - 21, -3*h = 7*a - 455. Is h/8 - 0 - (-2)/u a multiple of 3?
True
Suppose 5*y = -541 - 299. Let h = y + 355. Does 31 divide h?
False
Let k be (-220)/(-35) - 2/7. Suppose 0 = -k*q - 69 + 15. Is (-1 - 2)*1*q a multiple of 27?
True
Suppose 15*t + 636 = 18*t. Let j be ((-9)/3)/((-12)/t). Let k = j - 39. Is k a multiple of 14?
True
Let c = -341 + 343. Suppose 3*v + 1261 = 4*h - 111, 5*h - 1692 = -c*v. Is h a multiple of 51?
False
Suppose 46867 + 80515 + 109642 = 9*q. Is q a multiple of 222?
False
Let u(y) = y**2 - 8*y + 18. Let n be u(15). Let o = n - 72. Suppose -2*p = -w + 143, w = 5*p + 206 - o. Does 42 divide w?
False
Let y = -32 - -36. Suppose -y*h = 9*h + 91. Let f = 44 - h. Does 17 divide f?
True
Suppose -2*v = 4*r - 8948, -3*v + 6725 = 3*r + 2*v. Is r a multiple of 21?
False
Suppose 2136963 + 3448932 = 257*h. Is 14 a factor of h?
False
Let t = -190 + 194. Suppose -4*o - 8 = -2*n + 512, -t*n + 1032 = -4*o. Does 16 divide n?
True
Let s = -38 + -117. Let a = s + 269. Is a a multiple of 38?
True
Let y(b) = 4076*b**2 - 110*b - 2. Is 14 a factor of y(-1)?
False
Suppose 0 = m - x - 8634, -37*m = -32*m + 2*x - 43212. Is m a multiple of 144?
True
Let o = -286 - -734. Suppose 49*t - 21*t - o = 0. Is 2 a factor of t?
True
Suppose -107*j = 2*b - 103*j - 3354, -3*b + j + 5010 = 0. Is b a multiple of 36?
False
Let r = 828 - -249. Suppose r - 3902 = -5*a. Is 15 a factor of a?
False
Suppose 2654 - 8801 = -3*x - g, 4*x = 5*g + 8177. Let k = -1410 + x. Is 58 a factor of k?
True
Suppose 2*v + 653 = b, -43*v - 1627 = -38*v + 3*b. Let r = v - -573. Is r a multiple of 13?
True
Suppose -l = -q - 809, -34*l + 3228 = -30*l - 2*q. Is l even?
False
Suppose 5*d = -20, 2*q = d - 2998 + 9958. Is q a multiple of 68?
False
Let a be 3 + (0 + -1 - (-8 + 11)). Let p be (10/30)/(a/(-24)). Let r(c) = c**3 - 7*c**2 - 2*c - 3. Does 15 divide r(p)?
True
Let x be (-1)/(-2)*(3 - 271). Let r = -128 - x. Suppose 2*j - 1264 = -r*j. Is 8 a factor of j?
False
Let i = -62 - -67. Suppose 0 = -3*o + i*p + 1749, 2*o - 4*p + 106 = 1272. Suppose 3*w + 0*w - o = -4*c, -c + w + 144 = 0. Is 29 a factor of c?
True
Suppose m + s - 7 = -s, -5*m + 44 = s. Let f = 72 + -69. Suppose 2*g + 162 = -b + 4*b, 0 = f*g - m. Is b a multiple of 8?
True
Let p = 7024 + -3395. Is p a multiple of 11?
False
Is 22/407 - 4050935/(-185) a multiple of 12?
False
Let x(o) = -o + 6. Let m be x(-6). Let h(q) = -2772*q**2 - 6 - 8*q + 5544*q**2 - 2771*q**2. Does 6 divide h(m)?
True
Let b = -5502 - -9504. Does 69 divide b?
True
Let x(j) = -38*j + 81*j - 42*j - 12. Let h be x(14). Suppose 2*v - 10 = -h. Is v even?
True
Suppose -18477 - 2103 = -35*n. Suppose 0*v = 3*v - 18. Suppose -n = -0*f - v*f. Is 14 a factor of f?
True
Let n = 3760 - -1484. Is 38 a factor of n?
True
Is (-18)/6 + -2 + 12 + -10 - -12381 a multiple of 22?
False
Suppose -11 = -3*n + 1. Let j(f) = 45*f + 542. Let x be j(-12). Suppose 3*l - n*q = 109, 18 = l - 3*q - x*q. Is l a multiple of 4?
False
Suppose 8*f = 3*f. Let z(a) be the first derivative of a**3/3 + 237*a + 662. Is z(f) a multiple of 12?
False
Let d be -15*-6*(9/(-5) - 4). Let i = 798 + d. Suppose -3*v = -2*x - i, v + 0*x = 2*x + 96. Is v a multiple of 10?
True
Let i be (-6 - 2)*1 - -322. Let y = 258 + i. Is y a multiple of 5?
False
Let r = 313 - 66. Suppose 5*d - r = -2*o + 839, -446 = -2*d + 5*o. Is d a multiple of 7?
False
Is 37 a factor of (-592)/((-72)/9)*((-4156)/(-8) + 0)?
True
Suppose 0 = -4*c + 5*r + 3616, -4*r + 904 = c - 6*r. Suppose 3*v + 5*b = 1334, 4*b - c = -2*v - 16. Is 28 a factor of v?
True
Let r be -2 - 2*412/8. Is 5 a factor of r/(-10) - 3/(-6)?
False
Let g(z) = -17*z**2 - 5*z + 4. Let d be g(3). Suppose -48*h + p + 772 = -46*h, 0 = 3*h + p - 1168. Let w = d + h. Is 8 a factor of w?
True
Let i = -2317 - -3152. Does 30 divide i?
False
Let a = -5527 - -7935. Is 11 a factor of a?
False
Suppose z = 2*s + 6655 + 5401, -5*z + 60267 = 3*s. Is 21 a factor of z?
True
Suppose -7*y = -1122 - 1146. Suppose 3*r + 3*r = y. Is 9 a factor of r?
True
Suppose -8 = 4*w - 3*v - 2, -4*v = -4*w - 8. Let i(t) be the first derivative of -t**3/3 + 3*t**2 + 140*t + 10. Is i(w) a multiple of 20?
True
Let g(d) = -d**3 - 22*d**2 + d + 30. Let v be g(-22). Let u(s) = 37*s - 116. Does 35 divide u(v)?
False
Let g be (-5)/4*(-2 - -6). Is 13/(g*4/(-180)) a multiple of 3?
True
Suppose 2*k - 4*o = 3768, 36 = 4*k - 4*o - 7512. Is k a multiple of 21?
True
Let o(z) be the first derivative of 2*z**3/3 + 15*z**2/2 + 41*z - 163. Is 56 a factor of o(15)?
False
Let y(h) = 25*h**2 + 26*h - 1342. Is 15 a factor of y(24)?
False
Let g = 132 + -46. Is g + -1 - (-21 - -14) a multiple of 36?
False
Let m be 550 + (-3 - (-3 - -1 - 1)). Suppose r - 5*b = -r + m, -5*r + 4*b = -1409. Is r a multiple of 11?
False
Let f(b) = -b**3 + 5*b**2 + 9*b - 5. Let a be f(6). Suppose -6*k - 5 - a = 0. Is k - (-30 - (4 + -3)) a multiple of 15?
False
Let g = -54 - -29. Let l = g - -27. Let k(n) = 7*n - 3. Is k(l) a multiple of 5?
False
Let i be (-10)/(-1) - (8 - 0). Let m(f) = -53*f + 9. Let j(b) = 1. Let k(x) = 5*j(x) - m(x). Does 34 divide k(i)?
True
Suppose 8*w - 194793 = -4*d + 3*w, w = -5*d + 243465. Suppose 3*n - 5*s + d = 0, -n = -2*n - 4*s - 16208. Is 4/(-22) + n/(-176) a multiple of 24?
False
Let b(f) = f**3 - 5*f**2 - 6*f + 5. Let m be b(7). Suppose 19*c = -m - 15. Is (-15)/30 - 598/c a multiple of 17?
False
Suppose 2*f = p - 8, -3 = -10*p + 9*p - 3*f. Suppose -p*a + 1810 = -782. Is 27 a factor of a?
True
Let s(n) = -n**2 + 154*n - 64. Is 24 a factor of s(86)?
True
L