 15 a factor of j(p)?
True
Let m = 36 + -20. Does 9 divide m?
False
Let q(b) = -b - 5. Let r be q(-7). Let l(m) = -4*m + 2*m + r - 2*m. Does 15 divide l(-7)?
True
Let r = -7 - -12. Let i = -7 + r. Is 13 a factor of i - (-3 + 2) - -40?
True
Suppose -5*h + 192 = -83. Is h a multiple of 11?
True
Let y(q) = -q**3 + 3*q + 1. Let o be y(-2). Let j(l) = -5 + 8*l + 3*l - o*l - 1. Does 13 divide j(4)?
True
Suppose 0*a + 2*a = 4*h + 16, 8 = 4*h. Let q = a - 3. Suppose 23 + q = d. Does 11 divide d?
False
Is (-1800)/(-42) - 2/(-14) a multiple of 28?
False
Let l = -8 + 18. Suppose -9 = -5*t + 1. Suppose -l = -t*s + 24. Is s a multiple of 13?
False
Let z = 0 - -4. Suppose -z = -h + 17. Does 10 divide h?
False
Let c be 1*(-2)/2*-1. Suppose c = p - 2*p. Let q(l) = -17*l + 1. Is q(p) a multiple of 9?
True
Let v be ((-12)/5)/((-9)/(-30)). Let c(q) = -4*q - 1. Let m be c(v). Let x = -19 + m. Is x a multiple of 9?
False
Let l(w) = -w**2 - 23*w + 18. Does 3 divide l(-23)?
True
Suppose -15 = -2*p - 3*p. Suppose -5*k = -p*z + 71, 3*z = 3*k + k + 58. Let b = -5 - k. Does 3 divide b?
False
Let n = 151 - 73. Let b = 125 - n. Is b a multiple of 19?
False
Is (48 - (-5 + 3)) + 3 a multiple of 22?
False
Let o(b) = -4*b - 32. Is 4 a factor of o(-11)?
True
Suppose -2*u = -0*u - 100. Does 25 divide u?
True
Does 4 divide 80/6 + (-2)/(-3)?
False
Suppose -w - 4 = 2*n + 6, -5*n + 79 = -4*w. Is w/88 + (-752)/(-22) a multiple of 17?
True
Let c(r) = -r**3 + 11*r**2 - 2*r - 12. Does 27 divide c(9)?
False
Let r be (-176)/6 + (-6)/9. Let n = -21 - r. Is 4 a factor of n?
False
Let o(s) = s**3 - 10*s**2 + 10*s + 13. Does 11 divide o(9)?
True
Is (-3)/(-10)*5*32 a multiple of 24?
True
Let s(n) = -2*n**2 + 2*n**2 - n**2 + n. Let d be s(-1). Let i = 0 - d. Is i a multiple of 2?
True
Is 2 a factor of (68/8)/(1/2) - -1?
True
Let x = 14 + -17. Does 18 divide (18/10 + x)*-15?
True
Let i(l) = l + 3. Let d be i(-6). Is (423/(-3))/d - 1 a multiple of 23?
True
Let o(b) = b**3 + 8*b**2 - 5*b. Let q be o(-7). Let a = 18 + -39. Let u = q + a. Does 21 divide u?
True
Suppose 3*b - 8 - 4 = 0. Suppose 34 = -2*p + b*p. Is 3 a factor of p?
False
Suppose 3 = -t + 2*t. Suppose -m + 129 = 5*a, -t*m + 4*m = 5*a - 131. Let g = a - 15. Does 5 divide g?
False
Suppose 4 = 2*h - 0. Suppose -h*u = -10 + 46. Is (2/(-4) - 1)*u a multiple of 14?
False
Let u = 50 - -71. Is 38 a factor of u?
False
Suppose 0*q - 3 = -3*q. Let n(t) = 18*t. Let f be n(-2). Is 18 a factor of -1 + (1 - f)*q?
True
Let x = -26 - -18. Let d be (x*1)/((-1)/(-2)). Let m = -10 - d. Is m a multiple of 6?
True
Is (7/(-2))/(4/(-8)) a multiple of 7?
True
Let k = 14 - 49. Let x = k + 53. Is x a multiple of 8?
False
Suppose 0 = -2*q + 1 + 1. Is (-98)/2*(q - 2) a multiple of 13?
False
Let f = -121 + 186. Let w = -33 + f. Is 8 a factor of w?
True
Let y(m) = 3*m**2 - 3*m - 5. Let p(l) = -l**2 - 5*l - 2. Let g be p(-3). Is 21 a factor of y(g)?
False
Let o be (-186)/42 - 6/(-14). Let q(s) = -3*s - 7. Let d(x) = 2*x + 6. Let z(l) = 6*d(l) + 5*q(l). Does 5 divide z(o)?
False
Suppose 2 = 5*f + n - 3, -4*n - 20 = 0. Is 8 a factor of 3 - 26/(f + -4)?
True
Suppose -y + 104 = 3*y. Let n = y - -21. Does 13 divide n?
False
Suppose 4*d - 23 = 3*p, -5*d + 11 + 11 = 3*p. Suppose 2*t = 3*r - 48 - 2, -4*t + 98 = d*r. Suppose 5*y = r + 22. Does 4 divide y?
True
Let n = 8 - 3. Suppose -57 = -n*o + 28. Does 7 divide o?
False
Suppose 5*s - 18 = 3*r, -3*s - 8*r = -3*r - 4. Is 38/s - 4/(-12) a multiple of 13?
True
Suppose 5*d - 2*t - 21 = 0, 2*d - 3*t + t = 6. Suppose -q + d + 10 = 0. Is q a multiple of 9?
False
Suppose -67 + 373 = 6*f. Is f a multiple of 18?
False
Let o = 63 - -3. Is o a multiple of 11?
True
Let d = -75 + 140. Is 12 a factor of d?
False
Let t(c) = 3*c + 7. Let d(a) = -6*a - 14. Let b(f) = 3*d(f) + 5*t(f). Is 3 a factor of b(-8)?
False
Let q(p) = 3*p**3 + 2*p**2 - 2. Let f = 8 - 6. Let u be q(f). Suppose 78 = 3*v - u. Is 11 a factor of v?
False
Let b be (0 + 1)/((-3)/(-6)). Suppose 4*r = 5*o + 52, o = b*r - 37 + 5. Does 18 divide r?
True
Let a be (-2)/(-9) + (-662)/(-18). Does 16 divide a*(-1 - (-1 + -1))?
False
Is 2/(-6) + 152/(-12)*-17 a multiple of 22?
False
Suppose -5 = 2*z - 139. Is z a multiple of 23?
False
Let v = -97 + 363. Does 38 divide v?
True
Suppose -4*w + h = -3*h - 4, 4*h + 4 = 5*w. Suppose w*f - 75 = -5*f. Is f a multiple of 8?
False
Let l = -1 - 4. Let o(p) = 2*p**3 - 3*p**2 + 3*p - 1. Let j(c) = -c**3 + 4*c**2 - 3*c + 2. Let u(y) = 3*j(y) + 2*o(y). Is 20 a factor of u(l)?
False
Let f(g) = 4*g**2 - 4*g - 1. Is f(3) a multiple of 17?
False
Let a be (-5)/15 - 1/(-3). Suppose 0 = 4*d + 8, a = -i - 2*d + 5*d + 7. Does 17 divide 2 + (i - -1 - -13)?
True
Suppose -3*s + 8*s + l - 29 = 0, 33 = 5*s + 2*l. Suppose 0*m = -s*m. Suppose m = x + 5*v + 15, x - 3*v - 17 - 8 = 0. Is 5 a factor of x?
True
Let d be 2/(12/(-9))*2. Let z = d - -1. Let i(v) = 8*v**2 - 3*v - 1. Does 17 divide i(z)?
False
Let o(y) = -4*y - 2*y**3 + 3 + 2*y**3 - y**3 + 5*y**2. Let h be o(4). Suppose 2*j - 118 = -h*a, -a + 4*j = -3*a + 68. Does 22 divide a?
False
Is (-28)/(-238) - 525/(-17) a multiple of 4?
False
Does 3 divide 4/22 - 1532/(-44)?
False
Is ((-6)/(-12))/(2/212) a multiple of 29?
False
Suppose 4*b = 6*b - 18. Is b a multiple of 3?
True
Let g be (1/3)/(1/6). Suppose q - g - 17 = 0. Does 12 divide q?
False
Let v = 4 + -7. Is (80/15)/((-1)/v) a multiple of 16?
True
Let t = -178 + 264. Is t a multiple of 15?
False
Suppose 0 = -2*h + 6*h - 16. Does 2 divide h?
True
Let s = -221 + 318. Is s a multiple of 22?
False
Suppose -a - 25 - 86 = 0. Let u = -73 - a. Does 19 divide u?
True
Let n(x) = -x**2 + x + 4. Let y be n(0). Suppose -y*h = -h - 78. Is 26 a factor of h?
True
Suppose 1 + 11 = 3*d. Suppose -y = -2*v - 3*v + 14, 0 = 5*v + d*y + 6. Suppose 4*s - 102 = 5*a - v, -4*s = 2*a - 128. Does 10 divide s?
True
Let n = -10 + 5. Suppose 30 = 3*a - 21. Let o = a - n. Is o a multiple of 11?
True
Let c be (-1)/((2/(-6))/1). Suppose -w = m - 3*w + c, 3*w = 4*m + 7. Is 7 a factor of m/(-4)*-2*-26?
False
Suppose 17 = 4*n - a + 4, a = -5*n + 14. Suppose k - n*m + 143 = -3*k, -2*k - m = 59. Does 11 divide (k/(-6))/((-2)/(-6))?
False
Let l = -7 - -101. Is 9 a factor of l?
False
Let f(j) = -20*j + 8*j + 5*j + 9 + 8*j. Is 4 a factor of f(-4)?
False
Let m(p) = 50*p**2 + 1. Does 18 divide m(1)?
False
Let j = -76 + 131. Is j a multiple of 5?
True
Suppose 2*x - 4 = 2*z, -2*z + 26 = -x + 5*x. Suppose z*u = 5*u - 32. Does 7 divide u?
False
Is 4 a factor of 140/(-30)*6/(-4)?
False
Let y be -1*(-32 + 0/2). Let p = -22 + y. Does 5 divide p?
True
Let n(b) be the first derivative of 31*b**4/4 - b**2 + b - 5. Suppose -h = -2*h + 1. Is 10 a factor of n(h)?
True
Let h(v) = 4*v**2 + 8*v + 7. Let z be h(-7). Suppose 0 = -5*q + q + 4*b + 192, 4*q + 5*b - z = 0. Does 16 divide q?
False
Let u(p) = 12*p - 7. Suppose -16 = -3*l + 5. Let o be u(l). Let m = o - 44. Is 12 a factor of m?
False
Let b(r) = -4*r**2 + 7*r - 5. Let j(p) = 4*p**2 - 6*p + 4. Let x(y) = 4*b(y) + 5*j(y). Is x(3) a multiple of 15?
True
Suppose 0*x = 5*x + 5, -2*x - 18 = -4*b. Let l(m) = m**2 + 6*m - 3. Let d be l(-5). Is (-22)/(-4) - b/d a multiple of 6?
True
Let p(l) = -l**3 + l**2 + l. Let f be p(-1). Let c = f + 40. Does 11 divide c?
False
Let v = -17 + 4. Let b = -2 - v. Does 11 divide b?
True
Let z(d) = d - 9. Let v be z(9). Let k = 9 + v. Does 2 divide k?
False
Let j be -1*(2 + 1 + 0). Let k(w) be the first derivative of w**4/4 + 5*w**3/3 - 2*w**2 - 3*w - 10. Does 14 divide k(j)?
False
Let x = -45 - -94. Is x a multiple of 7?
True
Let q = -8 - -10. Suppose -5*f = -q*i - 3*i + 65, -77 = -4*i - f. Is i a multiple of 9?
True
Let g(n) = -1 - 3*n - n + 6*n**2 + 3. Is g(2) a multiple of 9?
True
Let x = 42 - 74. Let s = 57 + x. Is s a multiple of 9?
False
Suppose -u + 2 = -0*u. Let n be (-3 + 5)/(u/3). Suppose -n*j + 8*s - 4*s = -86, 0 = s + 2. Is 10 a factor of j?
False
Let t(j) = -j**2 + 1. Let p be t(1). Suppose 0 = -p*c + 3*c - 141. Is c a multiple of 13?
False
Suppose 0 = 5*s + 2*t - 70, -4*s + 2*t = -2*t - 84. Let q = -1 + s. Does 15 divide q?
True
Let b(n) = 37*n - 8. Let u be b(6). Let z = -148 + u. Suppose 5*r - 74 = -4*w, -3*r + 4*w - w + z = 0. Is 9 a factor of r?
True
Suppose 0 = -4*b + 146 + 70. Does 27 divide b?
True
Let r be ((-12)