j = 1360 + -651. Is j a multiple of 36?
False
Suppose -18*l = -13*l + 25. Does 32 divide 32/(((-25)/30)/l)?
True
Let v(m) = 90*m + 15. Let a be v(9). Suppose 2*h = 3*n + 246 - a, -3*n + 4*h = -573. Does 15 divide n?
True
Suppose 444*y + 1917 = 447*y. Is y a multiple of 16?
False
Is 5 a factor of (1 + -8 - -328) + 0 + 3?
False
Is 5 a factor of (-1 - (-4)/3)/(83/34611)?
False
Let o be -3*(7/3 - 2). Is 3 a factor of (-1 - -1)*1 + o + 25?
True
Let o = 3 + 3. Let g(k) = 25*k - 10. Let b be g(o). Suppose b = p + 4*p. Does 14 divide p?
True
Let t(y) = -112*y + 165. Does 30 divide t(-22)?
False
Suppose 0*l = -6*l + 204. Suppose -44 - l = -2*b. Suppose -b = -n + 1. Does 8 divide n?
True
Let a be (-73)/((-8)/(-10) - (-6)/30). Let l = 3 - a. Is 19 a factor of l?
True
Let r be (-78)/2 - (8 - 9). Let h = r - -24. Let n = -6 - h. Is n a multiple of 2?
True
Let b(i) = i**3 - 6*i**2 - 5*i - 8. Let y = -1 - -36. Suppose -y = 3*u - 8*u. Is b(u) a multiple of 3?
True
Let c(i) = 3*i**2 - 45*i + 20. Is c(24) a multiple of 37?
False
Let p = 1966 - 898. Does 61 divide p?
False
Does 25 divide -4 + (-914)/(-6) - (-11)/(-33)?
False
Suppose 0 = -19*f + 22*f + 1566. Let m = -292 - f. Does 46 divide m?
True
Suppose 228 + 158 = k - 3*j, -3*j = -3*k + 1146. Suppose 0 = -17*q + 13*q + k. Is q a multiple of 19?
True
Suppose 9*u + k = 4*u + 7, -4*u + 10 = 3*k. Suppose c + 3*b = 23, -9 = 2*c - c - 5*b. Let v = u + c. Does 4 divide v?
True
Let k(p) = -p**3 + 5*p**2 - 3*p - 4. Let d be k(4). Suppose -4*r + d*r = -432. Is 18 a factor of r?
True
Let l(i) = i**2 - i - 3. Let q be l(3). Let z be 217 - (-1 + 0)*q. Suppose 0 = -6*m + m + z. Is m a multiple of 10?
False
Let a = -12 - -5. Let l(c) = 2*c**2 + 13*c - 3. Let m be l(a). Suppose 5*k - m = 51. Does 6 divide k?
False
Suppose 0 = -3*y + 5*s + 111, 5*y - 116 = 2*s + 69. Does 2 divide y?
False
Suppose -4*d - 445 = -2205. Is d a multiple of 10?
True
Suppose -5*f = 5*t + 1 - 21, -3*f = -3*t + 42. Let w = -4 + t. Suppose 0 = 8*s - w*s - 45. Is 5 a factor of s?
True
Suppose j + f - 124 = 712, 0 = -5*f - 20. Does 7 divide j?
True
Suppose -14*p + 287 = -343. Is p a multiple of 15?
True
Let l = 2157 - 726. Suppose 3*q - q = -5*w + l, 0 = 4*q - 12. Suppose -4*u - 73 = -4*a - w, u + a = 55. Is u a multiple of 9?
True
Let k(r) = -r - 2*r**3 - 2 - r**2 - r + 3 - r. Does 11 divide k(-3)?
True
Let y(g) = -4*g**3 + 2*g**2 + g. Let i be y(-1). Suppose 216 = p - i*p. Let h = -21 - p. Is 9 a factor of h?
False
Let l(p) = -9*p + 7. Let v be ((-6)/2)/(33/(-77)). Let f be l(v). Let x = 107 + f. Does 17 divide x?
True
Let z = 1 + -3. Let j be (z/(-4))/((-4)/48). Does 18 divide ((-96)/(-20))/(j/(-100))?
False
Suppose i = 9*i - 96. Is i*42*4/32 a multiple of 23?
False
Suppose 2594 = 9*h + 938. Does 8 divide h?
True
Let d = 376 + -172. Does 45 divide d?
False
Suppose -5*p - 4*p = -360. Suppose -23 = -c + p. Is c a multiple of 21?
True
Suppose 0 = t + 5*x - 26, -5 - 13 = 2*t - 4*x. Is 3/3*83/t a multiple of 42?
False
Let x = 10 - 10. Suppose -3*k + 21 = 2*d, k - 4*d + 8*d - 17 = x. Suppose 0 = b + 3*b - 4*m - 96, k*b - 132 = -m. Is 13 a factor of b?
True
Suppose 2 = 8*f - 7*f. Suppose 2*j = f*n + 200, 0*j - j + 2*n = -104. Does 18 divide j?
False
Suppose -24*x + 720 = -21*x. Does 17 divide x?
False
Does 22 divide (-58)/87 + 2512/6?
True
Suppose -4*t - 3*t = -21. Suppose -t*l + 569 = -2*c, 0 = -5*l - 0*c - 3*c + 923. Is l a multiple of 47?
False
Suppose 0 = -4*n - 174 - 30. Let z = n - -79. Does 7 divide z?
True
Let f(w) = -w**3 + 19*w**2 + 2*w + 47. Does 3 divide f(19)?
False
Let c be 21/6 + 12/8. Suppose -c*w + 446 = 3*t, 0 = 2*w - 0*w - 2*t - 172. Suppose 5*q - w = q. Is 22 a factor of q?
True
Suppose -2*r = 5*m - 99 - 4, -3*m + 2*r + 49 = 0. Suppose 3*y - m = 2. Is 16 a factor of 332/y + 6/(-14)?
False
Suppose 2*s = -s. Let p = -6 + s. Does 2 divide (-2)/3*81/p?
False
Let h(z) = z + 1. Let p be (3 + -7)*(2 + -1). Let s(r) = 6*r + 3. Let t(a) = p*h(a) + s(a). Is 2 a factor of t(3)?
False
Is ((-6)/4)/(159/(-111724)) a multiple of 23?
False
Suppose -4*f + 40 - 32 = 0. Let r(k) = 3*k**2 + 3*k - 3. Is 5 a factor of r(f)?
True
Suppose -r + h = -3 - 2, -2 = 2*h. Suppose -60 = -m - m - r*d, 9 = m - 5*d. Is m a multiple of 8?
True
Is 8/(807/(-162) + 5) a multiple of 29?
False
Does 9 divide 4*(-1)/22 + (-22017)/(-33)?
False
Suppose -4 + 28 = 4*l. Suppose 450 = l*a - 156. Is a a multiple of 21?
False
Let i = 29 - -14. Suppose -26 = -3*c + i. Is 7 a factor of c?
False
Suppose 3*d = b + 10, 20 = -d + 5*d. Suppose 5*i - 5 = 5*z - 145, -2*i - 143 = -b*z. Does 18 divide z?
False
Let l(q) = 43*q**3 - 10*q**2 + 21*q + 11. Is 18 a factor of l(4)?
False
Suppose -4*i - 18 = -10*i. Suppose -5*s = i*t - 242 - 214, 4*s = 4*t + 352. Is s a multiple of 9?
True
Suppose l + 8 = 3*l, 2*o = 4*l + 2504. Is o a multiple of 21?
True
Suppose -172*o = -158*o - 17556. Is 7 a factor of o?
False
Let m(i) = -17*i**3 - i**2 - 2*i - 6. Does 9 divide m(-3)?
True
Let j be (2/(-3) - 1)*36. Let b = -44 - j. Does 8 divide b?
True
Let a(i) = i**3 - 2*i**2 - 7*i + 6. Let o be a(4). Suppose -p - 3*y = o, p + 5*y + 17 = -1. Suppose -p*v + 11 = -v. Is 5 a factor of v?
False
Let n = -195 - -803. Is n a multiple of 76?
True
Suppose -5*j + 9 = -2*j - c, 0 = 3*j + c - 9. Suppose -26 = -2*k + j*k. Let x = 45 + k. Is 8 a factor of x?
False
Let y(q) = 6*q**2 - 5. Suppose -3*x + 6*x = -3. Let f be ((-30)/(-20))/(x/2). Is y(f) a multiple of 7?
True
Suppose -4*y + 6083 = 3*s, 3*y - 14*s = -16*s + 4562. Is y a multiple of 5?
True
Let b = 272 - 189. Let x = b + -69. Is x a multiple of 2?
True
Suppose 8*f = 3*f. Let c(v) = -v**3 - v + 8*v**2 + f*v - v - 10 + 0*v**2. Is c(7) a multiple of 19?
False
Let x(l) = -l**3 + 14*l**2 - 12*l. Let p be x(13). Let f = -31 + p. Let q = f + 52. Is 17 a factor of q?
True
Let y(o) = -o + 8. Let r be y(4). Suppose -244 = -3*x + r*c, 0 = 2*x - 0*c + 5*c - 155. Is x a multiple of 16?
True
Let j = 179 - 159. Is j a multiple of 4?
True
Suppose -3*m = -17 + 2. Suppose -m*f - 25 = -5*o - 0*o, 2*o = -3*f + 25. Is (-2 + 3)/(2/o) even?
True
Let m(t) = -t**3 + 11*t**2 + 2*t - 16. Let n be m(11). Let i be 0 - (3 - n - -7). Is 8 a factor of (i/(-6))/(8/192)?
True
Let s(l) be the third derivative of -l**6/120 - 13*l**5/60 - 5*l**4/12 - 5*l**3/3 - 10*l**2. Let n be s(-12). Let v = n - -67. Is v a multiple of 23?
False
Suppose 0 = -52*i + 61583 + 26921. Is 37 a factor of i?
True
Suppose -z = 4*l - 431, -4*l - 781 = 4*z - 2493. Does 40 divide z?
False
Let c be (-2)/(-10) + (-28)/(-10). Suppose c*l - 6 = l. Suppose 5*u = 25, l*s - u - 72 = -5. Is s a multiple of 5?
False
Let s = -26 - -22. Let p(k) = -3*k**3 - 6*k**2 - 3*k - 4. Let z be p(s). Let c = -19 + z. Is c a multiple of 12?
False
Suppose 0 = -u + 3*i + 689, -2*u - 3*i = -u - 671. Is 23 a factor of u?
False
Suppose 0 = -0*j - 4*j - 4, -4*p + 5*j + 137 = 0. Suppose -p = a + 2*a. Let r = -7 - a. Is r a multiple of 4?
True
Let v(p) = -474*p - 1098. Is 60 a factor of v(-7)?
True
Let a be (-3369)/(-9) - 6/(-9). Let r be (-6)/9 - a/(-9). Suppose -2*z - 9 = -r. Does 6 divide z?
False
Let y = 20 - 13. Let m(c) = -c**3 + 5*c**2 + 6*c + 2. Let t be m(y). Let x = t - -107. Does 17 divide x?
False
Suppose -33*o = -13*o - 2420. Is 11 a factor of o?
True
Let h(q) = -q**2 + 20*q + 51. Let v be h(21). Suppose -x + 0*x = 3*t - v, x - 10 = -t. Does 5 divide t?
True
Let u(y) = y**3 - y + 54. Let o be u(0). Suppose o = l - 4*l. Is (21/(-2))/(l/24) a multiple of 5?
False
Let t(i) = i**2 + 17*i + 15. Let s be t(-16). Let d(z) be the third derivative of -43*z**6/60 + z**5/30 + z**4/24 + z**2. Is d(s) a multiple of 29?
True
Suppose -5*n + 5*q = -18425, 4*n + 4*q - 15811 = -1055. Is 89 a factor of n?
False
Let n(j) = 33*j - 63. Is 2 a factor of n(6)?
False
Suppose 0 = -5*z - 33 + 3. Let c(t) be the third derivative of t**6/120 + 2*t**5/15 + 5*t**4/24 - 4*t**3/3 - 16*t**2 + 3*t. Is c(z) a multiple of 17?
True
Let n = 103 + 61. Does 42 divide n?
False
Let o(d) = -d**3 - 25*d**2 - 26*d - 43. Let q be o(-24). Suppose 3*v - v + 5*b = 119, q*b = -5*v + 275. Is 27 a factor of v?
False
Let d(v) = -v**2 + 6*v - 2. Let h be d(5). Let o(s) = s + 1. Let r(x) = -5*x**2 - 3*x - 7. Let j(t) = -5*o(t) - r(t). Is j(h) a multiple of 17?
False
Let d(j) = -j**3 + 8*j**2 - 8*j - 5. 