- r)/((-1)/(-6)). Does 3 divide (-45)/y*6/5?
True
Let x = -23 - 43. Let y = 113 + x. Does 19 divide y?
False
Let u be -12*(-2 - (-2)/3). Suppose 2*v - v = u. Is v a multiple of 16?
True
Suppose -4*o = w - 0*w + 5, w + o = 1. Suppose 5*r - 4*n - 215 = 0, -3*r - w*n + 86 = -r. Is 13 a factor of r?
False
Suppose -10 + 5 = -f. Is f a multiple of 4?
False
Let k(l) = -l + 4. Is 12 a factor of k(-8)?
True
Suppose 0*j + 4*j - 20 = 0. Suppose 0 = 5*b - 3*z - 174, -j*b - 110 + 288 = -z. Is 12 a factor of b?
True
Let v(h) = 3 + 7*h + 3 + h**3 + h**3 + 8*h**2 - h**3. Let x(r) = -2*r + 3. Let g be x(5). Is v(g) a multiple of 2?
True
Let v(k) = 18*k - 10. Does 11 divide v(3)?
True
Let d = 104 + -110. Let t(l) = -l - 6. Let a(b) = -7. Let j(i) = -2*a(i) + 3*t(i). Is j(d) a multiple of 7?
True
Suppose 0 = -6*d + 17 + 7. Is d a multiple of 3?
False
Let j(w) = -w**3 - w**2 + 1. Let k be j(-2). Suppose 0 = -2*a + k*a - 30. Does 3 divide a?
False
Suppose -f + 2*f = 8. Let m = 8 + -2. Let d = m + f. Is d a multiple of 7?
True
Let d = -5 - -15. Let z = d - 18. Does 9 divide (-12)/z + (-66)/(-4)?
True
Let s be -4*(12/8 + -1). Is s/(-1) + 21 + 1 a multiple of 12?
True
Suppose 193 = 3*g - 41. Is 45 a factor of g?
False
Suppose -5*z + 3*z + 34 = 0. Let q = 115 + z. Suppose q = t + 2*t. Does 17 divide t?
False
Let d(l) = -7*l**2 + 11*l + 3. Let c(w) = -3*w**2 + 5*w + 1. Let a(h) = -5*c(h) + 2*d(h). Let b be a(2). Is 1/(1*b/(-19)) a multiple of 10?
False
Let h(z) = -z**2 + z + 25. Let d be 1/2*(2 + -2). Is 11 a factor of h(d)?
False
Let h = 12 - 21. Let a be 10/45 - 412/h. Suppose 5*u = 2*b, 5*b - a + 11 = -5*u. Is 2 a factor of b?
False
Suppose 3*y - 32 = 3*g + 199, 0 = 5*g. Is y a multiple of 7?
True
Suppose 4*f + 5*l + 1 = 0, -2 = 3*l + 1. Let u = -20 - f. Let v = -2 - u. Does 19 divide v?
True
Let s(d) = d**2 - 3*d + 5. Let o be s(-6). Suppose o = 3*z - 49. Is z a multiple of 12?
True
Let m(y) = y + 1. Let n be m(3). Suppose -2*u - 6 = -2*i, -3*i + n = -u + 3*u. Is 9 a factor of u*-2*4 + 1?
True
Let g = -32 - -142. Is 21 a factor of g?
False
Let k be (0 + -2)/(-4)*2. Is 2*((-3)/(-6) + k) a multiple of 3?
True
Let b(r) = -r - 11. Let x(v) = 2*v + 22. Let l(c) = -5*b(c) - 2*x(c). Suppose -5*a + a + 52 = -4*o, 0 = o - 3*a + 23. Is 2 a factor of l(o)?
False
Let a = 1 - 2. Let r be -8 + a/(-3)*0. Let q = 0 - r. Does 4 divide q?
True
Let k(h) = -1 + 8*h**2 + 2 + 0*h**2. Let u be k(-1). Suppose -u*p + 4*p + 115 = 0. Is p a multiple of 23?
True
Let g(u) be the first derivative of -u**3/3 - 2*u**2 + 3*u + 1. Let i be g(-4). Suppose -i*o + 45 = -0*o. Is 13 a factor of o?
False
Let y(v) = v**3 - v**2 + v + 44. Suppose s = -3*s. Let a be y(s). Let f = a + -21. Does 11 divide f?
False
Suppose -27 = -5*g + 8. Let f = 27 + g. Is f a multiple of 34?
True
Is (2 - 10/8)*80 a multiple of 15?
True
Suppose 5*n = -8 + 28. Suppose -s - 59 = -5*c, n - 3 = s. Does 4 divide c?
True
Let q = -12 - -19. Let u(r) = 3*r - 3. Is 9 a factor of u(q)?
True
Suppose -2*g - 4*m = 14, m = 3*g + 2*g - 20. Does 6 divide (g - (-10)/(-8))*4?
False
Let m(n) = -n**3 - 3*n**2 + 4*n + 7. Is m(-6) a multiple of 21?
False
Let h(i) = 4*i**2 - 16*i - 12. Let t(s) = 3*s**2 - 11*s - 8. Let c(d) = -5*h(d) + 7*t(d). Let m be ((-2)/(-1))/(((-4)/8)/1). Is c(m) a multiple of 4?
True
Suppose -5*b = -b. Suppose b = 7*r - 11*r + 28. Is 5 a factor of r?
False
Let f(z) = 38*z**3 + 3 + z - 2*z + 0*z - 4. Let y be f(-1). Is 9/(-2)*y/3 a multiple of 19?
True
Let i = 2 + 0. Let l = -87 + 48. Let b = i - l. Is b a multiple of 12?
False
Suppose -u + 4 = 0, -3*u = 3*p - 7*u + 40. Let j(f) = -f**2 - 5*f + 7. Let t be j(p). Let h = t - -45. Does 14 divide h?
True
Let v(t) = 6*t**2 + 7*t - 12. Let f(u) = 8*u + 3*u**2 + 4*u**2 - 2*u**2 - 11. Let s(r) = 4*f(r) - 3*v(r). Does 13 divide s(-8)?
False
Suppose 3*v - f - 4 = 4*v, -4*f = -v - 4. Suppose 6*n = 2*n - 68. Let x = v - n. Is x a multiple of 13?
True
Let p(v) = 5 - 2*v - 1 + v + 3*v. Is p(4) a multiple of 12?
True
Suppose 3*q - 175 - 125 = -2*j, -4*q = -2*j + 300. Is 50 a factor of j?
True
Let x(h) = h. Let d be x(0). Suppose 2*n + 0*n - 12 = d. Let w(i) = i - 3. Is 3 a factor of w(n)?
True
Suppose -87 = -2*l + 39. Does 21 divide l?
True
Let n be (-2 - 15/(-1))/1. Let i = n + -7. Suppose 2*z - i = 2. Does 2 divide z?
True
Suppose 7*r + 72 = 1598. Does 29 divide r?
False
Let o(w) = -2 + 4 - 3*w - 1. Let c be o(-2). Suppose c*v - 270 = 2*v. Is 19 a factor of v?
False
Let h(p) = -2*p - 4. Let a = -15 + 5. Is h(a) a multiple of 16?
True
Let y(i) = -i**3 - i**2 - i - 2. Let g be y(-2). Suppose -2 = g*d + 154. Let k = d + 55. Is k a multiple of 8?
True
Let y(u) = -u**2 - 11*u + 14. Suppose -5*z = 5*w + 55, 3*z + 4*w = -35 + 1. Is 6 a factor of y(z)?
True
Let m = -9 - -93. Does 14 divide m?
True
Let d(t) = -t**2 - 10*t + 3. Let y be d(-10). Suppose 4*g + y*q = 133, 5*q - 29 = -g - 0*g. Does 16 divide g?
False
Suppose -3*t - 3*o + 31 + 305 = 0, 0 = o - 4. Is t a multiple of 36?
True
Let w = -53 + 179. Suppose 4*i + 3*g - 122 = g, -2*g - w = -4*i. Is 20 a factor of i?
False
Let l(g) = -4*g + 3. Does 12 divide l(-6)?
False
Let v(u) = -39*u + 1. Is 15 a factor of v(-1)?
False
Let f(d) = d**3 + 2*d**2 - 3*d - 3. Let h be f(-2). Let y = 6 - h. Suppose 3 = y*b - 39. Does 7 divide b?
True
Let f = -1 - 1. Let k = 23 + f. Is 9 a factor of k?
False
Let m(c) = 2*c - 12. Let i be m(6). Suppose 5*v + 4*u - 86 = i, 19 = v - 6*u + 5*u. Does 5 divide v?
False
Let s(v) = 53*v**2 - v - v - 3 + 4. Let h be s(1). Let p = h - 30. Does 13 divide p?
False
Let u be (1/2)/((-2)/(-16)). Suppose 5*x - u*x = 7. Does 2 divide x?
False
Let u = -3 - -5. Suppose u*o = -2, -2*z = -3*z + 2*o + 30. Is 14 a factor of z?
True
Let g = 36 + 70. Is g a multiple of 12?
False
Let m be 1/3*(-231)/7. Let n = 31 + m. Is n a multiple of 10?
True
Suppose -u = 3*u + 40. Let b(k) = -2*k**2 - 14*k - 15. Let a be b(u). Let w = -30 - a. Is w a multiple of 12?
False
Suppose -12 = 3*t - 7*t. Suppose 0 = -0*y + 4*y + 3*s - 10, y - 10 = t*s. Suppose y*o = 2*i - 2 + 78, -4*i - 33 = -o. Is 12 a factor of o?
False
Let r(c) be the second derivative of -3*c**7/140 - c**6/360 - c**5/120 - c**3/2 + 2*c. Let k(j) be the second derivative of r(j). Is 9 a factor of k(-1)?
True
Let o(y) be the second derivative of y**5/20 - 2*y**4/3 + y**3/2 - 5*y**2 + 4*y. Does 4 divide o(8)?
False
Let q(n) = -n**3 - n**2 - 6*n - 8. Is q(-3) a multiple of 14?
True
Let t(j) = 5*j - 4. Let s be t(6). Let f = 44 - s. Is f a multiple of 9?
True
Let h = -54 - -27. Let a = -39 - -81. Let d = a + h. Does 6 divide d?
False
Let s be 4/1*4/8. Let m = 6 - s. Suppose -m*x + 45 = 4*h - 7*x, 3*x = 15. Does 5 divide h?
True
Let w be (2 - 3)*-30*1. Suppose 6*d = 3*d + w. Is d a multiple of 10?
True
Suppose -3*d + 2*d = -4. Suppose v = d*v. Suppose v*j = -4*j + f + 16, -f = 5*j - 20. Is j a multiple of 4?
True
Suppose -670 = -4*n + 270. Is n a multiple of 30?
False
Is ((-18)/(-3))/(-1)*-30 a multiple of 12?
True
Suppose 0 = 5*g - 17 + 7. Suppose 0 = -6*f + 2*f - 20, -2*f - 74 = -g*h. Is 13 a factor of h?
False
Let j(f) = 10*f**2 - 6*f - 7. Is 22 a factor of j(-4)?
False
Let k be 1 - (-2)/(6/903). Suppose -4*m + 18 = -k. Is 20 a factor of m?
True
Let g = -36 - -50. Is 6 a factor of 35/10*24/g?
True
Suppose 4*w - 6*w + 3*b = -244, -2*b - 621 = -5*w. Is 25 a factor of w?
True
Is 24 a factor of (8/6)/(24/9072)?
True
Let i(d) = -d**3 - 7*d**2 - 8*d - 3. Let c be 6/(-9)*(-3 - -12). Does 7 divide i(c)?
False
Let b = 38 + -25. Is 2 a factor of b?
False
Let y be ((3 + -27)/4)/(-2). Suppose -2*r = r - 6, -h - r + 4 = 0. Suppose -5*p - h*n + 69 = -y*n, -3*n + 53 = 5*p. Does 8 divide p?
False
Is 16 a factor of (-90)/(-3) + 2 - 0?
True
Let j(f) = 4*f - 3. Is 4 a factor of j(4)?
False
Let w be (-6)/((-3)/4*2). Suppose 2*i - w*x = 46, -i - 2*i + 4*x = -67. Let b = 45 - i. Is b a multiple of 12?
True
Let y be (-340 - -2) + -2 + 1. Is y/(-12) + 1/(-4) a multiple of 22?
False
Suppose -5*i + i + 3*b = -417, 2*i = -5*b + 241. Does 25 divide i?
False
Suppose -2*z + 4*b = -118, z - 271 = -4*z + 2*b. Suppose -3*l - 9 = -n - z, -n = -4. Is 8 a factor of l?
True
Suppose 20 = 5*k - 5*v, -v = k + 3 + 1. Suppose -4*p = -k*p - 68. Does 10 divide p?
False
Let a(p) = -p**2 + 9*p + 10. Let v be a(7). Suppose 5*z - 2*z 