 11, 0 = 4*v + o - 41. Is v a multiple of 4?
False
Let z = 13 + 122. Is 7 a factor of z?
False
Is (20/(-30))/(((-5)/(-4845))/(-1)) a multiple of 38?
True
Suppose 0 = -15*x - 1677 + 6477. Is x a multiple of 64?
True
Let z = 74 - 43. Let m(l) = 10*l + 84. Let r be m(-8). Let a = z + r. Is a a multiple of 6?
False
Let l = -24 + 27. Suppose -l*g + 26 = -16. Is g a multiple of 9?
False
Let z = 196 + -296. Let w = z - -120. Does 20 divide w?
True
Let n = -32 + 21. Suppose 9*m - 2*m - 287 = 0. Let q = m + n. Is q a multiple of 7?
False
Let l(t) = -12*t - 16. Let g be l(-8). Is (-2 - g)*(-8)/16 even?
False
Let b(q) be the third derivative of 13*q**6/720 - 13*q**5/120 + q**4/4 + 8*q**2. Let v(x) be the second derivative of b(x). Is v(5) a multiple of 13?
True
Does 5 divide 129/(33/12 + -2)?
False
Let k(h) = h + 11. Let q be k(-8). Suppose 5*z - 158 = 4*y - y, q*z + 4*y = 89. Suppose 3*t - z - 158 = 0. Does 24 divide t?
False
Let l = 38 - 24. Suppose 0 = 8*i - l*i + 342. Is 2 a factor of i?
False
Let l be ((-56)/(-35))/((-2)/(-5)). Suppose -5*j + 320 = 5*a, -4*a - l*j = -9*a + 365. Is 19 a factor of a?
False
Let j = -7 - -9. Suppose j*z - 33 = 15. Suppose 0 = 3*y + 2*w - 96, -5*w - 9 + z = 0. Is y a multiple of 14?
False
Suppose -y + 94 = -5*j, 4*j = y - 62 - 32. Is 47 a factor of y?
True
Suppose -2*o = m - 146, -3*o = -3 + 12. Does 6 divide m?
False
Suppose x = 2*x - 2*b + 127, 3*x = -b - 367. Let f = -213 - x. Let w = -48 - f. Does 21 divide w?
True
Let s = 764 - 401. Is 33 a factor of s?
True
Suppose -455 = -5*a + 5*w, 7*a - 298 = 4*a - 2*w. Does 4 divide a?
True
Let v(i) = -i**2 - 28*i + 61. Is 8 a factor of v(-29)?
True
Let z = -163 - -118. Let d = 11 - z. Is 8 a factor of d?
True
Suppose 17490 = 49*y - 39*y. Is y a multiple of 7?
False
Suppose 4016 = 2*r + t + 426, 5399 = 3*r - 2*t. Is r a multiple of 24?
False
Suppose -p = 4*s - 81, 3*p - 2*s + 4*s = 223. Suppose 0 = 5*h - 4*l + 6, -h = 5*l - 10 - 12. Suppose -p - 31 = -h*g. Is g a multiple of 13?
True
Suppose -4*k - h + 12 = 0, 3*h - 1 = 4*k + 3. Let r be ((-24)/35)/((-22)/(-165))*238. Does 17 divide r/(-16) - k/4?
False
Let c = 1867 - 1090. Is c a multiple of 92?
False
Let c be (-3)/15 - (-276)/30. Suppose 52 = k + c. Is 9 a factor of k?
False
Suppose 3*w - 4 = 2. Suppose -w*o + 79 = -45. Suppose -n = 4*k - o, -2*n + n + 50 = -2*k. Is n a multiple of 18?
True
Let j be (-126)/(-30)*10/3. Suppose 2*t = 5*v - 2*v - 76, 0 = -v - 5*t + j. Is v a multiple of 8?
True
Let n(j) = 20*j - 1. Let v be n(9). Let t = v + -64. Is 23 a factor of t?
True
Let z = 93 + 21. Is 57 a factor of z?
True
Let h(z) = 2*z - 5. Let b be (-4)/18 - (-155)/9. Let s = b - 12. Is 3 a factor of h(s)?
False
Let j(b) = b - 71 + 77 + 8*b. Is j(4) a multiple of 21?
True
Let q(y) = 11*y**3 + 5*y**2 - 4*y - 10. Does 10 divide q(3)?
True
Let m be 2/6 - (-70)/6. Let s be ((-231)/m)/(1/(-4)). Let x = -41 + s. Is 18 a factor of x?
True
Let y(l) = -8*l + 4. Let p(c) = c + 1. Let x(f) = -16*p(f) - y(f). Is 20 a factor of x(-6)?
False
Suppose 41 = 2*a - 5*a - 5*w, -3*a - 3*w = 33. Let i(x) = -x**3 + 13*x**2 + 11*x + 9. Let j be i(14). Let b = a - j. Is 19 a factor of b?
False
Is 14 a factor of (84/(-4))/(1/(-2))?
True
Suppose 0 = 15*t - 288 - 1602. Is 21 a factor of t?
True
Let c = 117 + -69. Let t be (-2)/(-2) + 1/(-1). Suppose l - c = -t*l. Does 12 divide l?
True
Let w = 143 - -432. Does 23 divide w?
True
Suppose 34*x - 40419 = -775. Does 9 divide x?
False
Let p be 3/3 - 20/(-4). Let t(f) = 2*f**2 - 12*f + 14. Is t(p) a multiple of 2?
True
Suppose 0 = -8*x + 432 + 624. Is 11 a factor of x?
True
Suppose w = -5, -41 + 5 = -4*m + 4*w. Is 3 a factor of m?
False
Suppose -197*z = -199*z + 62. Does 5 divide z?
False
Let v(y) = 10*y - 18. Let h be v(6). Let n = -21 + h. Is n a multiple of 16?
False
Let r(v) = -v**3 - 18*v**2 + 16*v + 25. Let j be r(-19). Let q be (-2)/(-6) + (-2)/6. Suppose 2*d + 22 - j = q. Does 15 divide d?
True
Suppose -2*y - 4*f + 3*f + 7 = 0, -5*f = -3*y + 43. Suppose 1261 = y*l - l - 3*s, -2*s = -3*l + 757. Let p = l - 158. Is 18 a factor of p?
False
Suppose -32*h = -29*h + 2*o - 1539, -h = -o - 508. Is h a multiple of 7?
True
Suppose 5*f = -3*n + 2455, -f + 576 = -2*n + 72. Is f a multiple of 13?
True
Let h(v) = 6*v**2 + 2 + 2*v**3 - v**3 - 4 + 2*v. Let g be h(-5). Suppose -g = -d - 1. Does 10 divide d?
False
Let g(k) = k**2 - 2*k + 2. Let q be g(3). Let t(y) = 6*y - 7. Let i(l) = -7*l + 8. Let p(w) = 3*i(w) + 4*t(w). Is p(q) a multiple of 9?
False
Is 32 a factor of 4/(-42) + -438809*(-3)/441?
False
Let r(m) = m**3 - 2 + 3 + m - 3*m**2 + 4*m**3 + 2. Does 30 divide r(2)?
False
Let f = -937 + 3908. Is 18 a factor of f?
False
Suppose 2*l - 4*k - k = -6, -18 = -5*l - 4*k. Suppose -l*f + 120 = -7*f. Let h = 0 - f. Is h a multiple of 6?
True
Let w(c) be the third derivative of -c**4/24 + c**3/2 - 5*c**2. Let z be w(7). Let a(s) = 3*s**2 - 3*s - 1. Is a(z) a multiple of 20?
False
Let u = -35 + 68. Suppose -v - 5*p - u = 0, 1 = -v + 2*p + 3. Let x(r) = r**3 + 9*r**2 + 5*r. Does 8 divide x(v)?
True
Suppose 3*x - 4*f + 4 = 0, x + 5*f + 0 = 5. Does 12 divide x + 81 - 5/((-10)/6)?
True
Let o = 16 - 13. Let f(l) = -o + 2*l - 2 + l**2 - l. Does 6 divide f(-5)?
False
Suppose -3*c = -2*c - 6. Suppose 4*a + 8 = 0, -4*a + 10 = -3*n + c*n. Is n a multiple of 6?
True
Let j = -1 - -8. Let m be 2 + j/(14/12). Suppose n + m*s - 9 = 3*s, -2*s - 54 = -2*n. Is 19 a factor of n?
False
Let v(f) = -f**2 + 2*f + 1. Let m be v(-1). Let h be 1030/(-20)*m/(-1). Let p = -70 - h. Is p a multiple of 8?
False
Let l(u) = u**3 - 16*u**2 + 20*u + 9. Suppose -4*f + 3*f + 15 = 0. Let j be l(f). Suppose -j - 21 = -5*d. Does 7 divide d?
True
Let i = 10 + -5. Suppose 40 = -3*c + 5*n, i*c + n + 2*n + 78 = 0. Is (-10)/25 + (-486)/c a multiple of 16?
True
Let d(h) = 5*h**2 + h + 3. Let x be d(0). Let o(n) be the first derivative of n**4/2 - 4*n**3/3 - n**2/2 + 3*n + 2. Is o(x) a multiple of 9?
True
Let p(w) = w**3 + 3*w**2 - w. Let f be p(-3). Let q(d) = d**2 + 3*d + 4. Is q(f) a multiple of 5?
False
Is (-80)/160 + (-3)/((-12)/3230) a multiple of 14?
False
Suppose 0 = -3*d + 128 + 91. Suppose 2*f = -o + d, o + 167 = 4*f - 4*o. Is f a multiple of 38?
True
Let u(h) = -788*h + 40. Is u(-1) a multiple of 23?
True
Let b be (0 - 4 - 1)/(2/(-26)). Let i = 98 - b. Is i a multiple of 4?
False
Let r(z) = 9 - 20*z**2 + 8*z**2 - z**3 - 7*z + 6*z. Is 7 a factor of r(-12)?
True
Suppose 12456 = 10*o + 2226. Is o a multiple of 11?
True
Let f = 245 + -168. Suppose -f - 23 = -5*j. Is 8 a factor of j?
False
Suppose 0 = -8*d + 4*d. Suppose d = 3*g + 2 - 11. Suppose -g*w - 5*o + 59 = 0, 0*w + 2*o = 2*w - 18. Does 13 divide w?
True
Suppose -290 = -5*s - 2*w + 474, 0 = 5*s - 4*w - 782. Does 22 divide s?
True
Suppose x = 4, 3*y - 4*x - 39 - 8 = 0. Suppose -2*k = k + y. Let l(u) = -u + 6. Is 13 a factor of l(k)?
True
Suppose 4*l - 2*u - 1328 = 0, l = -0*l - 5*u + 343. Let g = 228 - l. Does 17 divide (-8 - -6)*g/2?
False
Is 15 a factor of (-49182)/(-126) - 1/3?
True
Let j(u) = u**2 - u + 6 + 6 - 8*u + 0*u. Let l be j(7). Is 3 a factor of l/9 - 65/(-9)?
False
Let b be 58/6 + (-2)/3. Let p be (1/(-2))/(1/(-6)). Let x = p + b. Is 3 a factor of x?
True
Suppose 3 = -f + 7. Suppose -c = m + 24, f*m + 60 = 2*m + 4*c. Let r = m + 83. Does 19 divide r?
True
Let p(x) = x**2 + 27*x + 40. Is 33 a factor of p(15)?
False
Let k be 3/(-6)*2*-1. Let b be (2 - k)*(-3 + 6). Suppose -84 = -6*j + b*j. Is 14 a factor of j?
True
Suppose 3*s - 310 = -2*b, 3*s - b - 290 = b. Does 4 divide s?
True
Let b(d) = d**3 + 4*d**2 - d + 3. Suppose -5*o = 2*a - 3*o - 12, 2*o = 2*a + 4. Suppose -a*j - 8 = -0*j. Is 2 a factor of b(j)?
False
Let p(i) = -i**3 + 13*i**2 - 2*i - 24. Suppose 4*z = 4*s + 36, 8 = 3*s + s. Does 16 divide p(z)?
False
Let t = -301 - -621. Is 20 a factor of t?
True
Let s(g) = g**3 + 12*g**2 + 14*g - 6. Suppose 5*z = 3 + 7. Let j(v) = v**3 + 12*v**2 + 13*v - 7. Let a(f) = z*s(f) - 3*j(f). Does 8 divide a(-11)?
False
Let i(g) = g**2 - 9*g + 132. Is 14 a factor of i(18)?
True
Suppose 0 = 2*n - 1 + 149. Let r = -32 - n. Is r a multiple of 21?
True
Let n = -1267 + 1726. Is 27 a factor of n?
True
Let u(p) = -p**2 + 2*p + 2. Let w be u(-5). Let s be (-17)/(204/(-152))*9/(-2). Let o = w - s. Is o a multiple of 12?