 75909 - 190269 = -37*f. Does 12 divide f?
False
Suppose -38*c + 416666 + 56552 = -104040. Is 75 a factor of c?
False
Let c(w) = w**2 - 10*w + 29. Let q be c(6). Suppose -88 - 682 = -q*t. Does 10 divide t?
False
Suppose -2 + 98 = b. Let f = b + -80. Is 8 a factor of f?
True
Suppose -4*z - 25 = 35. Does 2 divide z/(-6)*(-8 + 22)?
False
Let j(i) = -i**3 - 7*i**2 + 10*i. Suppose -4*q + 7 - 4 = 5*k, q = -2*k. Let a be (63/(-14))/(3/(-6) - k). Does 12 divide j(a)?
True
Let n be (102/9)/((-94)/(-1551)). Suppose -26 = -u - u. Let p = n - u. Does 29 divide p?
True
Let d(q) = -143*q + 175. Suppose -3*y - 12 = 5*n - 1, -33 = 5*y + n. Is 49 a factor of d(y)?
True
Let v(z) = 201*z - 5052. Is v(55) a multiple of 13?
False
Suppose 506 = d - 4*i, 0 = -3*d + 2*i + 1584 - 146. Is 7 a factor of d?
False
Suppose 5*b + 9097 = 4*u, 0 = 2*u + b - 2070 - 2461. Does 11 divide ((-1)/2)/((-9)/u)?
False
Let f(x) = -9*x - 28. Suppose 0 = 2*v + 2*h + 26, -45 = 5*v - 11*h + 6*h. Is f(v) a multiple of 17?
False
Let u = 24 + -22. Suppose u*l = s - 284, 17 = 4*l + 1. Let m = -197 + s. Is 19 a factor of m?
True
Suppose 6*w + 4*w = 2600. Let r = -166 + w. Suppose q + r = 317. Is q a multiple of 51?
False
Suppose k - 3*t - 1 = -5, 4*k - 2*t = -6. Does 12 divide k/(4/(-1584)*1)?
True
Let i(n) = 2461*n - 1955. Is i(9) a multiple of 23?
True
Let r be 15/(-20)*-4*4/3. Suppose -r*q + 16 = 0, -2*p + q + 4*q - 30 = 0. Let d = 41 + p. Is 19 a factor of d?
False
Suppose -140259 = -188*j + 215437. Is j a multiple of 22?
True
Let k be (-1165)/(-5) - (-6 + 7). Let y = k - 215. Does 4 divide y?
False
Suppose 0 = -3*f + 432 - 453. Let j(p) = -3*p**3 + 8*p**2 + 7*p - 6. Let d(c) = c**3 - 1. Let b(q) = -4*d(q) - j(q). Is b(f) a multiple of 10?
True
Let u(b) = 432*b - 529. Does 59 divide u(3)?
True
Let l = -4836 + 6760. Is 52 a factor of l?
True
Let r(s) = s**2 + 14*s - 16. Let y(p) = 2*p + 7. Let o be y(-2). Suppose -o*b + g + 4*g - 33 = 0, -3*b = 3*g + 57. Is r(b) a multiple of 9?
False
Let r be (2 - 63/12)/((-4)/16). Suppose 3*g = r + 356. Let v = g + 67. Is 40 a factor of v?
False
Let z = -1 - -5. Let r(x) = x**2 - 584*x + 4 + 2*x**2 - 593*x + 1184*x - 12. Is 17 a factor of r(z)?
True
Let s be (-34)/(-1 + (6 - 7)). Suppose s*j - 5404 = -11*j. Is j a multiple of 4?
False
Let r(q) = -798*q - 432. Does 16 divide r(-4)?
False
Suppose 81*i - 94075 - 529463 = 0. Does 15 divide i?
False
Let c(v) = -v**3 + 14*v**2 - 17*v + 41. Let r be c(6). Let y = r + 142. Is y a multiple of 7?
False
Let d be ((-18)/12)/((-9)/24). Suppose -d*b + g = -3*g - 404, -4*g + 232 = 2*b. Does 11 divide b?
False
Is (-64330)/(-14)*((-105)/75 + 4 + -1) a multiple of 60?
False
Suppose 9*y - 18 = 3*y. Suppose -5*u = -2*z - 8 + 3, -3*u = z - y. Suppose -5*q + 102 + 148 = z. Is q a multiple of 10?
True
Let q(u) be the third derivative of -u**5/15 - 11*u**4/12 - 4*u**3/3 - 15*u**2. Let n be q(-5). Suppose -1860 = -n*i - 13*i. Is 31 a factor of i?
True
Suppose 5*t - 2*t - 12 = 0. Let s(v) = -3 + 17*v**2 - 15*v**2 - t*v + 4 - v. Does 4 divide s(4)?
False
Let o = -2615 - -6711. Is 8 a factor of o?
True
Suppose 13*n - 23*n = -69630. Is n a multiple of 107?
False
Suppose 2210 = 13*z - 3*z. Suppose -5*x = 5*o - 215, 0 = 4*o + o + 2*x - z. Does 45 divide o?
True
Let q = -675 + 650. Is -4 + q/5 + 54 a multiple of 5?
True
Let q be -13464 - (3/3 + 7). Does 10 divide ((-14)/(-4) + -2)/((-48)/q)?
False
Let r(k) = -k**2 - 11*k - 19. Suppose 0*c + 47 = -5*c - j, 3*c = -3*j - 33. Let q be r(c). Let f = 35 - q. Is f a multiple of 9?
True
Let k(d) = -17*d - 171. Let w be k(-34). Suppose 3344 = -w*s + 415*s. Does 14 divide s?
False
Suppose 25182 = 2*p + 44*g - 46*g, 12612 = p - 4*g. Does 44 divide p?
True
Let b(f) = 13*f**2 - 12*f - 48. Let d(k) = -9*k**2 + 8*k + 32. Let a(z) = 5*b(z) + 7*d(z). Does 10 divide a(9)?
True
Let y(b) = b**3 - 2*b**2 - 7*b - 6. Suppose q - 28 = 2*v, 4*q - 4*v - 164 = -9*v. Suppose -5*j = -z - q + 4, -2 = j + 4*z. Is 8 a factor of y(j)?
True
Suppose 12 = q - 0*q + 5*o, -o = 0. Suppose 168 = -9*i + q*i. Is i a multiple of 8?
True
Suppose 5*d - 3947 = -4*f + 1959, 0 = -5*f - 3*d + 7376. Is 28 a factor of 3 - (f/(-33))/((-4)/(-18))?
False
Let z = -1128 - -785. Let r = 559 + z. Is r a multiple of 36?
True
Let l be ((-54)/45)/((-2)/5). Suppose -2*u + 161 = -j, 4*j - 252 = -l*u - 5. Is u a multiple of 27?
True
Suppose 4*u + 58 - 78 = 0. Suppose -4*s = u*f - 409, -f = -3*s + 244 + 39. Is s a multiple of 20?
False
Let d(o) = -3*o - 15. Let n be d(-6). Let h be (-2)/((3/(-40))/n). Suppose 5*c - f - 22 = 72, 4*f = -4*c + h. Does 16 divide c?
False
Let k = 279 + -276. Is 55 a factor of k/4 + (-1 - 2642/(-8))?
True
Suppose 70 = -2*x + 84. Let j(a) = 3*a - 1. Let u be j(1). Suppose -4*r + 4 = 0, x*b - 487 = 2*b - u*r. Is 5 a factor of b?
False
Suppose -31*g + 33*g = 26. Suppose 8*f + 600 = g*f. Is 30 a factor of f?
True
Suppose -6610 = -62*f + 18996. Is 3 a factor of f?
False
Suppose 3*q + 11 = 3*x + 2*x, -3*q - 4*x - 2 = 0. Let f be (3/q)/(3/(-10)). Suppose -f*n + 431 = -p, 5*p - 107 = -4*n + 261. Is n a multiple of 29?
True
Suppose -2*c = 3*c. Suppose c*k - 48 = 4*k. Is -1*k/(-3)*-16 a multiple of 8?
True
Let q(h) = -269*h - 932. Is 6 a factor of q(-20)?
False
Let u(p) = 6418*p**2 - 46*p + 88. Is 23 a factor of u(2)?
True
Suppose 0 = -14*w + 82 - 40. Let m = 15 + 17. Suppose -g - m = -w*g. Is g a multiple of 8?
True
Let j = -22 + 9. Let a(p) = -p - 10. Let k be a(j). Suppose 0 = k*s + 70 - 262. Is s a multiple of 13?
False
Let s = -131 - -258. Let b be 3*(-15)/(-90)*488. Let w = b - s. Is 24 a factor of w?
False
Suppose -661*z + 975*z - 7396584 = 0. Is 78 a factor of z?
True
Let x = -93 + 96. Suppose 3*f + 7*r = 2*r + 103, 0 = x*r + 3. Does 15 divide (f + -6)/(24/9 + -2)?
True
Suppose -26 = s - 32. Let p(k) = -k**3 + 6*k**2 + 5. Let c be p(s). Suppose -c = -d + 5*i, -3*i - 63 = -d - 2*d. Does 5 divide d?
True
Suppose -4*b + 4*f = -12, 4*b = -3*f - 18 - 5. Is b*(3639/(-8))/((-18)/(-24)) a multiple of 67?
False
Suppose -2*r + x - 4*x + 291 = 0, -x - 464 = -3*r. Suppose -10*a = -r - 127. Is a a multiple of 4?
True
Let g be 1*-1 + 1 + 23/(-23). Let y be (3 - 0) + 1 + g/1. Suppose -3*n + 823 = y*c + 22, -804 = -3*n - 2*c. Does 45 divide n?
True
Suppose 0 = -9*c + 5*c + 64. Suppose c*g = 13*g + 480. Let j = g - 27. Is 19 a factor of j?
True
Let h = 257 - -231. Let l = 980 - h. Is 10 a factor of l?
False
Suppose -m = -4*a + 130991, 424*m = a + 419*m - 32743. Does 184 divide a?
False
Let j be 2/(-12) + 139978/276. Suppose u + 45 = j. Does 16 divide u?
False
Is 956/(-10)*(-26)/(520/50) a multiple of 8?
False
Let f(x) = 8*x - 30. Suppose 0 = -12*k + 13*k - 23. Is f(k) a multiple of 11?
True
Let f(u) be the third derivative of 7*u**4/8 - 3*u**3 + u**2. Let j be -2*3/(-15)*(-30)/(-3). Does 11 divide f(j)?
True
Let d(y) = 9*y + 17. Suppose -3*o - 5*o - 168 = 0. Let i be ((-6)/(-4))/(o/(-70)). Is 26 a factor of d(i)?
False
Let o = 9902 - 9695. Does 3 divide o?
True
Suppose -5*o + 1105 = -4*h - 403, 0 = 3*h + 5*o + 1096. Let y = 568 + h. Is 3 - y/((-20)/5) a multiple of 50?
False
Is 1 + -8 - (2 - 4228 - 0) a multiple of 34?
False
Let c(p) = 25*p**3 + 5*p**2 - 11*p - 7. Let k(f) = -12*f**3 - 2*f**2 + 5*f + 3. Let t(g) = -4*c(g) - 9*k(g). Let y be ((10/8)/5)/(10/80). Does 11 divide t(y)?
True
Suppose l - 5355 = -3*r, 0 = 10*l - 9*l - 2*r - 5340. Does 27 divide l?
True
Suppose 245916 = 5*q + 3*a, -2*q + 113122 - 14762 = -2*a. Let o be 2/(-13) + q/273. Is 13 a factor of 2/1*(3 + o/5)?
True
Let c(h) be the second derivative of -h**4/12 + 7*h**3/3 + 8*h**2 - 22*h. Let n be c(14). Suppose -20*s + n*s = -380. Is 19 a factor of s?
True
Let b = -15 + 15. Suppose b = 3*f - 58 - 119. Suppose 0 = -4*r + 2*a + 82, -2*a + a = -3*r + f. Is 18 a factor of r?
True
Suppose -27 = 108*z - 109*z. Is 5 a factor of z + (3 - (-10)/(-2))?
True
Let j be 288*(-7 + 115/10). Suppose j = 10*h - 1764. Is 27 a factor of h?
False
Let c = 8332 - 3677. Is c a multiple of 27?
False
Let r = 149 - 15. Let o = r - 59. Does 21 divide 2880/o - 3/(-5)?
False
Suppose 3*i = 4*s - 4509, 7*s = 2*s - 2*i + 5642. Is 12 a factor of s?
True
Suppose 0 = -r + 2*n + 14, -12*r + 50 = -7*r - 5*n. Suppose r*b + 72 = 492. Is b a multiple of 42?
False
Let r(q) = -58*q + 3390. Is r(8) a multiple of 13