2*t + 217 = 19*t. Does 31 divide t?
True
Let z(h) = h**2 - 2*h + 13. Let g be z(9). Suppose 0 = r - 0*q - q - g, r - 2*q - 72 = 0. Is r a multiple of 11?
False
Suppose 3 = -4*z + 43. Let p be (-30)/1*12/z. Let u = 96 + p. Does 13 divide u?
False
Does 48 divide 5092/14 + 1368/(-798)?
False
Suppose -4*o - 2 = -2*o. Let w be ((-4)/(-4))/(o/(-2)). Suppose 0*p + 20 = w*p. Is 10 a factor of p?
True
Let q = 904 + -1315. Let m = -255 - q. Is m a multiple of 54?
False
Let u = -570 + 950. Is 20 a factor of u?
True
Let b(g) = g**3 - 13*g**2 + 11*g - 8. Let o be b(12). Let z = o - -24. Suppose -8*u + z*u + 112 = 0. Does 7 divide u?
True
Let k(c) = c**2 - 2*c + 3. Let t be k(2). Suppose 0*h + 184 = t*v - 2*h, 2*v = 4*h + 120. Is 12 a factor of v?
False
Let v(a) = 2*a**2 - 45*a + 166. Is v(31) a multiple of 21?
True
Let b(o) = -214*o + 43. Is 67 a factor of b(-4)?
False
Let l be (-336)/54 - 2/(-9). Let m(n) = -n**2 - 8*n - 9. Is 3 a factor of m(l)?
True
Is 26 a factor of (249 - 1) + -6 + (-36)/(-3)?
False
Suppose -4*a - 8 = 5*y + 161, -2*y - 125 = 3*a. Let p = a - -85. Suppose -2*z = 5*i - 232, -2*z + p = 4*i - 140. Is i a multiple of 16?
True
Let f(c) = 7*c - 9. Let q be f(10). Suppose 2*r - q = 171. Is 17 a factor of r?
False
Suppose -2*k + 3*k + 2 = 0. Let a be (-1 - (k - 0)) + 95. Suppose -6*h = -8*h + a. Is 5 a factor of h?
False
Let f be 2 + (-1)/((-1)/3). Suppose 3*b - 21 = -f*r + 29, b = 2*r + 13. Is b/25 - 104/(-10) a multiple of 11?
True
Suppose -7*b + 3 = 3. Is (b - 5)*(-2016)/60 a multiple of 42?
True
Let w(m) = 166*m - 9. Does 13 divide w(4)?
False
Let a(z) = 33*z + 109. Does 10 divide a(7)?
True
Suppose 4*o + 3*a = 2*a + 107, 3*o - 3*a = 99. Is 4 a factor of o?
True
Let c be (-196)/(-21) + 4/(-12). Let l(k) = k**3 - 7*k**2 - 18*k + 12. Is 4 a factor of l(c)?
True
Suppose -6*u + 131 = -1903. Is u a multiple of 40?
False
Suppose 191*n - 2340 = 187*n. Is n a multiple of 45?
True
Let q(v) be the third derivative of 0*v + v**2 + 0 + 3/2*v**3 + 1/24*v**4. Does 2 divide q(-7)?
True
Suppose 0 = -3*i - 0*i + 6. Suppose -3 = -i*j + 1. Suppose b - 133 = -5*v - 55, j*b = -3*v + 121. Is b a multiple of 15?
False
Let k(h) = -h**3 - 5*h**2 - 11*h - 13. Let n be k(-6). Suppose -3*w = -469 - n. Is w a multiple of 31?
True
Let i(k) = 5*k + 25. Let w be i(14). Suppose 2*v = -f + w, -f + 356 = 3*f - 4*v. Is f a multiple of 17?
False
Let l(a) = 7*a**2 + 220*a + 21. Is 18 a factor of l(-39)?
True
Suppose -q - 71 = -2*a, -3*a + 107 = -3*q + 2*q. Suppose 5*b - 64 - a = 0. Is b even?
True
Suppose 0*m - 5*m = -5620. Let y be m/10 - 4/10. Suppose -3*q - y = -5*q. Is q a multiple of 12?
False
Let h = 413 + -380. Is 3 a factor of h?
True
Let y(f) = 12*f**2 + 10*f + 18. Does 23 divide y(-2)?
True
Let g = 951 + -1029. Suppose -30 = r + 24. Let j = r - g. Does 11 divide j?
False
Let u = -10 - -9. Let m be (1/2)/(u/(-108)). Suppose 2*x + 3 = h + m, 0 = -3*x + 5*h + 87. Is 24 a factor of x?
True
Suppose 4*u - 5*o = 3143, 4*o = -2*u + 2082 - 478. Is u a multiple of 72?
True
Let r(l) = l**3 + 10*l**2 + 8*l. Let t be ((-11)/(-4))/(5/20). Suppose -3*g + t = 29. Is r(g) a multiple of 24?
True
Suppose -4*n + 4*p = -p - 38, -4*n + 24 = 2*p. Suppose m = 2*d - 0*d - 16, d - n = m. Is d a multiple of 3?
True
Let n be 11*24 - (-4)/12*3. Suppose 0 = -11*l + 65 + n. Is 15 a factor of l?
True
Suppose 3*y = -0*y + 9. Is (y - 8)*(-384)/15 a multiple of 8?
True
Let x = 959 - 700. Is 36 a factor of x?
False
Let p = -31 + 10. Let g = p - -17. Is g/(294/75 + -4) a multiple of 23?
False
Suppose 13*r - 963 = -131. Does 16 divide r?
True
Suppose -5*v + 5*i - 310 = 0, 2*v - 5*i + 88 = -30. Let p = 104 + v. Is p a multiple of 7?
False
Suppose 2*w + 5 = 3*w. Suppose 71 = 2*t + 5*u - 0*u, 0 = w*u + 5. Suppose -2 = r - t. Is 8 a factor of r?
False
Suppose 0 = -x + 4. Suppose -x*p + 7*p = 0. Is (-32)/(-2) + -2 + p a multiple of 13?
False
Suppose -x - 2 + 5 = 0. Let s be (-18417)/(-6) - x/6. Is s/63 + (-2)/(-7) a multiple of 13?
False
Suppose 0 = 3*v + b - 8, -4*v + 0*v + 4*b = -16. Is v even?
False
Let f(j) = 26 + 2*j - 5 - 9. Let n be f(-5). Suppose -n*k + 21 = k. Is 6 a factor of k?
False
Let w be 15 + 3/(-6 + 3). Suppose -9*l = t - w*l - 16, 3*l - 40 = -t. Is 2 a factor of t?
False
Let k(o) = -22*o**3 + 3*o - 10. Is k(-3) a multiple of 23?
True
Let k(i) = 2*i**3 - 7*i**2 - 4*i + 15. Is k(6) a multiple of 57?
True
Let n(x) = -3*x**3 - 6*x**2 - 6*x + 18. Is 2 a factor of n(-5)?
False
Let m(f) = -3*f**2 - 4*f - 4. Suppose z + 10 + 4 = 3*s, -4*s = -z - 17. Let o be m(z). Let r = 97 + o. Is r a multiple of 8?
False
Let l be 5 - 2/(-1 - 1). Let o(n) = 10*n + 4. Let w be o(0). Let x = l + w. Does 10 divide x?
True
Suppose 0 = 1078*u - 1084*u + 546. Is 49 a factor of u?
False
Suppose 2*d = -3*q + 135, 197 = 2*q + 2*q - 3*d. Does 6 divide q?
False
Suppose -5*a + 9615 = 5*q, -3*q + 4*a = -0*a - 5762. Let p be 33/77 - q/(-7). Suppose -o + 2*o - p = -5*h, -5*h = -o - 285. Does 19 divide h?
False
Let f(d) = 62*d - 142. Is f(14) a multiple of 33?
True
Is (119/(-2))/(13/(-26)) a multiple of 7?
True
Let c = 43 - 28. Suppose 5*k = 2*k - 5*w + 18, 5*w = c. Suppose f - k = 14. Is f a multiple of 4?
False
Let n = 101 + -64. Does 23 divide (n/(-4))/(3/(-24))?
False
Let d(r) = r**2 + 4*r - 3. Suppose 2*j - 4 = -2*k, k - 8 = -0*j + j. Let q = k - 11. Is 3 a factor of d(q)?
True
Let l(i) = i**3 - 25*i**2 + 2*i + 23. Let q be l(25). Suppose 0 = 4*g - 3*v - 326, -q = 5*g + v - 471. Is 7 a factor of g?
False
Let c(p) be the second derivative of -34*p**3/3 - 5*p**2/2 - 4*p. Let a be c(-2). Suppose 2*r - 64 = -2*z, -r + a = z + 3*z. Is z a multiple of 11?
True
Suppose -795 = -70*v + 67*v. Let z be 1282/8 - 1/4. Let y = v - z. Does 22 divide y?
False
Suppose -15*l - 145 = 875. Let s = l + 107. Is s a multiple of 39?
True
Let o = 835 - 468. Is o a multiple of 16?
False
Let q(a) = a**2 - 7. Let v be q(-3). Suppose v*m - 96 = -m. Is 8 a factor of m?
True
Let d be (-9)/(-6)*(-16)/(-12). Let v be 2*(33/d + -4). Suppose -v + 1 = -g. Is 3 a factor of g?
True
Let h = 30 - -12. Let g be 88/(-14) - (-12)/h. Let p = g + 19. Is 8 a factor of p?
False
Let f(x) = 13*x**2 - 6 + x + 3 - 1 + 3. Let p be f(1). Suppose -3*d = -2*d - a - p, -5*a - 35 = -2*d. Does 2 divide d?
True
Suppose s = -5*r, -2*r - 3*r + 10 = 0. Let h = 4 - -77. Let i = s + h. Does 27 divide i?
False
Suppose 0*p = -4*u - 3*p + 352, 3*u - 261 = -3*p. Suppose 15 = -4*b + u. Is b a multiple of 5?
False
Suppose -4*k - l - 4*l = 9, -2*l = -k + 14. Is 5 a factor of k/(-2 + -2) + 6?
True
Suppose 0 = -g + 2*v + 144, 2*g = g + 4*v + 154. Suppose 0 = -4*i + 106 + g. Is 10 a factor of i?
True
Let j(u) = u**2 + 102. Is j(-19) a multiple of 26?
False
Let x(k) = -18 + 11 - 23*k + 8. Is x(-3) a multiple of 14?
True
Suppose -k + 6 = -o, 0*k = 2*k - 3*o - 16. Let h(w) = -10*w**2 - 4 + 9 - w + 12*w**k. Is h(4) a multiple of 11?
True
Let h = -137 + 401. Does 33 divide h?
True
Suppose -4*n = 4*c - 1716, 1671 = 4*n + 4*c - 9*c. Is n a multiple of 53?
True
Let d(m) = m**2 + 5*m + 8. Let l be d(9). Let v = l - 82. Is 17 a factor of 4428/v - 4/26?
True
Let x(j) = -12*j + 1. Let o(k) = -5*k**3 + k + 4. Let z(l) = -l**3 + 1. Let g(a) = o(a) - 4*z(a). Let p be g(2). Does 25 divide x(p)?
False
Let y(t) = -t + 4. Let n be y(-7). Suppose -2*k - k = 4*h - n, -19 = -4*k - h. Suppose z = 3*d - 9, -5*z = -k*d + 3 + 22. Is d even?
True
Suppose -6*n - 2388 = -12*n. Does 15 divide n?
False
Let x(c) = 17*c**2 + c + 10. Is x(3) a multiple of 10?
False
Let b be 1*(-11 + 5)/(-3)*17. Suppose 5*d - 84 = 446. Let u = d - b. Does 11 divide u?
False
Suppose 2*j + i = -0*j + 13, -4*j + i + 23 = 0. Suppose 0 = j*y - 10*y - 56. Let n = -5 - y. Is n a multiple of 6?
False
Suppose -291*f = -284*f - 1008. Does 16 divide f?
True
Is 6 a factor of 18*16*25/20?
True
Suppose -4*o + o + 3*w = 51, 3*w + 29 = -o. Let i = -16 - o. Is 491/i - (-3)/12 a multiple of 19?
False
Suppose 10*b + 6*b - 15360 = 0. Suppose -c = 4*c - b. Is c a multiple of 31?
False
Suppose -p = -0*p + 33. Let l = p + 117. Is 14 a factor of l?
True
Let n = -98 - -438. Does 35 divide n?
False
Suppose -o + 4*w - 8 = w, o = 5*w - 12. Let k be ((-12)/10)/(o/20). Let v = k - 6. Is v a multiple of 2?
True
Let l = 572 - 267. Let n = l - 217. Suppose 0 = -2*k - 2*k + n.