
False
Let w(r) = -9*r + 72. Let t be w(8). Is 88/(-11)*(-6 + t) a multiple of 29?
False
Let d(c) = 132*c - 1216. Is d(26) a multiple of 18?
False
Let z = 20142 - 6674. Does 182 divide z?
True
Let d(j) = -j**2 - 2*j - 91. Let v be d(0). Let p = 7 - v. Is p a multiple of 14?
True
Suppose -253188 = -1919*f + 1867*f. Does 9 divide f?
True
Let b = 89 - 87. Let i(n) = -16 + 16*n**b - 3*n + 0*n + 0 + 0*n. Does 20 divide i(-3)?
False
Let v(f) = -219*f**2 + 14*f + 14. Let y be v(-2). Does 59 divide 1*(-6 - (y/5 - 5))?
True
Let u(g) = -2*g**2 - 12*g - 7. Let p be u(-5). Suppose 3*i - z - p = 0, -4*i - 3*z = -2*z + 3. Suppose i = -5*h + 9*h - 248. Is h a multiple of 10?
False
Let l(b) = 4*b**2 - 31*b - 2. Let w be l(-16). Is (4/(16/w))/(2/4) a multiple of 23?
True
Let w be (4/(-5))/(1/60). Let k = w + 114. Does 8 divide (-12)/k + 2824/44?
True
Let u = -175 - -403. Suppose -x - u = -929. Is x a multiple of 49?
False
Suppose 26*b - 796 = 24*b. Let s = b + -185. Does 12 divide s?
False
Suppose 2*f - 4*b - 34 = 7*f, 22 = -f + 3*b. Let h(m) = -7*m + 32. Does 7 divide h(f)?
False
Let c(n) = -n + 44. Let b be c(-35). Suppose 1734 = 85*q - b*q. Is 30 a factor of q?
False
Let p be 19 - 1/3*0. Suppose -p*t + 286 = -1443. Does 15 divide t?
False
Let r be 6/15*(-30)/3. Let a(y) = 33*y**3 + y**2 - 1. Let p be a(1). Is 30 a factor of ((-4)/r*p)/((-3)/(-18))?
False
Suppose 120900 = -12*j + 61*j + 51*j. Is 12 a factor of j?
False
Suppose 2*q - 16 - 3 = 3*n, -5*q - n = -5. Suppose 0 = -2*a + q - 6. Does 21 divide (98/a*3)/(-1)?
True
Let x be (1 + 0)*2/(-4)*0. Suppose -4*t + 12 = -x*t. Suppose 5*u = 4*f - 60, -42 = -t*f + 2*u + u. Is f a multiple of 10?
True
Let w = -59 - -76. Suppose 5*x - 3*p - 16 = 0, -5*x + w = -5*p + 7. Suppose 2*g - 50 = -u, 0*u - x*u + 58 = 2*g. Is 12 a factor of g?
True
Suppose -14*l + 283956 = -17352. Is 211 a factor of l?
True
Suppose 8*p - 4 = 12. Let y be (6 - 4)/(1/(107/p)). Suppose 37 = 4*m - y. Is 6 a factor of m?
True
Suppose -o = 3*y - 13, 3*o - 3*y - 15 = -0. Let z(n) = n**3 - 7*n**2 + 2*n + 13. Let a be z(o). Is (-8)/12 - (-3)/(a/366) a multiple of 4?
True
Let o(l) = 751*l + 11974. Is 36 a factor of o(-8)?
False
Suppose 0*s - 6*i + 8192 = 2*s, 3*s = 2*i + 12288. Is 4 a factor of s?
True
Suppose -4*a - 1 = -17. Suppose -r = -3*l - 145, -r + a*r + 3*l = 411. Suppose 3*x - r = -5*u + 107, 2*x = 4*u - 210. Is 14 a factor of u?
False
Let m(q) be the second derivative of 23*q**3/3 + 5*q**2 - q + 6. Let y(k) = -k**3 - 12*k**2 + 2. Let c be y(-12). Is 17 a factor of m(c)?
True
Let c(p) be the second derivative of 0 - 4/3*p**3 + 0*p**2 + 12*p - 1/3*p**4 + 1/20*p**5. Is c(7) a multiple of 13?
True
Let h be 49/(-21) - (-40)/3. Suppose -h*a = -t - 7*a + 45, 4*a = 4*t - 216. Does 2 divide t?
False
Suppose 7931 + 16621 = 11*a. Suppose -81 - a = -9*j. Does 4 divide j?
False
Let o = -345 - -175. Let y = o + 400. Suppose -4*r = -y - 162. Is 17 a factor of r?
False
Suppose -6*i + 2*b - 2 = -5*i, -2*i + 32 = 5*b. Suppose -3583 = i*q - 9163. Does 10 divide q?
True
Let r = -628 - -634. Is 9 a factor of r*-1 - (1 - -770)*-1?
True
Does 11 divide (-355260)/(-558) - -4*(-1)/(-3)?
True
Let a be ((-10)/(-2))/(2 - 1). Suppose a*t = -21 - 39. Let p(g) = -g**3 - 10*g**2 + 9*g - 4. Is p(t) a multiple of 20?
False
Suppose 3*v = -2*c + 5*c - 33, -2*v = 5*c - 13. Is 27 a factor of -27*3*2*3/v?
True
Let o be (-50)/14 - (-24)/(-56). Let t = o + 91. Suppose 84*m + 312 = t*m. Does 40 divide m?
False
Let r(p) = -p**3 - 9*p**2 - 2*p - 3. Let q = -26 + 41. Suppose 3*m = -0*m + q, -g + 16 = 5*m. Does 3 divide r(g)?
True
Let b(k) = 6100*k + 706. Is b(2) a multiple of 14?
False
Let x(r) = r**2 + 4*r - 2. Let t be (2 + 2 + -3)*1. Let y be x(t). Suppose -y*m = -388 - 68. Is 19 a factor of m?
True
Let v(b) = b**2 + 2. Let x be (2 + -1 + 4)/((-7)/7). Let t be v(x). Suppose t*d - 26*d = 16. Is 4 a factor of d?
True
Suppose -11946 = -n - 9*a + 8*a, 0 = 3*n - 3*a - 35838. Does 66 divide n?
True
Let g(z) = -173*z**3 + 37*z**2 + 138*z - 6. Is g(-4) a multiple of 18?
True
Let h(n) = n**3 + 8*n**2 - 49*n - 56. Does 26 divide h(-10)?
True
Let d = -109 - -111. Suppose -x = -2, 0 = z + z - 5*x + d. Suppose 2*j = -2*o + 68, 109 = z*o - 4*j + 5. Is o a multiple of 15?
True
Let g be (81*-3)/((-3)/(-1 + 22)). Suppose 3*r + 5*b - 1276 = 0, 5*r - g - 479 = 5*b. Is r a multiple of 24?
True
Let g(k) = k**3 + 3*k**2 - k - 1. Let s be g(-3). Let v(n) = -26*n - 506. Let c be v(-24). Suppose 4*r + s*d = 1010, -r - c = -5*d - 365. Is 12 a factor of r?
True
Let b = 89 + -91. Let v be 5/b*((-888)/40 - -5). Suppose -k + 22 + v = 0. Is k a multiple of 13?
True
Suppose -4*f + t + 122843 = 40662, 3*t = -15. Is 48 a factor of f?
True
Let m(r) = -r**2 + 4*r + 7. Let j be m(-9). Suppose 6776 = 58*k + 396. Let o = k - j. Does 11 divide o?
True
Suppose 98 = 32*v - 18*v. Suppose -4*g - v*x + 2264 = -8*x, -3*x = 0. Does 63 divide g?
False
Suppose -15 = t - 3*i - 5, -20 = -2*t - 2*i. Suppose -t*c = 4*c - 693. Suppose -c = a - 8*a. Is a a multiple of 4?
False
Let a(p) = 4*p**2 + p - 14*p + 11*p - 5 + 6*p**2. Is a(-7) a multiple of 27?
False
Let x(d) = d**3 + 6*d**2 - d - 27. Let g be x(-5). Suppose 0 = g*r - 623 - 868. Is 53 a factor of r?
False
Let c(n) = 5 + 9 + 56*n + 2. Is 40 a factor of c(4)?
True
Let a = 26 - 45. Let m(y) = -y**3 - 19*y**2 + 1. Let n be m(a). Does 12 divide -18*7*(-2 + n)?
False
Suppose -i + 5*s = 2*i + 121, 74 = -2*i + 2*s. Let o = i - -27. Let l(v) = v**3 + 8*v**2 + 8*v + 7. Does 8 divide l(o)?
False
Let a(y) = 167*y - 433. Is 27 a factor of a(12)?
False
Let k(f) = f**3 - 11*f**2 - f + 10. Let z be k(11). Suppose -150*n = -142*n - 232. Let j = z + n. Is j a multiple of 7?
True
Let l(u) = -2*u**3 - 38*u**2 + 26*u + 29. Let h = -34 + 14. Is 3 a factor of l(h)?
True
Let d(w) = -41*w - 1. Let p = -11 - -19. Let x = p + -9. Is 40 a factor of d(x)?
True
Suppose s = 2*g + 49 - 3, s = 2. Let t = g + 29. Suppose -t*a + 126 = -4*a. Is a a multiple of 7?
True
Let m be (2 - (2 + 0))/(8 + -6). Suppose m = -0*p + 4*p - 4, 4*o - 5*p = 491. Suppose 3*r - 364 = 5*c + 32, -r + o = c. Is 34 a factor of r?
False
Let m(y) = y**3 + 10*y**2 - 16*y - 11. Suppose 0 = 2*l + 16. Let p be m(l). Suppose -7*j + 2*j = -p. Is 7 a factor of j?
True
Suppose 1329*q = 1339*q - 9280. Let v = -511 + q. Is v a multiple of 15?
False
Let j(o) = -8*o**3 + o**2 + o. Let t be j(-1). Is 29 a factor of 8/t + 543 - -8?
False
Let d be 3/(33/2) - 1743/(-33). Suppose d*t - 51*t = -56. Let s = t - -52. Is s a multiple of 24?
True
Let l(p) = -2*p**2 + 7*p + 30. Let d(s) = -s**2 + 4*s + 15. Let v(q) = -9*d(q) + 4*l(q). Suppose 149*x + 707 = 111. Is 11 a factor of v(x)?
True
Let k = 178 - 176. Suppose -k*y + 3416 = 2*z + 3*y, 2*y = 8. Is z a multiple of 20?
False
Suppose 185 = p + p - o, 0 = 3*p + o - 265. Suppose -5*c = -c + 8, 0 = -2*f - 3*c - 2. Suppose 4*n + f*n = p. Is n a multiple of 4?
False
Let c = -264 - -261. Is 12*(18 + -8) + (-1 - c) a multiple of 5?
False
Is 129 a factor of (((-12402)/(-27))/26)/((-1)/(-963))?
False
Let v = 5226 + -3426. Is v a multiple of 30?
True
Let n be (-102)/(-153) + -11*1/3. Let p be 3 + -1 + (-24)/2. Is 1158/(-4 - p) - n*1 a multiple of 24?
False
Suppose 88*b + 115*b - 168588 = 77*b. Does 3 divide b?
True
Let o = -9 + 18. Let c be o/(-2)*(-22)/(-33) - -237. Suppose 12*s = 9*s + c. Does 13 divide s?
True
Suppose 102 - 27 = 5*y. Suppose 0 = -20*n + y*n + 20. Suppose -n*t - 8*t = -168. Is t a multiple of 4?
False
Let w(a) = -4*a + 89. Let h be w(-11). Let o = 508 - h. Does 75 divide o?
True
Let r(w) = -4*w**3 + 2*w**2 + 9*w - 4. Let d be r(4). Let b = d - -607. Does 24 divide b?
False
Let b(y) = y**2 - 5*y - 58. Let w = -437 - -429. Is 46 a factor of b(w)?
True
Does 33 divide 682/4*((-1348)/(-14) - (-102)/(-357))?
True
Suppose -6069 = -5*b + 5511. Is 14 a factor of b?
False
Is 102 a factor of 5*(-513012)/(-420) + (-4)/14?
False
Suppose -38*b + 43*b + 2*y = 9534, -2*y = -3*b + 5714. Does 44 divide b?
False
Let k = 2400 + 1270. Does 67 divide k?
False
Let x(y) = -3*y**2 - 9*y + 3. Let h be x(-3). Suppose 440 = -r + h*r. Does 11 divide r?
True
Let w be (-3*2/(-14))/((-70)/(-490)). Suppose 5*s + 5*n - 1527 = -522, -4*n + 599 = w*s. Is s a multiple of 41?
True
Let f(l) = -l + 13 + 0*l + 27. Does 26 divide f(14)?
T