ultiple of 19?
False
Let i(k) = k**2 - 5*k - 9. Let s = -4 + 11. Let l be i(s). Does 5 divide 12 + -2 + l + 0?
True
Let w(u) = -u**3 + 5*u - 11. Let v be w(5). Let j = -27 - v. Does 31 divide j?
False
Let a(z) = -z**3 - 5*z**2 + 5*z + 2. Let n be a(-6). Suppose n*i - 183 = 5*i. Does 25 divide i?
False
Let h(j) = -27*j**2 + 28*j**2 + 1 + 2 - 5. Does 36 divide h(9)?
False
Let g be 0 - -407 - (0 - 3). Let l be (-246)/10 - (-4)/(-10). Is (-2)/5 - g/l a multiple of 8?
True
Let f(t) = 9*t + 9. Let r(l) = -2*l - 5. Let p be r(-5). Is 9 a factor of f(p)?
True
Suppose 0 = -24*l + 495 + 2025. Is l a multiple of 84?
False
Let x(i) = 68*i - 13. Let b(g) = 34*g - 7. Let k(a) = -7*b(a) + 4*x(a). Does 9 divide k(3)?
True
Let h be 6*((-7)/2 + 4). Suppose -7*b + h*b - 5*d - 55 = 0, 4*d = 3*b + 80. Is (24/b)/(3/(-110)) a multiple of 22?
True
Let h = -86 + 75. Let b be 2*19 - (-3 + 1). Let g = b - h. Is g a multiple of 19?
False
Is ((-72)/15)/(12/(-30)) + 0 a multiple of 3?
True
Is 7 a factor of -1*(0 - -4) - (-1 - 17)?
True
Suppose 74 = -2*z + 3*t + 229, -3*z + 234 = -3*t. Suppose -173 = -9*v + z. Is v a multiple of 4?
True
Suppose 47*p - 77708 + 8900 = 0. Is p a multiple of 52?
False
Let d(h) = -123*h - 45. Is d(-11) a multiple of 43?
False
Suppose -1462 = -4*v + 4*n + 330, -1767 = -4*v - n. Is 32 a factor of v?
False
Let h(p) = 83*p**2 - 20*p + 16. Is h(4) a multiple of 79?
True
Let u = -2 + 1. Let a be -1 - 12/(-2 + u). Let z = 22 - a. Does 4 divide z?
False
Let x(j) = 4 - 4 + 22*j - 33*j. Let h be x(4). Let m = 78 + h. Is 13 a factor of m?
False
Suppose 5*l - 13 - 42 = 0. Is 2 a factor of l?
False
Let f(q) = -2*q**2 + 6*q - 3. Let v be f(6). Let h = -24 - v. Is h a multiple of 4?
False
Let p(i) = -5*i + 42. Let u be p(11). Does 21 divide (-2)/u - 14/91 - -137?
False
Let w = 10 + 29. Suppose w = o - m - 50, -20 = 4*m. Is o a multiple of 11?
False
Let d = -16 + 24. Let a(r) = -6*r + 35875*r**2 + 0*r + 5*r + r**3 + 10 - 35883*r**2 + 2*r. Is a(d) a multiple of 9?
True
Let m(v) = v**2 - v. Let n be m(3). Suppose -n = -3*t + 6. Suppose -u + 27 = 2*x, u + t*x + 5 = 34. Is 12 a factor of u?
False
Let y(j) = -j**3 + 9*j**2 + 2*j + 6. Let b be y(5). Does 10 divide 218/12 - (b/(-24) - -5)?
False
Let v(w) = 19*w. Suppose 2*h = -3*h + 70. Suppose 4*r = -0*f - f + h, -4*r = -f - 10. Is 19 a factor of v(r)?
True
Suppose 5*n - 20 = n + 4*w, n - 2*w = 10. Let i(v) = v**3 - v + 28. Let r be i(n). Suppose s - 1 = y, 5*s - s - r = -2*y. Is y even?
True
Suppose 4314 = 2056*f - 2054*f. Does 13 divide f?
False
Suppose -7 + 2 = 5*d, 3*k - 5*d = 1433. Does 17 divide k?
True
Let b = 1 - -5. Let u(y) = y**3 - 6*y**2 + 2*y - 4. Let m be u(b). Suppose m*g = 7*g + 5. Does 2 divide g?
False
Suppose 0*o = o - 21. Let z = -14 + o. Is z a multiple of 7?
True
Let h = 1831 + -771. Is h a multiple of 9?
False
Let u = -33 - -38. Suppose -5 - 131 = -4*l - 4*f, -u*l + 173 = 2*f. Is 10 a factor of l?
False
Suppose 80*q - 165 = 65*q. Is q a multiple of 4?
False
Suppose 0 = -5*y + 5 + 85. Let f = 39 - y. Is f a multiple of 7?
True
Is 24 a factor of (-5524)/(-12) - 24/(-36)?
False
Suppose g + 3 = 4*g + 3*v, -5 = -v. Is (370/(-4))/(2/g) a multiple of 37?
True
Let n = -293 - -829. Is n a multiple of 67?
True
Suppose 3*o = n + 298, -n + 397 = 4*o - 2*n. Let p = 275 - o. Is 8 a factor of p?
True
Suppose -16 = -4*i, -2*i = 3*f - 7 - 10. Suppose f + 6 = 3*s. Suppose s*l = -l + 136. Is l a multiple of 23?
False
Let n be 25 - (-1 + 1 + 1). Let o be ((-36)/n)/(3/(-8)). Suppose 1 = c + 4*k - 37, -o*c = -k - 118. Does 15 divide c?
True
Let g(k) = 12*k**3 + 2*k**2 - 2*k + 2. Let l be g(2). Let i = -2 + -67. Let w = l + i. Is w a multiple of 11?
True
Let d = 49 + 441. Is 10 a factor of d?
True
Let j(s) = 125*s**2 + 2*s + 2. Suppose 2*b = 3*n - 3*b - 2, 5*n - 4*b + 1 = 0. Let c be j(n). Let o = 206 - c. Is o a multiple of 17?
False
Let n(h) = h**3 + 11*h**2 + 8*h. Let v be 6/(-4) - 255/34. Let i be n(v). Let w = i + -32. Does 11 divide w?
False
Let x = 12 + -4. Does 29 divide ((-134)/x)/(4/(-16))?
False
Suppose 19*x - 221 = 16*x - 4*o, 0 = -x + 5*o + 99. Does 4 divide x?
False
Suppose -9*s + 1115 = -4*s. Suppose -11*r = -s - 1427. Does 25 divide r?
True
Suppose 0 = -3*g - 17 + 71. Suppose -27 = -5*x + g. Suppose 2*h - 3 - x = 0. Does 6 divide h?
True
Does 3 divide (-5 - (-32 - -3)) + 0?
True
Let z(o) = -5*o**2 - 137*o + 34. Is 36 a factor of z(-26)?
True
Suppose -220 + 779 = b. Does 45 divide b?
False
Suppose 0 = 4*w + 4*k - 92, -35 = -w - 3*k - 12. Let u(p) = -5*p - 18. Let t be u(-7). Let v = w + t. Is v a multiple of 13?
False
Let k = 955 - 414. Does 15 divide k?
False
Suppose -2*d + 7*d = 25. Suppose 0 = -d*h + h - 136. Is 6 a factor of h/(-2) + -1 + -2?
False
Let a be -2*(-11)/(-4)*-2. Suppose -484 = -a*t + 187. Is 23 a factor of t?
False
Let t be 105/14*(-12)/10. Let b(s) = -7*s - 13. Is b(t) a multiple of 8?
False
Let k(a) = -12*a**3 - a**2 + a - 1. Let s be k(1). Let t = s + 22. Suppose 0 = -7*u + t*u - 70. Is u a multiple of 7?
True
Let f(y) be the third derivative of y**6/180 - y**5/30 - y**4/8 - 3*y**2. Let p(b) be the second derivative of f(b). Is p(6) a multiple of 11?
False
Let y be (-154)/28 - 6/4. Let w(p) = -p**2 - 9*p - 9. Let f be w(y). Suppose 0 = -4*a - 5*u + 234, -a = 2*a - f*u - 158. Is 12 a factor of a?
False
Let n(y) = -331*y**3 - y**2 + y + 1. Does 30 divide n(-1)?
True
Is 110 a factor of (-177100)/(-138)*(-6)/(-5)?
True
Suppose 4 = 4*y, j - 4*y - 363 = 153. Is j a multiple of 6?
False
Suppose -3*j + 42 = -3*i, 0 = -4*j + 2*i + 36 + 16. Does 46 divide 4/j*1 + 2067/9?
True
Is 7 a factor of 1024 - 24/(2 - -1)?
False
Let p be (-153)/3 - (-4)/2. Let j = p + 104. Is ((-128)/10)/((-11)/j) a multiple of 16?
True
Suppose 3 = -4*w - 13. Let q = 8 + w. Suppose -m + 29 = 2*m + q*h, -m + 5*h = -16. Is m a multiple of 6?
False
Suppose -13*x + 2662 = -3175. Is x a multiple of 2?
False
Suppose -5*l = 4*r - 3035, 2*l - 4*r = -9*r + 1214. Is 51 a factor of l?
False
Let i(k) = -k + 11. Let t be i(8). Suppose -5*h + t*o = 12, 3*h - o + 6 = 2*o. Does 17 divide h/(48/68)*-4?
True
Let v = 573 + -83. Is v a multiple of 10?
True
Let n = 224 + -167. Is n a multiple of 2?
False
Suppose -368 = -29*z + 25*z. Does 19 divide z?
False
Let o be -1*21248/(-36) + (-4)/18. Suppose 0 = 5*d + 5*w - o, 0*w = -5*d - 2*w + 596. Is 24 a factor of d?
True
Suppose 6*r - 182 = -r. Suppose -r*l = -30*l + 40. Is 2 a factor of l?
True
Suppose -a + 1 + 4 = 0, -5*q - 3*a + 610 = 0. Suppose 0 = 5*i - q - 111. Is i a multiple of 26?
False
Let r(t) = t**3 - 20*t**2 + 106*t - 6. Is 6 a factor of r(12)?
True
Let m be ((-6)/4)/(3/(-6)). Suppose -20 = 4*d, m*y = -2*d - d. Suppose -2*q - 3 = b - 22, 0 = -2*b + y*q + 47. Does 7 divide b?
True
Suppose 10*b - 20 = 6*b. Suppose -3 = -z - 0. Suppose z*j - b*j = -8. Is j even?
True
Suppose 0 = -2*d - 1 + 5. Suppose 5*b - 3*b = 0, -f - d*b = -3. Suppose -z - 7 = 2*n, -2*z = -4*z - f*n - 9. Does 2 divide z?
False
Suppose -6*b = -9*b + 648. Does 21 divide b?
False
Let v be (3 - (-20)/(-2))/((-1)/2). Suppose -a + v = -0. Is a a multiple of 5?
False
Let k be (-207)/(-92) + (-6)/(-8). Suppose 145 = 5*x + k*m, 0*m = -4*x + 4*m + 148. Does 4 divide x?
True
Let a(i) = 3*i**2 + 20*i + 9. Suppose 3*n - 23 = m - 0*n, -m + 17 = 5*n. Is a(m) a multiple of 8?
False
Let h(t) = -t**3 + 2*t**2 + 2. Let c be h(2). Suppose -220 = c*j - 590. Does 38 divide j?
False
Suppose y = 4*h - 201, 2*h = 6*h - 2*y - 206. Suppose -50*b + 260 = -h*b. Is 20 a factor of b?
True
Suppose t - 56 = -0*t. Suppose 2*v + 0*a + 5 = -a, 3*a = 4*v - 15. Suppose v = -f - f + t. Does 14 divide f?
True
Let v = 64 - 10. Suppose -5*i + 5*h - 43 = -2*i, -2*i - 3*h = v. Let b = i + 67. Is 10 a factor of b?
False
Suppose 5003 = 15*i + 203. Is i a multiple of 10?
True
Suppose -2*m + 9*p + 40 = 4*p, -2*m - 4*p = -4. Suppose 8*n = m*n - 174. Is 13 a factor of n?
False
Let u be ((-15)/10)/(6/(-416)). Does 13 divide u + (1 + -1)/4?
True
Is 9 a factor of (0 - 18)*((-5643)/38 + 11)?
True
Let s = 127 - 40. Is s even?
False
Let u(i) = 0*i + 53 - 7*i + 5*i. Does 13 divide u(0)?
False
Let m be (-11 - -11) + (-3)/(-1). Suppose 0 = -6*x + 2*x - m*d + 43, 67 = 4*x - 5*d. Does 2 divide x?
False
Let a(c) = 2*c**2 - 20*c + 39. Let j(d) = -d**2 + 10*d - 20. Let r(y)