 + 163, 2*i + 57 = -5*d - 80. Is 13 a factor of (-39)/4*i/6?
True
Let q = 108 - 65. Is 20 a factor of q - 1/(-3 - 40/(-12))?
True
Let c(x) = 291*x**3 + 2*x**2 + 8*x - 9. Is c(2) a multiple of 96?
False
Let l(z) = z**2 + 8*z + 2. Let o(y) = -y**3 - 5*y**2 + 7*y - 2. Let k be o(-6). Let v be l(k). Suppose -2*b = 5*t - 73, v*b + t - 77 = -b. Does 18 divide b?
False
Let a = -49 + 54. Suppose d = 3*l + l - 651, -3*l = a*d - 517. Does 19 divide l?
False
Let s = -5 - -5. Let p = s - -4. Suppose -5*a = -216 - p. Does 22 divide a?
True
Let s(j) = 172*j**2 + 1. Let t be s(2). Suppose -2*z - 671 = -4*d + z, -t = -4*d - 3*z. Does 15 divide d?
False
Is 9 a factor of (1 - (-13 - 0))*18/1?
True
Suppose -2 = -x + 1, -2*w - x + 11 = 0. Suppose -3*v + 1 - w = -3*r, 5*r = -v - 1. Suppose 3*g + 16 - 142 = r. Is 20 a factor of g?
False
Let q be 132/24*(6 - 0). Let d = q - -47. Is 20 a factor of d?
True
Let m(u) = -27*u + 3. Let h be m(7). Let r = -95 - h. Suppose -3*f - r = -5*a, 0*a - 2*a = -4*f - 28. Is 10 a factor of a?
True
Let w = -30 + 39. Let x(y) be the second derivative of y**4/12 - y**3 + 9*y**2/2 - y. Does 13 divide x(w)?
False
Let x(t) = -2*t**3 + 4*t**2 + 2*t - 1. Let s be x(2). Suppose -4*o + 9 = -s. Suppose 80 + 91 = o*n. Is 9 a factor of n?
False
Let t(l) = l**2 - 2*l + 1. Does 10 divide t(-9)?
True
Let l = 151 - 153. Is 28 a factor of (-688)/(-24) + l/3?
True
Suppose 784 = 3*g - m, -2*g - 2*m + 359 + 177 = 0. Suppose 0 = 3*a - 2*l - g, 5*a - 3*l = 381 + 58. Is 7 a factor of a?
False
Let c(s) = 16*s**2 + 16*s**2 + 1 - s - 28*s**2. Let m(a) = a**2 + a + 2. Let v be m(0). Is c(v) a multiple of 5?
True
Suppose -2*b - 4*u + 76 = 0, -71 = -2*b - 0*u + u. Let h = -30 + b. Is h a multiple of 3?
True
Let y be -2 + (-1 - -2) + 16*6. Let v = y - 32. Is v a multiple of 7?
True
Suppose -3*n = q - 979, -16*q - 2961 = -19*q - n. Is q a multiple of 52?
True
Let q = -38 + -6. Let h = q - -110. Does 11 divide h?
True
Is (-1211 - 2*(-6)/(-6))/(-1) a multiple of 27?
False
Let y be -4 + 6 + 0 + 1. Suppose -4*b + y*v = -23, 0*b + 2*v = -b - 8. Is 18 a factor of b/4*(117 - 1)?
False
Let i(t) = -4*t**3 + 4*t + 3. Let x(w) = 3*w - 8. Let v be x(-4). Let q = -22 - v. Does 27 divide i(q)?
True
Let x(j) = -2*j + 13. Let v be x(6). Is (10 - -11)*5/v a multiple of 20?
False
Suppose -2*j + 2*b = -3*b - 10, b - 15 = -3*j. Suppose 3*o = -3*g - 0*g, j*g + 2*o = 12. Does 8 divide (-5)/(-20) + 115/g?
False
Let u(c) = c**3 - 12*c**2 + 14*c + 32. Is 10 a factor of u(11)?
False
Let y(u) = 3*u**3 + 4*u**2 + 4*u - 2. Let m(k) = -k**3 - k**2. Let h = 10 + -14. Let d(r) = h*m(r) - y(r). Is d(3) a multiple of 17?
True
Suppose 7*p - 1056 = 939. Does 15 divide p?
True
Let w(m) be the second derivative of -m**3/3 - 9*m**2/2 + m. Let q be w(-6). Suppose -125 = -2*f - q*f. Is 5 a factor of f?
True
Let p(n) = -125*n - 66. Is 36 a factor of p(-3)?
False
Suppose 10*r - 6 = 7*r. Suppose 0 = k - r - 2. Suppose 1 = k*z - 23. Is z a multiple of 3?
True
Let v(d) = 4*d**2 - 5*d + 14. Let w(c) = -c**3 - c**2 + 1. Let r(z) = v(z) - w(z). Is r(-6) a multiple of 7?
True
Suppose -3*q + 15 = 0, 9*d + 650 = 14*d + 4*q. Does 2 divide d?
True
Let a(z) = z**2 - 4*z + 9. Let x be a(7). Let b = x - 41. Let i = b + 16. Is 5 a factor of i?
True
Is 15 + (-2278)/153 - (-60028)/18 a multiple of 115?
True
Let d = -9904 - -14044. Is 12 a factor of d?
True
Suppose 19 = 2*k - 1. Suppose 0*b = -k*b + 1040. Is 8 a factor of b?
True
Let u = -188 + 284. Does 48 divide u?
True
Let v be 1/(((-2)/(-15))/((-572)/(-55))). Suppose 2*b + 5*g - 59 = v, -2*b = 4*g - 140. Is b a multiple of 19?
True
Let h be 2/(-9) + (-29)/(-9). Suppose -h*u - 49 = -337. Is 11 a factor of u?
False
Suppose 4*p + 744 = 2*l, -4*p + 3*l + 110 = 852. Let h = -83 - p. Is 13 a factor of h?
True
Let w(v) = -v**3 + 3*v**2 + 2. Let d be w(2). Suppose -d*c - 6 + 0 = 0. Let q = 5 - c. Is 2 a factor of q?
True
Let l = -330 + 198. Let y(g) = -60*g + 47. Let w be y(2). Let v = w - l. Is 10 a factor of v?
False
Suppose -15*f - 2160 = -27*f. Is f a multiple of 45?
True
Let j = -197 + 584. Does 37 divide j?
False
Let h be (-10)/(-45) + 249/(-27). Let v be (h/(-4))/(3/(-8)). Let a(y) = -y**2 - 13*y. Is 15 a factor of a(v)?
False
Suppose 58 + 6 = -4*v. Let g = -13 - v. Suppose -g*j + 141 = -21. Is j a multiple of 13?
False
Suppose 50 + 6 = 4*l. Let i = 19 + l. Is i a multiple of 9?
False
Suppose -2*l - r = 3*l + 499, -r = 3*l + 301. Let o be ((-2)/3)/(3/l). Let u = -6 + o. Is 8 a factor of u?
True
Let h = 79 - 47. Suppose 2*a + 8*q = 3*q - 13, 0 = 2*a - 4*q - h. Suppose 2*l - 26 = -a. Does 6 divide l?
False
Suppose -4*d + 9*m = 5*m - 2296, 4*d - 2308 = -2*m. Does 12 divide d?
True
Does 21 divide 360 - 1 - 38/19?
True
Suppose 7*m + 8 = 11*m. Suppose -2*n - 2*n + 5*c + 505 = 0, m*n + c = 249. Is n a multiple of 13?
False
Suppose -24 = -4*i + 2*i. Does 6 divide i?
True
Let c(n) = -n**3 - 19*n**2 - 16*n + 17. Suppose 4 = 5*j - 21. Let z(g) = -g**2. Let r(b) = j*z(b) - c(b). Is r(-12) a multiple of 23?
False
Let d = -111 + 115. Suppose 4*g + 63 = 2*y + 5*g, -2*y = -d*g - 38. Does 8 divide y?
False
Let b = 3084 - 1882. Does 12 divide b?
False
Let q(z) = -z + 2. Let m be q(3). Let t = m - 2. Is (4/6)/(t/(-9)) even?
True
Let p = 111 + 384. Is p a multiple of 25?
False
Let f be -1 + (6/4)/((-12)/(-704)). Suppose -32 = -3*o + c + f, -o - 4*c = -44. Is o a multiple of 13?
False
Suppose -3*h + 35 = -37. Suppose -4*t + 5*y - 30 - 66 = 0, 0 = -t + 5*y - h. Is 3 a factor of t/(-14)*28/8?
True
Let g be -37 + -4 - (-15)/(-5). Let r = g - -172. Is 5 a factor of r?
False
Let o(l) = 9*l**3 - 8*l**2 + 4*l. Is o(4) a multiple of 34?
False
Let v(l) = -61*l - l**2 - 2 + 56*l + 0. Let p be v(-5). Does 14 divide 37/2 + p/4?
False
Let s be 13/(-39) + 334/3. Suppose -3*m = -51 - s. Suppose m = 4*v - 74. Does 15 divide v?
False
Let m(z) be the third derivative of -z**5/60 - 7*z**4/12 + 3*z**3/2 + 12*z**2. Does 9 divide m(-5)?
True
Let i(v) = v**2 + 4. Let a be i(0). Suppose -a = -2*k + 64. Let m = -22 + k. Does 3 divide m?
True
Suppose 4*v + 30 - 126 = 0. Let c(x) = -x**3 + 8*x**2 - 7*x - 8. Let q be c(7). Let s = v - q. Is s a multiple of 17?
False
Suppose m = 5*m - 316. Suppose 2*z = z + m. Is 19 a factor of z?
False
Let s be -2 + ((-3)/3 - -11). Let c = s - 19. Let z(r) = -r**3 - 12*r**2 - 12*r - 2. Does 9 divide z(c)?
True
Suppose -6 = -3*m + 5*m. Is 9 a factor of (36/(-14))/(3/(-28)) - m?
True
Let p = -77 + 79. Is 11 a factor of 67/p - (-1)/(-2)?
True
Let k(p) = -41*p + 201. Is k(-16) a multiple of 30?
False
Let t = -21 + 13. Let v be 2/t + 955/(-20). Let p = -34 - v. Is 14 a factor of p?
True
Let u be 20*2*10/25. Suppose -2*q + u = -4*q. Let c(n) = -n**2 - 10*n + 2. Is 9 a factor of c(q)?
True
Let h = -369 - -619. Does 10 divide h?
True
Let g(r) = 3*r**2 - r + 2. Let s be g(2). Suppose 0 = -s*b + 8*b + 140. Is b a multiple of 7?
True
Let a = -4 - -5. Let h be (a + -3)/(8/20). Let u(z) = -z**3 - 3*z**2 - 5*z + 12. Does 37 divide u(h)?
False
Let s(d) = -d**2 + 16*d - 5. Suppose 0 = -3*b + 8*b. Suppose 3*h = 5*q - 85, b = -3*q - 0*h - 2*h + 32. Is s(q) a multiple of 4?
False
Let w(p) = p**3 + 9*p**2 - 11*p - 2. Let m be w(-8). Does 10 divide (m/(-4))/(12/(-32))?
True
Let a be 1/(-3)*-27*3. Suppose a - 99 = -6*c. Is 12 a factor of c?
True
Suppose 3*a - 6*a = -36. Suppose 340 = a*g - 7*g. Is g a multiple of 13?
False
Let d = -12 + 9. Let p(c) = 2*c**2 + 5*c + 2. Let u be p(d). Suppose -u*z - 5*y + 110 = 0, -z - y + 24 = -2*y. Does 10 divide z?
False
Let m(j) = 11*j**3 - 5*j**2 + 2*j + 4. Let y be m(2). Let o = 103 - y. Is 6 a factor of o?
False
Suppose 10 = 6*n - 14. Let y(p) = -2 + 11*p + 2 - 4. Does 20 divide y(n)?
True
Suppose -2*i = 7*v - 2*v - 233, 4*v - 183 = -5*i. Let x = v + -4. Does 5 divide x?
False
Suppose -52*y + s - 130 = -53*y, -3*s = -y + 146. Is y a multiple of 24?
False
Is (-246)/(10 + (-1216)/120) a multiple of 31?
False
Let l be 1/(1/4 + 0). Suppose -10*d = -7*d - 15, -2*d - 160 = -5*r. Suppose l + r = w. Is 19 a factor of w?
True
Let v(z) = 128*z**2 + 5*z - 42. Does 81 divide v(-6)?
True
Suppose -3*m + y = m - 282, m + 2*y - 66 = 0. Is m a multiple of 2?
True
Suppose 4*q - g - 3825 = 0, 3*q + g - 432 - 2435 = 0. Is q a multiple of 39?
False
Let n(m) be the third derivative of m