c - 3*c + 69. Does 4 divide i?
False
Let y(v) be the third derivative of -v**4/24 - 3*v**3/2 + v**2. Let i be y(-11). Suppose -g - i = -11. Is 3 a factor of g?
True
Suppose -4*u - 4*y - 12 = 0, -3*u = 7*y - 2*y + 13. Let z be u*8/4 + -16. Let t = z - -29. Does 11 divide t?
True
Let l = -1054 - -2029. Is l a multiple of 39?
True
Let g be 0*(4 + 27/(-6)). Let w be (-3 - g)/((-9)/(-96)). Let h = -12 - w. Does 10 divide h?
True
Suppose 2*s = 13 + 9. Suppose 0 = s*g - 13*g - 56. Is 3 a factor of g/6*(-180)/35?
True
Suppose 11 = 2*g - o, -2*g + 1 = -2*o - 13. Let t be ((-12)/21)/(1/(-7)). Suppose 4*k + t*r - 277 = -r, 3*r + 301 = g*k. Is 15 a factor of k?
False
Let a = -321 + 737. Is 4 a factor of a?
True
Does 19 divide (275/(-15))/(1/(-6))?
False
Suppose 0 = -5*k + 4*b + 44, 0*k = -3*k + 5*b + 29. Suppose -5*p = -2*p - 4*a + k, -4*p + a = -11. Is 2 a factor of p?
True
Let q be 1661 - -9 - (-1 + 0 + -2). Suppose -44 + q = 9*p. Does 34 divide p?
False
Suppose 15 = 3*o, 2*d = -3*o + 31 + 2. Suppose d*t = 6*t + 72. Is 5 a factor of t?
False
Let r = 11 + -9. Suppose -6 = r*n - 16. Suppose -n*d = -10, -5*p - 5*d = -0*d - 170. Is p a multiple of 11?
False
Let b be (-6 + 10 - 4) + 0 + -3. Is 6 a factor of (3/3)/((-1)/264*b)?
False
Suppose 42*w - 8820 = -0*w. Does 35 divide w?
True
Is (1981 + 2)*((-30)/45 - -3) a multiple of 98?
False
Let f(g) = g**3 + 2*g**2 - 2*g + 3. Let c be f(-3). Let d = 1 + c. Let q = 3 + d. Does 2 divide q?
True
Let i(c) = -c**2 + 6*c + 2. Let p be i(6). Suppose -p*k + 42 = -0*k. Is 21 a factor of k?
True
Suppose 2*f = 6*z - 11*z - 1166, -1180 = 2*f - 2*z. Let k = -266 - f. Does 46 divide k?
True
Let c(v) = v**2 - 5*v + 1. Let r be c(4). Let i be r + -1 - (-6 + 12). Let d = i - -34. Is d a multiple of 6?
True
Let j(b) = 18*b. Let k(i) = 2*i - 2. Let r be k(5). Suppose -2*t + 4 = 0, -5*h - 4*t - r = -26. Is 6 a factor of j(h)?
True
Suppose 2*b = 4*b - 6. Suppose b*l - 234 + 90 = 0. Is l a multiple of 10?
False
Let v be 6*((-2)/(-4))/(-1). Let b be (2 - 1/v)*-3. Let z(c) = -c**3 - 6*c**2 + 7*c + 7. Is z(b) even?
False
Let m(u) = 13*u**3 - 2*u**2 + 11*u - 3. Is 4 a factor of m(2)?
False
Let b(c) = 2053*c - 188. Is b(3) a multiple of 19?
False
Is 5 a factor of (-87 + 14)/(11/(-165))?
True
Let f be ((-416)/12)/(-4)*3. Suppose -31*x + 420 = -f*x. Is x a multiple of 21?
True
Suppose b - 293 = -4*p, 4*b - p - 1211 = -4*p. Does 5 divide b?
True
Suppose 13099 = 74*p - 32041. Is p a multiple of 106?
False
Suppose 9*b - 23 = 4. Suppose -b*m = 2*m + 5*a - 485, -4*a - 4 = 0. Is 14 a factor of m?
True
Let u be 27 + (-3 - -1) + -2. Suppose u = i - 28. Does 11 divide i?
False
Let w = -382 - -600. Is 10 a factor of w?
False
Suppose 22*b - 5*g - 1739 = 18*b, -4*b - 3*g = -1747. Does 10 divide b?
False
Suppose 5*t - k - 14 = 0, 4*t - k = 2*k + 20. Suppose b + 14 = 5*i - 61, -4*b = t*i - 30. Is 3 a factor of 40/6 + (-10)/i?
True
Suppose -3*w = -8*w + 20. Suppose w = 3*g - 2. Suppose -42 = -5*f + g*f. Does 11 divide f?
False
Let f = 448 - 104. Is 14 a factor of f?
False
Suppose -4*k + 3 = -9. Let v(n) = 9*n + 5. Is v(k) a multiple of 7?
False
Let t = -45 + 132. Is t a multiple of 3?
True
Suppose -i + 5*i - 3*n = 6, 2 = n. Suppose 2*y + 117 = l, -55 - 290 = -i*l + 4*y. Is l a multiple of 37?
True
Does 3 divide 1570/25 + (-3)/(-15)?
True
Suppose 3*q = -3 + 15. Suppose -4*w - 4*k + 56 = -112, 4*k = q. Suppose -4*a + 3*a = -w. Is 12 a factor of a?
False
Suppose -4*i - 3*q - 1150 = 0, 5*q - 1420 = 5*i - 0*q. Let k = -136 - i. Is k a multiple of 25?
True
Let p be (7/(-14))/((-1)/8). Let k(l) = -p*l + l - 35*l**3 + 2*l. Does 18 divide k(-1)?
True
Let c(y) = 6*y**2 + 17*y + 3. Let x be c(-3). Let f(i) = -2 + 7*i**2 + 5*i - 5*i - i**3. Does 12 divide f(x)?
False
Let m(w) = 4*w**3 + w**2 - 2*w + 1. Let g be m(3). Suppose 5*b + 417 = g. Let c = b + 101. Does 20 divide c?
True
Let u = -55 - -56. Let m(c) = 28*c**3 + 2*c**2 - 2. Is m(u) a multiple of 7?
True
Is 6 a factor of (2560/24)/4*9?
True
Suppose -9*p + 14 + 31 = 0. Suppose 9 = -3*d, 14 = p*b + 5*d - 231. Is b a multiple of 13?
True
Let o = 12 - 12. Suppose -8*z + 2720 = -o*z. Does 21 divide z?
False
Let q = 1480 + -300. Is 59 a factor of q?
True
Suppose 1704 = 8*u - 0*u. Suppose -5*l + u = -82. Does 19 divide l?
False
Is 9 a factor of 75/15 + (1 - -650)?
False
Let t be -1 + (0 + 3 - -1). Suppose 29 = -2*z + t*z. Is 4 a factor of z?
False
Suppose -s + 5*q + 816 = 0, -4*s - 13*q + 14*q = -3340. Is s a multiple of 17?
False
Suppose 194 = -2*o - 4*d, 172 + 20 = -2*o - 5*d. Let j = o + 293. Does 35 divide j?
False
Suppose 0 = -4*m + 5 + 199. Is 8 a factor of 6*3/(18/m)?
False
Let u = 2740 + -2729. Does 2 divide u?
False
Does 38 divide 4/((-1590)/228 + 7)?
True
Suppose -g = 4*d - 104, 2*d - 5*d - 132 = -g. Is g a multiple of 15?
True
Let n(g) = 34*g + 1. Let a be n(4). Suppose 0 = 3*s + 4*q - a, q - 6 = -1. Is 4 a factor of s?
False
Suppose 0 = 19*u - 63*u + 49192. Is 62 a factor of u?
False
Suppose 0 = 3*w - p + 106, -54 - 17 = 2*w - p. Let u = w + 55. Is u a multiple of 5?
True
Let k(s) = s**3 + 15*s**2 + 3. Let g be k(-15). Suppose 8*b - 385 = g*b. Does 9 divide b?
False
Suppose 0 = 2*u + u + 15, u + 11 = n. Suppose w + 505 = n*w. Is w a multiple of 7?
False
Let p be 1 + 12/(1 + 2). Suppose 4*c = p*c. Suppose 3*n = 0, -h = -c*h - n - 56. Is h a multiple of 28?
True
Let n(r) = -r**3 + 12*r**2 + 10*r - 23. Is n(6) a multiple of 16?
False
Suppose 11*v - 6*v = 20. Suppose 82 + 92 = 4*a - 2*k, 2*a - 102 = -v*k. Is a a multiple of 9?
True
Let x(n) = 1750*n**2 + n + 3. Is x(1) a multiple of 82?
False
Suppose 22205 = 5*b + 4*q, -12*b - 3*q + 13320 = -9*b. Is b a multiple of 35?
True
Suppose -3*h - 291 - 538 = -2*c, -4*c + 3*h + 1643 = 0. Let x = c + -238. Suppose 0 = -4*n + x + 63. Is 29 a factor of n?
True
Suppose 2*m + 5*i = 124, 5*m - 292 = -4*i + 35. Let g = -41 + m. Is 12 a factor of g?
False
Suppose 0 = 2*b + 2*b + 84. Let l = 20 + b. Let m(q) = -29*q**3 + q**2 + q + 1. Is m(l) a multiple of 30?
True
Suppose -52*t + 24759 = -25*t. Is t a multiple of 7?
True
Let o = 8 + -7. Suppose -4*j + 2*h = 42, o = 2*j + 3*h + 2. Does 4 divide (0 + -8)*4/j?
True
Let k(t) = 51*t - 1. Let q be k(4). Let r = -105 + q. Is r a multiple of 7?
True
Suppose -m + 0*m = -469. Suppose -95 = 11*o - m. Does 17 divide o?
True
Let r(s) = -9*s. Let x be r(1). Let w be -3 + 4/((-12)/x). Suppose -4*j - 2*y + 194 = w, -5*y = j + 12 - 83. Does 13 divide j?
False
Let c = 644 - 507. Is c a multiple of 19?
False
Suppose d - 515 = -495. Suppose -7*u + 2*u = -15. Suppose z + d = u*z. Is z a multiple of 10?
True
Let u = 35 + -35. Suppose 53 = d - 3*g, 3*d + 0*g + g - 159 = u. Does 14 divide d?
False
Let x(j) = j**3 + 5*j**2 + j - 1. Let p be x(-5). Let g be (-60)/(-18) + (-4)/p. Is -1 + (-1)/(g/(-172)) a multiple of 18?
False
Suppose 4*k - 81 = 5*u, 19 = 5*k - u - 56. Suppose -20 = -4*h, -2*h - k = 3*y - 6*h. Suppose -3*b + 254 = 4*d, -d + 5*b = y*b - 56. Is d a multiple of 19?
False
Let v(q) = 14*q + 151. Let h be v(-11). Let y(u) = 5*u**2 + 4*u + 2. Let b(o) = o + 1. Let l(x) = -4*b(x) + y(x). Does 17 divide l(h)?
False
Let n = 815 + -545. Is n a multiple of 27?
True
Suppose 0 = h + 20 - 20. Suppose -5*c + h*c = -275. Does 10 divide c?
False
Let r = -34 + -23. Let c = r - -138. Is 49 a factor of c?
False
Suppose -2*l - 2*l + d + 12 = 0, 18 = 5*l - 2*d. Is 13 a factor of (l/(-6))/(7/(-819))?
True
Suppose -i + 228 + 322 = -f, 7*f - 1670 = -3*i. Is i a multiple of 24?
True
Suppose -3*n + 5*w = -2*n - 305, -3*n - 2*w = -983. Does 30 divide n?
False
Suppose 3 = -6*k + 15. Suppose -k*z = -15*z + 1066. Is z a multiple of 11?
False
Suppose 2*i - 182 + 192 = 0, 0 = -2*u + 2*i + 7462. Is 27 a factor of u?
True
Let g(t) = -2*t**2 - 10*t + 19. Let m be g(-14). Let h = 378 + m. Is 29 a factor of h?
True
Is 7 a factor of 376 + 5 + -6 + 4?
False
Let x = -497 + 1124. Does 19 divide x?
True
Suppose -4*d + 7484 = o, 567 = -2*d - 5*o + 4309. Is 141 a factor of d?
False
Let i(o) = -3*o**3 + 14*o**2 + 34*o + 8. Let u(x) = 4*x**3 - 14*x**2 - 35*x - 8. Let q(g) = 5*i(g) + 4*u(g). Does 27 divide q(-10)?
True
Let z = 275 - 176. Let h = -59 + z. Is (-1)/(76/h - 2) a multiple of 10?
True
Suppose z - 54 = -5*z. Suppose -12*t = -z*t - 42. Suppose t = l - 1. Is 5 a factor of l