ue
Let s(c) = -c**3 - 9*c**2 - 7*c - 8. Let a be s(-7). Let x = -93 - a. Let q = x - -50. Is q a multiple of 7?
True
Suppose -g + 2 = 41. Let r = -54 + -15. Let a = g - r. Does 8 divide a?
False
Let y(a) = 5*a**2 + 19*a + 2. Let m(d) = 4*d**2 + 18*d + 3. Let j(z) = -6*m(z) + 5*y(z). Suppose -q = 3*q - 56. Is j(q) a multiple of 6?
True
Suppose -3364 = -4*g - 540. Is 69 a factor of g?
False
Suppose 21*i - 18 = 15*i. Is 3 a factor of (i/2)/(2/152*2)?
True
Suppose 0 = -4*t + 2*w + 24 - 2, -w = 4*t - 7. Does 18 divide (-478)/(-4) - t/2?
False
Let q be -2 - (-7 - -3)*1. Let k(c) = 5*c**3 + 2 - 2*c**q - 3*c + 2*c - 3*c**3 - c**3. Is 5 a factor of k(4)?
True
Let u(t) = -3*t + 12. Let n(b) = -b**3 + 14*b**2 + 14*b + 10. Let a be n(15). Is 12 a factor of u(a)?
False
Suppose 0 = 14*g - 9*g - 25. Suppose -177 = -2*x - g. Does 18 divide x?
False
Let h(c) be the third derivative of -c**6/120 - 7*c**5/30 - c**4/8 - 2*c**3 - c**2. Suppose -2*m - 33 = -5*n, 3*m + 2*n = -19 - 21. Does 10 divide h(m)?
True
Suppose 3*k = 12, w - 2497 = -54*k + 52*k. Does 16 divide w?
False
Suppose -s = -3, -s = -5*b - 4*s + 224. Suppose 0 = 5*f + 2*l - 218, 0*f + l - b = -f. Does 9 divide f?
False
Suppose 0 = -333*y + 335*y - 28. Is y a multiple of 3?
False
Let d be -1 - (-140 + 2) - 1. Suppose d = -2*t + t. Is (t/(-10))/(16/40) a multiple of 17?
True
Suppose 268*s - 11270 = 254*s. Is 5 a factor of s?
True
Let q = 1 - 1. Suppose 2*p = -q*p + 54. Is 6 a factor of 6/p + 106/9?
True
Let k = -146 - -141. Let s(d) be the first derivative of d**3/3 + d**2 - 5*d - 1. Is s(k) a multiple of 3?
False
Suppose 5*f + n = 3 + 11, -2*n = -8. Suppose -4*b - f*b + 198 = 0. Is 4 a factor of b?
False
Let f = 174 + 106. Is f a multiple of 15?
False
Let b(u) = u**2 + 5*u - 3. Let o be b(-6). Suppose -o*l = 0, -l - 13 + 61 = 2*w. Is 12 a factor of w?
True
Suppose -6147 = 10*p - 19*p. Is 39 a factor of p?
False
Is 29 a factor of ((-10)/15)/((-4)/1566)?
True
Let t = -11 - -14. Let p(k) = 5*k + 2. Is p(t) a multiple of 5?
False
Does 10 divide ((100/3)/(-5))/((-7)/1218)?
True
Let q(c) = 24*c - 153. Is 63 a factor of q(9)?
True
Is (-13)/((-65)/(-10))*-285 a multiple of 38?
True
Let f(j) = -5*j + 19. Let k be f(5). Does 32 divide (k/10)/(5/(-1375))?
False
Let s(i) = -279*i**3 + 2*i**2 + 2*i. Let x be s(-1). Let a = x - 198. Is 7 a factor of a?
False
Let f(s) = 4*s**2 - 7 + 2 + 2 + 4*s + 0. Does 9 divide f(5)?
True
Suppose 2*n + n = 0. Suppose 3*y - 1 = -5*k, n = -5*y - 3*k + 6 + 1. Suppose y*a + 0*a - 82 = 0. Does 21 divide a?
False
Suppose 23 = -4*f + 5*f. Suppose 0 = -i + 157 + f. Suppose 0*n - i = -3*n. Is n a multiple of 18?
False
Suppose 2*z = -3*n + 16 - 1, -4*n + 9 = -z. Suppose 3*h + 3*g = 189, 5*g + 294 = 5*h + z*g. Is h a multiple of 6?
True
Suppose l = s + 110, -493 + 98 = 4*s + 5*l. Let o = -42 - s. Is 21 a factor of o?
True
Let f(z) = 10*z**2 + 6*z. Let u be f(5). Suppose 2*q + 1426 = -5*l, 2*l + 296 = 2*q - u. Is 6 a factor of 9/54 + l/(-12)?
True
Let u(r) = 1. Let t(d) = 2*d - 8. Let v(c) = t(c) + 4*u(c). Is 7 a factor of v(14)?
False
Let h be 543*(-6)/(-63) + (-4)/(-14). Let o = h - 7. Does 6 divide o?
False
Let i = 0 + 0. Suppose i*d - 6 = -d. Does 18 divide (d/5)/((-22)/(-1705))?
False
Let a = 5 - 4. Suppose -3*t - 72 = -5*i - 4*t, 3*i - t - 48 = 0. Is 6 a factor of a + 3*i/9?
True
Let n(s) = -2*s**2 + 19*s - 6. Let q be n(13). Is (-3)/(-3) - 1 - q - 1 a multiple of 16?
True
Let z(h) = -9*h**2 - 17*h - 2. Let u be z(-7). Let t be u/6 - (-3 - 0). Let f = 6 - t. Is f a multiple of 19?
True
Let u(t) = t**3 - 4*t**2 + 8*t - 30. Is u(6) a multiple of 10?
True
Suppose l - 40 - 46 = -3*a, 2*a - 5*l = 80. Suppose 18*j + 3072 = a*j. Does 32 divide j?
True
Let n be (-2 + -6)*279/6. Is (-3)/(-2)*n/(-18) a multiple of 7?
False
Let c(k) be the first derivative of -7*k + 4 + 5/2*k**2. Does 18 divide c(6)?
False
Suppose 1584 = 3*o + 6*o. Does 11 divide o?
True
Let z = 79 - 34. Suppose z = -20*p + 23*p. Is 6 a factor of p?
False
Let o(m) = -m**3 + 7*m**2 + m - 1. Let v be o(7). Suppose 353 = v*q - 1. Is q a multiple of 34?
False
Suppose 0 = -g - 5, -2*o - 2*o = -3*g - 3355. Suppose o = 5*y - 5*i, -895 = -4*y - 4*i - 219. Is y a multiple of 24?
True
Suppose 0 = -2*t - 4*d + 8608, 1370 = -3*t - d + 14302. Is t a multiple of 77?
True
Suppose -4*i - 2 + 14 = 0. Suppose -2*g - 3*g = -320. Suppose -i*t + g = -32. Is 16 a factor of t?
True
Let a = 566 + -196. Does 6 divide a?
False
Suppose -5*s + 1341 = -4*g + 336, 5*g = -4*s + 804. Is 10 a factor of s?
False
Suppose 5*b - 62 = 3*w, -14 = -b - w + 2*w. Let x = -10 + b. Suppose x = a - 16 - 19. Is 8 a factor of a?
False
Does 15 divide (-16)/10*(-11 - -1)?
False
Let x = 738 - 210. Does 24 divide x?
True
Suppose 1465*y - 1456*y = 21393. Is y a multiple of 75?
False
Let u = -14 - -6. Let v be (-274)/3 + u/12. Let i = v + 130. Is i a multiple of 20?
False
Let y(p) = p**2 - p - 21. Let k be y(0). Let v(r) = -r**2 - 16*r + 11. Let u be v(-17). Let o = u - k. Does 5 divide o?
True
Let q(f) = f**3 - 7*f**2 + 3*f + 6. Let m be q(7). Let k be 0*(4 + m/(-6)). Does 16 divide (-236)/(k - 4 - -2)?
False
Let l(s) = s**3 - 2*s + 1. Let a be 6*1 - 4/4. Suppose -t + a - 2 = 0. Is 12 a factor of l(t)?
False
Suppose -2*w - 4*v + 1216 = 3*w, 0 = -2*w + v + 489. Does 13 divide w?
False
Suppose 4*o = 4*x - 236, 5*x - 275 = -2*o + 13. Does 5 divide x?
False
Let r = 70 + -3. Let c = r - 18. Does 24 divide c?
False
Let o = 2 - 4. Is ((-50)/(-15))/(o/(-24)) a multiple of 10?
True
Let r(n) = n**3 - 8*n**2 + 5. Let k be r(8). Suppose k*b - 595 = x, -5*b + 2*b - x + 365 = 0. Suppose 10*c - b = 5*c. Is 12 a factor of c?
True
Let c(n) = 47*n**2 + 8*n + 2. Is 17 a factor of c(-3)?
False
Let v = 68 + 1887. Is v a multiple of 17?
True
Suppose 0 = s - 3*v - 30, 4*v = 13 + 7. Does 3 divide s?
True
Let x be 3462/15*(3 - -2). Suppose -5*m = -4*l + x, -9*m + 4*m = 2*l - 562. Is l a multiple of 37?
False
Suppose 2*v - 264 = -3*h, 2*h + 88 = 3*h - 5*v. Is 4 a factor of h?
True
Suppose p + 3*l = 1, p + 0*l = -2*l + 6. Let a = p - 3. Is a + 3*3/3 a multiple of 3?
False
Let z(g) be the second derivative of -197*g**5/20 - g**4/6 - g**3/3 - g**2/2 - 20*g. Is z(-1) a multiple of 14?
True
Let y = 750 + -722. Is 6 a factor of y?
False
Does 4 divide 3018/8 - (-264)/96?
True
Let l = -713 - -1009. Does 33 divide l?
False
Suppose 5805 = 18*v + 1971. Does 12 divide v?
False
Let x = 285 - 112. Let t = -94 + x. Is t a multiple of 9?
False
Let x(c) = -c**3 + 13*c**2 - 8*c + 16. Suppose 28 - 4 = 2*r. Is x(r) a multiple of 16?
True
Suppose -b = 3*b + 8. Let k(h) = -h**3 - 2. Let s be k(b). Is 10 a factor of 8/12 - (-236)/s?
True
Suppose -2*z = 6, -11*b + 7*b = -2*z - 2818. Is b a multiple of 19?
True
Let h(s) = s**2 - 14*s + 7. Let b be h(13). Is (-9)/27 + (-338)/b a multiple of 6?
False
Suppose 2*t + 686 = -1742. Let u = t + 177. Is 5 a factor of u/(-119) + 4/14?
False
Let s be (180/16)/(15/40). Let x = s - -10. Is 8 a factor of x?
True
Let x(o) = o**2 - 13*o + 43. Let g be x(10). Suppose 0 = -3*l + g*l - 2160. Is l a multiple of 12?
True
Suppose -a - 2*q = -1539, 10*a = 5*a - 2*q + 7687. Is a a multiple of 53?
True
Let d be (-1 - 50)*(-5)/(-30)*-2. Suppose -135 = 14*y - d*y. Does 5 divide y?
True
Let q = -43 - -28. Let r = q - -56. Let a = r + -25. Does 4 divide a?
True
Let k(l) = 3*l - 1. Let v(b) = -b. Let s(z) = 2*k(z) + 5*v(z). Let q be s(7). Suppose -4*a + 2*y + 334 = 0, a = q*y + 32 + 74. Does 23 divide a?
False
Is -86 + 80 - (-1599 - (-2 - 0)) a multiple of 17?
False
Let d(m) = -m**3 - 8*m**2 + 9*m - 18. Let n be d(-10). Let k = n - 73. Does 11 divide k?
False
Is ((-8)/(-12))/((-16)/(-19632)) a multiple of 12?
False
Does 24 divide 936/((10/(-15))/(4/(-9)))?
True
Suppose 3*j - 18 = 4*x, -2*x - 3*x = -3*j + 18. Suppose 19 = -5*n - j, 5*y + 4*n - 230 = 0. Does 37 divide y?
False
Let p = 11 + -11. Suppose -4*d - 2*n = -n - 150, -d + 2*n + 33 = p. Suppose 0 = 3*b + 5*q - 37, 2*b - 5*q = -4 + d. Is b a multiple of 7?
True
Let b(d) = d - 2. Let g be ((-6)/(-15))/(2/10). Let r be b(g). Suppose -4*l + 23 = -a, 5*l - 5*a - 25 = -r*l. Is l a multiple of 4?
False
Let v(o) = -21*o + 13*o**2 - 14*o**2 + 22 + 34. Is v(-23) a multiple of 10?
True
Let j(t) = -76*t**3 + 80*t**3 + 1 - 3*t - 2*t. Let p(o) = -5*o**3 + 5*o - 1. L