 + 2075. Is f a multiple of 17?
True
Let s = 14 + -12. Suppose 10 + s = 2*v. Is 213/4 + v/(-24) a multiple of 19?
False
Let u = -223 - -279. Let g = 488 - u. Does 36 divide g?
True
Let d be (7 - 6)/(5/(-10)). Does 5 divide ((-1)/d)/((-3)/(-90))?
True
Suppose -293977 = -119*k + 139183. Is k a multiple of 20?
True
Let g(h) = -h**2 - 20*h - 13. Suppose -3*v + n - 6 = 18, 2*n + 24 = -2*v. Let f be g(v). Suppose f + 304 = 5*r. Does 11 divide r?
False
Is 490 - 481 - (16474/4)/((-1)/2) a multiple of 28?
False
Let i be (-9)/3 + 14 + -5. Let j be (-680)/i - (-8)/(-12). Let n = 134 + j. Is n a multiple of 20?
True
Let g = 11295 + -7923. Does 12 divide g?
True
Suppose 0 = -4*t + 3*o + 3 + 3, -3*o + 18 = 4*t. Suppose 3*n = -t*n - 0*n. Suppose 2*j + g - 47 = n, 5*j = 3*j + g + 53. Is 3 a factor of j?
False
Suppose 45017 = 2*t + 5*t. Suppose 4*b + 46*q = 48*q + 5150, 4*q = -5*b + t. Is 33 a factor of b?
True
Let f(c) = 7*c + 136. Let s be f(-19). Suppose 15*j - 16*j + 149 = 5*a, 0 = j - s*a - 165. Is 4 a factor of j?
False
Let p = 8953 + 1883. Is p a multiple of 43?
True
Let d(i) = -20*i - 25. Let p be d(-2). Suppose -3*t = 3*s - p, -s = 4*t - 0*t - 17. Is 15 a factor of (3 - s)*(-135)/(-2)?
True
Let b = 27 + -23. Suppose -4*k + 11 = 5*n, -2*k + b*n + 16 = k. Suppose -k*o = s + 9, -3*s + 0*s - 5*o - 6 = 0. Does 2 divide s?
False
Let h = 759 - 314. Suppose 3*t - 2*a = 3*a + h, 0 = -3*t - 2*a + 410. Does 5 divide t?
True
Let v(i) = -i**2 + 11*i - 7. Let j be v(11). Let x be (10/4)/(j/(-1568)). Is x/12 + (-6)/9 a multiple of 23?
True
Let g be ((-2878)/(-8) - -1) + (-1)/(-4). Suppose -7*d - 3*v - 447 = -2*d, 4*d - v = -g. Let k = -69 - d. Is k a multiple of 11?
False
Let l = -1 - -5. Suppose -16 = y + 3*x - 137, x = -4*y + 451. Suppose -y = -z - 3*p, 2*z - 284 = -z + l*p. Does 23 divide z?
False
Let z(h) = -h**2 - 8*h + 35. Suppose -5*l + 10 = -10*l, 0 = j - 4*l + 3. Let p be z(j). Suppose 0*q + 606 = 5*d + q, -123 = -d - p*q. Is 10 a factor of d?
False
Let l = 103 + -55. Suppose -l = -5*v - v. Does 9 divide 7/(364/v) - 466/(-13)?
True
Let b(j) = -j**3 + 6*j**2 + 8*j + 12. Let o be b(7). Let y(m) = o - 12 + 2*m + 5 + 27. Is 17 a factor of y(-11)?
True
Suppose 5*r + 3*b + 520 = 4*b, 0 = -4*r + 4*b - 432. Let p = 115 + r. Let y = p - -36. Does 12 divide y?
True
Does 31 divide 94178/28 - 4 - 21/6?
False
Let r = 791 + -875. Is 70/r*1236/(-2) a multiple of 30?
False
Suppose 64*j - 3611 - 2085 = 0. Is 8 a factor of j?
False
Suppose -8*v - 60 = -14*v. Let m(x) = x**3 - 3*x**2 - 4*x + 5. Let k be m(4). Suppose k*y = v*y - 805. Is 37 a factor of y?
False
Let v(m) = -239*m + 11276. Is 10 a factor of v(4)?
True
Let v(z) = z**3 + 21*z**2 - 22*z + 18. Let y be v(-22). Let l be 86/(-4)*y/9. Let u = 76 + l. Is u a multiple of 4?
False
Let u(r) = 5*r**2 + 101*r + 4449. Does 63 divide u(88)?
False
Suppose 77*d - 84*d + 532 = 0. Suppose 3*u = -u + 20. Suppose -3*f - d = -u*f. Is 5 a factor of f?
False
Suppose -2*m = 4*l - 8862, 26*m + 8820 = 4*l + 22*m. Does 14 divide l?
True
Suppose 13*x - 4140 = 14*x - 6*x. Is 9 a factor of x?
True
Suppose -4*i - 4*i = -2*i. Suppose 2026 = 3*z + 5*n + 554, -z - 2*n + 490 = i. Is 23 a factor of z?
False
Let c be 312/54 + 4/18. Let d be (-43 + 0)/((2 - 5)/3). Suppose -c*g + d = -17. Is g a multiple of 2?
True
Does 25 divide -1*(-2 - 2)*(-3150)/(-756)*186?
True
Let o be ((38/(-6) - -4) + 2)*18. Is 51 a factor of 5108/8 - 3/o?
False
Let o be 0 + (7 - 2) - 0 - -2. Suppose -3240 = p - o*p. Does 64 divide p?
False
Let p(h) = -34*h + 3614. Is p(61) a multiple of 11?
True
Let p = -6191 - -7138. Is p a multiple of 4?
False
Let h = -40 + 21. Let g be h*(-1 - 1) + 4. Suppose 0 = -3*k + 3*b + 150 - g, -5*k = -3*b - 172. Is 16 a factor of k?
True
Let a = -226 + 238. Let z(f) = 3*f**2 + 4*f - 58. Is z(a) a multiple of 64?
False
Suppose -4 = -3*j + 8. Suppose -3*a = j*s - 1967, -3*s - 1003 = -5*s + 5*a. Let t = s - 350. Is t a multiple of 25?
False
Let o(z) = -91*z. Let j be o(-3). Suppose -4*v + j + 251 = 0. Is v a multiple of 10?
False
Suppose 4*y = 3*q - 136, 0 = q - 2*q. Let g = -3542 - -3436. Let a = y - g. Does 12 divide a?
True
Let k be 11/(2*-1*18/(-468)). Suppose 0 = 23*g - 501 - k. Is g a multiple of 28?
True
Let c(x) = -3519*x + 1601. Is 17 a factor of c(-5)?
False
Let a = -13138 + 23566. Does 66 divide a?
True
Let u(k) = k**3 + 2*k**2. Let t be u(-3). Let x be 0/(t/3) - (22 - 1). Let d = -10 - x. Is 8 a factor of d?
False
Is 17 a factor of ((-1)/(-3)*-28177)/(20/(-60))?
False
Let g(y) = -2*y**2 + 17*y + 19. Let t be g(7). Let n(r) = r**2 - 38*r + 66. Is n(t) a multiple of 66?
False
Let u be (-9)/(-12) - 27/(-12). Let j = 207 - 97. Suppose -4*z = h - 185, -u*z + h = -4*h - j. Does 9 divide z?
True
Let u = -103 + 146. Let q = 295 + -225. Let k = q - u. Is k a multiple of 9?
True
Let k(p) = p**3 - 51*p**2 - 12*p + 902. Does 3 divide k(52)?
True
Does 151 divide 9*((-1)/2 - 0)*(-1520 - -10)?
True
Let c(m) be the first derivative of m**3/2 + 10*m + 3. Let i(d) be the first derivative of c(d). Is 11 a factor of i(14)?
False
Suppose -354 - 107 = -h - 2*f, 3*h - 5*f = 1339. Let n = 121 + h. Is n a multiple of 9?
False
Let p(o) = -5*o**3 - 5*o**2 - 3*o + 5. Let k = -44 + 40. Let h be p(k). Let n = -161 + h. Is 24 a factor of n?
True
Is 3538 + 27 + 36/(6/(-2)) a multiple of 11?
True
Let s = -2400 - -220. Let v = s + 3735. Does 35 divide v?
False
Let f = -6641 - -7781. Is f a multiple of 12?
True
Let v(x) = 507*x - 1. Let a be v(1). Let n = -143 + a. Suppose -3*w = -4*l + 9*l - 597, -n = -3*l + 3*w. Is l a multiple of 19?
False
Let a = -2 + 8. Suppose -a*k - 6*k = -36. Suppose 0 = -k*f + 4*f - 4. Is 3 a factor of f?
False
Let v(n) = n**2 - 13*n - 39. Suppose 0*m - 3*d - 110 = -5*m, 4*d = -5*m + 75. Does 5 divide v(m)?
True
Let l be 0 + -2 + -212 + (-12)/4. Let t = -194 - l. Is t even?
False
Does 27 divide -436*(-69)/(-9)*6/(-4)?
False
Let l be (-2 + 56/12 + -3)*3. Let h be (2/l)/(-2)*(8 - 3). Suppose 3*z + k - 70 = -0*z, -5*k = h*z - 110. Is z a multiple of 4?
True
Is -2*1/31 - ((-7243120)/496 - 29) a multiple of 62?
True
Let g(b) = -b**3 - 7*b**2 + 19*b - 7. Let j = -81 + 72. Let v be g(j). Let m = 292 + v. Is 46 a factor of m?
True
Let j(g) = 146*g**2 - 204*g + 410. Does 32 divide j(2)?
False
Suppose 13755 = 4*t + 1323. Does 58 divide t?
False
Let a(b) = 1295*b + 1765. Is a(5) a multiple of 13?
False
Suppose -3*h = -5*g - 5992 + 109960, -4*g = 3*h - 83142. Is 234 a factor of g?
False
Let j(u) = 8*u - 56. Let g(b) = 9*b + 4. Let t be g(1). Is 16 a factor of j(t)?
True
Let k(y) = -y**2 + 2*y - 3. Let t be k(2). Let x(o) be the second derivative of o**4/6 - o**3/2 - o**2 - 15*o + 3. Is 3 a factor of x(t)?
False
Suppose u = -15 + 14. Let z be u/(1/(-12) - (-4)/(-16)). Suppose -i + 95 = 3*a, 5*a - z*i - 165 = 2*i. Is 10 a factor of a?
False
Let c(d) = d - 31. Let f be c(34). Suppose 5*n + f*v = 2385, -228 = -2*n - 4*v + 726. Is n a multiple of 9?
True
Let k = 28490 + -25023. Is k a multiple of 16?
False
Let f = 356 + -4. Is f*((-10)/(-15) - (-17)/6) a multiple of 88?
True
Let l(r) = 4*r**2 - 11*r + 15. Suppose 15 = -6*s - 27. Does 12 divide l(s)?
True
Let x(t) be the third derivative of -t**5/30 + 23*t**4/12 + 7*t**3/2 - 32*t**2. Is 39 a factor of x(14)?
True
Suppose 5987 = -3*h - 2*y, 10*h - 4*y = 8*h - 3970. Let k = h - -3285. Is k a multiple of 34?
True
Let y(c) = 88*c - 52. Let t be y(4). Suppose 0 = -p - t + 530. Is p a multiple of 58?
False
Let z(w) be the third derivative of w**4/12 + 13*w**3/3 - 7*w**2. Let a be (-4)/(-6)*(17 + -23) - -25. Is z(a) a multiple of 3?
False
Let v = -4912 - -5777. Is v a multiple of 28?
False
Suppose -4*u = -11*u + 91. Let v(b) = -b**2 + 13*b - 12. Let w be v(u). Is 3 a factor of (w/42)/((-3)/84)?
False
Let a(l) = 3*l**2 - 10*l - 1. Let k(d) = -8*d**2 + 29*d + 2. Let w(q) = 11*a(q) + 4*k(q). Let s be w(-4). Does 9 divide 110/s*(-1 + (0 - 0))?
False
Let s(d) = -2*d**3 - 2*d**2 + 15*d + 13. Let m be s(-6). Let t = 895 - m. Does 58 divide t?
False
Let o = -3039 - -2929. Let f = -19 + -11. Does 3 divide 2/3*-1 + o/f?
True
Let k(u) = u**3 + 7*u**2 - 11*u - 5. Let b be k(-4). Let y = b + 96. Does 67 divide y?
False
Let a = 83 - 89. Let n be 3*(1 + 2/a). Is (1*244 + n)*(-10)/(-30) a multiple of 13?
False
Suppose 329*a = 331*a +