3 + 3*h**2 - 5*h. Does 4 divide j(r)?
True
Suppose 2*t = 3*d + 5, 0 = -3*t + 4*t - 4*d + 5. Is (1*t)/(0 + 1) a multiple of 3?
False
Suppose 0 = 2*x - 4*p - 8, 3*x + 2*p = 4*p + 8. Suppose x*r + 3*r - 35 = 0. Let o(v) = 2*v - 9. Does 4 divide o(r)?
False
Suppose 3*z + 6 = -p + 19, 18 = 2*z - 4*p. Suppose -z*r + 211 = 2*c, -3*c - 5*r + 510 = 206. Does 31 divide c?
True
Let z(v) = v**3 + 9*v**2 + 7*v - 3. Let s be z(-8). Suppose -2*x + s*x - 93 = 4*w, 0 = x - w - 30. Is 16 a factor of x?
False
Suppose -5*m + 12 = -3. Does 4 divide (15/12)/(m/24)?
False
Suppose -2*p + 20 = 3*p. Suppose -p*r + 149 - 521 = 0. Let u = r + 132. Is u a multiple of 10?
False
Suppose 0 = -2*a + 256 - 54. Does 7 divide a?
False
Let n(x) = x**3 + 8*x**2 + 8*x - 2. Let q be n(-6). Let l be 2/6*3*-6. Let t = l + q. Is t a multiple of 16?
True
Let x(v) = -3*v**2 + 19*v - 16. Let r(p) = -2*p**2 + 10*p - 8. Let o(i) = 5*r(i) - 3*x(i). Does 8 divide o(-6)?
False
Suppose 0 = i + 5*w - 80, -12 = -3*w + 3. Is i a multiple of 11?
True
Let x be 124/(-6) + (-5)/15. Let g = 9 - x. Suppose -2*i + 43 = 3*y, 0 = -5*y - 4*i + g + 39. Is 7 a factor of y?
False
Let y(i) be the third derivative of i**5/12 + i**4/8 + i**3/3 - 5*i**2. Let p be ((-2)/(-4))/(1/(-6)). Is 19 a factor of y(p)?
True
Let l(a) = a**2 + 14*a + 1. Is l(-16) a multiple of 19?
False
Let c(k) = 5*k**2 + 15*k + 10. Let t(s) = 3*s**2 + 8*s + 5. Let f(x) = -4*c(x) + 7*t(x). Is 16 a factor of f(7)?
True
Suppose 4*t = 4*i + i - 11, 12 = 3*t + 3*i. Is t - (1 + 1) - -18 a multiple of 6?
False
Suppose 0*r + 4*r = -3*a + 181, 5*r - 228 = -2*a. Does 23 divide r?
True
Let a be (-2)/((-2 - -2) + 2). Let g(s) = -44*s**3 - 2*s**2 - 2*s - 1. Does 16 divide g(a)?
False
Let s be (76/12)/(2/(-6)). Let f = 36 + s. Does 6 divide f?
False
Suppose l + 4*c - 14 = 0, 3*l + c + 0*c - 9 = 0. Suppose n + l*d = -2*n + 16, -8 = -n + 2*d. Is n a multiple of 6?
True
Let n = -72 + 197. Suppose 4*r - 8*r = -8, 0 = -5*y - 5*r + n. Is y a multiple of 6?
False
Let f(h) = h**3 - h**2 - 5*h + 3. Let s be f(3). Let v = -6 + 6. Suppose -3*a + s*a - 90 = v. Does 15 divide a?
True
Let m be -1 - 1*(-2)/2. Suppose m*p + p - 53 = 0. Is p a multiple of 31?
False
Let b = 165 - 117. Is 16 a factor of b?
True
Suppose -4*j - 128 = -5*j + 2*a, 0 = 3*a. Is j a multiple of 36?
False
Let n = -145 + 257. Is 36 a factor of n?
False
Suppose 13 = 3*w - 11. Suppose -4*r + 164 = -w. Suppose -29 = -4*a + r. Is 9 a factor of a?
True
Suppose -18 = -3*i - 3. Suppose 69 = i*t + 19. Suppose 3*w - t = 47. Does 19 divide w?
True
Suppose -2*g + 3*g + 4 = 0. Let z be (-15)/(-12) + (-3)/g. Does 12 divide -3 - z*(-90)/3?
False
Let h(f) = 4*f**3 - f. Let t be h(1). Let x be ((-2)/t)/((-2)/(-12)). Let q = x - -17. Is q a multiple of 8?
False
Suppose -5*s + 0*z + z = -87, 99 = 5*s + 3*z. Is s a multiple of 3?
True
Let w = 58 + -22. Is 18 a factor of w?
True
Let t = 5 + -2. Let c(f) = -f**3 + 5*f**2 + 2*f - 6. Let d be c(5). Suppose -u - 2*m = -18, -d = -2*u - t*m + 31. Does 16 divide u?
True
Let g(y) = -2*y**3 - 5*y**2 - 6*y + 4. Does 6 divide g(-3)?
False
Let n(y) be the second derivative of y**8/6720 + y**7/420 - y**6/180 - y**5/20 - y**4/12 + y. Let a(u) be the third derivative of n(u). Is 17 a factor of a(-6)?
False
Suppose 0 = 3*c - 2*c - 8. Is c a multiple of 4?
True
Let v = 132 + -69. Is v a multiple of 7?
True
Suppose 0 = 5*z + f - 398, -4*f + 58 = 2*z - 94. Is z a multiple of 20?
True
Let m(j) = j**2 + 9*j - 7. Let q be m(-10). Is q - (2 + -1 + -1) a multiple of 2?
False
Suppose -10 = -3*t + 2. Let s = t + 0. Does 2 divide s?
True
Suppose -28 = 2*t - 40. Let q(n) = -n**3 + 8*n**2 - 3*n - 6. Is q(t) a multiple of 16?
True
Is (-70)/(-3)*30/25 a multiple of 14?
True
Let a = 139 + -69. Suppose -5*f = -0 - a. Is 6 a factor of f?
False
Suppose -36 = -b + 3*r, -20 = -b - 8*r + 3*r. Is 6 a factor of b?
True
Let v = -60 - -129. Is v a multiple of 11?
False
Let l = -60 + 84. Is l a multiple of 6?
True
Let i = 7 + -4. Suppose -i*p + 16 = 5*a, 4*p + 2*a + a - 14 = 0. Is (-19*3)/((-3)/p) a multiple of 19?
True
Let x(c) be the second derivative of -c**4/12 + 3*c**3/2 + 11*c**2 - 9*c. Does 6 divide x(9)?
False
Suppose 0 = 5*f - 0*f - 50. Is 3 a factor of 0 + 1 + f + -3?
False
Suppose 37 = 4*s - 5*r, 3*r + 19 = -2*s - 2*r. Suppose 0*a + 3*a - 54 = -5*j, s*j - 42 = -5*a. Let g = 10 + j. Is g a multiple of 13?
False
Let u(f) = -f + 3. Let b be u(10). Let s = 23 - b. Does 10 divide s?
True
Let q(v) = -v**3 + 7*v**2 - v + 12. Is 3 a factor of q(7)?
False
Let x(m) = -56*m. Let c be x(-2). Suppose -307 = -5*k - c. Does 17 divide k?
False
Let k be (-1020)/(-27) - (-4)/18. Let u = -16 + k. Does 15 divide u?
False
Let m = -1 - 0. Let o be ((-8)/(-6))/(m/3). Does 14 divide (-63)/(-2) + 2/o?
False
Let z be (-4)/(-6) - (-1)/3. Is 4 a factor of (z + -2)*(-7 - -2)?
False
Let j(s) = -s. Suppose -2*b + 3*g - 5 = 0, 5*b + 0*g - 35 = -2*g. Let v be b/(2 - (-2 + 5)). Is j(v) a multiple of 4?
False
Suppose -16 = -3*u + z, 0*u + 4*u - 2*z - 20 = 0. Suppose 0 = -4*x + 3*x - 39. Is 11 a factor of 2*(-1 - x/u)?
True
Is (-387)/(-15) + 1/5 a multiple of 3?
False
Let m(o) = o**3 + 8*o**2 + 6*o - 3. Let n be m(-7). Does 3 divide 12*(-4 + 9 - n)?
True
Let l = 37 + -17. Does 20 divide l?
True
Suppose d - 4 = 3*d. Let b be d - (-21 - 0/(-2)). Let q = b - -10. Is 14 a factor of q?
False
Let k = -6 - -4. Let q = k - -2. Suppose q*r + 2*r - 38 = 0. Does 12 divide r?
False
Does 27 divide 426/8 - 6/(-8)?
True
Suppose -2*a + 3*g + 153 = 0, -4*a - a + 4*g + 372 = 0. Is 22 a factor of a?
False
Let g be 3/(3/(-12)*-6). Let y(s) = 17*s**2 - 3 - g + s + 6. Does 17 divide y(-1)?
True
Let j(k) = -3*k**3 - 6*k**2 - 7*k - 6. Is j(-4) a multiple of 18?
False
Let m = 12 + -10. Suppose -n - m*n = -6. Is 2 a factor of n?
True
Let q(k) = k**3 - k**2 + 2*k. Is q(3) a multiple of 11?
False
Let o(b) = b**2 + 3*b + 35. Is o(0) a multiple of 3?
False
Is -1 + 87/2 - 9/(-18) a multiple of 12?
False
Suppose 0 = 2*t + t - 27. Suppose -a + t + 16 = 0. Is 21 a factor of a?
False
Suppose -39 + 11 = 4*q. Let g = q - -9. Is g a multiple of 2?
True
Let w be 14/(-4)*-10*1. Suppose a = 4*q - 3*q, w = 2*q + 5*a. Does 5 divide q?
True
Let z be 1*(3 - 2)*0. Let d be (12/9 - z)*3. Suppose -5*l + 74 + 16 = -2*p, -3*p + 49 = d*l. Is 8 a factor of l?
True
Let d(g) = g**2 + 12*g + 5. Let a be d(-5). Suppose -5*o = -10 - 0. Does 5 divide a/(-5) - (-1 + o)?
True
Is (-3)/((-3)/(-2)) - (-16 + -69) a multiple of 8?
False
Is 6/(-14) - (-30180)/105 a multiple of 49?
False
Let f = -31 + 59. Suppose -2*p = -12 - f. Is p a multiple of 7?
False
Let u(p) = 7*p**2 + 2. Is 8 a factor of u(-2)?
False
Is 26 a factor of ((-1)/(-2))/((-4)/(-800))?
False
Let v(a) = -a**3 - 2*a**2 + a - 3. Let n be v(-3). Let r = 4 - n. Is 19 a factor of (3/(-9))/(r/(-57))?
True
Is 2/10 + (-1778)/(-35) a multiple of 15?
False
Let c be (-95)/(-3) - (-12)/9. Let l be (-1)/(-1*(-1)/(-2)). Suppose q + c = l*q. Is q a multiple of 15?
False
Suppose -6*p + 63 = b - p, -145 = -3*b - 4*p. Is b a multiple of 7?
False
Let q be -2 + (3 - -15)/3. Let b = 17 - q. Is 13 a factor of b?
True
Suppose 0 = -t + 25 + 23. Is t a multiple of 10?
False
Let a = 8 + 7. Does 6 divide a?
False
Let c(m) = 4*m + 8. Let y be c(6). Suppose -5*i + 15 = -3*d + 83, -d + y = 3*i. Is 13 a factor of d?
True
Let d(r) = 4*r - 20. Let b be d(5). Suppose -2*z = 2*h - 5*h - 266, -5*h = -4*z + 530. Suppose u + z = 5*q, -5*q + q - u + 95 = b. Is 10 a factor of q?
False
Suppose -5*s - 3*x + 2*x = -20, 5*s - 30 = x. Let c(d) = d**2 + 2*d. Is 20 a factor of c(s)?
False
Suppose -62 = 2*n + 3*n + 2*a, -a = 1. Let t = n - -36. Is 5 a factor of t?
False
Let m(c) = -12*c - 2. Let o be m(-5). Let q = -35 + o. Does 11 divide q?
False
Let p(a) = a - 29. Let l be p(0). Let y = -16 - l. Does 10 divide y?
False
Let b be (-8)/(-6) + (-14)/(-21). Suppose 4*a - 4*j - 216 = 0, -2*j = 3*a + b*a - 305. Let g = 2 + a. Is 27 a factor of g?
False
Let t be (20/(-8))/((-1)/2). Suppose 2*w - t = -3*w. Does 5 divide ((-44)/16)/(w/(-4))?
False
Let p be 2 + 5 + (2 - 1). Suppose p + 4 = j. Does 7 divide (1 + 2)*40/j?
False
Suppose 3*r + 28 = 88. Suppose -r - 151 = -3*l. Does 23 divide l?
False
Suppose -2*y = 5*n - 49, y - 5*n = -0*y - 13. Is y a multiple of 12?
True
Is (-353)/(-4) - 