1 + ((-4)/22)/(-1)?
True
Suppose -6*k + 18*k = 48. Does 7 divide 195/4 - ((-5)/k)/5?
True
Suppose 0 = 3*o + 3*f - 675, o + 2*f + 462 = 3*o. Suppose -12*d - o = -15*d. Is 38 a factor of d?
True
Let w = 195 + 365. Is 35 a factor of w?
True
Let k = -39 - -43. Is 287 - (k - 13/3)*-9 a multiple of 14?
False
Suppose -11*r + 12602 + 15998 = 0. Is r a multiple of 40?
True
Suppose 69*x - 67*x - 1170 = 0. Is x a multiple of 45?
True
Suppose -5*u - 2*r + 166 = 0, u - r = 4*u - 100. Is 27 a factor of u?
False
Suppose 37*b - 228 = 18309. Is b a multiple of 33?
False
Let c = 2413 - 1425. Is c a multiple of 38?
True
Let s(i) = 309*i - 35. Does 16 divide s(7)?
True
Suppose 6*l + 5*l = 55. Suppose 3*m - p - 61 = 0, 4*m - 3*p - 88 = -l*p. Does 3 divide m?
True
Let q(p) be the third derivative of 31*p**7/5040 - p**6/360 + p**5/15 - 3*p**2. Let x(a) be the third derivative of q(a). Does 17 divide x(2)?
False
Suppose 5*b - 106 = k - 2*k, b = -3*k + 318. Let z = k + 0. Is z a multiple of 7?
False
Let n(r) = -15*r**2 + 3*r - 4. Suppose -7*h - 10 = -12*h. Let d be n(h). Is 1/(-2)*d - 1 a multiple of 14?
True
Let i(l) = 6*l + 11. Does 14 divide i(22)?
False
Is 13 a factor of (2185/25)/((-7)/(-35))?
False
Let s = 101 + -101. Let i be ((-78)/(-4))/((-6)/(-8)). Suppose -p + i + 6 = s. Is 10 a factor of p?
False
Let y = 1868 + -781. Is y a multiple of 37?
False
Suppose -3 = 5*y - 2*q - 25, 2*y - 3*q = 11. Suppose -2*s = -y*s + 68. Suppose -6*d = -k - 2*d + s, 0 = d - 1. Is k a multiple of 17?
False
Is (1 - -1) + 96 - 42/21 a multiple of 17?
False
Suppose 16 = 5*h - 24. Suppose 144 = -4*a + h*a. Is a a multiple of 7?
False
Suppose t + 5 = 0, 5*t - 79 + 28 = -2*g. Is 3 a factor of g?
False
Suppose -8*h + 13*h + 416 = 2*r, -3*r - h = -641. Is r a multiple of 8?
False
Let l(u) = -9*u + 17. Let w be l(-10). Let a = w - 55. Is 26 a factor of a?
True
Let q(a) = -1 + 0 - 4 + a + a. Let b be q(4). Suppose 2*p = 10, -57 = -o + b*p - 21. Is 17 a factor of o?
True
Suppose 5*i + 3*p - 19 + 55 = 0, -i + p = 12. Let u = i + 45. Is u a multiple of 16?
False
Let g = 1627 - 1487. Is 5 a factor of g?
True
Let p = 47 + -174. Let d = 205 + p. Is d a multiple of 8?
False
Let p(t) = -2*t**2 - 6*t - 3. Let b be p(-5). Suppose 0*m + 164 = -4*m. Let f = b - m. Is f a multiple of 17?
False
Let z be (-6786)/(-8) + (-2)/8. Suppose -6*j + 2*j = -z. Let f = j + -142. Does 14 divide f?
True
Let l(h) = 219*h**3 - 2*h**2 + 4*h - 3. Is l(1) a multiple of 44?
False
Let u be 0/(-4 + (-3 - -4)). Let d(p) = -p**3 - p**2 - 3*p**2 - 5*p + 3*p**2 + 21 + 4*p. Does 21 divide d(u)?
True
Let s(t) = 4*t**3 - t**2 - t + 1. Let o be s(1). Let v = 3 + o. Suppose -v*h + 12 = -4*h. Is 6 a factor of h?
True
Suppose 0 = 3*o + 2*q - 3*q - 122, -3*q + 12 = 0. Let m = 102 - o. Is 6 a factor of m?
True
Is (-208)/(-117)*-213*(-9)/4 a multiple of 19?
False
Let o = -21 - -24. Suppose 0*g - 51 = -o*g. Is g a multiple of 12?
False
Let j = -58 + 317. Is 22 a factor of j?
False
Suppose -5*s + 8 = 68. Let j(z) = z**3 + 14*z**2 + 13*z + 12. Does 12 divide j(s)?
True
Let p(s) = -28*s + 156. Is 4 a factor of p(-6)?
True
Suppose 0 = 91*m - 79*m - 33924. Is m a multiple of 90?
False
Suppose -4*l = 5*m - 47, l - 14 = -0*l - 2*m. Let g = 8 - l. Suppose g = -5*i + 38 + 27. Is i a multiple of 5?
False
Let u(s) = -5*s + 8. Let y(v) = 2*v + 24. Let b be y(-18). Does 17 divide u(b)?
True
Suppose -2*f - 5*w + 21 = 0, -5*f = -f - 4*w. Let o be 10 + -4 + -3 + (-532)/(-7). Suppose 123 = 3*y - f*r, r - o = -2*y + 6*r. Is 13 a factor of y?
False
Let r = -93 + 136. Suppose n - 133 = -5*t, 2*t - 7*n - r = -4*n. Is 13 a factor of t?
True
Let d(s) = 90*s + 60. Does 60 divide d(6)?
True
Is 8 a factor of ((-384)/(-7))/(-18 - (-3036)/168)?
True
Let h = 157 - -77. Is 18 a factor of h?
True
Let t(i) = -i**2 - 11*i + 16. Let m be t(-12). Suppose m*u + 5*v - 293 = 6*v, -3*v = 15. Does 19 divide u?
False
Suppose 40*z = 31*z + 6984. Does 73 divide z?
False
Let h(o) = -21*o + 40. Let p(k) = 43*k - 81. Let w(t) = -13*h(t) - 6*p(t). Is w(6) a multiple of 8?
True
Let o(l) = 4*l**3 + 7*l**2 + 2. Does 9 divide o(6)?
False
Suppose -r - 3*k + 0*k + 1416 = 0, 2*r - 2832 = -3*k. Is 24 a factor of r?
True
Suppose 1018 = 3*g + 3*n - 158, 3*g + n = 1184. Does 33 divide g?
True
Is 9 a factor of (-16)/12*-3 - -257?
True
Let u be (0 - -207)*(-9)/(-27). Let m = u + -9. Does 30 divide m?
True
Let v(j) = 6*j**2 - 5*j - 1. Let q be v(-2). Let a = 85 - q. Is a a multiple of 10?
False
Let w(v) = -136*v - 3. Let c be w(-1). Suppose c = 6*p - 11. Is 8 a factor of p?
True
Does 58 divide (30/(-125)*-1595)/((-1)/(-5))?
True
Is (258/(-15))/((-8)/240) a multiple of 19?
False
Let x = 1 + 19. Let o = x + 59. Does 17 divide o?
False
Let f(v) = 46*v - 9. Let q be f(2). Suppose 5*w - 1671 = 3*j, 1249 + q = 4*w - 4*j. Let k = w + -224. Is k a multiple of 28?
True
Let w = -3 + 4. Let t be w*2/((-2)/1). Is (-123)/t - (22 - 21) a multiple of 28?
False
Suppose -7216 = 11*l - 22*l. Is l a multiple of 41?
True
Let p = 1315 + 6797. Does 18 divide p/90 - 2/15?
True
Let k be (-1)/(1 - 15/18). Is -1*k/(-27) + 1736/36 a multiple of 4?
True
Let t(j) = -169*j - 11*j**2 - 171*j + 338*j + 23 - j**3. Is 8 a factor of t(-11)?
False
Suppose 5*n = 3*n - 176. Does 19 divide 4/22 - 4472/n?
False
Let v(h) = -4*h + 11. Let a(w) = 2*w - 5. Let p(m) = -5*a(m) - 2*v(m). Let j be p(-11). Let f = j - 11. Is f a multiple of 10?
False
Let c = -36 - -175. Let s = c + -99. Is s a multiple of 40?
True
Let q be (-4 + 7)*(28/6 + -1). Suppose -6*h = -q*h + 470. Is 15 a factor of h?
False
Let i = -62 + 84. Let d = -12 + i. Is 6 a factor of d?
False
Let f = -770 - -1512. Let r be ((-4)/12)/(3/(-45)). Suppose f = r*u + 167. Is 32 a factor of u?
False
Let t = 24 - 17. Let a(p) = p**3 - 4*p**2 - 11*p - 24. Is a(t) a multiple of 4?
False
Let k(q) = -21*q**2 - 185*q - 100. Let u(o) = 4*o**2 + 37*o + 20. Let l(v) = 2*k(v) + 11*u(v). Is l(-19) a multiple of 13?
True
Let i be (-7)/7 + -1032 + -1. Let o = 649 + i. Does 28 divide o/(-5) + 4*1?
False
Let b(l) = l**2 - 6*l - 12. Let t be b(10). Let j = -23 + t. Does 11 divide 1 - -3 - (-200)/j?
True
Let n(k) = k**2 + 4*k + 2. Let i be n(-4). Suppose 0 = -5*b + 4*m - 12, -4*b - 4*m + 12 = -b. Suppose i*y - 36 - 12 = b. Is 8 a factor of y?
True
Suppose -2434 = -w + v, 73*v = 76*v + 9. Is w a multiple of 17?
True
Let v(h) = 3*h - 8. Let g be v(4). Suppose 8*x - 124 = g*x. Is x a multiple of 8?
False
Let c = -66 - -71. Suppose c*n + 320 = 7*n. Is 32 a factor of n?
True
Let v = 823 - 642. Does 20 divide v?
False
Suppose -1650 = -3*k + 3*m, 0 = 4*k + 12*m - 10*m - 2212. Does 12 divide k?
True
Let g(l) = 7*l**3 - 3*l**2 + l. Let z be g(1). Suppose 2*r + 2 = z*h, -7*r + 12 = -4*h - 2*r. Suppose -5*m - 4*a = -322, 3*m - 117 = h*a + 63. Does 31 divide m?
True
Is (7 - 2)*((-627)/(-11) - 1) a multiple of 11?
False
Let h be (-12)/(-27)*3*3. Suppose -5*r + h + 6 = 3*b, -5*b = 4*r + 5. Suppose -r*z = -2*f + 5, -f - 1 = 2*z - 8. Is 3 a factor of f?
False
Let m(d) = d**2 - 7*d - 12. Does 2 divide m(-9)?
True
Let h be 2 + (-3*5 - 3). Let g = h - -19. Suppose -b + 4*b - g = 0, 37 = 5*y + 2*b. Is 2 a factor of y?
False
Let s = -29 + 31. Suppose s*i = -i + 216. Is i a multiple of 36?
True
Let b = 151 - 148. Suppose -236 = -b*i - i. Is i a multiple of 18?
False
Suppose f - 4*f + 846 = 2*b, -2*f + 5*b = -564. Does 6 divide f?
True
Let x = -2005 - -3791. Is 38 a factor of x?
True
Suppose 13*k = 11*k + 2, 0 = -3*u - k + 2065. Does 8 divide u?
True
Suppose -111 + 21 = -5*a. Suppose 0*d + 4*d = 4*y - 72, 0 = y + 4*d - a. Does 3 divide y?
True
Suppose -4*z - 8 = -6*z. Suppose z + 17 = -3*q. Let h = 19 + q. Is 6 a factor of h?
True
Let n(b) = 2*b**2 - 7*b. Let j(s) = s - 11. Let a be j(11). Suppose a*q - q = -5. Is 3 a factor of n(q)?
True
Let i = -3 - -2. Let q be (0/i)/(-3 - -4). Let z = 54 + q. Is z a multiple of 11?
False
Suppose 4*h - 159 = -7. Suppose -6*b + 2*b = -q - 32, 2*b - h = -5*q. Is 8 a factor of b?
False
Suppose -f = 85 - 375. Is 18 a factor of f?
False
Suppose 486 = 5*s - 994. Suppose -5*d - 56 + s = 0. Suppose 96 = 5*q + 3*g, -6*q + 3*q + d = -3*g. Does 5 divide q?
False
Suppose 0 = 2*t - 5 - 27. Suppose 0*s - 5*z = -3*s + 26, -4*z - t = -2*s. Is 6 a factor of s?
True
Let x(n) = -17*n + 336. Is 14 a factor