 h be t(-1). Let b = h + 13. Suppose 144 = b*u + 48. Is u a multiple of 24?
True
Is 28 a factor of 4/(-22) + (-41814)/(-198)?
False
Let f(k) = -k**3 + 4*k - 3. Let m be f(3). Let z = -11 - m. Is z even?
False
Let m = 0 - -5. Suppose 3*a + 2 = a + r, -m*r + 10 = 5*a. Suppose 0 = 3*t - a*t - 60. Is 7 a factor of t?
False
Suppose -4*v - 2*g + 4 = 0, -3*v - 2*g + 13 = 2*g. Let y = v + 1. Suppose y = 4*d - 0*d - 120. Does 15 divide d?
True
Let s(k) = 8*k - 10*k - k**2 - 2 + 0. Let p be s(-3). Let d = p + 27. Is 11 a factor of d?
True
Suppose 0*f - f = -5*z + 10, 0 = 3*z + 3*f + 12. Let l(j) = -1 + 0 + z + 2*j - 2. Is l(4) a multiple of 2?
True
Suppose 2*u - 5*j + 2*j - 57 = 0, 0 = -5*u + 3*j + 147. Is u a multiple of 15?
True
Let i(g) = -40*g + 2. Does 21 divide i(-1)?
True
Let p be (6/4)/((-21)/(-644)). Suppose -t - 2*t = -q - p, t + 5*q + 6 = 0. Is t a multiple of 6?
False
Let g(t) be the first derivative of 3*t**2/2 - 5*t + 2. Does 4 divide g(5)?
False
Does 19 divide (200/(-6))/(-3 - 8/(-3))?
False
Let g be (62/1)/(2 + 0). Let t = 22 - g. Is 12 a factor of 6/t + (-76)/(-6)?
True
Let n = -3 - 1. Is 9 a factor of 313/9 - n/18?
False
Let c(i) = 45*i. Let n be c(7). Suppose 0 = -0*q - 3*q + n. Suppose 7 + q = 4*v. Is 9 a factor of v?
False
Let i = -102 - -184. Let z = 152 - i. Is z a multiple of 23?
False
Let s be (-2)/2*-1 + 1. Suppose s*l - 3 = 3. Is 12 a factor of -1 - -9*(1 + l)?
False
Suppose 10*m - 285 = 5*m. Is 19 a factor of m?
True
Let x = -6 - -9. Suppose 3*a = -3*n + 99, 8*n - 101 = -3*a + x*n. Suppose 160 = 5*y - 4*q, 2*q = -2*y + a + 50. Is 18 a factor of y?
True
Let a = -6 + 0. Let q = a - -48. Is q a multiple of 14?
True
Suppose -2*x = 3*l - 21 - 12, 3*x + 4*l - 50 = 0. Is x a multiple of 9?
True
Let m(t) = -t**2 + 13*t - 11. Is 4 a factor of m(10)?
False
Let h = 60 + -64. Let a(u) = u**3 - 6*u**2 + 8*u - 3. Let t be a(5). Let i = t - h. Is 8 a factor of i?
True
Suppose -4*y + i + 65 = 1, 2*y - 32 = 4*i. Is y a multiple of 4?
True
Suppose b - 33 = -3*s - 2*b, 9 = 3*b. Does 4 divide s?
True
Suppose 0 = f + 2*f - 5*m - 268, 0 = 5*f - 4*m - 438. Does 11 divide (-3)/9 - f/(-6)?
False
Let v be -1 - -11 - (-4 - -1). Let w = -10 + v. Is w a multiple of 3?
True
Let s(i) = i + 12. Does 9 divide s(19)?
False
Let j(q) = -22*q + 15. Is 36 a factor of j(-5)?
False
Suppose 2*b + 1 = -3. Let y = 10 + b. Does 4 divide y?
True
Let o(y) = y**3 + 8*y**2 - 17. Does 16 divide o(-7)?
True
Does 8 divide (-1 - (-29 + 1)) + (-7 - -4)?
True
Let z = 4 + 12. Suppose -4*k - 3*l + 10 = -9, 4*l = 5*k - z. Is k a multiple of 4?
True
Suppose -4*i + 56 = -3*d, -4*i - i + 25 = 0. Let g = d + 6. Is 9 a factor of 8/(-12) - 112/g?
True
Let n = -4 + 7. Suppose 0 = n*b - 6*b - 3. Does 17 divide b - 2 - (-49 + -1)?
False
Is (-2)/(-3)*27*4 a multiple of 21?
False
Let k(n) = -11*n**2 - 9*n. Let o(i) = 6*i**2 + 5*i. Let h(w) = -4*k(w) - 7*o(w). Does 14 divide h(-4)?
True
Let w = 75 - 45. Is 11 a factor of w?
False
Let r(w) = 3*w**3 - 5*w**2 - 3*w - 3. Let x(v) = -4*v**3 + 5*v**2 + 3*v + 3. Let q(n) = -5*r(n) - 4*x(n). Does 9 divide q(-2)?
True
Is (-30)/(-8)*(3 - -1) a multiple of 13?
False
Suppose -2*y = 3*y. Suppose y = b + 6 - 32. Is 13 a factor of b?
True
Let y = -35 - -98. Is 8 a factor of y?
False
Suppose p = 2*p. Suppose p = -0*u - 4*u + 192. Does 18 divide u?
False
Let n = 12 + -7. Is n even?
False
Let z = 2 - -3. Suppose 0 = z*m - h - 145, 2*h - 10 = 4*h. Is 4 a factor of 300/m - (-2)/7?
False
Is 7/1 + (0 - -2) a multiple of 3?
True
Let f(t) = t**2 + t - 2. Let z be f(-3). Let r = 0 + z. Suppose 4*w = -r + 16. Is w even?
False
Let l = -21 - -30. Does 5 divide l?
False
Let q = -59 + 113. Let l = 103 - q. Is 12 a factor of l?
False
Is (-4)/(-18)*6*21 a multiple of 7?
True
Let x = -3 + 51. Is x a multiple of 16?
True
Does 8 divide 0 - 5/(15/(-117))?
False
Is 18 a factor of 8/12 - (-755)/15?
False
Let b = 46 + -23. Suppose 5*v = -3*r + 27, 0 = -5*r - 0*r - v + b. Is (-605)/(-20) - 1/r a multiple of 18?
False
Let i(a) = 10*a - 2. Let h be 1/(-3)*0 + 2. Is i(h) a multiple of 15?
False
Suppose -13 = -5*s + 3*r, 2*s - 3*s = -3*r - 5. Suppose 0 = -s*m + 113 - 33. Is m a multiple of 20?
True
Let x(b) = -b**2 - 10*b - 11. Let s be x(-9). Let z(r) = 6*r**2 - 3*r**3 + 2 - 3*r**2 + 2*r**3 + 3*r. Is 5 a factor of z(s)?
False
Suppose 3 = k + 3*s - 8, -2 = 2*k - 2*s. Suppose k*u = u - 16. Does 13 divide 3*u*(-2)/3?
False
Let r be 290/9 - 2/9. Let f(n) = -n**3 - 6*n**2 + 11*n + 9. Let j be f(-7). Let v = j + r. Is v a multiple of 8?
False
Suppose -5*l - 54 = -i, 28 = i + 3*l - 58. Does 14 divide i?
False
Let u(d) = 10*d - 13. Let t(c) = -21*c + 27. Let x(y) = -6*t(y) - 13*u(y). Is x(-7) a multiple of 14?
False
Suppose -4*n + 4*g = 0, n + 4*n - 15 = 2*g. Let q(a) = 4 + n*a**2 + 2*a**3 + 5*a - a**3 + 0*a**3. Does 7 divide q(-3)?
True
Suppose 16 = 2*o + 2*t, 4*t = 4*o - 2*o - 34. Is o even?
False
Let v(q) be the second derivative of -q**5/10 - 5*q**4/12 + 2*q**3/3 + 3*q**2/2 - 2*q. Let t be v(-4). Let a = t + -3. Is 14 a factor of a?
False
Suppose -5*m = -3*m - 12. Is 3 a factor of m?
True
Let u(c) be the third derivative of -13*c**4/12 - 4*c**3/3 + 2*c**2. Let h be u(-6). Suppose 146 = 4*n - 2*g, 4*g + h = n + 3*n. Does 15 divide n?
False
Let r(t) = t - 1. Let g be r(3). Suppose -g*x + 14 = x - y, 3*y - 6 = x. Is 8 a factor of 40/x*12/5?
True
Suppose 4*g - 86 = c - 12, 3*c - 44 = -2*g. Does 17 divide g?
False
Let b(h) = -2*h**2 - 12*h + 1. Is 8 a factor of b(-5)?
False
Suppose -5*j + 0 - 43 = -3*v, -2*j - 16 = -v. Let d(n) = -7*n**2 - 2*n + n**3 + 9*n + 2*n - 4. Is d(v) a multiple of 5?
False
Suppose -5*r + 9 = -11. Suppose -r*x = -4*q, 0*x = -3*q - 4*x + 28. Suppose 25 = 4*p - 2*s - 3*s, 4*p - q*s = 28. Is 10 a factor of p?
True
Suppose 44 = 4*q + 3*x, 1 = 2*q - 5*x - 21. Suppose q = -u + 45. Does 9 divide u?
False
Let a = 0 - -2. Suppose a = -5*b + 12. Suppose 0 = -3*q - b*z + 21, 0 = 2*q - 2*z + 4*z - 16. Does 5 divide q?
True
Does 12 divide 3*41 + (11 - 10)?
False
Does 31 divide 72/(-10)*(-5 + -35)?
False
Is (4 - 51/(-6))*2 a multiple of 13?
False
Let s(a) be the first derivative of -a**4/2 - 4*a**3/3 - 3*a**2/2 - 3*a - 1. Is 12 a factor of s(-3)?
True
Let x(t) = -t**3 - 4*t**2 + 3*t + 12. Suppose 3 = 3*w, -3*n + 5*w - 20 = -0*n. Is 7 a factor of x(n)?
False
Let i(d) = -10*d - 1. Is i(-3) a multiple of 9?
False
Suppose 5*u = 4*p + 636, -6*u + u - 3*p + 643 = 0. Let w = 254 - u. Let d = -83 + w. Is 25 a factor of d?
False
Let k = 176 + -8. Is k a multiple of 12?
True
Let l(g) = -g**3 + 3*g**2 + 5*g - 4. Does 10 divide l(3)?
False
Let v = 28 - -17. Is 45 a factor of v?
True
Let u(s) be the first derivative of 2*s**3/3 + 2*s**2 + 2*s - 2. Let n be u(-2). Suppose -n*a + 21 = -11. Is a a multiple of 6?
False
Suppose 4*c - 33 - 47 = 0. Suppose -c = 2*p - 4*p. Is (12/p)/(8/20) even?
False
Suppose 240 = -12*z + 14*z. Is z a multiple of 10?
True
Let l be 20/3*(5 - 2). Let j = 36 - l. Let x = 4 + j. Does 8 divide x?
False
Suppose 0 = -3*w + 13 + 2. Suppose -w*f + 200 = 35. Is f a multiple of 8?
False
Does 5 divide (311 - 1)*1/2?
True
Let j = 76 + -11. Is j a multiple of 32?
False
Let h(a) = -a**3 + 7*a**2 - 5*a + 1. Suppose 0*j + 2*j + 5*m - 25 = 0, 4*m - 2 = 2*j. Does 14 divide h(j)?
False
Let j = -3 + 10. Let q be j + (-1)/(-2)*0. Suppose a = q + 23. Is a a multiple of 10?
True
Let s(m) be the second derivative of -2*m - 1/2*m**2 + 3/4*m**4 + 1/20*m**5 + 0 + 7/6*m**3. Does 4 divide s(-8)?
False
Let c = -45 + 108. Does 21 divide c?
True
Let b = -8 - -20. Is b a multiple of 12?
True
Is (0 + (33 + 0 - -4))*1 a multiple of 13?
False
Suppose -s = 4*p + 17, 10 = p - s + 6*s. Let x be 2*p/8*-4. Suppose 2*f + x*j - 16 = 6, 2*f + 2*j - 22 = 0. Is 11 a factor of f?
True
Is ((-2651)/11)/(1*-1) a multiple of 11?
False
Let x = 1 + 0. Let t be (x + (0 - 1))/(-1). Is 4 a factor of t + 12 + (-2)/2?
False
Let a be (-28)/14 - (1 + -45). Suppose -3*y = -y - a. Is y a multiple of 7?
True
Let m(u) = 5 + 1 - 2 + 9*u - u**2. Let t = 4 - -1. Is m(t) a multiple of 13?
False
Suppose -120 = 17*l - 19*l. Is l a multiple of 5?
True
Suppose 4*b + d - 221 = 0, -2*b - 4*d = 3*b - 279. Is b a multiple of 14?
False
Suppose -4*y + 6 = 2*x, 2*x = -5*y + 12 - 4. Let z be y - 1 - (-1 + -20). Let w = z - 12. Is w a multiple of