 factor of ((-71)/2 - -1)*12/(-9)?
False
Let j = -40 - 0. Let d = -118 + 58. Let l = j - d. Is 12 a factor of l?
False
Let t(c) be the first derivative of c**3/3 + c**2 + c + 11. Let v be (-3)/(-1) - (0 - 1). Is t(v) a multiple of 16?
False
Is 9 a factor of 20 - 5/((-5)/2)?
False
Suppose -u + 5 = 0, u = -2*r - 2*u + 19. Is 14 a factor of 1/(r + 278/(-140))?
True
Let t(a) = a**2 - 3*a - 5. Let p be t(5). Let q be (-7 - -9)*(-2)/(-2). Is 2 a factor of ((-12)/(-10))/(q/p)?
False
Suppose 2*j - 44 - 11 = 5*q, -4*j = -20. Let w(o) = -4*o**2 - 11*o - 34 + 21 + 3*o**2. Is 3 a factor of w(q)?
False
Let c(q) = -4*q**2 - 3*q. Let d(m) = 3*m**2 + 3*m - 1. Let a(l) = -4*c(l) - 5*d(l). Is a(6) a multiple of 13?
False
Let q = 113 - -9. Let y = 202 - q. Is y a multiple of 12?
False
Suppose 6*s - 384 = -0*s. Does 16 divide s?
True
Let m = 40 - 22. Is 6 a factor of m?
True
Let k(g) = -g**3 + 8*g**2 + 9*g + 2. Let q be k(9). Does 6 divide ((-4)/6)/(q/(-18))?
True
Let w(p) = -p**3 + 6*p**2 + p + 10. Is 4 a factor of w(6)?
True
Suppose 0 = -4*t - 0*t + 24. Let d = t - 19. Let g = 41 + d. Is 14 a factor of g?
True
Suppose -10*q - 760 = -15*q. Does 38 divide q?
True
Let r(t) = t**2 + 3*t - 10. Is r(-6) a multiple of 5?
False
Suppose 3*o - 39 = 3*j, 0*j - 59 = -4*o - 3*j. Suppose -4*m - o = -6*m. Let p = m - -27. Is 17 a factor of p?
True
Let t be 6/(-10) + 126/(-15). Let a be (-6)/t*33/2. Let j = 35 - a. Does 24 divide j?
True
Let s(m) = -m - 14*m**2 - m - m + 2*m + 8 - m**3. Is 11 a factor of s(-14)?
True
Suppose -23*y = -27*y + 660. Is y a multiple of 15?
True
Let d(m) = 36*m**2 + 2*m - 2. Is 18 a factor of d(1)?
True
Is (27/45)/((-1)/(-5)) - -57 a multiple of 4?
True
Suppose -3*c + 129 = 3*w + 21, -4*w = c - 36. Is c a multiple of 12?
True
Suppose -5*b + 97 = -53. Is 30 a factor of b?
True
Let b(v) = -v**2 + v + 20. Is b(0) a multiple of 5?
True
Suppose 0 = -3*q + 6, -5*q + 7 + 27 = t. Is t a multiple of 6?
True
Suppose -3*g + 26 = 4*z, -2*g = 5*z - 0*z - 29. Does 18 divide (-3 - -4)/(g/108)?
True
Suppose -4*x - 2*m + 21 = -3*x, 43 = 3*x + m. Suppose -4*v + 1 = x. Does 15 divide 42 + (-6)/9*v?
False
Let a(z) be the second derivative of z**4/12 + z**3/6 + 2*z. Does 16 divide a(-7)?
False
Suppose 0 = -2*r + 6*r - 8, -2*b + 5*r + 510 = 0. Is b a multiple of 12?
False
Is 13 a factor of (2/(-6) - (-22)/33)*1014?
True
Let x(m) = -2*m**3 + 2*m + 1. Let r be x(-1). Let k be (-1)/(0 + r/6). Let c(y) = -y + 8. Does 14 divide c(k)?
True
Let o(r) be the second derivative of r**8/6720 - r**7/420 + r**6/120 + r**5/40 + r**4/4 + 3*r. Let q(f) be the third derivative of o(f). Is 13 a factor of q(6)?
True
Let n = 31 - 17. Let f = 40 - n. Let p = f + -10. Does 16 divide p?
True
Let z(m) be the third derivative of 0 + 1/12*m**4 + 5/6*m**3 + 3*m**2 + 0*m. Is z(5) a multiple of 6?
False
Let i(o) = -8*o - 3. Is i(-2) a multiple of 5?
False
Suppose -5*x + 4*x + 11 = 0. Is x a multiple of 10?
False
Suppose 29 = f + 7. Suppose 4*q - 2*l - 118 = 0, 47 = 2*q + l - f. Does 7 divide q?
False
Let j = 7 - 5. Let r(i) = i**3 + 7*i**2 + 2*i**2 - 8 - 11*i - 2*i**j. Is 16 a factor of r(-8)?
True
Let b = 3 - -2. Suppose 1 - 11 = -b*a. Suppose 0 = a*n + 7 - 1, -2*n + 6 = 2*c. Does 4 divide c?
False
Suppose 0 = -k + 5*k - 8. Suppose -15 = -8*h + 9. Suppose k*r + 3*q - q - 6 = 0, h = -r + 5*q. Is r even?
True
Let p(x) = 3*x**2 - 16*x + 5. Is 38 a factor of p(-4)?
False
Does 2 divide 4/2 - 20*-1?
True
Let i = 2 + 6. Let p = i + 0. Is 2 a factor of (-10)/4*p/(-5)?
True
Suppose 4*k - 104 = -36. Does 17 divide k?
True
Let w(r) = 2*r**3 - r - 1. Is w(3) a multiple of 10?
True
Let a be 18/(-27) - (-26)/3. Is (99/(-36))/((-2)/a) a multiple of 5?
False
Suppose 3*k = 3*x - 492, -2*x - 134 = -4*k - 452. Let q = x - 108. Suppose -2*l = 5*p - q, 6*l - 2*l - p - 89 = 0. Does 15 divide l?
False
Suppose 6*s - 2*s = 44. Let y(g) = g**2 - 10*g + 11. Does 14 divide y(s)?
False
Let w = 0 - -5. Let m = w - 3. Suppose -m*o - 3*o + 70 = 0. Is 7 a factor of o?
True
Suppose i = 2*k - 4, -2*k - k - 3*i = -15. Is k even?
False
Let b(t) = -78*t - 12. Is b(-2) a multiple of 12?
True
Let u = 192 + -134. Does 12 divide u?
False
Suppose -35*i = -24*i - 473. Is 19 a factor of i?
False
Let q be 0 + 1 - (-3 + 2). Suppose 0 = -q*p + 21 - 1. Suppose -2*d = -0*d - p. Does 2 divide d?
False
Let g(r) = -r**3 - 3*r**2 + 4. Let m be (-1)/(-2)*(-4)/(-1). Let i = m + -5. Does 3 divide g(i)?
False
Suppose y + 17 = 2*f + 3, y - 40 = -4*f. Does 3 divide f?
True
Suppose 0 = q - 0 - 25. Let p = -13 + q. Is 5 a factor of p?
False
Let h = 69 + -6. Is h a multiple of 3?
True
Suppose 2*f = 5*f - 144. Does 6 divide f?
True
Suppose 3*u = -3*i - 2*i + 12, i - 4 = u. Is u/(((-5)/3)/5) even?
False
Let m(p) = -p**3 - p**2 - p - 1. Let i be m(-1). Suppose -u - u = i. Suppose 2*f - 8 = u, 5*b + 3*f - 171 = 31. Is 15 a factor of b?
False
Suppose -j = 1 - 6. Suppose j*d = -5 + 80. Does 5 divide d?
True
Let v = -20 + 33. Let t = v - -29. Is t a multiple of 21?
True
Let t(g) be the third derivative of -1/60*g**5 + 3*g**2 + 0 + 3/8*g**4 + 0*g - 7/6*g**3. Is t(6) a multiple of 9?
False
Let h = -9 + 4. Let r(w) = w**3 + 7*w**2 + 5*w + 7. Is 16 a factor of r(h)?
True
Let n(d) = -d**3 - 3*d**2 - 5*d + 2. Suppose 18 = -4*c + 2. Let l be n(c). Suppose 0 = -s + l. Is 19 a factor of s?
True
Let t(n) = n**2 + 7*n. Suppose -2*c - 3 = 7. Let i be t(c). Let m = i - -23. Is 5 a factor of m?
False
Suppose 0 = 16*p - 12*p - 1348. Is 63 a factor of p?
False
Suppose 3*g + 2*g = 3*g. Suppose -2*u = -6*u + 48. Suppose -p + g*p + u = 0. Does 5 divide p?
False
Suppose -12 = -3*a + 4*h + 5, 14 = 4*a - h. Suppose -3*n - 5 = -u, -a*u - n = -3 + 38. Is 24 a factor of 2/(-2)*u*7?
False
Let u be (2 + 1)/((-3)/(-45)). Suppose -4*o - o = -u. Does 3 divide o?
True
Let t(n) = -2*n - 10. Let m be t(-7). Suppose 0 = j + m*o - 4, 0*o - o + 76 = 4*j. Is j a multiple of 20?
True
Let o(g) = g**3 - 9*g**2 - 10*g + 4. Let i be o(10). Is 14 a factor of 18/i*(-36)/(-6)?
False
Let p(h) = h**3 + 4*h**2 - 2*h - 4. Let j be p(-4). Suppose 4*g + 5*s + 0*s = -9, -3*g + j*s = -32. Is g a multiple of 4?
True
Suppose -4*d - 3*l = -189, 7*d + 4*l - 188 = 3*d. Is 12 a factor of d?
True
Suppose 4*s = -1 + 41. Is 3 a factor of s?
False
Let q(y) = 4*y - 1. Let j be q(-2). Let k be j*(3/9 + -1). Suppose -33 + k = -w. Is 9 a factor of w?
True
Suppose 5*u = -w - 10, 2*w = u + 7 + 17. Is 21 a factor of (-20)/50 - (-514)/w?
False
Let j be (7 - -1)*14/(-8). Let w = 34 - j. Suppose w = -3*p + 6*p. Is 16 a factor of p?
True
Suppose 6 = 5*t - q, -2*t + 0*q = q - 8. Suppose -2*x + x + 3*b = -14, t*x - 10 = -3*b. Is 3 a factor of x?
False
Let m be -3*((-5)/3)/5. Let b = -5 + m. Does 18 divide 1/(10/b)*-90?
True
Let u(x) be the third derivative of -x**5/60 + x**3 - 2*x**2. Let o be u(0). Let b = o - -10. Does 6 divide b?
False
Suppose 183 = -3*o + 6*o. Is o a multiple of 11?
False
Let c = 15 + 13. Suppose -g + 0*g + 2 = 0. Suppose -g*v + c = -4*h, 5*v = -h + 2*h + 25. Is v a multiple of 4?
True
Let g(p) = p**3 + 7*p**2 + 6*p - 5. Let m be g(-6). Let u be m/1*(0 + -4). Suppose 4*r + u - 92 = 0. Is 6 a factor of r?
True
Let d = -9 - -62. Suppose -4*h + 35 + d = 0. Is h a multiple of 11?
True
Let x(y) = 2*y**2 - 9*y - 4. Suppose -36 + 8 = -4*b. Is 9 a factor of x(b)?
False
Let y(r) = 4*r - 3. Let o be y(5). Let u = 37 - o. Does 16 divide (-3)/((-15)/4)*u?
True
Suppose -4*c - 78 = 122. Let z = c + 83. Is 11 a factor of z?
True
Suppose 3*x + 5*x - 736 = 0. Is 37 a factor of x?
False
Let v(p) = p**2 + 89. Is 21 a factor of v(0)?
False
Is 162 + 5 + 4 + 0 a multiple of 12?
False
Suppose -8*q = -3*q + 250. Let a = 88 + q. Is 2/(-2) + a/2 a multiple of 18?
True
Suppose -4*r = 2*f - 7*r - 19, 3*f - 25 = r. Let u = f + -5. Suppose u*k - v = 76 + 78, 3*k - 4*v - 157 = 0. Is 18 a factor of k?
False
Suppose -5*v = -35 - 30. Suppose 6*q = 3*q + 6. Suppose 5*g + q*s = 73, -s - s = g - v. Does 7 divide g?
False
Suppose 5*y - 2*j + 2 = 0, 6*j - 4 = -4*y + 2*j. Suppose 4*v + h - 1 = 10, -4*v - 7 = -5*h. Is 9 a factor of (v - y) + 19 + -2?
False
Is (-102 - 0)*6/(-9) a multiple of 34?
True
Let q be 72/8 + 1/1. Suppose 3*u - 6*k = -k + 29, 2*u - k = q. Is u a multiple of 3?
True
Suppose 3*o + 5 = -7. Is 7 a factor of 186/14 - o/(-14)?
False
Let v(i