True
Let c = -534 - -474. Is 20/c - 514/(-3) a multiple of 19?
True
Let h(x) = x**3 - 42*x**2 - 268*x - 102. Is 171 a factor of h(50)?
True
Let k(y) = 17*y**2 - 3*y - 23. Let d be k(6). Let q = d - 193. Is q a multiple of 18?
True
Suppose 4*n - 103975 = -3*l, -150*n = 4*l - 153*n - 138675. Is 65 a factor of l?
False
Let p(x) = x**2 - 35*x - 191. Let b be p(40). Suppose -b*z + 2304 = -3456. Is 7 a factor of z?
False
Let s(n) = -4*n**3 + 2*n**2 + n - 6. Let g be s(-2). Suppose -4*k = 5*l - 14, l = -3*k + 8*k - g. Suppose f - 20 = -2*p + k*p, f - 2*p = 18. Does 2 divide f?
True
Let i = 41 + -28. Suppose 19*t - 1320 = i*t. Is 8 a factor of 2/11 - (-13380)/t?
False
Let t = 2688 + -496. Is t a multiple of 31?
False
Let f = 187 - -1295. Is f a multiple of 19?
True
Suppose 0 = -9*d + 6*d - 2*c + 12, -2*d + 4*c + 8 = 0. Suppose -3*p + d*g = -844, 2*g + 47 = 39. Does 12 divide p?
True
Let m(i) = 47*i - 4. Let r be m(12). Let y = r + -359. Does 9 divide y?
False
Let a = 227 - 223. Let o(v) = v**3 + 15*v**2 - 4*v + 4. Is o(a) a multiple of 67?
False
Suppose -305 = -3*d + 235. Let n(w) = -w**3 - 37*w**2 + 78*w - 90. Let y be n(-39). Let u = y + d. Is 9 a factor of u?
True
Suppose 4*g - 6312 = 4*n, -1561 - 1667 = -2*g - 7*n. Is 61 a factor of g?
True
Let s = 142 - 142. Is (10/(-3) + s)*(6 - 27) a multiple of 6?
False
Let v = -2 + -2. Let w be -45*5/(-20)*v. Is 23 a factor of ((-216)/w)/(6/40)?
False
Let f = 34 - 31. Suppose -f*t = 3*t - 12. Suppose 3*r - 97 - 8 = 5*a, 54 = 2*r + t*a. Is r a multiple of 16?
False
Let z(v) = -34*v - 13. Let c(t) = -69*t - 31. Let h(b) = 3*c(b) - 5*z(b). Let i(k) = -k**3 + 7*k**2 + 8*k - 4. Let l be i(8). Is h(l) a multiple of 15?
True
Let b be (-3146)/(-65) + (-4)/10. Suppose -15*z = -19*z - b. Is 55 + z - 3/1 a multiple of 5?
True
Let t = 2555 + -1583. Suppose 7*f + 2*d - 254 = 6*f, -3*d - t = -4*f. Is f a multiple of 80?
False
Suppose 0 = 7*q + q - 8. Let x(j) = 576*j**2 - 7*j + 6. Is 5 a factor of x(q)?
True
Let h be 1*-3 - 1*3/(-1). Suppose -4*s + j + 784 = h, -5*s - 2*j - 784 = -9*s. Is 15 a factor of s?
False
Suppose 4*q + 2*o + 2336 = 0, -2*q - 4*o - 1742 = q. Let h = -406 - q. Does 9 divide h?
True
Suppose -9*b = -b - 8. Let p be (b - (-4)/(-6))*(-1212)/(-4). Let v = -51 + p. Is v a multiple of 25?
True
Let v = 953 - 56. Suppose v = -11*x + 281. Let b = x + 69. Is b even?
False
Suppose -2*p - 10 = 0, 2*p = -3*z + 636 + 5. Suppose 0 = -2*b + f + 51, -5*b = -b + f - 87. Suppose -b = -5*i + z. Does 31 divide i?
False
Let u(j) = -j**3 - 10*j**2 - 8*j - 35. Suppose 7 = -4*c + 7*c + 2*d, 5*d = -4*c + 7. Suppose m = -c*m - 40. Does 13 divide u(m)?
False
Let l(m) = -m**2 + 79*m + 29. Is l(31) a multiple of 13?
False
Let p(q) = -q**3 + 4*q**2 - 5*q - 5. Let l be p(6). Let r = l - -109. Is 26/7 + r/7 + 8 a multiple of 12?
True
Let j(m) = m + 19. Let a = 142 + -32. Let y = 131 - a. Does 26 divide j(y)?
False
Let a = -159 - -159. Suppose a = s - 3*s + 80. Does 19 divide s?
False
Let j = 856 - -694. Is j a multiple of 25?
True
Let d(i) = -125*i - 413. Let t(j) = -504*j - 1653. Let f(k) = 21*d(k) - 5*t(k). Is f(-5) a multiple of 20?
False
Suppose j + 3*d + 10 = 27, -d - 81 = -3*j. Suppose 6396 = j*q - 14*q. Does 11 divide q?
False
Let x(g) be the second derivative of 65*g**4/12 - g**3/6 - 12*g. Is 3 a factor of x(1)?
False
Suppose -6673*h - 20220 = -6678*h. Is h a multiple of 4?
True
Let m(f) = 15*f - 102. Let a be m(7). Suppose 5*h = a*x - 1185, 0*h + 2*h = x - 396. Does 13 divide x?
True
Let p(n) = -951*n**3 - 9*n**2 - 31*n - 1. Does 104 divide p(-3)?
True
Suppose -m + k - 6*k + 8 = 0, -4*k = 2*m - 10. Suppose 5*o + t = -18 + 190, -m*o = 5*t - 90. Suppose 2*j = 5*l - 164, o - 177 = -4*l - 2*j. Is 9 a factor of l?
False
Is 41 a factor of 36/(-396) - (-51416)/22?
True
Let u(o) = 14*o**3 - 23*o**2 + 9*o - 10. Is 11 a factor of u(5)?
True
Let f = -2 + 14. Let v(q) = -q**3 + 14*q**2 + 13*q - 27. Is v(f) a multiple of 19?
False
Suppose 2*w - 12 = -5*l + 6, -14 = -5*l - w. Suppose l*m - 749 - 51 = 0. Suppose 136 = 4*i - m. Does 30 divide i?
False
Suppose -4*y + g = -3095, -3*g = -2*y + 186 + 1359. Let h = 1117 - y. Does 17 divide h?
False
Is 26 a factor of 26598 + ((-3)/4 - (-399)/532)?
True
Let n = -237 - -238. Is (-2 - 3) + 557/n a multiple of 46?
True
Suppose -2*x - h - 100 = 0, -2*x - 73 = 2*h + 29. Let q = 49 + x. Suppose 4*m - 292 = -4*b, q*b = 4*m - 3*b - 327. Is m a multiple of 11?
False
Let m(c) = -c + 2. Let y = -11 - -10. Let d be m(y). Suppose 613 + 145 = d*h + 2*p, 3*h - 763 = -p. Does 13 divide h?
False
Let i be (45/135)/(1/15). Suppose 499 = t + i*n, 0*n = 3*t - n - 1545. Is t a multiple of 50?
False
Let z be (-3 - (-8)/(-4)) + 1 + 4. Is 4 a factor of 125 - ((-18)/9 + z)?
False
Let f(d) = 13*d**2 + 3*d - 34. Let y be (-12)/(-54) + (-64)/(-36). Suppose -p = y*n - 13, 0 = -n - n + 2*p + 4. Is f(n) a multiple of 29?
False
Suppose 42*n + 14373 = 416733. Is 13 a factor of n?
False
Let f(w) = -2418*w + 380. Does 230 divide f(-3)?
False
Suppose 4*w - 1225 - 4296 = 2911. Does 4 divide w?
True
Let h(u) = -6*u**3 - 4*u**2 - 5*u - 4. Let m be h(-2). Let y = 263 - 251. Let f = m + y. Is f a multiple of 10?
True
Let p = -558 + 569. Suppose p*a = 15*a - 5016. Is 66 a factor of a?
True
Does 25 divide 111/(-370) + 113259/30?
True
Suppose -201314 - 757336 = -210*h. Is 154 a factor of h?
False
Let s = -87 + 151. Suppose -s*r + 73*r - 1701 = 0. Is r a multiple of 28?
False
Suppose z + 2*t + t - 22 = 0, -2*z = t - 19. Let u = -17 + 27. Suppose 0 = z*h - u*h + 231. Does 18 divide h?
False
Suppose -2*w + 82 = -28. Let o = w + -53. Suppose -o*u - 37 = -m, m = 3*u - 17 + 59. Is m a multiple of 4?
False
Suppose 5*o + p = 2530, -5*o - 4*p - 1541 = -8*o. Let b = -300 + o. Is 11 a factor of b?
False
Let a be 2110/16 - 10/(-80). Let t = a + 6. Is 4 a factor of t?
False
Suppose 18*n - 6*n = 3840. Suppose -12*a = -17*a + n. Is 16 a factor of a?
True
Let k = 80 - 75. Suppose -2*l - 5*o = -9*o - 372, -k*l = -5*o - 915. Is 6 a factor of l?
True
Let t = 37 - 35. Suppose 3*w = 6, t*f - 194 = -4*w + 126. Is f a multiple of 8?
False
Let b = -3611 - -7034. Is b a multiple of 7?
True
Suppose -7007 = -h - 5*n, -5*h + 9*n - 8*n + 34931 = 0. Is 13 a factor of h?
False
Suppose 11532 = 3*k - 3*x, 29*k + 5*x - 7660 = 27*k. Does 30 divide k?
True
Let n(z) = -24*z + 19. Let c be n(-12). Let d = c - 186. Is (-922)/(-11) - (-22)/d a multiple of 21?
True
Suppose 0 = 11*p + 13247 - 51340. Is 12 a factor of 8*(-7)/(-252) - p/(-9)?
False
Suppose y + 4*i = 11996, 5*y - 13877 = 5*i + 46128. Is y a multiple of 75?
True
Let g(a) = 335*a + 134. Let z be g(4). Let f = z - 905. Does 16 divide f?
False
Is 1610 + -12 + -10 + 18 a multiple of 23?
False
Suppose -165*c + 65*c = -110200. Does 19 divide c?
True
Let p(g) be the second derivative of 23*g**7/420 - g**6/180 + g**4/24 + g**3/6 - 11*g. Let k(l) be the second derivative of p(l). Is k(1) a multiple of 11?
False
Let a(p) = -205*p + 10. Let w be a(-6). Suppose -y = 2*x - 310, 4*x = -5*y + y + w. Is y a multiple of 8?
False
Let x(n) = -52*n**2 - 8*n - 41. Let l(j) = 35*j**2 + 5*j + 26. Let d(p) = -7*l(p) - 5*x(p). Is 6 a factor of d(-6)?
False
Suppose -110*h = 77680 - 503160. Does 12 divide h?
False
Let b = -1098 + 535. Let t = b - -1037. Does 17 divide t?
False
Suppose 7*z + 38 = 178. Suppose -5*b + z = 3*d - 6*d, 2*d = -2*b + 8. Suppose 0 = -3*f + f - b*u + 68, -2*f + 4*u + 60 = 0. Is 6 a factor of f?
False
Let l = -15395 + 16455. Does 106 divide l?
True
Suppose 5*s - 5*d - 1505 = 0, -1555 = 2*s - 7*s - 5*d. Suppose -42 = 6*k - s. Does 11 divide k?
True
Suppose 3*c = -5*r + 7220, 4*r = 167*c - 163*c - 9584. Is 16 a factor of c?
True
Suppose 2*b + 0 = 8. Let l be (216/15 - 15) + 87/(-5). Does 19 divide b/l + (-1788)/(-27)?
False
Let i(v) = 3*v**2 + 0*v + 0*v**2 + v - v**3 - 2. Let z be i(2). Suppose -z*s + 115 = -3*s - c, 0 = -3*s - 3*c + 375. Is 32 a factor of s?
False
Suppose 154377 - 773686 = -135*x + 1032551. Is 14 a factor of x?
True
Suppose -5*r - 2*r + 686 = 0. Let z = -87 + r. Suppose 6*d + 393 = 2*n + z*d, -5*n - 2*d = -951. Does 26 divide n?
False
Suppose 0 = 13*z - 17*z + 40. Let b be 596/13 + z/65. Let d = b + -29. Does 7 divide d?
False
Suppose 2*p + k + 0*k - 3 = 0, 0 = -3*p - 2*k + 2. Suppose -p*g - 58 = -1006. 