 5*p - 0*t. Suppose -3*z = -z - p. Let w = -38 + z. Is 6 a factor of w?
False
Let c = 127 - 91. Does 18 divide c?
True
Suppose -66 = 2*x - 210. Does 10 divide x?
False
Let p(k) = -2*k**3 + 18*k**2 - 18*k + 6. Let v(o) = o**3 - 9*o**2 + 9*o - 3. Let i(l) = -3*p(l) - 7*v(l). Let a be i(8). Does 4 divide (5/(-3))/(a/30)?
False
Suppose -3*g = -296 - 427. Does 14 divide g?
False
Suppose -5*p + 25 = 3*o, -2*o + 0*p + p = -8. Suppose -2*n = -5*r - 49, 3*r + 58 = o*n - 93. Is 16 a factor of n?
True
Suppose 0 = 3*z + 5*w - 292, w + 159 = 2*z - 40. Is 11 a factor of z?
True
Let y be 2 + 0*(-3)/6. Suppose -8 = -y*f + f. Suppose 0*x - x + f = 0. Is x a multiple of 3?
False
Suppose 0 = -r - p + 22, 0 = 3*r + p + 3*p - 64. Does 9 divide r?
False
Let q = 37 + -22. Is q even?
False
Suppose -4*s - 555 = -3*d, -5*d - 5*s = -2*s - 954. Is 13 a factor of d?
False
Let g be 3*1/3 + -21. Is 78/4*g/(-15) a multiple of 12?
False
Let m = 124 + -72. Let c = -33 + m. Does 11 divide c?
False
Let j(r) = r**2 + 2*r + 35. Does 23 divide j(8)?
True
Suppose 0 = 2*y - 2*h + 3*h - 51, -5*y = -2*h - 123. Does 12 divide y?
False
Let d(w) = 4*w - 27*w**2 + 3*w + 4 + 26*w**2. Let h be d(4). Let r = h - 8. Is 8 a factor of r?
True
Let y = -15 + 17. Is 16 a factor of 4/y - (-51 + 5)?
True
Suppose 0 = -m + 36 + 26. Suppose h - 25 - m = 0. Does 23 divide h?
False
Suppose 3*m - 4*j = -136, -3*m - j = 125 + 21. Let n(p) = -2*p + 3. Let f be n(3). Is 7 a factor of (f/(-4))/((-2)/m)?
False
Is ((-39)/(-6) + -1)*2 a multiple of 10?
False
Let c(y) = -y**3 + 7*y**2 + 8*y + 4. Let b be c(8). Suppose 4*w - 4*q = 60, -b*w + 4 = 5*q - 56. Is 7 a factor of w?
False
Let o be 170/(-5)*(-2)/4. Suppose -17 = -2*m + o. Is 17 a factor of m?
True
Let m(a) = a**2 + 3*a + 4. Suppose 5*i = 5*s - 20, -2*i - 2*s = -1 + 5. Does 3 divide m(i)?
False
Suppose 6 = o - d, -d = -2*o - 5*d + 42. Is 3 a factor of o?
False
Let z = 16 - 10. Suppose 7*b = 4*b + 3*c + 57, 2*c + z = 0. Suppose b = 3*j - 14. Does 5 divide j?
True
Let b(q) = -2*q**3 + 2*q**3 - 10 - 3*q**2 + q**3 - 6*q**2 - 6*q. Is b(10) a multiple of 10?
True
Suppose -39 = -5*j + 101. Is j a multiple of 14?
True
Let r(q) = -q**3 - 8*q**2 - 15*q - 1. Does 10 divide r(-7)?
False
Let f(r) = 30*r**2 + 4*r + 2. Is 26 a factor of f(-2)?
False
Let q be 6/(-9)*(-5 - 1). Let v(d) = 4 - d**3 + 8 - 4 - 7*d**2 - q*d. Is v(-7) a multiple of 16?
False
Is 7 a factor of (96/40)/((-2)/(-35))?
True
Let v = -17 - -7. Let k = v + 17. Let w(p) = -p**3 + 7*p**2 + 2*p - 4. Does 5 divide w(k)?
True
Let s be 648/5 - (-2)/5. Suppose -5*g = -s + 45. Does 6 divide g?
False
Let i = 0 - -1. Let t be (10/15)/(i/3). Is t + (0 - 1)*-2 a multiple of 3?
False
Suppose 20 = -4*q - q. Suppose -y + 1 = -6. Let f = q + y. Is f even?
False
Let x be 4/18 - (-68)/18. Suppose -5*s + 33 = q, 2*q - x*s = q + 15. Does 23 divide q?
True
Suppose -h + 6*h = 0. Suppose h = x - 96 + 32. Is x a multiple of 16?
True
Let v = 204 + -107. Is v a multiple of 11?
False
Suppose 2*i - 18 = -6. Is i*1*17/2 a multiple of 14?
False
Let a = -12 + 14. Is 34/2 - (-2 - a) a multiple of 21?
True
Suppose 0*n + 4*n + 3*z - 140 = 0, 4*n - 4*z - 140 = 0. Is (-2)/(-5) + 476/n a multiple of 9?
False
Suppose -14 = -i + 2. Suppose 0 = 7*u - 3*u - i. Does 2 divide u?
True
Let g(r) = r**3 - 4*r**2 - 6*r + 2. Let k be g(5). Let a be 1/(k*(-1)/195). Suppose 9*v = 4*v + a. Does 13 divide v?
True
Suppose -2*f - 10 = -i - f, -10 = 3*i + 5*f. Suppose 2*j + j - s - 4 = 0, -i*s = 5*j - 20. Suppose -j*r - 11 = -49. Does 7 divide r?
False
Is 17 a factor of 1/(3/(-102)*-2)?
True
Let m(y) = 1 - 2*y - 3*y + 4*y. Let a(u) = 15*u**3 - u**2 + 4*u - 4. Let f(r) = a(r) + 5*m(r). Does 14 divide f(1)?
True
Let q(z) = 30*z**2 + z - 2. Let c be q(2). Suppose -7*i - 5*r + 117 = -3*i, 0 = -5*i - r + c. Is i a multiple of 23?
True
Suppose 4*m = 269 + 43. Is 26 a factor of m?
True
Let a(t) = 3*t - 1. Let p be a(-2). Let j = 3 - p. Is (-132)/(-5) + (-4)/j a multiple of 13?
True
Let n(a) = a**2 - 5*a + 4. Let f be n(3). Let c = 4 + f. Is 11 - (-5 + c + 1) a multiple of 5?
False
Let c be (-1)/3 - 16/(-12). Does 5 divide (-4)/((-6)/(-10) - c)?
True
Suppose 3*f + 26 = 8. Let a = f - -8. Suppose w + 4*t - 26 = 0, t = -a*w + 12 + 12. Is 4 a factor of w?
False
Let n = 3 + 1. Suppose -n*o + 2*x + 202 = 0, -3*x + 132 = 2*o + 27. Suppose 9 = 2*r + 3*w - 6, o = 3*r - 5*w. Is r a multiple of 12?
True
Suppose 5*t - g = 3*g + 11, -2*g - 3 = -5*t. Is (-85)/t - (-1 + 0) a multiple of 29?
False
Let q(d) = d**2 - 3*d - 10. Is q(6) a multiple of 4?
True
Suppose -76 = -4*b + 196. Does 13 divide b?
False
Let t(v) = 3*v**2 + 4*v. Let f be 2/5 - 17/5. Is 13 a factor of t(f)?
False
Suppose -9*b + 8*b + 158 = 0. Is b a multiple of 10?
False
Suppose -v + 140 = 4*n - 3*n, 5*v - 700 = n. Suppose h - 5*h = -v. Suppose -10 = 5*u - h. Is 2 a factor of u?
False
Suppose -1102 = -7*d - 157. Does 15 divide d?
True
Let j(s) = s**2 - 4*s - 3. Let g be 32/(-10)*5/(-2). Is 13 a factor of j(g)?
False
Let d = 105 + -59. Does 10 divide d?
False
Let b = 21 + -14. Suppose 0 = -6*o + 221 + b. Does 19 divide o?
True
Suppose 3*c = 4*d - 67 - 4, 4*c - 32 = -d. Suppose -4*g - l + 55 = 0, 5*g - d = 3*l + 36. Is 10 a factor of g?
False
Let d = 151 - 71. Is 16 a factor of d?
True
Let q(f) = -f**3 + 3*f**2 + 11*f + 1. Is q(5) a multiple of 2?
True
Let a = -76 - -140. Suppose 0 = 3*s + a - 184. Is 20 a factor of s?
True
Let d = 118 + -54. Let c = -39 + d. Is c a multiple of 5?
True
Let a(v) = -42*v - 2. Let s be a(-1). Let i = s - 1. Is 39 a factor of i?
True
Let h = 10 + -6. Suppose 0 = -x - h*x + 80. Is 6 a factor of x?
False
Suppose -4*f - 4*n = 16, 2*n + 8 = f + 3*f. Suppose 4*d - 2*z - 70 = f, -d + 16 = 5*z + 4. Does 17 divide d?
True
Suppose 0*x - 18 = -2*x - 5*z, -4*x - z + 18 = 0. Does 15 divide 5*2/x*6?
True
Let u(h) = h**3 - 7*h**2 - 7*h - 2. Let y be u(8). Is 10 a factor of ((-40)/y)/((-7)/21)?
True
Let q(o) = -o + 2. Let f be q(6). Let r = f + 4. Suppose -5*p + 70 = -r*p. Is p a multiple of 8?
False
Let k be 33/12 - 3/(-12). Suppose 5*i = k*i + 36. Is i a multiple of 18?
True
Let c(s) = -s**2 - 8*s - 3. Let o = 2 + 0. Suppose d - 2*w - 2*w = -4, w + 8 = -o*d. Is c(d) a multiple of 7?
False
Does 6 divide (-20)/2*(-1 - 31/5)?
True
Let d be (7 - -3)*(-1)/(-2). Suppose z - 34 = -d*f, 12 = z + z - 4*f. Is 14 a factor of z?
True
Let r(l) = -l**3 + l - l + 4*l - l**2 + 4. Let u be r(-3). Suppose -b + u = -4. Is b a multiple of 14?
True
Let m(w) = -w**2 + 5*w. Suppose 0 = 3*t + 1 - 19. Let f be m(t). Let s(u) = u**3 + 6*u**2 - 5*u + 6. Is 18 a factor of s(f)?
True
Suppose -3*h - n + 221 = 45, -n = -2*h + 119. Suppose -1 = 2*t + h. Is 15 a factor of 0 + t*(1 + -2)?
True
Let x = 20 - -24. Does 22 divide x?
True
Let v = -10 - -24. Is v a multiple of 7?
True
Suppose 2*m - 8 = -0*m. Suppose -u = m*u + 115. Let f = u + 33. Does 10 divide f?
True
Suppose 3*g + 2*g - 120 = 0. Let n = 42 - g. Is n a multiple of 4?
False
Suppose 52 = 5*q - 4*o, 3*q - 5*o + 12 = 51. Is 8 a factor of q?
True
Suppose -3*u - v = -103, -v + 11 = 2*u - 57. Is 31 a factor of u?
False
Suppose -3*n + 10 = 5*z - 17, -17 = -n + z. Suppose j + 0*j = 4*i - 18, -3*j = -4*i + n. Suppose j*w - 5*w = -66. Is 11 a factor of w?
True
Let d(r) = r + 384. Is d(0) a multiple of 48?
True
Let s = -3 + 7. Let h = s + 8. Is h a multiple of 8?
False
Let y(w) be the first derivative of -w**4/4 + 2*w**3 + w**2/2 + 6*w - 2. Let g be y(6). Let m = g - 2. Is 5 a factor of m?
True
Suppose 3*j + 2*j + 30 = 0. Does 10 divide (-3)/j*46 - 3?
True
Is 9 a factor of ((-4)/12)/((-2)/108)?
True
Suppose 2*g = 6*g - 16. Let a = g + -4. Suppose a = -5*v - 4 + 94. Is v a multiple of 9?
True
Let u(t) = t + 13. Let p be u(-6). Let j = p + 13. Is 7 a factor of j?
False
Let i be (-7)/2*(-6)/3. Let v(c) = 5*c - 3. Is 16 a factor of v(i)?
True
Suppose -2*j = 2*i + 136, -3*j - 45 - 177 = -3*i. Let w = j + 128. Let g = 89 - w. Is g a multiple of 9?
False
Let g = -79 - -137. Let t = g - 25. Let u = t + -5. Is u a multiple of 16?
False
Suppose -1 + 12 = n. Does 2 divide n?
False
Suppose 2*w - 67 = 17. Is 15 a factor of w?
False
Suppose 0 = -4*g + 12, 3*g + 0*g = 5*x - 381. Suppose -f = -5*f + 16. Suppose x = f*q - q. Is q a multiple of 9?
False
Suppose -3*b = 4*w + 118 - 319, 4*w + 268 = 4*