
Let v = -4 - -5. Is 30/4*(v - -3) a multiple of 12?
False
Let m(l) = 18*l - 14. Does 8 divide m(7)?
True
Let t(i) = 2*i + 4. Let j(v) = v - 10. Let o be j(10). Suppose o = k - 4 + 1. Is 4 a factor of t(k)?
False
Let w = -25 - -25. Suppose 5*t + 252 - 642 = w. Is t a multiple of 19?
False
Let h be ((-3)/(-2))/(1/2). Let k be (6/(-5))/((-24)/320). Suppose 4 = 4*b - 7*b - 4*q, k = h*b - q. Is b a multiple of 4?
True
Let d be (1 + 1)/((-6)/(-45)). Suppose 3*r - 15 = 3*w + 2*w, 5*w = -5*r - d. Suppose t + 5 = r, -u = -5*u + 2*t + 58. Is 12 a factor of u?
True
Let c(r) = r**2 + 5*r + 10. Does 6 divide c(-7)?
True
Let h be (6 + -2)/(-1 + 0). Let p(o) = -5*o - 4. Does 14 divide p(h)?
False
Let j(p) = 22*p + 13. Let o be j(-5). Let z(d) = d**3 + 9*d**2 - 4*d + 8. Let c be z(-6). Let g = c + o. Is 16 a factor of g?
False
Let s be (12/28)/(2/14). Suppose 0 = -4*h - 8, 0 = -s*y + h - 4 + 30. Is 3 a factor of y?
False
Suppose -495 = -z - 4*z - 5*w, 5*z - 4*w - 495 = 0. Is z a multiple of 17?
False
Let b be 4/4 + (0 - -2). Suppose -b*x + 290 = -4*t, -5*x - 3*t = -377 - 145. Is 13 a factor of x?
False
Let y(x) = 2*x**3 + 2*x**2 - x + 12. Does 42 divide y(4)?
True
Let i = 77 + -81. Let g(q) = 1 + 0*q - 6 - 12*q. Is g(i) a multiple of 11?
False
Suppose 0 - 7 = 3*o + 5*q, 3*o = -2*q + 8. Is 6 a factor of o?
True
Suppose 5*j - 16 = 4. Suppose -3*y + j = -5. Is 260/4 + y/3 a multiple of 26?
False
Let l be 176/14 + (-3)/(-7). Does 13 divide l/(-2)*(-12)/2?
True
Let g be (2/2)/((-3)/(-6)). Suppose -16 = -g*u + 10. Is u a multiple of 13?
True
Let g be 8/20 - 2/5. Let t be -2 + 7 + -2 + g. Does 6 divide 1 + (t - 2) - -4?
True
Let o(f) = -f**2 - f. Let c(v) = -v**2 - v. Let z(r) = -7*r**2 + 8*r - 2. Let y(w) = 2*c(w) - z(w). Let k(a) = -4*o(a) - y(a). Is k(10) a multiple of 19?
True
Let s = 14 - -2. Suppose 2*h + 5*f = -s + 47, h - 29 = 2*f. Does 20 divide h?
False
Suppose b - 241 - 67 = -4*s, -4*s + 316 = -b. Is s a multiple of 6?
True
Let i(l) = -4*l - 16. Is i(-8) even?
True
Suppose -c = o - 0*o - 2, -3*o - 2*c = -9. Suppose 0 = o*u - 13 - 2. Is 5 a factor of 2 - -13 - 2 - u?
True
Let u be (-3)/(-2)*20/15. Suppose -u*r - 8 = -20. Suppose -3 = 3*a, 3*a + 23 = r*t - 2*t. Is t a multiple of 5?
True
Let o = -4 + 6. Suppose o*a + 1 = 39. Does 19 divide a?
True
Suppose 3*k + 1 = -g, -1 = -k - 3. Suppose -4*h - g*b + 31 = 0, 0 = 2*h + 2*b + b - 15. Is 3 a factor of h?
True
Let y = 8 - 6. Let a be y/7 - (-209)/77. Suppose -p = -a*p + 96. Is 16 a factor of p?
True
Let i(x) = 9*x**2 - x - x**2 - 1 - 2 + 4*x**2. Is i(3) a multiple of 26?
False
Let n(y) = y**3 + 8*y**2 + 9*y + 9. Let l be n(-7). Let t(f) = -6*f. Is 7 a factor of t(l)?
False
Suppose 0*u + u - 47 = 3*i, 2*i = -u + 62. Let n = u + -40. Is 7 a factor of n?
False
Suppose -65 = -6*a + a. Suppose -5*z = -2*z + r + 8, -2*z + 3*r + a = 0. Let x(m) = -17*m**3 + m**2 + m + 1. Does 16 divide x(z)?
False
Let k = -196 + 406. Is k a multiple of 15?
True
Suppose 2*n + 92 = -0*n. Let y = -24 - n. Is y a multiple of 11?
True
Let l(k) be the third derivative of 0 - 1/8*k**4 - 1/10*k**5 + 0*k - 3*k**2 - 1/120*k**6 - 5/6*k**3. Is 10 a factor of l(-6)?
False
Does 25 divide ((-42)/14)/(6/(-100))?
True
Suppose 0*o - 3 = -3*o. Let c(g) = 41*g + 1. Does 14 divide c(o)?
True
Let x = 1 - -54. Is x a multiple of 12?
False
Suppose -5*z = -7*i + 2*i + 30, -3*i = -5*z - 20. Suppose -5*u = 4*p - 9*p - 35, -2*p = i*u - 28. Suppose -10 = g - u*g. Does 2 divide g?
True
Suppose 0 = i - 12 - 9. Is 7 a factor of i?
True
Let d(g) = 3*g - 5. Let r(o) = 6*o - 11. Let z(p) = 9*d(p) - 4*r(p). Does 3 divide z(3)?
False
Let q(d) = d**3 + 7*d**2 + 4*d + 2. Let y = 0 - -1. Suppose y = 2*m + 13. Does 7 divide q(m)?
True
Suppose 19*h - 10*h - 1440 = 0. Is 8 a factor of h?
True
Is 34 a factor of 69*2 + (2 - 4/1)?
True
Suppose -2*k + w = -36, -2*w - 23 = -k + 1. Let u be k/(-4)*1/1. Does 23 divide u/(-18)*3*69?
True
Suppose 2*o + o = 630. Suppose -4*d = -4*l + o - 10, 5*l - 238 = d. Does 16 divide l?
False
Let v = 20 + 20. Is 26 a factor of v?
False
Does 14 divide ((-36)/21)/((-3)/84)?
False
Is 866/30 + 2/15 a multiple of 2?
False
Suppose -4*h + 98 = 2*l, -l = -5*l + 20. Is h a multiple of 9?
False
Suppose -3*n + j + 561 = 2*j, -3*j = -5*n + 949. Does 38 divide n?
False
Let g = 0 - 0. Suppose 4*o + 2*z + 60 = g, -o + 4*o - 2*z = -38. Is (-4)/o - (-304)/14 a multiple of 10?
False
Suppose 0*s + 14 = 2*s. Suppose 2*g = j + s, g = 5*j + 23 - 6. Suppose 2 = 3*b + g*h - 12, 4*b - 21 = -5*h. Is b even?
True
Suppose 3*i - 167 = 115. Is 17 a factor of i?
False
Suppose 3*n - 6*n = 69. Let k = n + 49. Does 13 divide k?
True
Suppose 5*p - 2*p + 40 = 5*k, 15 = 4*k + p. Suppose -174 = 2*i - k*i. Let v = i - 18. Is 14 a factor of v?
False
Let s(f) = -53*f**3 + 2*f**2 + f. Let y be s(-1). Suppose 2*b + 2*q = y, 2*b + 6*q = 7*q + 54. Is b a multiple of 11?
False
Let o = -143 - -258. Is 30 a factor of o?
False
Let u be ((-28)/(-1) - 1)*1. Let s = u - 12. Is 3 a factor of s?
True
Let j(g) = g**2 + 5*g - 4. Let q be j(-6). Suppose -q*n = -42 - 12. Is 17 a factor of n?
False
Suppose -6 - 38 = -2*b. Suppose 3*x = b - 4. Is 12 a factor of (x/8)/(2/64)?
True
Let j = -9 + 19. Let b be 5/(j/(-28))*-2. Suppose -b = -4*n + 32. Is n a multiple of 15?
True
Suppose -s - 2*s = 5*f - 304, s = -f + 100. Is 9 a factor of s/3 - (-3)/9?
False
Let u be (4/(-4) - 33)*-1. Suppose 4 = -5*i + 5*c + 14, u = 5*i + 3*c. Is i even?
False
Let i(q) be the second derivative of -2*q**3/3 - q**2 + 4*q. Is 5 a factor of i(-3)?
True
Let s(k) be the second derivative of k**4/12 - k**3/3 + 3*k**2/2 + 2*k. Is s(4) a multiple of 10?
False
Let h = -146 + 376. Is h a multiple of 17?
False
Let j(k) = 4*k**3 + 2*k - 1. Let u be j(-2). Let x = 74 + u. Does 11 divide x?
False
Suppose 7 = 5*n + 2. Let y = -3 - 2. Let h = n - y. Is h a multiple of 3?
True
Let w(l) be the third derivative of -l**4/4 + l**3/6 - 2*l**2. Let y be w(1). Is 3 a factor of y/(-1) - (0 - 1)?
True
Suppose -3*g + 69 = -42. Is g a multiple of 22?
False
Let p(g) = g. Let k(m) = -2*m - 11. Let i be k(-8). Let t be p(i). Let n = t - -4. Does 9 divide n?
True
Let h(f) be the third derivative of -f**4/24 - f**3 + 2*f**2. Let r be h(-11). Is 16 a factor of ((-41)/r - -1)*-5?
False
Suppose 2*f = -27 + 107. Is 20 a factor of f?
True
Let h(u) = u**2 + u - 6. Is h(-6) a multiple of 16?
False
Let c(l) = 47*l**3 + 11*l**2 - 3*l + 2. Let t(y) = -23*y**3 - 5*y**2 + y - 1. Let k(a) = -3*c(a) - 7*t(a). Let j be k(-1). Let u = j - -35. Does 5 divide u?
False
Let o be 1*4*(-200)/(-8). Suppose 3*h + n = 2*n + o, -5*h - 5*n = -140. Is h a multiple of 9?
False
Does 10 divide 32 + (-8)/20*10/(-4)?
False
Suppose 0*i = 4*i + 2*d + 40, 4*i + 4*d = -40. Let c be (i/(-15))/((-2)/(-12)). Suppose c*j - 4*v - 66 = -6*v, 0 = -5*j - 2*v + 85. Does 8 divide j?
False
Let s(n) = 5 - 1 - 6*n + n + 2*n. Does 8 divide s(-4)?
True
Suppose b = 4*b. Let w(x) = x**3 + x**2 - 4*x - 3. Let o be w(-2). Is 42 - ((o - -1) + b) a multiple of 17?
False
Let r(c) be the second derivative of 1/3*c**3 + 1/12*c**4 + 0 - 4*c**2 + c. Is 8 a factor of r(-6)?
True
Let s(h) = h**2 - 7*h - 6. Does 3 divide s(10)?
True
Let f(r) = 11*r**2 + 3*r - 4. Let l be f(4). Suppose -c + 5*c = l. Is c a multiple of 17?
False
Suppose -4 = 3*i - 31. Is 3 a factor of i?
True
Suppose 0 = -3*t - 4*p + 18 + 4, -p = t - 6. Let f be (1/t)/(2/(-88)). Does 10 divide (-12)/66 + (-466)/f?
False
Let t(f) be the third derivative of f**4/8 - 2*f**3/3 + 2*f**2. Is t(4) a multiple of 3?
False
Let j(n) = n + 1. Let z be j(3). Let r(w) = -2*w**2 + 13*w**3 + z*w**3 + 0*w**3 + w. Is 9 a factor of r(1)?
False
Suppose 5*w - 4*n + 44 - 148 = 0, -3*n - 3 = 0. Is 138/5 - (-8)/w a multiple of 8?
False
Let i(q) = -30*q**3 - 2*q**2 - q. Let n be i(-1). Let y = 71 - n. Is 21 a factor of y?
True
Let p(v) = -46*v - 10. Let l be p(6). Is 12 a factor of (-12)/(-36) + l/(-6)?
True
Suppose s + 4*y = -s - 580, s - 5*y = -269. Let i = s - -400. Let h = i + -79. Is 20 a factor of h?
False
Suppose 4*q - 193 = -5*c, -4*c + 6*c - 190 = -4*q. Is 9 a factor of q?
False
Suppose 5*x + 12 = 7*x. Suppose -x*v + 2*v = -120. Is v a multiple of 15?
True
Let j = 0 + 2. Is ((-2)/j)/((-3)/93) a multiple of 14?
False
Let t(r) = r**2 - 2*r. Suppose -2*d = -n, 5*n = 4*d + 11