z(o)?
True
Let l(j) = 26*j + 17. Let p be l(-5). Let d = p + 168. Is 11 a factor of d?
True
Let h(l) = 3*l**2 - 6*l - 5. Let x(j) = 2*j**2 - 4*j - 3. Let a(q) = 5*h(q) - 7*x(q). Let p be a(7). Let o = p + -11. Does 10 divide o?
True
Let k(d) = -d**3 - 2*d**2 - 2*d + 484. Is 44 a factor of k(0)?
True
Let v(a) = -a**3 + 4*a**2 - 4*a. Let g be v(2). Suppose g = -4*d + r + 898, -r - 1 = -3. Does 15 divide d?
True
Suppose -7595 - 20905 = -12*j. Is 19 a factor of j?
True
Let m(z) = 6*z**3 - z**2 + 4. Let b be m(3). Let x(v) = v**3 + v**2 - 3*v - 2. Let u be x(6). Let p = u - b. Does 25 divide p?
True
Let p(f) = 31*f + 1. Let n = 33 + -31. Is 10 a factor of p(n)?
False
Suppose 4*d - 14 = 6. Suppose d*g - g = 288. Does 18 divide g?
True
Let s(r) = -3*r**2 + 61*r - 16. Does 20 divide s(8)?
True
Let z(s) = 24*s**2 + 42*s - 4. Let h(j) = 12*j**2 + 21*j - 2. Let o(k) = -5*h(k) + 3*z(k). Is 22 a factor of o(2)?
True
Suppose 2*g - 11 + 1 = 0. Suppose 2*i = -i + 15, -g*i - 227 = -3*c. Suppose -2*p + 6*p = c. Is p a multiple of 15?
False
Suppose 0 = -2*o - l + 807, 7*o = 2*o - 3*l + 2015. Is 29 a factor of o?
True
Suppose t = 2*t - 3*m - 84, m = 5*t - 420. Suppose f = t - 5. Let i = f + -43. Is 12 a factor of i?
True
Suppose -25379 = -12*s + 4393. Does 10 divide s?
False
Suppose -2*v - 619 = -3*y, 5 - 2 = 3*v. Let s = 40 - y. Does 21 divide (-4)/(-16) - s/4?
True
Suppose 341 = s + m, -4*s + 155 + 1209 = 5*m. Is 21 a factor of s?
False
Suppose -2*s = -k - 401, -2*s + 30*k = 34*k - 386. Is s even?
False
Let p be (-2 - -1)/(2/(-8)). Suppose 35 = p*k - 73. Is k a multiple of 9?
True
Let t be 1 - 2/(1 + 1). Suppose 2*b - c = -6*c + 62, t = 2*b - 3*c - 62. Suppose -4*z + b = -89. Does 5 divide z?
True
Suppose -64 = -2*h + 4*d + 32, 0 = 3*d. Is h a multiple of 6?
True
Let p be (-1)/(-2) - 3/(-6). Let a be 0*(p - 12/8). Suppose 3*k + 108 = d + 2*d, -d - k + 34 = a. Is d a multiple of 8?
False
Suppose -3*v + 1302 = 2*u, 4*u - 3*v - 2622 = -0*v. Suppose -6*y - u = -9*y. Is 54 a factor of y?
False
Let m(s) = s + 5. Let h be m(-4). Let d be (4/3)/(h/18). Suppose 3*p + 0 = d. Is 5 a factor of p?
False
Suppose -142 + 4 = -3*h. Let j be (-9)/(-12) - h/8. Let y = 30 + j. Is 9 a factor of y?
False
Suppose 84 = -10*p + 3*p. Is 19 a factor of (-238)/(-4) - 6/p?
False
Let j = -825 - -1520. Does 68 divide j?
False
Let c(m) = -2*m + 50. Let w be c(12). Let t = w - -67. Is 31 a factor of t?
True
Let t(z) = z**3 - z**2 - z + 2. Let r be t(2). Suppose -p - 10 - r = 0. Let o = 19 + p. Is o a multiple of 4?
False
Is (-95)/(-20)*2*170 a multiple of 19?
True
Let s(m) = m**3 + 7*m**2 + 8*m + 9. Suppose 5*b + 0*b + 25 = 0. Let i be s(b). Suppose -i = -3*f - z, -f = 3*f + z - 26. Does 7 divide f?
True
Suppose -4*u + 18204 = 5*l, -3*l = -5*l. Is u a multiple of 123?
True
Let n(i) = -i**2 + 7*i + 14. Let z be n(8). Suppose -4*s = 2*s + z. Let d(v) = -16*v - 2. Is d(s) a multiple of 5?
False
Let m(c) = -c**2 + 2*c + 16. Does 2 divide m(3)?
False
Suppose 73 = d - r, 3*d - 4*d + 2*r + 78 = 0. Let j be 6/(-9) + d/12. Suppose 0*v = 4*v + 2*x - 64, 5*v - 80 = j*x. Does 16 divide v?
True
Suppose -1361 = -5*s + 3*z, -2*z - 817 = 2*s - 5*s. Suppose -54 = w - s. Is w a multiple of 38?
False
Suppose 0 = 5*u + 39 - 329. Let m = 109 - u. Is m a multiple of 17?
True
Let b be ((-58)/2)/(3 + -4). Suppose 51 + 84 = -9*h. Let p = b + h. Does 6 divide p?
False
Let i = 8695 + -6096. Does 46 divide i?
False
Does 13 divide (-24 + 1)*(-9 + 89)/(-8)?
False
Let g be (-14)/6 + (-4)/6. Let w(r) = -2*r**2 + 2*r - 1. Let x(m) = -2*m**2 - m - 1. Let d(k) = -w(k) - x(k). Does 34 divide d(g)?
False
Suppose 4*o - 10 = -f, -3*f + 11 = 4*o - 3. Let s(d) be the first derivative of d**3/3 + 3*d + 1. Is s(f) a multiple of 2?
False
Let q = -1167 - -3327. Is 27 a factor of q?
True
Suppose 6*x + 14 = 4*x + 2*k, 2*x + 7 = -5*k. Let r be (-3)/x + (-98)/4. Is 2 a factor of (-66)/r - 1/(-4)?
False
Suppose -500 = -4*a + 1944. Is 37 a factor of a?
False
Let t = -5 - -82. Does 2 divide t?
False
Suppose 4*i = -5*d + 2328, -2*i = -3*i - 2*d + 585. Is i a multiple of 37?
False
Let s = -50 + 49. Is 7 a factor of 7*(1 - (s - -1))?
True
Suppose 0 = -3*r + 5*y + 156, 231 = 4*r - 16*y + 17*y. Does 15 divide r?
False
Let t(p) = p**3 + 24*p**2 - 21*p - 8. Is 7 a factor of t(-24)?
False
Let v(m) = 3*m**2 - 203*m - 20. Is v(-11) a multiple of 28?
True
Suppose 0 = -0*r + 4*r - 1200. Is (4/12)/(2/r) a multiple of 10?
True
Suppose d - 2*u - 111 - 117 = 0, 5*d - 1154 = 3*u. Suppose o = -3*n + 96, -3*o - d = -6*o + 5*n. Does 4 divide o?
True
Let j = -22 - -24. Suppose j*x - 41 = 21. Does 19 divide x?
False
Let x(i) = -i**3 + 10*i**2 + 10*i + 13. Let u be x(11). Suppose u*s - 4*a + 68 = -60, -2*s - 4*a - 152 = 0. Let l = 112 + s. Does 14 divide l?
True
Let i(o) = o**3 + 20*o**2 - 17*o - 16. Is i(-10) a multiple of 9?
False
Let z(x) = 19*x**3 - 6*x**2 - 7*x - 13. Is 26 a factor of z(4)?
False
Let b be 2/(4*((-42)/44 - -1)). Let f(s) = -s**3 + 10*s**2 + 14*s + 6. Does 13 divide f(b)?
True
Suppose -5 = -2*q + q. Let k = 9 - q. Suppose 90 = k*j - 0*x + 2*x, -2*x + 44 = 2*j. Does 13 divide j?
False
Is 3 a factor of -2*(-2)/20 - 2590/(-175)?
True
Let a be (135/(-20) - 3) + (-2)/8. Is a/2 - 76/(-4) a multiple of 7?
True
Let b = 2775 + 60. Does 17 divide b?
False
Suppose -2*g + 6223 = -j, j - 4232 = -g - 1116. Is 133 a factor of g?
False
Let r = 563 - 258. Is r a multiple of 15?
False
Let n = 23 - 21. Suppose -4*w + 2*a = 138, w = -3*a - n - 43. Let y = -19 - w. Does 3 divide y?
False
Suppose -x + 6 = -0*x. Let h = x - 0. Let a(c) = -c**2 + 10*c + 4. Is 14 a factor of a(h)?
True
Suppose -15*w = -13*w - 224. Let r = w + -48. Does 16 divide r?
True
Let n = 486 - 398. Is n a multiple of 6?
False
Let t = -541 + 1221. Is 68 a factor of t?
True
Let h be ((-12)/(-4))/((-3)/10). Let g be (-76)/20 + 2/h. Does 7 divide -40*1/(g/3)?
False
Let k = -392 + 525. Does 19 divide k?
True
Let l = 38 - 6. Let c = 48 + -27. Let t = l + c. Is 14 a factor of t?
False
Suppose -1035 = 103*v - 108*v. Suppose 95*f - v = 94*f. Is f a multiple of 13?
False
Let a be (2 + -3)/(2/158). Let f = 114 + a. Suppose -4*r = -z - 3*r + f, 4*z - 5*r - 145 = 0. Is z a multiple of 5?
True
Let b(m) = -5*m**2 + 19*m - 9. Let w(a) = 14*a**2 - 57*a + 28. Let k(x) = -11*b(x) - 4*w(x). Is 13 a factor of k(10)?
False
Let r be 9/(27/408) + 0. Suppose r - 19 = 3*f. Is f a multiple of 9?
False
Let u(l) = 15*l**2 + 11*l - 12. Does 19 divide u(-8)?
False
Let f(g) = 41*g**2 - 5*g + 56. Is f(4) a multiple of 15?
False
Suppose 314 = 4*j + 102. Let y = -9 + j. Suppose 3*s - s = y. Is 9 a factor of s?
False
Suppose -4*u + 0*n - 3 = 3*n, 3*u + 3*n = -6. Suppose -11 = -y + u. Let z = y + -2. Is z a multiple of 6?
True
Is 290/4*144/30 a multiple of 78?
False
Suppose -3*q = -5*q - 64. Does 14 divide q/(-144) - (500/18)/(-1)?
True
Let a be (-18)/(-27)*(-21)/(-2). Let y = a - -15. Is 11 a factor of y?
True
Let y be ((-12)/4)/((-9)/(-834)). Let v = y - -658. Suppose v = -i + 6*i. Is 20 a factor of i?
False
Let i be (-1 + -1)*(11 + 3). Suppose 15 = -o + 4*o, -5*z - 5*o = -260. Let y = i + z. Is 15 a factor of y?
False
Suppose 1990 = 4*x + q, -x - 200 = -q - 700. Does 38 divide x?
False
Suppose 3*u = 514 + 182. Does 29 divide u?
True
Suppose -j - 2*y + 529 = -0*y, 544 = j - y. Is 14 a factor of j?
False
Let m = 154 + 286. Is m a multiple of 20?
True
Suppose -5*p + 10 = s - 2*p, 3*s - p = 20. Suppose s*g = -297 + 927. Does 6 divide g?
True
Let i be 3 + (-2 - 9/(-3)). Let d(m) = m - 20. Let v be d(0). Does 8 divide 187/i + (-5)/v?
False
Let m(r) = r**3 - 9*r**2 - 9*r - 7. Let c be m(10). Suppose 2*b - 3*d - 8 = -2*d, -c*d = -3*b + 18. Suppose -3*o + b*o + 22 = 0. Is o a multiple of 11?
True
Is (-9385)/(-2)*232/580 a multiple of 23?
False
Let y(z) = z**3 - 3*z + 13. Let p be y(0). Let s be ((-2)/6)/(1/(-3)). Does 3 divide s*-4 + 3 + p?
True
Let n(z) = z**3 + 8*z**2 - 8*z + 12. Let f be n(-9). Suppose 5*l + f*t = 135, l + 4*t + t = 49. Is l a multiple of 5?
False
Let s(f) = -f**2 - 23*f + 98. Does 18 divide s(-23)?
False
Suppose -y + 11 - 6 = 0. Suppose -y*n + 42 = -103. Suppose -3*w + 15 = 0, -5*w + 21 = q - n. Does 11 divide q?
False
Let p be (6/2)/(2/(-2)). Let n(m) = m**3 + 3*m**2 - 3*m - 2. Let b be n(p). Suppose -b*r = -3*r -