factor of n?
True
Is 22 a factor of 110/3*2550/(-175)*-7?
True
Suppose 41*z = 45*z + 288. Does 27 divide 6/8 - 1890/z?
True
Suppose -2*v + 0*v = 6, 0 = -z + 2*v + 1486. Does 20 divide z?
True
Let g(s) = -2 + 4*s**2 + 1 - 7*s + 5. Let n be g(2). Suppose 44 = -4*i + n*i. Is i a multiple of 13?
False
Suppose 3*v - 8 - 1 = 0. Suppose 2*t + 149 = -3*r + 934, -v*r = 3*t - 780. Let u = -176 + r. Does 18 divide u?
False
Let t = 29 + -31. Is 6 a factor of (-2247)/(-49)*2 + t/(-7)?
False
Suppose 82168 - 22268 = 20*r. Does 2 divide r?
False
Let p = 370 + -326. Suppose -1768 = 10*q - p*q. Is q even?
True
Suppose -45*a = -51*a + 12. Suppose -911 = -3*o - a*h, -o = 4*h - 407 + 110. Is o a multiple of 8?
False
Suppose 59 + 13 = 3*l. Let q(r) = r**2 + 52*r + 6. Let u be q(-52). Suppose 0 = -k - 4*c + l, 0 = 5*k - u*c + c - 245. Is k a multiple of 8?
False
Suppose -2*q + 175 = 3*q. Suppose -20 = -11*w + q. Suppose w*c - 804 = -t, -3*t + 6*t = 3*c - 468. Does 16 divide c?
True
Suppose 2865 = 2*b - 3*d, 35*d + 4299 = 3*b + 30*d. Is 34 a factor of b?
True
Suppose 0 = -4*i - 22*s + 17*s + 18688, -s = -i + 4672. Is i a multiple of 73?
True
Let d(v) = -766*v - 4849. Is d(-55) a multiple of 36?
False
Let y(l) = -106*l + 46*l - 40 + 48*l. Does 25 divide y(-6)?
False
Let x(z) = 7*z - 2. Let h(w) = 2*w**2 + 15*w + 6. Let a be h(-7). Let f(k) = -k - 1. Let g(m) = a*x(m) - 4*f(m). Is 6 a factor of g(-14)?
True
Let u(x) = 5*x**2 + 9*x - 24. Let s be u(8). Let h = s + -764. Is ((-25)/(-3) + -1)/((-24)/h) a multiple of 11?
True
Let w = -835 + 838. Does 66 divide 487 - (-10)/(50/15) - w?
False
Let v be (-1)/((-5)/3)*5. Suppose 3*q + 2*q - 205 = -2*l, 3*l = -v*q + 132. Let g = 6 + q. Is g a multiple of 7?
False
Let q be -2 + 6 + -3 - -4. Suppose 6*h - 9*h - q*h = 0. Let p(i) = -6*i + 140. Is p(h) a multiple of 24?
False
Let j be (-2 - -8)*(-5)/(-10). Suppose -3*r + 9 = 0, 3*r = j*m + 752 - 3251. Is 19 a factor of m?
True
Let o = 79 + -80. Let h be ((o - -1)*13/(-26))/3. Is 123 - 3*(h + 1) a multiple of 15?
True
Let q(a) be the first derivative of 5*a**3/2 - 19*a**2/2 - 18*a - 1. Let o(s) be the first derivative of q(s). Is o(11) a multiple of 32?
False
Suppose -3*l - 4*m = -4463 - 2580, -4*m - 9428 = -4*l. Does 103 divide l?
False
Is 14 a factor of 2/(-24) + 5 + 7399/84?
False
Let l be 0/(1*(-3 - -2)). Suppose -1149 = -2*d + 289. Suppose l = -8*q - 15 + d. Is q a multiple of 8?
True
Is 51 a factor of ((-132768)/(-80))/(34/765)?
False
Let p(h) be the third derivative of h**6/30 + h**5/20 + h**4/4 - 5*h**3/6 + 26*h**2. Let z be p(3). Suppose 5*w + 229 = 4*y, y + w - z = -2*y. Does 20 divide y?
False
Suppose 5*p - 36 = 64. Suppose -s + 16 = -t + 3*s, p = -5*t + 5*s. Does 11 divide 3/(-6)*(t + -374)?
True
Let j(y) = -396 + 1123*y - 505*y + 72 - 549*y. Is 80 a factor of j(22)?
False
Let b be 4*(-2 - (-8 + 5)). Suppose 4*r + 9*n - 12*n - 2595 = 0, 4 = -b*n. Is 24 a factor of r?
True
Suppose 10*n + 5*n + 30 = 0. Let c be (796/2*1)/(n/3). Let l = -420 - c. Is l a multiple of 20?
False
Let z = -2337 + 27375. Is 117 a factor of z?
True
Suppose 6*h + 8*h = -4*h + 541404. Is h a multiple of 182?
False
Let q be -5 - (-2428)/(3 - 7). Is (q/20)/((-3)/15) a multiple of 4?
False
Suppose -88*r + 538 + 9144 = -1934. Is r a multiple of 32?
False
Let v = 154 - 51. Let j = 154 - v. Does 4 divide j?
False
Let h(i) = -72*i**3 - 120*i**2 + 33*i + 19. Does 73 divide h(-7)?
False
Let p(d) = 0*d**2 + 28*d - 2 + 0*d**2 - 27*d + 2*d**2 + 5*d**3. Does 4 divide p(2)?
True
Let n(u) = 537*u**2 - 5*u - 3. Does 18 divide n(-2)?
False
Is 9557124/204 - (-66)/187 a multiple of 65?
False
Let v(n) be the third derivative of n**7/840 + n**6/40 + 17*n**4/24 + 19*n**3/3 + 19*n**2. Let c(u) be the first derivative of v(u). Is c(-7) a multiple of 34?
False
Let w = 27332 - -42570. Is w a multiple of 13?
False
Suppose 7557 - 95047 = -10*s. Does 13 divide s?
True
Suppose 7*i - 3*v = 3*i + 16237, -35 = 5*v. Is 100 a factor of i?
False
Suppose -85*t - 28678 = -111*t. Is t a multiple of 9?
False
Let q(x) = 171*x - 563. Is q(7) a multiple of 19?
False
Let j(w) = 5*w + 19. Let l be j(-4). Let k(z) = -139*z - 2. Let v be k(l). Let t = v - 83. Is 9 a factor of t?
True
Suppose 0 = 4*n - q - 973, 4*n = -q + 428 + 543. Is (15/3)/(-5 + 1218/n) a multiple of 15?
True
Suppose -3*p + 3*f = -3684, 0 = -5*p + 8*p + 4*f - 3649. Is 21 a factor of p?
False
Let w(o) = 14*o**2 + 12*o - 24. Let h be ((-5)/2)/(4*(-15)/48). Is w(h) a multiple of 56?
True
Let m(x) be the third derivative of -x**4/12 + 3*x**3/2 - 2*x**2. Let n be m(-4). Suppose n*c - 21*c + 244 = 0. Is c a multiple of 8?
False
Let r(d) = -d**3 - 11*d**2 - 19*d - 11. Suppose 0 = -202*j + 209*j + 77. Does 33 divide r(j)?
True
Let o = -330 - -640. Suppose w - 2*x = -x + o, 3*x = w - 306. Is 39 a factor of w?
True
Let i be (-4)/((-14)/4 - -3). Let n = 125 + i. Is 21 a factor of n?
False
Suppose 1805 = 5*y - 6215. Is y a multiple of 251?
False
Let p(a) = a**2 + a - 7. Let g be p(2). Is 12 a factor of 7840/128 + (g - (-1)/(-4))?
True
Suppose 458*o - 938648 = 9124528. Is 59 a factor of o?
False
Let f = -13151 + 18791. Is f a multiple of 96?
False
Let k(a) be the first derivative of a**4/4 + 5*a**3 + 7*a**2/2 - 15*a - 151. Is 2 a factor of k(-14)?
False
Let l be 63/5*(-1440)/(-27). Let k = l - 260. Is k a multiple of 21?
False
Suppose -12*d + 1690 = -2*d. Suppose l + 347 = 4*j, 4*j - d = -5*l + 208. Is 8 a factor of j?
True
Suppose -36*g + 72672 = -117408. Is g a multiple of 5?
True
Let r = 10436 - 5814. Is r a multiple of 57?
False
Let s be (45/10)/((-21)/(-28)). Suppose -1330 = -s*h - 88. Is 30 a factor of h?
False
Suppose -5*m = -k + 114, -k = 164*m - 166*m - 96. Does 30 divide k?
False
Let k(i) = 13*i + 291. Let s be k(-22). Suppose 4*v = -2*x + s*x + 6800, -5*x - 1700 = -v. Is v a multiple of 34?
True
Let t(u) be the third derivative of -193*u**4/24 - 5*u**3/3 - 65*u**2. Is t(-2) a multiple of 12?
False
Is ((-3305)/(-6))/(55/198*(-3)/(-5)) a multiple of 3?
False
Let f(s) = -7*s**3 + 6*s**2 - 2*s - 4. Is f(-8) a multiple of 10?
True
Suppose 0*t + 3*t + 5*s = 356, 5*s + 10 = 0. Suppose -3*f + t = -f. Let y = 89 - f. Is y a multiple of 14?
True
Suppose 2410 = 76*j - 24622 - 120940. Is 177 a factor of j?
True
Suppose -3*r = -3*o + 2*r + 263, 2*o = r + 166. Let i = 208 - o. Is 50 a factor of i?
False
Let k(q) = -49*q + 30*q + 67 + 10 + 27*q. Does 3 divide k(9)?
False
Let m(t) = -t**3 - 13*t**2 - 7*t - 8. Suppose 42 = -41*u + 38*u. Is 26 a factor of m(u)?
True
Let t(u) = -14*u. Let j(c) = 1. Let s(y) = 4*j(y) - t(y). Let x = -132 - -133. Is 7 a factor of s(x)?
False
Let v(b) = -b**3 + 97*b**2 + 148*b - 694. Does 33 divide v(98)?
False
Let s = 44 - 33. Let m(x) = 3*x**2 + x + 29. Let k(u) = 8*u**2 + 4*u + 86. Let i(t) = s*m(t) - 4*k(t). Is i(11) a multiple of 12?
False
Suppose 3*g = g + 2. Let x(p) be the third derivative of 97*p**5/60 + p**4/24 - p**3/3 - 13*p**2. Does 18 divide x(g)?
False
Let g = -62 - -93. Let j be 9/(-2)*(g + 1 + 0). Is 6 a factor of j/(-16)*-3*(-4)/18?
True
Let j(t) = -3*t**2 - 77*t - 82. Let k be j(-27). Let s(a) = -6*a**3 - a**2 + 4*a - 2. Let h be s(4). Let y = k - h. Is y a multiple of 18?
False
Does 28 divide (-4)/64 - (-5 + 2720270/(-224))?
False
Suppose -5*k + 30 = 5*h, 5*k + 2 = -h + 16. Let p = 3 + -15. Is 3/k*((-532)/p + -1) a multiple of 15?
False
Suppose -17*c + 26*c - 72 = 0. Suppose -332 = -c*r + 6*r - w, -3*r = 2*w - 496. Is 56 a factor of r?
True
Suppose -19*h + 14*h = -30*h + 83975. Does 2 divide h?
False
Suppose 3*p + 8625 = 3*w, -2*w - 40*p + 39*p + 5765 = 0. Does 40 divide w?
True
Let n be ((-10)/(-3))/(35/21 - 1). Suppose -3*m + n*m + 5*z = 10, 3*z = 2*m - 10. Let l(c) = 2*c**2 - 9*c + 20. Is 7 a factor of l(m)?
False
Suppose 1692 = -28*m + 22*m. Is 26 a factor of (-940)/m*(-207)/(-2)?
False
Suppose 0 = 3*x - 6. Let j(r) = -41*r - 46. Let p be j(-4). Suppose 3*k + 117 = 2*c, 3*c - x*k = c + p. Is c a multiple of 15?
True
Suppose r + 6 = 0, -n + 188*r + 5994 = 184*r. Does 15 divide n?
True
Suppose 0 = -4*n - 0*n + 49504. Let k be (-8)/(-6) + n/51. Suppose -k = 5*v - 984. Does 37 divide v?
True
Let k(c) = -5*c**3 - 6*c**2 + 8*c + 56. Let t(u) = -11*u**3 - 11*u**2 + 17*u + 111. Let a(y) = -9*k(y) + 4*t(y). Does 20 divide a(-8)?
True
Let f = 4761 + 