ide p(4)?
True
Let u(t) = 36*t - 3. Let h be u(2). Suppose 3*x = 2*n - h, -5*n - 23 = 2*x - 224. Is 13 a factor of n?
True
Let m(g) = -g**2 - 8*g - 8. Let r be m(-6). Suppose -68 = -3*n - 2*d, -n + 105 = r*n - 5*d. Is (0 - 1)/((-2)/n) a multiple of 5?
False
Let x(m) = m**3 - 5*m**2 + 2*m + 6. Let p be x(5). Let u = p - 13. Is 2 a factor of u?
False
Let j = 2 - 3. Let z = j - -17. Does 10 divide z?
False
Let a be 11/3 - (-1)/3. Suppose a*z - z + 2*h - 14 = 0, 0 = 2*h + 10. Is z a multiple of 4?
True
Let n(k) = -4*k - 8. Is 4 a factor of n(-3)?
True
Let v(p) = -p**3 + 9*p**2 - 6*p - 11. Let f be v(8). Suppose 0 = -3*q - 4*o + 178, o + 3*o = -q + 62. Suppose 178 = f*n + q. Does 11 divide n?
False
Suppose 0*b + b = 0. Suppose b = -5*i + 2*i + 6. Suppose k + 14 = 2*k + i*o, -3*k + 50 = 4*o. Is k a multiple of 12?
False
Let k be (11/(-11))/(1/(-41)). Let q = k + -24. Is q a multiple of 6?
False
Let n = 68 + -38. Is n a multiple of 10?
True
Suppose g - 18 = 10. Does 4 divide g?
True
Suppose 83 = 5*q - 92. Is q a multiple of 8?
False
Let r(o) = 8*o**3 + 24*o**2 - 14*o - 16. Let n(b) = 3*b**3 + 8*b**2 - 5*b - 5. Let q(v) = 11*n(v) - 4*r(v). Does 5 divide q(8)?
False
Let w(m) = m**3 + 22*m**2 - 32*m - 12. Is 13 a factor of w(-23)?
True
Let k(q) = -13*q + 4. Let u be k(-3). Let l = u + -1. Is l a multiple of 21?
True
Let l(i) = -6*i - 2. Let u be (0 - 1)/(3/21). Is 10 a factor of l(u)?
True
Let l(v) = -17*v + 9. Is l(-4) a multiple of 7?
True
Suppose 0*c = 3*g + 5*c + 3, 0 = 2*g + 5*c + 2. Does 11 divide g*((-90)/3 + -3)?
True
Suppose 26*i = 21*i + 345. Is 23 a factor of i?
True
Let h(q) = 7*q + 22. Is h(11) a multiple of 9?
True
Let o = -42 - -58. Is 8 a factor of o?
True
Suppose -2*n = -0 - 8. Suppose 0 = -2*m + 4*t + 132, 2*m + n*t - 148 = -0*m. Is 14 a factor of m?
True
Let y(w) = w + 38. Does 6 divide y(-16)?
False
Suppose -r = 3*s - 21, 0*s + 3*s = 5*r - 15. Suppose 0 = -5*d + 4 + r. Suppose z - 26 = -d*z - 5*l, -5*z + 54 = 3*l. Is 7 a factor of z?
False
Suppose i + 4*i + 5*u = 165, 117 = 4*i - u. Does 10 divide i?
True
Let c(t) = -t**3 - t + 19. Let r be c(0). Let n = 28 - r. Is 9 a factor of n?
True
Let k be (3 - 2) + -3*2. Let w = k - -13. Is w a multiple of 8?
True
Is 9 a factor of (-6 + 3)/((-1)/23)?
False
Let n = 10 + -8. Let j = 6 - 3. Suppose -s - j = -n*s. Is s even?
False
Let i(a) = -31*a + 3. Is 17 a factor of i(-1)?
True
Suppose -5*u + 2*g = -21, 5*g - 14 - 16 = -4*u. Let l(i) = 2*i**2 + i - 7. Does 16 divide l(u)?
True
Suppose k - 15 = -4*k. Suppose -k*w + 2 = w + 3*h, 2*w - 5*h - 14 = 0. Suppose 0 = w*v + 4*f - 32, 0*f - 53 = -4*v + 3*f. Is v a multiple of 7?
True
Suppose -132 = -2*v - 4*v. Is 9 a factor of v?
False
Does 28 divide 3 + -2 + 4 + 51?
True
Let z(w) = -5*w + 5. Let m = 2 + 22. Suppose c = -2*p - 1 - 10, -4*c = 4*p + m. Does 11 divide z(p)?
False
Is 23 a factor of 1*(2 + -1)*29?
False
Suppose -5*f = 5*s + 37 - 177, -2*f - 94 = -3*s. Let k = 15 + -11. Suppose -42 = -k*j + s. Is 10 a factor of j?
False
Let u = 7 + -7. Suppose -5*j + u*j = -155. Is j a multiple of 15?
False
Let n(t) = -t**2 - 8*t - 4. Let s be n(-6). Let q(m) = m**2 + m - 2. Let d(v) = v**2 - 2. Let a(c) = 6*d(c) - 5*q(c). Does 9 divide a(s)?
False
Suppose 5*y - 2 - 8 = -b, 4*y - b = 8. Suppose i - 26 + 2 = 0. Suppose 0 = -r + y*v + 18, -i = -3*r + 5*v + 26. Does 5 divide r?
True
Let t(c) = 2*c**3 - c**2 + c. Let r be t(1). Suppose y - r = -0*y. Suppose u = y*u - 11. Is u a multiple of 11?
True
Let s = -13 - -19. Does 6 divide s?
True
Let m be 80/(-6) + (-8)/(-24). Let g = m + 18. Suppose -g*f + 0*f + 90 = 0. Is 18 a factor of f?
True
Suppose -5*v - 45 = -0*v. Let g = 5 - v. Is 7 a factor of g?
True
Suppose 0 = -5*f + 2*u - 8, -4 = -3*f + u - 2*u. Let k be 0 + 0/(-1) + 212. Suppose z + 3*z - k = f. Is 14 a factor of z?
False
Let c = 62 + -34. Is c a multiple of 7?
True
Let m(i) = i**2 - 2*i + 5. Is 22 a factor of m(7)?
False
Let v = -4 - -184. Is v a multiple of 36?
True
Suppose g = 2*g + 1. Does 13 divide ((-13)/1)/(g/2)?
True
Let z = -738 - -1290. Does 20 divide z/28 - 4/(-14)?
True
Let s(c) = 7*c - 24. Is s(8) a multiple of 4?
True
Suppose -2*c + 18 = c. Let a be c/(-8) + 188/16. Let t = a + 6. Is 8 a factor of t?
False
Does 13 divide (-3)/((-365)/91 - (5 + -9))?
True
Let b(n) = 7*n + 5. Let l be b(-9). Let p = l + 112. Is p a multiple of 22?
False
Let i(x) = 13*x**2 + 3*x - 7. Does 26 divide i(3)?
False
Let g(u) = 5*u**2 + 9*u + 10. Is g(-5) a multiple of 45?
True
Suppose 0 = -z + 2*y - 136, -3*y + 5*y + 6 = 0. Let o = -71 - z. Does 24 divide o?
False
Let a = 88 + -61. Let z be 4/6*(-22 + 7). Let o = z + a. Is 17 a factor of o?
True
Let w = 7 + -4. Suppose w*v - 64 = -2*n + 10, 3*v - 4*n = 50. Is v a multiple of 11?
True
Suppose -2*u = -b - 9 - 8, 4*b = -2*u + 32. Is 2 a factor of u?
True
Let z(c) = 8*c - 12. Is 4 a factor of z(2)?
True
Let a be 5 - 2/2 - -1. Suppose a*r - 28 = -13. Does 2 divide r?
False
Let r be (-2)/(-4) - (-738)/12. Let v = -29 + r. Does 11 divide v?
True
Let y be (-1)/(2 + (-75)/36). Suppose q = -0*q + 2. Suppose -9 = -i + 4*a, -q*a - y = -3*i + i. Does 5 divide i?
True
Let m(z) = -2*z**2 + 6*z + 1. Let u be m(7). Let g = -37 - u. Does 5 divide g?
False
Suppose k = -3*k + 8. Suppose 0 = -k*l + 4*v + 24, 4*l - l + 3*v - 36 = 0. Is 4 a factor of l?
True
Is 12 a factor of (9/12)/(1/60)?
False
Let n(h) = h**3 - 7*h**2 - 9*h + 1. Is 26 a factor of n(9)?
False
Let c = -57 - -272. Does 19 divide c?
False
Let v(l) = l**3 + 14*l**2 + 10*l - 15. Let o = -8 - 5. Is 14 a factor of v(o)?
False
Let r = -51 - -76. Suppose -y = -4*p + y + 2, 5*p + 2*y = r. Is (-352)/(-24) + (-2)/p a multiple of 4?
False
Suppose -10*d + 15*d - 525 = 0. Is 11 a factor of d?
False
Suppose 205 - 41 = 2*s. Does 22 divide (-4)/8*s/(-1)?
False
Let q(a) = -a**3 + 5*a**2 - 3*a - 5. Let o be q(4). Let k be o/(-2) - 21/(-6). Suppose k*z = 59 + 77. Is z a multiple of 16?
False
Let v(t) = t**2 + 22. Does 4 divide v(0)?
False
Suppose 4*v - d = d + 344, 5*d + 332 = 4*v. Is 8 a factor of v?
True
Let c(r) = -r - 3. Let q be c(-8). Suppose -14 = q*j - 134. Does 9 divide j?
False
Suppose 0 = r + 2*r - 12. Suppose 2*d + 4*y = -8, r*d - 7 = -d - y. Suppose 0 = -4*c + 2*j + 12 + 62, -d*j = 4*c - 86. Does 10 divide c?
True
Let t be (0 + -2)*12/(-6). Let r be (t/(-3))/((-6)/(-9)). Is 14 a factor of (22/8)/(r/(-24))?
False
Let x = 400 + -215. Does 50 divide x?
False
Suppose 3*j + 87 = 6*j. Does 15 divide -4*(-2 + j/(-4))?
False
Let x be (-7)/((-26)/14 + 2). Let q = 34 + x. Does 7 divide 2 - 3 - (0 + q)?
True
Let l(j) = -j**2 - 18*j + 7. Is 6 a factor of l(-17)?
True
Let i = -64 + 39. Does 10 divide 120/i*(-20)/3?
False
Let m = 1 + -2. Let y(s) = s**2 + 8*s + 5. Let w be y(-7). Is 7 a factor of m/(1 + w)*21?
True
Let p(h) = h**2 + 6*h + 4. Let z be (6/(-8))/(3/24). Let g be p(z). Suppose -3*w - g*b = -47, b + 52 = 3*w + 6*b. Does 4 divide w?
False
Is 5 a factor of (-420)/(-11) + (-8)/44?
False
Suppose 4*c = -3*o + 36, 0*o = 3*c - 4*o - 27. Let q(i) = 9 - 7*i**2 + 8*i**2 - 8*i + 9*i**2 - i**3. Is 6 a factor of q(c)?
True
Suppose -20 = -5*u + u. Suppose -3*q - 2*w - 2*w = 5, u*q - 15 = -2*w. Is 4 a factor of q?
False
Let r be (1 + -4 - -3)*1. Suppose r = -i - 5*f, 2*f + 8 = -0*f. Is i a multiple of 5?
True
Does 46 divide 46/(12/9 + -1)?
True
Suppose n + 4*j - 53 = 11, -2*n + j = -173. Let i be (-3 + 7)*1/2. Suppose -t + n = 4*y + t, -i*t = 0. Is y a multiple of 7?
True
Suppose -130 + 430 = 2*i. Suppose 3*n = 4*l - i, 5*l - 201 = -0*n - 3*n. Suppose 0*t = 3*t - l. Is 9 a factor of t?
False
Let b = -123 - -243. Is b a multiple of 24?
True
Let c be (-4)/14 - 18/(-14). Let r = 1 + c. Suppose -r*z = -0*z - 48. Does 8 divide z?
True
Let l be 3/(-15) - 1992/15. Let y be l/5 + (-6)/15. Let v = -19 - y. Is v a multiple of 4?
True
Suppose 0 = 158*m - 155*m - 36. Is 3 a factor of m?
True
Let s be (-24)/10*(-60)/(-9). Let h be 21/(-4) + (-4)/s. Is 10 a factor of 1 + (26 - (h + 2))?
True
Suppose 0 = -5*k + k - f - 7, 6 = -5*k - 4*f. Let x(u) = u**2 + 2*u - 1. Let m be x(k). Does 5 divide m/(-2)*(-1 + 11)?
True
Let q = 17 - 8. Does 9 divide q?
True
Is 19 a factor of (-3)/(-2)*(-208)/12*-3?
False
Let f = 8 - 6. Suppose 4*j - 6 - f = 0. Suppose 4*o - o = -3*c + 54, o + j = -5*c. Does 10 divide o?
False
Le