factor of n(7)?
True
Suppose 730 = -21*n + 23*n - 826. Is n a multiple of 4?
False
Suppose 174*u + 104840 = 184*u. Is u a multiple of 10?
False
Let b(t) = -24*t + 13 + 0 - 6 + 5. Let w be b(-8). Suppose -4*n + 10*n - w = 0. Is 26 a factor of n?
False
Is ((-30)/50 - (-5)/((-75)/96)) + 22172 a multiple of 13?
True
Suppose 0 = j + 2, -5*j + 473 + 738 = -3*t. Let m = t + 499. Is 3 a factor of m?
False
Let t be (-2)/8 - 67*(-15)/20. Suppose -5*r - 10 = 5*j, 0*j + 4*j = -3*r - 10. Suppose -r*f + 158 = -t. Is f a multiple of 13?
True
Let i be (-7*1)/(-17 - -18). Let a be (-2)/i + ((-132)/28)/(-1). Suppose 0 = -a*s - 11 + 166. Is 11 a factor of s?
False
Let j(o) = 7451*o + 314. Is j(1) a multiple of 73?
False
Let j(y) = -3*y**3 - 31*y**2 - 9*y + 22. Let o be j(-11). Let q = -176 + o. Does 15 divide q?
False
Suppose c - 5*s = -22, 3*c + 3*s = -s + 29. Let d(v) = -3*v**c - 6*v**2 - 2*v - 18 + 50 + 2*v**3. Is d(-6) a multiple of 11?
True
Let v(b) = -b**2 + 6*b - 6. Let i be v(3). Suppose 10 = 2*a, 0 = 5*o - 3*o - i*a + 7. Suppose -2*q = -d + 37, 5*d - 2*q - 185 = -o*q. Is d a multiple of 8?
False
Let f(b) = -13*b - 2. Let w be f(-2). Suppose 12*j + w = -0*j. Is (j - (-15)/12) + (-115)/(-4) a multiple of 6?
False
Let b be (-4 + (-39)/(-9))*12. Suppose -4*s = -b*w - 2008, -2*s - 3*w + w = -1012. Is 21 a factor of s?
True
Let u(w) = -3*w + 2. Let o(p) = -p + 1. Let t(n) = 2*o(n) - u(n). Let a(i) = 35. Let r(h) = a(h) + 2*t(h). Is r(13) a multiple of 6?
False
Let w = -5272 - -8008. Does 19 divide w?
True
Let q(k) = -12*k**3 + 2*k**2 + 23. Let n be q(5). Let x = -396 - n. Is x a multiple of 36?
False
Let s be ((-2)/(-4))/(11/69454*11). Suppose y = -2*q + 562, -5*y = -q - 4*y + s. Is 100 a factor of q?
False
Suppose 1858 = v + 3*i, -743 + 4461 = 2*v + 8*i. Is v even?
False
Suppose -298*w = -294*w - 16. Suppose 0 = -2*i - w*i + 1710. Is 9 a factor of i?
False
Suppose 3*m = 4*k + 350, 8*k = 5*m + 9*k - 568. Let i = 227 + m. Is i a multiple of 26?
False
Is (-6 + (-2211)/(-44))/(1/56) a multiple of 9?
False
Let l = -19406 - -80053. Is l a multiple of 37?
False
Suppose 2*k = 6, -20*v + 3*k - 23754 = -25*v. Is v a multiple of 116?
False
Let x be (11 - 10)/((-2)/10). Let a(f) = f**2 + 4*f + 11. Let d be a(5). Let h = d - x. Is 27 a factor of h?
False
Let f(m) = 164*m**2 + m - 1. Let k be f(-3). Does 46 divide (54/(-12))/((12/k)/(-1))?
True
Let l be 12*5/(-20)*-30. Suppose 0 = 10*s - 7*s - l. Is 17 a factor of (4 - 0) + 1*s?
True
Let a = -401 + 397. Is 20 a factor of (a - -85)*100/15?
True
Let a = -570 + 572. Is 7 a factor of ((-18)/(-8))/(a/632)?
False
Let m = -81 - -114. Suppose m*i = 22*i + 429. Does 13 divide i?
True
Let w be (0 + 0)/(12 - 14). Let v be (-3 - -6)*6 - (w + -3). Suppose h = v - 6. Does 15 divide h?
True
Suppose -4*p + y = -3597, -5*p + 4465 = y + 4*y. Suppose 0*c - 2*c = -5*u + p, -u + 177 = -3*c. Is 18 a factor of u?
True
Suppose -5724 = -8*z + 4*s, 5*s = -4*z + 1924 + 917. Is z a multiple of 16?
False
Is (-1)/19 + 147420/342 even?
False
Let d = 596 - -5260. Is 13 a factor of d?
False
Let v(c) = 200*c + 6. Let u(j) = 199*j + 5. Let n(x) = -4*u(x) + 3*v(x). Let m be n(-1). Suppose 0 = 4*s - p - 387, -4*s - m = 3*p - 569. Is s a multiple of 16?
True
Let o(v) = v**2 - 2. Let p be o(1). Let t be (15/(-6))/(1/2). Is p/t - (-5)/(-50)*-118 even?
True
Let b = 178 + -170. Does 7 divide b/6 + -6*24110/(-180)?
True
Is 34 a factor of (-825380)/(-34) + (-5239)/13702 + 1/2?
True
Let i(w) = -w**3 - w**2 + w - 28. Let g be i(0). Let z be (24/(-28))/(8/g). Suppose -402 = -5*s - 2*d - 0*d, -z*d - 397 = -5*s. Is 16 a factor of s?
True
Suppose 2*f + 754 - 3154 = -3*h, 5*h = -3*f + 3597. Does 3 divide f?
True
Suppose 45*u + 270256 = 118*u + 25268. Is 13 a factor of u?
False
Let n be ((-2)/7 - (-3424)/224) + -5. Is (n/4)/((-2)/(-4)) a multiple of 4?
False
Suppose 0 = -5*l - 2*x + 27181, 31 = 4*x - 1. Is l a multiple of 11?
False
Suppose -t + 5*i + 8101 = 0, t - 2*i - 4955 = 3137. Does 15 divide t?
False
Is 5 + 561292/24 + 4/(-24) a multiple of 16?
True
Does 206 divide (701825/165 - 4/(-22))/((-10)/(-30))?
False
Let j be 3/6 + 15777/6. Suppose 2520 = 25*a - j. Is 10 a factor of a?
False
Suppose 0 = 157*f - 456803 - 128163 + 38920. Does 2 divide f?
True
Let c = 15461 - -4342. Does 69 divide c?
True
Let f(v) be the first derivative of -v**4/12 - 13*v**3/6 - 7*v**2 + 14*v + 48. Let i(j) be the first derivative of f(j). Does 4 divide i(-6)?
True
Let w = 26 + 9. Suppose -d - 5*c = 34 + w, -3*d - 2*c = 194. Let l = -38 - d. Is 8 a factor of l?
False
Let i = 58 + -55. Suppose 2*z + 0*p = -2*p + 202, -4*z = i*p - 406. Suppose -5*u + 5*m - z = -358, 2*m = 10. Is u a multiple of 8?
True
Let x be ((-50)/(-3))/((-21)/(-630)). Suppose 5*b = x + 1500. Does 50 divide b?
True
Suppose -m + 20*g - 16*g = -10793, 0 = -4*m - 2*g + 43064. Is 6 a factor of m?
False
Let w(h) = 32*h + 396. Let j be w(0). Suppose j = 12*m - 9*m. Is m a multiple of 66?
True
Suppose 3*k + 5*m - 8425 = 0, -m - 2795 = -k - 0*k. Suppose 81*s = 86*s - k. Does 56 divide s?
True
Let g(d) = -2*d**2 - 13*d + 189. Let l be g(7). Let s(j) be the second derivative of 3*j**3/2 + 65*j**2/2 + 2*j. Does 13 divide s(l)?
True
Let m be (-22 + 21)/(2 - 14/6). Suppose 0 = -m*t - 3*t + 684. Let z = 199 - t. Does 17 divide z?
True
Let o be (-7916)/30 + 16/(-120). Let c be o/(-3) - (-3 - -1). Suppose 4*r - 3*k - 370 = -k, r + 2*k = c. Does 15 divide r?
False
Suppose -4*u + 40 = -4*m, 5*u - 5 = 4*m + 40. Suppose w = 6*j - 2*j + 16, u*j + 20 = -w. Suppose 4*y - 49 - 39 = w. Is y a multiple of 6?
False
Let c(k) = -k**2 - 2*k + 440. Let i(y) = y - 26. Let j be i(26). Does 9 divide c(j)?
False
Suppose 154*y - 153*y - 2*m = 24553, 3*y - 2*m = 73659. Is y a multiple of 268?
False
Let t(b) = -4*b**3 + b. Let s be t(1). Let y be (s + 6/2)/2 - 12. Let u = y + 40. Is u a multiple of 12?
False
Let o(t) = t**3 + 9*t**2 + 11*t - 295. Is 11 a factor of o(14)?
True
Suppose -4*d - 650 = 5*o, -o = -5*d + 144 + 15. Is -3*8/12 - (o + -4) even?
True
Let a = 578 + -580. Let s be (-3)/6 - 81/6. Is 27 a factor of ((-40)/s + a)*(-15 - -141)?
True
Suppose -w + 4 = w. Let f(q) = 11*q - w*q + 8*q + 2*q - 5. Does 11 divide f(2)?
True
Suppose 0 = 7*s - 17 - 4. Suppose 0 = -w + s, 3*p + 3*w - 3 = 7*w. Suppose x + 60 = p*k, k + 60 = 6*k - 5*x. Does 6 divide k?
True
Let m(r) = r + 2. Let z(g) = 20*g - 135. Let h(j) = 5*m(j) - z(j). Does 13 divide h(-16)?
False
Let c(t) = 2*t**2 + t - 4. Suppose 5*d - q + 222 = 0, -2*d + 5*q - 94 = 2*q. Let s = d - -38. Is 13 a factor of c(s)?
False
Suppose -3*u + 4*r = -2*u - 4, 4*r - 8 = -2*u. Let o be (1 - -15) + 1*u. Let c(p) = -p**2 + 21*p + 10. Is 15 a factor of c(o)?
True
Suppose -4*i - 5*r - 1313 = 0, 3*r + 985 = -3*i - r. Let f = 3 - i. Is f a multiple of 22?
True
Let v = -36 - -240. Suppose -4*i = -v - 772. Is 21 a factor of i?
False
Let a(p) = -4*p**2 + 16. Let g be a(0). Suppose g*i = 39*i - 2852. Does 11 divide i?
False
Let u(f) = f**2 + 2*f - 38. Let s be u(10). Let q = s + -68. Suppose j = 5*h + 103, 97 - q = j - h. Is 39 a factor of j?
True
Suppose 2*g = -3*o + 5*g - 24, -5*o - 3*g = 0. Let d(j) = -5*j**2 - 9*j + 2. Let p be d(o). Does 18 divide 24*(20/p + 2)?
True
Let c = 105 - 89. Suppose c*y + 25 - 89 = 0. Is y/(-30) + 11764/255 a multiple of 4?
False
Let i = 2273 - 1353. Let f = -603 + i. Is 14 a factor of f?
False
Let i(m) = -m**3 - m**2 + 7*m + 3. Let q be i(2). Suppose -n = 1, q*c - 8*c + n + 541 = 0. Is 10 a factor of c?
True
Let y(b) = 802*b + 5685. Is 4 a factor of y(-5)?
False
Suppose -17*f + 9942 + 31746 = 9065. Is 98 a factor of f?
False
Let p = 7377 - 4533. Is 17 a factor of p?
False
Suppose -10*r - 3036 = -13*r. Suppose 0 = 3*i - r + 298. Suppose -2*k + i = -14. Is 21 a factor of k?
True
Suppose -15*c = -10*c. Suppose 5*z = 3*p - 2, 2*p - 16 = -c*p - 4*z. Suppose 3*k - 1085 = -p*k. Does 35 divide k?
False
Let q(b) = 0*b + 9*b + 6 - b**3 - 1 - 7 + 8*b**2. Let w be q(9). Does 19 divide w/((-3)/114*4)?
True
Let n be 0 + -16*((-30)/5 - -5). Suppose n = -7*i + 1787. Does 2 divide i?
False
Let u(f) = 48*f - 3. Let o = 30 + -24. Let x = o - 4. Does 31 divide u(x)?
True
Does 14 divide -42*(535/(-15) + 4 + 4)?
True
Suppose 5*k - 5*u - 614 = -194, 2*k = -5*u + 154. Is ((-4)/(-8)*40)/2*k a multiple of 21?
False
