e u?
False
Let i(q) = 46*q + 35. Let a be i(-2). Let u = 862 - 445. Is 12 a factor of u/5 + a/(-95)?
True
Suppose -27*q - 31979 + 95078 = 0. Does 21 divide q?
False
Let n = 41810 - 27412. Does 52 divide n?
False
Let y(j) = j + 11. Let n be y(-8). Suppose -277 = -4*m - 5*k + 141, -5*m + 527 = 4*k. Let h = n + m. Is h a multiple of 13?
False
Suppose -3*u - 2*u + 2*u = 0. Suppose u = 3*l - 52 + 10. Suppose -l*d + 11*d + 153 = 0. Is d a multiple of 17?
True
Suppose 10755 = 5*n - 4*x - 42381, 0 = -2*n + x + 21252. Is 8 a factor of n?
True
Let g(p) = -118*p + 1876. Is g(-25) a multiple of 38?
True
Suppose -4*x + 48151 = i, -13083 = 4*x + 2*i - 61237. Does 63 divide x?
False
Let q = 5334 + 4548. Does 18 divide q?
True
Let w(k) = -2*k**2 + 9*k - 8. Let y be w(2). Suppose -9*n - y*n + 1353 = 0. Is n a multiple of 7?
False
Is 20 a factor of ((-175)/(-10))/((-9)/(-2592))?
True
Let c(y) = 405*y - 19. Let o be c(4). Suppose 11*u = -248 + o. Suppose -3*m + u = 54. Is 3 a factor of m?
False
Let u(t) = -t**3 - 8*t**2 - t - 8. Let g be u(-8). Let k be g/(-1)*7/(2 - 9). Suppose k = 50*o - 47*o - 144. Is o a multiple of 24?
True
Suppose -11*k - 14*k + 44900 = 0. Suppose 3*i = -2*i + 3*r + 1788, k = 5*i - r. Is 28 a factor of i?
False
Suppose 2*j - 967*y - 2783 = -966*y, 2*j - 3*y = 2781. Is j a multiple of 24?
True
Suppose 16*l - 42*l + 159978 = 0. Suppose 1365 = 14*r - l. Does 24 divide r?
False
Suppose 0 = -4*h + 5*t + 614, 4*h - t - 628 = -6. Suppose -5*i - h = -7*i. Suppose -3*n = -i - 174. Is n a multiple of 21?
True
Let d = -134 + 144. Let n(w) = 10*w + 8. Let s(p) = 41*p + 33. Let i(h) = 9*n(h) - 2*s(h). Does 43 divide i(d)?
True
Suppose -2*d + 18 = 50*i - 47*i, -3*d - 3*i + 21 = 0. Suppose 0 = 2*o + 5*c - 363, 2*o - 7*c + d*c - 408 = 0. Does 22 divide o?
False
Let g = -40071 - -63213. Is g a multiple of 14?
True
Let c(l) = -7*l**3 - 11*l**2 - 45*l + 43. Is c(-12) a multiple of 35?
True
Let r(i) be the first derivative of -i**4/4 - 2*i**3 - 7*i**2/2 + 10*i - 46. Suppose -s - 5*n = -2*s + 10, 0 = s + 5*n + 20. Does 10 divide r(s)?
True
Suppose 16*j + 44523 - 249778 = 120345. Is 110 a factor of j?
True
Let s = -2 - -17. Let d be (-6 - -31)*(-12)/s. Let j = 89 + d. Does 14 divide j?
False
Suppose -4*l + 10228 - 292 = 0. Let a = l + -966. Is a a multiple of 51?
False
Let x(q) = -11*q - 9. Let w be x(-1). Suppose 5*s = -2*j + 852 - 246, 3*s + w*j = 366. Does 15 divide s?
True
Let v(u) = -u**2 + u - 1. Let p(q) = -6*q**2 + 14*q + 2*q**2 + 13*q - 32. Let z(n) = -p(n) + 5*v(n). Does 21 divide z(-21)?
False
Let g = 115 - 85. Let k = g + -23. Does 23 divide (k/(-21))/(-3 - (-3832)/1278)?
False
Suppose -4 = 5*r - 29. Suppose b = r*b - 3*b. Suppose 5*z + 10 = b, -5*l - 2*z + 870 = 3*z. Is 44 a factor of l?
True
Let x be 9 + (-878)/(-8)*4. Let p = 402 + x. Is 34 a factor of p?
True
Is ((-81)/(-6) - 1)*(7 + 1623) a multiple of 125?
True
Let w(o) = 32*o**2 - 1. Suppose -23*c = -18*c. Suppose 7*t - t + 6 = c. Is 7 a factor of w(t)?
False
Let d be (56/(-35))/(0 + (-1)/5). Suppose 2015 = d*x - 481. Does 24 divide x?
True
Is 21/(-3) - (-19 - 314580/15) a multiple of 43?
True
Suppose -4*b = -4*n + b - 3113, -n = -5*b + 797. Let z = -453 - n. Is 14 a factor of z?
False
Let w(y) = 3*y**2 - 77*y - 1305. Is w(-22) a multiple of 30?
False
Does 10 divide -4*(-307698)/24*-1*-1?
False
Suppose 34 = 11*u - 98. Suppose u*k - 2099 = 13. Is k a multiple of 44?
True
Let b be (0 + -4 + -3)/((-1)/(-7)). Suppose 4*l + 40 = -4. Let u = l - b. Is 6 a factor of u?
False
Let s(c) = -c**3 - 7*c**2 - 5*c + 1. Let d be s(-6). Let v be d/5 + -2 + -2. Is 11 a factor of (-4 - (v + 3))*-7?
False
Let q be (2 - 5) + 3 - 206. Let o = -12 + q. Let l = -128 - o. Is l a multiple of 30?
True
Let x = -134 + 136. Suppose x*p - 267 = 467. Does 33 divide p?
False
Let f = -66 + 27. Let y = f - -38. Is 2 a factor of y + 81/6 - 5/10?
True
Let m be (7/((-175)/30))/(2/(-10)). Let l(i) = -i**3 + 6*i**2 + i - 3. Let y be l(m). Is 19 a factor of 25*y/(-6)*76/(-5)?
True
Suppose -2*y - 2 = 0, 5*n - 91 = 3*y + 282. Does 4 divide n - -3*(10/2)/(-5)?
False
Suppose y = -2*y + 285. Let x be 1144/(-33) - (-3)/(-9). Let s = y + x. Does 12 divide s?
True
Let c be (-1)/((-3)/4 + (-3)/(-6)). Let q be (10/c)/(3/12). Is 11 a factor of ((-12)/10)/(q/(-275))?
True
Let g(c) = -c**2 - 28*c - 60. Suppose 135 = 3*s - 78. Let w = s - 90. Does 51 divide g(w)?
False
Let h be (-12 - -10)*((-38)/(-4) + -1). Let x(p) = -p**3 - 17*p**2 + 3*p + 56. Let s be x(h). Suppose s*r + 78 = 3*a, 3 = r + 6. Does 3 divide a?
True
Let d = 559 - 558. Is 116*(-30)/(-7 + d) a multiple of 29?
True
Let j(l) = 4058*l - 15200. Is j(14) a multiple of 12?
False
Let v(s) = -46*s + 97. Let i(p) = 2*p + 3. Let f(x) = 2*i(x) + v(x). Is 27 a factor of f(-6)?
False
Suppose 291425 - 51843 = 14*n. Is n a multiple of 157?
True
Let t(s) = -15*s - 6 + 9*s + 8*s. Let q be t(-1). Does 19 divide -1 + 0 - (-62 - (q + 4))?
True
Let d(h) = 11 - h**3 + 4*h**2 - 5 + 3*h + 4*h. Let r be d(6). Does 7 divide 0 + -1 - (0 - (-1 - r))?
False
Suppose 5*t + 5*r = 11115, 3*r + 8190 = 4*t - 681. Is t a multiple of 111?
True
Let u be 0*1/3 + 3. Suppose -34*p + 37*p = 0. Suppose 0*d - u*d + 240 = p. Is 16 a factor of d?
True
Let t = -1496 - -3521. Is 11 a factor of t?
False
Let j = 22919 - 11372. Does 248 divide j?
False
Suppose -5*r = -256 + 201. Suppose -50 = -r*i + 500. Is i a multiple of 50?
True
Let p = -60 + 63. Let x be p*-1 + (4 - 7). Is x/(-14) - (-260)/14 a multiple of 17?
False
Let m be (-396)/(-102) + 2/17. Suppose -3*z + 13 = m. Suppose -4*r + 4*g = -44, z*g - 53 = -3*r + 2*g. Is 8 a factor of r?
True
Let a(j) = 11*j**3 + 9*j - 12. Let q be a(4). Suppose -18*g = -3*k - 22*g + q, k - 3*g = 247. Does 17 divide k?
False
Suppose 820 = 10*f - 15*f. Let c = 304 + f. Is c a multiple of 10?
True
Let x be ((-62)/(-6))/((-14)/(-36))*-7. Let s(h) = h**3 + 12*h**2 - 20*h - 20. Let t be s(-14). Let i = t - x. Does 9 divide i?
True
Let l = 3174 + -2940. Is l a multiple of 4?
False
Suppose -3*p + 1997 = f, -5*p - 392*f + 388*f + 3319 = 0. Is 29 a factor of p?
True
Let j(i) = -12*i + 30. Let g be j(-18). Suppose 2*m + 74 = d - 0*m, 4*d - g = -2*m. Let u = d - 48. Is 12 a factor of u?
False
Let v = 33 + -35. Let u(s) = 30*s**2 - s - 2. Let f be u(v). Suppose 6*p = 2*p + f. Is 30 a factor of p?
True
Suppose -17*g + 13496 = -12*g + 4*o, -3*g + 5*o = -8105. Is 150 a factor of g?
True
Let o(u) = -754*u - 6540. Is o(-20) a multiple of 16?
False
Let j(v) = 176*v - 35. Is j(5) a multiple of 42?
False
Suppose x = u - 1, u - 6*u - x + 11 = 0. Let m(z) = -15 + 24*z - 21*z**u + 20*z**2 + 6*z - 10*z. Is m(9) a multiple of 14?
True
Let s = 5250 + -3651. Is 39 a factor of s?
True
Let z(g) = 2*g - 29. Let t be z(16). Suppose t*a = 5*a - 886. Suppose -a = -5*k + 2*r, 2*r - 352 = -4*k + 3*r. Does 20 divide k?
False
Suppose 7*g = -3*d + 54675, -2*g = -4*g - 2*d + 15618. Is 84 a factor of g?
True
Let v = 20581 - 15054. Is 68 a factor of v?
False
Let j(d) = 157*d**2 + 45*d - 82. Is j(4) a multiple of 43?
False
Is 12/30 + (-288)/45 + 3006 a multiple of 9?
False
Let t = 2160 + -1926. Is 18 a factor of t?
True
Let g = 15670 - 7000. Is 213 a factor of g?
False
Suppose 7*b + 77*b - 480551 = 1099573. Does 77 divide b?
False
Let n(t) = -30*t + 1860. Does 30 divide n(-29)?
True
Suppose -4*k + 7*k = 33. Suppose -7*b + 10 = -k. Is 9 a factor of -12*(b + 108/(-16))?
True
Suppose 0 = 5*z + m - 6*m + 2290, 925 = -2*z + 5*m. Let v = z + 513. Is v a multiple of 16?
False
Let a(y) = 2*y**2 - 42*y - 43. Let x(l) = l**2 - 21*l - 21. Let q(c) = -2*a(c) + 5*x(c). Let f be q(22). Suppose -50 = h - f*h. Is h a multiple of 4?
False
Let q be (54/15)/(14/(-35)). Let h be (q/18)/(2/4)*-101. Let j = h + -46. Is j a multiple of 9?
False
Let u(m) = -2*m**2 - 13*m + 7. Let b be u(-7). Suppose -146*c + 137*c + 6138 = b. Is c a multiple of 62?
True
Let y = 259 + -258. Suppose -4*r + 555 = 5*h, -r - y = -5*h - 121. Does 27 divide r?
True
Let m(i) = -4*i - 6. Let t be m(3). Let n be t/(-5) - (-45)/(-75). Suppose 7*g - n*g = 72. Does 2 divide g?
True
Suppose 14*h - 13*h + 371 = 0. Let z = -330 - h. Is z even?
False
Let r be (-2)/(-9) + 3904/9. Let y = -192 + r. Does 22 divide y?
True
Let j be ((-38)/(-57))/((-1)/(-24)). Suppose 2*z + 5 = 21. Suppose -4