pose -t - c + a = -0*t, -c = -4*t + 3589. Is t a multiple of 14?
True
Suppose 0 = -y + 18 - 8. Let j(t) = -3*t**2 + 13*t + 10. Let f be j(y). Let x = 42 - f. Is 30 a factor of x?
False
Let i = 5058 + -2946. Does 15 divide i?
False
Let a be 1/7 - (-27)/(1701/180). Does 42 divide 6 - 6672/(a - 11)?
True
Let v(y) = -y**3 - 71*y**2 + 174*y + 91. Is 29 a factor of v(-75)?
True
Suppose 680 = 2*k - 2*w, 0*k + 5*k = -4*w + 1682. Let o = 134 - -87. Let g = k - o. Does 9 divide g?
True
Let k = -5123 - -15427. Is k a multiple of 23?
True
Let u(x) = -20*x - 3. Let y be u(-6). Suppose 605*z = 606*z - 2*m - 43, 5*m = -z + 92. Suppose -z = -g - 3*p, 2*p = 3*g - 32 - y. Is g a multiple of 24?
False
Let b(f) = 2*f**3 - 10*f**2 - 25*f + 276. Is b(13) a multiple of 15?
True
Let m(i) = -67*i - 1. Let g be m(-9). Is (16 + -19)/((-6)/g) a multiple of 16?
False
Suppose -36*j + 40 = -32*j - 2*p, -3*j + 5*p + 44 = 0. Let q(z) = z**3 + 2*z**2 - 2*z - 24. Does 59 divide q(j)?
False
Let s be 3 - ((-5)/5)/1. Let g(v) = -22 + s + 3 + 5*v. Is 5 a factor of g(7)?
True
Does 3 divide (1*-44)/((-20)/(-22760)*(-8 + 4))?
False
Let l(m) = -1941*m + 142. Is 14 a factor of l(-6)?
True
Let f(r) = 2*r**2 + 9*r. Let y be f(7). Suppose 0 = 3*p - 5*x - 91, p + 4*p = -x + y. Is p a multiple of 3?
False
Let d = 36363 - 18948. Is 202 a factor of d?
False
Let x = 128 + -134. Let f(m) = 9*m**2 + 20*m + 111. Is f(x) a multiple of 45?
True
Let f(w) = 2*w**2 + 21*w + 23. Let t be f(-10). Suppose -t*n + 9*n = -1348. Is 29 a factor of n?
False
Suppose -97*x + 21632 = -89*x. Suppose 20*q - 16*q = -3*z + x, 5*q = 5. Is z a multiple of 15?
True
Suppose -2*s - 281558 = -14*d, 42166 = 3*d + 5*s - 18195. Does 12 divide d?
True
Let u(f) = -3*f + 16. Let j(t) be the third derivative of 5*t**4/24 + 5*t**3/3 + 13*t**2. Let m be j(-2). Does 15 divide u(m)?
False
Let q(s) = 14*s**2 + 98*s - 1036. Is q(10) a multiple of 8?
True
Suppose 2*l - 47 = -z - 13, 5*l = -3*z + 83. Let x = 367 - l. Is 29 a factor of x?
True
Suppose -9*x + 5*x + 5*k = -62, 4*x + 5*k - 42 = 0. Let u(t) = 5*t**2 - 22*t + 46. Is u(x) a multiple of 7?
False
Let u(n) = 5*n**2 + 2*n + 1. Let z be u(-1). Let x(k) = -11*k + 132. Let f be x(12). Suppose -5*i + 4*h = -329, 2*i - z*h = -f*h + 134. Does 13 divide i?
True
Let w be ((3705/26)/(-19) + 6 + 1)*-102. Let y(j) = 11*j + 1. Let h be y(-2). Let v = h + w. Is v even?
True
Is ((-5)/1 - -1 - (-7 - 1)) + 16524 a multiple of 179?
False
Let g(z) = 597*z**2 + 10*z - 2. Let o be g(4). Is (-4*(-21)/5)/(411/o) a multiple of 7?
True
Suppose 0 = -4*m + 5*p + 28, 0 = 5*m - 2*p - 0*p - 18. Suppose -m*j + 663 = 5*f + 20, -4*j = -f - 1319. Does 66 divide j?
False
Let w = -2174 - -5534. Suppose -110*a + 100*a + w = 0. Is a a multiple of 21?
True
Let j = -1012 + 368. Let b = 1211 + j. Does 21 divide b?
True
Let u(n) = -61*n**2 + 69*n**2 + 27*n + 24 - 1. Does 32 divide u(-11)?
False
Suppose 3*c + 8 = 7*c. Suppose c*d + 3*d - 448 = -4*j, 5*j - 3*d - 523 = 0. Suppose 49 = 3*r - j. Is 8 a factor of r?
False
Suppose 724 = -806*h + 810*h. Suppose -16*l + 15*l = -h. Does 7 divide l?
False
Let y(x) = 41*x**2 + 30*x + 149. Does 101 divide y(-11)?
False
Suppose 2 = 3*l + 5*b, -8*l + 42 = -5*b - 0. Suppose l*n = 2*c - 496, c - n = 95 + 153. Does 20 divide c?
False
Let p = 693 + 1044. Is 2 a factor of p?
False
Suppose 2*f + 6*f - 3944 = 0. Suppose 0 = 7*h - f - 18. Is h a multiple of 8?
False
Let s = 13515 - 10392. Does 2 divide s?
False
Suppose 0 = -3*c - 2*m + 1857, 1248 = 2*c + 7*m - 9*m. Let z = c + 11. Is z a multiple of 67?
False
Is 2 a factor of 10*8/(-16) - (1 + -1502)?
True
Let c(b) = 60*b - 316. Does 56 divide c(23)?
True
Let c be 4/(-10) + 60/25. Suppose 5*p = c*n + 21, n = p - 6 + 3. Suppose w - 3 = 0, -p*w - 75 - 34 = -4*k. Is 5 a factor of k?
False
Let p = 56 + -61. Let w be 142/6*(2 + p/(-5)). Suppose 39 = -x + w. Does 4 divide x?
True
Suppose 60*f - 20 = 56*f. Suppose -f*m + 15 = -170. Is m a multiple of 4?
False
Suppose 5*o = 40 + 90. Let v(y) = -y**3 + 25*y**2 + 26*y. Let s be v(o). Suppose 0*i - 2*q = -4*i + 402, -q - 1 = s. Is 20 a factor of i?
True
Let x(w) be the third derivative of 13*w**2 + 0*w - 1/60*w**5 + 17/6*w**3 + 0 - 13/24*w**4. Is 10 a factor of x(-13)?
False
Let p(x) = 2*x + 16 + 4*x - x + 16. Let c be p(11). Does 9 divide c*1 - (-9 - -6)?
True
Is 8 a factor of (190/30)/(0 + 3/1242)?
False
Let g = 592 + -136. Suppose -9*q - 3*q + g = 0. Suppose -5*t + 4*s + 55 = -s, 4*t - s = q. Does 2 divide t?
False
Suppose 0*n = -7*n - 46*n + 38849. Is n a multiple of 2?
False
Let o(t) be the first derivative of 13*t**3/3 + 3*t**2/2 + 2*t - 35. Let a(y) = y**3 - 7*y**2 + 6*y + 2. Let s be a(6). Is 30 a factor of o(s)?
True
Suppose 9*f - 71*q = -76*q + 635025, -2*f + 141132 = -4*q. Does 18 divide f?
True
Suppose -5*u + 15848 = -4*l, -11*u - 5*l - 9514 = -14*u. Is 24 a factor of u?
True
Let f(t) = 14*t**2 + 3*t + 2*t**3 - 7*t**2 - 6*t**2. Let i be f(3). Suppose -5*v + i = -4*x - 352, -4*v + 2*x + 338 = 0. Is v a multiple of 12?
True
Let t(a) = 24*a**2 - 4*a - 5. Let s be t(-3). Let r = -21 - -25. Suppose -2*f + 222 = -4*o, 2*f - 7*o - s = -r*o. Does 12 divide f?
False
Suppose -8*i = 2*a - 7952, 8*i = 4*a + 3*i - 15946. Is a a multiple of 8?
True
Let u = 6783 - 5366. Is u a multiple of 41?
False
Let a(u) = -279*u + 2573. Is 49 a factor of a(-18)?
True
Suppose 7*j - 107078 = 4*j + 4*g, 35693 = j - g. Does 27 divide j?
True
Let u = -87 + 87. Suppose 2*b = 5*c - 8*c + 1373, u = -4*c + 4*b + 1824. Let g = c + -319. Does 23 divide g?
True
Suppose 0 = -32*i + 34*i - 22. Suppose 0 = r - 4*o + 2, 3*r = -0*o - 5*o + i. Suppose -v + 213 = v + 3*z, v - 117 = r*z. Is v a multiple of 10?
False
Suppose -2*s = -5*n - 6*s + 31, 0 = -2*n + 4*s - 10. Suppose 2*y = -n*y. Suppose -5*u + y*u + 115 = 2*z, -10 = -2*z. Is u a multiple of 2?
False
Let b(j) = -j - 4. Suppose -6*m + 10 = -4*m. Let l be (15/(-6)*(-44)/m)/(-1). Is b(l) a multiple of 4?
False
Suppose -5*c - 3*x - 8578 = -6*c, 6*x - 34258 = -4*c. Does 41 divide c?
True
Suppose -116*o - 398*o + 1781180 = 66*o. Is 42 a factor of o?
False
Let i(a) = -13*a**3 - 5*a**2 - 8*a + 4. Let s(h) = -38*h**3 - 16*h**2 - 25*h + 10. Let g(d) = -7*i(d) + 2*s(d). Is g(3) a multiple of 13?
True
Let p(y) = -4617*y - 1287. Is p(-15) a multiple of 144?
True
Let u(k) be the second derivative of -11/6*k**4 + 32*k - 1/20*k**5 + 0 - 9/2*k**3 - 13*k**2. Does 10 divide u(-21)?
True
Let f = -1305 + 1328. Does 23 divide f?
True
Let s = 62440 - 33460. Is 140 a factor of s?
True
Suppose -4*p + 217 = 5*c, 0 = -3*p + p + 4*c + 128. Let h = p - 46. Suppose h*i = 8*i + 56. Is 4 a factor of i?
False
Let f(t) = 609*t**2 + 85*t - 84. Does 128 divide f(1)?
False
Let w(m) = -5 + 9 - 19*m + 0 - 3. Let t(o) = -o**2 - 7*o + 1. Let r be t(-8). Is w(r) a multiple of 35?
False
Let x be 0 + 12/(-3) + 8. Suppose x*h - 143 = 5*q, 3*h - 34 = q - 1. Let o = 45 + q. Is 12 a factor of o?
False
Let f be (4 - -5) + (0 - 2) + 1. Suppose 0 = -f*n + 12*n + 192. Let i = n + 97. Is 6 a factor of i?
False
Suppose -16 = 3*o - 7*o. Let t(b) = b**3 - 27*b**2 - 55*b - 82. Let g be t(29). Suppose 0 = -o*r + 12, 2*r - 1236 = -g*n - 450. Does 13 divide n?
True
Let m = -13216 - -18023. Does 18 divide m?
False
Suppose 0 = 3*l + 2*m - 17888, -41*l + m + 23858 = -37*l. Is l a multiple of 28?
True
Does 58 divide ((6/(-6))/1)/(23538/3924 + -6)?
False
Let j(t) = 8. Let i(y) = -17*y + 34. Let w(r) = i(r) + j(r). Is w(-6) a multiple of 72?
True
Let f = -8679 - -11759. Is f a multiple of 44?
True
Let g(r) = -77*r - 861. Is 14 a factor of g(-69)?
True
Is 57/3*259 + (-10 - -9) a multiple of 15?
True
Let v be (-2)/16*-4*(-4 - -32). Suppose v*r = 4479 + 2283. Does 7 divide r?
True
Let w = 772 + -203. Let a = -297 + w. Is 18 a factor of a?
False
Let r = 56996 + -2561. Does 7 divide r?
False
Let p(r) = -r**3 - 9*r**2 - 5*r + 5. Let s be 6 + -2 + -1 - 13. Let o be p(s). Suppose -34 = -7*j + o. Is j a multiple of 3?
True
Let i(y) = 3224*y + 382. Is i(1) a multiple of 61?
False
Suppose 21*u = -2*p + 18*u + 13387, 6692 = p + 3*u. Is 29 a factor of p?
False
Let f = 13042 - 8754. Does 4 divide f?
True
Suppose x = 4*p + 2133, 0 = 5*p - x - 1504 + 4170. Let h = 975 + p. Is h a multiple of 38?
False
Let y(b) = 5*b + 0*b - 2*b + 0*b + 45. Let t be y(-15). Is