3*j + 5*h + 26. Suppose 0*l + 3*m = -l + j, 3*l - m = 46. Does 14 divide l?
True
Suppose -i - i + 48 = 0. Suppose 2*n + 6 = -0, -4*n = -3*f + i. Suppose -f*y = -7*y + 204. Does 16 divide y?
False
Suppose w - 22 = -5*j, 3*w - 2*j - 139 + 56 = 0. Let k = w - 27. Suppose k = -6*a + a + 65. Is a a multiple of 6?
False
Let b be 9/15 + -1 + (-2)/(-5). Suppose -u + 130 = 3*h, b = -h - 3 + 1. Does 16 divide u?
False
Let l(b) be the first derivative of -b**4/4 + 5*b**3/3 + 5*b**2/2 - 4*b + 1. Let y be l(3). Suppose 5*p - 99 = -y. Is p a multiple of 7?
True
Suppose o = -33 - 40. Let v = o + 107. Is 28 a factor of v?
False
Let b(x) = 5*x**2 + 6*x + 12. Suppose 2*p + 12 = -a, 0 = -4*a - 5*p + 2*p - 33. Does 12 divide b(a)?
True
Suppose -l + 144 = 2*l. Let r(h) = -h + 5. Let p be r(5). Suppose -2*u - 3*s + 52 = 0, 2*u + s + p*s = l. Is 23 a factor of u?
True
Suppose 2*j = 4*c - 5190, 2*c - j = -2*j + 2601. Is c a multiple of 68?
False
Let p = -75 - -80. Suppose 4*z - 34 = -3*b + 2*b, -p*b + 2*z + 170 = 0. Is 27 a factor of b?
False
Suppose 6*f - 5100 = -5*c + f, -5090 = -5*c - 3*f. Does 17 divide c?
False
Let i(h) be the third derivative of -h**4/4 - h**3/3 - 4*h**2. Let b be 2/(4/(-42)*3). Is 15 a factor of i(b)?
False
Suppose u + 3*u = -64. Let h be -1 + ((-24)/18)/((-1)/24). Let g = h + u. Is 5 a factor of g?
True
Let s = 4044 + -1941. Is 66 a factor of s?
False
Let c be 0/((-5)/(20/(-8))). Let k be (-27)/(-1)*(-1 - c). Let y = k + 78. Is y a multiple of 17?
True
Suppose t = 4*q + 6, -2*t + 0*q - 5*q = 1. Suppose 0 = -3*g + t*v + 138, -3*g - v + 129 = -0*v. Let c = -7 + g. Does 25 divide c?
False
Let h(z) = 5*z**2 + z - 2. Let f(c) = c**3 + 2*c**2 + c - 2. Let s be 0/3 + -4 + 4. Let a be f(s). Does 8 divide h(a)?
True
Suppose 35*k - 16*k = 7847. Is 9 a factor of k?
False
Let d = -209 - -42. Let s = d - -236. Is s a multiple of 29?
False
Suppose -2*y = 11*y - 65. Suppose 0 = -5*x - 5*g + 260, 0*g = -y*x + 4*g + 260. Does 26 divide x?
True
Let c = 102 + 12. Does 36 divide c?
False
Suppose 0 = 4*q + 3*y - 582, 3*q - 16*y - 449 = -12*y. Does 27 divide q?
False
Suppose 0 = r - 3*g - 56, -3*r - g + 103 = 3*g. Let n = r - 14. Is 2 a factor of n?
False
Let r(a) = a - 2. Let b be r(3). Let i = b - -1. Suppose 7*s = i*s + 30. Is 3 a factor of s?
True
Let g(o) = 264*o. Let j be g(1). Suppose 16*c - j = 14*c. Does 22 divide c?
True
Let b(a) be the second derivative of 1/6*a**3 - 3*a + 0 + 13/2*a**2. Is 4 a factor of b(-6)?
False
Let v = -7 + 11. Suppose 0 = -4*o + 5*j + 7, -4*o = j - 5*j - v. Let c(b) = -3*b + 3. Is c(o) a multiple of 3?
True
Does 42 divide ((-1349)/2 + 15/30)/(-1)?
False
Let o = 766 - 416. Is o a multiple of 12?
False
Let t(d) = -2 + 20*d**2 + 19*d**2 - 39*d**2 - 3*d - 92*d**3. Is 10 a factor of t(-1)?
False
Let k = 10 + -11. Let z = k + 4. Suppose -z*v + 8*v = 100. Is v a multiple of 5?
True
Let w = -682 - -1114. Is 32 a factor of w?
False
Let x = 73 - 25. Let t = x - 6. Is t a multiple of 16?
False
Let q(i) = -10*i - 40. Is q(-20) a multiple of 16?
True
Let c(r) = -r**2 + 10*r - 19. Let a be c(6). Suppose 333 = a*b - 192. Does 35 divide b?
True
Let g be 2/9 + (-194)/(-18). Suppose 13*o - 48 = g*o. Is 12 a factor of o?
True
Suppose 5*v + 5 = 0, -5*r - 14 + 43 = v. Suppose 4*m - r*w - 1216 = -4*w, -m - 4*w + 286 = 0. Does 24 divide m?
False
Let n(r) = 207*r - 8. Does 82 divide n(4)?
True
Suppose 4*v + 14*w = 16*w - 8, 0 = 2*v - 3*w + 8. Let k(h) = -h**3 - h**2 - h - 14. Let s be k(0). Does 7 divide s/v + (-2 - 0)?
False
Suppose t - 218 = -3*q, 0 = -q - 4*t - t + 82. Does 12 divide q?
True
Is 36 a factor of (1080/70)/((-1)/(-28))?
True
Suppose 372*s - 377*s = -2495. Is 24 a factor of s?
False
Let o = -150 - -210. Let i = o + -46. Is 7 a factor of i?
True
Let m be 3 + -7 + -1 + 3. Let g(y) = 4*y**3 - y + 2*y**2 + 4 - 7*y**3 + 1 - 4. Is 7 a factor of g(m)?
True
Is 6 a factor of (0 - 46/(-3))/(7/63)?
True
Let c = 6 - -4. Suppose -2*m - c = 4*d, 3*d - 31 = m - 1. Is (216/m - -1)*-5 a multiple of 19?
False
Suppose 4*g = 4*v + 16, 2*g + 5*v - 2 + 1 = 0. Suppose -112 = -g*m + 29. Does 14 divide m?
False
Let f be 264*(-5)/(75/(-10)). Let s = f - 101. Is s a multiple of 25?
True
Let x(w) = 3*w**2 + 3*w + 4. Let s be x(-2). Let g(h) = -h**2 + 14*h + 2. Is g(s) a multiple of 15?
False
Let x = 1861 - 1171. Is x a multiple of 30?
True
Let k = -23 + 213. Is k a multiple of 53?
False
Suppose c = 4*k + 665, -2*c - 2*k = 2*c - 2732. Suppose -5*s = -3*z + 364, -25 = 5*z + 4*s - c. Is z a multiple of 23?
False
Suppose 0 = -3*x - 2*x + 275. Let b = -68 - -41. Let c = x + b. Does 28 divide c?
True
Suppose -36 = 4*r + 5*i, 3*i = -5*r + 3*r - 18. Does 18 divide 48/(-40)*780/r?
False
Suppose -18*z - 11*z + 13456 = 0. Does 29 divide z?
True
Let x(d) = -7*d - 28. Let l = -113 + 106. Does 6 divide x(l)?
False
Let f(z) = 12 + 0*z**2 - 7*z**2 - 16*z + 6*z**2. Does 8 divide f(-14)?
True
Let p(i) = -113*i + 12. Does 69 divide p(-6)?
True
Is 2 a factor of (30*4/18)/(116/4002)?
True
Let n be 0/(1*(-2 + 0)). Suppose o - 3*o - 2*l + 14 = n, -3*o + 4*l = 7. Suppose -2*t + 164 = -0*t + o*j, 2*j + 448 = 5*t. Is t a multiple of 23?
False
Suppose 26040 = 278*d - 263*d. Does 31 divide d?
True
Let d(x) = 9*x**2 - 3*x + 3. Let z = 0 + 2. Let a be d(z). Suppose 0 = 9*b - 6*b - a. Is b a multiple of 4?
False
Let w be 9/((-126)/40)*-7. Suppose a = -4*v + 2, -w = -2*a - 0*a - 4*v. Is 984/a + (-2)/3 a multiple of 16?
False
Let r be (20 - 24)*2/4. Let b = 5 + r. Suppose -5*f = b*w - 107, -f + 20 = 2*w - 0. Does 12 divide f?
False
Let h(v) be the second derivative of -v**5/10 - 2*v**3/3 - 3*v**2/2 + v. Let l(k) = -k - 5. Let i be l(-3). Is h(i) a multiple of 6?
False
Let q = -442 + 1022. Is 10 a factor of q?
True
Suppose -k + 3*k = 8, -n + 19 = 4*k. Suppose i - 65 = -5*r, -2*i - 38 = -n*r - r. Is 5 a factor of -2*3/r*-10?
True
Suppose 2*s + 12 = 5*s + 4*y, -y + 3 = -4*s. Suppose s = -5*i + 7*i. Suppose -5*z = -i*b + 2*b - 15, 0 = 5*b + z - 72. Is 7 a factor of b?
False
Suppose -s + 0*a + a = -7, 5*s + a - 17 = 0. Is 1 + ((-4)/s - -54) a multiple of 9?
True
Let u(c) = c**3 + 24*c**2 + 38*c + 33. Is 6 a factor of u(-21)?
True
Let n(d) be the second derivative of -d**3/3 + 27*d**2 + 2*d. Let u(z) = z**3 + 8*z**2 - 4*z + 45. Let v be u(-9). Is 11 a factor of n(v)?
False
Let g = 13 + -11. Suppose -2*y + 264 - 90 = -g*q, -q = 5*y + 57. Let c = q - -163. Is c a multiple of 27?
True
Is 4 a factor of ((-24)/(-28))/(295/140 - 2)?
True
Suppose -2*o + 4 = 26. Let l = o - -35. Does 4 divide l?
True
Let x(f) = 2*f**3 - 17*f**2 + 14*f - 3. Let j(n) = n**3 - 9*n**2 + 7*n - 1. Let q(z) = -5*j(z) + 3*x(z). Is q(7) a multiple of 21?
False
Suppose -6*y + 1707 = -5931. Is 11 a factor of y?
False
Let x(w) = w**3 - 3*w**2 - 5*w + 6. Let n be x(4). Is (3 - n)/(3*(-2)/(-138)) a multiple of 6?
False
Is (-1275)/(-15) + (2 - -1) a multiple of 3?
False
Let y = -204 - -306. Suppose -y = -w + 16. Does 12 divide w?
False
Let v(d) = d + 15. Let f be v(-13). Suppose -5*j = -f*j - 267. Suppose 0 = 3*y + 4*b - 107, -2*y - 2*b + j = 15. Is y a multiple of 14?
False
Is 44 a factor of 6/1 + (-92 - -1261)?
False
Let q(n) = -7*n + 21. Suppose -m - 11 = -4. Does 14 divide q(m)?
True
Let a(u) = -3*u**2 - 34*u + 11. Let n(w) = 2*w**2 + 23*w - 6. Let v(z) = -5*a(z) - 8*n(z). Suppose -3*h = -4*h - 10. Is 11 a factor of v(h)?
True
Let w(u) = 4*u**2 - 103*u - 25. Is w(28) a multiple of 5?
False
Is 40 a factor of (8/(-6))/(6/1080*-1)?
True
Suppose -4*n + 4*r = 3*r - 13, 2*n = 5*r + 11. Suppose -n*u + 210 = -2*u. Does 21 divide u?
True
Let q = 1454 - 310. Is 44 a factor of q?
True
Let t = 26 - 21. Suppose -136 = t*g - 6*g. Is g a multiple of 18?
False
Let u be (-4 + 7)*1*1. Suppose 0*n = -2*h + u*n + 105, 0 = 2*h - n - 99. Is h a multiple of 12?
True
Suppose 105 = 5*r - 150. Let c(g) = -g**3 - 14*g**2 - 14*g - 19. Let f be c(-13). Is (r/34)/(f/(-40)) a multiple of 5?
True
Is 38/57 + 2516/6 a multiple of 15?
True
Let a(b) = -b**3 + 13*b**2 - 15*b - 9. Let j be a(11). Suppose i + j = -4*z, 81 = -2*i + 2*z + z. Let n = i - -68. Does 20 divide n?
True
Let d = -327 + 637. Does 23 divide d?
False
Let p(o) = -2*o + 20. Let b be p(16). Let q be ((-4)/b)/(1/(-3)). Let w = 27 - q. Is 16 a factor of w?
False
Let o(g) be the third derivative of g**6/120