 a factor of k?
True
Suppose 70*n + 47300 = 200950. Does 35 divide n?
False
Let x be 6/21 + (-432)/(-7). Let z = 220 + -216. Suppose -p = u - 34, -6*u + p = -z*u - x. Does 14 divide u?
False
Suppose -38*n + 808588 = -13*n - 2*n. Does 17 divide n?
True
Let n(c) = 4*c**2 + 6*c - 10. Let y be n(2). Let g = 662 - y. Suppose -4*h + f + g = 0, 4*f + 4 = 3*f. Is h a multiple of 22?
False
Let h(w) = 5*w**2 + 22*w + 7. Let p be h(-6). Let d = p + -53. Suppose -26 = d*t - 158. Does 8 divide t?
False
Suppose 0 = -h + 7*h + 300. Let d = -74 - 22. Let f = h - d. Is f a multiple of 34?
False
Let q be (1 - -5)/(-6) + 3*2. Suppose -h - 1 = 5*y - q, 0 = -2*h + 8. Suppose -2*i + 325 = -3*g, y = i - 0*i - g - 163. Is i a multiple of 41?
True
Let o(l) = 196*l**2 + 4*l - 3. Let n be o(1). Suppose 6*a = n - 47. Is a a multiple of 3?
False
Suppose -6*g - 90 = -24*g. Suppose 100 = f + 4*o - 103, -g*o = 3*f - 595. Is f a multiple of 35?
False
Suppose 0 = -11*b + 16*b + 10. Is b/(-3) + 308*(-7)/(-6) a multiple of 15?
True
Suppose 4*o + 41 = 5*o. Suppose x = -i + o, -12 = -4*x - 8. Does 20 divide i?
True
Let v(c) be the third derivative of -167*c**4/12 + 55*c**3/6 - c**2 - 163. Does 13 divide v(-4)?
True
Let o = 1145 - -5090. Is 22 a factor of o?
False
Let v be -2 + (-17)/2 - 3/(-2). Let l(a) be the third derivative of -13*a**4/24 - 8*a**3/3 + a**2. Is l(v) a multiple of 50?
False
Let z(i) = -42*i - 37. Let x be z(-7). Let d = x - 205. Is d a multiple of 52?
True
Suppose -u + 11088 = -2*b, -40*u + b = -41*u + 11070. Is u a multiple of 12?
True
Suppose -80008 = -12*t - 4735 + 57123. Is t a multiple of 187?
True
Let l(s) = 7*s + 54 + 43*s + 7. Let x be l(6). Suppose -2*j = 3*h - 169, -4*j + 5*h - 56 = -x. Is j a multiple of 10?
True
Let f(z) = 961*z**2 - 158*z - 477. Is 201 a factor of f(-3)?
False
Let j(n) = -24*n - 56. Suppose 4*s = -36 + 12. Does 4 divide j(s)?
True
Let f be (510 + -1)/(10/(-4 - -14)). Let s = 672 - f. Does 2 divide s?
False
Let f(z) = 3*z + 16. Suppose 2*t - 5*b - 4 = 21, t + 7 = -4*b. Let a(p) = -2*p - 8. Let m(i) = t*a(i) + 3*f(i). Is 18 a factor of m(-10)?
True
Suppose -20*z = -24*z + 120. Suppose -27*v = -z*v - 132. Let k = v - -124. Is k a multiple of 17?
False
Suppose 23*j - 6*j - 85 = 0. Suppose -o = o - 3*u - 339, j*o = -3*u + 879. Is o a multiple of 58?
True
Let b(a) = -a - 22. Let f be b(5). Does 9 divide (f/(-4))/((-6)/(-432))?
True
Suppose 0 = -5*p + 3*g + 2007, 392 = -4*p + g + 1992. Let r = p - 236. Is r a multiple of 14?
False
Suppose 1042*p + 371280 = 1068*p. Is 15 a factor of p?
True
Let x(c) = -c**3 - 11*c**2 + 13*c + 22. Let b be x(-12). Let g be b - 5 - (2 + 0). Suppose 0 = 5*o - 2*p - 283, 175 = g*o - 3*p - 2. Is o a multiple of 13?
False
Let m = 12997 - 6972. Does 71 divide m?
False
Let p(j) = -j - 63. Let x be p(12). Let c = 115 + x. Does 8 divide c?
True
Suppose 2 = 4*s - 2*x - 6, 5*x + 20 = -4*s. Suppose -3*q = -4*q - 2*c + 247, s = 5*q + 4*c - 1259. Is q a multiple of 21?
False
Is 14 a factor of 6642 + ((-2)/3)/((-122)/(-183))?
False
Suppose 2*x = -0*a + 2*a + 6, 5*a + 7 = 3*x. Suppose 4 = -y - a. Is 24 a factor of y/((-20)/(-8)) - -98?
True
Let g = 67 - 66. Is 18 a factor of g + 1 + 16722/18?
False
Let b be (-1228)/(-4) + 3/(9/(-3)). Suppose 5*w + 56 - 15 = -a, -a + 5*w + 9 = 0. Is 17 a factor of (a/(-3) + -2)/(6/b)?
True
Suppose -2*r + 0 = -106. Let p = r - 51. Suppose l - 3*b = 5*l - 483, -235 = -p*l + 5*b. Is 17 a factor of l?
False
Let y(n) = 259*n - 834. Does 144 divide y(6)?
True
Let n(m) = -m**3 - 12*m**2 + 16*m + 79. Let t be n(-13). Is 7 a factor of (1 - 1) + 30/t*24?
False
Let b(w) = 40*w**2 + 21*w - 59. Let q = 547 + -543. Is 10 a factor of b(q)?
False
Is 19 a factor of ((-4)/42 + (-58311557)/(-7014))/((-1)/(-4))?
False
Suppose 0 = m + 4*r + 728, 2*m + 0*m = 2*r - 1456. Let a = m + 777. Does 2 divide a?
False
Let r(z) = -8 + 11*z**3 - 3*z - 3*z**2 - 12*z**3 + 0*z**2 - z**2. Does 8 divide r(-5)?
True
Suppose 146*m + 680 = 141*m. Let p = m - -138. Suppose -w = -4*k + 211, w + 159 = p*k + k. Is 2 a factor of k?
True
Let u(k) = 2*k**2 + 24*k - 30. Is u(2) even?
True
Let v = 17468 - -289. Does 39 divide v?
False
Suppose 3*a - a - 13 = f, -5*f = 4*a + 51. Let d = f - -146. Does 15 divide d?
True
Let f(g) = -g**3 + 6*g**2 + 7*g + 2. Let d(z) = z**3 - 6*z**2 - 8*z - 2. Let r(h) = -2*d(h) - 3*f(h). Let s be r(6). Is 32 a factor of 7*s*(-6)/7?
True
Let v(f) = -f**3 - 3*f**2 + 4*f + 2. Let h be v(-4). Let y be (96/(-27))/h + (-6)/27. Is 27 a factor of y - ((-3)/3 + -55)?
True
Suppose 2*g - 5*a - 20613 = 0, -3*a - 2*a + 31007 = 3*g. Is g a multiple of 89?
True
Let l = -38 + 38. Suppose -c = -3 - l. Suppose -5*d + 354 = 4*h - c*d, -272 = -3*h + 5*d. Is h a multiple of 9?
False
Does 2 divide (0 + 1)*1087 - (-1920)/240?
False
Let o(w) = 3*w**2 - 19*w - 30. Let a(j) = j**2 - j. Let u(c) = 4*a(c) - o(c). Let p be u(-12). Does 46 divide p/(-14) - (-2 - (-915)/(-21))?
True
Suppose -607*j = -639*j + 453376. Is j a multiple of 22?
True
Let d = 599 + -138. Suppose 11*c - d - 1299 = 0. Does 10 divide c?
True
Let f(g) = -g**2 + 21*g + 26. Let r(d) = -17*d - 1. Let p be r(-2). Let s = p + -14. Is 32 a factor of f(s)?
True
Let n be (0 - -144)*(-12)/16. Let z = n - -388. Does 7 divide z?
True
Suppose 198*k - r = 203*k - 8436, -5*r + 5066 = 3*k. Does 9 divide k?
False
Let t(k) = 27*k**2 + 8 + k**3 + 14 + 0*k**2 - 3*k - 7*k**2. Let o be t(-20). Suppose -176 = -2*z - 4*w, -z - 6*w + w = -o. Does 19 divide z?
False
Let b = -9680 + 13862. Is 86 a factor of b?
False
Let w be (-2275)/(-104) - 1/(-8). Suppose 3220 = w*h - 8396. Does 25 divide h?
False
Let o = 16292 - 3735. Does 55 divide o?
False
Is 23 a factor of (-5 + 6)/(((-6)/18)/(1028/(-6)))?
False
Let y(d) = 40*d**2 - 2156*d - 9. Is y(62) a multiple of 291?
True
Let v be (7 - 4) + 3 - 4. Suppose -k - 1 = -2*z, -v*z - 5 = -2*k - 3. Suppose -4*p + 46 + 26 = -2*l, -5*p = -k*l - 91. Does 9 divide p?
False
Suppose 39*r - 88 = 28*r. Does 56 divide 889 - ((-42)/(-11) - r/(-44))?
False
Let h = 37 - 35. Let g be 12 - -4 - (6 - h). Does 13 divide 5*(-4)/(-3)*g?
False
Suppose -2*r + s - 15 = 0, 18*r - 4*s = 14*r - 40. Let o(i) = -190*i - 60. Does 11 divide o(r)?
False
Let r = 163 - 92. Suppose -r = -2*t + 45. Let b = 158 - t. Does 10 divide b?
True
Let r = 8142 + -5279. Is 6 a factor of r?
False
Let o be 2/(-3) + -2*(-3687)/18. Suppose -2*r = -53 - o. Is 7 a factor of r?
True
Is 87 a factor of (-1 - -1) + 17052 + 38 + -30 - -4?
False
Let s(l) = 95*l - 1102. Does 57 divide s(20)?
True
Let r = 165 + -441. Let p = r + 296. Does 18 divide p?
False
Let i(r) = -r**3 + 4*r**2 - 6*r + 6. Let a be i(2). Let v be (a - -2) + -1*3/(-3). Suppose 0 = 5*b - v*x - 1120, 0*x + 452 = 2*b - 3*x. Is b a multiple of 20?
True
Let w = -5388 + 8699. Is w a multiple of 93?
False
Let a = 4 - -10. Suppose 4*h = -a - 34. Is h/(-3 + (-27)/(-12)) a multiple of 8?
True
Suppose 12*i = -35130 + 96054. Suppose 16129 = 18*j + i. Does 47 divide j?
False
Let d(l) = 22*l - 5. Let y be d(-5). Let b = -8210 + 8416. Let n = b + y. Is 21 a factor of n?
False
Let a = -261 + -291. Is 25 a factor of 5*(a/(-5))/3?
False
Let y = -667 - -1469. Let j = y - 417. Is j a multiple of 35?
True
Does 27 divide (-875)/50*6599/(-7) - 6/12?
True
Suppose 2*h + 5181 = 5*u - 2691, 4*u = 5*h + 6284. Does 76 divide u?
False
Let q(n) be the first derivative of n**4/4 - 7*n**3/3 - n**2 + 14*n + 15. Let t be q(7). Suppose a + 5*a - 102 = t. Is 2 a factor of a?
False
Suppose 31*y + 3590 = -10515. Let m = y + 950. Is m a multiple of 33?
True
Let k(v) = -v**3 + 18*v**2 + 7*v - 26. Suppose t - 4*t = -6. Suppose 0*p + t*s = 3*p - 46, p - s = 14. Does 25 divide k(p)?
True
Let p be (-4)/(-10) - 54/135. Suppose -y + 93 - 26 = p. Let v = y + -54. Is v a multiple of 13?
True
Let h = 77 + -79. Is 43 a factor of h + -3 + -17 + 99?
False
Suppose -5*h = -26*h - 21. Is 15 a factor of (-125)/((-112)/(-24) - (h - -6))?
True
Let g = 39 + -37. Suppose -g*h + 164 = -2*v, -h - 5*v + 214 = 2*h. Suppose -4*j + 5*i = -325, j + 3*i - h = i. Is 14 a factor of j?
False
Let d be (42/(-63))/(4/(-18)). Is 30 a factor of (-6)/(-9)*d + 238?
True
Suppose 19*i + 6045 = 24*i. Suppose 602 = 2*s - 4*u, 25*s = 21*s + 3*u + i. Does 16 divide s?
False
Suppose 91*i - 51*i - 599040 = 0. Is 26 a factor of 