 = 62*v - 1. Is 52 a factor of c(3)?
False
Let t(y) = -y**3 - 11*y**2 + 15*y - 3. Let v(c) = -c**2 - 5*c - 6. Let n be v(-6). Let x be t(n). Let k = 84 + x. Does 15 divide k?
True
Suppose -2*m - 2*m = 0. Suppose m = -5*c + 1 + 9. Suppose 0 = -5*n - 5*u + 225, -2*n + u = c*n - 175. Is 11 a factor of n?
True
Let h = -174 - -100. Let t = 139 + h. Is 7 a factor of t?
False
Suppose -3*d - 2*d - 32 = 2*u, 3*u - 4*d = -25. Let y(i) = i**2 + 10*i - 10. Let c be y(u). Does 15 divide (0 - -41)/(c + 0)?
False
Let x = -1173 + 1954. Is x a multiple of 15?
False
Suppose 2*t = -5*q + 382, 37 = 2*t - 4*q - 309. Is t a multiple of 37?
False
Let y = -33 + 36. Is 14 a factor of ((-4)/(-3))/((-500)/168 + y)?
True
Let i = 1224 + -1124. Is 18 a factor of i?
False
Let r be 1788/8*(0 - (-8)/(-12)). Let t = r + 227. Is t a multiple of 7?
False
Suppose 5*t = -4*d + 2213, -5 + 1 = -4*t. Is d a multiple of 4?
True
Let y = -151 + 223. Does 9 divide y?
True
Suppose -y = -5*d - 16, -y = -4*d - 0*d - 13. Let l be (-1)/(-1)*(-63)/d. Suppose 9 = 6*t - l. Does 2 divide t?
False
Let b = 27 - 23. Suppose -b*p - 177 = -5*z, 127 = -4*p - 3*z - 2*z. Does 19 divide (p/4)/(1/(-2))?
True
Let r be (-1)/1*-269*1. Suppose -163 - r = -9*p. Is p a multiple of 8?
True
Let d = 50 - 50. Suppose -4*r - 4*t + 396 + 0 = d, 93 = r + 3*t. Is r a multiple of 17?
True
Let d = -23 + -36. Suppose 0 = -3*l + 7*f - 3*f + 282, 3*f = -3*l + 303. Let s = l + d. Does 13 divide s?
True
Let h(c) = c**2 - 13*c - 15. Let x be h(14). Does 6 divide (-2*(-93)/6)/(x/(-1))?
False
Let v(g) be the first derivative of g**3/3 - 2*g**2 - 4*g - 2. Let k = 60 + -54. Does 4 divide v(k)?
True
Let c = -408 - -551. Is c a multiple of 13?
True
Suppose 26*q - 7*q - 19399 = 0. Is q a multiple of 17?
False
Let p(k) = -k. Let b be ((-2)/1)/(-2)*-1. Let x(w) = -18*w + 12. Let u(c) = b*x(c) + 12*p(c). Does 12 divide u(8)?
True
Does 111 divide (-486)/(-7)*(74 + -53)?
False
Let w(l) = 21*l**3 - 16*l. Does 37 divide w(6)?
True
Let d = 521 - -141. Is d a multiple of 32?
False
Is 51 a factor of (-3)/8 - (-194412)/544?
True
Is (2/3)/2 + 128992/96 a multiple of 24?
True
Let g = 96 - 20. Is 4 a factor of g?
True
Let r(j) be the third derivative of -5*j**2 - 1/60*j**5 + 0*j + 1/8*j**4 + 1/120*j**6 + 0 - j**3. Does 18 divide r(4)?
True
Suppose 3*i - 542 = -q, -14*q + 9*q = -10. Is 8 a factor of i?
False
Suppose 0 = -17*n + 18*n + j - 208, n = 4*j + 218. Is 6 a factor of n?
True
Let i = 26 - 23. Suppose i*s - 6 = 0, 20 = -2*t + 5*s - 42. Let y = t + 33. Is 5 a factor of y?
False
Let d = -154 - -226. Does 4 divide d?
True
Is ((-124)/10)/((-53)/3180) a multiple of 93?
True
Suppose 0 = -5*n - g + 2421, 8*n + 2*g + 1934 = 12*n. Is 11 a factor of n?
True
Let k(s) = -2*s + 261. Does 7 divide k(-34)?
True
Suppose -3*w + 245 = q, 4*q + 380 = -0*w + 5*w. Let d be 5/((-4)/(3 + -7)). Suppose -s + d*s = w. Does 4 divide s?
True
Let y be 2/4 + (-135)/(-10). Let v be 4/y + (-12)/(-7). Suppose 4*r + l = 203, v*r - 98 = 4*l + 8. Is 15 a factor of r?
False
Let a(h) = -27 - h - 35 + 73. Let j be 14/(-1) + -2 + 2. Does 9 divide a(j)?
False
Let t(b) be the second derivative of b**6/360 - b**5/60 - 5*b**3/6 - 4*b. Let x(v) be the second derivative of t(v). Is 6 a factor of x(6)?
True
Suppose -4*x - 412 + 2448 = -4*m, -1022 = -2*x - 2*m. Does 10 divide x?
True
Suppose -122*m = 4*i - 127*m - 501, 3*i - m = 373. Does 13 divide i?
False
Let o = 14 - 10. Suppose -o*q + 112 = -2*q. Suppose -30*p + 26*p = -q. Is p a multiple of 3?
False
Let a(x) = 9 + 17*x - 3*x**2 - 4*x**2 + 2*x**2. Let h(j) = -9*j**2 + 34*j + 17. Let v(d) = -7*a(d) + 4*h(d). Is 21 a factor of v(16)?
True
Suppose -4*l + 9 - 1 = 0, -2*g = -l + 24. Let c(k) = -5 - k**2 - 79*k + 66*k + 9. Is 19 a factor of c(g)?
False
Let j(t) = 3*t**2 - 6*t. Let d be j(4). Suppose -4*i - 4*c = -6*i, -2*c = 5*i - d. Suppose -l + 4*y - 61 = -2*l, -i*l = -3*y - 263. Does 13 divide l?
True
Let v(z) = -30*z - 11. Let d be 0 - (-3 + -1)/(-2). Is v(d) a multiple of 13?
False
Suppose 5*f - 20 = -0*f. Suppose -3*n = -f*n. Suppose n = b - 16 - 4. Does 10 divide b?
True
Let n(x) = 58*x**2 + x. Let f be n(-1). Suppose 3*v - 3 - f = 0. Suppose 0 = k - 13 - v. Is k a multiple of 10?
False
Let a = 153 - -574. Is 68 a factor of a?
False
Let z(v) = 3*v - 2. Suppose -7*t = -60 - 52. Does 15 divide z(t)?
False
Let l(g) = -g**3 + 4*g**2 + 22*g - 34. Is 2 a factor of l(6)?
True
Suppose -1982 = x - 3758. Is x a multiple of 24?
True
Suppose -8*g = -0*g. Suppose r + 3*x - 129 = g, 477 = 7*r - 3*r - x. Is 15 a factor of r?
True
Let c = 4 + -2. Suppose -6 - c = -h. Suppose -y + 70 = -h. Does 26 divide y?
True
Let n(t) = 5*t - 10. Let w = -13 + 28. Let j = w - 10. Is 7 a factor of n(j)?
False
Let t = -247 + 375. Is 13 a factor of t?
False
Let o = 5157 + -3637. Does 76 divide o?
True
Let c(b) = 2*b**3 - 79*b**2 - 76*b + 89. Is 42 a factor of c(41)?
True
Let r(h) = 2*h**3 - 2*h**2 - 2*h + 2. Let f be r(2). Suppose -f = -3*w - 0*w. Suppose 0*u + u = 4*a - w, 5*u - 62 = 2*a. Is 14 a factor of u?
True
Let f(u) = 11*u**2 + 5*u - 14. Let z be f(4). Let o = z + -98. Is 14 a factor of o?
True
Let q(s) = -54*s + 174. Does 10 divide q(-14)?
True
Let v be (-1832)/(-6) - (-6)/(-18). Suppose m - 4*m = 2*l - 187, -5*m - 5*l = -v. Does 13 divide m?
True
Is 7 a factor of (-10368)/(-78) + -4 + 159/39?
True
Let x(p) = p**3 - 23*p**2 + 49*p + 44. Let l be x(25). Suppose -13*g + 185 = -l. Is g a multiple of 38?
False
Suppose -5*z + 2*s + s + 214 = 0, z - 3*s = 50. Let q = 93 - z. Is 13 a factor of q?
True
Suppose 2*x - 2*s - 14 = 0, -s - 12 = -4*x + 4. Suppose -x*k = -3*o - k + 162, 0 = 5*o + 2*k - 270. Does 23 divide o?
False
Suppose l - 1451 = -3*a, 5*a + 5*l - 2914 = -479. Does 15 divide a?
False
Let r(n) = -n**3 + 10*n**2 - 5*n + 4. Let k = 13 + -4. Does 22 divide r(k)?
False
Let h = 9 - 9. Suppose 9*c - 7*c - 10 = h. Suppose -c*a + 36 = -a. Is 3 a factor of a?
True
Let a(r) = -3*r + 15. Let h be a(6). Is 13 a factor of 18581/85 + h/(-5)*-1?
False
Let l(z) = 3*z + 195. Does 3 divide l(-40)?
True
Let s = -33 - -127. Suppose -s*k - 22 = -95*k. Is k a multiple of 2?
True
Suppose -5*m + 2*r - 99 = 19, -5*m - 123 = 3*r. Let j = m + 35. Let z = j + 11. Does 8 divide z?
False
Is 32 a factor of (-126)/(-4)*(-248)/(-12)?
False
Suppose -3*r = 4*l - 70, -17 + 7 = -r + 2*l. Is r a multiple of 6?
True
Let h = 2 - -1. Let c be (-18)/(-14) + -1 + 4/(-14). Suppose 30 = 3*t - h*p, -5*t = 5*p - c*p - 60. Does 11 divide t?
True
Let d(p) = p**3 - 2*p**2 - 5*p + 4. Let t be d(3). Is (t/3)/(16/(-768)) a multiple of 16?
True
Suppose 4*j - 12 = -0. Suppose -599 = -3*w + l, 2*w = -j*l + 455 - 52. Suppose -7*f = -9*f + w. Is f a multiple of 36?
False
Suppose 5*h = 2*l - 6*l + 63, -h - 33 = -3*l. Suppose i - 702 = -l*i. Does 9 divide i?
True
Suppose c - 104 = r, 49*c + r - 320 = 46*c. Is 6 a factor of c?
False
Let d be 9/(-4 + (-2060)/(-512)). Suppose 14*g = 6*g + d. Is g a multiple of 16?
True
Let p = -11 + -25. Suppose -2*o = o - 498. Let z = p + o. Does 38 divide z?
False
Let u be 6/(-10) - (-113)/5. Let r = -18 + u. Suppose -257 - 27 = -r*a. Is 17 a factor of a?
False
Suppose u - 61 - 4 = 5*z, -12 = -3*z. Suppose 3*n + 58 - u = 0. Is n a multiple of 9?
True
Let d(p) = 7*p - 2. Let s be d(2). Suppose -8*b = -s*b + 8. Suppose 0 = 3*y - 4*n - 37, -2*n = -6*y + b*y + 46. Is 4 a factor of y?
False
Let i(g) = -g**3 - 11*g**2 - 6*g - 9. Let a be i(-9). Let k = a + 249. Suppose 308 = 4*f - 4*y, 2*f - k - 22 = -3*y. Is 32 a factor of f?
False
Suppose -2*x + 3*b = -901, -5*x + 3*b + 872 = -1394. Does 18 divide x?
False
Suppose -15*w + 3*w = -1104. Is w a multiple of 3?
False
Let g(h) = 20*h + 14. Let y be g(7). Suppose -3*k + y = 46. Is k a multiple of 5?
False
Let y be (-3)/(-33)*11*(-2 + 1). Suppose 4*c = 6*d - 2*d + 48, -61 = -5*c + 4*d. Let i = y + c. Does 3 divide i?
True
Is 21 a factor of -4 + 13 - (-5 + -221)?
False
Let y(g) = 5*g + 22. Does 47 divide y(5)?
True
Let d(y) = -y + 3. Let t be d(3). Is (1/(-1) - t)/((-7)/21) even?
False
Let v = -1291 + 2896. Suppose 0 = 5*l + 5*b - v, -l - 123 = -5*b - 426. Does 29 divide l?
False
Suppose 2*y + 60 = 12*y. Does 25 divide ((-75)/(-6)*y)/(4 - 3)?
True
Let o = 60 + 49. Is 25 a factor of o?
False
Let l(g) = 5*g**2 + g + 672. Is 28 a factor of l(0