et y(h) = 75 + 0*h**3 - h**3 - 24. Is 17 a factor of y(f)?
True
Let g(y) = -3 + y + 0*y + 3*y**2 + 2*y**2 + 4*y**2. Does 8 divide g(3)?
False
Suppose -29 = -2*j - 3*m, 4*j - 3*m - 12 - 19 = 0. Suppose 9*x + 87 = j*x. Is x a multiple of 37?
False
Suppose -2*q + 5*g + 29 = 0, -3*q + 35 = 2*q - 5*g. Is 8 a factor of 1719/36 + q/8?
True
Let y be ((-65)/(-20) + -4)/(1/(-132)). Let u = -71 + y. Does 12 divide u?
False
Let h(g) = g**2 - 19*g + 462. Does 20 divide h(0)?
False
Suppose 5*a + 896 = -3*g + a, 3*a + 897 = -3*g. Let d = g - -568. Does 15 divide 1/(0 + 4/d)?
False
Let m be 1/(-1*1/5). Let w(k) = k + 7. Let l be w(m). Suppose -5*o - l*u = -8 - 131, -5*o + 157 = -4*u. Is o a multiple of 8?
False
Let f = 39 - 37. Suppose 0*i + f*i - 94 = 0. Does 19 divide i?
False
Suppose -7*k + 10 = -8*k. Let n(c) = -5*c**2 - 14*c + 7. Let w(m) = -4*m**2 - 13*m + 8. Let s(r) = 2*n(r) - 3*w(r). Does 16 divide s(k)?
True
Let n = -12 - -14. Let r be 12/18 - n/3. Suppose r*w - 2*w = -12. Is 2 a factor of w?
True
Let d(x) = 12*x + 145. Let f be d(-13). Let p(b) = b**3 + b**2 + b - 35. Let n be p(0). Let c = f - n. Does 24 divide c?
True
Let d be ((-3)/(-1))/(-3) + 71. Suppose -3*o + 0 = -9. Suppose -2*j = o*j - d. Does 7 divide j?
True
Let c be 45/20 - (-9)/12. Suppose 4*w - c*w + 5 = 0, -k + w + 15 = 0. Let d(p) = -p**3 + 12*p**2 - 15*p. Is 10 a factor of d(k)?
True
Let c = -79 + 87. Is (-42)/(-9)*(4 + c + 3) a multiple of 35?
True
Suppose 0 = 2*q - 7*q + 45. Let i(d) = 14*d - 30. Does 12 divide i(q)?
True
Is (-42)/70 + (-8808)/(-30) a multiple of 48?
False
Suppose -35 = -5*p + 4*t + 73, -2 = t. Let d = 13 + p. Is d a multiple of 4?
False
Let h(j) = -j**2 - 106*j + 87. Is h(-67) a multiple of 30?
True
Suppose -9 = 5*m + 2*b + 5, -12 = -4*b. Let z(v) = -v**3 - 3*v**2 + 2*v + 6. Is z(m) a multiple of 14?
True
Let f(o) = 5*o**2 - 11*o + 1. Let l be f(12). Let d = l - 404. Suppose -d = -5*s - 50. Does 9 divide s?
True
Suppose 0*p - 3*p - 1 = 2*r, 0 = 2*r - 5*p - 23. Suppose -r*n + 5*x + 27 = 0, -n + 2 = -2*x - 4. Is 12 a factor of 220/n - (-3)/(-6)?
False
Let n = -8 + 4. Let h be n/16 + 7/(-4). Is 34 + (0 - 0 - h) a multiple of 9?
True
Suppose -50 - 94 = -4*j. Is 1392/j - 1/(-3) a multiple of 8?
False
Let r = 132 - 733. Let i = r - -404. Let z = i - -280. Does 26 divide z?
False
Suppose 4*m + 4 = -0*m. Let l(s) = 7*s**3 + s**2 + 7*s - 6. Let f(h) = h**3 - h + 1. Let i(y) = m*l(y) - 6*f(y). Is 13 a factor of i(-1)?
True
Suppose 3*u = 3*k + 15, 0*u + u = 1. Let a be (20/((-20)/k))/1. Suppose -2*h = -a*h + 66. Does 11 divide h?
True
Let n be (-4 - (-1 + 2)) + 2. Let o be ((-12)/21)/(n/21). Suppose -29 - 27 = -o*a. Does 14 divide a?
True
Let r(g) = 4*g - 5*g**2 + 31 + 23*g + 4*g**2. Is 6 a factor of r(24)?
False
Suppose 0 = -5*f + 23 + 27. Suppose -2*a - 3*n + 6 = 0, -2*a + 5*n - f = -a. Suppose -x - 35 = -4*w, a*w + 3*w - 4*x - 36 = 0. Does 8 divide w?
True
Suppose -1192 = -2*j + 222*z - 218*z, -4*j - z = -2393. Does 23 divide j?
True
Let x be (1 - (3 + 2)) + 7. Let m be 3 - x - (4 + -75). Let c = -47 + m. Is 12 a factor of c?
True
Let d(x) = -17*x + 233. Is d(4) a multiple of 5?
True
Let y(k) = -k**3 - 5*k**2 - 5*k + 1. Let c be y(-4). Suppose -c*b - 758 - 967 = 0. Is 26 a factor of ((-6)/5)/(6/b)?
False
Let h be 2*(0 + (1 - -3)). Let q be (-2 + h/3)*-3. Let v(j) = -5*j**3 + 3*j + 1. Is 8 a factor of v(q)?
False
Suppose 3*a + 87 = 417. Is 11 a factor of a?
True
Suppose -12*g + 7*g = -25. Suppose -g = -u - 4*u, -3*h + 13 = 4*u. Suppose 3*d + b - 79 = -b, -4*b = -h*d + 85. Is d a multiple of 4?
False
Suppose -12*z + 936 = 7*p - 13*z, -5*p - z + 660 = 0. Does 19 divide p?
True
Let b = 135 + 125. Suppose m - 4*u = 3*m - 80, -5*m + 2*u = -b. Is m a multiple of 17?
False
Suppose 0 = -7*l + 10*l - 30. Does 7 divide l?
False
Suppose -3*f + 12 = 3*f. Suppose -3*b = -12, -4*o + 3*b = -8 - 4. Suppose -o = -3*y, 6*p - f*p + 2*y = 292. Does 24 divide p?
True
Let g be (-39)/13 + -1 + 13. Let s(f) = -f**2 + 9*f + 9. Does 9 divide s(g)?
True
Suppose -23*q = -15*q + 64. Let s(u) = u**2 - u + 3. Let y be s(0). Let r = y - q. Is r a multiple of 9?
False
Suppose 3*o = 3*w + 12, 0 = -w - 4*o + 10 - 34. Let f be w/(-6)*(-6)/(-4). Suppose 38 - 124 = -f*s. Is 9 a factor of s?
False
Suppose 2*i + 3*b - 182 = -53, -5*i - 5*b = -310. Let u = i + -33. Is u a multiple of 7?
False
Let u(z) = z**3 - 5*z**2 - 5*z + 8. Let y be u(5). Let c = 23 + y. Is 2 a factor of c?
True
Let c(h) = -h**3 + 13*h**2 - 11*h - 7. Let a be c(12). Suppose a*p = -2*v + 118, 0 = -4*p + 4*v - 2*v + 98. Let d = p + -10. Does 7 divide d?
True
Suppose 3*v + 22 = 2*p + 52, 4*v - 3*p - 40 = 0. Suppose 177 - 887 = -v*h. Does 14 divide h?
False
Suppose -7 = 3*u + 77. Let v = 30 + u. Suppose 4*t - 120 = -v*t. Does 20 divide t?
True
Suppose -c + 37 + 14 = 0. Suppose 4*f + 3*o + c - 180 = 0, -3*f + 102 = 4*o. Does 11 divide f?
False
Let f = -9 - -15. Suppose 2*o - f = -0*o. Suppose -67 = -5*x - 4*v, x = 3*v + 24 - o. Is x a multiple of 15?
True
Suppose 0 = -0*l + 22*l - 704. Is 21 a factor of l?
False
Let s = -302 + 445. Is s a multiple of 5?
False
Suppose -2 + 9 = -d - 2*a, 10 = -4*d - 2*a. Let m be (-46)/4 - d/2. Let u(w) = w**2 + 9*w. Is 18 a factor of u(m)?
False
Let b(i) = -i - 5. Let a be b(-7). Suppose -4*v + 108 = -v + a*p, -4*p = -3*v + 126. Is v a multiple of 11?
False
Let i(j) = j**2 + 5*j - 1. Let m be i(-5). Suppose 0 = 2*w - 4 - 2. Is 34 a factor of 0 + 117 - (m + w)?
False
Let j = 192 + -70. Is 6 a factor of j?
False
Suppose 0 = -f + 5*f - 8. Let a be 4 + (-19 - (-8)/f). Let v = 32 + a. Does 8 divide v?
False
Let w(s) = 3*s - 15. Let x be w(10). Suppose -2*c + 0*g = 3*g - 1, 5*g = -5*c + x. Is 4 a factor of c?
True
Let d(o) = 4*o**2 + 20*o - 5*o**2 + 41 - 21*o. Is d(0) a multiple of 11?
False
Let j(t) be the third derivative of 5*t**4/12 - 4*t**3 - 15*t**2. Let d be j(8). Suppose 6*s - 2*s = d. Is 7 a factor of s?
True
Let q(b) = b**3 + 5*b**2 - 3*b - 12. Let z be q(-5). Let h(o) = 2*o**2 + o. Let m be h(5). Suppose m = 4*s + z*l, 3 = s + l - 12. Is 4 a factor of s?
False
Let x(k) = -108*k - 8. Does 13 divide x(-2)?
True
Let h(k) = -k**3 - 12*k**2 + 11*k - 4. Let w(g) = 2*g**2 - 10*g + 6. Let n be w(7). Let r = n + -47. Is 11 a factor of h(r)?
True
Let a be 71 - 1 - (-1)/(-1). Let j = a + -38. Is j a multiple of 19?
False
Let k be (-4)/(-10) + 18/5. Suppose -z = k*c + 2*z - 35, 3*c - 5*z + 10 = 0. Suppose 32 = c*m - 13. Is m a multiple of 5?
False
Let s be (-1)/(-5) + 328/(-40). Let i = s - 7. Is (i/10)/((-3)/28) a multiple of 14?
True
Suppose -4*g - 663 = -2263. Suppose 5*r - r - g = 0. Does 21 divide r?
False
Suppose -3*q = -2416 + 706. Is 38 a factor of q?
True
Suppose -3*l = -5*u + 1359, -4*l - 9 = -l. Is u a multiple of 10?
True
Suppose 2*b + 3*y + 1 = 7, 0 = 5*b - 3*y + 6. Suppose -4*w + 20 = x, -w + 8 = -b*w + x. Suppose -6*p + w*p + 22 = 0. Is 11 a factor of p?
True
Does 14 divide (4/12)/(5/105210)?
True
Let j(p) = -245*p - 6. Let g be j(-1). Let q = g + -115. Is 31 a factor of q?
True
Suppose -10*l + 2796 + 3244 = 0. Is l a multiple of 20?
False
Suppose 3*l + 0*l = 0. Suppose l = -x - 5*n + 22, 5*x - 2*n - 2 = -0*n. Suppose x*f + 32 = 96. Does 16 divide f?
True
Suppose 2*u + 330 = m + u, -u = 3*m - 970. Does 25 divide m?
True
Let q(i) = -4*i**2 - 2*i + 1. Let w be q(1). Is 46 - ((-3)/15*w - 2) a multiple of 6?
False
Suppose 234*c - 102 = 231*c. Is c a multiple of 17?
True
Let u = 274 + -279. Let s = 1 + 1. Is 4 a factor of 2/(u/(s - 52))?
True
Let m(b) be the third derivative of -11*b**7/210 + b**6/180 + b**5/120 - b**3/3 + 7*b**2. Let u(t) be the first derivative of m(t). Is 15 a factor of u(-1)?
True
Let q(z) = 24*z - 8. Does 2 divide q(13)?
True
Let u(w) = -2*w**3 + 7*w**2 + 9*w - 2. Let q(m) = 6*m**3 - 22*m**2 - 28*m + 6. Let v(k) = -2*q(k) - 7*u(k). Is 23 a factor of v(5)?
True
Is 9 a factor of ((-16120)/(-80))/((-2)/(-8))?
False
Suppose 0 = 2*z + 2*q, -4*q - 11 - 1 = -2*z. Suppose -4*h = -z*h - 6. Suppose -2*b - 4*y = -90, -2*y - 2*y - 185 = -h*b. Does 11 divide b?
True
Let i be 5/15 + (-46)/3. Let z = -17 - i. Is z/7 - 900/(-63) a multiple of 14?
True
Let r(k) = -k + 3. Let w be r(0). Suppose 2*j = q + w, 0 = 2*j + q - 4*q - 1. Is (2 - 4)/(j/(-32)) a multiple of 8?
True
Let b = 1247 + -433. Does 78 