ide p?
True
Let c = 194 - 363. Let h = c - -255. Does 12 divide h?
False
Is 24 a factor of (10/8)/((-19)/(-38608))?
False
Let m = -14 + 18. Let w be 61/(20/m - 4). Let n = 93 - w. Is n a multiple of 31?
False
Let z be 6/8 - (-1727)/44. Suppose -4*h - z = -2*y - 12, 2*y - 35 = -3*h. Suppose -y*r + 18*r - 60 = 0. Is 8 a factor of r?
False
Suppose -2*l + 1291 + 227 = 0. Does 69 divide l?
True
Let q = -5 - -8. Suppose -8 = q*s - s. Let a = s + 29. Does 6 divide a?
False
Let c = 792 - -1152. Is c a multiple of 27?
True
Let q(t) = -t**3 + 7*t**2 - 6*t. Let n(m) = -2*m - 6. Let i be n(-6). Let c be q(i). Suppose 0 = -5*k + 4*x + 160 + 10, c = -4*x. Is 15 a factor of k?
False
Let g(d) = -d**2 - 3*d + 3. Let h be g(-3). Suppose 4*s + h*w - 295 = 0, 0 = s - 4*w - 102 + 14. Does 15 divide s?
False
Let b = 612 + -216. Does 11 divide b?
True
Let g be ((-3)/9)/(11/(-462)). Suppose -10*f + g*f - 532 = 0. Is f a multiple of 26?
False
Let b(l) = 3*l**3 + 4*l**2 - 11. Let k(s) = s**2 - s - 9. Let v be k(-3). Is b(v) a multiple of 7?
False
Let w = -52 + 27. Let a(t) = -81*t**3 + 2*t**2 - 10*t - 11. Let d be a(-1). Let q = w + d. Is q a multiple of 19?
True
Let v = -145 + 265. Let s = v - 108. Is 6 a factor of s?
True
Suppose -32*j + 37*j - 860 = 0. Suppose 5*k - 8 = j. Is 9 a factor of k?
True
Let w(j) = 3*j - 17. Let f be w(6). Is 9 a factor of (0 + 1)/(f/19)?
False
Let d be (-3)/(-15) + 255/(-25). Let f be 2/13 + d/65. Suppose -i + 4*h + 7 = 0, 2*h + 0*h - 6 = f. Does 19 divide i?
True
Let n(b) = b**2 + 26*b - 13 - 10 + b**2 - 5. Does 11 divide n(-16)?
False
Suppose 5*c + 4*t = 2*t + 66, t - 27 = -2*c. Suppose 0 = 5*r - 2 + c. Does 22 divide 62 + (-8 - r - -3)?
False
Suppose 0 = 4*l - 3*l + 24. Let b(r) = -r + 32. Is b(l) a multiple of 8?
True
Let j = -26 - -8. Is 2 a factor of ((-5)/2)/(3/j)?
False
Does 2 divide 81039/255 - (-3)/((-15)/(-1))?
True
Let n = 535 - 409. Is 7 a factor of n?
True
Suppose -13*m + 11*m + 10 = 0. Suppose -124 + 9 = m*k. Is 12 a factor of (k + -1)/((-4)/8)?
True
Suppose 38*w = 35*w + 51. Let t = 63 - w. Is 23 a factor of t?
True
Suppose -c - 14 = 4. Let v = -12 - c. Is 3 a factor of v?
True
Let h(c) = c**2 - c - 3. Let p be h(-2). Let n(b) = b**3 - 4*b - 1. Is n(p) a multiple of 4?
False
Suppose 0 = 2*x - 1 - 7. Suppose i = a, -2*a - x*i + 15 = -a. Suppose -a*j = -2*j - 63. Is 16 a factor of j?
False
Suppose 0 = -k - 2*h + 10, -3*k - 4*h = 2*k - 38. Suppose -k = -2*l + 2. Suppose l*c - 3*q - 25 = -0*c, 5*q = 5*c - 30. Does 7 divide c?
True
Let j = -113 - -218. Let v = j + -35. Does 14 divide v?
True
Let g(h) = 3*h - 5*h**2 + 8*h**2 - 15*h + 10 - 4*h**2. Is 10 a factor of g(-6)?
False
Let q = -1 - -3. Let i(n) = n**3 - 2*n**2 + 3*n - 4. Let r be i(q). Suppose -2*d + 4*b + 68 = b, -5*d + r*b + 159 = 0. Is d a multiple of 31?
True
Let t(l) = 2*l**2 + 2*l - 6*l - l - 3 + l**2. Is t(5) a multiple of 11?
False
Let w(o) = -o - 5. Let v be w(-8). Suppose d - 4*n = -v*d + 1084, n + 4 = 0. Is 30 a factor of d?
False
Suppose 3*a - 2*u = 1538, -3*u + u = -a + 518. Suppose i - a = -5*i. Suppose 4*r - w - i = 0, 0 = -3*w - 2 - 13. Does 8 divide r?
False
Let i(l) = 2*l + 9. Let r(x) = -x**3 + 10*x**2 - 8*x - 6. Let m be r(9). Suppose -h = -m*h + 24. Does 11 divide i(h)?
True
Suppose 0 = -3*p - 4*x + 117, 8*x = 4*p + 4*x - 128. Suppose -119 = -2*f - p. Is 14 a factor of f?
True
Is (-2)/(-14) + 5432/49 a multiple of 15?
False
Suppose -2*m = 5*x - 7*m - 1735, -x + 351 = -3*m. Suppose -4*z + 6*d - d = -x, 3*d = 9. Does 10 divide z?
True
Is (-25 + 20)*44/(-1) a multiple of 4?
True
Is (-1 + 2)*(-2 - -7 - -19) a multiple of 7?
False
Suppose 2*h - 6 = -h. Suppose h + 7 = 3*t. Suppose t*l - 118 = l. Is 18 a factor of l?
False
Let n be (-19)/((3/(-10))/3). Suppose -3*b = -368 - n. Suppose -4*r = 2*a + 58 - b, 8 = 2*r. Does 14 divide a?
True
Suppose -4806 = -3*h + q + 4*q, q - 6408 = -4*h. Does 84 divide h?
False
Suppose -f - 4*b - 62 = 21, -2*b = 4. Suppose 7*y = 3*y - 212. Let g = y - f. Is 22 a factor of g?
True
Suppose j - 190 = 3*v, 6*v - 3*v + 4*j = -170. Let y = -42 - v. Suppose -3*a + 4*a - y = 0. Does 20 divide a?
True
Let t be 1 - -3 - 20*-5. Let y = t - 61. Is y a multiple of 6?
False
Let y(h) = 2*h - 18. Let a be y(10). Suppose -2*v + 484 = a*v. Let z = v - 76. Is z a multiple of 9?
True
Let o = 602 + -404. Does 4 divide o?
False
Let a = 1523 - 843. Is a a multiple of 15?
False
Let k(m) = 4*m**2 + m + 15. Let r be k(9). Suppose r - 42 = 2*i. Is 20 a factor of i?
False
Suppose 3*o = -3*y - 25 + 7, -28 = 3*y - 2*o. Is 1*y/(-4)*(30 + 2) a multiple of 16?
True
Suppose -c - 4*y - 187 = -0*c, -191 = c + 3*y. Let g = 342 + c. Is g a multiple of 13?
False
Let c = -353 - -216. Let d = c - -220. Is d a multiple of 27?
False
Let n be (-26)/6 + 2/6. Let h be n/(-22) + (-265)/(-55). Suppose -3*z - 34 = -h*z. Does 17 divide z?
True
Let d(b) = -b**2 + 49*b + 326. Is d(45) a multiple of 12?
False
Suppose -4*x - 55 = -187. Let b = x + -10. Does 11 divide b?
False
Suppose -4*u = -536 + 68. Is 19 a factor of u?
False
Let j = 4173 + -2454. Does 17 divide j?
False
Let c(u) be the first derivative of -u**2 - 33*u - 3. Let x be c(0). Let z = -17 - x. Does 5 divide z?
False
Let l = 4 - -4. Let g(a) = 6*a - 4. Let b be g(l). Let k = b - 4. Is 10 a factor of k?
True
Let j(m) = 6*m**3 - 14*m**2 + 22*m - 48. Is j(8) a multiple of 16?
True
Suppose -4*m - z + 242 = m, -5*m = -4*z - 257. Suppose -2*s = -3*s - m. Let d = 83 + s. Is 9 a factor of d?
False
Let c(l) = 3*l**2 - 18*l - 4. Let d be c(9). Suppose 5*g = 3*q - 103, -g + d = 2*q + 4*g. Does 9 divide q?
True
Suppose 8*w - w - 721 = 0. Is 11 a factor of w?
False
Suppose 4*u + 200 = -q, -3*q = -6*q + 3*u - 675. Is q/(-66)*(90 - 0) a multiple of 40?
False
Let z(b) be the third derivative of -b**5/60 - b**4/12 + 2*b**3/3 + 5*b**2. Let t be z(0). Let x(v) = 2*v**2 - 4*v - 5. Does 11 divide x(t)?
True
Suppose -36 = -5*b - 3*x, -3*x + 5 + 7 = b. Is b/14 + (984/7 - -1) a multiple of 32?
False
Let p(k) = 3*k - 23. Let d be p(9). Suppose -d*v = -5*a - 399, 5*a + 3 = -12. Does 16 divide v?
True
Suppose 0 = 4*f + b + b - 2, -5*f + 25 = -2*b. Let i(g) = g + 2. Let y be i(f). Let a = y + 19. Is 10 a factor of a?
False
Suppose 0*b = -5*b - 3*n + 138, 3*b - 4*n - 106 = 0. Let d = 40 - b. Does 7 divide d?
False
Let t = -35 - -84. Let v = t - 11. Is 2 a factor of v?
True
Let i(o) = 5*o**2 + 6*o - 52. Does 13 divide i(-9)?
True
Let s(k) = -k**3 - 16*k**2 + 91*k + 68. Is s(-24) a multiple of 39?
False
Let a(t) = -5*t + 6. Let d be a(13). Let x = d - -83. Suppose 3*z - 18 = x. Is 3 a factor of z?
False
Let w = 449 - -57. Is 9 a factor of w?
False
Let y = -11 - -220. Does 25 divide y?
False
Suppose -699 = 4*c + 4*b + 1621, -3*c - 1740 = 4*b. Does 15 divide (-2)/(8/c) - -5?
True
Let x(l) = -l - 28. Let g(m) = 3*m + 84. Let r(o) = 4*g(o) + 11*x(o). Let t = -73 - -73. Does 14 divide r(t)?
True
Suppose -2 = 7*z + 26. Is 12 a factor of (-194)/z - (-1)/(-2)?
True
Let y(r) = r**2 - 11*r - 37. Let n be y(14). Suppose -4*m + m - p + 275 = 0, -5*p = n*m - 455. Is m a multiple of 11?
False
Let c be (6 - 5) + (-362)/(-2). Let y = 306 - c. Does 23 divide y?
False
Let v be ((-10)/3)/(2/(-3)). Suppose v*z - 69 = 2*z. Let t = z + -5. Is 6 a factor of t?
True
Let t(g) = -123*g - 6. Let y be (-8)/6*(-3)/(-2). Is 16 a factor of t(y)?
True
Is 518/8*(9 - 1) a multiple of 6?
False
Let c be (-1)/4 + (-965)/(-20). Let y be c - (-3 + (1 - -2)). Suppose 0 = 3*v - 96 - y. Is 12 a factor of v?
True
Suppose -3*o + 6*o - 439 = -4*i, i = 3*o + 121. Is i a multiple of 45?
False
Does 16 divide (-4471)/(-3) - 122/(-183)?
False
Let c = 338 + -164. Is c a multiple of 3?
True
Let a = 6 + -6. Let b = 2 - a. Suppose -13 = 3*c - 1, b*c + 164 = 4*d. Does 13 divide d?
True
Let f(a) = -9*a**3 + 12*a**2 + 15*a + 26. Let d(c) = 4*c**3 - 6*c**2 - 7*c - 12. Let g(v) = -7*d(v) - 3*f(v). Let w = 8 + -2. Is g(w) a multiple of 15?
True
Is 4 a factor of (-11)/((-110)/60) - -182?
True
Suppose -l = -0*l + 3, 5*c + 2*l = 204. Suppose 3*i = 8*i - 10. Suppose i*m = 166 + c. Is m a multiple of 22?
False
Suppose -692 = -5*u - 3*k, 0*u + 2*u - 2*k - 264 = 0. Does 20 divide u?
False
Let i(f) = f**3 + 6*f**2 + 5*f - 7. Let j be i(-5). Let l(a) = -8*a - 13. Let c(n) = -9*n - 14. Let u(t) = -5*c(t) + 6*l