?
False
Suppose 3*a + a = 5*s + 266, 3*s = 5*a - 157. Let g = s + 83. Does 29 divide g?
True
Does 38 divide ((-32)/(-8) - 1)/(2/88)?
False
Let n(k) = 6*k**2 + 1. Suppose -4*x = 2 + 2. Is 2 a factor of n(x)?
False
Let n = 1 - -1. Suppose 3*o + 4*v - 148 = 0, n*o - 9 = 5*v + 59. Is o a multiple of 22?
True
Let u(f) = -8*f**3 + f**2 - f - 1. Let n be u(2). Let x be 1*2*n/(-2). Suppose -2*r = r - x. Is 13 a factor of r?
False
Let f be (-3 + 3)/(3 - 2). Suppose 3*i + 2*u + 4 = -f*i, i + 2*u + 8 = 0. Suppose -i*v + 2*k = 5*k - 35, v - 3*k - 31 = 0. Is 11 a factor of v?
True
Let f(j) = 2*j - 5. Let y be f(4). Suppose 24 = 4*i + 4*o, 0 = 5*i + y*o + o - 26. Is 2 a factor of i?
True
Let c = 0 + 7. Let s = c + -11. Is 14 a factor of (-8)/s + (-1 - -13)?
True
Let y(l) = -l. Let x(n) = 2*n + 2. Let h be x(-4). Let u(o) = 8*o. Let v(c) = h*y(c) - u(c). Is v(-1) even?
True
Let j be (19*5)/(-9 - -10). Suppose -5*z + j = -0*z. Does 8 divide z?
False
Let y = 50 + -26. Is 7 a factor of y?
False
Let i = 79 + -55. Does 3 divide i?
True
Let t = -1 + -3. Let v = -1 - t. Is (-1)/v + (-100)/(-3) a multiple of 11?
True
Is 2 - (-115)/(-5)*-2 a multiple of 12?
True
Suppose -u - 8 = -0*u. Let o = 30 + u. Is 12 a factor of o?
False
Suppose -v - 7*d + 2*d + 49 = 0, -4*v + 160 = 2*d. Does 5 divide v?
False
Let h = 36 + 48. Suppose h = -2*x + 4*x. Suppose l - 5*d - x + 8 = 0, 2*l - 4*d = 98. Is 23 a factor of l?
False
Let y = -123 + 251. Does 16 divide y?
True
Is 12 a factor of (3 - -1) + -3 + 67?
False
Suppose 0 = t + n - 133, t - 5*n = 3*t - 263. Let x = -95 + t. Is x a multiple of 13?
True
Let y = 187 + -83. Is 18 a factor of y?
False
Let t(n) = n**2 - 7*n - 17. Is 27 a factor of t(-7)?
True
Let r = -463 + 263. Let p = r - -281. Let k = p + -53. Does 16 divide k?
False
Suppose 3*j - 4*h - 15 - 10 = 0, -5*j + 5*h + 50 = 0. Is 12 a factor of j?
False
Suppose -2*j + j = -6. Let w be (-64)/j*(-45)/10. Suppose -w = -3*v - 0*v. Does 16 divide v?
True
Let a be (-14)/(-4)*(-320)/(-56). Let t = 46 - a. Is t a multiple of 13?
True
Let t(z) = -z**3 - 7*z**2 - 14*z + 5. Is 7 a factor of t(-6)?
False
Let g = 20 + -16. Is g a multiple of 3?
False
Let s = -5 - 21. Let b be 0 + (-1 - (2 + 37)). Let t = s - b. Is t a multiple of 7?
True
Let h = 15 + -29. Is 11 a factor of (-2*3)/3 - h?
False
Let q be ((-48)/30)/((-6)/15). Let n(v) = 8*v + 4. Is n(q) a multiple of 9?
True
Let f(s) be the third derivative of 7*s**5/60 - s**2. Let u(a) = a**2 - 10*a - 1. Let y be u(10). Is f(y) a multiple of 7?
True
Let a = 197 - 129. Is a a multiple of 15?
False
Suppose -2*o + 4*i = 0, o = 3*o - 3*i. Suppose -6*l + 4*l + 24 = o. Does 4 divide l?
True
Suppose -1 = -3*h + 35. Suppose -h = -m + 6. Does 10 divide m?
False
Suppose 0 = -3*t + 2*t + 28. Is t a multiple of 10?
False
Is 9 a factor of 38/1 - (22 - 20)?
True
Suppose -7*v + 2*v + 10 = 0. Suppose -v*j + j = -16. Does 16 divide j?
True
Let k = 40 + -20. Suppose -4*s + 2*s = -k. Suppose -s = -m + 3*m, -2*m = 3*u - 50. Is 10 a factor of u?
True
Let y = 50 - 33. Suppose -3*b + 19 = -y. Is 7 a factor of b?
False
Let l(p) = -6*p + 1. Let n be l(-4). Suppose 0 = -5*h + h, 5*s - 4*h = 425. Suppose -5*i + n = -s. Is i a multiple of 8?
False
Let o(y) = -4*y - 3. Is 3 a factor of o(-3)?
True
Let x(m) = -m**2 + 3*m + 1. Let o be x(4). Let l be 1/(-3) + 101/o. Let f = -17 - l. Is f a multiple of 14?
False
Let q = 18 - 6. Does 12 divide q?
True
Suppose -m = 4*m + 135. Let n(c) = -64*c - 2. Let g be n(2). Does 7 divide g/(-18) - (-6)/m?
True
Let h be 1 + ((-8)/2 - -3). Let t = h - -5. Does 3 divide t?
False
Let s(m) = m - 5. Let g be s(7). Does 15 divide 0 + g - (-25 - 3)?
True
Let p(m) = 4*m**3 - 2*m**2 + 1. Let w be p(-1). Let s(k) = -k**2. Let j(v) = 5*v**2 - 3*v + 5. Let u(c) = -j(c) - 6*s(c). Is 5 a factor of u(w)?
True
Let t(w) be the first derivative of w**2/2 + 2. Let n be t(5). Suppose -n*l + 243 = 3*r, 0 = 2*l + 3*l + 2*r - 242. Is l a multiple of 21?
False
Let s(a) = -34*a - 45. Does 20 divide s(-4)?
False
Suppose -7*y = -5*y - 266. Is y a multiple of 25?
False
Suppose -165 = -2*y - 0*t + 5*t, y - 95 = 5*t. Is 22 a factor of y?
False
Suppose 275 = 3*y + 83. Does 16 divide y?
True
Suppose -99 = 5*q + 186. Let d be q/4*8/(-3). Suppose 3*c - 61 = 2*s + 1, 2*c = -2*s + d. Does 14 divide c?
False
Let b = 50 + -35. Suppose 3*g = 5*k - 13, g - k - b = -4*g. Suppose 2*o = 3*i + 9 - g, 4*o - 3*i = 19. Does 6 divide o?
False
Let w = -35 - -83. Is w a multiple of 20?
False
Let q = 463 - 280. Is 17 a factor of q?
False
Suppose -411 = -3*z + 237. Suppose 8*o - z = 4*o. Is 23 a factor of o?
False
Let o = -42 + 112. Does 21 divide o?
False
Let m be ((-3)/(-3))/(4/(-1 - 483)). Let j be (52 + -1)*5/(-3). Let w = j - m. Is w a multiple of 12?
True
Let n be 1/(-3) - (-2)/6. Let g(i) = -i**3 + 3*i**2 + 6*i - 3. Let l be g(4). Suppose 2*v - 3*v - 37 = -3*m, n = -l*m + 3*v + 67. Does 6 divide m?
False
Let b(w) = w**2 - 6*w**3 - w**2 - 2*w**2. Let g be -5*(0 + 4/10). Is 15 a factor of b(g)?
False
Let r = 0 + 4. Suppose -o - o + r*p = -40, -o + 18 = -3*p. Is 8 a factor of o?
True
Let i = -3 + 4. Is 9 a factor of (i + -29)*1/(-2)?
False
Let p(y) = 2*y - 2. Suppose 2*a - v - 2*v = 34, -2*v - 30 = -2*a. Is 7 a factor of p(a)?
False
Let i(u) = -u**3 - 9*u**2 + 9*u + 2. Let g = -20 - -10. Is 5 a factor of i(g)?
False
Let z be 4/(-16)*0 + 1. Does 11 divide (6 + z)*(2 - -2)?
False
Suppose 3*o = 26 + 85. Does 6 divide o?
False
Is 4/22 + 3 + 1875/33 a multiple of 20?
True
Let z be (3/(-1))/(1/(-9)). Let f be z/(-6)*(-4)/6. Suppose 4*o = 2*g, -23 + 1 = -f*g - 5*o. Is g a multiple of 2?
True
Let s = 51 - 21. Is s a multiple of 10?
True
Suppose -2*r - g + 0*g = -2, -3*r + 3*g = -12. Suppose 33 = 5*o - 5*h + 6*h, 0 = o - r*h - 11. Is o a multiple of 7?
True
Does 15 divide 56 + (-7 - -3) - 1?
False
Suppose -80 = -10*f + 2*f. Does 5 divide f?
True
Suppose -4*d + 22 = -2*p, 3*d - 7 = 4*p + 37. Let k = p + 19. Does 8 divide k?
True
Let h = 78 + -47. Is h a multiple of 7?
False
Suppose 4*h - 299 = -9*h. Is 3 a factor of h?
False
Suppose r = 5*r + 5*d - 34, -20 = -4*r + 2*d. Let w(i) = -7*i**2 + 4*i + 6. Let l(a) = 15*a**2 - 8*a - 12. Let y(b) = -6*l(b) - 13*w(b). Is 3 a factor of y(r)?
True
Let z = 101 + -69. Suppose 2*f = -4*h - 14, 5*f + 5*h + z = 12. Is 9 a factor of 21/(-4)*(f + -3)?
False
Suppose 0 = 2*n + 34 - 8. Let p be 2/4*(n + 3). Is ((-16)/5)/(1/p) a multiple of 8?
True
Suppose 0*k - 418 = -2*k - 2*c, -c = 2. Let m = k - 150. Suppose 250 = 5*t + 5*b, 4*t - 124 - m = -b. Is 17 a factor of t?
False
Suppose -5*w = -97 + 27. Let s = 1 + w. Is s a multiple of 15?
True
Let s(y) = 2 + y + y + 2 + 5*y**2 - 9*y. Let m be s(4). Suppose m - 152 = -4*x. Is 8 a factor of x?
True
Let p(b) = 13*b**2 + 5*b + 5. Let i be p(-4). Suppose -4*m + 97 = 2*r + 33, 0 = 4*r - 5*m - i. Is r a multiple of 14?
True
Let f = 12 + -9. Does 14 divide (f - 1)/(8/212)?
False
Suppose 0 = 5*w - 10, 9*w - 40 = -2*x + 4*w. Does 5 divide x?
True
Suppose 3*d - 3*w = 93, -3*w + 35 = -d + 2*d. Suppose -s - s = -d. Does 4 divide s?
True
Suppose 1 = -n - 2*w, -w - 2*w = -3. Is 3 a factor of (-4 - -1)*13/n?
False
Does 12 divide (-234)/(-10) - (-3)/5?
True
Let g be 2 - 2 - (1 + 11). Does 25 divide (-8)/g + 296/6?
True
Suppose 0 = -4*r + 514 - 138. Does 21 divide r?
False
Let c = 9 + -5. Suppose 56 = c*i - 4*o, -3*i - 13 + 54 = -4*o. Does 8 divide i?
False
Let m = -5 + 9. Suppose -7 - 1 = -3*y + 2*h, 49 = m*y + 5*h. Suppose -3*f - 5*b = -69, -4*b - y = -f - 0*b. Does 18 divide f?
True
Suppose 0 = -5*t - 17 + 97. Let j = t + 8. Is 8 a factor of j?
True
Let d(q) = q + 1. Let h(f) = 7*f + 2. Let k(g) = -6*d(g) + 2*h(g). Does 14 divide k(2)?
True
Let j(g) be the first derivative of 1 + g**2 + 2 - 7*g + 0*g - 6*g**2. Is 12 a factor of j(-5)?
False
Let z be (0*3/9)/2. Suppose 0 = -2*t - z*t. Suppose t = -4*q + 2*j + 148, -48 = 3*q - 4*j - 149. Is 13 a factor of q?
True
Let t be (6/(-2))/((-6)/(-28)). Let r = 29 + t. Is 15 a factor of r?
True
Is 123/(-205) + (208/(-5))/(-1) a multiple of 7?
False
Let a(n) = -11*n**3 - n**2 - 5*n - 5. Let o be a(-2). Let f = o + -27. Is f a multiple of 20?
False
Suppose -3*d = 4*d - 413. Does 11 divide d?
False
Let l(x) = x**2 - 3 + 2*x + x**2 - x - x**2. Is 5 a factor of l(-5)?
False
Let r(m) be the fir