1*t**4/24 - 17*t**3/6 - 21*t**2. Is 11 a factor of c(12)?
False
Let l = 29972 - 27499. Is l a multiple of 2?
False
Let l = 57 - 40. Suppose -5910 = -l*v + 2*v. Does 9 divide v?
False
Let f(b) = -4*b**3 + 3*b**2 + 5*b + 1. Let n be f(-1). Let w be (-157)/n*3/(-1). Suppose h - m = w, h - 4*m - 785 = -4*h. Does 31 divide h?
False
Suppose -37*c + 36*c = 4*u - 95949, -4*u = -4*c - 95924. Is 13 a factor of u?
False
Let o(b) = 43*b**2 + 78*b - 1233. Is o(27) a multiple of 10?
True
Let q(r) = 39*r**3 + 4*r. Let g be q(-2). Let y = 53 - g. Is y a multiple of 6?
False
Let s be 7/(-7) + 2 + -7 + -1. Let t(l) = -18*l + 6. Let w be t(s). Suppose -512 = -4*z - w. Does 19 divide z?
True
Is (-330084)/(-156) + 3/39 a multiple of 3?
False
Suppose -52*w - 133361 = -47197. Let k = -842 - w. Is k a multiple of 24?
False
Let b = -39 - -41. Let a = b + 0. Suppose -5*n + 122 = -2*c, 0 = a*n + 5*c - 17 - 26. Is 6 a factor of n?
True
Let l(s) = 68*s**3 + 5*s**2 + 7*s + 4. Let y(t) = -67*t**3 - 6*t**2 - 8*t - 5. Let j(m) = 6*l(m) + 5*y(m). Let i be j(1). Is 6 a factor of 6*2/4*i/6?
False
Let j(k) be the second derivative of k**4/12 + k**3/2 - 19*k**2/2 + 357*k - 2. Suppose 2*a - 3*w = -0*a - 31, -3*w + 39 = -3*a. Does 7 divide j(a)?
True
Let n be (15 - 19)*4/(24/(-123)). Suppose 78 = 10*z - n. Is 5 a factor of z?
False
Is 57/(9/(-168)*(-6)/51) a multiple of 68?
True
Let v be (5 + 84/(-18))*15. Suppose -25*q = v*q - 18480. Is 11 a factor of q?
True
Let z be 9/27*-141 + (4 - 5). Suppose -4*i + 2*b = 306, -5*i - 4*b - 369 = 7. Let l = z - i. Does 8 divide l?
False
Suppose 0 = 5*g - 29327 + 2452. Does 25 divide g?
True
Is 47 a factor of 34686/5*12/((-1188)/(-165))?
True
Let d(s) = s**3 - 7*s**2 + 11*s - 73. Let u be d(7). Suppose -4480 = -5*v + 4*g, 8*v - 7*v - u*g = 896. Is 8 a factor of v?
True
Suppose -10484*a = -10509*a + 860400. Is a a multiple of 142?
False
Let a(t) = -3*t + 232. Let z be a(0). Suppose -2*k + 128 = -z. Does 14 divide k?
False
Let t = -5253 - -9746. Is 47 a factor of t?
False
Let o(x) = x**3 + 19*x**2 - 16*x - 118. Does 30 divide o(-19)?
False
Let x(d) = 295*d**3 + 9*d**2 - 8*d + 5. Let n be x(2). Suppose -2571 = -6*h + n. Does 7 divide h?
True
Let s(g) = -58*g + 44. Let h(a) = 20*a - 15. Let f(n) = 8*h(n) + 3*s(n). Is f(-22) a multiple of 37?
False
Let t(c) = 1498*c - 5101. Is t(7) a multiple of 15?
True
Let i(t) = -t**3 - 53*t**2 - 62*t - 54. Is 5 a factor of i(-52)?
False
Suppose 95*n - 406778 - 1040927 = 0. Is 38 a factor of n?
False
Let g be -6*-1*(-1)/(-2) - -149. Let i(s) = -s + 5. Let w be i(0). Suppose w*m - 48 = g. Does 20 divide m?
True
Suppose 51 = 5*s - 79. Let m(l) = -l**3 + 6*l**2 + 8*l + 4. Let x be m(6). Suppose -o - s + x = 0. Does 13 divide o?
True
Suppose -77518*g + 77520*g - 148 = 0. Suppose 0 = -r - k - 5, r = 5*k + 25. Suppose r = -6*i + 70 + g. Is 3 a factor of i?
True
Let j(p) = 7*p**2 - 48*p + 2005. Does 28 divide j(39)?
True
Let g(a) = 7 + 15 + a - 1 - 10*a. Let h be 352/(-20) - (-12)/(-30). Is g(h) a multiple of 20?
False
Let c be 4*(-2 - -3) + -1. Suppose -1097 = -c*n - 5*s, -4*n - n - 4*s = -1837. Suppose 0 = -3*z + 6*z - n. Is z a multiple of 25?
False
Let z(d) = -d**3 - 82*d**2 - 355*d - 145. Is z(-78) a multiple of 22?
False
Let n = -1037 + 1476. Suppose 2*i - 206 = 4*f, -4*i + n = -f + 2*f. Is 6 a factor of i?
False
Suppose u - 668 = 2116. Is 23 a factor of u?
False
Suppose -1339777 = -45*b - 98677. Is b a multiple of 28?
True
Let j(g) be the second derivative of -g**4/6 + 3*g**3 + 5*g**2 - 8*g. Let f be j(10). Is 10 a factor of f/(-35) - 150/(-14)?
False
Let y be (-18)/(((-2)/4)/(14/42)). Let f be 12/42 + y*8/7. Suppose f*k = 19*k - 150. Is 10 a factor of k?
True
Suppose -5*j = t - 18231, -3*t + 69458 = -j + 14749. Is t a multiple of 97?
True
Is (-474665)/(-75) - -1 - 2/(-15) a multiple of 10?
True
Let w = -750 + 752. Suppose -w*j - 8 = 0, -8*d + j = -11*d + 2501. Is d a multiple of 85?
False
Suppose -4*v - 31 + 143 = 4*b, 0 = -4*v - b + 127. Suppose v*k = 32*k - 6. Is (-1)/k + (-3177)/(-54) a multiple of 6?
False
Let l(o) = -o**2 + 5*o + 6. Let w be l(6). Suppose 0*i + 240 = 3*s + i, -5*s - i + 400 = w. Is s a multiple of 3?
False
Suppose 3*f = 3*u, -2*u - 2 = -4*f + 2. Suppose -4*a = 5*q - 376, 117 = a - f*q + 10. Suppose a = 2*r + 5*y, 3*r - 5*y = 157 + 4. Is 26 a factor of r?
True
Suppose 0 = 39*s + 10*s - 354613. Is 56 a factor of s?
False
Let a = -59 + 64. Suppose 271 = 3*h - o, 98 = 2*h - a*o - 87. Suppose 5*v = -5*i + 195, 4*v - 2*v + h = 2*i. Is 4 a factor of i?
False
Let h(d) = 35*d**2 - 4*d - 55. Let r be h(8). Suppose -5*m + r + 2027 = 0. Is m a multiple of 45?
False
Suppose 564852 + 870252 = -114*u + 416*u. Does 76 divide u?
False
Let f(t) = 2421*t - 1073. Does 22 divide f(2)?
False
Let y(p) = 16*p**2 - 16*p + 14. Does 21 divide y(19)?
False
Suppose 2*c + 3*f = 260, -2*c + 3*c = -f + 131. Suppose -48*a + 47*a + c = 0. Is a a multiple of 18?
False
Does 137 divide ((-14)/(-35) - (-44)/(-35)) + 934913/49?
False
Suppose 0 = 8*g + 9568 - 46512. Does 40 divide g?
False
Let k = 3224 + -1672. Let p = k - 720. Is p a multiple of 67?
False
Suppose -5 = -3*p - 5*z, 5*z - 30 = -5*p + z. Suppose -136 = -18*q + p*q. Is 2 a factor of q?
False
Suppose 3054 = o - 2*b, 1635 = o + 3*b - 1409. Is o a multiple of 24?
False
Let o(b) = 121*b + 91. Let d be o(13). Suppose -217 = -19*x + d. Does 11 divide x?
True
Let y(n) = -2*n**3 + 27*n**2 - 15*n + 28. Let j be y(13). Suppose -5*l - 2*k + 2494 = 0, -3*l + j*k = -341 - 1149. Does 57 divide l?
False
Let m be 2*(-27)/2*3/9. Does 7 divide (m/4)/(18/(-96))?
False
Suppose 19*b - 34150 = 15*b - 2*x, 2*b - 17078 = -2*x. Is 22 a factor of b?
True
Let t(q) = 901*q + 9248. Does 15 divide t(7)?
True
Let b = 383 + -391. Is (-17)/(34/234 - b/(-36)) a multiple of 13?
True
Let j = -2 + 2. Let b(p) be the third derivative of -p**5/20 + 9*p**3 - 3*p**2. Is 27 a factor of b(j)?
True
Let l(n) = n**3 - n**2 + 10*n - 36. Let w be l(14). Suppose -2*y - 4*y + w = 0. Does 34 divide y?
True
Suppose 12*d + 26892 = 39*d. Is 12 a factor of d?
True
Let w be 396/(-48) - -8 - (-62)/(-8). Let n(x) = 2*x**2 + 11*x + 15. Let u(p) = -10*p**2 - 55*p - 75. Let h(r) = 11*n(r) + 2*u(r). Is h(w) a multiple of 7?
False
Let v(k) = -k + 11. Let q be v(5). Let i be (102/(-4))/(3*q/(-48)). Let z = i + -46. Is z a multiple of 11?
True
Suppose -u + 5 = 0, 383 - 2153 = -4*l + 2*u. Suppose 15*c - 224 = 13*c + 4*m, 4*c - 5*m = l. Is 39 a factor of c?
False
Suppose 9198 = -54*m + 58*m + 3*z, -m + 2*z + 2294 = 0. Is 29 a factor of m?
False
Let j(c) = -c**3 + 5*c**2 + 11. Let h be j(6). Let q = 29 + h. Does 2 divide 57/5 - 0 - q/10?
False
Suppose -2*d = -4*x - 12564, 272*d - 31419 = 267*d + x. Is d a multiple of 9?
False
Suppose 4*k - 126 = 3*k - 3*h, 0 = -3*h + 6. Let f = k - 128. Let c = 88 + f. Is 16 a factor of c?
True
Suppose 9*l - 334 + 19 = 0. Suppose 0 = -2*c + 171 - l. Let n = c - 65. Does 2 divide n?
False
Suppose 3 = -a + 2*a. Suppose -3*y - a*t + 400 = -t, y - 140 = -4*t. Suppose -4*d - 3*i + y = 0, -d = -5*d + i + 132. Does 11 divide d?
True
Suppose 310*i - 293*i = 7106. Does 10 divide i?
False
Let h(r) = -r**3 + 5*r**2 - 19*r + 43. Let t be h(3). Is 4 a factor of (-8168)/(-68) + (t - (-280)/(-68))?
True
Let z = 9 - 7. Suppose -7 = -2*i - r, -i + 4*i + z*r = 11. Suppose 159 = i*a - 81. Is a a multiple of 16?
True
Suppose 12*z - 217 = 179. Is 2 a factor of z?
False
Let r(k) = 9*k**2 + 50*k + 176. Is r(-4) a multiple of 10?
True
Suppose -k + 6*k + 15 = 0, -q = 2*k - 255. Suppose 5*r = q + 64. Suppose 0 = -x - 2*n + 58, -4*n - r - 11 = -2*x. Does 24 divide x?
True
Does 37 divide 22946/14*(-2 - -2 - -4 - 1)?
False
Let v = 667 + -626. Suppose -v*t = -27*t - 7280. Is t a multiple of 8?
True
Suppose 8*y - 2*j = 9*y - 1570, 3*j = -5*y + 7857. Suppose -10*t + 8358 = -y. Is 37 a factor of t?
False
Let t be (-124)/((-6)/(-3))*(-9)/2. Let l = t + -128. Let i = -91 + l. Is 6 a factor of i?
True
Let z(a) = 1363*a - 8247. Is z(15) a multiple of 38?
True
Suppose 332*u - 329*u = 972. Suppose -h + u = p, 3*h - 3*p = -7*p + 977. Is h a multiple of 29?
True
Let r(c) = c**3 - 4*c**2 - 9*c + 14. Let k be r(6). Let z = -25 + k. Suppose z*g = 5*g + 140. Does 14 divide g?
True
Let c = -3588 + 6054. Does 9 divide c?
True
Suppose 7*n - 71 